Example

Input

2 2 2 1
0 0 0


Output

24
#include <bits/stdc++.h>
#define syosu(x) fixed<<setprecision(x)
using namespace std;
typedef long long ll;
typedef unsigned int uint;
typedef unsigned long long ull;
typedef pair<int,int> P;
typedef pair<double,double> pdd;
typedef pair<ll,ll> pll;
typedef vector<int> vi;
typedef vector<vi> vvi;
typedef vector<double> vd;
typedef vector<vd> vvd;
typedef vector<ll> vl;
typedef vector<vl> vvl;
typedef vector<string> vs;
typedef vector<P> vp;
typedef vector<vp> vvp;
typedef vector<pll> vpll;
typedef pair<int,P> pip;
typedef vector<pip> vip;
const int inf=1<<30;
const ll INF=1ll<<60;
const double pi=acos(-1);
const double eps=1e-9;
const ll mod=1e9+7;
const int dx[4]={-1,0,1,0},dy[4]={0,-1,0,1};

ll a,b,c,n;
vl x,y,z;

int main(){
	cin>>a>>b>>c>>n;
	ll res=2*(a*b+b*c+c*a)+6*n;
	x=y=z=vl(n);
	for(int i=0;i<n;i++){
		cin>>x[i]>>y[i]>>z[i];
		if(x[i]==0) res-=2;
		if(y[i]==0) res-=2;
		if(z[i]==0) res-=2;
		if(x[i]==a-1) res-=2;
		if(y[i]==b-1) res-=2;
		if(z[i]==c-1) res-=2;
	}
	for(int i=0;i<n;i++) for(int j=0;j<n;j++){
		int d=abs(x[i]-x[j])+abs(y[i]-y[j])+abs(z[i]-z[j]);
		if(d==1){
			res--;
//			cout<<i<<' '<<j<<endl;
		}
	}
	cout<<res<<endl;
}
