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 kk 4$| ]/]ZF-Induct:threads=2elapsed=7.708cpu=12.388gc=0.516factor=1.617zXZִF! ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb Nzz&i Sj jCA>5.HZίLȇL9$vdRLszjA@*n>n |ߨu?:a֯W$TU0\ J "ٜ?vۄ4yu(N\ƢJ(gHx26Sw \ 䍋%D_rPs{N"19 RgYZ7zXZִF!  ]ŗXiɟ9\'BFd2KIەxm71z]A=T .?ag>+,OW4@>9("i;RИsHHfp,S$CJP7 Lf/4c%o s+gǕgǃ֋>^M?.жGw)t ЇiaaeV-ށ0I..q{g&-*O%nhzN- {nR]ŗXi%>g6 \@x%k\H#ԥxvۙѿ٘ YE|GB YrKhpe86sn23<%%9ZX+_((϶qw.ޢ}OkQ춓vZ}_M䷐#4s)xX K< x_ȬU7xeiLrSڤ~),>BΜm>\Kڗ嫞Zh B/S#ՅAL!gĶ Ӏ%'{)%iS,DIVl9#lO*)*o$\ mQ49!4Ug_|A.UPC ^{?ce%A}q"SH;tNo6:{^wGqWGb#i0wiƄְBQ-XI0FghIA#n$=(魏 6>P Uk}}!z!rZ`W+ Ԫw„nQYk؃PO),*_=7){O4;ᴏLmlIx+H޿Kgr'C#|ܪԼiⶐH<̫y\gO;UCn{rRH/,tlYۗ[4+3[hE(MȂζ k Y*a-.s]r̸LZkAB ]c6j nP UYeHHYJrBw;Ο'(RIsI G1"^ o eK1o8ꊷP}gYZ9c62a3d26eecbb35354a7d1c921129416827ff0e82ea62db878002abe1f561b243b2cfa9fc698016 1e7bb8d896755bbb779450a1105f0ed37cd956d6dfe56f3619ac6c91064f610c81197f0e41720d5a   ZF-Induct