Recent proofs indicate that when adding the dth dTFA, we can only consider transitive and fraternal pairs whose weights are (d-1) and 1 rather than any pair that sums to d. We should double check that this maintains the correctness of the coloring and, if so, implement this change
Recent proofs indicate that when adding the dth dTFA, we can only consider transitive and fraternal pairs whose weights are (d-1) and 1 rather than any pair that sums to d. We should double check that this maintains the correctness of the coloring and, if so, implement this change