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   e#   ]]HOL-Nominal:threads=6elapsed=6.336cpu=13.232gc=0.676factor=2.097zXZִF! .]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮeYR~g ]rq׹ݜD.xpN]kK(SҜ^,Ϟ @amduyKTI}gti塣/&s{]eՁ(a~<sCH`1m\[?)πoe[͇ 낱gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ m/["Sxe.HNYNׄl" !`I'{J}YZ7zXZִF! r]ŗXi%6Xrޞd/`Ǔ bN!q?ע{TB`Pl߂˵͹} fK0mw >Hfr>tz.w)7ܝZ3M6GF5RGg +OzyM=en@D!2E4X~?tH P_k*HNPk[Fm'{k2Q)e7ߚK4]ӹ]BnZH 2oQ$X׮ZڊUЂ0b- i}l}0̶.6'nM\Y&`βU(eTP9".Yb :R9XFO$~Yjz4Ie`a19SQO~ fnұK^Uj #8uSy~j @CyO]_ɤA"+!.#;+&1ڷW2D=U4W[<FeJIװuH]1jGxq8m{)*9vQ!xMT^<R`zLgYZd09aeab37f9a9368731341b6cb1f7befb112e2393427243aba6cf13954f2663e89dd0ef448f9e0ac 8098a84a13d7e74c846fd42de0efb751dc599e66 90b35308e6ad83ab058e2b9034c34afdb7825425bdc9c986c15f558a8ddd590a49e06c235eec2268 # HOL-Nominal