SQLite format 3@ .0:  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  S S* \ж8 1cJy7EvjTa37M'K[wK9C#{ZIRU1*qOgYZ7zXZִF! 1]ŗXi%E\N:';6`+0u8P0Zٻ4,ocVF+8}Rhptf;Ua[>).{wS cn "cvɼpj7EO+k@D.0DN?jh#C/\X?HLsrSqh9 #.iJWZ1 yO#Ԇ{8320pZX92'xy V隯$ S `㸯U^geC~vWyf;oL!_L\ˋaqJ6$ 30&adQf٘%HW ?ˑ>I01jXh~"Jp%^c512vh,pLr7=2🢚y=" 7 +}V"E gϊ-)kH)lNo#//OsZYO_{GI f|~Kx8I>=  |8ݍyNiBWl~Ҁ-7w/#|-n I[XLy Wsmft\Q?Cʶ qŠ~!=3z0S !\PWf]-J΃3zQM}f]l{bh}u__6aB4nP:u7g