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  S S* T, ]/]ZF-Induct:threads=6elapsed=3.373cpu=11.888gc=0.344factor=3.527zXZִF! ]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[ %5E0-wDBSkk4R9-q@h`#n;m߽k#wUZ F%EuB'IVoQhdPy! HzlAA[ĪWu7,ˮ-OgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەzvrد|HS>M0]nè\D_]WV7 5+3((мkG`# +QmnV MGj NͨbDiX}@.nMd:oOŖ$4>6#+soowgK) \z h[ze93h ) ` 3 7E@Td~Nbݩ0*VJ7m@L ~1ׅpT>؅/'$Bl:O(m7澷| y"fev}sglT]M>eÄ`l}[cH/ilJ Xu@PE(f2-0&܉Q'$)k;Yj+qZBt_5xt$S#[Wouʲ`rhr;!sf^O3H;TT|}x͊TZL@lFνn8poCL^5tgߞxU[I8!ԇ7&iOr,ٺ+hZ/"_ĩŵUs(@G]-`huC8N(maN"*vaâp?9ؒx6i#(!%XrZ;'[b$D,i[찱gYZ3c0eeac82360866b88d2817e5c4ced78bb6270cf685a311797845e45d1e0e94079c226b99532de8d 4ee1b6072f0da1f95f9d96bde927e6b8b9ef585bfdcd34b2b6a92d162cf58f5b172a765b2fcbed74   ZF-Induct