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 00M1 L| ]S HOL-Probability-ex:threads=6elapsed=7.267cpu=23.824gc=0.992factor=3.287zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-C:;P MF =؃huTэ|EصBYx;dZF8;ԕs̞,\<^On2Akфva6b=Vn$ָ{}&3Ҋ{g>SЇ1]>r&JUB> 9OP,r" ͌@X.<غ(ɳ4X O&dE|&/V=}7!gYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >J> JP=P!;|w=6zCl6/yB{g*B9Shd'$׍";Yٓ?PTY8Z;f 7lr9) %|<.w1bÊSQgYZ7zXZִF! )]ŗXi%GV:-)ksQWx7a]7,6)&Zb |p77?-pg{t'oo^QWeJ( 2d!6TFw\Z_2˼ư۬Lh {\@Ft:QLF{`&)B߲FY0״(p5#,NYD>λ? 57aԃR!#6 t=1g$ K9pRpYl *ŢSk (;әS/ H}}HZŦfk{tu۬yKӎ!GoQVdM BbzCܘ -)dxU_U.c9"!PbRVщY{.UnhWm? "f̬8EB9. 46?tSK_(s{&-1fABsIZh@H/?:$Zl7ӜN#k'k V1c֯Wt xBGP߷ Bɾx{Izy]y)3s]NbnF ~LNA6(G \X8zz>vYS/ak: ÓEH{ZۖE,y Ȗ%\N馘kؔ+oJII~W.Hg9'd P\oVy1Ƿ<q$"o¼6^0n`/oj.2֦؉hA#\w$4U"H~R~ZS+LgYZ3a5edfbd0cfaa32b2c3ed1f52346c3730773bd365ba685b34502b4975dd781c9ef731c56a0e0c185 7db66820c4732ce3811ef4ff9263cbcff2cc8580 081dd5edc8edac9d1dae7c8155d70ff1279ad9aa b080b0855644488932839a6d3238ac808c100e44 1 HOL-Probability-ex