EverGrandeCity_Hall5_MapWarps: @ 853382C
	warp_def 5, 12, 3, 2, MAP_EVER_GRANDE_CITY_POKEMON_LEAGUE_1F
	warp_def 5, 2, 0, 0, MAP_EVER_GRANDE_CITY_SIDNEYS_ROOM
	warp_def 4, 12, 3, 2, MAP_EVER_GRANDE_CITY_POKEMON_LEAGUE_1F
	warp_def 6, 12, 3, 2, MAP_EVER_GRANDE_CITY_POKEMON_LEAGUE_1F

EverGrandeCity_Hall5_MapEvents:: @ 853384C
	map_events 0x0, EverGrandeCity_Hall5_MapWarps, 0x0, 0x0