Klasemen akhir SEA Games 2023 berdasarkan data NOC Indonesia, Rabu (17/5/2023) pukul 00.15 WIB.(Dok. NOC Indonesia)