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 - dLL ]/ Constructor_Funs:threads=4elapsed=11.009cpu=6.844gc=0.456factor=0.627zXZִF! x]ŗXf[&gZv cgj 8> *jߝFxWIOcO_8F"e7䍯ٲψ=-Vfemkގk) 4v5]8`/9ݯb..^C5C_zx T@ӟ|Bs o 5rR(J!`1x#CԁeC dZQڃcHyTUӲsEb˕/eWwJ hm}Kdg%ݡ\E_%hxtS+m3Zp+"4[4AiWRExD!nUNX|¬P^IsƼ(͟Uqrdb(׬uR]- (EK0[zɃkMq3!(3{9TZ Ol@g;nT\~z(9&PG)1*'/SM"ލh^vRs1J๽;:qΠ!i U;\3̘a7}_ekCY=D5#[@u DgquO2=tRkfW!,@yhC&^pLc Sd~EgynysVf{s>7|LsRl=ķ7nC&a g( H$x,=]O4QlťeFcw:d$ 0^ig-^ ,*Di _xfb3eʊTynqH|>J#5tf_ @}Tq N !?$3x&X;nCokk vq %PD>:E^.=1`Q\`v/}6Li0dyl*I 1!YD &3~jIhY-5JdڬA!~[a.-y嗀:hײLj?SAvtcP7[Qxѥg~.[.ӣhuFPB0~kG<Yeu離<T#Qc>}pGd70mEUQ!nvYblf}zCg`kjN$+d.8/.ˣ7 ֏0 z;:Di&ߐⷯ?Xb-FZt!B"