SQLite format 3@ .0:  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 Y1 l| ]S HOL-Probability-ex:threads=6elapsed=6.442cpu=19.828gc=0.936factor=3.087zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-aPMuq]gidbjV?KDtQښ$뺗q$"D̺IS_f|Yhy,Iݚ}$vjL!,8o m0L8a55oR (w3(惧1,93yqYL 3mdȗhJ0*Cr;-jb!-.wvl?K;*6>A?*'|(/l+Gƛ YXwY3['=.il~Br>)'?7vRqaP;wr.?7&9`bfBC:PC7@_oln).!۟_u "i>bpY 5(E_@FҦڱ{B5(|21kƏ~5φi gYZ7zXZִF! &]ŗXi%$;4hQԵ. &k'ꍞm|V'hZLH3-u h|T)a.z/ԃq94]="Q>3Hvc\C:INs Fq1ktծga3tF WJ(¨,O>>"<:l[n"UTbt^ ̨j[Nt1vrBm3űCh'TU+񈐮+?7F`09g3׉fjҪx4N("+RszS|z ?;n\9>:Wo4'=Rq 1e@>߱~]t:yjs8zBo.9lc4!lHs}Ma {BSXY#m۴ S!1ivS+4u.02 RԧRm!k{NWᦼh,VW^r[{*njPn؇/ꦍKfuٳd MWXe70L)X6H C"SEf'W;̓kUiq\Jzlˇ 0P')4Ky ] ~Ϫɼ qFžoJ _1W-sIy#E)Qv%mɔ*v~b)C:˓S,K/1EXdu_BmS'11Es@movf0R{2cvgY΃ܬSL@ĝґ/Il+%4}ws`+;I(W/fo="GCA_yu,RD:eJ,SWl"è6Vb kE!  6fB†/0U(:/qN"?3BcyNoT}AcX+\Kg8 >FL6Ho#Y\AUeSMgYZ618e0fbe871cf5ba4c612ad5548f30ca82b0a12275f3f49252de203c33a45106d34066835c922023 ac0ee909b22cd8ac2bfe753f8fe785e0638636d7 5d8f367b0d0182d7aa7c32102fa8828163d15384 f0f342c2f95b2957d1014d73cb476c526126808a 1 HOL-Probability-ex