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  2),cEuT3[ m-C jMqO5$#>v;UJOl<ϓYς|J'R"̞7+̵bb۳@KDedbv#fJhK䔹O?(~ q2d݂׀ct0kR~m0^-[4 cj\.GTtߙi3]1,6>x1ttzA s1 ߕՏ̢ mLTX <%3dž}6ԇ AJZh8 &'DT"B˒RlR"H%sw[*挍FWxp8٦U>MgiMToUh_H& b*͙+N#_?L9F٪zًPE>CA5b_/2p݌v[`xٳhʖ(ةZTqۺ0 y\]#?&3)