vishnusathyanesan/graph-colouring archive