exhaustive n=4: 46656 monotone graph systems (all up-set label families), k in [1, 2, 3]
  outcomes: {1: {'colouring': 1, 'star': 46655}, 2: {'colouring': 32346, 'star': 14310}, 3: {'colouring': 46611, 'star': 45}}
  all outputs verified (colouring into k independent sets, or a good k-star) 
python3 star_colouring.py exhaustive 4  0.98s user 0.01s system 27% cpu 3.625 total
