[math-fun] Colouring the queen graphs