Searching for links to HardInstancesOfThreeColouring: