INT(1, 10, n) SPACE INT(1, 240, t) NEWLINE
REP(n)
  FLOAT(-100, 0, a) SPACE FLOAT(-100, 100, b) SPACE FLOAT(-100, 100, c) NEWLINE
  ASSERT(c >= 0)
  ASSERT((a*t+b)*t+c <= 100.0)
  ASSERT(a < 0)
  ASSERT(b > 0)
  ASSERT(2*a*t + b >= 0)
END