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  ( (U# \  ]]HOL-Nominal:threads=6elapsed=6.357cpu=13.140gc=0.712factor=2.077zXZִF! &]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮLӐBi X&g pdqTe5{ RM*1@H&zKEdBu$Gs'lYьd62&i8?8Ce:!7/8#\aHi€T\R?95/@[t|F'h.HT]hI EgYZ7zXZִF! HC]ŗXiɟ1ʹv)̝gb_ c4M@~O;{WN~Ai8(>엥_I }YZ7zXZִF! w]ŗXi%;7ADXJԋ6+w!:?n,чQTQ3"$hw"]9#"3 ӠW4>;am4=,޵KꈩsE||͸|?Ʈ${W~y6))=먉\>@sbZ&#H?wSHX=dYY^޵DIwK 5g Oǯv/ هρl]&3Ժ_I5,;eڗw]!"h &a x,ȫfH4$qg퓢.Lx-K0[<' |BcI]^}?]h-keH-gYZ9df9833532f79c7faf2ac2e79a463f8f1f25518e10764ddc346d5177be378b761316527db367ec3e a0b11f9c133aa49ac228f451be8e515f846bafaf 4da24bdea1ed8db5820c4f29605d314f12cdfffef1394b2dba98ba5b1916d7ab8c1d8ae077e131a6 # HOL-Nominal