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  G G6 l4| ]/]ZF-Induct:threads=6elapsed=3.530cpu=12.456gc=0.648factor=3.537zXZִF! ]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[ `/*E;7(]9kۗX5,*O|uԿ}ūY T?BA\ Ws#vA`ƛ9&G2C?KH nxF|tj V$yg08opHYv-@p,2`F9l* \&MgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەz 7@d2w*ql|^0Eh$QBRȳf.ݖ { THR_`9ȂAϗ& oZԘf*3521n 祱P=+[ʃ퉰8BJvM<Zl[FT.>Q[D]>I!5y+Nn&:b͕ƙGGW "@dF;oqp4'=%A$gYZ7zXZִF! J]ŗXi%E\zO9fU`D{]FϫGN;Oc^Zv@B56TdiJ!z#,D.dLۃֵHX*P2^'[ViZ/%VZJ!<3WA`Xɇ6lY4CRq&(F<5?%xi s&E# Z& SߞX),#>V..YKϪncy18R%鴠*LmRAw]ur6gsQ%+2uc )Rg{ZB?! ˣ =y/Fo֞A/\,ZgYZ1a1e4d0070479a53396c64eb80e47b11286c127e81d1fd0a308fd45942f10777df17e6592fb6726b 79be6ee7fe24148a63d46e5421b103e0a40ba2d57d12b933f586340533266b0b7d022ef986bc92d3   ZF-Induct