/* */ #include <bits/stdc++.h> #define int long long using namespace std; int n, b, x, a[100005], mx; inline void write(__int128 x) { stack <char> st; while (x) st.push(x % 10 + '0'), x /= 10; while (!st.empty()) { putchar(st.top()); st.pop(); } } signed main() { //freopen("army.in", "r", stdin); //freopen("army.out", "w", stdout); scanf("%lld %lld %lld", &n, &b, &x); for (int i = 1; i <= n; i++) { scanf("%lld", &a[i]); mx = max(mx, a[i]); } __int128 ans = 0; for (int i = 2; i <= mx; i++) { if (clock() * 1.0 / CLOCKS_PER_SEC > 0.97) { write(ans); // printf("\ntime:%lfms", clock() * 1.0 / CLOCKS_PER_SEC); return 0; } __int128 cur = (1 - i) * x; for (int j = 1; j <= n; j++) { cur += (a[j] / i) * (a[j] / i) * ((i * (i - 1)) / 2) * b; // printf("%lld\n", cur); cur += (((a[j] / i) * (i - 1)) + (a[j] % i - 1 + (a[j] / i) * (i - 1))) * (a[j] % i) / 2 * b; // printf("%lld\n\n", cur); } // printf("%lld\n", cur); ans = max(ans, cur); } write(ans); // for (int i = 1; i <= 200000; i++) // { // int j; // for (j = 2; j <= 10000; j++) // { // if ((1.0 * i / j) * (1.0 * i / j) * (j * (j - 1)) / 2 < i - 1) // { // printf("%lld\n", j - 1); // fflush(stdout); // break; // } // } // } return 0; }