CF1223G Wooden Raft

假设你被困在一个荒岛上。唯一能自救的方法是制作一个木筏并出海。幸运的是，你有一把手工锯和附近有一片森林。此外，你已经砍倒了几棵树，并将其处理到现在你有 $n$ 根原木，第 $i$ 根原木的长度为 $a_i$。 你想要建造的木筏结构如下：$2$ 根长度为 $x$ 的原木，以及 $x$ 根长度为 $y$ 的原木。这样的木筏面积为 $x \cdot y$。由于你只能用原始的方式测量长度，$x$ 和 $y$ 都必须是整数，并且都至少为 $2$，因为宽度为 $1$ 的木筏不稳定。 你可以将原木锯成若干段，但不能把两根原木拼接成一根。你能制作的木筏的最大面积是多少？

第一行包含一个整数 $n$（$1 \le n \le 5 \times 10^5$）——你拥有的原木数量。 第二行包含 $n$ 个整数 $a_1, a_2, \dots, a_n$（$2 \le a_i \le 5 \times 10^5$）——每根原木的长度。 保证你总能制作出至少 $2 \times 2$ 的木筏。

输出一个整数，表示你能制作的木筏的最大面积。

在第一个样例中，你可以将长度为 $9$ 的原木锯成 $5$ 段：$2+2+2+2+1$。现在你可以用 $2$ 根长度为 $x=2$ 的原木和 $x=2$ 根长度为 $y=2$ 的原木，制作一个 $2 \times 2$ 的木筏。 在第二个样例中，你可以将 $a_4=18$ 锯成两段 $9+9$，将 $a_8=28$ 锯成三段 $10+9+9$。现在你可以用 $2$ 根长度为 $10$ 的原木和 $10$ 根长度为 $9$ 的原木，制作一个 $10 \times 9$ 的木筏。 由 ChatGPT 4.1 翻译