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 D9+\ S/ Ramsey-Infinite:threads=2elapsed=6.811cpu=8.300gc=0.180factor=1.227zXZִF! ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFFLwBIUyrS>&s?")oղI?B5.\np3NB]kEIDQ{=O Gnj (lYvy^n0@;'~geo1E@.5c]%UIKGTכEjSޖEI, qkgYZ7zXZִF! ']ŗXi%6xs(c(k?ՋE?0#3LWǥxJK,&mmFY8GQ ~˨=LYتům9`,Yت6 nm% 5qRˋt]%Tꏘdlrr/S$K` /%e^?Vs]b*xESUy\ WÌ,^԰J1^\ym"y'kkI:ExW$ܾOz6%κ|IZ1/s?_ ֝DشG9¤vr/bs^vWtW|ġ&)"@'ӝ6cz:Ѣs;QTI{a4k%;Cd,!E_7D]}T)UpsZtaP/7'Po=  Р ʣjEDe̤ VKFh湶g}[HD'fDtq_el{Jź'J HR{3[ hX?' )UV<3qlz瀵pnR1"t.z{a|-s\b#[I2̯AP~ٽYf/#Mot -d ﹽdi`'~9T boDOaPsH%DmaHkdYc_ɩ̊z'N9&I;>HuO~|ձgYZ0d0e84a21904c94cec88c82a494d2bf93bb03f2f 6028d8af38ab33c27e80628ffea54915be784087 71a767f6310628066223637d8f0e48611f9dd584 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 + Ramsey-Infinite