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  : 4l ]/]ZF-Induct:threads=6elapsed=3.509cpu=13.148gc=0.572factor=3.757zXZִF! a]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N <e+L]$U6MVvt/,@R3tNxqa&3y6L'+RX999X&be8')5B9&-Edvw6H1h&ij v:#ӟU+arsɹj͌Ir;{+p!k8`e a" A9gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە| 7Er%e;RR6zbOQ􄮈ǁ4\ I* ;~#NQ2:]1Pq } ((Kc.%A/oH+O1 p#lc}~OP:bɩ5^K9R'g_m8l,Lj<. nCOlz:Lt Vz4M؁p"#o{3`\f.Me;gYZ7zXZִF! Jn]ŗXi%@fBPat"?-qc3dm> *I?$D( dNKC4igȓSW}ջCdl#*XTZ dEҮu&?6/Ӻ{#\,fȘZx ƕdC.3N ]v]`Z/G'P"㐷ZTͱ,S>eU"%[aQcR%? ^,p8zU//gDKgFpV[!k%ܩN#@âIX-_돥$5T? рíS:xН(Y񪯺R'NshJ^x7WXȚO O#=]U-j@\ 7^cBP 3̛yY@@k^Q]Fm@Kl'7yyQUV cZ;G/@e;FXrݳ<)cn]pwqj9:gi0%]8;M`* MSc3im7/M',-͓; ;0yfSoQB]&F?)gYZ1eb53b49c012ff522f42978a06950575de92790c59cfb008d82973f70adacd49cb832067f1ce6d0d 5587db668cbf7672396fc8bc3455443e2c01e8cd10ad090da1a2e1849e2e3ee07c1286fd074322a4   ZF-Induct