Example

Input

2 2 2 1
0 0 0


Output

24
#include<bits/stdc++.h>
using namespace std;
int main(){
  long long a,b,c,n,x[1000],y[1000],z[1000];
  cin>>a>>b>>c>>n;
  long long ans=2*(a*b+b*c+c*a),d[8]={0,0,1,0,0,-1,0,0};
  for(int i=0;i<n;i++){
    cin>>x[i]>>y[i]>>z[i];
    ans+=6;
    for(int j=0;j<6;j++){
      int nx=x[i]+d[j],ny=y[i]+d[j+1],nz=z[i]+d[j+2];
      if(nx<0||a<=nx||ny<0||b<=ny||nz<0||c<=nz){ans-=2;continue;}
      for(int k=0;k<i;k++)
	if(nx==x[k]&&ny==y[k]&&nz==z[k]){ans-=2;break;}
    }
  }
  cout<<ans<<endl;
  return 0;
}