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 E AoHINOyWe8*[W0quټw)ŕd$Uh L'd'h^}㨂!i4ip.3ƚf6藣#`ߚlusToyq$MY$=~uˆsa/_fF?5n!+PnV:91¬~ B3lܬ2ÍX=htRP׺4Y9z4&&HNrҺ6Ӵꦞ6 gYZ7zXZִF! 4]ŗXi%L 0GܫmjV=%ݷj=͢\9 G(۵ jmMVGmd-$j?rQh[ uь'\k&J?̝ -~p&-Dlѽ̨ٜ}s!)hښuR\{a?uIx1q5Pl#z7an|b uɿ[Q Oxѳ+q(F[=P&q`qS4f!yhc\93Vvd`3V_87$wQLnZ(SZ;YcF WnDQ"l+KbNo| , LR*p5U?ڢ{,ʳ?d<&QtTX-"fnoS6Gpp:x<|X Uf^09{U>s=r9e-DO67鉉Ɂh;}~Vl1v~$%lJŤi--ص Tg$ A| ]d"(Y/1./:x5yR7ޓ/"O 7 f Z:;a"|=Wvop'W;"g ` F(6a'5rD\~!cotDuZ#u2[N82dܶvκ6(+"gG :UCV陙Aڴwg?Yrl'샤7GPB18~b;Ů.qh[D'OUv\r奐OK|["y oTp, '-*8f