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 D9# <  ]]HOL-Nominal:threads=6elapsed=6.149cpu=12.892gc=0.572factor=2.107zXZִF! y]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ եPTTl@YTMpK"Ql-gZ_׿ !۪%G곬_%A(ߪg8G1G ? ɏ3T9-m%FOBwN⣼Wœ^RQ^`5ݡ hAgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ´@)8{La}90QL9*?߀"g[`I'{J}YZ7zXZִF! y]ŗXi%9(OƫhrGF{bU>fZa5fyaLL.gr~4J\OeLJW@9I-Bgi %t~7vb>hG4HbdŐh"~3ц?!w{H=幗% . 7m6 > L=[쉆iIߗ YAA㿭fCغO L1G+{uČI2OAJS]AXryFQ}s3#򁽘|<頻BOv&@+]jXth?9|S9 5.#dfDn>^Q['^|hIe5BxFYyG[Ҩ91'+0xL0ov&4NMZ-5>>_f'9{n9@okE vP\J6aJCL͸|+2i8lmxrl`|y Qd*QZ0KM@%~U:$FHOQ</r1gYZ542547a7890f3b316c8ea9a39363edb3da2422ae1b1b23cc4f026b8efee00153745c0e90f4bba172 6b2c41334cbdfef77e5fd462241eacf1b847aef6 702227a203ac9c30e306ece801105278eba7c7bfdaddb1e573b55364c5bf09d38dc021a8b48589ba # HOL-Nominal