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   m+T| S/ Ramsey-Infinite:threads=2elapsed=5.528cpu=8.240gc=0.212factor=1.497zXZִF! bb]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`S RP S}T%E4zk- Rn~%y{ӱ#[awN衊T2aBLgVp)S*A?`H*ٚntW'e99ԮmzO 8U13ۈ:j!G- eg 2Â*lm~aY<cuΗ촉̅(l1 }k =,v(Rn M^"|q1Aۣe%Yɶ]|%U~HhX٦w&/cIl Mbh%<94ff8md5TO c:}4`*t*x,m,OG+i]Zx֮RZսqLİZ ?#ݎhzS?WNԁCMR\t;qÔOV4sOpx!Iv쓞m FY!SCOfagA49ܗm=8FډuK4gYZ7zXZִF! #]ŗXi% {Ro= 35VaTPKѮb8,%UGwGf(tQN$Рx7@CNު̙L E|>W_E,A.7%ЎA,PR*8ɫIdLX;ul,naY =In`D0L&JRgu yF҈~^l`zN.΍ xثP5t;NsTf7>J]|G ]rMCO)\2_ѭ}4FӺ0d)[ ,9@:_gʬQVfH 䃯ieܲ8wM \>M,?v(`DlF$ٝ4h)-ToM5lFVW C9 ۰,fJbCVH0vn Kng8F%U=_ j:_1Rx7ͤ`MaOc6yj8NbBy+zWE-j^a^l1;΃UXbEOGDnhW~ ܀3<'A'f(• A%!œCSg)u^!<襱3 AYAd/hX72D&.MF3b2^gYZ0d0e84a21904c94cec88c82a494d2bf93bb03f2f 6028d8af38ab33c27e80628ffea54915be784087 71a767f6310628066223637d8f0e48611f9dd584 ce168f5c6ec1725149cd64ec4a6feca6f681f8b89711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 + Ramsey-Infinite