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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info k< ]]]HOL:threads=4elapsed=213.276cpu=637.888gc=44.916factor=2.997zXZ ִF ! ] ŗXf1-%˓S,z!ŧo]uA{D"D5^]3ǥ4|uS9 )}`f'ԟ&8#V֏c`thIzюahBԍT9e2k2_@OVs=y4dnt$,hz.k\۸Zj&,03Soinz{Ū5ߦ}\\Unj]m3.LDӞ7z'xs>0 .USDNnb-,=?gOQlk_#iiO:%{ϥxiwMtAEhyy|6^ǧ=:Ό>BI8lss^YB$ܥ[w(y <<#vHDq9)8us2vj_-q9yNGASiv2c5LR#.l 8B⽀N"-셾4(b"︙wA.9__td_kM[o Ofba{)\|DsF)ß}!v_z^^y[)eUǛX|;MF (Z:DҨq|{%~LۜQɹ!PzOT^^02@SGi(Qb=sR3 a+hTF@٨CđL:`lyc5cwk62vºfoy]-kQeWZ-SݽEݜCB[i`m?cE<(2}Ö^KWmU^^}rH-ȩGCn)#TJD;NAY4fMRi,Vo7~ >e!UWT+c.ZKP6PZiy [o#^;C9ѷ\fP&e7Q#^1R"?/1jL:`;>EY>0I M^ p*-+6b^O$r5/hIH%0kzwۍ4el`+_AvxCd$hllGXRf=v)>źvhGCuͪD"kTYHԕ`^N\gce7