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& T4t ]/]ZF-Induct:threads=6elapsed=3.456cpu=12.392gc=0.744factor=3.597zXZִF! ]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[ 8 Zs%4hF5U!Fu?ʙ;0dΛrwf]KUA8f}ҘEX'ȧ&\H> `iHB}FqJF/6O#frI24"ztkMblw-7:gYZ7zXZִF! L]ŗXi%GVHuY(P .OځK3_l,#wM`uYףW띫\IҬBg1\>pBB(v>hJQ`{';R[|vڵ |&'"MrAM߸[iàIcTh s/s} 8@&^zL i|4@ߨ۸{ְv)(L!F! 2`:XekʭMa2!;,;CE*,l)`K\kΐB"5h} ~B9ٌ9,/gYZd82246573e4b76fa5314726dfebc0b2f1b1eef8a06a212243e05c5a7c923bfbaeac4ec358ce57654 1c883f493371768dfeb6fa95134fb69a69496bb90cd965c86794d6981300f2fb08c2875686e94920   ZF-Induct