update graphcolouring.scm