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=6.723cpu=8.232gc=0.208factor=1.227zXZִF! `]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFFLwBIUy}X ڒ4 ѣ$T'R@ yFO\y% @R< =R͌*7Sgӭ.yC:h}DpVU+CP4xN*rwcqXlr҈D4@+@gYZ7zXZִF! ']ŗXi%}]>^TtjcSI%N4z`fW @s/~WO5BT0_|vu#ʿAZi@R9\/+ۢT;ܴ[ӏgTp35ydKqnͪN@\" #%./T+ӣ8.UvQ48FZPްȘޱ>Izz3(xbq'vxwfN_ERnb# GQ {ۄ!k_<#XE iwܾ. mBR{V ;\R K|+eQ m}pwVCyـ&=J\O8[zB)Dޜd0>}odE~0&  .·hΒn˝FvU%/$!_=]|4Cb~A:g24%̄[{ SH?t屢y>q-`Z>D N5]b3vYT`2 Si˃yi]&ϳi 15ا}]{g4 $.q ܲZX9ZAX LY@ "{{DxsҊ4#cX]=6xJpg>[a":&"dl|Q.DftQ+kC̿F=rdt咜Wybv>n_a|c᯷ᕪ>% .uTqb(O7WgYZ0d0e84a21904c94cec88c82a494d2bf93bb03f2f 6028d8af38ab33c27e80628ffea54915be784087 71a767f6310628066223637d8f0e48611f9dd584 ce168f5c6ec1725149cd64ec4a6feca6f681f8b80ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f + Ramsey-Infinite