K=8, r=18, enabled=True: numerical entry=10.089904394348057; window export/V=726.175452.
K=10, r=20, enabled=True: numerical entry=9.5792625359099; window export/V=748.421292.
K=12, r=22, enabled=True: numerical entry=9.212524546179198; window export/V=764.031711.
K=10, r=20, enabled=False: numerical entry=None; window export/V=3.99999998e-06.
Exact rational enabled lower bound: 0.916660608.
Exact rational disabled conservative-event upper bound: 9.72702041e-05.
The deterministic curves illustrate the mechanism; probability bounds use the manuscript generator argument.