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  8 8E+T, S/ Ramsey-Infinite:threads=2elapsed=6.789cpu=8.340gc=0.224factor=1.237zXZִF! ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFm}ד!'_;,crG\-؏FEZTQGOb7ւe 0QV0A}Qn/zc m5>V6$2!>0Z)T2jI_Z}hT3}]y@  31PgYZ7zXZִF! *]ŗXi%6ߚCOUnFҲ-oIGY&؏@QAvm#; CqE⎚6a3t9 AY Bpnt2p)/%>MC̾%fj:PhR̜[YJ5bfg1?ax@h*)Q^T\In6F70Y~\P{6ͰIUGce,[mލ7֠p#^ɇ#z=)vh|vj$ե_vgڙ,:CJ흂5g_ ֿg'h ֣JRM )XUFEi|u.4T'Y]UTfALMf LzJ C3ņKK8::Yv،3.9+klbp]tA*i8\<6hٗӲvɶԴޙ_uf/\]]^2FN!I F Y趦@@yU01142I`/?Pe&/2(Mxk4딥ח1bK7j‘\|#܀P. KxŹ u"Lޯg3!ɰ'O+)/ uc۶^Ԯ/Gh0(`O w>ЈJ=䊚ۺVZLU`T :>gYZ0d0e84a21904c94cec88c82a494d2bf93bb03f2f 6028d8af38ab33c27e80628ffea54915be784087 71a767f6310628066223637d8f0e48611f9dd584 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 + Ramsey-Infinite