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  +TTT ]/ Ramsey-Infinite:threads=2elapsed=6.181cpu=7.724gc=0.180factor=1.257zXZִF! ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF77eo$"E,d%A!A/`x`ǽ)r\F2C h'u'q3 o 縟$KӤbyl"cwGĎ80x+Bq V?f졌Y+kW91FǠCJ?[?TX)j ;2 >lZugYZ7zXZִF! c]ŗXiɟ1˦r.Hil c`1X14ds4.xp ˘ 3+f8a܀*ʕdSM}``gYZ7zXZִF! ,r!]ŗXi%924h)JtdLsm){Rctp>yla۲:d]S eGg4 v{p f$C?=d Wc%sN%S\B*Geά=浭{k'#'"7P1 9gЏk"=Kw&mo Pf6J s[}[.2E9]ȟ#?!h:8;n[6,`JP+ɼz]a8(Eqt JsߗeҊuhgútzȰ} Tzrzm& @a9>(e8@ۣQef oX'U]X&n3CˀZL|A\f׬ijE "O&k.OCPv̀$ETT1iXz6 _* ^S㛠-n`Q ̂I \\c$Dˡ*]mn.uqq`θHC/+ '$R|X.fl~I XWBS\"'fdV#u3 %ykfԬ3ܦϗ hLX89]6Yn h,L򊋿H}ڄ)a=&iۍ]uP@>W|V VA*iԏ& wW^Z?#kmX=gYZe24633447525fe2e134d6441dda6cf4b11d1b4cefa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a + Ramsey-Infinite