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  [ [" \,l ]/]ZF-Induct:threads=6elapsed=3.499cpu=12.732gc=0.676factor=3.647zXZִF! ]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[ =h}ؕKj3ٕhvka+3ݦN1wc&٘Qҽfvy|xlCXt 8~gזNkxn,'nMp@gq]J(cI{ZI0O1G$V1ŔBhWS pgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە~!<_)R6_" ð'RyMWz]|eƁHtL COdH1ޏ;Am* íf?W9ڢyH,3x+{mo:$n0轃#&3ǸO$i^q($tЭCWufكb [g9h8!Cr-D3 C={`5p']<<;9}xj~R7F<^WIvgYZ7zXZִF! G]ŗXi%EZ$]@x(Ěk}.E m%8_ Em[$䆧F{=wN;\n[5/w;OYq,rXHc .Ř^rw6$xcra \&["zBf G bh4&c؁6: } mTT"@$3QMC>C1ol?ˋ)P+ʁU$-Ix~] U ^! &-q#"QuϨkϏ 1x]z"IU-76:FkB_v$vn[Ӵ'AXPgxnϤ$c5v{Hs0 I{0}:zO[ N5-[!-!S q\Xv4k1q 60w qz!ו!b[]0B C0[}oDCOwnjE[U$ BcMXyȓ-6TWqχ]8ZM']CdyFSԉf3l /, ̺gYZ8bb76e2a4b9bace72a7e9c84d7257ea7a0e8ca6e9b9f81d4c305b88e1723b753afa9d6920245812e b5c5f280ceb34a9b4bedd8488dc2f02b8225fec5c72cd306079b24ad5b7cbc9dcb566d81b1f6e627   ZF-Induct