SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info `1r\D ]S HOL-Probability-ex:threads=6elapsed=7.383cpu=24.560gc=1.0647zXZִF! ']ŗXiɟH)0!h]F,=4f|zaB|`\>F"$v^&oӥxJȽ5q C\ \ЍxLwS7^$Yje(XՕlnAqоZ`;^-l[O$m O#|DVmv.VyI-1D~n2Uoȉn;f q{*Դ Vz܁&;N - =2X2p63^iv3-NcqKv% K5!xLFzt f旀<F4r<*|$%{J3\Z˶$żӕqdY@fJʿWQ,qyZo/pN4^(ueVثn!ĝKC/>UN_oܦ{DhIf/+L}`TЅI..3.sF.3~f^zs[-Y22PZă{XF'Dpԡ۾ale[y?-1V,7 ?c~j&+Е^샘p?Wz5?{VLgYZ7zXZִF! &]ŗXi%L(hF=o=3aWO ]NıhI|RB-y[5/ d$2nz  8{}(G4vJۆ{.0шy]\ɯr $M,CE~WTkk.SgGk # h{}O f#8 d?R[+of/{dmƄ- ՂG`ꪍ_? iŒхmd8 ~ ԓ,BN2>֍86p/:Y(-["167KTN*W2= J ^M5a ¨];S64\[.#?-C&2υwjnI3ҡgӞ.HFM+&aJH g&%{1"Ԣ7 X˰75`Wu{@NrV7Վ0$P ^]`L-~S*ϋ4ٕ?⁄Jp?*UVr+Su|OdY-P:a+ӎ%d7jk۩F) ál#Tb,uU?Ӊl-=e{TyW'Qҳ(IBvg*Sf-e}Œ[ 6C\ڶ 8@ g8뒱TE#ݰCK}Dc]̪tr)FhdOTԷD[7P?MəDP V9x!\I) ST!sM;rd߾8J aU8V,>.}bߔksd} G4m ?XbBM'6l5_'FZGM0gYZ0d71fe7e8dad89ff2cd7395a0e95d5b26ccc67b8eec272d4b5b3d582847a197d88eb3a9b19984c82 0dc95062e3492904be2f0dafcca23de748b5d252 af24a021dff9f818a0a46546ab73366467933da8 bf213e5a301fd55ab6b8ec9836fa86c23a9bc20b 1 HOL-Probability-ex