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 n 4< ]/]ZF-Induct:threads=4elapsed=4.583cpu=12.452gc=0.568factor=2.727zXZִF! ]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[ v$XzjZU6l baJn͌Z1mh9'75*%[+4a7 m s1gġ9z-|BBu\CCEuL gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەvu S((iuJ,G }EaD!rz(,#A"m bYAܤtU&0#T# cHf6Ui4d$whe-do\@,]8=#M&'Za^Q!oSs6ԴEZR,a=o;4qԅFwT zw9{5$t0V|`d.+o\ ʹE]¯W WzP}EQȧ* Dx@ie=|N̜ ]mhs$oVc > Fn}> l ؋yO9v\I7Ə 4w¢¼N§uEaᰤ@DE;Z5T92gc>1NMgb[?Go vr1ƌIp+ĈwA-/tyVu',S.EG<":;69?&d+:&*>;Ar~*s )-r,tt pc``>a_Ot Ŗ}YBnkc;gsD!CC "_fYZ t-蓮#D )D$R~ʰ&7.4bRJ\z#<38aѤ8nrU< z:Y'G Hn.m7~1r=ug@tD?mri;dk;R9K-IZ؍ 7ʳn8o|E}wG^,߄Yw"^yv[e#m6'b ۤIdIG"gYZ1d288ad3aaffaae8e51cebbf5a677c71eb46e8bbeb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0 6451923d0195955c053391cf3dccd95f4228792b9d4fe025c186399130163ff96c6e1877795ceab0   ZF-Induct