[Definition]
titleIds = 0005000010145d00,0005000010145c00,0005000010106100,0005000010180600,0005000010180700,0005000010180500
name = "Super Mario 3D World + Captain Toad: Treasure Tracker - 1440p (2K)"

[TextureRedefine] # tv
width = 1280
height = 720
formatsExcluded = 0x008,0x41A,0x034,0x035 # exclude obvious textures
overwriteWidth = 2560
overwriteHeight = 1440

[TextureRedefine] # half-res alpha
width = 640
height = 360
formatsExcluded = 0x41A,0x034,0x035 # exclude obvious textures
overwriteWidth = 1280
overwriteHeight = 720