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   j <, ]/]ZF-Induct:threads=6elapsed=3.405cpu=12.280gc=0.692factor=3.617zXZִF! ]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[ .,ɸ)h>(ZGibp0SP R-GpƧ{jn`A|R}!֨r*Vp;>jGG[.$ț홐E/6|/£ 3Ր?OQVflr[6oW6N~|>'%~2]/V2.qko_Y_1pl*|8$ Zm]@l|}%!q7 +)4$hLfcM l.O31*qOgYZ7zXZִF! 9]ŗXi%E` 8"gz%- >Hh52soRMbx0#Ϣ0U1}AΒ5~5Q0#FٶPq¦u4T0eoh9C$(1 $<|5J|]F\H^zyR}ǝffHd/ ̰ŠH|UF~\ ˻ b]O KUO\㥍$ )3NG2mR1:)ԘGkW(:G~Qٵ2F gu†B̏&`uGLP% aJ6F{wY[9 sHxS9e@7\iDG'HeG4AX),ߚZ Op, af/HufvKL-U}g@XG4ѿ?Xt;| n`ښͺ7͔hvwV_Spݬ>ΪsRZ?1C_6ڰL'yo2D}ެ2pwMT]L!bda %JQ369 <$y$5H3V`EZ)#~w36\'CN CZ${f#j;T0:q^udp/祻貶 5 n̔s7L݈$Tx-?sfS&—9*s U,Zޓ@$*M6s3,*V|gYZb6c658ac786afa3757c246d3198c09bd7bd3f7e9610e66d7bbbf591f95ed39af4ee9deb5317eaac4 a456ffa942f4fcaf4c6db05ca8ae579617e6611281583aec205a828e534278c3b9ecc5ba2af32316   ZF-Induct