#eolnstyle="system" eofstyle="linux"#
n (3 <= n <= 20);
{[*n]
  x: double y: double (0.0 <= x <= 100.0, 0.0 <= y <= 100.0,
  	 	unique(x,y),
        x$ %% "([1-9]\\d*|0)(\\.\\d\\d?)?",
        y$ %% "([1-9]\\d*|0)(\\.\\d\\d?)?"
		);
}