Original soundtrack to the anime series "Tokyo Majin Gakuen Kenpucho Tou."