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  > ,d ]/]ZF-Induct:threads=6elapsed=3.334cpu=12.836gc=0.568factor=3.857zXZִF! ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N b&թa-jyptP&' |9gJGu[jj;,"-þ|zHYkE1u6^-v4ۮ.`_<,'迥"r Ki`&gYZ7zXZִF! Rl]ŗXi%> nd{55;]tl< %s ^}k(̳DAeH ZL~tDZEQo:ȯ wt]ϸu&T.Ćp BڄSr*u|(Ҳ$X-_gkc5AjAd`IaRL^Z/m! uzlk "# Q!V_7\aQؿ6X2MH&~A$bB֕!p\H:5v\֒v[bJgz2_=j'U_)0Gg\?':n/[`I>Íb) 29{8,Y]SK1Va s0󩕱3Iy]̷{u0'+F)y;eAKËSf'} u*%Hۤm˹23s0U$-w,9@57ǂ#K>.ppQ)d°*bףte[G{9POX'P\I5֑Rkb\ ?thUMXdh;5t@k"V} H nr]`M("?I;1Rn< Жsx&=wgYZf6a0872280b0887d421486ff32e2f5787c0e303d4604eb2567ec75c8d9622816e4c73711a6b8dd27 9b35d6a8d22752e22348514ca907d3775fbaf858c1e0cf178c20aa3ba75878daa6a5b38f7a7977ed   ZF-Induct