module c;time z,i,a[12];
initial for(i=12;i;i--){
$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