void Reverse(int[] a)
{
  for (int i = 0; i < a.Length / 2; i++)
  {
    int t = a[i];
    a[i] = a[a.Length - i];
    a[a.Length - i] = t;
  }
}