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  '+6+dOaB+nH@UG-P]C#U$r LEVT*- 롍pΧYUyHFCyܭр"^+5 ` |+;f04/PKY]1޻=R5S= +!$—粝PAJ!y}2[+( 6VF+;f"[293ClLAovTZA hQ'1E sGj |'!oȣL $\uWxܤ}I/<9TN42'A(]ZCbxMӅ.S[ǣ;XlU1=ϢzfMW15>HIf@ ,#7\  C>cKt֡@ XhC"7Jo;1FYp]árz'i-s%J̜ +F.ORz L?6Cc@`S[eotm!5:K7 '.EEm~Q (u1^Zȭ2 E5Kڽ9 ghV/C.2:ibgYZ46d8622bf528365179e7f2ae527b7ae448af5dce273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 + Ramsey-Infinite