下文设 $N =\max\{\log a_i\}$。

众所周知，本题常见的做法以及高赞题解的做法都是 $O(3^N)$ 的，然而本题还有一种更优的做法，就是按照 $a_i$ 二进制下的前 9 位和后 9 位分块去平衡复杂度，而这种做法的复杂度在题解中都是一个宽松的上界 $O(3^N)$ 或 $O(n\times 2^{N/2})$，请问是否有这种做法的严格复杂度

附评测链接