INT(1,16,n) NEWLINE
REP(n-1)
  INT(0,100,t) SPACE INT(40,50,g) SPACE INT(40,50,r) NEWLINE
  ASSERT(t < g+r)
END