q in [3/8, 193/512]: a_A = 194/625, a_B(q0) = 0.7143, P < 0 on Case C range (22 boxes)
q in [193/512, 97/256]: a_A = 783/2500, a_B(q0) = 0.7042, P < 0 on Case C range (20 boxes)
q in [97/256, 195/512]: a_A = 1579/5000, a_B(q0) = 0.6943, P < 0 on Case C range (17 boxes)
q in [253/512, 127/256]: a_A = 4039/10000, a_B(q0) = 0.3440, Case C empty
q in [127/256, 255/512]: a_A = 4041/10000, a_B(q0) = 0.3404, Case C empty
q in [255/512, 1/2]: a_A = 4041/10000, a_B(q0) = 0.3368, Case C empty
64 intervals cover [3/8, 1/2]; Case C empty on 16 of them; 249 boxes in total, maximal bisection depth 6
Theorem K holds for every q in [3/8, 1/2]  [EXACT]
