@@ -0,0 +1,371 @@
+%0Apublic abstract class Specification %7B%0A%09public int%5B%5D param;%0A%09public int%5B%5D output;%0A%09%0A%09%0A%09public abstract String template();%0A%09%0A%09public void setOutput(int%5B%5D output)%7B%0A%09%09this.output = output;%0A%09%7D%0A%09%0A%09public void setParam(int%5B%5D param)%7B%0A%09%09this.param = param;%0A%09%7D%0A%09%0A%09public abstract boolean constraints();%0A%09%0A%09public abstract boolean correct();%0A%09%0A%09public abstract int%5B%5D%5B%5D bounds();%0A%7D%0A

Create Specification.java