Example

Input

2 2 2 1
0 0 0


Output

24
#include <bits/stdc++.h>
using namespace std;
#define repl(i,a,b) for(int i=(int)(a);i<(int)(b);i++)
#define rep(i,n) repl(i,0,n)
#define mp(a,b) make_pair((a),(b))
#define pb(a) push_back((a))
#define all(x) (x).begin(),(x).end()
#define uniq(x) sort(all(x)),(x).erase(unique(all(x)),end(x))
#define fi first
#define se second
#define dbg(...) _dbg(#__VA_ARGS__, __VA_ARGS__)
void _dbg(string){cout<<endl;}
template<class H,class... T> void _dbg(string s,H h,T... t){int l=s.find(',');cout<<s.substr(0,l)<<" = "<<h<<", ";_dbg(s.substr(l+1),t...);}
template<class T,class U> ostream& operator<<(ostream& o, const pair<T,U> &p){o<<"("<<p.fi<<","<<p.se<<")";return o;}
template<class T> ostream& operator<<(ostream& o, const vector<T> &v){o<<"[";for(T t:v){o<<t<<",";}o<<"]";return o;}

#define INF 1120000000

int main(){
  long a,b,c,n;
  cin>>a>>b>>c>>n;

  set<pair<int,pair<int,int>>> removed;

  long ans = 2L*(a*b+b*c+c*a);
  rep(i,n){
    int x,y,z;
    cin>>x>>y>>z;
    ans += 6;
    if(x==0) ans-=2;
    if(x==a-1) ans -=2;
    if(y==0) ans -=2;
    if(y==b-1) ans -=2;
    if(z==0) ans-=2;
    if(z==c-1) ans -=2;
    const int d[] = {0,0,0,0,1,-1,0,0,0,0};
    rep(k,6){
      auto p = mp(x+d[k], mp(y+d[k+2], z+d[k+4]));
      if(removed.count(p)==1) ans -= 2;
    }
    removed.insert(mp(x,mp(y,z)));
  }

  cout << ans << endl;

  return 0;
}