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 LL11 <l ]S HOL-Probability-ex:threads=6elapsed=6.985cpu=23.764gc=1.024factor=3.407zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-ۭߓZ07FvugU . r.u$χ(/) me/}er6^,.} Ӈ_ dPkLQ'S=3~Ahd:;v⧁6l4jmQHZX lVnu'Ό8ã20o9|sVBLc9pDd_&!ٰ9Gjπ%FCd<9 ~oS簰28Qq_6mW"h-i(mSDF.}1;=X!c_ݛY[&8tRH\B ŝ"*rήڴ۷ Vu*}dcPXfFWH:4:>V9`eG`%21u T K*14 \ұgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M > )>Fxt+؀*wA!i@FL\#MHڮ<;nvk Gw- E0…(ѪOS_݉8j+t+X+b66R2 F[P.zcrpgYZ7zXZִF! ']ŗXi%Ir%N_;&22lvʣhl({qtgq$\Ÿ&EGtbj!g]Տ 62y"gS1 x+>T Vt"z_dæ&SdRg˾$_Ҹ ݺ;2^#130IjhԔ#SVdSZ\v&.{0@@P|`۬["3ROF&6# 3͝jh&]ӉU]m̂H鎽Q>x&|W1>U {5_ޑպE ,eeVmŲ,~+㞾k+9e.X4T4|.Ւ a0#S~zD␑‰yNASlhv:U^C ^'1Gd9NƮ]/9aw.؄e@mкd;,C[Pf mf):M!{80w7<.C+cNU<1F8f_\½6 C1۳7#\]S;sKrqɑ n+sk^uŠ934 ь."!տo۫D^HO5z7 YT6k|e^Ozd?h(gR1-"(viijCԴдXy.ͥiJTAl 9I@-~X1Ek#fDAm*UQ:d5So=ogJCbfJdF]f?(? e~g& ЪƩ@ CfqiVv,,*kڂ eGw?`<"oȅrGmۃ!jKYq$] /tֽ=@C}SMq:sgIlh<9l5bѣRB)6ia7\MyXMؕNuѝgYZ8e519c7be12f6845877be9c239a9707125d88882ead191c1009fcececd2b78f8be974a6d6d02ee13 2109ae05d8f5ff853965c98e95c82e59021ebaa7 889e2973f6e567c9f28c5cd96784f2684bfe3cab 5df7de2cd7bfc6c1aea754666148dd872e2907b6 1 HOL-Probability-ex