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 !+\\ S/ Ramsey-Infinite:threads=2elapsed=5.575cpu=8.228gc=0.180factor=1.487zXZִF! bf]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`Si:!3IlX)[ 'h~@W6 g}MK#S.h1&*VK ahu l~DPM+-oC9ƭH|m)e}EIR/Ń6M5h V11Y4}AV-hC~''p4,mvNÜ-40B J(]5KjcG"hx?UvهWAino#U919. s^v  ED&-#>1M @-Dv+X 8 Vzњ͗v=t`gxm󠑁(77z^.ߘҡblAsp ZaYhCf{Ϻ~k> eJ&4VMu&9WCձF@C*X@}2Glkz{U^9|Y%FJűbDdou Hw)=F$L:(q&rV QW'2A|JmȾF4MegYZ7zXZִF! %T]ŗXi% NJ?31=A8Wu>_ҁD;.v)D5b?6QI&SH}f :oye6p[t]a1'FPOÞH}`PGCOxDx 4\G)Qx(swCx;\5~i9܆}}Ȋ%YMdR Yޫpؐ?ڔ%[u,9w$7IP? sBQG?BL&r*Fjvf`M/!9˟>J۳] [4bҫQt SBa$=#Av*ox@ey_.1'XtM2єC6vO#k£OpuLZZ΄L>txLzȢ{d!'n$[jn[rc~#w_BuafŎ0#ƟuYJzB+>z6(K*yͿ)j-"]7Š =`T x31|rӂZN=)MP.z :wj{F4@Nڵϧ#(46~m:aOAWan16˴;5 G%=n0wxHS\VVb$CR"9ϣ{B;vbS! {I$y;O > #s w:>?fJsgYZ0d0e84a21904c94cec88c82a494d2bf93bb03f2f 6028d8af38ab33c27e80628ffea54915be784087 71a767f6310628066223637d8f0e48611f9dd584 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de + Ramsey-Infinite