../../Task/Colorful-numbers/XPL0