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   u+<$ S/ Ramsey-Infinite:threads=2elapsed=5.530cpu=8.280gc=0.212factor=1.507zXZִF! bW]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`SQ D)(;[c&oy:K@hQ^bYf{p.JYnLb//d`Oж: E< 37{r;vyfBWa ZwX^@b [wBahYOr $w,NLFs RArҐ{.6MSuf+ClRsx6H[9AEY݂~B~J"8"5*syu/{~j׆Ү; ]njZ`WK5&'DhG{ gݽz`ʴ?EO6a.q=@37\29C40+j6 [6i->99CK;NPIDE#`b;eރ͈$%shA5Q L]'@=E,eaޟɎCޯi?"zjt65&XRT?dس$oa'dpQRzYR$@BI' ['QѫD\ULhõr8bC`HnM1"Iyd`[(Fu{'wݭ> -]xz$hF^^{~gYZ0d0e84a21904c94cec88c82a494d2bf93bb03f2f 6028d8af38ab33c27e80628ffea54915be784087 71a767f6310628066223637d8f0e48611f9dd584 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8572ffb81f80d42dc81f45d244b15c5381a012b24 e2861874690d29a1b715dff597313b9f4e7e36eb + Ramsey-Infinite