#include<bits/stdc++.h>
// GCC 優化程式碼:關閉一些檢查讓時間
#pragma GCC optimize("Ofast")
#pragma GCC target("sse3", "sse2", "sse")
#pragma GCC target("avx", "sse4", "sse4.1", "sse4.2", "ssse3")
#pragma GCC target("f16c")
#pragma GCC optimize("inline", "fast-math", "unroll-loops", "no-stack-protector")
#pragma GCC diagnostic error "-fwhole-program"
#pragma GCC diagnostic error "-fcse-skip-blocks"
#pragma GCC diagnostic error "-funsafe-loop-optimizations"
#pragma GCC diagnostic error "-std=c++14"
using namespace std;
string ss;
const int MAXN=10005;
int target, num_sum, num_cnt, now_x;
int num[MAXN];
vector<int> pos[2];
void DFS(int,int,int,int);// 產生所有可能的數字
int main(){
ios::sync_with_stdio(0),
cin.tie(0), cout.tie(0);
while(getline(cin,ss)){
int p=0;
for(now_x=num_cnt=0; ss[p]!=0; p++)
(ss[p]<'0')? num[num_cnt++]=now_x,now_x=0: now_x=10*now_x+ss[p]-'0';
num[num_cnt++]=now_x;
num_sum=0;
for(int i=0;i<num_cnt;i++)
num_sum+=num[i];
target=num_sum>>1;
/* =====分情況討論=====
* (1)根據 num_cnt 小於等於42個決定是否可以採用暴力法
* (2)作弊...反例:9999個31時
*/
if(num_cnt<=42){ // 枚舉暴力法的極限<- 卡在第二筆測資的上限
// 雙向BFS
now_x=num_cnt>>1;
pos[0].clear();
pos[1].clear();
DFS( 0, now_x,0,0);
DFS(now_x,num_cnt,1,0);
sort(pos[0].begin(),pos[0].end());
sort(pos[1].begin(),pos[1].end());
int near_target=0;
for(int x:pos[0])
if(x<=target)
now_x=upper_bound(pos[1].begin(),pos[1].end(),target-x)-pos[1].begin(),
near_target=max(near_target,x+pos[1][now_x-1]);
else
break;
cout<<(long)near_target*(num_sum-near_target)<<'\n';
}else // 無法用暴力法時就直接輸出總和的一半視為最佳解
cout<<(long)target*(num_sum-target)<<'\n';
}
}
void DFS(int st,int ed,int sz,int v){
pos[sz].push_back(v);
for(int i=st;i<ed;i++)
DFS(i+1,ed,sz,v+num[i]);
}
I2luY2x1ZGU8Yml0cy9zdGRjKysuaD4KLy8gR0NDIOWEquWMlueoi+W8j+eivO+8mumXnOmWieS4gOS6m+aqouafpeiuk+aZgumWkwojcHJhZ21hIEdDQyBvcHRpbWl6ZSgiT2Zhc3QiKQojcHJhZ21hIEdDQyB0YXJnZXQoInNzZTMiLCAic3NlMiIsICJzc2UiKQojcHJhZ21hIEdDQyB0YXJnZXQoImF2eCIsICJzc2U0IiwgInNzZTQuMSIsICJzc2U0LjIiLCAic3NzZTMiKQojcHJhZ21hIEdDQyB0YXJnZXQoImYxNmMiKQojcHJhZ21hIEdDQyBvcHRpbWl6ZSgiaW5saW5lIiwgImZhc3QtbWF0aCIsICJ1bnJvbGwtbG9vcHMiLCAibm8tc3RhY2stcHJvdGVjdG9yIikKI3ByYWdtYSBHQ0MgZGlhZ25vc3RpYyBlcnJvciAiLWZ3aG9sZS1wcm9ncmFtIgojcHJhZ21hIEdDQyBkaWFnbm9zdGljIGVycm9yICItZmNzZS1za2lwLWJsb2NrcyIKI3ByYWdtYSBHQ0MgZGlhZ25vc3RpYyBlcnJvciAiLWZ1bnNhZmUtbG9vcC1vcHRpbWl6YXRpb25zIgojcHJhZ21hIEdDQyBkaWFnbm9zdGljIGVycm9yICItc3RkPWMrKzE0Igp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKc3RyaW5nIHNzOwpjb25zdCBpbnQgTUFYTj0xMDAwNTsKaW50IHRhcmdldCwgbnVtX3N1bSwgbnVtX2NudCwgbm93X3g7CmludCBudW1bTUFYTl07CnZlY3RvcjxpbnQ+IHBvc1syXTsKCnZvaWQgREZTKGludCxpbnQsaW50LGludCk7Ly8g55Si55Sf5omA5pyJ5Y+v6IO955qE5pW45a2XCmludCBtYWluKCl7CiAgaW9zOjpzeW5jX3dpdGhfc3RkaW8oMCksCiAgY2luLnRpZSgwKSwgY291dC50aWUoMCk7CgogIHdoaWxlKGdldGxpbmUoY2luLHNzKSl7CiAgICBpbnQgcD0wOwogICAgZm9yKG5vd194PW51bV9jbnQ9MDsgc3NbcF0hPTA7IHArKykKICAgICAgKHNzW3BdPCcwJyk/IG51bVtudW1fY250KytdPW5vd194LG5vd194PTA6IG5vd194PTEwKm5vd194K3NzW3BdLScwJzsKCiAgICBudW1bbnVtX2NudCsrXT1ub3dfeDsKICAgIG51bV9zdW09MDsKICAgIGZvcihpbnQgaT0wO2k8bnVtX2NudDtpKyspCiAgICAgIG51bV9zdW0rPW51bVtpXTsKICAgIHRhcmdldD1udW1fc3VtPj4xOwogICAgLyogPT09PT3liIbmg4Xms4HoqI7oq5Y9PT09PQogICAgICogKDEp5qC55pOaIG51bV9jbnQg5bCP5pa8562J5pa8NDLlgIvmsbrlrprmmK/lkKblj6/ku6XmjqHnlKjmmrTlipvms5UKICAgICAqICgyKeS9nOW8ii4uLuWPjeS+i++8mjk5OTnlgIszMeaZggogICAgICovCiAgICBpZihudW1fY250PD00Mil7IC8vIOaemuiIieaatOWKm+azleeahOaltemZkDwtIOWNoeWcqOesrOS6jOethua4rOizh+eahOS4iumZkAogICAgICAvLyDpm5nlkJFCRlMKICAgICAgbm93X3g9bnVtX2NudD4+MTsKICAgICAgcG9zWzBdLmNsZWFyKCk7CiAgICAgIHBvc1sxXS5jbGVhcigpOwogICAgICBERlMoICAgIDAsICBub3dfeCwwLDApOwogICAgICBERlMobm93X3gsbnVtX2NudCwxLDApOwogICAgICBzb3J0KHBvc1swXS5iZWdpbigpLHBvc1swXS5lbmQoKSk7CiAgICAgIHNvcnQocG9zWzFdLmJlZ2luKCkscG9zWzFdLmVuZCgpKTsKICAgICAgaW50IG5lYXJfdGFyZ2V0PTA7CiAgICAgIGZvcihpbnQgeDpwb3NbMF0pCiAgICAgICAgaWYoeDw9dGFyZ2V0KQogICAgICAgICAgbm93X3g9dXBwZXJfYm91bmQocG9zWzFdLmJlZ2luKCkscG9zWzFdLmVuZCgpLHRhcmdldC14KS1wb3NbMV0uYmVnaW4oKSwKICAgICAgICAgIG5lYXJfdGFyZ2V0PW1heChuZWFyX3RhcmdldCx4K3Bvc1sxXVtub3dfeC0xXSk7CiAgICAgICAgZWxzZQogICAgICAgICAgYnJlYWs7CiAgICAgIGNvdXQ8PChsb25nKW5lYXJfdGFyZ2V0KihudW1fc3VtLW5lYXJfdGFyZ2V0KTw8J1xuJzsKICAgIH1lbHNlIC8vIOeEoeazleeUqOaatOWKm+azleaZguWwseebtOaOpei8uOWHuue4veWSjOeahOS4gOWNiuimlueCuuacgOS9s+inowogICAgICBjb3V0PDwobG9uZyl0YXJnZXQqKG51bV9zdW0tdGFyZ2V0KTw8J1xuJzsKICB9Cn0Kdm9pZCBERlMoaW50IHN0LGludCBlZCxpbnQgc3osaW50IHYpewogIHBvc1tzel0ucHVzaF9iYWNrKHYpOwogIGZvcihpbnQgaT1zdDtpPGVkO2krKykKICAgIERGUyhpKzEsZWQsc3osditudW1baV0pOwp9