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 EE8) lT$ ]/ HOL-Statespace:threads=2elapsed=15.506cpu=17.972gc=0.704factor=1.167zXZִF! ]ŗXf1-q恈8\:[Td6(Jx3[YZEeȼE<6]B Ȧ|{ !VJV[rel ժ&uiѹ{{:7B *#d[Y [a}%鶔Cu`iGrpZ8h j6r$К{8JDdw7Tn-`RΓW<7q%z {YWgYZ7zXZִF! ]ŗXiɟ1.F+hzl-M'-MzŷW,/AT $U/4 V4 UY7Z ܯѬw_{9:FYxK7]'xv4,G:Cvn:u;~V%p-o%+gYZ7zXZִF! V]ŗXi%;iF(%?H ֠bbGb;3j9Ä4zO 2 ,zeƂ_NJs ǭ7}gYZ6b679166bad042d9cc55d1d3766df40e0b0a9282b6a06941c7f4d32a9ff0b780ae34fa263f209f1f 17c087a835d148ead0faf3b05e4801803be6efde ) HOL-Statespace