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 TT)1  ]S HOL-Probability-ex:threads=6elapsed=7.164cpu=23.784gc=0.860factor=3.327zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-ۉ 5* *gR60ogD=FuՈKP2󍜯ErlG O/6s&x3&  K9[C v= N!GyھpB&h߄e:]g|Lgb&Eܴ8~sL}ЦXץ*[권5SY)^j^ND tJ /ʱgYZ7zXZִF! )]ŗXi%GVD >p1c),ls}EpUc2 #u5ȱ5@|82u9.tNқ谟,l6[pYͼfվj}R#ǠZ6۟ҶN =fl,Džsz(4g -/s,>*=߁z)c}[B .ĄS0ޠbB+&j(['->1גGadhEp`;1Pt!ˣ.I[C AC_&>Q8܁GJN\Z{Or2_"Vj.4+ RzOY9QgC , zw>~t޿ m5Q&8ȃiehϑAGaSk;K&]h|:V"d}&iv~Lwɫ!I6'5O3@et$$I#b>\skP҇u9h'& _Y/a%u cqXer |E38e^?+kYtpg-C7 .Q^u<V`sI Ф׻C IM0ě0Ԏ Y` 6:_XWvGLg}*; 4\d'zoep#Jf G)IURZ/͕e?heh-^nsi]$v:L g 5г\E_*6ctpdyT2ښ )q /TRBDP$9O ]έĎPEͺv}PAX!S;gYZae09cc393fc368319332c26a2f2f3909d735823006a212243e05c5a7c923bfbaeac4ec358ce57654 662b38046f2d6e283935bf15699cabd0ac2015c1 b84432c37b1bd8f9da5f8a54594b3808cbfe8629 e19cf22a7e3bf90e2f6e9ec0e4a9a88079099d2d 1 HOL-Probability-ex