./13/Coat-Button: triple-colour: code optimization.