|4,9: /4 width=1 by cpx_bind, cpx_beta, leq_pair_O_Y/
|5,7,8: /3 width=1 by cpx_flat, cpx_eps, cpx_ct/
|6,10: /4 width=3 by cpx_zeta, cpx_theta, leq_pair_O_Y/
|4,9: /4 width=1 by cpx_bind, cpx_beta, leq_pair_O_Y/
|5,7,8: /3 width=1 by cpx_flat, cpx_eps, cpx_ct/
|6,10: /4 width=3 by cpx_zeta, cpx_theta, leq_pair_O_Y/