#pragma TASS input {N>=2 && N<=2}
int N;
#pragma TASS input 
int a[N];

void main() {
  double x = 0.0;
  double s;

  x = x + a[0]+a[1];
  s = x/N;
  #pragma TASS assert N==2;
  #pragma TASS assert N*s==a[0]+a[1];
}
