SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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   4 ]/]ZF-Induct:threads=6elapsed=3.345cpu=13.020gc=0.620factor=3.897zXZִF! ]]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N )ᗭH!HjɆo'U$L3w?$Jӕ߄8kA,qMc#)j]8CnxغU'mXrQ;:s)6r^WO`@/u'I8IjqY 6wPWdGN><ЩM:ذhw GC_uGB}E< AR[X-^>_6[&)$L"GlHo"T3E7],i. g!+SX| ?92$cǺHo֌ff7&z L&]Ag5*6 5 uֹjl6FGԔ~9P|K/2=x D 65Ϭ$?L k*]ۃ$ǣ% 7ʛ4ѣh 88V"Wϳ2wӔ|=$;'=.19Ҷ=Ű0/$ px0X./O<)c 0IuE_@h#!=N_~hJabbdg0CM_塚v~XCVWw~}Iz7zmN'% ~@s;#$[s!z"UgYZd17e529cdb6ef104ba3086c0046bbb2369c2ef90f6e8c467571f6b6fd723f058bfc31d74652304b2 795493d8a03053986d7ec8f0be2e31a15694e86dec4f9b7ee73baf8257d2a89031c7bce6ebf446e7   ZF-Induct