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