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  s#$ 4 ]/ HOL-Eisbach:threads=6elapsed=2.817cpu=6.784gc=0.188factor=2.417zXZִF! ! ]ŗXf1-) enȈA XR„&B7Zz'Ň-xz-ڜbrOhtsPsv-"sE 0XZ!yỮY&DicY>I !%gYZ7zXZִF! :]ŗXiɟ1J2oeTʹ̰Ko^I[֚O(\; ysҚːnow  ! [|}߸|-־pF̡+l9Pǘ%+peaRR[Wh08yK41Uy6'~gYZ7zXZִF! V]ŗXi%6`AD%?wo3J 5_G) 7fXy4J[ZdYG_J$.D9%2iQKp(X|4} ͮ\*R~ VCpԕ|O4U9OW{l}o-N|P"B ܊ ]9c}YiLtnrs,oY.Ȃ[ւZ Qa&?uW!ݾwtNF9 TJDIB6UxܙU1 A qYz/ `g\ե~0@/2tP5Q_[Y,dhNX fgzr*BL5/i gYZ0362e39adc5533425c8887bb0802209dff215a720fd942c2de17ffe6e7e669ea714c0bfd1357b97f 96be2a9745a5315d1ee7c3748cbb3041e3514260 # HOL-Eisbach