MAYBE
0.00/0.02	 The problem does not contain well-formed TRSs:
0.00/0.02	   Strict Trs:
0.00/0.02	     { and(tt()) -> X
0.00/0.02	     , __(X, nil()) -> X
0.00/0.02	     , __(__(X, Y), Z) -> __(X, __(Y, Z))
0.00/0.02	     , __(nil(), X) -> X
0.00/0.02	     , U11(tt()) -> U12(isNeList())
0.00/0.02	     , U12(tt()) -> tt()
0.00/0.02	     , isNeList() -> U31(isPalListKind())
0.00/0.02	     , isNeList() -> U41(and(isPalListKind()))
0.00/0.02	     , isNeList() -> U51(and(isPalListKind()))
0.00/0.02	     , U21(tt()) -> U22(isList())
0.00/0.02	     , U22(tt()) -> U23(isList())
0.00/0.02	     , isList() -> tt()
0.00/0.02	     , isList() -> U11(isPalListKind())
0.00/0.02	     , isList() -> U21(and(isPalListKind()))
0.00/0.02	     , U23(tt()) -> tt()
0.00/0.02	     , U31(tt()) -> U32(isQid())
0.00/0.02	     , U32(tt()) -> tt()
0.00/0.02	     , isQid() -> tt()
0.00/0.02	     , U41(tt()) -> U42(isList())
0.00/0.02	     , U42(tt()) -> U43(isNeList())
0.00/0.02	     , U43(tt()) -> tt()
0.00/0.02	     , U51(tt()) -> U52(isNeList())
0.00/0.02	     , U52(tt()) -> U53(isList())
0.00/0.02	     , U53(tt()) -> tt()
0.00/0.02	     , U61(tt()) -> U62(isQid())
0.00/0.02	     , U62(tt()) -> tt()
0.00/0.02	     , U71(tt()) -> U72(isNePal())
0.00/0.02	     , U72(tt()) -> tt()
0.00/0.02	     , isNePal() -> and(and(isQid()))
0.00/0.02	     , isNePal() -> U61(isPalListKind())
0.00/0.02	     , isPalListKind() -> and(isPalListKind())
0.00/0.02	     , isPalListKind() -> tt()
0.00/0.02	     , isPal() -> tt()
0.00/0.02	     , isPal() -> U71(isPalListKind()) }
0.00/0.02	   StartTerms: basic terms
0.00/0.02	   Strategy: none
0.00/0.03	EOF