Draft post on colouring small graphs extended.