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 a $T ] IOA:threads=6elapsed=7.819cpu=34.412gc=1.380factor=4.407zXZִF!  ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K)B Do;Yi 3y$Wo~Q#fiFT1.e0W)&JCs# [ .i[ַY cwn<`p%>ť搶,cG P]#}2`Mu!}U%2IBmlàS4jp>JK];J(d!HRMڍ^`5 ߫ t&Bʤ}2St_@+\̗Ee]h4pt+duS}Fԙ@7n-EGDGr4QY!/48u )k7?)s9p5r%y5ޱq "A|C_ NѹEbk;h9!ѪF/ ,|ԼُȥRoc`g6SIwY֨5gYZ7zXZִF! `|]ŗXiɟdN'LvH۹)f]x0R^ά"ZeuK@} LnWb xբxwpù'͞3y45\&N2"/lۅY>FNmV֤gR:yEI7ϥ5(*$?⏙2 з(U*'l>R"F?N`Z"9AiJݯk-Ņ7m\V:2O^1Ao]:+44"d;h4pJ8v~AŹPD1p1jJ<F|tB!e7ZX%1K0?oσ4qC`1CR ׂrO$ gYZ7zXZִF! &]ŗXi%Bȸ_*g*7h+ebdN/DM8@)~TOr)ۂDܑ%է75z0|q]-s,Ժ5tVфC5읹s6cvXrg:֪i s u}3)uk]%^[Iq҅w?Y}MBkCR$Ŭc.70