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  W W& l$l ]/]ZF-Induct:threads=6elapsed=3.525cpu=12.436gc=0.644factor=3.537zXZִF! ]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[ KsGOmUm6! *3ߦWR/ѥ| "A]McHb$`> H‡a@V=e]m@(|>yWٍ-A=[7֎YW] yy ya/4U ~>O% #PgYZ7zXZִF!  ]ŗXiɟ9\'BFd2KIەxE=`7PM.}Y219813V[^?b0<}0j Ɯ#dc9 } \oL`@ JdQ Y\([^[2VVg]pQ&zs4\ ')+e`qDuěڎPUCڋ=# ۀ^h\GʗgiHU:[I^l]mH}zD2Az |l(jLS`D]ɍHVN7PL/+^Dx=ﰊ !_ .tlW,Kgmfq7c>ʪfX?8+kX̢*z cm4W$bw-|5j `0f%IW ć ?ʷ:i[Jv`1R| %[Q05ǗhvXx=|h*@Lꦻƃ9>K_:-ˌQ mE(A`~|7o}5mJ-feeP#86#dQ;dQ%U}}|gGxw{R[<ÇlMQD8\eX(n*pٴ{&d+pv)|eռr 9#΄- 'ۡ ?mTѭFC҃,8D gYZ1104938f37c20116139d43b87e02a69965434efe5f1f4c97eda553942b9ec06e90a078c551996761 c39de32469e88a438b2bccccf276c0eb0736056266bae79a2faaf69517a237a3a89b5f1fe4552260   ZF-Induct