SQLite format 3@ . BBh77otableisabelle_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   j \4t ]/]ZF-Induct:threads=6elapsed=3.609cpu=12.464gc=0.528factor=3.457zXZִF! a]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N gywXEHk(GݹrIn}ׇ8]lmQE1+\,7(hDCKns-?(z PxVUK>ʗtI`[b7ͼdwE#MBTCPn])%m7mv9˘gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە|2{nȲ Vv>qA(xS @umlU[jcH '.$a[Y&@Xt5_ԉetۉL2_V^G3ت71űP򘜸0$'1ٟT&o2,"X4j=:fR-Qz-^T ɏ)I7"E[jk&oSەdg?1G{$ y`,#|5Jdp_1o^{+,y#N/89ůڊ ?m(> <ʣ#ТBҁvAEO M̙P c@f<tq*UhBK.J ]6>O)êeB;cH{DlG|bA!S:0Β-ݺżW*®ا]&Jețs`Tfw hPἊEJX.:`^v_%rMgYZ6afe753bc53f7f44468c03ba486d357fb805c86e7c773fa34a6bc8928e20fca183df288d33e2e574 e351857f538bab89400b22fb99377d3733fe56472dadcb5186608ea8e8e77efcfe2ff5ca27845ed6   ZF-Induct