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 Z d^ٟGhw#+?[Nj,VIV]Y\ꇾy4Psg3LtAZ-3 P ~n0T$MPE`wzk1؊2t9#n#]?j Zb7ssXtд{ ̊gүo|n=ƞ۰+Uެ %5ѿDRvޙ\O^4F@0i+UPԄIbA`&Va* ͂sY%PA_ߗJ,_Z;RȔ1|bAeWU/U] r=Kטe-,ESW+f6ŅoZY":T9*]yn[9KXdaԡ"x\uF`SA^ڕ)i-W!Xj.ϭtjHՂ| uȾyqVy(%e>{rjJɇsT~*eC))N!OuGkK>.Ev4@., 5QR+.q\N~>Mf[+4cxz~vbz]).Y9kŰv+ LBQD匉Хs]1kOvW=\ww.p)ט]~rt c s ˛`*r]= 45 `*$%vrPI)yD:qk_lXԎ'rl~DH}RAQܼwtc_,wJ!;W(qhz7@Ju&eBahT-r1w3dH暚_1-bI.SĤ aƯXܮ;|] BԧiH5-&b7oc5}hg욀ed9'ZĂ'f=lm(7zr:'wR@&/`<+0@z@Hac$