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   g+ :MiN%yg`W &EE B)ek!5$rL-1U$m=uZ+rٜϤ4k ui^8;i>Qp AM{#~Òy%H$O^sPV9O7ߏU8LiSxbCeUϓFx?M0ɓ?"a\15LLJmC2/H/ g(p{;Zw:,6ƳPl a~S2T(/)01:.c _As gd bEfl͛y͎.їp9DRo{ kc7 RM(Wɟ[2 #5,OKXD /{72$THD A5Æ #ë|;^Qhs.~ah?"*n0\Sbo&RwxCD9AC2e5tx~n"}w !i]i:+=7ܧ\W/* /t5ڊQ oޱxg/ueel])TIL]uItTj ih3l \ا͡, R-2m'~4p3xo7F>0_WXJ^ gYZe327a31f463bee77d1a8308b3339bcb1f095ac8719483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf + Ramsey-Infinite