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  < <A+d S/ Ramsey-Infinite:threads=2elapsed=6.671cpu=8.220gc=0.220factor=1.237zXZִF! ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFFLwBIUy}3mi5 сE>㕍 ϽwxgU|/ļcQ726> T'_UJkY@#fu*0sGl /oFeW}c&޺굑ttj]JnDh  g(gYZ7zXZִF! ']ŗXi%6uTwcXݰ&nj(L Nu vrV3l $iTRuM[PS$jth).56ϔ%tnύ|S3 (Xhãa;" d4 baw]PbC._)?\ C~3lRqуbRw b;5^ҧ*xC(jΟ߱KsX CǸJf,Cl51B6?ƐPPfEsWa&k Sp1~yWHh9+h<[Wcsf03oؓ^m>P|t>UBx {8𴕀qY#ylPdG!{.KK'dDBHbMM:҃=84^;ŚmweuGzG5=swr\7bXi?O59F[gYZ0d0e84a21904c94cec88c82a494d2bf93bb03f2f 6028d8af38ab33c27e80628ffea54915be784087 71a767f6310628066223637d8f0e48611f9dd584 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d + Ramsey-Infinite