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 j1 d|< ]S HOL-Probability-ex:threads=2elapsed=44.742cpu=54.744gc=1.548factor=1.227zXZִF! ]ŗXf1-q恈͐7ӺV ;Dg[ o83LͯJö_!s[ZХgY_b,30)VR gih# v3(%"IS[9@|rKQ/a1jb~IVꇅN>P9$qxXq6(Ƥ WKzq2ǖ&O\Ie˱ +&5 &uJD|YKג Qq6;Y Omu2B8MPUӛ?w5hUqPSRw.JJ1u0hg@j$;t!}^~X]u~%59n@$OhW<`׹ME[/#պj'DCYoBlD,8PНҚMoRH\`:\dc3@wXn{dZSJA>W̷} o7p:0K>w.)x5̂Vw?gepՄ47P-ړf>RAih ʈo#/ՔG("}0& M1@Iu@O0 ؞*;'+@ԘNEcվlGzSpx)u2tʑni{F /h3T,4bzVVoM)I}:^^mBcFwE3 ,xSr5f80b8b* ھ{k\T]_=lRnͰPnsG+j ?덣,7{py/ NhF"%%R#x!{xÖU8'F]7ۇu@b9E:Uv 5` ryp ,*2hE 6vV_lI:@3$8nP .Qvs+zgD5',+q*0-VU|E*!SWE&)ëDXNȨaJO}-j)T.o Sj8Z |ߊ!("-ΨQo _Ig*υ1&ޗ+; JV@. YG ʾlcwh"h߬ n~r*aY@>EɊ*(7Wu[&a_~CpcIjǔ5HaIpGCiKmz>d&R#MQXs}c1h&>oK`a(i'-o (}JVzwk.VE.RcE9WeDE\:rTfry{6[u1SX` -pg?J%PaQ?KxH|?@/=U @+:V ŧ"CC2Hm+cgD sCkeYO_ΨE6uҫ1=wv 7)1[!lћO'9Ff/2[o>gJ^J\O%_k5a|4ONTe!5'&U+& N,x -9+ ISxRBZ`rKԸL!$\W)"yWRYe<=+`py{۶wk*N-#ȳϡyr[p^;yz: r͎;u9ς&=ApZ>sKWM xM~F%w9WK$K/1t9~REoEA({kU%5!h} [3pr)Ei(Oָ.kyρS%fU͏ T Zn@enN"+` 63 "-P  qPE1&;jG </VQv"Aɻ+q&?6^0n>G,3`Vܟ3Z6t7].qLy)2{A\Ags6GT=ڤYS56 I}.,\~!$SI6(mprgYZd84e0c09fc65692767f2f5df005fe616b834a04f61532b7245075d4ea33812447b32dabbeba07b4a 3994299fe9a4f467e063bd0b975546ec5a4970e5 04fc08587afd9f6b363d6b2d3713f6e90b5d79e0 c34b68718b1ceb595003d79398a3c2d1a53e736d 1 HOL-Probability-ex