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 I+d$ S/ Ramsey-Infinite:threads=2elapsed=5.712cpu=8.396gc=0.216factor=1.477zXZִF! j]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`S&"%4I 7ԣǸiv;b[n6HH%-?(O3PI,ru7CԎÕX,\83t]p$ћ#jK^Mo$GBZx0<|$'D5h[:{@O_FE09C4Tc~X)ssNA-OfIR]dF.N#SG߻1L@K+|e{'JrC|oȓ;ljY 똹T#dcvP+`MIj/qͧL(6ۅg?pֆ 3)\.%3>ghlgzTSͪ^J2[V=:A Ͱ!bU]!ƷkYgU$wHF0G" gRMQĦf#UZ Q#Z>_LJ儞{/N~\°$P= f|`tY=^S;51zXgYZ7zXZִF! %] ]ŗXi%q, 5>a1cqt}0Bb2`n/=累$= EUjFX{$՛F -?GubN,K'}-SleCS@JʆgfWʶ~{~EO9<#hݼCÒȤ%^6Z3@Q~PGf1N߿͗m97hfG -Z J_}KjQ*_350A>oFǟj!dpI͘HJ< raC v`E)>;WgpD,*}T,>C\8m{Ejqk{UKD(g $@*"9 Q^cfșj#.%-c@HOCfo/~G[P/Ns.GG%mn+{jB HlSuؗsDKRVzNqPufմ4UpCq uWS$nC? OIZ[To'ArhjFѧQ++Ȅm!#FD]zy`|kϏ*>-X(I,(oW/+)o.w˰s{-+ 1W70RCהy=\isk{BȠR2imL'Z6_LPn4 `@߻ȨB/Q$j Ov4hc<鰖V|I~=_}RKb yJBtgYZ0d0e84a21904c94cec88c82a494d2bf93bb03f2f 6028d8af38ab33c27e80628ffea54915be784087 71a767f6310628066223637d8f0e48611f9dd584 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 + Ramsey-Infinite