SQLite format 3 @ . Y Y Q77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info l#L iI]Sepref_IICF:threads=2elapsed=95.228cpu=163.152gc=4.248factor=1.717zXZ ִF ! uo]] ŗXf1-/6vR[O!vې&-wT]ïڀ8aĸ!BIu!1vπ9Hqsu9<#lBy(G/gxW/4W91٣?BQpdFg4Z4%$|$KG쌧K_GdUtL&8o5{[Fg=ea& ϸ4w-8I {\ )QW#b)ծ/@҉~Ҷ`H>+$nYy&/3SU 9`dmF1$)j}][ Ē~X~v|9 fH" # Sepref_IICF ?E11+7nt?hW^u{t#܋F6! YE;HRzD|v*V~ٷI &<°5a =ktd#'J<4X{轭+-E(p%0Eתsٶ_ Z7Z# ˻*iJOZ, Ց) 5Շ$k_R@oӼWU\硕o$ǵXׁs7Ubxu.3qgUF0vcsn5y.b',H zj9~peUdt.w82{_]Zv<+aW, A`fk hڴ!PnodrK(1Q s^ŐoO?PDd|~.9>0@ڲYudO Y읎!ǝzkЛZ]c(@k,AmNG ||-J_ ײ~|*7Hx neh+