#include <bits/stdc++.h> using namespace std ; long long x ; long long sum = 0 ; long long cnt = 0 ; int main() { while(cin >> x) { sum += x ; cnt++ ; } for(int i = 1 ; i < cnt ; i++ ) { sum *= 2 ; } cout << sum << endl ; return 0 ; }