Basis of next post, on colouring small graphs.