#include<assert.h>

#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;
  assert N==2;
  assert N*s==a[0]+a[1];
}
