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 L ] ]Pure:threads=1elapsed=0.676cpu=0.680gc=0.000factor=1.017zXZִF! _]ŗXiɟ˚Ћ. k$w|e*֕Łv5.J j%3j~\pbKN$̙`Ut j(=~wSpk9j7{;ϱgYZ7zXZִF! F]ŗXi%9,z3=}ZuNCrc)Nڷ#?ix3x[7Uuۦ [oG\63\0┶@J[L-]| $E(f!ISRR)_Z&VkMQ+xw4QX61*XC ۏͫ~%F ZsaA(a!h5+ё:ohy/f6.mپ9xf