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   l4L ]/]ZF-Induct:threads=6elapsed=3.370cpu=13.008gc=0.672factor=3.867zXZִF! ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N 8V@y&(G},Hѯw0(d?kY_{0EMa) ))Łz#|u`[y5f44Ͼ~܅ R$ٛX'inc蜮4wbWn 5}gYZ7zXZִF! ]ŗXiɟ9\'B:b&=*eVBz&w[1e_1$GǓH3eAbء`tXl`i aw||ccc*  :3 rwrfz:p ~n d>p MRhw[v?qϏ)?X⭧gumT)sHA4ח~r!Ic+j8:F{h{03Orki]Tz?.(zGvsDЌc=X,ᘙ)!AHd.a t;9gYZ7zXZִF! Y`]ŗXi%>mT8|䔑ߝj1x%΋5r9%'4ix~;.zZt zdi!V:ë-d>q2{e^CS9eH* ;zxY$! ȂƐ{lS?aCqЦ}o"~WLPF 1= IZjR}b̡}7p7Í)x)T iϰcTT1\΀4b}`Y3 1ZGOVSSBg"ՂQv<@>f~Fo@r(==[YrO`e=huf0>.{, 1JqS:+t1fQ r{4d\YHLG+o# *밞84j­oQŘ^F8cWvtXulPi!1Z~X-Ne 1'%gO*IP|ppL2;ʚDl v00v7 /̈́胧V07&s\pa:)*( t)U5I8Jq8v&Ȭ!gYZd17e529cdb6ef104ba3086c0046bbb2369c2ef90ae96c4661efb67fa55c859aee66272e43d21faf1 a2982641c18885b1646e6890137183fc81a838757af5ad2852c26fbc9f774d83b286fbf8ab83b444   ZF-Induct