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 b l \ ]]]ZF:threads=6elapsed=12.397cpu=44.308gc=3.164factor=3.577zXZִF! -]ŗXf1-) enȈA"tr-j. ZbNVHDݗqۜMXЅ"oѮet0z:CTe ZX5_ ͥ-SNs ig悻* n셺3iO'!_U,<4fk< vBҫD7޻҆r@$Z*2<W5^0Vˣ Zi1W. &*Q}/:)b"$#L) ojɧ7sr!ɽ~)'}ymf*׆.~B|΁W|XJ၄HQ5 Em͸71 ᙖOLKnp.7æXFYjcvlYw[j"bwLC%":OvwNl(b7sl oe _KWEz @x'6BW ZPQM5nQc }xăqM]H-v'#C^{k:̚0棺 `9AriCO|6m.@)*VJY4m#gYZ7zXZִF! @]ŗXiɟ 1FE`穵%NF5Vn(jTg;Qs3 AAJmwqN["EWXe88oɅ涜@q'1=kTM㑉=-TApwm*2,ڲB3 AfO^eݲ߽U$Q nwA=L\ňG)rWoylVt5 "2)C,?#F.3]? vgPkyj67P'7T:kđ(ٸM-0IKէzNAezDvh $Wģ+J/"mufUkbO  _|ڴMk(w\+vMdg:G1 \?E!)Т42+˩9%ZٮVgl뜍\t*0NY'w;:kjqWa(G4Vu/dPS"v9Q[,ĩ/m:bxOx7dF ~3gYZ7zXZִF! ;aBYފ[̝ށMR!qy?]|zZьLD2VGqIѷ*L°T Mkm-* +DTXIk{m( gkt:[r!bjm+(O@\vsWLvGPvzJq܉z&.U ;J^aܭ-vcowC=.rEN^Y8YrtuS~q %(jZ{6[h 4u/!][45*@\WAsm6Ur% T &Z_^'U$xbjq۝$2fv  YJ'$_e~t2MڂDdr d dϏO(D@pi'(4"7֨xk:=q1*1yn=(P9wIuxnÖ:DK/!dC4[Kc>|rjs@rsS`,g5kXCtXh#kKN'Q_0R}o +jd:Fm,8AC@rYkW$c?>[kAE܏ 2/r9w̤DIw>0(Vg?).PUg@L\? "JQQ>24wP@CįV*> c,YD1Ro, V᫗B! s,ǻI}0#>_1].bF^Jx Oel/T`,zu`42fȘ3sáygdX w\ya"#{}4]N ;3\}0_mӺUMQ{ꅾZ$DR }6:W*O!GL$}J/weUQi앟&_q+PMA {