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   ^ D,| ]/]ZF-Induct:threads=6elapsed=3.363cpu=11.380gc=0.416factor=3.387zXZִF! c]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb NWPp|B_;Cqk7xX ' *DzI:@pNr| g"K\Zuu[%Cߩj)ڋEwB!@oƄQƔQME6Ȝh X+Cl=_}[PgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە|?vrدi@;uI@$P/=*H]7FzKՉU`ȟҲիR4M%dŽsUי%sOPwx{bAWV7cZ,^proyА񡐂%1^rn 8^a+`J(mWX߅+gSoɻyMVax<0$}ͳ8dhqMln9R 4(zXۼEIvgYZ7zXZִF! 7]ŗXi%dR"ѣ;v2 r vJC2 FUI߇_{>~ZPosc'z sZ Qz#ĎWRw2/5wf OIAcda[_xCWz@(Z' e6Q-j_P%~^/gYZ6afe753bc53f7f44468c03ba486d357fb805c86ee2fef00599d8b719ae96960a40fed04fe4f0ef33 0189d242cdd1934691e5029c1baee9d87643fa757d6a5b15af40c6f4ce239a51296a581544dc1a8c   ZF-Induct