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  \t\ ]]]ZF:threads=6elapsed=12.539cpu=44.476gc=2.532factor=3.557zXZִF! ']ŗXf1-) enȈA XR„jqnU䦩+ԋ80߱CF0|ؑci[g*# hR+#6QٖQB|,e^lrLKAT yv&0;}4U6[HA6(Y4v&Ac9J<>V@!%Wۚwrm蚣_lf!ɛ/dt~]"3Q}QOJ# *ܴ"3`|5,_c1šp$~!#]"}ŠAZ(F7Ϥާ¦DљcX.]>v0*0mL>Jk`?xnv."(^oT bCmi P6[g*X@[asOiLۡ> ^-JO: 9Aڶ,zw̚R^ԕEV5j%܂4Q% g{-ZÒjo:$!$ӗd<:h$eEpeomhV9TuD|cYc"DYPLF]'J<#p(j{wji5&j 3 av62n$֦j/gj&]ŗXi%> i*# ׂ`!j~鲣xQ$ F $,P$MO;G@Ku{SCPO>vbP( )".9bm.u^d& ^V"۱VSlaC.&*<%Jv#2meƚ|%z>! ~fT72bj>IYuJo a\D5xNŔ*e_l(P MYf6ia5V{D*e$ԹJ!cAdlV?rBί9{ZÃFX{FK!K%4i^Asǫt ph l߭m3G`0\0U Z*<x5PT /Lxy>ɌfmYJT1գ4,|Gxvev$@7C9;ZŏUaܘ<Z2EXCEr@_2*S@Oמ€ ʊC7Faz}E$JO鷓MiA]~g` ^Pvkx(iuRTUY擙Q(kp̂y^a%zʯ#SCL{V0 Z!Æ,3aLfhL:WZX|/\nInxmSF(9' 6TK&т}UE n-; *m'55xD7otʪC!"hpݶR]GШGƧfsε٤-=?l!H|ԙxk= 55 a=^̬ Еt+K'L}ʇrdA< |`{V<˙X/a`X"vD7.ppI3̅\k.d\xAN#2j/{FDn!X'\<'$~PK)c?$~b5U$R#,د.:FKl9 mQ89 g