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.694cpu=8.204gc=0.232factor=1.237zXZִF! ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFFLwBIUy}Ἑi/Qs4t5=?T?FF`!bz_ d9n&Bi+/%APXg{c1uJ͸,fu"KvH4EI_2I? 讀Hv{}[: 0tvgYZ7zXZִF! ']ŗXi%65Igq6R9pl3n 1i׮_Љ ۖu2Zs\++:t&ettVAmCq/9ėlsx=w:g|Nm9@6?)T'@xhs;=)k{HIf#p?ߨ] 7㎟W/Wsa_2(z5L,ND%HoҪ;Ⱥچo@mߚ#baCb<Ŗt}H#Mj!k%#eLSQ ַ12GI5,w@$}zO@Gt^1`R)x6)T>5_˙#S&-.ilbf+%tAmܮts(VAo9p'g< e(;fD6G>JALX`b#-pVT&Hm~QzдYwIm{E@eASu {fҧx^OeK7pYGQ3M:jeӓ?&DWˆ^Ni ٺYKUؒ E%Jqڸu˫Ai}c%7z DCGIb늦8_՞ \ܔ~Ď_ECTg g|WzO gYZ0d0e84a21904c94cec88c82a494d2bf93bb03f2f 6028d8af38ab33c27e80628ffea54915be784087 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 d823997274c14c708173abe9d18ca817c65cc54cf0df918d4045ad6c60b23213b65e87e41842eac3 2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71 + Ramsey-Infinite