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  O O. 4T ]/]ZF-Induct:threads=6elapsed=3.495cpu=11.976gc=0.368factor=3.437zXZִF! a]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[ .Lκ"6'>N_J ~i;^+rq{M3:኶-sF! zM[Qǩќ=BS͖_LV#CR͉<(6ؼf#TcDj %{(ܲ%*L ;(<7>drk;6MN-#' ( ߅gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەzً}nȜR5.L>/5 % {lóbTXĠtΓ !rښ`&hx(E*e\R=}fru%W * [ETBr=ż93ɕp2x{|_Ĕ;im(` 8 } 6 DQc΋5fz f¨)#Aùo q ]8NذS|*~ϩwp7uʽ34 1;$OOAww;ۀ+y1S` f#6,XWB_!  ={M![{ڂI2NOH\,> eH <:<%V^m֩/pz}b5yvh^;龖y(+z-Ϡin-_,icձgYZed62a77ca6509109ed8df272a112d9f28d5c7019ac77010cd64e2ce720ccfa00fb9a959649c23cdb 264fba6171087f8204bca6f0d925152ad8d362607c148fb110d0d18c5d987ace52fbc54679732f24   ZF-Induct