49993bdc38b3e045d350492306abd86ab2b56abf75e9dffe69544b359660e8e8  Isabelle-2022-x86_64-1_slackdce.txz