SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ^1 t| ]S HOL-Probability-ex:threads=2elapsed=45.562cpu=55.784gc=1.832factor=1.227zXZִF! ]ŗXf1-q恈͐7ӺV ;Dg[ o83LͯJö_!s[Zˤy L%ܞ9WX4UAM:Gj4gpɳEix+-E.*kb*wWt-nPm>{vkƽ~ƵN&?*cwܓ;ǼX;侵os`Jȸ᮫ElgO W Kv3b &:?&蹨<2"qvGc ڬ6qOy&bC2%2+C 0{(j|!:mQG蓐: ^#tjx_ H?e9 +Ӎވ?u+rbe#ֿjSFN#DW`H@H:J 7['*@yCS_t9=L͘ I!2ϳ5ґ?%9OjjޖREo?_WLf>_)74IJנkO.'Tkr`p"A $[9qn8蒃r T٫_d-*MUG{07?}JNa$&NP/m!SPlaZY͑(ꀚ$~;Lk⊡~PYPq Q g!{*+wIdiTf;w}V"CŎպD̨1$^'PKށ]5% PQ4Qvd& 69 ݊w?-g:,<60Aȗ5vekԒEMDÆ9FnȿBB]=Et$9WH2ݗ0#cIF:@*i긐G nTzy"ԑhMPq5,,' ].<+=VwT 'rZd}rl2lJh\!/vim㻇KA$pqx $sbaBjUH\s[B^sj&jz`;btÏ:ka*qۦp0ZJe?rjfQnq6nPmkD K{8&&Xm= k: nj=4(\4pD~m:-,2H?& $iɿs{yE_zjOʔ˧8,AB6s\-3q/Z==)S[xLaLSz33`VlYNK_^C[MG=/M&#3ߞgG  .rnUqcg6e/Ϝ_'jrad092x7Kmbm"$,+f5̖#hu&% Htt;*FP),zg3i}wQ` D}/w!I+XJ|L<; ie\`7Pcn=)tďDd:=q 50a].6c Vl(磙=;a`YwdAw yS ! 8B[ŇDM(쀶,ql!_/=Ik{uk[]aEq~J9i Bxc.|,7;$\M (-m7yB3?L_;tG#҆rzQ!P,Aj d