module z;time z,a[12];initial for(i=12;i;i--){z=$fscanf(1<<31,"%d",a[i]);if(i<10)a[i]-=a[10+i%3]}$write((a[9]*(a[5]*a[1]-a[4]*a[2])+a[8]*(a[4]*a[3]-a[6]*a[1])+a[7]*(a[6]*a[2]-a[5]*a[3]))/6);endmodule