你们排挤我很正常,毕竟我动了资本的蛋糕、披萨、汉堡、馄饨、火锅、炸鱼薯条、烤鸭、鸡排、臭豆腐、马卡龙、红烧肉……
在这个充满美食与资本博弈的世界里,加藤翔子凭借敏锐的直觉,擅长在不惊动资本的情况下“动”走各种美味:蛋糕、披萨、汉堡、馄饨,乃至火锅、炸鱼薯条、烤鸭、…… 每一次出手,她都以最小的代价,确保资本无法迅速反扑(给加藤翔子做局)。

现有

种美食,它们各自被赋予一个非负整数,代表资本对它们的关注度:

。翔子会将这些食物全部带走,但是翔子只有一个袋子,也就是说她只能带走一个食物,于是她必须将这些美食两两融合。

她会将所有的食物两两融合,经过恰好

次操作,最终只留下一个“终极美食”。每一次融合,都会引发资本的注意,代价如下:

任选数组中的两个美食
)
,将它们从数组中删除,并将它们关注度的异或结果

插入数组,同时支付“合并成本”
%20%3D%202%20%5Ctimes%20(a_x%20%5Coperatorname%7Band%7D%20a_y))
。

恰好进行

次操作后,数组中只剩下一个“终极美食”。

请你计算并输出,让总合并成本
最小化时的最小总成本。
【名词解释】


:指位运算中的按位异或(Bitwise XOR),对两个整数的二进制表示按位进行异或运算。如果您需要更多位运算相关的知识,可以参考
OI-Wiki的相关章节。


:指位运算中的按位与(Bitwise AND),对两个整数的二进制表示按位进行与运算。