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 Z D| ]]]ZF:threads=6elapsed=12.164cpu=45.956gc=2.848factor=3.787zXZִF! []ŗXf1-) enȈA XR„Ŋ*tx*=}--8e+ilDCk^':J\jJҹLg;Ќ(D>,_Z-Ēg4|/"8|99 _Tx @[Md{4S1bV9 ޗH 8498}ڬgYZ7zXZִF! 7]ŗXiɟ 1FE`uɁ/0E`0cKljbeة֑?(o%u|^9A3U!3%CD«сNڣf )}ӧ(`?{Cl%_TZfڟ 0 2Y86:wNz߯PHEZ܋x KۀzT[*-Siƃ^sЛZc2s筦`L4ЊJ &jdny]*A^)/x!):!  X0H(+MTA Lv;JLJ\yl_Uɞ*tuón9Z m^~6CSܢ߬?r! b-c5g!\Nu-8:3pjQ՛c2!_F1yJC "巴>[%eoBֺz~_\6UFk8:EzGh E0멋Bb0ٗjD a )-(W*dQ s;p?q[`>o0AqQXY2,'3zedgw4 5čQXtbc9Cb ^!J5Mb/z`7*J 6p@ \Ew1)~nM:AjT7B@@4);O1!!ENGu|[6-)d؀?7JzgV@ :5sZ ?ѨTY+)ݡpzz3VA'ly)?TJ-G|o&CZ`I^Ͽ?d< DG,Ӆ(ۃߜTJ&qFszA! p4ΐfmpa*d\J*[ѯll5G37` AtG˜^A'Rr$/}7) B{ˮ;;_*' o&LF14I+rfVDŕIcndgQP`pFW{X_ptYW*z[S^~ dlW_w#/ɞ&~VW  †`/رgYZ388c58c107177198af22d9e92e873363ca06b32263b1f4bc87078c4a404d2432b7da6c3c391c20b7f63cb1ac89f72b2f99d3f100fc63b15e9b100be6  ZF