SQLite format 3@ .  YYQ77Atableisabelle_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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  +d, S/ Ramsey-Infinite:threads=2elapsed=5.628cpu=8.332gc=0.224factor=1.487zXZִF! i]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`SaZ hA!-na$ۥRf>ۍ/r֮ ?zܔuaˑt\ fzIW:ZnX_Bi"Iu7r֓kq(F5h΂5l{ikcHp&ꔦ!.@ ]dP eu'Th r62?ͮ PyTs93Em$%/%ιh4:Dc): I}K vC`w8:"Ġ"n9SvL'Lubp׀+p]1 C _P6CqNV\:=+A^b2!VYIh Z.헲Gˣh@.rA,,mF=r[) -K7Rt.xw )N:uJP_>jO":.$Q).H+ʆ8[&yG<[NYxROQiDQP-H V(<81 g"vԧ fof[}vqu! JE4w`UU;vL9 #_F!oCgYZ0d0e84a21904c94cec88c82a494d2bf93bb03f2f 6028d8af38ab33c27e80628ffea54915be784087 71a767f6310628066223637d8f0e48611f9dd584 ce168f5c6ec1725149cd64ec4a6feca6f681f8b89711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 + Ramsey-Infinite