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 TT) L< ] IOA:threads=6elapsed=7.287cpu=28.932gc=1.140factor=3.977zXZִF! ?]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;KYsaa&d5Y[iC䟐JKlT| 7%s42oV+ y0a/*P k'b#cT\=DqPgLٯ;⵮'mͪ/ ~P0hk\ۅeF3@5nt3>{_ۼW,Qu!Nz4ː fU'3r|D"`*e3b2I͸>8OȡXӄ,d* 67Q63B8'NcAgXdz \)ٞN7oi8%G<Ӗ}`1bP ,/a?  v gYZ7zXZִF! %]ŗXi%9(Ovxz$q@~-rNϏʃ.o=DZ8= pny#f~&"0uz-W f+P P]֑TWr2xnsX[n븮:)MT&f@M*vҰAz$'*فTfcrL/ry*L-_\,==rxsEvEՂ]["Ts!+dckK@J]pKڂ!Ki'` }]3CwyX_Vќ j껻ekna0z C+֗u]5/RxNOєJ'l-Sx Yq?PYϼjn4[ns9Sd'H46%yn:(|]ZKvpJ\佊󏻲6&CiB2:j2? ]_]69n~ŜEAG0:mK鄴U!2pO eL' *dpQ5gDʦ܋|e [NSԟ!abuzrdn8m!ʾŁBKY.^ EPnہCL?xSyyÙ Hڍ_<6zBv7 p@8 S]"3_g1`~x196]%fU|O07-P~p&f ӎ"$v{i. [0T~H+#hKogYZ5b595ab9f5620a6519b761b60099439787a5eadb1b1b23cc4f026b8efee00153745c0e90f4bba172 6b2c41334cbdfef77e5fd462241eacf1b847aef6 2e7eaa5d05446a8eb486bfc8c9c0ba6839473eed  IOA