SQLite format 3@ .;  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 ss ) l l ]S Error_Function:threads=4elapsed=10.417cpu=38.000gc=1.508factor=3.657zXZִF! ]ŗXf[& nTg6 HJ"I*Yp?4t'~FkJn'C)+DψAi#5i7wb1uB{@_xb J}24ϗEP} ݹ?[K1ZsbƢ a;O#ե"AU;hp(_y("lX$!g'ACϘ?Z`ҺG纥6鮄 f*rגUꗼͽj;6t <]ʖ[GyudحXb0< khQgY ik(}Rf"05&x XuRv=Ke)ұgYZ7zXZִF! ]ŗXiɟ1˦r!q=4!pƹ $7#IJ5˝-`2՚Iv_ny`LoRP3Lv bV]_?vf3璐)@`a9V5jӵ+m2=wxHD^HζvSu0&1XP|.LVԶ*O@S<|g[cݮ |i$:o*! kas[?:4Uu.&ヲ݄gAAX`X3ݏ;,nGl9ہkVq/"ʌR:O?:*e\J m ,)33 V"yxi3qIG_#b>RJ|KxVy6#A t+MDQU岏@ԎC<3:HKN m"n@9/ mjIU1ie/~0??y]VZlʤe4лO`C/N` $v k2 WOm}i5VE(j6ᦲ#G+{!"ÔZ!]Y- 6'**A M>B*2~)R9{KgLJR`1cUQH)/r3ސ=Z=oc k ĺvA=X_%>I)Y,'hzUe%3~G+z܇F`%ONdO Tv?My>-Ø R˽GႺlo,giCH"tպp뿒YKH2Do%87'c!Ē?<E$}13XyM~6W3K^oX  ›ȭK?FN41ciB5Լi"]/:b !U$8/hk}hAGvт1^mtɏ#]>* 5>TuqӸӔ¿3,CNXAA>^#X؜>0szuzce r`*