User:Wythagoras/Rado's sigma function/Hydra machines/Color reduction