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  P P-# D d ]]HOL-Nominal:threads=6elapsed=5.996cpu=12.736gc=0.600factor=2.127zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ5`n(rjf}A f>G#vHYBA UG^_G]AUor)Z@C0z.3@ Bɉ,Pq 5ZHx@F[\ds g ]ױgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ÎH(b@E5?_Ul"a&*)n`I'{J}YZ7zXZִF! n]ŗXi%9#ˢةTbD^$_*О#%0L iymϋQ1 ?ޮj+Ma@B<)o9HKt9uR(EV&>.'A?V tg4V&`}_CzWF/q67FX6#0&%^G$4vcg)F>'R}[l9WW闦rE3 +{V2Z)TVR@$I&̿\ϧ{~ bf f?8m >Zf\I"=Jm(+R|j ur? 0 w'~K9"(qc-kJㄲ%|jxz >LFg&F5-y/JgBZ$m!W%걾r/|%a``fY:x<;85gYZc2260c2502d65a772407bed5330269ed36827c30c2d0fb3b47e8eb977e037c394badcf36d1d2c5a6 b2b478c28d6b0e47d8a42d61ccf723d668135bd8 ca30cf122c68fcafed499ac473b9fe2b3ca2d2c9de22fe96449c299ed1fb97c3bb04b04f7f136553 # HOL-Nominal