nt ns rmax (1 <= nt <= 5000, 1 <= ns <= 1000, 1 <= rmax <= 1000);
{[*nt]
  x y (-100000 <= x <= 100000, -100000 <= y <= 100000);
}
{[*ns]
  d1 d2 (abs(d1)+abs(d2) <= rmax);
}