# ctd input validator for convexhullextension
# - only checks bounds on values and distinctness of the n points

INT(3,50,n) NEWLINE
REPI(i,n)
    INT(-1000,1000,x[i]) SPACE INT(-1000,1000,y[i]) NEWLINE
END
ASSERT(UNIQUE(x,y))