著作権が絡んでくるから多分公開されてないです。 任天堂の曲だから大丈夫と思いそうですが、 プチコンの公開規約を見ると著作物はダメ 的な事が書かれているから大丈夫でないです。