i=36,a[];main(s){for(;;scanf("%d",a+35-i))s-=a[i/2]*a[8-i/12*6-i%3]*a[(i/6+1&2)*3+(i+3)/2%3+3]^-i--%2;printf("%d",s/6-3);}