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  W 4t ]/ ZF-Coind:threads=2elapsed=0.725cpu=1.384gc=0.000factor=1.917zXZִF! ]ŗXiɟ94/<&qzKppP$]eip`t ~_dI.mXNN)N7ې:a ӋWVL-+:_Dz$ e9]>W5ѵN.Fͫ;-T.u4;ڠFt(\]rgYZ7zXZִF! q]ŗXi%9+i=;vg|[}{ BF},ֹ^d =<䡈ӛna]P}tahƆ&eZBhRP2JG^=O܂}բ%/_㐔 H$=jOPȃ >K0݂}2O&ߐ.'w7poKG`U@f_;%TN4qq/DWq;~w@Z#RqmMNi]ڽ$ы=1,@kہ\! UpS< V߱gYZace0499cf5408951a1288cae8a6d4998b3ee6b5741dfddd2151ebee28efc9e26dbae12c72d1935da d88cf60679edcdd07b342f11b378e92f1bcd1a52   ZF-Coind