SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  t, S% Cartan_FP:threads=2elapsed=2.275cpu=4.192gc=0.100factor=1.847zXZִF! ]ŗXf1-/6vRZy_Î:|7^qˋ>OS,4uH4NJռzኖLm˄8RxvU$4fI&;vhYbCtWbDPxߡZPX?@:Dnt}I&T'5یN&A"F, H'n΍pA$qhGG즏vx6EK~gjgiFէK$ڍKbV{&|RQzHGO)>WcƆ|08P)F3RҋDžwӗ΍ўpCj M['M_+#"a}y:?/LjʴK}1F09s٨(Rge&}=FЩs٤D)-gYZ470e48c37aa7731565fb213e313b363a76682abd 7057753c2198f293e7c6203ebeba89e1627dc079 f4f45ce2c3a2bf9c0ba22e59d1bfbc012e348e2f f731dc2c105e227e07d4b3192c213fe54f0b7697f0df918d4045ad6c60b23213b65e87e41842eac3 2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71 8ad8b00859fa175a80839fc506a09472d6fb1928 3e553857d112c4e9d1c0b7aaf3102c0d82bfc5f2 099d6146b83efbe7db34269cb1d2c2c87eecc7c4   Cartan_FP