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  $ $Y# L 4 ]]HOL-Nominal:threads=6elapsed=6.345cpu=13.164gc=0.716factor=2.077zXZִF! |]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮLӐBi X&g pdq.#VXNBXZ..MN_ٜWojm6<'T2^*AaW?Kw =~< ⌯9yW}Th"Ab@`lѽzX#0gYZ7zXZִF! HC]ŗXiɟ1ʹv)̝gb_ cw/W i ϟ. mM_I }YZ7zXZִF! q]ŗXi%96X }KUӀ$+dL(G`tvIZ  =w+ V3s'JQc&diparYT˂@7GEН ெU`AQh#Mp 䆃emG/6f̀ n4VEOcDݪN2l%(\y6Vى_~]>5*N}+44ѧENk)Ap 4U)jd$HnmR-cmiBc }rf;-& ׽R^o՚70AxR6V-fҭ6VꙌpxD_D]ن#{In}ul<c~RA!:|k㊆ݢ 6H !%qho)XGoe`$HNNi-qݹ7j)[$\< L,*R-\XTʡ?XtW㿶OQsi3a?3 [aN\vuH ȠwJ?6yd KL<)qgYZ510eed7cf3ec2aa423bc2cefe092ef9db3f819596ae1a84ef57c6bbf74a3f57a85a1826e7af5b405 b8ee4f468bb95a631fa62beebd399286b04c8e85 737694e1bb48c4c9ed94ab728fdc9b375d4b19e0efe0c8e8e90f8bfb3062e3f84860304fb55e5e7f # HOL-Nominal