S7LV6VRMBSJPJ765HYMGC5IZ4LCQRJ7VH3D3E36PD6LHVGPQWNYAC
int sz = bx.bigEnd(d) - bx.smallEnd(d) + 1;
nbx.setSmall(d, bx.smallEnd(d) + sz / 4 + 1);
nbx.setBig(d, bx.bigEnd(d) - sz / 4 - 1);
int md = (dom.bigEnd(d) + dom.smallEnd(d) + 1) / 2;
int rd = (dom.bigEnd(d) - dom.smallEnd(d) + 1) / 2;
nbx.setSmall(d, md - rd / (1 << (lev + 1)));
nbx.setBig(d, md + rd / (1 << (lev + 1)) - 1);