SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  . .O+\Td ]/ Ramsey-Infinite:threads=2elapsed=6.079cpu=7.744gc=0.212factor=1.277zXZִF! ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFf(-kHT~xj$la5Cm#OP21gGgf8(c'ۥSGb jq+ѐX{@`Rzs5Ĩ,?r&,_csJ[U=J'll]"%op" TNgYZ7zXZִF! c]ŗXiɟ1˦r.Hil c`1X14w58Bo_ 0ժ\DMȀ&RBRm\̍4"=0}``gYZ7zXZִF! %t]ŗXi%9(SNhskm2hICE09D0KbBt n,z,T]3[aՀ*6V)Tu1Xejx> '#)9sTiBM62Ȧ2~q5MECGz'^]}i6E`ʁzxs&\k/{ڶ p7xh>WCΆ}1@rϥM!o. 8֢Ns2n = 9Tejwy~y6@lzXAG O^]|YchnYix<G4Y" LS&Kdc:? a7~r7)IYandiD' 4:0#}n^M>"ݶ0Ơ֥ԆDj,[Eכzkd6)_ƁP;310yuApL1{$ 8uS' :f; }R< KChH'S2r;KR;"xf?̕ 4?*d`z gEsT~ɶ6Ut_GjC&+/\I!-iYfNAH̀.JakRciYj$B^n%I,}qMt&"˷ /΍HdQN+}QElo2d-cJ, p%4^ +oe5@(~~s CkJJαgYZ2152baed7224e839dceb1763c02dfc5281190a1b2722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea + Ramsey-Infinite