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 | \t4 ]% Topology:threads=4elapsed=4.501cpu=15.324gc=0.488factor=3.407zXZִF! %]ŗXf[&}H/29#rLhZ1l89&,H'3Zj-ǝ[".510CGy;8 Q\s`>M݋3z[ݟ46^Êw<ǡ*A?@I E:bݷ<@dO LՇ+ZEz0W3Rb>z*?r~]H\Pn91"YY neK9'oA %ea,1*4KU dū%6"jqhS]!D4iXٮX۞zpt@oRNύyrz6yv[(p'2ۈv|Ury5cfGČs%&.2 ğ- hY?LIX/c75|ej$ByAUI½7% JCF@XZhmCxԲI;c660,K%1Z6yuflNaW|0]JM{\ 1y5-ExfnO~w8"u`6)ߑ`}Bn]J1I^ T2 10YSxK"{JU+'J #_ T7~Y+{G8wwuE8lUlgi{l H-W5 6Am+EB:]8_T%~*WnƧy&]}T%x?(-t]^/yqe'JqK쳈|޲,7_Nc t}; FUkX|gYZb5ca1842701e269fbcd78dfb052228b5d208504a76b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1 f04b6a6c33ad0f2bac00ec27566d13b96a6832d3 5823237499f8a3215557a28ba1b272a2c1cc4d7f e72d66f436a017dbff879d7ebc618ae7c769c7c7   Topology