OP-00936 Open Rado's boundedness conjecture CO · colourings · linear equations · partition regularity · Rado's theorem