i;X[15];main(s){for(;~scanf("%d",X+i+3);)s-=i/9*(X[i]-=X[i+3])*(X[++i%3+3]*X[6-~i%3]-X[i%3+6]*X[3-~i%3]);printf("%d",s/6);}