Put the files :

mario.7f
mario.7e
mario.7d
mario.7c
mario.3f
mario.3j
mario.7m
mario.7n
mario.7p
mario.7s
mario.7t
mario.7u
mario.6k

in this directory.