We fail when running against Anders and Briegel simply because we use a
different CZ table

But it is not symmetric. I wonder why. Can run with either for now.

Using `combinations` instead of `combinations_with_replacement` was
leading to entries of the form [ ... , i, i] being excluded from the CZ
table.

At least we have infinite-size graphs now