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   {+TTD ]/ Ramsey-Infinite:threads=2elapsed=6.171cpu=7.792gc=0.220factor=1.267zXZִF! ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF77eo$"E,d%A!T4BfL=jH$/ q:fM-t)RV%lQ>_1sɎy z+SgQU\ǭ8⎦?(Teg`0_mJgO eD=S ipd  5͒8gYZ7zXZִF! b]ŗXiɟ1˦r.Hil c`1X145'K6ǻ>YS/𛾗H Dh񛿄_4>m&~سgYZ7zXZִF! ,w]ŗXi%92m/O}}m- #lѸ<Θbw&%osmwIa`JOFp7'q#g'{D8,*M )ڭZmأ(y5h}3"rȎ/\=0GFs|{NBPͻ=~ oBCH'Sܖ}ϡRɏ, ɬ$xe$\!ć] O"wȇ9oyl2l!0 r#},6 ]t?J#UFifOK߮KfFӛ‚WX﹚/)rB'UdSdiײT(]&ƬYr WU[aFž d5>J-h̩4I1 AdYQm6w`՚?r.(B`\jZu/Q_7k)|?n^#wuz \&9^E]O>-"}`tvK/(`OuI)g{.kIP~D\{͎hX JI- [6qrbñ8,<SMwzá>%ޝ&.ė% "Q8f6vrnOed *sn\#6,}e>`<;r6 ^**]'Tf/|4^(