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  < <91 d  ] HOL-Imperative_HOL:threads=6elapsed=34.673cpu=82.464gc=2.908factor=2.387zXZִF! /p]ŗXf1-q恈1$1|-~xjC@c+幧 ֠|hmx]03ۙDFøaH 2KͅJRϵ4D4Mg&zsьpT(e^bum |:)"Wغʈ}Jv#VGJ#Z#%2].uR] z5nZX=cNϖ"F+OP})RzG~raܘQ.Zi@uj^k4V<z(tNȇ^S,NSŝ` 2qxvgcb!QB̻zil*/"j-6vy!7xi¡hi&/bVt-cJJeP5\oQTH`՞@-c^x aqs[cY>vD;G>S 1F28BYL|).2?pHa@;wiNVӋ~S1sESP;c DֱgYZ7zXZִF! " ]ŗXi%G"RɸseR@#F\koaQ,֏:\4c<۸=ېHa13nFܓ8g߷ƨâQJ$lCk9xbܟ|J௧ oW6rjxx'ޠR}i08t?\t[FijqkR(j(Ul[ g7($(r!4sFj[*&gK7ũ|kCbXMTao%WQxfrJ̲,ܶ>ld}Xtu))H?YOm搒y˴ m2<Rph1|ծ~:csNUUÉ3nEўLQVzM"1LP\ _KTkU MG8msKR9nҲ3򆇵!I&|Zv4pJ ` v܌e *uIdO( RNnRJHw(;n9t<0Յ8~jP_(ATa%>LPy*[q腑^vM̠.'OxnFʜ]{*:Jǃ%ҔF2dzd1x}MV?(+ZAs5@t11 WQJs_n͡_?$A*P F1s|.ݓe=-f,1L0%SZȂ>UEw>Fy@]0kIfz־;vnD&L=s5ϰ&p[M͗~=àvj)D ȑ앬e8J(K5Fb4{[vSP@9_5jR/֗\|:V;1c'gC}SLLlVbÔ700\{vj0_kS_jFp3)qIaeKnYMA?s#HE+I]g#{Zn< 3|4hqb}OiOPP݃q%uU<$=Ĭb {`8fs}xE-o}VSS[!ap$W4eE_ $U1}s|չEtLM@4AiAgUtGэ{ "iTU P4LzE<=E#(;gݎ4A6LIsqaҵߡVVGӸLGJ ְAlr bc>,ҬRRULN牟@A0N~ q[ibe]{}~ uK$m"{<ea(&Rd"#JTӁ|3s;P&GZvt(X)UVX0kȔxi,-dݽY^eϢW([:ҋ e{!su:5.彈£-Tۊtj!\*"0St1.\ɴp^iB>a>Rwcz[v&+^_ߥNpEYP6 d Y Z7mI8̔UB/BjJȘ$E-by=/łRص4D_KT/ NuUV"yIy?m@SE=S[]GO'= ;lGx؛}R, RkН*3%+o=n ɦbxTZAG8 ? *u& EԷt~Cap!x/[NiAryFB6@b!!;x@lrJy%:_}nchoTp[_+6BDs4iѥ { VȌ\id4ͲչK1yTWgtF5эsSmbAˬ95 E.ԃ]4]CA1= eſV@s^|ɊU#l+*R7ByԷ,6d2ѲRK GH`+-hLx*~l9 7qIIBw|4quZ 鴍tR+P̑%v7kx H('_H$;lơ.^VŢc31yceu7ǀI&s