parse error at 1.2:

unexpected end of input

expecting "\\", "'" or "\""

parse error at 2.2:

unexpected end of input

expecting "\\" or "\""

parse error at 3.2:

unexpected end of input

expecting "%%", "%{", "%(", "%", "=e=", "=", id/literal, "{", "[", "(", "if", "forall", "exists!", "exists", "\\", "case", "let" or "}"

parse error at 4.2:

unexpected end of input

expecting "%%", "%{", "%(", "%", "=e=", "=", id/literal, "{", "[", "(", "if", "forall", "exists!", "exists", "\\", "case", "let" or "]"

parse error at 5.2:

unexpected end of input

expecting "%%", "%{", "%(", "%", "var", "op", "fun", "pred", "=e=", "=", id/literal, "{", "[", "(", "if", "forall", "exists!", "exists", "\\", "case", "let" or ")"

parse error at 6.1:

unexpected "}"

expecting "%%", "%{", "%(", "%", "=e=", "=", id/literal, "{", "[", "(", "if", "forall", "exists!", "exists", "\\", "case" or "let"

parse error at 7.1:

unexpected "]"

expecting "%%", "%{", "%(", "%", "=e=", "=", id/literal, "{", "[", "(", "if", "forall", "exists!", "exists", "\\", "case" or "let"

parse error at 8.1:

unexpected ")"

expecting "%%", "%{", "%(", "%", "=e=", "=", id/literal, "{", "[", "(", "if", "forall", "exists!", "exists", "\\", "case" or "let"

parse error at 9.1:

unexpected "."

expecting "%%", "%{", "%(", "%", "=e=", "=", id/literal, "{", "[", "(", "if", "forall", "exists!", "exists", "\\", "case" or "let"

parse error at 10.1:

unexpected end of input

expecting "__"

parse error at 11.1:

unexpected ":"

expecting "%%", "%{", "%(", "%", "=e=", "=", id/literal, "{", "[", "(", "if", "forall", "exists!", "exists", "\\", "case" or "let"

parse error at 12.1:

unexpected ":?"

expecting "%%", "%{", "%(", "%", "=e=", "=", id/literal, "{", "[", "(", "if", "forall", "exists!", "exists", "\\", "case" or "let"

parse error at 13.1:

unexpected ","

expecting "%%", "%{", "%(", "%", "=e=", "=", id/literal, "{", "[", "(", "if", "forall", "exists!", "exists", "\\", "case" or "let"

parse error at 14.1:

unexpected ";"

expecting "%%", "%{", "%(", "%", "=e=", "=", id/literal, "{", "[", "(", "if", "forall", "exists!", "exists", "\\", "case" or "let"

parse error at 15.2:

unexpected ","

expecting "%%", "%{", "%(", "%", "var", "op", "fun", "pred", "=e=", "=", id/literal, "{", "[", "(", "if", "forall", "exists!", "exists", "\\", "case", "let" or ")"

parse error at 16.4:

unexpected ")"

expecting "%%", "%{", "%(", "%", "=e=", "=", id/literal, "{", "[", "(", "if", "forall", "exists!", "exists", "\\", "case" or "let"

parse error at 17.1:

unexpected "as"

expecting "%%", "%{", "%(", "%", "=e=", "=", id/literal, "{", "[", "(", "if", "forall", "exists!", "exists", "\\", "case" or "let"

parse error at 18.1:

unexpected ":"

expecting "%%", "%{", "%(", "%", "=e=", "=", id/literal, "{", "[", "(", "if", "forall", "exists!", "exists", "\\", "case" or "let"

parse error at 19.1:

unexpected "in"

expecting "%%", "%{", "%(", "%", "=e=", "=", id/literal, "{", "[", "(", "if", "forall", "exists!", "exists", "\\", "case" or "let"

parse error at 20.15:

unexpected ")"

expecting __, [<id>,...,<id>], "[", "%%", "%{", "%(", "%", ":?" or ":"

parse error at 21.8:

unexpected "<"

expecting simple-id, "{", "[" or __

parse error at 22.13:

unexpected "?"

expecting __, "%%", "%{", "%(" or "%"

parse error at 23.13:

unexpected "?"

expecting __, "%%", "%{", "%(" or "%"

parse error at 24.13:

unexpected "?"

expecting __, "%%", "%{", "%(" or "%"

parse error at 25.13:

unexpected "?"

expecting __, "%%", "%{", "%(" or "%"

parse error at 26.9:

unexpected "a"

expecting "{", __, "%%", "%{", "%(", "%", "+", "-", ",", ":", "<", ";" or dot

parse error at 27.13:

unexpected ".!" or "!"

expecting "?", words, "__", "(", "{", "[", "%%", "%{", "%(", "%", ":", cross, "->", "->?", "-->", "-->?", ";" or dot

parse error at 28.13:

unexpected ".!" or "!"

expecting "?", words, "__", "(", "{", "[", "%%", "%{", "%(", "%", ":", cross, "->", "->?", "-->", "-->?", ";" or dot

parse error at 29.10:

unexpected "a"

expecting "{", __, "%%", "%{", "%(", "%", "," or ":"

parse error at 30.14:

unexpected ".!" or "!"

expecting "?", words, "__", "(", "{", "[", "%%", "%{", "%(", "%", ":", cross, "->", "->?", "-->", "-->?", ";" or dot

parse error at 31.1:

unexpected "pred"

expecting "%%", "%{", "%(", "%", "=e=", "=", id/literal, "{", "[", "(", "if", "forall", "exists!", "exists", "\\", "case" or "let"

parse error at 32.1:

unexpected "var"

expecting "%%", "%{", "%(", "%", "=e=", "=", id/literal, "{", "[", "(", "if", "forall", "exists!", "exists", "\\", "case" or "let"

parse error at 33.1:

unexpected "op"

expecting "%%", "%{", "%(", "%", "=e=", "=", id/literal, "{", "[", "(", "if", "forall", "exists!", "exists", "\\", "case" or "let"

parse error at 34.11:

unexpected "?"

expecting __, "%%", "%{", "%(", "%" or ":?"

parse error at 35.11:

unexpected "?"

expecting __, "%%", "%{", "%(", "%" or ":?"

parse error at 36.3:

unexpected "and" or "a"

expecting "%%", "%{", "%(", "%", ":", "as", "in", "=e=", "=", id/literal, "{", "[", "(", "if", "forall", "exists!", "exists", "\\", "case", "let", "where" or end of input

parse error at 37.1:

unexpected "then"

expecting "%%", "%{", "%(", "%", "=e=", "=", id/literal, "{", "[", "(", "if", "forall", "exists!", "exists", "\\", "case" or "let"

parse error at 38.4:

unexpected "then"

expecting "%%", "%{", "%(", "%", "=e=", "=", id/literal, "{", "[", "(", "if", "forall", "exists!", "exists", "\\", "case" or "let"

parse error at 39.3:

unexpected end of input

expecting casl char, "%%", "%{", "%(", "%", "=e=", "=", id/literal, "{", "[", "(", "if", "forall", "exists!", "exists", "\\", "case" or "let"

parse error at 40.10:

unexpected end of input

expecting casl char, "%%", "%{", "%(", "%", "=e=", "=", id/literal, "{", "[", "(", "if", "forall", "exists!", "exists", "\\", "case" or "let"

parse error at 41.13:

unexpected end of input

expecting casl char, "%%", "%{", "%(", "%", "=e=", "=", id/literal, "{", "[", "(", "if", "forall", "exists!", "exists", "\\", "case" or "let"

parse error at 42.11:

unexpected "@"

expecting quoted char, dot-words, digit, words, "__", "{", "[", "(", "%%", "%{", "%(", "%", ":", "," or ")"