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  8 8E L ] ]Pure:threads=1elapsed=0.679cpu=0.680gc=0.000factor=1.007zXZִF! _]ŗXiɟ˚Ћ. k$w|ey34:ۚf~8l9)'bfH9rs(كsvڹ aV'h,Hdl{;ϱgYZ7zXZִF! C]ŗXi%94W*]pqRggLKYpʳ-Wط7M:KDS*5B&TPXObi7A&k G7n²uCfki]]:zNN6rY&I7]9bL$~as@f>eItD7>D5!?QXy.q|z%'? V ;6Ri{:]iN8;0iB~ ~iDW2fإV7 /_3![9y̫6f <DZgYZb3aea23c7c5469d46306e7cfa5e299d2a7b4a7ade2bf23c7d7eb3616a6ada91fb6d55c5b24a424db  Pure