parse error at 1.9:

unexpected "="

expecting "[", "%", ",", ":", "<", "{", ";", "sort", "op", "fun", "pred", "type", class, "program", "generated", "free", "var", "forall", dot, "axiom", "internal" or end of input

parse error at 2.5:

unexpected "<"

expecting id

parse error at 3.16:

unexpected "="

expecting "[", "%", "->", "{", ";", "sort", "op", "fun", "pred", "type", class, "program", "generated", "free", "var", "forall", dot, "axiom", "internal" or end of input

parse error at 4.17:

unexpected list of type arguments

expecting "%", "+", "-", ",", ":" or "<"

parse error at 5.12:

unexpected list of type arguments

expecting casl char, "_", "%", "+", "-", ",", ":" or "<"