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   w+TT< ]/ Ramsey-Infinite:threads=2elapsed=6.297cpu=8.000gc=0.196factor=1.277zXZִF! ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFsHƞ!3i)KrV,^͢, !dYyٹMNJpel¥]:8r&ُvUL?FUB?" aH~\8BnFOٚ dPaV?n]AwJ78D@" ȱgYZ7zXZִF! b]ŗXiɟ1˦r.Hil c`1X14Ή˿=`6+7׆TR($ocL5=gըrͅ\0~سgYZ7zXZִF! ,}]ŗXi%W~s" N~m &9ci[Kޘ""{#kd hA9iҸ0r'vbu-`jăa?P.T[gAP Ik-M}Mupns'x n\/8\A.i3Ǒi|ƾpkw`?V? c:.'{&3"~>&PكĖSi']@(f. 9DScChcU H]i\c:Y稍AWz-Km9H5-G&@U8I;R=ߌy-!ܠg=LWnj !lvuV?m*QIҠ!C=[Ru l m!X`hj8FT*1oG3ɢYV[;JU7 7 {y̢_ޮ8WgmPƘfc[b" t@v&eO쭄X eZB)FI-˛p"gpۆ/fgC2A!*𦵢,7e Vx3qՇ$ч39蛈獷#)oB"w/kiFoUJdIPi#S;i9)څ?߼`;o j_=S1ƶiP{|I9t/ɾt%KpW䈾 ~hK[d~AOXVBdP*h<ZXgYZ1c8d48e991e1ccfcb928cd03b6248ef5d8068072d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e + Ramsey-Infinite