127d

先把 $i$ 对 $j$ 的约束去掉。没有 $\min$ 的情况是 trival 的，发现瓶颈在于如何比较两个数之间的大小。 可以发现，对两个二进制数，我们本质上是想要找到它们第一个不同的位置。于是考虑从最高位开始，将 $(a_i,b_i)$ 按最高位分组为 $(0,0),(0,1),(1,0),( ......