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  T T)+dd S/ Ramsey-Infinite:threads=2elapsed=6.670cpu=8.152gc=0.188factor=1.227zXZִF! ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFFLwBIUy}]s ea5fFuv1,I]yq,fV&l 0-d@!:ELBt|$4MM{ʼQvS$Zw\I[ȶ.XC[-|[FV[ԋR%hrg"Y?&}fQe'*{KlKg0[S_6cF&^J;p4Ayn2"wxR9gv40e׀u0 |l"gUXWCS흖DAw mžXSڦuLHh|"/ag=P}T$i=.SoZ:UW¯SBu^ \twzOH|blY(ʼ4z\%UCmf$tμeUo>W湭UOɟ .gYZ0d0e84a21904c94cec88c82a494d2bf93bb03f2f 6028d8af38ab33c27e80628ffea54915be784087 71a767f6310628066223637d8f0e48611f9dd584 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8b9e4cad54624ad835a14cb92fdf2da43457b5cfe 190aba293ecca7a1fb1d23b827c0a4edea07cd47 + Ramsey-Infinite