eMarked_a__isNePala__isListMarked_a__anda__isNePalandnilMarked_marka__isPalisNePalttMarked_a__isNeLista__isQidomarkaMarked_a__isPala__isNeListMarked_a__isListisNeListu__Marked_a____isPalisQida__andMarked_a__isQidisListia____X2X1PIV2V1VZYXa____(__(X,Y),Z)a____(mark(X),a____(mark(Y),mark(Z)))a____(X,nil)mark(X)a____(nil,X)mark(X)a__and(tt,X)mark(X)a__isList(V)a__isNeList(V)a__isList(nil)tta__isList(__(V1,V2))a__and(a__isList(V1),isList(V2))a__isNeList(V)a__isQid(V)a__isNeList(__(V1,V2))a__and(a__isList(V1),isNeList(V2))a__isNeList(__(V1,V2))a__and(a__isNeList(V1),isList(V2))a__isNePal(V)a__isQid(V)a__isNePal(__(I,__(P,I)))a__and(a__isQid(I),isPal(P))a__isPal(V)a__isNePal(V)a__isPal(nil)tta__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(and(X1,X2))a__and(mark(X1),X2)mark(isList(X))a__isList(X)mark(isNeList(X))a__isNeList(X)mark(isQid(X))a__isQid(X)mark(isNePal(X))a__isNePal(X)mark(isPal(X))a__isPal(X)mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__and(X1,X2)and(X1,X2)a__isList(X)isList(X)a__isNeList(X)isNeList(X)a__isQid(X)isQid(X)a__isNePal(X)isNePal(X)a__isPal(X)isPal(X)a____(__(X,Y),Z)a____(mark(X),a____(mark(Y),mark(Z)))a____(X,nil)mark(X)a____(nil,X)mark(X)a__and(tt,X)mark(X)a__isList(V)a__isNeList(V)a__isList(nil)tta__isList(__(V1,V2))a__and(a__isList(V1),isList(V2))a__isNeList(V)a__isQid(V)a__isNeList(__(V1,V2))a__and(a__isList(V1),isNeList(V2))a__isNeList(__(V1,V2))a__and(a__isNeList(V1),isList(V2))a__isNePal(V)a__isQid(V)a__isNePal(__(I,__(P,I)))a__and(a__isQid(I),isPal(P))a__isPal(V)a__isNePal(V)a__isPal(nil)tta__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(and(X1,X2))a__and(mark(X1),X2)mark(isList(X))a__isList(X)mark(isNeList(X))a__isNeList(X)mark(isQid(X))a__isQid(X)mark(isNePal(X))a__isNePal(X)mark(isPal(X))a__isPal(X)mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__and(X1,X2)and(X1,X2)a__isList(X)isList(X)a__isNeList(X)isNeList(X)a__isQid(X)isQid(X)a__isNePal(X)isNePal(X)a__isPal(X)isPal(X)Marked_a____(__(X,Y),Z)Marked_a____(mark(X),a____(mark(Y),mark(Z)))Marked_a____(__(X,Y),Z)Marked_mark(X)Marked_a____(__(X,Y),Z)Marked_a____(mark(Y),mark(Z))Marked_a____(__(X,Y),Z)Marked_mark(Y)Marked_a____(__(X,Y),Z)Marked_mark(Z)Marked_a____(X,nil)Marked_mark(X)Marked_a____(nil,X)Marked_mark(X)Marked_a__and(tt,X)Marked_mark(X)Marked_a__isList(V)Marked_a__isNeList(V)Marked_a__isList(__(V1,V2))Marked_a__and(a__isList(V1),isList(V2))Marked_a__isList(__(V1,V2))Marked_a__isList(V1)Marked_a__isNeList(V)Marked_a__isQid(V)Marked_a__isNeList(__(V1,V2))Marked_a__and(a__isList(V1),isNeList(V2))Marked_a__isNeList(__(V1,V2))Marked_a__isList(V1)Marked_a__isNeList(__(V1,V2))Marked_a__and(a__isNeList(V1),isList(V2))Marked_a__isNeList(__(V1,V2))Marked_a__isNeList(V1)Marked_a__isNePal(V)Marked_a__isQid(V)Marked_a__isNePal(__(I,__(P,I)))Marked_a__and(a__isQid(I),isPal(P))Marked_a__isNePal(__(I,__(P,I)))Marked_a__isQid(I)Marked_a__isPal(V)Marked_a__isNePal(V)Marked_mark(__(X1,X2))Marked_a____(mark(X1),mark(X2))Marked_mark(__(X1,X2))Marked_mark(X1)Marked_mark(__(X1,X2))Marked_mark(X2)Marked_mark(and(X1,X2))Marked_a__and(mark(X1),X2)Marked_mark(and(X1,X2))Marked_mark(X1)Marked_mark(isList(X))Marked_a__isList(X)Marked_mark(isNeList(X))Marked_a__isNeList(X)Marked_mark(isQid(X))Marked_a__isQid(X)Marked_mark(isNePal(X))Marked_a__isNePal(X)Marked_mark(isPal(X))Marked_a__isPal(X)a____(__(X,Y),Z)a____(mark(X),a____(mark(Y),mark(Z)))a____(X,nil)mark(X)a____(nil,X)mark(X)a__and(tt,X)mark(X)a__isList(V)a__isNeList(V)a__isList(nil)tta__isList(__(V1,V2))a__and(a__isList(V1),isList(V2))a__isNeList(V)a__isQid(V)a__isNeList(__(V1,V2))a__and(a__isList(V1),isNeList(V2))a__isNeList(__(V1,V2))a__and(a__isNeList(V1),isList(V2))a__isNePal(V)a__isQid(V)a__isNePal(__(I,__(P,I)))a__and(a__isQid(I),isPal(P))a__isPal(V)a__isNePal(V)a__isPal(nil)tta__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(and(X1,X2))a__and(mark(X1),X2)mark(isList(X))a__isList(X)mark(isNeList(X))a__isNeList(X)mark(isQid(X))a__isQid(X)mark(isNePal(X))a__isNePal(X)mark(isPal(X))a__isPal(X)mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__and(X1,X2)and(X1,X2)a__isList(X)isList(X)a__isNeList(X)isNeList(X)a__isQid(X)isQid(X)a__isNePal(X)isNePal(X)a__isPal(X)isPal(X)Marked_a____(__(X,Y),Z)Marked_a____(mark(X),a____(mark(Y),mark(Z)))Marked_a____(__(X,Y),Z)Marked_mark(X)Marked_a____(__(X,Y),Z)Marked_a____(mark(Y),mark(Z))Marked_a____(__(X,Y),Z)Marked_mark(Y)Marked_a____(__(X,Y),Z)Marked_mark(Z)Marked_a____(X,nil)Marked_mark(X)Marked_a____(nil,X)Marked_mark(X)Marked_a__and(tt,X)Marked_mark(X)Marked_a__isList(V)Marked_a__isNeList(V)Marked_a__isList(__(V1,V2))Marked_a__and(a__isList(V1),isList(V2))Marked_a__isList(__(V1,V2))Marked_a__isList(V1)Marked_a__isNeList(__(V1,V2))Marked_a__and(a__isList(V1),isNeList(V2))Marked_a__isNeList(__(V1,V2))Marked_a__isList(V1)Marked_a__isNeList(__(V1,V2))Marked_a__and(a__isNeList(V1),isList(V2))Marked_a__isNeList(__(V1,V2))Marked_a__isNeList(V1)Marked_a__isNePal(__(I,__(P,I)))Marked_a__and(a__isQid(I),isPal(P))Marked_a__isPal(V)Marked_a__isNePal(V)Marked_mark(__(X1,X2))Marked_a____(mark(X1),mark(X2))Marked_mark(__(X1,X2))Marked_mark(X1)Marked_mark(__(X1,X2))Marked_mark(X2)Marked_mark(and(X1,X2))Marked_a__and(mark(X1),X2)Marked_mark(and(X1,X2))Marked_mark(X1)Marked_mark(isList(X))Marked_a__isList(X)Marked_mark(isNeList(X))Marked_a__isNeList(X)Marked_mark(isNePal(X))Marked_a__isNePal(X)Marked_mark(isPal(X))Marked_a__isPal(X)a____110i10isList10a__and110isQid10isPal10Marked_a____1220__110u10isNeList10Marked_a__isList120a__isNeList10Marked_a__isPal20a10mark10o10a__isQid10Marked_a__isNeList120tt10isNePal10a__isPal10Marked_mark120nil10and110a__isNePal10Marked_a__and120a__isList10Marked_a__isNePal20e20Marked_a____(X,nil)Marked_mark(X)Marked_a____(nil,X)Marked_mark(X)Marked_a__isList(__(V1,V2))Marked_a__and(a__isList(V1),isList(V2))Marked_a__isNeList(__(V1,V2))Marked_a__and(a__isList(V1),isNeList(V2))Marked_a__isNeList(__(V1,V2))Marked_a__and(a__isNeList(V1),isList(V2))Marked_mark(and(X1,X2))Marked_a__and(mark(X1),X2)Marked_mark(isNePal(X))Marked_a__isNePal(X)Marked_mark(isPal(X))Marked_a__isPal(X)a____(__(X,Y),Z)a____(mark(X),a____(mark(Y),mark(Z)))a____(X,nil)mark(X)a____(nil,X)mark(X)a__and(tt,X)mark(X)a__isList(V)a__isNeList(V)a__isList(nil)tta__isList(__(V1,V2))a__and(a__isList(V1),isList(V2))a__isNeList(V)a__isQid(V)a__isNeList(__(V1,V2))a__and(a__isList(V1),isNeList(V2))a__isNeList(__(V1,V2))a__and(a__isNeList(V1),isList(V2))a__isNePal(V)a__isQid(V)a__isNePal(__(I,__(P,I)))a__and(a__isQid(I),isPal(P))a__isPal(V)a__isNePal(V)a__isPal(nil)tta__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(and(X1,X2))a__and(mark(X1),X2)mark(isList(X))a__isList(X)mark(isNeList(X))a__isNeList(X)mark(isQid(X))a__isQid(X)mark(isNePal(X))a__isNePal(X)mark(isPal(X))a__isPal(X)mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__and(X1,X2)and(X1,X2)a__isList(X)isList(X)a__isNeList(X)isNeList(X)a__isQid(X)isQid(X)a__isNePal(X)isNePal(X)a__isPal(X)isPal(X)Marked_a____(__(X,Y),Z)Marked_a____(mark(X),a____(mark(Y),mark(Z)))Marked_a____(__(X,Y),Z)Marked_mark(X)Marked_a____(__(X,Y),Z)Marked_a____(mark(Y),mark(Z))Marked_a____(__(X,Y),Z)Marked_mark(Y)Marked_a____(__(X,Y),Z)Marked_mark(Z)Marked_a__and(tt,X)Marked_mark(X)Marked_a__isList(V)Marked_a__isNeList(V)Marked_a__isList(__(V1,V2))Marked_a__isList(V1)Marked_a__isNeList(__(V1,V2))Marked_a__isList(V1)Marked_a__isNeList(__(V1,V2))Marked_a__isNeList(V1)Marked_a__isNePal(__(I,__(P,I)))Marked_a__and(a__isQid(I),isPal(P))Marked_a__isPal(V)Marked_a__isNePal(V)Marked_mark(__(X1,X2))Marked_a____(mark(X1),mark(X2))Marked_mark(__(X1,X2))Marked_mark(X1)Marked_mark(__(X1,X2))Marked_mark(X2)Marked_mark(and(X1,X2))Marked_mark(X1)Marked_mark(isList(X))Marked_a__isList(X)Marked_mark(isNeList(X))Marked_a__isNeList(X)a____(__(X,Y),Z)a____(mark(X),a____(mark(Y),mark(Z)))a____(X,nil)mark(X)a____(nil,X)mark(X)a__and(tt,X)mark(X)a__isList(V)a__isNeList(V)a__isList(nil)tta__isList(__(V1,V2))a__and(a__isList(V1),isList(V2))a__isNeList(V)a__isQid(V)a__isNeList(__(V1,V2))a__and(a__isList(V1),isNeList(V2))a__isNeList(__(V1,V2))a__and(a__isNeList(V1),isList(V2))a__isNePal(V)a__isQid(V)a__isNePal(__(I,__(P,I)))a__and(a__isQid(I),isPal(P))a__isPal(V)a__isNePal(V)a__isPal(nil)tta__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(and(X1,X2))a__and(mark(X1),X2)mark(isList(X))a__isList(X)mark(isNeList(X))a__isNeList(X)mark(isQid(X))a__isQid(X)mark(isNePal(X))a__isNePal(X)mark(isPal(X))a__isPal(X)mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__and(X1,X2)and(X1,X2)a__isList(X)isList(X)a__isNeList(X)isNeList(X)a__isQid(X)isQid(X)a__isNePal(X)isNePal(X)a__isPal(X)isPal(X)Marked_a____(__(X,Y),Z)Marked_a____(mark(X),a____(mark(Y),mark(Z)))Marked_a____(__(X,Y),Z)Marked_mark(X)Marked_a____(__(X,Y),Z)Marked_a____(mark(Y),mark(Z))Marked_a____(__(X,Y),Z)Marked_mark(Y)Marked_a____(__(X,Y),Z)Marked_mark(Z)Marked_mark(__(X1,X2))Marked_a____(mark(X1),mark(X2))Marked_mark(__(X1,X2))Marked_mark(X1)Marked_mark(__(X1,X2))Marked_mark(X2)Marked_mark(and(X1,X2))Marked_mark(X1)a____2110i0isList0a__and220isQid0isPal0Marked_a____220__2110u0isNeList0a__isNeList0a0mark10o0a__isQid0tt0isNePal0a__isPal0Marked_mark20nil0and220a__isNePal0a__isList0e0Marked_a____(__(X,Y),Z)Marked_mark(X)Marked_a____(__(X,Y),Z)Marked_a____(mark(Y),mark(Z))Marked_a____(__(X,Y),Z)Marked_mark(Y)Marked_a____(__(X,Y),Z)Marked_mark(Z)Marked_mark(__(X1,X2))Marked_a____(mark(X1),mark(X2))Marked_mark(__(X1,X2))Marked_mark(X1)Marked_mark(__(X1,X2))Marked_mark(X2)a____(__(X,Y),Z)a____(mark(X),a____(mark(Y),mark(Z)))a____(X,nil)mark(X)a____(nil,X)mark(X)a__and(tt,X)mark(X)a__isList(V)a__isNeList(V)a__isList(nil)tta__isList(__(V1,V2))a__and(a__isList(V1),isList(V2))a__isNeList(V)a__isQid(V)a__isNeList(__(V1,V2))a__and(a__isList(V1),isNeList(V2))a__isNeList(__(V1,V2))a__and(a__isNeList(V1),isList(V2))a__isNePal(V)a__isQid(V)a__isNePal(__(I,__(P,I)))a__and(a__isQid(I),isPal(P))a__isPal(V)a__isNePal(V)a__isPal(nil)tta__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(and(X1,X2))a__and(mark(X1),X2)mark(isList(X))a__isList(X)mark(isNeList(X))a__isNeList(X)mark(isQid(X))a__isQid(X)mark(isNePal(X))a__isNePal(X)mark(isPal(X))a__isPal(X)mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__and(X1,X2)and(X1,X2)a__isList(X)isList(X)a__isNeList(X)isNeList(X)a__isQid(X)isQid(X)a__isNePal(X)isNePal(X)a__isPal(X)isPal(X)Marked_a____(__(X,Y),Z)Marked_a____(mark(X),a____(mark(Y),mark(Z)))Marked_mark(and(X1,X2))Marked_mark(X1)a____(__(X,Y),Z)a____(mark(X),a____(mark(Y),mark(Z)))a____(X,nil)mark(X)a____(nil,X)mark(X)a__and(tt,X)mark(X)a__isList(V)a__isNeList(V)a__isList(nil)tta__isList(__(V1,V2))a__and(a__isList(V1),isList(V2))a__isNeList(V)a__isQid(V)a__isNeList(__(V1,V2))a__and(a__isList(V1),isNeList(V2))a__isNeList(__(V1,V2))a__and(a__isNeList(V1),isList(V2))a__isNePal(V)a__isQid(V)a__isNePal(__(I,__(P,I)))a__and(a__isQid(I),isPal(P))a__isPal(V)a__isNePal(V)a__isPal(nil)tta__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(and(X1,X2))a__and(mark(X1),X2)mark(isList(X))a__isList(X)mark(isNeList(X))a__isNeList(X)mark(isQid(X))a__isQid(X)mark(isNePal(X))a__isNePal(X)mark(isPal(X))a__isPal(X)mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__and(X1,X2)and(X1,X2)a__isList(X)isList(X)a__isNeList(X)isNeList(X)a__isQid(X)isQid(X)a__isNePal(X)isNePal(X)a__isPal(X)isPal(X)Marked_a____(__(X,Y),Z)Marked_a____(mark(X),a____(mark(Y),mark(Z)))a____1110i0isList0a__and10isQid0isPal0Marked_a____10__1110u0isNeList0a__isNeList0a0mark10o0a__isQid0tt0isNePal0a__isPal0nil0and10a__isNePal0a__isList0e0a____(__(X,Y),Z)a____(mark(X),a____(mark(Y),mark(Z)))a____(X,nil)mark(X)a____(nil,X)mark(X)a__and(tt,X)mark(X)a__isList(V)a__isNeList(V)a__isList(nil)tta__isList(__(V1,V2))a__and(a__isList(V1),isList(V2))a__isNeList(V)a__isQid(V)a__isNeList(__(V1,V2))a__and(a__isList(V1),isNeList(V2))a__isNeList(__(V1,V2))a__and(a__isNeList(V1),isList(V2))a__isNePal(V)a__isQid(V)a__isNePal(__(I,__(P,I)))a__and(a__isQid(I),isPal(P))a__isPal(V)a__isNePal(V)a__isPal(nil)tta__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(and(X1,X2))a__and(mark(X1),X2)mark(isList(X))a__isList(X)mark(isNeList(X))a__isNeList(X)mark(isQid(X))a__isQid(X)mark(isNePal(X))a__isNePal(X)mark(isPal(X))a__isPal(X)mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__and(X1,X2)and(X1,X2)a__isList(X)isList(X)a__isNeList(X)isNeList(X)a__isQid(X)isQid(X)a__isNePal(X)isNePal(X)a__isPal(X)isPal(X)Marked_mark(and(X1,X2))Marked_mark(X1)Marked_mark1Marked_mark(and(X1,X2))Marked_mark(X1)a____(__(X,Y),Z)a____(mark(X),a____(mark(Y),mark(Z)))a____(X,nil)mark(X)a____(nil,X)mark(X)a__and(tt,X)mark(X)a__isList(V)a__isNeList(V)a__isList(nil)tta__isList(__(V1,V2))a__and(a__isList(V1),isList(V2))a__isNeList(V)a__isQid(V)a__isNeList(__(V1,V2))a__and(a__isList(V1),isNeList(V2))a__isNeList(__(V1,V2))a__and(a__isNeList(V1),isList(V2))a__isNePal(V)a__isQid(V)a__isNePal(__(I,__(P,I)))a__and(a__isQid(I),isPal(P))a__isPal(V)a__isNePal(V)a__isPal(nil)tta__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(and(X1,X2))a__and(mark(X1),X2)mark(isList(X))a__isList(X)mark(isNeList(X))a__isNeList(X)mark(isQid(X))a__isQid(X)mark(isNePal(X))a__isNePal(X)mark(isPal(X))a__isPal(X)mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__and(X1,X2)and(X1,X2)a__isList(X)isList(X)a__isNeList(X)isNeList(X)a__isQid(X)isQid(X)a__isNePal(X)isNePal(X)a__isPal(X)isPal(X)a____(__(X,Y),Z)a____(mark(X),a____(mark(Y),mark(Z)))a____(X,nil)mark(X)a____(nil,X)mark(X)a__and(tt,X)mark(X)a__isList(V)a__isNeList(V)a__isList(nil)tta__isList(__(V1,V2))a__and(a__isList(V1),isList(V2))a__isNeList(V)a__isQid(V)a__isNeList(__(V1,V2))a__and(a__isList(V1),isNeList(V2))a__isNeList(__(V1,V2))a__and(a__isNeList(V1),isList(V2))a__isNePal(V)a__isQid(V)a__isNePal(__(I,__(P,I)))a__and(a__isQid(I),isPal(P))a__isPal(V)a__isNePal(V)a__isPal(nil)tta__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(and(X1,X2))a__and(mark(X1),X2)mark(isList(X))a__isList(X)mark(isNeList(X))a__isNeList(X)mark(isQid(X))a__isQid(X)mark(isNePal(X))a__isNePal(X)mark(isPal(X))a__isPal(X)mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__and(X1,X2)and(X1,X2)a__isList(X)isList(X)a__isNeList(X)isNeList(X)a__isQid(X)isQid(X)a__isNePal(X)isNePal(X)a__isPal(X)isPal(X)Marked_a__isList(V)Marked_a__isNeList(V)Marked_a__isList(__(V1,V2))Marked_a__isList(V1)Marked_a__isNeList(__(V1,V2))Marked_a__isList(V1)Marked_a__isNeList(__(V1,V2))Marked_a__isNeList(V1)Marked_a__isNeList1Marked_a__isList1Marked_a__isNeList(__(V1,V2))Marked_a__isNeList(V1)Marked_a__isNeList(__(V1,V2))Marked_a__isList(V1)Marked_a__isList(__(V1,V2))Marked_a__isList(V1)a____(__(X,Y),Z)a____(mark(X),a____(mark(Y),mark(Z)))a____(X,nil)mark(X)a____(nil,X)mark(X)a__and(tt,X)mark(X)a__isList(V)a__isNeList(V)a__isList(nil)tta__isList(__(V1,V2))a__and(a__isList(V1),isList(V2))a__isNeList(V)a__isQid(V)a__isNeList(__(V1,V2))a__and(a__isList(V1),isNeList(V2))a__isNeList(__(V1,V2))a__and(a__isNeList(V1),isList(V2))a__isNePal(V)a__isQid(V)a__isNePal(__(I,__(P,I)))a__and(a__isQid(I),isPal(P))a__isPal(V)a__isNePal(V)a__isPal(nil)tta__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(and(X1,X2))a__and(mark(X1),X2)mark(isList(X))a__isList(X)mark(isNeList(X))a__isNeList(X)mark(isQid(X))a__isQid(X)mark(isNePal(X))a__isNePal(X)mark(isPal(X))a__isPal(X)mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__and(X1,X2)and(X1,X2)a__isList(X)isList(X)a__isNeList(X)isNeList(X)a__isQid(X)isQid(X)a__isNePal(X)isNePal(X)a__isPal(X)isPal(X)Marked_a__isList(V)Marked_a__isNeList(V)