SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info +lD S/ Ramsey-Infinite:threads=2elapsed=5.448cpu=8.168gc=0.208factor=1.507zXZִF! m]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`T>B2{ZR'ŠAwS\<݈-vP5aDŽI7b\x(Pӛ*L~Tޠ KK_KĿrjG{^M*8qG!2r%ݪb_x]ofE vFrYQ H?)-YQJ~Oi38%yX쏓Gͻ鸭+dt#? Ur~ ۦʒbzxaYlɱ%ҹ(pFE5b?B_kpᥖh]?_ml gC^.nR6N Nρn(迸W @u]xŊD Qzd\ ZgU"V[CB1fwE`)etj;R{4M< p{l3?7s2)$1׸3 ;_J*{[Xl9y!@C[ =@tK$=H\rPku]rgYY2ߟ#J>B ZBWPB0.,/%Eb7>H|8kf~A^_YU#0C jpt`nx1$y3C/:̱Igϴ'0#l <] YT&*cȌ7;/kSDI Ǿy+W5@+ kj! fL-A%&]t8_(ÿv`1|w,@MGP۱5C/H\U*qz,1Uv%|<)bH 0rt^6z+xJ_}gYZ6028d8af38ab33c27e80628ffea54915be784087 71a767f6310628066223637d8f0e48611f9dd584 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 f1e87e3a6eed9462437ff7252172b71c8fceaddfd7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295