SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  7+t\ ]/ Ramsey-Infinite:threads=4elapsed=4.882cpu=9.000gc=0.164factor=1.847zXZִF! ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFgվ_\×׾HF+;$l 7B%%Wk&7g8?ȸĹi bJI9֫xAR!:&Rb$S^~G+ߋ|gd~w1 ThgV~ؼqw!ܼJTN@ttku8 .f$Q Pq x_sgYZ7zXZִF! f]ŗXiɟ1˦r.Hil c`1X14QOEUZw uUZ¾3 !NDAMlZU8;Z {ԱgYZ7zXZִF! ,XA]ŗXi%I olBE˹t8vXQ5@)?Iqd<VF!1viQ߬q25(ZXziGliOuC+$tޡm{]) ;Za"*Ç8O%qknT;/s37/1j,\ޚSSgP?= ]+4v(-xXe2vV-uA?+D4Nx9qfɝb' ̝W8nd]6G]w0*LHT5U{5E)vQShI?D'k9yeOD|hֿ'@V$#f''j`OJRg܄Go8XT,afbHVlF8(&¶PR?$(t`ƕ eWI]>yph_{P"k]~\)3IcPl|Yΐi+ӉT72`)zKX1t&)Z$6l c­2&U֚1 ?*wI]3ȎF9_Lx,9(i k\gM2d0 {0$ aځ=Vkdg;KcYyc5۱pNHBm{CQ ]k}%S<85,x@(yc;tD/psӥG Ø]A4MRg_2fx\R6&Y4@!- yHXPs"w9xЩ ߷7)H5NtTYd2F.g0XF۱gYZ419b2dd0c7d573dd9d3c89fecc755465fa297f865a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 + Ramsey-Infinite