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  4 4I T ] ]Pure:threads=1elapsed=0.539cpu=0.540gc=0.000factor=1.007zXZִF! b]ŗXiɟ˚Ћ. k$w|eʰΤ܋伐hrV3QzuNۑeHdsR[:R _Iś2 f&e$~:gYZ7zXZִF! C]ŗXi%;5g挳߬7aNJмlimkHf7XTZ:H|peOÐm'0ݿ;N7ѝ lfH~YGX1)nfy#>]-e>Z^/wdײ[7ϧJ8ALik(>Cӡm;T7ɩH S<] SC:o^!OLl]IS"uz];78fn׼ܳ #?9K H}mVc <DZgYZ98149bc85ba5a33a013bead7d04ea6d656de487910764ddc346d5177be378b761316527db367ec3e  Pure