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   z l<| ]/]ZF-Induct:threads=6elapsed=3.598cpu=11.924gc=0.480factor=3.317zXZִF! ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N%T3߈lf9fP?-JH5E9_U+O@'`EsQ#Rt Z)? CͲ:&ǞK2-37w Z*a B(_^WZ"wP̄& +DDBs+#F 1@r igYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە~^?vrصDTpi`-ZK Uk?CMv#༔<_"!d9ϒ{8Gs&9Σӌ){3 god҇c`(^h>&ŖWmHpMR覅!Uea דiYi_QA |Ewiw:.{|.#)H|n!UZYi3N =Lŧ䥮x9ؐm =)^,1~E'XɱgYZ7zXZִF! 6]ŗXi%;fhg^#F-$u04Bv' ^ ]U ojs@ K.<"qb}dž`ŒƦpiu7pRm ѷuqy䳸3*tj~|JfK\`@.LX+¥1]:NJ`+5>M\r6*Va@,HK*WJ7nݔUJ{LqrYކujф\/y:!P#)Y|=f5R´Vl\L3 ބ&OGLS~zkfwz姬fZA q$Dc*ζ hԫMrt:5&Z^4h^ ۀ ޮbU.M-'"%FklR00h蔬%.gYZ6afe753bc53f7f44468c03ba486d357fb805c86eda36a99885b072ea1df6da1ecd17877fde202f52 86270f178cac06a65d682e3484ced6a5a5d727fa819963cebacc87cfe87b217bf0c24514e4712fba   ZF-Induct