Marked_a__U24U26Marked_a__U91a__U55Marked_a__U53aU56a__isListMarked_a__U41U13U74a__U43Marked_a__U72a__isPalU44Marked_a__U11ttMarked_a__U31U23isNePala__U52Marked_a__U61a__U83U52a__U21Marked_a__U45uU71a__U33Marked_a__U81a__U63isQidMarked_a__isNeListnilMarked_a__isListU25U92a__U53Marked_a__U55a__U92U54a__U24Marked_a__U43U12U73a__U42Marked_a__isPala__U71U42Marked_a__isPalListKinda__isPalListKindMarked_a__U33U21U82a__U45Marked_a__U63a__U82U46Marked_marka__isNeListMarked_a__U51iU62a__U32Marked_a__U83a__U62U32Marked_a__U22markMarked_a__U25isListMarked_a__U92a__U54Marked_a__U54a__U91U55a__U25Marked_a__U42isPalListKindisPala__U41Marked_a__U73a__U73U43Marked_a__U12a__U11Marked_a__U32U22U83a__U46Marked_a__U62a__U81U51a__U22Marked_a__U46oU63a__U31Marked_a__U82a__U61U33Marked_a__U21__Marked_a__U26U24U91a__U51Marked_a__U56a__isNePalU53a__U23Marked_a__U44U11U72a__isQidMarked_a__U74a__U72U41Marked_a__U13a__U12Marked_a__isQidisNeListU81a__U44Marked_a__U71a__U74U45Marked_a____a__U13Marked_a__U52eU61a__U26Marked_a__isNePala__U56U31Marked_a__U23a____X3X2X1PIV2V1VZYXa____(__(X,Y),Z)a____(mark(X),a____(mark(Y),mark(Z)))a____(X,nil)mark(X)a____(nil,X)mark(X)a__U11(tt,V)a__U12(a__isPalListKind(V),V)a__U12(tt,V)a__U13(a__isNeList(V))a__U13(tt)tta__U21(tt,V1,V2)a__U22(a__isPalListKind(V1),V1,V2)a__U22(tt,V1,V2)a__U23(a__isPalListKind(V2),V1,V2)a__U23(tt,V1,V2)a__U24(a__isPalListKind(V2),V1,V2)a__U24(tt,V1,V2)a__U25(a__isList(V1),V2)a__U25(tt,V2)a__U26(a__isList(V2))a__U26(tt)tta__U31(tt,V)a__U32(a__isPalListKind(V),V)a__U32(tt,V)a__U33(a__isQid(V))a__U33(tt)tta__U41(tt,V1,V2)a__U42(a__isPalListKind(V1),V1,V2)a__U42(tt,V1,V2)a__U43(a__isPalListKind(V2),V1,V2)a__U43(tt,V1,V2)a__U44(a__isPalListKind(V2),V1,V2)a__U44(tt,V1,V2)a__U45(a__isList(V1),V2)a__U45(tt,V2)a__U46(a__isNeList(V2))a__U46(tt)tta__U51(tt,V1,V2)a__U52(a__isPalListKind(V1),V1,V2)a__U52(tt,V1,V2)a__U53(a__isPalListKind(V2),V1,V2)a__U53(tt,V1,V2)a__U54(a__isPalListKind(V2),V1,V2)a__U54(tt,V1,V2)a__U55(a__isNeList(V1),V2)a__U55(tt,V2)a__U56(a__isList(V2))a__U56(tt)tta__U61(tt,V)a__U62(a__isPalListKind(V),V)a__U62(tt,V)a__U63(a__isQid(V))a__U63(tt)tta__U71(tt,I,P)a__U72(a__isPalListKind(I),P)a__U72(tt,P)a__U73(a__isPal(P),P)a__U73(tt,P)a__U74(a__isPalListKind(P))a__U74(tt)tta__U81(tt,V)a__U82(a__isPalListKind(V),V)a__U82(tt,V)a__U83(a__isNePal(V))a__U83(tt)tta__U91(tt,V2)a__U92(a__isPalListKind(V2))a__U92(tt)tta__isList(V)a__U11(a__isPalListKind(V),V)a__isList(nil)tta__isList(__(V1,V2))a__U21(a__isPalListKind(V1),V1,V2)a__isNeList(V)a__U31(a__isPalListKind(V),V)a__isNeList(__(V1,V2))a__U41(a__isPalListKind(V1),V1,V2)a__isNeList(__(V1,V2))a__U51(a__isPalListKind(V1),V1,V2)a__isNePal(V)a__U61(a__isPalListKind(V),V)a__isNePal(__(I,__(P,I)))a__U71(a__isQid(I),I,P)a__isPal(V)a__U81(a__isPalListKind(V),V)a__isPal(nil)tta__isPalListKind(a)tta__isPalListKind(e)tta__isPalListKind(i)tta__isPalListKind(nil)tta__isPalListKind(o)tta__isPalListKind(u)tta__isPalListKind(__(V1,V2))a__U91(a__isPalListKind(V1),V2)a__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(U11(X1,X2))a__U11(mark(X1),X2)mark(U12(X1,X2))a__U12(mark(X1),X2)mark(isPalListKind(X))a__isPalListKind(X)mark(U13(X))a__U13(mark(X))mark(isNeList(X))a__isNeList(X)mark(U21(X1,X2,X3))a__U21(mark(X1),X2,X3)mark(U22(X1,X2,X3))a__U22(mark(X1),X2,X3)mark(U23(X1,X2,X3))a__U23(mark(X1),X2,X3)mark(U24(X1,X2,X3))a__U24(mark(X1),X2,X3)mark(U25(X1,X2))a__U25(mark(X1),X2)mark(isList(X))a__isList(X)mark(U26(X))a__U26(mark(X))mark(U31(X1,X2))a__U31(mark(X1),X2)mark(U32(X1,X2))a__U32(mark(X1),X2)mark(U33(X))a__U33(mark(X))mark(isQid(X))a__isQid(X)mark(U41(X1,X2,X3))a__U41(mark(X1),X2,X3)mark(U42(X1,X2,X3))a__U42(mark(X1),X2,X3)mark(U43(X1,X2,X3))a__U43(mark(X1),X2,X3)mark(U44(X1,X2,X3))a__U44(mark(X1),X2,X3)mark(U45(X1,X2))a__U45(mark(X1),X2)mark(U46(X))a__U46(mark(X))mark(U51(X1,X2,X3))a__U51(mark(X1),X2,X3)mark(U52(X1,X2,X3))a__U52(mark(X1),X2,X3)mark(U53(X1,X2,X3))a__U53(mark(X1),X2,X3)mark(U54(X1,X2,X3))a__U54(mark(X1),X2,X3)mark(U55(X1,X2))a__U55(mark(X1),X2)mark(U56(X))a__U56(mark(X))mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X1,X2))a__U62(mark(X1),X2)mark(U63(X))a__U63(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(U73(X1,X2))a__U73(mark(X1),X2)mark(isPal(X))a__isPal(X)mark(U74(X))a__U74(mark(X))mark(U81(X1,X2))a__U81(mark(X1),X2)mark(U82(X1,X2))a__U82(mark(X1),X2)mark(U83(X))a__U83(mark(X))mark(isNePal(X))a__isNePal(X)mark(U91(X1,X2))a__U91(mark(X1),X2)mark(U92(X))a__U92(mark(X))mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__U11(X1,X2)U11(X1,X2)a__U12(X1,X2)U12(X1,X2)a__isPalListKind(X)isPalListKind(X)a__U13(X)U13(X)a__isNeList(X)isNeList(X)a__U21(X1,X2,X3)U21(X1,X2,X3)a__U22(X1,X2,X3)U22(X1,X2,X3)a__U23(X1,X2,X3)U23(X1,X2,X3)a__U24(X1,X2,X3)U24(X1,X2,X3)a__U25(X1,X2)U25(X1,X2)a__isList(X)isList(X)a__U26(X)U26(X)a__U31(X1,X2)U31(X1,X2)a__U32(X1,X2)U32(X1,X2)a__U33(X)U33(X)a__isQid(X)isQid(X)a__U41(X1,X2,X3)U41(X1,X2,X3)a__U42(X1,X2,X3)U42(X1,X2,X3)a__U43(X1,X2,X3)U43(X1,X2,X3)a__U44(X1,X2,X3)U44(X1,X2,X3)a__U45(X1,X2)U45(X1,X2)a__U46(X)U46(X)a__U51(X1,X2,X3)U51(X1,X2,X3)a__U52(X1,X2,X3)U52(X1,X2,X3)a__U53(X1,X2,X3)U53(X1,X2,X3)a__U54(X1,X2,X3)U54(X1,X2,X3)a__U55(X1,X2)U55(X1,X2)a__U56(X)U56(X)a__U61(X1,X2)U61(X1,X2)a__U62(X1,X2)U62(X1,X2)a__U63(X)U63(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__U73(X1,X2)U73(X1,X2)a__isPal(X)isPal(X)a__U74(X)U74(X)a__U81(X1,X2)U81(X1,X2)a__U82(X1,X2)U82(X1,X2)a__U83(X)U83(X)a__isNePal(X)isNePal(X)a__U91(X1,X2)U91(X1,X2)a__U92(X)U92(X)a____(__(X,Y),Z)a____(mark(X),a____(mark(Y),mark(Z)))a____(X,nil)mark(X)a____(nil,X)mark(X)a__U11(tt,V)a__U12(a__isPalListKind(V),V)a__U12(tt,V)a__U13(a__isNeList(V))a__U13(tt)tta__U21(tt,V1,V2)a__U22(a__isPalListKind(V1),V1,V2)a__U22(tt,V1,V2)a__U23(a__isPalListKind(V2),V1,V2)a__U23(tt,V1,V2)a__U24(a__isPalListKind(V2),V1,V2)a__U24(tt,V1,V2)a__U25(a__isList(V1),V2)a__U25(tt,V2)a__U26(a__isList(V2))a__U26(tt)tta__U31(tt,V)a__U32(a__isPalListKind(V),V)a__U32(tt,V)a__U33(a__isQid(V))a__U33(tt)tta__U41(tt,V1,V2)a__U42(a__isPalListKind(V1),V1,V2)a__U42(tt,V1,V2)a__U43(a__isPalListKind(V2),V1,V2)a__U43(tt,V1,V2)a__U44(a__isPalListKind(V2),V1,V2)a__U44(tt,V1,V2)a__U45(a__isList(V1),V2)a__U45(tt,V2)a__U46(a__isNeList(V2))a__U46(tt)tta__U51(tt,V1,V2)a__U52(a__isPalListKind(V1),V1,V2)a__U52(tt,V1,V2)a__U53(a__isPalListKind(V2),V1,V2)a__U53(tt,V1,V2)a__U54(a__isPalListKind(V2),V1,V2)a__U54(tt,V1,V2)a__U55(a__isNeList(V1),V2)a__U55(tt,V2)a__U56(a__isList(V2))a__U56(tt)tta__U61(tt,V)a__U62(a__isPalListKind(V),V)a__U62(tt,V)a__U63(a__isQid(V))a__U63(tt)tta__U71(tt,I,P)a__U72(a__isPalListKind(I),P)a__U72(tt,P)a__U73(a__isPal(P),P)a__U73(tt,P)a__U74(a__isPalListKind(P))a__U74(tt)tta__U81(tt,V)a__U82(a__isPalListKind(V),V)a__U82(tt,V)a__U83(a__isNePal(V))a__U83(tt)tta__U91(tt,V2)a__U92(a__isPalListKind(V2))a__U92(tt)tta__isList(V)a__U11(a__isPalListKind(V),V)a__isList(nil)tta__isList(__(V1,V2))a__U21(a__isPalListKind(V1),V1,V2)a__isNeList(V)a__U31(a__isPalListKind(V),V)a__isNeList(__(V1,V2))a__U41(a__isPalListKind(V1),V1,V2)a__isNeList(__(V1,V2))a__U51(a__isPalListKind(V1),V1,V2)a__isNePal(V)a__U61(a__isPalListKind(V),V)a__isNePal(__(I,__(P,I)))a__U71(a__isQid(I),I,P)a__isPal(V)a__U81(a__isPalListKind(V),V)a__isPal(nil)tta__isPalListKind(a)tta__isPalListKind(e)tta__isPalListKind(i)tta__isPalListKind(nil)tta__isPalListKind(o)tta__isPalListKind(u)tta__isPalListKind(__(V1,V2))a__U91(a__isPalListKind(V1),V2)a__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(U11(X1,X2))a__U11(mark(X1),X2)mark(U12(X1,X2))a__U12(mark(X1),X2)mark(isPalListKind(X))a__isPalListKind(X)mark(U13(X))a__U13(mark(X))mark(isNeList(X))a__isNeList(X)mark(U21(X1,X2,X3))a__U21(mark(X1),X2,X3)mark(U22(X1,X2,X3))a__U22(mark(X1),X2,X3)mark(U23(X1,X2,X3))a__U23(mark(X1),X2,X3)mark(U24(X1,X2,X3))a__U24(mark(X1),X2,X3)mark(U25(X1,X2))a__U25(mark(X1),X2)mark(isList(X))a__isList(X)mark(U26(X))a__U26(mark(X))mark(U31(X1,X2))a__U31(mark(X1),X2)mark(U32(X1,X2))a__U32(mark(X1),X2)mark(U33(X))a__U33(mark(X))mark(isQid(X))a__isQid(X)mark(U41(X1,X2,X3))a__U41(mark(X1),X2,X3)mark(U42(X1,X2,X3))a__U42(mark(X1),X2,X3)mark(U43(X1,X2,X3))a__U43(mark(X1),X2,X3)mark(U44(X1,X2,X3))a__U44(mark(X1),X2,X3)mark(U45(X1,X2))a__U45(mark(X1),X2)mark(U46(X))a__U46(mark(X))mark(U51(X1,X2,X3))a__U51(mark(X1),X2,X3)mark(U52(X1,X2,X3))a__U52(mark(X1),X2,X3)mark(U53(X1,X2,X3))a__U53(mark(X1),X2,X3)mark(U54(X1,X2,X3))a__U54(mark(X1),X2,X3)mark(U55(X1,X2))a__U55(mark(X1),X2)mark(U56(X))a__U56(mark(X))mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X1,X2))a__U62(mark(X1),X2)mark(U63(X))a__U63(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(U73(X1,X2))a__U73(mark(X1),X2)mark(isPal(X))a__isPal(X)mark(U74(X))a__U74(mark(X))mark(U81(X1,X2))a__U81(mark(X1),X2)mark(U82(X1,X2))a__U82(mark(X1),X2)mark(U83(X))a__U83(mark(X))mark(isNePal(X))a__isNePal(X)mark(U91(X1,X2))a__U91(mark(X1),X2)mark(U92(X))a__U92(mark(X))mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__U11(X1,X2)U11(X1,X2)a__U12(X1,X2)U12(X1,X2)a__isPalListKind(X)isPalListKind(X)a__U13(X)U13(X)a__isNeList(X)isNeList(X)a__U21(X1,X2,X3)U21(X1,X2,X3)a__U22(X1,X2,X3)U22(X1,X2,X3)a__U23(X1,X2,X3)U23(X1,X2,X3)a__U24(X1,X2,X3)U24(X1,X2,X3)a__U25(X1,X2)U25(X1,X2)a__isList(X)isList(X)a__U26(X)U26(X)a__U31(X1,X2)U31(X1,X2)a__U32(X1,X2)U32(X1,X2)a__U33(X)U33(X)a__isQid(X)isQid(X)a__U41(X1,X2,X3)U41(X1,X2,X3)a__U42(X1,X2,X3)U42(X1,X2,X3)a__U43(X1,X2,X3)U43(X1,X2,X3)a__U44(X1,X2,X3)U44(X1,X2,X3)a__U45(X1,X2)U45(X1,X2)a__U46(X)U46(X)a__U51(X1,X2,X3)U51(X1,X2,X3)a__U52(X1,X2,X3)U52(X1,X2,X3)a__U53(X1,X2,X3)U53(X1,X2,X3)a__U54(X1,X2,X3)U54(X1,X2,X3)a__U55(X1,X2)U55(X1,X2)a__U56(X)U56(X)a__U61(X1,X2)U61(X1,X2)a__U62(X1,X2)U62(X1,X2)a__U63(X)U63(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__U73(X1,X2)U73(X1,X2)a__isPal(X)isPal(X)a__U74(X)U74(X)a__U81(X1,X2)U81(X1,X2)a__U82(X1,X2)U82(X1,X2)a__U83(X)U83(X)a__isNePal(X)isNePal(X)a__U91(X1,X2)U91(X1,X2)a__U92(X)U92(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__U11(tt,V)Marked_a__U12(a__isPalListKind(V),V)Marked_a__U11(tt,V)Marked_a__isPalListKind(V)Marked_a__U12(tt,V)Marked_a__U13(a__isNeList(V))Marked_a__U12(tt,V)Marked_a__isNeList(V)Marked_a__U21(tt,V1,V2)Marked_a__U22(a__isPalListKind(V1),V1,V2)Marked_a__U21(tt,V1,V2)Marked_a__isPalListKind(V1)Marked_a__U22(tt,V1,V2)Marked_a__U23(a__isPalListKind(V2),V1,V2)Marked_a__U22(tt,V1,V2)Marked_a__isPalListKind(V2)Marked_a__U23(tt,V1,V2)Marked_a__U24(a__isPalListKind(V2),V1,V2)Marked_a__U23(tt,V1,V2)Marked_a__isPalListKind(V2)Marked_a__U24(tt,V1,V2)Marked_a__U25(a__isList(V1),V2)Marked_a__U24(tt,V1,V2)Marked_a__isList(V1)Marked_a__U25(tt,V2)Marked_a__U26(a__isList(V2))Marked_a__U25(tt,V2)Marked_a__isList(V2)Marked_a__U31(tt,V)Marked_a__U32(a__isPalListKind(V),V)Marked_a__U31(tt,V)Marked_a__isPalListKind(V)Marked_a__U32(tt,V)Marked_a__U33(a__isQid(V))Marked_a__U32(tt,V)Marked_a__isQid(V)Marked_a__U41(tt,V1,V2)Marked_a__U42(a__isPalListKind(V1),V1,V2)Marked_a__U41(tt,V1,V2)Marked_a__isPalListKind(V1)Marked_a__U42(tt,V1,V2)Marked_a__U43(a__isPalListKind(V2),V1,V2)Marked_a__U42(tt,V1,V2)Marked_a__isPalListKind(V2)Marked_a__U43(tt,V1,V2)Marked_a__U44(a__isPalListKind(V2),V1,V2)Marked_a__U43(tt,V1,V2)Marked_a__isPalListKind(V2)Marked_a__U44(tt,V1,V2)Marked_a__U45(a__isList(V1),V2)Marked_a__U44(tt,V1,V2)Marked_a__isList(V1)Marked_a__U45(tt,V2)Marked_a__U46(a__isNeList(V2))Marked_a__U45(tt,V2)Marked_a__isNeList(V2)Marked_a__U51(tt,V1,V2)Marked_a__U52(a__isPalListKind(V1),V1,V2)Marked_a__U51(tt,V1,V2)Marked_a__isPalListKind(V1)Marked_a__U52(tt,V1,V2)Marked_a__U53(a__isPalListKind(V2),V1,V2)Marked_a__U52(tt,V1,V2)Marked_a__isPalListKind(V2)Marked_a__U53(tt,V1,V2)Marked_a__U54(a__isPalListKind(V2),V1,V2)Marked_a__U53(tt,V1,V2)Marked_a__isPalListKind(V2)Marked_a__U54(tt,V1,V2)Marked_a__U55(a__isNeList(V1),V2)Marked_a__U54(tt,V1,V2)Marked_a__isNeList(V1)Marked_a__U55(tt,V2)Marked_a__U56(a__isList(V2))Marked_a__U55(tt,V2)Marked_a__isList(V2)Marked_a__U61(tt,V)Marked_a__U62(a__isPalListKind(V),V)Marked_a__U61(tt,V)Marked_a__isPalListKind(V)Marked_a__U62(tt,V)Marked_a__U63(a__isQid(V))Marked_a__U62(tt,V)Marked_a__isQid(V)Marked_a__U71(tt,I,P)Marked_a__U72(a__isPalListKind(I),P)Marked_a__U71(tt,I,P)Marked_a__isPalListKind(I)Marked_a__U72(tt,P)Marked_a__U73(a__isPal(P),P)Marked_a__U72(tt,P)Marked_a__isPal(P)Marked_a__U73(tt,P)Marked_a__U74(a__isPalListKind(P))Marked_a__U73(tt,P)Marked_a__isPalListKind(P)Marked_a__U81(tt,V)Marked_a__U82(a__isPalListKind(V),V)Marked_a__U81(tt,V)Marked_a__isPalListKind(V)Marked_a__U82(tt,V)Marked_a__U83(a__isNePal(V))Marked_a__U82(tt,V)Marked_a__isNePal(V)Marked_a__U91(tt,V2)Marked_a__U92(a__isPalListKind(V2))Marked_a__U91(tt,V2)Marked_a__isPalListKind(V2)Marked_a__isList(V)Marked_a__U11(a__isPalListKind(V),V)Marked_a__isList(V)Marked_a__isPalListKind(V)Marked_a__isList(__(V1,V2))Marked_a__U21(a__isPalListKind(V1),V1,V2)Marked_a__isList(__(V1,V2))Marked_a__isPalListKind(V1)Marked_a__isNeList(V)Marked_a__U31(a__isPalListKind(V),V)Marked_a__isNeList(V)Marked_a__isPalListKind(V)Marked_a__isNeList(__(V1,V2))Marked_a__U41(a__isPalListKind(V1),V1,V2)Marked_a__isNeList(__(V1,V2))Marked_a__isPalListKind(V1)Marked_a__isNeList(__(V1,V2))Marked_a__U51(a__isPalListKind(V1),V1,V2)Marked_a__isNeList(__(V1,V2))Marked_a__isPalListKind(V1)Marked_a__isNePal(V)Marked_a__U61(a__isPalListKind(V),V)Marked_a__isNePal(V)Marked_a__isPalListKind(V)Marked_a__isNePal(__(I,__(P,I)))Marked_a__U71(a__isQid(I),I,P)Marked_a__isNePal(__(I,__(P,I)))Marked_a__isQid(I)Marked_a__isPal(V)Marked_a__U81(a__isPalListKind(V),V)Marked_a__isPal(V)Marked_a__isPalListKind(V)Marked_a__isPalListKind(__(V1,V2))Marked_a__U91(a__isPalListKind(V1),V2)Marked_a__isPalListKind(__(V1,V2))Marked_a__isPalListKind(V1)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(U11(X1,X2))Marked_a__U11(mark(X1),X2)Marked_mark(U11(X1,X2))Marked_mark(X1)Marked_mark(U12(X1,X2))Marked_a__U12(mark(X1),X2)Marked_mark(U12(X1,X2))Marked_mark(X1)Marked_mark(isPalListKind(X))Marked_a__isPalListKind(X)Marked_mark(U13(X))Marked_a__U13(mark(X))Marked_mark(U13(X))Marked_mark(X)Marked_mark(isNeList(X))Marked_a__isNeList(X)Marked_mark(U21(X1,X2,X3))Marked_a__U21(mark(X1),X2,X3)Marked_mark(U21(X1,X2,X3))Marked_mark(X1)Marked_mark(U22(X1,X2,X3))Marked_a__U22(mark(X1),X2,X3)Marked_mark(U22(X1,X2,X3))Marked_mark(X1)Marked_mark(U23(X1,X2,X3))Marked_a__U23(mark(X1),X2,X3)Marked_mark(U23(X1,X2,X3))Marked_mark(X1)Marked_mark(U24(X1,X2,X3))Marked_a__U24(mark(X1),X2,X3)Marked_mark(U24(X1,X2,X3))Marked_mark(X1)Marked_mark(U25(X1,X2))Marked_a__U25(mark(X1),X2)Marked_mark(U25(X1,X2))Marked_mark(X1)Marked_mark(isList(X))Marked_a__isList(X)Marked_mark(U26(X))Marked_a__U26(mark(X))Marked_mark(U26(X))Marked_mark(X)Marked_mark(U31(X1,X2))Marked_a__U31(mark(X1),X2)Marked_mark(U31(X1,X2))Marked_mark(X1)Marked_mark(U32(X1,X2))Marked_a__U32(mark(X1),X2)Marked_mark(U32(X1,X2))Marked_mark(X1)Marked_mark(U33(X))Marked_a__U33(mark(X))Marked_mark(U33(X))Marked_mark(X)Marked_mark(isQid(X))Marked_a__isQid(X)Marked_mark(U41(X1,X2,X3))Marked_a__U41(mark(X1),X2,X3)Marked_mark(U41(X1,X2,X3))Marked_mark(X1)Marked_mark(U42(X1,X2,X3))Marked_a__U42(mark(X1),X2,X3)Marked_mark(U42(X1,X2,X3))Marked_mark(X1)Marked_mark(U43(X1,X2,X3))Marked_a__U43(mark(X1),X2,X3)Marked_mark(U43(X1,X2,X3))Marked_mark(X1)Marked_mark(U44(X1,X2,X3))Marked_a__U44(mark(X1),X2,X3)Marked_mark(U44(X1,X2,X3))Marked_mark(X1)Marked_mark(U45(X1,X2))Marked_a__U45(mark(X1),X2)Marked_mark(U45(X1,X2))Marked_mark(X1)Marked_mark(U46(X))Marked_a__U46(mark(X))Marked_mark(U46(X))Marked_mark(X)Marked_mark(U51(X1,X2,X3))Marked_a__U51(mark(X1),X2,X3)Marked_mark(U51(X1,X2,X3))Marked_mark(X1)Marked_mark(U52(X1,X2,X3))Marked_a__U52(mark(X1),X2,X3)Marked_mark(U52(X1,X2,X3))Marked_mark(X1)Marked_mark(U53(X1,X2,X3))Marked_a__U53(mark(X1),X2,X3)Marked_mark(U53(X1,X2,X3))Marked_mark(X1)Marked_mark(U54(X1,X2,X3))Marked_a__U54(mark(X1),X2,X3)Marked_mark(U54(X1,X2,X3))Marked_mark(X1)Marked_mark(U55(X1,X2))Marked_a__U55(mark(X1),X2)Marked_mark(U55(X1,X2))Marked_mark(X1)Marked_mark(U56(X))Marked_a__U56(mark(X))Marked_mark(U56(X))Marked_mark(X)Marked_mark(U61(X1,X2))Marked_a__U61(mark(X1),X2)Marked_mark(U61(X1,X2))Marked_mark(X1)Marked_mark(U62(X1,X2))Marked_a__U62(mark(X1),X2)Marked_mark(U62(X1,X2))Marked_mark(X1)Marked_mark(U63(X))Marked_a__U63(mark(X))Marked_mark(U63(X))Marked_mark(X)Marked_mark(U71(X1,X2,X3))Marked_a__U71(mark(X1),X2,X3)Marked_mark(U71(X1,X2,X3))Marked_mark(X1)Marked_mark(U72(X1,X2))Marked_a__U72(mark(X1),X2)Marked_mark(U72(X1,X2))Marked_mark(X1)Marked_mark(U73(X1,X2))Marked_a__U73(mark(X1),X2)Marked_mark(U73(X1,X2))Marked_mark(X1)Marked_mark(isPal(X))Marked_a__isPal(X)Marked_mark(U74(X))Marked_a__U74(mark(X))Marked_mark(U74(X))Marked_mark(X)Marked_mark(U81(X1,X2))Marked_a__U81(mark(X1),X2)Marked_mark(U81(X1,X2))Marked_mark(X1)Marked_mark(U82(X1,X2))Marked_a__U82(mark(X1),X2)Marked_mark(U82(X1,X2))Marked_mark(X1)Marked_mark(U83(X))Marked_a__U83(mark(X))Marked_mark(U83(X))Marked_mark(X)Marked_mark(isNePal(X))Marked_a__isNePal(X)Marked_mark(U91(X1,X2))Marked_a__U91(mark(X1),X2)Marked_mark(U91(X1,X2))Marked_mark(X1)Marked_mark(U92(X))Marked_a__U92(mark(X))Marked_mark(U92(X))Marked_mark(X)a____(__(X,Y),Z)a____(mark(X),a____(mark(Y),mark(Z)))a____(X,nil)mark(X)a____(nil,X)mark(X)a__U11(tt,V)a__U12(a__isPalListKind(V),V)a__U12(tt,V)a__U13(a__isNeList(V))a__U13(tt)tta__U21(tt,V1,V2)a__U22(a__isPalListKind(V1),V1,V2)a__U22(tt,V1,V2)a__U23(a__isPalListKind(V2),V1,V2)a__U23(tt,V1,V2)a__U24(a__isPalListKind(V2),V1,V2)a__U24(tt,V1,V2)a__U25(a__isList(V1),V2)a__U25(tt,V2)a__U26(a__isList(V2))a__U26(tt)tta__U31(tt,V)a__U32(a__isPalListKind(V),V)a__U32(tt,V)a__U33(a__isQid(V))a__U33(tt)tta__U41(tt,V1,V2)a__U42(a__isPalListKind(V1),V1,V2)a__U42(tt,V1,V2)a__U43(a__isPalListKind(V2),V1,V2)a__U43(tt,V1,V2)a__U44(a__isPalListKind(V2),V1,V2)a__U44(tt,V1,V2)a__U45(a__isList(V1),V2)a__U45(tt,V2)a__U46(a__isNeList(V2))a__U46(tt)tta__U51(tt,V1,V2)a__U52(a__isPalListKind(V1),V1,V2)a__U52(tt,V1,V2)a__U53(a__isPalListKind(V2),V1,V2)a__U53(tt,V1,V2)a__U54(a__isPalListKind(V2),V1,V2)a__U54(tt,V1,V2)a__U55(a__isNeList(V1),V2)a__U55(tt,V2)a__U56(a__isList(V2))a__U56(tt)tta__U61(tt,V)a__U62(a__isPalListKind(V),V)a__U62(tt,V)a__U63(a__isQid(V))a__U63(tt)tta__U71(tt,I,P)a__U72(a__isPalListKind(I),P)a__U72(tt,P)a__U73(a__isPal(P),P)a__U73(tt,P)a__U74(a__isPalListKind(P))a__U74(tt)tta__U81(tt,V)a__U82(a__isPalListKind(V),V)a__U82(tt,V)a__U83(a__isNePal(V))a__U83(tt)tta__U91(tt,V2)a__U92(a__isPalListKind(V2))a__U92(tt)tta__isList(V)a__U11(a__isPalListKind(V),V)a__isList(nil)tta__isList(__(V1,V2))a__U21(a__isPalListKind(V1),V1,V2)a__isNeList(V)a__U31(a__isPalListKind(V),V)a__isNeList(__(V1,V2))a__U41(a__isPalListKind(V1),V1,V2)a__isNeList(__(V1,V2))a__U51(a__isPalListKind(V1),V1,V2)a__isNePal(V)a__U61(a__isPalListKind(V),V)a__isNePal(__(I,__(P,I)))a__U71(a__isQid(I),I,P)a__isPal(V)a__U81(a__isPalListKind(V),V)a__isPal(nil)tta__isPalListKind(a)tta__isPalListKind(e)tta__isPalListKind(i)tta__isPalListKind(nil)tta__isPalListKind(o)tta__isPalListKind(u)tta__isPalListKind(__(V1,V2))a__U91(a__isPalListKind(V1),V2)a__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(U11(X1,X2))a__U11(mark(X1),X2)mark(U12(X1,X2))a__U12(mark(X1),X2)mark(isPalListKind(X))a__isPalListKind(X)mark(U13(X))a__U13(mark(X))mark(isNeList(X))a__isNeList(X)mark(U21(X1,X2,X3))a__U21(mark(X1),X2,X3)mark(U22(X1,X2,X3))a__U22(mark(X1),X2,X3)mark(U23(X1,X2,X3))a__U23(mark(X1),X2,X3)mark(U24(X1,X2,X3))a__U24(mark(X1),X2,X3)mark(U25(X1,X2))a__U25(mark(X1),X2)mark(isList(X))a__isList(X)mark(U26(X))a__U26(mark(X))mark(U31(X1,X2))a__U31(mark(X1),X2)mark(U32(X1,X2))a__U32(mark(X1),X2)mark(U33(X))a__U33(mark(X))mark(isQid(X))a__isQid(X)mark(U41(X1,X2,X3))a__U41(mark(X1),X2,X3)mark(U42(X1,X2,X3))a__U42(mark(X1),X2,X3)mark(U43(X1,X2,X3))a__U43(mark(X1),X2,X3)mark(U44(X1,X2,X3))a__U44(mark(X1),X2,X3)mark(U45(X1,X2))a__U45(mark(X1),X2)mark(U46(X))a__U46(mark(X))mark(U51(X1,X2,X3))a__U51(mark(X1),X2,X3)mark(U52(X1,X2,X3))a__U52(mark(X1),X2,X3)mark(U53(X1,X2,X3))a__U53(mark(X1),X2,X3)mark(U54(X1,X2,X3))a__U54(mark(X1),X2,X3)mark(U55(X1,X2))a__U55(mark(X1),X2)mark(U56(X))a__U56(mark(X))mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X1,X2))a__U62(mark(X1),X2)mark(U63(X))a__U63(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(U73(X1,X2))a__U73(mark(X1),X2)mark(isPal(X))a__isPal(X)mark(U74(X))a__U74(mark(X))mark(U81(X1,X2))a__U81(mark(X1),X2)mark(U82(X1,X2))a__U82(mark(X1),X2)mark(U83(X))a__U83(mark(X))mark(isNePal(X))a__isNePal(X)mark(U91(X1,X2))a__U91(mark(X1),X2)mark(U92(X))a__U92(mark(X))mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__U11(X1,X2)U11(X1,X2)a__U12(X1,X2)U12(X1,X2)a__isPalListKind(X)isPalListKind(X)a__U13(X)U13(X)a__isNeList(X)isNeList(X)a__U21(X1,X2,X3)U21(X1,X2,X3)a__U22(X1,X2,X3)U22(X1,X2,X3)a__U23(X1,X2,X3)U23(X1,X2,X3)a__U24(X1,X2,X3)U24(X1,X2,X3)a__U25(X1,X2)U25(X1,X2)a__isList(X)isList(X)a__U26(X)U26(X)a__U31(X1,X2)U31(X1,X2)a__U32(X1,X2)U32(X1,X2)a__U33(X)U33(X)a__isQid(X)isQid(X)a__U41(X1,X2,X3)U41(X1,X2,X3)a__U42(X1,X2,X3)U42(X1,X2,X3)a__U43(X1,X2,X3)U43(X1,X2,X3)a__U44(X1,X2,X3)U44(X1,X2,X3)a__U45(X1,X2)U45(X1,X2)a__U46(X)U46(X)a__U51(X1,X2,X3)U51(X1,X2,X3)a__U52(X1,X2,X3)U52(X1,X2,X3)a__U53(X1,X2,X3)U53(X1,X2,X3)a__U54(X1,X2,X3)U54(X1,X2,X3)a__U55(X1,X2)U55(X1,X2)a__U56(X)U56(X)a__U61(X1,X2)U61(X1,X2)a__U62(X1,X2)U62(X1,X2)a__U63(X)U63(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__U73(X1,X2)U73(X1,X2)a__isPal(X)isPal(X)a__U74(X)U74(X)a__U81(X1,X2)U81(X1,X2)a__U82(X1,X2)U82(X1,X2)a__U83(X)U83(X)a__isNePal(X)isNePal(X)a__U91(X1,X2)U91(X1,X2)a__U92(X)U92(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_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(U11(X1,X2))Marked_mark(X1)Marked_mark(U12(X1,X2))Marked_mark(X1)Marked_mark(U13(X))Marked_mark(X)Marked_mark(U21(X1,X2,X3))Marked_mark(X1)Marked_mark(U22(X1,X2,X3))Marked_mark(X1)Marked_mark(U23(X1,X2,X3))Marked_mark(X1)Marked_mark(U24(X1,X2,X3))Marked_mark(X1)Marked_mark(U25(X1,X2))Marked_mark(X1)Marked_mark(U26(X))Marked_mark(X)Marked_mark(U31(X1,X2))Marked_mark(X1)Marked_mark(U32(X1,X2))Marked_mark(X1)Marked_mark(U33(X))Marked_mark(X)Marked_mark(U41(X1,X2,X3))Marked_mark(X1)Marked_mark(U42(X1,X2,X3))Marked_mark(X1)Marked_mark(U43(X1,X2,X3))Marked_mark(X1)Marked_mark(U44(X1,X2,X3))Marked_mark(X1)Marked_mark(U45(X1,X2))Marked_mark(X1)Marked_mark(U46(X))Marked_mark(X)Marked_mark(U51(X1,X2,X3))Marked_mark(X1)Marked_mark(U52(X1,X2,X3))Marked_mark(X1)Marked_mark(U53(X1,X2,X3))Marked_mark(X1)Marked_mark(U54(X1,X2,X3))Marked_mark(X1)Marked_mark(U55(X1,X2))Marked_mark(X1)Marked_mark(U56(X))Marked_mark(X)Marked_mark(U61(X1,X2))Marked_mark(X1)Marked_mark(U62(X1,X2))Marked_mark(X1)Marked_mark(U63(X))Marked_mark(X)Marked_mark(U71(X1,X2,X3))Marked_mark(X1)Marked_mark(U72(X1,X2))Marked_mark(X1)Marked_mark(U73(X1,X2))Marked_mark(X1)Marked_mark(U74(X))Marked_mark(X)Marked_mark(U81(X1,X2))Marked_mark(X1)Marked_mark(U82(X1,X2))Marked_mark(X1)Marked_mark(U83(X))Marked_mark(X)Marked_mark(U91(X1,X2))Marked_mark(X1)Marked_mark(U92(X))Marked_mark(X)a____110U3110a__U5620a__U2620U6120e0a__U1310Marked_a____220U4520a__U7410a__U4420U8110isNeList0a__U1210U4120a__U7210a__isQid0U7210U1120a__U2310U5310a__isNePal0a__U5120U9110U2410__110U3310a__U6120a__U3110U6310o0a__U2210U5120a__U8110a__U4610U8310U2210a__U1120U4320a__U7320a__U4120isPal0isPalListKind0a__U2510U5510a__U9110a__U5410isList0mark10U3210a__U6210a__U3210U6210i0a__isNeList0Marked_mark20U4610a__U8220a__U4520U8220U2120a__isPalListKind0U4210a__U7110a__U4210U7320U1210a__U2410U5410a__U9220a__U5310U9220U2510nil20isQid0a__U6310a__U3310U7110u0a__U2120U5210a__U8310a__U5210isNePal0U2310tt0U4420a__isPal0a__U4320U7410U1310a__isList0U5620a0a__U5510U2620Marked_a____(X,nil)Marked_mark(X)Marked_a____(nil,X)Marked_mark(X)a____(__(X,Y),Z)a____(mark(X),a____(mark(Y),mark(Z)))a____(X,nil)mark(X)a____(nil,X)mark(X)a__U11(tt,V)a__U12(a__isPalListKind(V),V)a__U12(tt,V)a__U13(a__isNeList(V))a__U13(tt)tta__U21(tt,V1,V2)a__U22(a__isPalListKind(V1),V1,V2)a__U22(tt,V1,V2)a__U23(a__isPalListKind(V2),V1,V2)a__U23(tt,V1,V2)a__U24(a__isPalListKind(V2),V1,V2)a__U24(tt,V1,V2)a__U25(a__isList(V1),V2)a__U25(tt,V2)a__U26(a__isList(V2))a__U26(tt)tta__U31(tt,V)a__U32(a__isPalListKind(V),V)a__U32(tt,V)a__U33(a__isQid(V))a__U33(tt)tta__U41(tt,V1,V2)a__U42(a__isPalListKind(V1),V1,V2)a__U42(tt,V1,V2)a__U43(a__isPalListKind(V2),V1,V2)a__U43(tt,V1,V2)a__U44(a__isPalListKind(V2),V1,V2)a__U44(tt,V1,V2)a__U45(a__isList(V1),V2)a__U45(tt,V2)a__U46(a__isNeList(V2))a__U46(tt)tta__U51(tt,V1,V2)a__U52(a__isPalListKind(V1),V1,V2)a__U52(tt,V1,V2)a__U53(a__isPalListKind(V2),V1,V2)a__U53(tt,V1,V2)a__U54(a__isPalListKind(V2),V1,V2)a__U54(tt,V1,V2)a__U55(a__isNeList(V1),V2)a__U55(tt,V2)a__U56(a__isList(V2))a__U56(tt)tta__U61(tt,V)a__U62(a__isPalListKind(V),V)a__U62(tt,V)a__U63(a__isQid(V))a__U63(tt)tta__U71(tt,I,P)a__U72(a__isPalListKind(I),P)a__U72(tt,P)a__U73(a__isPal(P),P)a__U73(tt,P)a__U74(a__isPalListKind(P))a__U74(tt)tta__U81(tt,V)a__U82(a__isPalListKind(V),V)a__U82(tt,V)a__U83(a__isNePal(V))a__U83(tt)tta__U91(tt,V2)a__U92(a__isPalListKind(V2))a__U92(tt)tta__isList(V)a__U11(a__isPalListKind(V),V)a__isList(nil)tta__isList(__(V1,V2))a__U21(a__isPalListKind(V1),V1,V2)a__isNeList(V)a__U31(a__isPalListKind(V),V)a__isNeList(__(V1,V2))a__U41(a__isPalListKind(V1),V1,V2)a__isNeList(__(V1,V2))a__U51(a__isPalListKind(V1),V1,V2)a__isNePal(V)a__U61(a__isPalListKind(V),V)a__isNePal(__(I,__(P,I)))a__U71(a__isQid(I),I,P)a__isPal(V)a__U81(a__isPalListKind(V),V)a__isPal(nil)tta__isPalListKind(a)tta__isPalListKind(e)tta__isPalListKind(i)tta__isPalListKind(nil)tta__isPalListKind(o)tta__isPalListKind(u)tta__isPalListKind(__(V1,V2))a__U91(a__isPalListKind(V1),V2)a__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(U11(X1,X2))a__U11(mark(X1),X2)mark(U12(X1,X2))a__U12(mark(X1),X2)mark(isPalListKind(X))a__isPalListKind(X)mark(U13(X))a__U13(mark(X))mark(isNeList(X))a__isNeList(X)mark(U21(X1,X2,X3))a__U21(mark(X1),X2,X3)mark(U22(X1,X2,X3))a__U22(mark(X1),X2,X3)mark(U23(X1,X2,X3))a__U23(mark(X1),X2,X3)mark(U24(X1,X2,X3))a__U24(mark(X1),X2,X3)mark(U25(X1,X2))a__U25(mark(X1),X2)mark(isList(X))a__isList(X)mark(U26(X))a__U26(mark(X))mark(U31(X1,X2))a__U31(mark(X1),X2)mark(U32(X1,X2))a__U32(mark(X1),X2)mark(U33(X))a__U33(mark(X))mark(isQid(X))a__isQid(X)mark(U41(X1,X2,X3))a__U41(mark(X1),X2,X3)mark(U42(X1,X2,X3))a__U42(mark(X1),X2,X3)mark(U43(X1,X2,X3))a__U43(mark(X1),X2,X3)mark(U44(X1,X2,X3))a__U44(mark(X1),X2,X3)mark(U45(X1,X2))a__U45(mark(X1),X2)mark(U46(X))a__U46(mark(X))mark(U51(X1,X2,X3))a__U51(mark(X1),X2,X3)mark(U52(X1,X2,X3))a__U52(mark(X1),X2,X3)mark(U53(X1,X2,X3))a__U53(mark(X1),X2,X3)mark(U54(X1,X2,X3))a__U54(mark(X1),X2,X3)mark(U55(X1,X2))a__U55(mark(X1),X2)mark(U56(X))a__U56(mark(X))mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X1,X2))a__U62(mark(X1),X2)mark(U63(X))a__U63(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(U73(X1,X2))a__U73(mark(X1),X2)mark(isPal(X))a__isPal(X)mark(U74(X))a__U74(mark(X))mark(U81(X1,X2))a__U81(mark(X1),X2)mark(U82(X1,X2))a__U82(mark(X1),X2)mark(U83(X))a__U83(mark(X))mark(isNePal(X))a__isNePal(X)mark(U91(X1,X2))a__U91(mark(X1),X2)mark(U92(X))a__U92(mark(X))mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__U11(X1,X2)U11(X1,X2)a__U12(X1,X2)U12(X1,X2)a__isPalListKind(X)isPalListKind(X)a__U13(X)U13(X)a__isNeList(X)isNeList(X)a__U21(X1,X2,X3)U21(X1,X2,X3)a__U22(X1,X2,X3)U22(X1,X2,X3)a__U23(X1,X2,X3)U23(X1,X2,X3)a__U24(X1,X2,X3)U24(X1,X2,X3)a__U25(X1,X2)U25(X1,X2)a__isList(X)isList(X)a__U26(X)U26(X)a__U31(X1,X2)U31(X1,X2)a__U32(X1,X2)U32(X1,X2)a__U33(X)U33(X)a__isQid(X)isQid(X)a__U41(X1,X2,X3)U41(X1,X2,X3)a__U42(X1,X2,X3)U42(X1,X2,X3)a__U43(X1,X2,X3)U43(X1,X2,X3)a__U44(X1,X2,X3)U44(X1,X2,X3)a__U45(X1,X2)U45(X1,X2)a__U46(X)U46(X)a__U51(X1,X2,X3)U51(X1,X2,X3)a__U52(X1,X2,X3)U52(X1,X2,X3)a__U53(X1,X2,X3)U53(X1,X2,X3)a__U54(X1,X2,X3)U54(X1,X2,X3)a__U55(X1,X2)U55(X1,X2)a__U56(X)U56(X)a__U61(X1,X2)U61(X1,X2)a__U62(X1,X2)U62(X1,X2)a__U63(X)U63(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__U73(X1,X2)U73(X1,X2)a__isPal(X)isPal(X)a__U74(X)U74(X)a__U81(X1,X2)U81(X1,X2)a__U82(X1,X2)U82(X1,X2)a__U83(X)U83(X)a__isNePal(X)isNePal(X)a__U91(X1,X2)U91(X1,X2)a__U92(X)U92(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(U11(X1,X2))Marked_mark(X1)Marked_mark(U12(X1,X2))Marked_mark(X1)Marked_mark(U13(X))Marked_mark(X)Marked_mark(U21(X1,X2,X3))Marked_mark(X1)Marked_mark(U22(X1,X2,X3))Marked_mark(X1)Marked_mark(U23(X1,X2,X3))Marked_mark(X1)Marked_mark(U24(X1,X2,X3))Marked_mark(X1)Marked_mark(U25(X1,X2))Marked_mark(X1)Marked_mark(U26(X))Marked_mark(X)Marked_mark(U31(X1,X2))Marked_mark(X1)Marked_mark(U32(X1,X2))Marked_mark(X1)Marked_mark(U33(X))Marked_mark(X)Marked_mark(U41(X1,X2,X3))Marked_mark(X1)Marked_mark(U42(X1,X2,X3))Marked_mark(X1)Marked_mark(U43(X1,X2,X3))Marked_mark(X1)Marked_mark(U44(X1,X2,X3))Marked_mark(X1)Marked_mark(U45(X1,X2))Marked_mark(X1)Marked_mark(U46(X))Marked_mark(X)Marked_mark(U51(X1,X2,X3))Marked_mark(X1)Marked_mark(U52(X1,X2,X3))Marked_mark(X1)Marked_mark(U53(X1,X2,X3))Marked_mark(X1)Marked_mark(U54(X1,X2,X3))Marked_mark(X1)Marked_mark(U55(X1,X2))Marked_mark(X1)Marked_mark(U56(X))Marked_mark(X)Marked_mark(U61(X1,X2))Marked_mark(X1)Marked_mark(U62(X1,X2))Marked_mark(X1)Marked_mark(U63(X))Marked_mark(X)Marked_mark(U71(X1,X2,X3))Marked_mark(X1)Marked_mark(U72(X1,X2))Marked_mark(X1)Marked_mark(U73(X1,X2))Marked_mark(X1)Marked_mark(U74(X))Marked_mark(X)Marked_mark(U81(X1,X2))Marked_mark(X1)Marked_mark(U82(X1,X2))Marked_mark(X1)Marked_mark(U83(X))Marked_mark(X)Marked_mark(U91(X1,X2))Marked_mark(X1)Marked_mark(U92(X))Marked_mark(X)a____(__(X,Y),Z)a____(mark(X),a____(mark(Y),mark(Z)))a____(X,nil)mark(X)a____(nil,X)mark(X)a__U11(tt,V)a__U12(a__isPalListKind(V),V)a__U12(tt,V)a__U13(a__isNeList(V))a__U13(tt)tta__U21(tt,V1,V2)a__U22(a__isPalListKind(V1),V1,V2)a__U22(tt,V1,V2)a__U23(a__isPalListKind(V2),V1,V2)a__U23(tt,V1,V2)a__U24(a__isPalListKind(V2),V1,V2)a__U24(tt,V1,V2)a__U25(a__isList(V1),V2)a__U25(tt,V2)a__U26(a__isList(V2))a__U26(tt)tta__U31(tt,V)a__U32(a__isPalListKind(V),V)a__U32(tt,V)a__U33(a__isQid(V))a__U33(tt)tta__U41(tt,V1,V2)a__U42(a__isPalListKind(V1),V1,V2)a__U42(tt,V1,V2)a__U43(a__isPalListKind(V2),V1,V2)a__U43(tt,V1,V2)a__U44(a__isPalListKind(V2),V1,V2)a__U44(tt,V1,V2)a__U45(a__isList(V1),V2)a__U45(tt,V2)a__U46(a__isNeList(V2))a__U46(tt)tta__U51(tt,V1,V2)a__U52(a__isPalListKind(V1),V1,V2)a__U52(tt,V1,V2)a__U53(a__isPalListKind(V2),V1,V2)a__U53(tt,V1,V2)a__U54(a__isPalListKind(V2),V1,V2)a__U54(tt,V1,V2)a__U55(a__isNeList(V1),V2)a__U55(tt,V2)a__U56(a__isList(V2))a__U56(tt)tta__U61(tt,V)a__U62(a__isPalListKind(V),V)a__U62(tt,V)a__U63(a__isQid(V))a__U63(tt)tta__U71(tt,I,P)a__U72(a__isPalListKind(I),P)a__U72(tt,P)a__U73(a__isPal(P),P)a__U73(tt,P)a__U74(a__isPalListKind(P))a__U74(tt)tta__U81(tt,V)a__U82(a__isPalListKind(V),V)a__U82(tt,V)a__U83(a__isNePal(V))a__U83(tt)tta__U91(tt,V2)a__U92(a__isPalListKind(V2))a__U92(tt)tta__isList(V)a__U11(a__isPalListKind(V),V)a__isList(nil)tta__isList(__(V1,V2))a__U21(a__isPalListKind(V1),V1,V2)a__isNeList(V)a__U31(a__isPalListKind(V),V)a__isNeList(__(V1,V2))a__U41(a__isPalListKind(V1),V1,V2)a__isNeList(__(V1,V2))a__U51(a__isPalListKind(V1),V1,V2)a__isNePal(V)a__U61(a__isPalListKind(V),V)a__isNePal(__(I,__(P,I)))a__U71(a__isQid(I),I,P)a__isPal(V)a__U81(a__isPalListKind(V),V)a__isPal(nil)tta__isPalListKind(a)tta__isPalListKind(e)tta__isPalListKind(i)tta__isPalListKind(nil)tta__isPalListKind(o)tta__isPalListKind(u)tta__isPalListKind(__(V1,V2))a__U91(a__isPalListKind(V1),V2)a__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(U11(X1,X2))a__U11(mark(X1),X2)mark(U12(X1,X2))a__U12(mark(X1),X2)mark(isPalListKind(X))a__isPalListKind(X)mark(U13(X))a__U13(mark(X))mark(isNeList(X))a__isNeList(X)mark(U21(X1,X2,X3))a__U21(mark(X1),X2,X3)mark(U22(X1,X2,X3))a__U22(mark(X1),X2,X3)mark(U23(X1,X2,X3))a__U23(mark(X1),X2,X3)mark(U24(X1,X2,X3))a__U24(mark(X1),X2,X3)mark(U25(X1,X2))a__U25(mark(X1),X2)mark(isList(X))a__isList(X)mark(U26(X))a__U26(mark(X))mark(U31(X1,X2))a__U31(mark(X1),X2)mark(U32(X1,X2))a__U32(mark(X1),X2)mark(U33(X))a__U33(mark(X))mark(isQid(X))a__isQid(X)mark(U41(X1,X2,X3))a__U41(mark(X1),X2,X3)mark(U42(X1,X2,X3))a__U42(mark(X1),X2,X3)mark(U43(X1,X2,X3))a__U43(mark(X1),X2,X3)mark(U44(X1,X2,X3))a__U44(mark(X1),X2,X3)mark(U45(X1,X2))a__U45(mark(X1),X2)mark(U46(X))a__U46(mark(X))mark(U51(X1,X2,X3))a__U51(mark(X1),X2,X3)mark(U52(X1,X2,X3))a__U52(mark(X1),X2,X3)mark(U53(X1,X2,X3))a__U53(mark(X1),X2,X3)mark(U54(X1,X2,X3))a__U54(mark(X1),X2,X3)mark(U55(X1,X2))a__U55(mark(X1),X2)mark(U56(X))a__U56(mark(X))mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X1,X2))a__U62(mark(X1),X2)mark(U63(X))a__U63(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(U73(X1,X2))a__U73(mark(X1),X2)mark(isPal(X))a__isPal(X)mark(U74(X))a__U74(mark(X))mark(U81(X1,X2))a__U81(mark(X1),X2)mark(U82(X1,X2))a__U82(mark(X1),X2)mark(U83(X))a__U83(mark(X))mark(isNePal(X))a__isNePal(X)mark(U91(X1,X2))a__U91(mark(X1),X2)mark(U92(X))a__U92(mark(X))mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__U11(X1,X2)U11(X1,X2)a__U12(X1,X2)U12(X1,X2)a__isPalListKind(X)isPalListKind(X)a__U13(X)U13(X)a__isNeList(X)isNeList(X)a__U21(X1,X2,X3)U21(X1,X2,X3)a__U22(X1,X2,X3)U22(X1,X2,X3)a__U23(X1,X2,X3)U23(X1,X2,X3)a__U24(X1,X2,X3)U24(X1,X2,X3)a__U25(X1,X2)U25(X1,X2)a__isList(X)isList(X)a__U26(X)U26(X)a__U31(X1,X2)U31(X1,X2)a__U32(X1,X2)U32(X1,X2)a__U33(X)U33(X)a__isQid(X)isQid(X)a__U41(X1,X2,X3)U41(X1,X2,X3)a__U42(X1,X2,X3)U42(X1,X2,X3)a__U43(X1,X2,X3)U43(X1,X2,X3)a__U44(X1,X2,X3)U44(X1,X2,X3)a__U45(X1,X2)U45(X1,X2)a__U46(X)U46(X)a__U51(X1,X2,X3)U51(X1,X2,X3)a__U52(X1,X2,X3)U52(X1,X2,X3)a__U53(X1,X2,X3)U53(X1,X2,X3)a__U54(X1,X2,X3)U54(X1,X2,X3)a__U55(X1,X2)U55(X1,X2)a__U56(X)U56(X)a__U61(X1,X2)U61(X1,X2)a__U62(X1,X2)U62(X1,X2)a__U63(X)U63(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__U73(X1,X2)U73(X1,X2)a__isPal(X)isPal(X)a__U74(X)U74(X)a__U81(X1,X2)U81(X1,X2)a__U82(X1,X2)U82(X1,X2)a__U83(X)U83(X)a__isNePal(X)isNePal(X)a__U91(X1,X2)U91(X1,X2)a__U92(X)U92(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(U11(X1,X2))Marked_mark(X1)Marked_mark(U12(X1,X2))Marked_mark(X1)Marked_mark(U13(X))Marked_mark(X)Marked_mark(U21(X1,X2,X3))Marked_mark(X1)Marked_mark(U22(X1,X2,X3))Marked_mark(X1)Marked_mark(U23(X1,X2,X3))Marked_mark(X1)Marked_mark(U24(X1,X2,X3))Marked_mark(X1)Marked_mark(U25(X1,X2))Marked_mark(X1)Marked_mark(U26(X))Marked_mark(X)Marked_mark(U31(X1,X2))Marked_mark(X1)Marked_mark(U32(X1,X2))Marked_mark(X1)Marked_mark(U33(X))Marked_mark(X)Marked_mark(U41(X1,X2,X3))Marked_mark(X1)Marked_mark(U42(X1,X2,X3))Marked_mark(X1)Marked_mark(U43(X1,X2,X3))Marked_mark(X1)Marked_mark(U44(X1,X2,X3))Marked_mark(X1)Marked_mark(U45(X1,X2))Marked_mark(X1)Marked_mark(U46(X))Marked_mark(X)Marked_mark(U51(X1,X2,X3))Marked_mark(X1)Marked_mark(U52(X1,X2,X3))Marked_mark(X1)Marked_mark(U53(X1,X2,X3))Marked_mark(X1)Marked_mark(U54(X1,X2,X3))Marked_mark(X1)Marked_mark(U55(X1,X2))Marked_mark(X1)Marked_mark(U56(X))Marked_mark(X)Marked_mark(U61(X1,X2))Marked_mark(X1)Marked_mark(U62(X1,X2))Marked_mark(X1)Marked_mark(U63(X))Marked_mark(X)Marked_mark(U71(X1,X2,X3))Marked_mark(X1)Marked_mark(U72(X1,X2))Marked_mark(X1)Marked_mark(U73(X1,X2))Marked_mark(X1)Marked_mark(U74(X))Marked_mark(X)Marked_mark(U81(X1,X2))Marked_mark(X1)Marked_mark(U82(X1,X2))Marked_mark(X1)Marked_mark(U83(X))Marked_mark(X)Marked_mark(U91(X1,X2))Marked_mark(X1)Marked_mark(U92(X))Marked_mark(X)a____2110U3110a__U5620a__U2620U6110e0a__U1320Marked_a____110U4510a__U7410a__U4420U8120isNeList0a__U1210U4110a__U7220a__isQid0U7220U1110a__U2310U5310a__isNePal0a__U5110U9120U2410__2110U3310a__U6110a__U3110U6320o0a__U2210U5110a__U8120a__U4610U8310U2210a__U1110U4320a__U7310a__U4110isPal0isPalListKind0a__U2520U5520a__U9120a__U5410isList0mark10U3220a__U6210a__U3220U6210i0a__isNeList0Marked_mark10U4610a__U8210a__U4510U8210U2110a__isPalListKind0U4210a__U7120a__U4210U7310U1210a__U2410U5410a__U9210a__U5310U9210U2520nil0isQid0a__U6320a__U3310U7120u0a__U2110U5220a__U8310a__U5220isNePal0U2310tt0U4420a__isPal0a__U4320U7410U1320a__isList0U5620a0a__U5520U2620Marked_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__U11(tt,V)a__U12(a__isPalListKind(V),V)a__U12(tt,V)a__U13(a__isNeList(V))a__U13(tt)tta__U21(tt,V1,V2)a__U22(a__isPalListKind(V1),V1,V2)a__U22(tt,V1,V2)a__U23(a__isPalListKind(V2),V1,V2)a__U23(tt,V1,V2)a__U24(a__isPalListKind(V2),V1,V2)a__U24(tt,V1,V2)a__U25(a__isList(V1),V2)a__U25(tt,V2)a__U26(a__isList(V2))a__U26(tt)tta__U31(tt,V)a__U32(a__isPalListKind(V),V)a__U32(tt,V)a__U33(a__isQid(V))a__U33(tt)tta__U41(tt,V1,V2)a__U42(a__isPalListKind(V1),V1,V2)a__U42(tt,V1,V2)a__U43(a__isPalListKind(V2),V1,V2)a__U43(tt,V1,V2)a__U44(a__isPalListKind(V2),V1,V2)a__U44(tt,V1,V2)a__U45(a__isList(V1),V2)a__U45(tt,V2)a__U46(a__isNeList(V2))a__U46(tt)tta__U51(tt,V1,V2)a__U52(a__isPalListKind(V1),V1,V2)a__U52(tt,V1,V2)a__U53(a__isPalListKind(V2),V1,V2)a__U53(tt,V1,V2)a__U54(a__isPalListKind(V2),V1,V2)a__U54(tt,V1,V2)a__U55(a__isNeList(V1),V2)a__U55(tt,V2)a__U56(a__isList(V2))a__U56(tt)tta__U61(tt,V)a__U62(a__isPalListKind(V),V)a__U62(tt,V)a__U63(a__isQid(V))a__U63(tt)tta__U71(tt,I,P)a__U72(a__isPalListKind(I),P)a__U72(tt,P)a__U73(a__isPal(P),P)a__U73(tt,P)a__U74(a__isPalListKind(P))a__U74(tt)tta__U81(tt,V)a__U82(a__isPalListKind(V),V)a__U82(tt,V)a__U83(a__isNePal(V))a__U83(tt)tta__U91(tt,V2)a__U92(a__isPalListKind(V2))a__U92(tt)tta__isList(V)a__U11(a__isPalListKind(V),V)a__isList(nil)tta__isList(__(V1,V2))a__U21(a__isPalListKind(V1),V1,V2)a__isNeList(V)a__U31(a__isPalListKind(V),V)a__isNeList(__(V1,V2))a__U41(a__isPalListKind(V1),V1,V2)a__isNeList(__(V1,V2))a__U51(a__isPalListKind(V1),V1,V2)a__isNePal(V)a__U61(a__isPalListKind(V),V)a__isNePal(__(I,__(P,I)))a__U71(a__isQid(I),I,P)a__isPal(V)a__U81(a__isPalListKind(V),V)a__isPal(nil)tta__isPalListKind(a)tta__isPalListKind(e)tta__isPalListKind(i)tta__isPalListKind(nil)tta__isPalListKind(o)tta__isPalListKind(u)tta__isPalListKind(__(V1,V2))a__U91(a__isPalListKind(V1),V2)a__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(U11(X1,X2))a__U11(mark(X1),X2)mark(U12(X1,X2))a__U12(mark(X1),X2)mark(isPalListKind(X))a__isPalListKind(X)mark(U13(X))a__U13(mark(X))mark(isNeList(X))a__isNeList(X)mark(U21(X1,X2,X3))a__U21(mark(X1),X2,X3)mark(U22(X1,X2,X3))a__U22(mark(X1),X2,X3)mark(U23(X1,X2,X3))a__U23(mark(X1),X2,X3)mark(U24(X1,X2,X3))a__U24(mark(X1),X2,X3)mark(U25(X1,X2))a__U25(mark(X1),X2)mark(isList(X))a__isList(X)mark(U26(X))a__U26(mark(X))mark(U31(X1,X2))a__U31(mark(X1),X2)mark(U32(X1,X2))a__U32(mark(X1),X2)mark(U33(X))a__U33(mark(X))mark(isQid(X))a__isQid(X)mark(U41(X1,X2,X3))a__U41(mark(X1),X2,X3)mark(U42(X1,X2,X3))a__U42(mark(X1),X2,X3)mark(U43(X1,X2,X3))a__U43(mark(X1),X2,X3)mark(U44(X1,X2,X3))a__U44(mark(X1),X2,X3)mark(U45(X1,X2))a__U45(mark(X1),X2)mark(U46(X))a__U46(mark(X))mark(U51(X1,X2,X3))a__U51(mark(X1),X2,X3)mark(U52(X1,X2,X3))a__U52(mark(X1),X2,X3)mark(U53(X1,X2,X3))a__U53(mark(X1),X2,X3)mark(U54(X1,X2,X3))a__U54(mark(X1),X2,X3)mark(U55(X1,X2))a__U55(mark(X1),X2)mark(U56(X))a__U56(mark(X))mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X1,X2))a__U62(mark(X1),X2)mark(U63(X))a__U63(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(U73(X1,X2))a__U73(mark(X1),X2)mark(isPal(X))a__isPal(X)mark(U74(X))a__U74(mark(X))mark(U81(X1,X2))a__U81(mark(X1),X2)mark(U82(X1,X2))a__U82(mark(X1),X2)mark(U83(X))a__U83(mark(X))mark(isNePal(X))a__isNePal(X)mark(U91(X1,X2))a__U91(mark(X1),X2)mark(U92(X))a__U92(mark(X))mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__U11(X1,X2)U11(X1,X2)a__U12(X1,X2)U12(X1,X2)a__isPalListKind(X)isPalListKind(X)a__U13(X)U13(X)a__isNeList(X)isNeList(X)a__U21(X1,X2,X3)U21(X1,X2,X3)a__U22(X1,X2,X3)U22(X1,X2,X3)a__U23(X1,X2,X3)U23(X1,X2,X3)a__U24(X1,X2,X3)U24(X1,X2,X3)a__U25(X1,X2)U25(X1,X2)a__isList(X)isList(X)a__U26(X)U26(X)a__U31(X1,X2)U31(X1,X2)a__U32(X1,X2)U32(X1,X2)a__U33(X)U33(X)a__isQid(X)isQid(X)a__U41(X1,X2,X3)U41(X1,X2,X3)a__U42(X1,X2,X3)U42(X1,X2,X3)a__U43(X1,X2,X3)U43(X1,X2,X3)a__U44(X1,X2,X3)U44(X1,X2,X3)a__U45(X1,X2)U45(X1,X2)a__U46(X)U46(X)a__U51(X1,X2,X3)U51(X1,X2,X3)a__U52(X1,X2,X3)U52(X1,X2,X3)a__U53(X1,X2,X3)U53(X1,X2,X3)a__U54(X1,X2,X3)U54(X1,X2,X3)a__U55(X1,X2)U55(X1,X2)a__U56(X)U56(X)a__U61(X1,X2)U61(X1,X2)a__U62(X1,X2)U62(X1,X2)a__U63(X)U63(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__U73(X1,X2)U73(X1,X2)a__isPal(X)isPal(X)a__U74(X)U74(X)a__U81(X1,X2)U81(X1,X2)a__U82(X1,X2)U82(X1,X2)a__U83(X)U83(X)a__isNePal(X)isNePal(X)a__U91(X1,X2)U91(X1,X2)a__U92(X)U92(X)Marked_a____(__(X,Y),Z)Marked_a____(mark(X),a____(mark(Y),mark(Z)))Marked_mark(U11(X1,X2))Marked_mark(X1)Marked_mark(U12(X1,X2))Marked_mark(X1)Marked_mark(U13(X))Marked_mark(X)Marked_mark(U21(X1,X2,X3))Marked_mark(X1)Marked_mark(U22(X1,X2,X3))Marked_mark(X1)Marked_mark(U23(X1,X2,X3))Marked_mark(X1)Marked_mark(U24(X1,X2,X3))Marked_mark(X1)Marked_mark(U25(X1,X2))Marked_mark(X1)Marked_mark(U26(X))Marked_mark(X)Marked_mark(U31(X1,X2))Marked_mark(X1)Marked_mark(U32(X1,X2))Marked_mark(X1)Marked_mark(U33(X))Marked_mark(X)Marked_mark(U41(X1,X2,X3))Marked_mark(X1)Marked_mark(U42(X1,X2,X3))Marked_mark(X1)Marked_mark(U43(X1,X2,X3))Marked_mark(X1)Marked_mark(U44(X1,X2,X3))Marked_mark(X1)Marked_mark(U45(X1,X2))Marked_mark(X1)Marked_mark(U46(X))Marked_mark(X)Marked_mark(U51(X1,X2,X3))Marked_mark(X1)Marked_mark(U52(X1,X2,X3))Marked_mark(X1)Marked_mark(U53(X1,X2,X3))Marked_mark(X1)Marked_mark(U54(X1,X2,X3))Marked_mark(X1)Marked_mark(U55(X1,X2))Marked_mark(X1)Marked_mark(U56(X))Marked_mark(X)Marked_mark(U61(X1,X2))Marked_mark(X1)Marked_mark(U62(X1,X2))Marked_mark(X1)Marked_mark(U63(X))Marked_mark(X)Marked_mark(U71(X1,X2,X3))Marked_mark(X1)Marked_mark(U72(X1,X2))Marked_mark(X1)Marked_mark(U73(X1,X2))Marked_mark(X1)Marked_mark(U74(X))Marked_mark(X)Marked_mark(U81(X1,X2))Marked_mark(X1)Marked_mark(U82(X1,X2))Marked_mark(X1)Marked_mark(U83(X))Marked_mark(X)Marked_mark(U91(X1,X2))Marked_mark(X1)Marked_mark(U92(X))Marked_mark(X)a____(__(X,Y),Z)a____(mark(X),a____(mark(Y),mark(Z)))a____(X,nil)mark(X)a____(nil,X)mark(X)a__U11(tt,V)a__U12(a__isPalListKind(V),V)a__U12(tt,V)a__U13(a__isNeList(V))a__U13(tt)tta__U21(tt,V1,V2)a__U22(a__isPalListKind(V1),V1,V2)a__U22(tt,V1,V2)a__U23(a__isPalListKind(V2),V1,V2)a__U23(tt,V1,V2)a__U24(a__isPalListKind(V2),V1,V2)a__U24(tt,V1,V2)a__U25(a__isList(V1),V2)a__U25(tt,V2)a__U26(a__isList(V2))a__U26(tt)tta__U31(tt,V)a__U32(a__isPalListKind(V),V)a__U32(tt,V)a__U33(a__isQid(V))a__U33(tt)tta__U41(tt,V1,V2)a__U42(a__isPalListKind(V1),V1,V2)a__U42(tt,V1,V2)a__U43(a__isPalListKind(V2),V1,V2)a__U43(tt,V1,V2)a__U44(a__isPalListKind(V2),V1,V2)a__U44(tt,V1,V2)a__U45(a__isList(V1),V2)a__U45(tt,V2)a__U46(a__isNeList(V2))a__U46(tt)tta__U51(tt,V1,V2)a__U52(a__isPalListKind(V1),V1,V2)a__U52(tt,V1,V2)a__U53(a__isPalListKind(V2),V1,V2)a__U53(tt,V1,V2)a__U54(a__isPalListKind(V2),V1,V2)a__U54(tt,V1,V2)a__U55(a__isNeList(V1),V2)a__U55(tt,V2)a__U56(a__isList(V2))a__U56(tt)tta__U61(tt,V)a__U62(a__isPalListKind(V),V)a__U62(tt,V)a__U63(a__isQid(V))a__U63(tt)tta__U71(tt,I,P)a__U72(a__isPalListKind(I),P)a__U72(tt,P)a__U73(a__isPal(P),P)a__U73(tt,P)a__U74(a__isPalListKind(P))a__U74(tt)tta__U81(tt,V)a__U82(a__isPalListKind(V),V)a__U82(tt,V)a__U83(a__isNePal(V))a__U83(tt)tta__U91(tt,V2)a__U92(a__isPalListKind(V2))a__U92(tt)tta__isList(V)a__U11(a__isPalListKind(V),V)a__isList(nil)tta__isList(__(V1,V2))a__U21(a__isPalListKind(V1),V1,V2)a__isNeList(V)a__U31(a__isPalListKind(V),V)a__isNeList(__(V1,V2))a__U41(a__isPalListKind(V1),V1,V2)a__isNeList(__(V1,V2))a__U51(a__isPalListKind(V1),V1,V2)a__isNePal(V)a__U61(a__isPalListKind(V),V)a__isNePal(__(I,__(P,I)))a__U71(a__isQid(I),I,P)a__isPal(V)a__U81(a__isPalListKind(V),V)a__isPal(nil)tta__isPalListKind(a)tta__isPalListKind(e)tta__isPalListKind(i)tta__isPalListKind(nil)tta__isPalListKind(o)tta__isPalListKind(u)tta__isPalListKind(__(V1,V2))a__U91(a__isPalListKind(V1),V2)a__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(U11(X1,X2))a__U11(mark(X1),X2)mark(U12(X1,X2))a__U12(mark(X1),X2)mark(isPalListKind(X))a__isPalListKind(X)mark(U13(X))a__U13(mark(X))mark(isNeList(X))a__isNeList(X)mark(U21(X1,X2,X3))a__U21(mark(X1),X2,X3)mark(U22(X1,X2,X3))a__U22(mark(X1),X2,X3)mark(U23(X1,X2,X3))a__U23(mark(X1),X2,X3)mark(U24(X1,X2,X3))a__U24(mark(X1),X2,X3)mark(U25(X1,X2))a__U25(mark(X1),X2)mark(isList(X))a__isList(X)mark(U26(X))a__U26(mark(X))mark(U31(X1,X2))a__U31(mark(X1),X2)mark(U32(X1,X2))a__U32(mark(X1),X2)mark(U33(X))a__U33(mark(X))mark(isQid(X))a__isQid(X)mark(U41(X1,X2,X3))a__U41(mark(X1),X2,X3)mark(U42(X1,X2,X3))a__U42(mark(X1),X2,X3)mark(U43(X1,X2,X3))a__U43(mark(X1),X2,X3)mark(U44(X1,X2,X3))a__U44(mark(X1),X2,X3)mark(U45(X1,X2))a__U45(mark(X1),X2)mark(U46(X))a__U46(mark(X))mark(U51(X1,X2,X3))a__U51(mark(X1),X2,X3)mark(U52(X1,X2,X3))a__U52(mark(X1),X2,X3)mark(U53(X1,X2,X3))a__U53(mark(X1),X2,X3)mark(U54(X1,X2,X3))a__U54(mark(X1),X2,X3)mark(U55(X1,X2))a__U55(mark(X1),X2)mark(U56(X))a__U56(mark(X))mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X1,X2))a__U62(mark(X1),X2)mark(U63(X))a__U63(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(U73(X1,X2))a__U73(mark(X1),X2)mark(isPal(X))a__isPal(X)mark(U74(X))a__U74(mark(X))mark(U81(X1,X2))a__U81(mark(X1),X2)mark(U82(X1,X2))a__U82(mark(X1),X2)mark(U83(X))a__U83(mark(X))mark(isNePal(X))a__isNePal(X)mark(U91(X1,X2))a__U91(mark(X1),X2)mark(U92(X))a__U92(mark(X))mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__U11(X1,X2)U11(X1,X2)a__U12(X1,X2)U12(X1,X2)a__isPalListKind(X)isPalListKind(X)a__U13(X)U13(X)a__isNeList(X)isNeList(X)a__U21(X1,X2,X3)U21(X1,X2,X3)a__U22(X1,X2,X3)U22(X1,X2,X3)a__U23(X1,X2,X3)U23(X1,X2,X3)a__U24(X1,X2,X3)U24(X1,X2,X3)a__U25(X1,X2)U25(X1,X2)a__isList(X)isList(X)a__U26(X)U26(X)a__U31(X1,X2)U31(X1,X2)a__U32(X1,X2)U32(X1,X2)a__U33(X)U33(X)a__isQid(X)isQid(X)a__U41(X1,X2,X3)U41(X1,X2,X3)a__U42(X1,X2,X3)U42(X1,X2,X3)a__U43(X1,X2,X3)U43(X1,X2,X3)a__U44(X1,X2,X3)U44(X1,X2,X3)a__U45(X1,X2)U45(X1,X2)a__U46(X)U46(X)a__U51(X1,X2,X3)U51(X1,X2,X3)a__U52(X1,X2,X3)U52(X1,X2,X3)a__U53(X1,X2,X3)U53(X1,X2,X3)a__U54(X1,X2,X3)U54(X1,X2,X3)a__U55(X1,X2)U55(X1,X2)a__U56(X)U56(X)a__U61(X1,X2)U61(X1,X2)a__U62(X1,X2)U62(X1,X2)a__U63(X)U63(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__U73(X1,X2)U73(X1,X2)a__isPal(X)isPal(X)a__U74(X)U74(X)a__U81(X1,X2)U81(X1,X2)a__U82(X1,X2)U82(X1,X2)a__U83(X)U83(X)a__isNePal(X)isNePal(X)a__U91(X1,X2)U91(X1,X2)a__U92(X)U92(X)Marked_a____(__(X,Y),Z)Marked_a____(mark(X),a____(mark(Y),mark(Z)))a____1110U310a__U560a__U260U610e0a__U130Marked_a____10U450a__U740a__U440U810isNeList20a__U120U410a__U720a__isQid0U720U110a__U230U530a__isNePal20a__U510U9120U240__1110U330a__U610a__U310U630o0a__U220U510a__U810a__U460U830U220a__U110U430a__U730a__U410isPal0isPalListKind20a__U250U550a__U9120a__U540isList0mark10U320a__U620a__U320U620i0a__isNeList20U460a__U820a__U450U820U210a__isPalListKind20U420a__U71220a__U420U730U120a__U240U540a__U920a__U530U920U250nil0isQid0a__U630a__U330U71220u0a__U210U520a__U830a__U520isNePal20U230tt0U440a__isPal0a__U430U740U130a__isList0U560a0a__U550U260a____(__(X,Y),Z)a____(mark(X),a____(mark(Y),mark(Z)))a____(X,nil)mark(X)a____(nil,X)mark(X)a__U11(tt,V)a__U12(a__isPalListKind(V),V)a__U12(tt,V)a__U13(a__isNeList(V))a__U13(tt)tta__U21(tt,V1,V2)a__U22(a__isPalListKind(V1),V1,V2)a__U22(tt,V1,V2)a__U23(a__isPalListKind(V2),V1,V2)a__U23(tt,V1,V2)a__U24(a__isPalListKind(V2),V1,V2)a__U24(tt,V1,V2)a__U25(a__isList(V1),V2)a__U25(tt,V2)a__U26(a__isList(V2))a__U26(tt)tta__U31(tt,V)a__U32(a__isPalListKind(V),V)a__U32(tt,V)a__U33(a__isQid(V))a__U33(tt)tta__U41(tt,V1,V2)a__U42(a__isPalListKind(V1),V1,V2)a__U42(tt,V1,V2)a__U43(a__isPalListKind(V2),V1,V2)a__U43(tt,V1,V2)a__U44(a__isPalListKind(V2),V1,V2)a__U44(tt,V1,V2)a__U45(a__isList(V1),V2)a__U45(tt,V2)a__U46(a__isNeList(V2))a__U46(tt)tta__U51(tt,V1,V2)a__U52(a__isPalListKind(V1),V1,V2)a__U52(tt,V1,V2)a__U53(a__isPalListKind(V2),V1,V2)a__U53(tt,V1,V2)a__U54(a__isPalListKind(V2),V1,V2)a__U54(tt,V1,V2)a__U55(a__isNeList(V1),V2)a__U55(tt,V2)a__U56(a__isList(V2))a__U56(tt)tta__U61(tt,V)a__U62(a__isPalListKind(V),V)a__U62(tt,V)a__U63(a__isQid(V))a__U63(tt)tta__U71(tt,I,P)a__U72(a__isPalListKind(I),P)a__U72(tt,P)a__U73(a__isPal(P),P)a__U73(tt,P)a__U74(a__isPalListKind(P))a__U74(tt)tta__U81(tt,V)a__U82(a__isPalListKind(V),V)a__U82(tt,V)a__U83(a__isNePal(V))a__U83(tt)tta__U91(tt,V2)a__U92(a__isPalListKind(V2))a__U92(tt)tta__isList(V)a__U11(a__isPalListKind(V),V)a__isList(nil)tta__isList(__(V1,V2))a__U21(a__isPalListKind(V1),V1,V2)a__isNeList(V)a__U31(a__isPalListKind(V),V)a__isNeList(__(V1,V2))a__U41(a__isPalListKind(V1),V1,V2)a__isNeList(__(V1,V2))a__U51(a__isPalListKind(V1),V1,V2)a__isNePal(V)a__U61(a__isPalListKind(V),V)a__isNePal(__(I,__(P,I)))a__U71(a__isQid(I),I,P)a__isPal(V)a__U81(a__isPalListKind(V),V)a__isPal(nil)tta__isPalListKind(a)tta__isPalListKind(e)tta__isPalListKind(i)tta__isPalListKind(nil)tta__isPalListKind(o)tta__isPalListKind(u)tta__isPalListKind(__(V1,V2))a__U91(a__isPalListKind(V1),V2)a__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(U11(X1,X2))a__U11(mark(X1),X2)mark(U12(X1,X2))a__U12(mark(X1),X2)mark(isPalListKind(X))a__isPalListKind(X)mark(U13(X))a__U13(mark(X))mark(isNeList(X))a__isNeList(X)mark(U21(X1,X2,X3))a__U21(mark(X1),X2,X3)mark(U22(X1,X2,X3))a__U22(mark(X1),X2,X3)mark(U23(X1,X2,X3))a__U23(mark(X1),X2,X3)mark(U24(X1,X2,X3))a__U24(mark(X1),X2,X3)mark(U25(X1,X2))a__U25(mark(X1),X2)mark(isList(X))a__isList(X)mark(U26(X))a__U26(mark(X))mark(U31(X1,X2))a__U31(mark(X1),X2)mark(U32(X1,X2))a__U32(mark(X1),X2)mark(U33(X))a__U33(mark(X))mark(isQid(X))a__isQid(X)mark(U41(X1,X2,X3))a__U41(mark(X1),X2,X3)mark(U42(X1,X2,X3))a__U42(mark(X1),X2,X3)mark(U43(X1,X2,X3))a__U43(mark(X1),X2,X3)mark(U44(X1,X2,X3))a__U44(mark(X1),X2,X3)mark(U45(X1,X2))a__U45(mark(X1),X2)mark(U46(X))a__U46(mark(X))mark(U51(X1,X2,X3))a__U51(mark(X1),X2,X3)mark(U52(X1,X2,X3))a__U52(mark(X1),X2,X3)mark(U53(X1,X2,X3))a__U53(mark(X1),X2,X3)mark(U54(X1,X2,X3))a__U54(mark(X1),X2,X3)mark(U55(X1,X2))a__U55(mark(X1),X2)mark(U56(X))a__U56(mark(X))mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X1,X2))a__U62(mark(X1),X2)mark(U63(X))a__U63(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(U73(X1,X2))a__U73(mark(X1),X2)mark(isPal(X))a__isPal(X)mark(U74(X))a__U74(mark(X))mark(U81(X1,X2))a__U81(mark(X1),X2)mark(U82(X1,X2))a__U82(mark(X1),X2)mark(U83(X))a__U83(mark(X))mark(isNePal(X))a__isNePal(X)mark(U91(X1,X2))a__U91(mark(X1),X2)mark(U92(X))a__U92(mark(X))mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__U11(X1,X2)U11(X1,X2)a__U12(X1,X2)U12(X1,X2)a__isPalListKind(X)isPalListKind(X)a__U13(X)U13(X)a__isNeList(X)isNeList(X)a__U21(X1,X2,X3)U21(X1,X2,X3)a__U22(X1,X2,X3)U22(X1,X2,X3)a__U23(X1,X2,X3)U23(X1,X2,X3)a__U24(X1,X2,X3)U24(X1,X2,X3)a__U25(X1,X2)U25(X1,X2)a__isList(X)isList(X)a__U26(X)U26(X)a__U31(X1,X2)U31(X1,X2)a__U32(X1,X2)U32(X1,X2)a__U33(X)U33(X)a__isQid(X)isQid(X)a__U41(X1,X2,X3)U41(X1,X2,X3)a__U42(X1,X2,X3)U42(X1,X2,X3)a__U43(X1,X2,X3)U43(X1,X2,X3)a__U44(X1,X2,X3)U44(X1,X2,X3)a__U45(X1,X2)U45(X1,X2)a__U46(X)U46(X)a__U51(X1,X2,X3)U51(X1,X2,X3)a__U52(X1,X2,X3)U52(X1,X2,X3)a__U53(X1,X2,X3)U53(X1,X2,X3)a__U54(X1,X2,X3)U54(X1,X2,X3)a__U55(X1,X2)U55(X1,X2)a__U56(X)U56(X)a__U61(X1,X2)U61(X1,X2)a__U62(X1,X2)U62(X1,X2)a__U63(X)U63(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__U73(X1,X2)U73(X1,X2)a__isPal(X)isPal(X)a__U74(X)U74(X)a__U81(X1,X2)U81(X1,X2)a__U82(X1,X2)U82(X1,X2)a__U83(X)U83(X)a__isNePal(X)isNePal(X)a__U91(X1,X2)U91(X1,X2)a__U92(X)U92(X)Marked_mark(U11(X1,X2))Marked_mark(X1)Marked_mark(U12(X1,X2))Marked_mark(X1)Marked_mark(U13(X))Marked_mark(X)Marked_mark(U21(X1,X2,X3))Marked_mark(X1)Marked_mark(U22(X1,X2,X3))Marked_mark(X1)Marked_mark(U23(X1,X2,X3))Marked_mark(X1)Marked_mark(U24(X1,X2,X3))Marked_mark(X1)Marked_mark(U25(X1,X2))Marked_mark(X1)Marked_mark(U26(X))Marked_mark(X)Marked_mark(U31(X1,X2))Marked_mark(X1)Marked_mark(U32(X1,X2))Marked_mark(X1)Marked_mark(U33(X))Marked_mark(X)Marked_mark(U41(X1,X2,X3))Marked_mark(X1)Marked_mark(U42(X1,X2,X3))Marked_mark(X1)Marked_mark(U43(X1,X2,X3))Marked_mark(X1)Marked_mark(U44(X1,X2,X3))Marked_mark(X1)Marked_mark(U45(X1,X2))Marked_mark(X1)Marked_mark(U46(X))Marked_mark(X)Marked_mark(U51(X1,X2,X3))Marked_mark(X1)Marked_mark(U52(X1,X2,X3))Marked_mark(X1)Marked_mark(U53(X1,X2,X3))Marked_mark(X1)Marked_mark(U54(X1,X2,X3))Marked_mark(X1)Marked_mark(U55(X1,X2))Marked_mark(X1)Marked_mark(U56(X))Marked_mark(X)Marked_mark(U61(X1,X2))Marked_mark(X1)Marked_mark(U62(X1,X2))Marked_mark(X1)Marked_mark(U63(X))Marked_mark(X)Marked_mark(U71(X1,X2,X3))Marked_mark(X1)Marked_mark(U72(X1,X2))Marked_mark(X1)Marked_mark(U73(X1,X2))Marked_mark(X1)Marked_mark(U74(X))Marked_mark(X)Marked_mark(U81(X1,X2))Marked_mark(X1)Marked_mark(U82(X1,X2))Marked_mark(X1)Marked_mark(U83(X))Marked_mark(X)Marked_mark(U91(X1,X2))Marked_mark(X1)Marked_mark(U92(X))Marked_mark(X)Marked_mark1Marked_mark(U92(X))Marked_mark(X)Marked_mark(U91(X1,X2))Marked_mark(X1)Marked_mark(U83(X))Marked_mark(X)Marked_mark(U82(X1,X2))Marked_mark(X1)Marked_mark(U81(X1,X2))Marked_mark(X1)Marked_mark(U74(X))Marked_mark(X)Marked_mark(U73(X1,X2))Marked_mark(X1)Marked_mark(U72(X1,X2))Marked_mark(X1)Marked_mark(U71(X1,X2,X3))Marked_mark(X1)Marked_mark(U63(X))Marked_mark(X)Marked_mark(U62(X1,X2))Marked_mark(X1)Marked_mark(U61(X1,X2))Marked_mark(X1)Marked_mark(U56(X))Marked_mark(X)Marked_mark(U55(X1,X2))Marked_mark(X1)Marked_mark(U54(X1,X2,X3))Marked_mark(X1)Marked_mark(U53(X1,X2,X3))Marked_mark(X1)Marked_mark(U52(X1,X2,X3))Marked_mark(X1)Marked_mark(U51(X1,X2,X3))Marked_mark(X1)Marked_mark(U46(X))Marked_mark(X)Marked_mark(U45(X1,X2))Marked_mark(X1)Marked_mark(U44(X1,X2,X3))Marked_mark(X1)Marked_mark(U43(X1,X2,X3))Marked_mark(X1)Marked_mark(U42(X1,X2,X3))Marked_mark(X1)Marked_mark(U41(X1,X2,X3))Marked_mark(X1)Marked_mark(U33(X))Marked_mark(X)Marked_mark(U32(X1,X2))Marked_mark(X1)Marked_mark(U31(X1,X2))Marked_mark(X1)Marked_mark(U26(X))Marked_mark(X)Marked_mark(U25(X1,X2))Marked_mark(X1)Marked_mark(U24(X1,X2,X3))Marked_mark(X1)Marked_mark(U23(X1,X2,X3))Marked_mark(X1)Marked_mark(U22(X1,X2,X3))Marked_mark(X1)Marked_mark(U21(X1,X2,X3))Marked_mark(X1)Marked_mark(U13(X))Marked_mark(X)Marked_mark(U12(X1,X2))Marked_mark(X1)Marked_mark(U11(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__U11(tt,V)a__U12(a__isPalListKind(V),V)a__U12(tt,V)a__U13(a__isNeList(V))a__U13(tt)tta__U21(tt,V1,V2)a__U22(a__isPalListKind(V1),V1,V2)a__U22(tt,V1,V2)a__U23(a__isPalListKind(V2),V1,V2)a__U23(tt,V1,V2)a__U24(a__isPalListKind(V2),V1,V2)a__U24(tt,V1,V2)a__U25(a__isList(V1),V2)a__U25(tt,V2)a__U26(a__isList(V2))a__U26(tt)tta__U31(tt,V)a__U32(a__isPalListKind(V),V)a__U32(tt,V)a__U33(a__isQid(V))a__U33(tt)tta__U41(tt,V1,V2)a__U42(a__isPalListKind(V1),V1,V2)a__U42(tt,V1,V2)a__U43(a__isPalListKind(V2),V1,V2)a__U43(tt,V1,V2)a__U44(a__isPalListKind(V2),V1,V2)a__U44(tt,V1,V2)a__U45(a__isList(V1),V2)a__U45(tt,V2)a__U46(a__isNeList(V2))a__U46(tt)tta__U51(tt,V1,V2)a__U52(a__isPalListKind(V1),V1,V2)a__U52(tt,V1,V2)a__U53(a__isPalListKind(V2),V1,V2)a__U53(tt,V1,V2)a__U54(a__isPalListKind(V2),V1,V2)a__U54(tt,V1,V2)a__U55(a__isNeList(V1),V2)a__U55(tt,V2)a__U56(a__isList(V2))a__U56(tt)tta__U61(tt,V)a__U62(a__isPalListKind(V),V)a__U62(tt,V)a__U63(a__isQid(V))a__U63(tt)tta__U71(tt,I,P)a__U72(a__isPalListKind(I),P)a__U72(tt,P)a__U73(a__isPal(P),P)a__U73(tt,P)a__U74(a__isPalListKind(P))a__U74(tt)tta__U81(tt,V)a__U82(a__isPalListKind(V),V)a__U82(tt,V)a__U83(a__isNePal(V))a__U83(tt)tta__U91(tt,V2)a__U92(a__isPalListKind(V2))a__U92(tt)tta__isList(V)a__U11(a__isPalListKind(V),V)a__isList(nil)tta__isList(__(V1,V2))a__U21(a__isPalListKind(V1),V1,V2)a__isNeList(V)a__U31(a__isPalListKind(V),V)a__isNeList(__(V1,V2))a__U41(a__isPalListKind(V1),V1,V2)a__isNeList(__(V1,V2))a__U51(a__isPalListKind(V1),V1,V2)a__isNePal(V)a__U61(a__isPalListKind(V),V)a__isNePal(__(I,__(P,I)))a__U71(a__isQid(I),I,P)a__isPal(V)a__U81(a__isPalListKind(V),V)a__isPal(nil)tta__isPalListKind(a)tta__isPalListKind(e)tta__isPalListKind(i)tta__isPalListKind(nil)tta__isPalListKind(o)tta__isPalListKind(u)tta__isPalListKind(__(V1,V2))a__U91(a__isPalListKind(V1),V2)a__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(U11(X1,X2))a__U11(mark(X1),X2)mark(U12(X1,X2))a__U12(mark(X1),X2)mark(isPalListKind(X))a__isPalListKind(X)mark(U13(X))a__U13(mark(X))mark(isNeList(X))a__isNeList(X)mark(U21(X1,X2,X3))a__U21(mark(X1),X2,X3)mark(U22(X1,X2,X3))a__U22(mark(X1),X2,X3)mark(U23(X1,X2,X3))a__U23(mark(X1),X2,X3)mark(U24(X1,X2,X3))a__U24(mark(X1),X2,X3)mark(U25(X1,X2))a__U25(mark(X1),X2)mark(isList(X))a__isList(X)mark(U26(X))a__U26(mark(X))mark(U31(X1,X2))a__U31(mark(X1),X2)mark(U32(X1,X2))a__U32(mark(X1),X2)mark(U33(X))a__U33(mark(X))mark(isQid(X))a__isQid(X)mark(U41(X1,X2,X3))a__U41(mark(X1),X2,X3)mark(U42(X1,X2,X3))a__U42(mark(X1),X2,X3)mark(U43(X1,X2,X3))a__U43(mark(X1),X2,X3)mark(U44(X1,X2,X3))a__U44(mark(X1),X2,X3)mark(U45(X1,X2))a__U45(mark(X1),X2)mark(U46(X))a__U46(mark(X))mark(U51(X1,X2,X3))a__U51(mark(X1),X2,X3)mark(U52(X1,X2,X3))a__U52(mark(X1),X2,X3)mark(U53(X1,X2,X3))a__U53(mark(X1),X2,X3)mark(U54(X1,X2,X3))a__U54(mark(X1),X2,X3)mark(U55(X1,X2))a__U55(mark(X1),X2)mark(U56(X))a__U56(mark(X))mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X1,X2))a__U62(mark(X1),X2)mark(U63(X))a__U63(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(U73(X1,X2))a__U73(mark(X1),X2)mark(isPal(X))a__isPal(X)mark(U74(X))a__U74(mark(X))mark(U81(X1,X2))a__U81(mark(X1),X2)mark(U82(X1,X2))a__U82(mark(X1),X2)mark(U83(X))a__U83(mark(X))mark(isNePal(X))a__isNePal(X)mark(U91(X1,X2))a__U91(mark(X1),X2)mark(U92(X))a__U92(mark(X))mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__U11(X1,X2)U11(X1,X2)a__U12(X1,X2)U12(X1,X2)a__isPalListKind(X)isPalListKind(X)a__U13(X)U13(X)a__isNeList(X)isNeList(X)a__U21(X1,X2,X3)U21(X1,X2,X3)a__U22(X1,X2,X3)U22(X1,X2,X3)a__U23(X1,X2,X3)U23(X1,X2,X3)a__U24(X1,X2,X3)U24(X1,X2,X3)a__U25(X1,X2)U25(X1,X2)a__isList(X)isList(X)a__U26(X)U26(X)a__U31(X1,X2)U31(X1,X2)a__U32(X1,X2)U32(X1,X2)a__U33(X)U33(X)a__isQid(X)isQid(X)a__U41(X1,X2,X3)U41(X1,X2,X3)a__U42(X1,X2,X3)U42(X1,X2,X3)a__U43(X1,X2,X3)U43(X1,X2,X3)a__U44(X1,X2,X3)U44(X1,X2,X3)a__U45(X1,X2)U45(X1,X2)a__U46(X)U46(X)a__U51(X1,X2,X3)U51(X1,X2,X3)a__U52(X1,X2,X3)U52(X1,X2,X3)a__U53(X1,X2,X3)U53(X1,X2,X3)a__U54(X1,X2,X3)U54(X1,X2,X3)a__U55(X1,X2)U55(X1,X2)a__U56(X)U56(X)a__U61(X1,X2)U61(X1,X2)a__U62(X1,X2)U62(X1,X2)a__U63(X)U63(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__U73(X1,X2)U73(X1,X2)a__isPal(X)isPal(X)a__U74(X)U74(X)a__U81(X1,X2)U81(X1,X2)a__U82(X1,X2)U82(X1,X2)a__U83(X)U83(X)a__isNePal(X)isNePal(X)a__U91(X1,X2)U91(X1,X2)a__U92(X)U92(X)a____(__(X,Y),Z)a____(mark(X),a____(mark(Y),mark(Z)))a____(X,nil)mark(X)a____(nil,X)mark(X)a__U11(tt,V)a__U12(a__isPalListKind(V),V)a__U12(tt,V)a__U13(a__isNeList(V))a__U13(tt)tta__U21(tt,V1,V2)a__U22(a__isPalListKind(V1),V1,V2)a__U22(tt,V1,V2)a__U23(a__isPalListKind(V2),V1,V2)a__U23(tt,V1,V2)a__U24(a__isPalListKind(V2),V1,V2)a__U24(tt,V1,V2)a__U25(a__isList(V1),V2)a__U25(tt,V2)a__U26(a__isList(V2))a__U26(tt)tta__U31(tt,V)a__U32(a__isPalListKind(V),V)a__U32(tt,V)a__U33(a__isQid(V))a__U33(tt)tta__U41(tt,V1,V2)a__U42(a__isPalListKind(V1),V1,V2)a__U42(tt,V1,V2)a__U43(a__isPalListKind(V2),V1,V2)a__U43(tt,V1,V2)a__U44(a__isPalListKind(V2),V1,V2)a__U44(tt,V1,V2)a__U45(a__isList(V1),V2)a__U45(tt,V2)a__U46(a__isNeList(V2))a__U46(tt)tta__U51(tt,V1,V2)a__U52(a__isPalListKind(V1),V1,V2)a__U52(tt,V1,V2)a__U53(a__isPalListKind(V2),V1,V2)a__U53(tt,V1,V2)a__U54(a__isPalListKind(V2),V1,V2)a__U54(tt,V1,V2)a__U55(a__isNeList(V1),V2)a__U55(tt,V2)a__U56(a__isList(V2))a__U56(tt)tta__U61(tt,V)a__U62(a__isPalListKind(V),V)a__U62(tt,V)a__U63(a__isQid(V))a__U63(tt)tta__U71(tt,I,P)a__U72(a__isPalListKind(I),P)a__U72(tt,P)a__U73(a__isPal(P),P)a__U73(tt,P)a__U74(a__isPalListKind(P))a__U74(tt)tta__U81(tt,V)a__U82(a__isPalListKind(V),V)a__U82(tt,V)a__U83(a__isNePal(V))a__U83(tt)tta__U91(tt,V2)a__U92(a__isPalListKind(V2))a__U92(tt)tta__isList(V)a__U11(a__isPalListKind(V),V)a__isList(nil)tta__isList(__(V1,V2))a__U21(a__isPalListKind(V1),V1,V2)a__isNeList(V)a__U31(a__isPalListKind(V),V)a__isNeList(__(V1,V2))a__U41(a__isPalListKind(V1),V1,V2)a__isNeList(__(V1,V2))a__U51(a__isPalListKind(V1),V1,V2)a__isNePal(V)a__U61(a__isPalListKind(V),V)a__isNePal(__(I,__(P,I)))a__U71(a__isQid(I),I,P)a__isPal(V)a__U81(a__isPalListKind(V),V)a__isPal(nil)tta__isPalListKind(a)tta__isPalListKind(e)tta__isPalListKind(i)tta__isPalListKind(nil)tta__isPalListKind(o)tta__isPalListKind(u)tta__isPalListKind(__(V1,V2))a__U91(a__isPalListKind(V1),V2)a__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(U11(X1,X2))a__U11(mark(X1),X2)mark(U12(X1,X2))a__U12(mark(X1),X2)mark(isPalListKind(X))a__isPalListKind(X)mark(U13(X))a__U13(mark(X))mark(isNeList(X))a__isNeList(X)mark(U21(X1,X2,X3))a__U21(mark(X1),X2,X3)mark(U22(X1,X2,X3))a__U22(mark(X1),X2,X3)mark(U23(X1,X2,X3))a__U23(mark(X1),X2,X3)mark(U24(X1,X2,X3))a__U24(mark(X1),X2,X3)mark(U25(X1,X2))a__U25(mark(X1),X2)mark(isList(X))a__isList(X)mark(U26(X))a__U26(mark(X))mark(U31(X1,X2))a__U31(mark(X1),X2)mark(U32(X1,X2))a__U32(mark(X1),X2)mark(U33(X))a__U33(mark(X))mark(isQid(X))a__isQid(X)mark(U41(X1,X2,X3))a__U41(mark(X1),X2,X3)mark(U42(X1,X2,X3))a__U42(mark(X1),X2,X3)mark(U43(X1,X2,X3))a__U43(mark(X1),X2,X3)mark(U44(X1,X2,X3))a__U44(mark(X1),X2,X3)mark(U45(X1,X2))a__U45(mark(X1),X2)mark(U46(X))a__U46(mark(X))mark(U51(X1,X2,X3))a__U51(mark(X1),X2,X3)mark(U52(X1,X2,X3))a__U52(mark(X1),X2,X3)mark(U53(X1,X2,X3))a__U53(mark(X1),X2,X3)mark(U54(X1,X2,X3))a__U54(mark(X1),X2,X3)mark(U55(X1,X2))a__U55(mark(X1),X2)mark(U56(X))a__U56(mark(X))mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X1,X2))a__U62(mark(X1),X2)mark(U63(X))a__U63(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(U73(X1,X2))a__U73(mark(X1),X2)mark(isPal(X))a__isPal(X)mark(U74(X))a__U74(mark(X))mark(U81(X1,X2))a__U81(mark(X1),X2)mark(U82(X1,X2))a__U82(mark(X1),X2)mark(U83(X))a__U83(mark(X))mark(isNePal(X))a__isNePal(X)mark(U91(X1,X2))a__U91(mark(X1),X2)mark(U92(X))a__U92(mark(X))mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__U11(X1,X2)U11(X1,X2)a__U12(X1,X2)U12(X1,X2)a__isPalListKind(X)isPalListKind(X)a__U13(X)U13(X)a__isNeList(X)isNeList(X)a__U21(X1,X2,X3)U21(X1,X2,X3)a__U22(X1,X2,X3)U22(X1,X2,X3)a__U23(X1,X2,X3)U23(X1,X2,X3)a__U24(X1,X2,X3)U24(X1,X2,X3)a__U25(X1,X2)U25(X1,X2)a__isList(X)isList(X)a__U26(X)U26(X)a__U31(X1,X2)U31(X1,X2)a__U32(X1,X2)U32(X1,X2)a__U33(X)U33(X)a__isQid(X)isQid(X)a__U41(X1,X2,X3)U41(X1,X2,X3)a__U42(X1,X2,X3)U42(X1,X2,X3)a__U43(X1,X2,X3)U43(X1,X2,X3)a__U44(X1,X2,X3)U44(X1,X2,X3)a__U45(X1,X2)U45(X1,X2)a__U46(X)U46(X)a__U51(X1,X2,X3)U51(X1,X2,X3)a__U52(X1,X2,X3)U52(X1,X2,X3)a__U53(X1,X2,X3)U53(X1,X2,X3)a__U54(X1,X2,X3)U54(X1,X2,X3)a__U55(X1,X2)U55(X1,X2)a__U56(X)U56(X)a__U61(X1,X2)U61(X1,X2)a__U62(X1,X2)U62(X1,X2)a__U63(X)U63(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__U73(X1,X2)U73(X1,X2)a__isPal(X)isPal(X)a__U74(X)U74(X)a__U81(X1,X2)U81(X1,X2)a__U82(X1,X2)U82(X1,X2)a__U83(X)U83(X)a__isNePal(X)isNePal(X)a__U91(X1,X2)U91(X1,X2)a__U92(X)U92(X)Marked_a__U11(tt,V)Marked_a__U12(a__isPalListKind(V),V)Marked_a__U12(tt,V)Marked_a__isNeList(V)Marked_a__U21(tt,V1,V2)Marked_a__U22(a__isPalListKind(V1),V1,V2)Marked_a__U22(tt,V1,V2)Marked_a__U23(a__isPalListKind(V2),V1,V2)Marked_a__U23(tt,V1,V2)Marked_a__U24(a__isPalListKind(V2),V1,V2)Marked_a__U24(tt,V1,V2)Marked_a__U25(a__isList(V1),V2)Marked_a__U24(tt,V1,V2)Marked_a__isList(V1)Marked_a__U25(tt,V2)Marked_a__isList(V2)Marked_a__U41(tt,V1,V2)Marked_a__U42(a__isPalListKind(V1),V1,V2)Marked_a__U42(tt,V1,V2)Marked_a__U43(a__isPalListKind(V2),V1,V2)Marked_a__U43(tt,V1,V2)Marked_a__U44(a__isPalListKind(V2),V1,V2)Marked_a__U44(tt,V1,V2)Marked_a__U45(a__isList(V1),V2)Marked_a__U44(tt,V1,V2)Marked_a__isList(V1)Marked_a__U45(tt,V2)Marked_a__isNeList(V2)Marked_a__U51(tt,V1,V2)Marked_a__U52(a__isPalListKind(V1),V1,V2)Marked_a__U52(tt,V1,V2)Marked_a__U53(a__isPalListKind(V2),V1,V2)Marked_a__U53(tt,V1,V2)Marked_a__U54(a__isPalListKind(V2),V1,V2)Marked_a__U54(tt,V1,V2)Marked_a__U55(a__isNeList(V1),V2)Marked_a__U54(tt,V1,V2)Marked_a__isNeList(V1)Marked_a__U55(tt,V2)Marked_a__isList(V2)Marked_a__isList(V)Marked_a__U11(a__isPalListKind(V),V)Marked_a__isList(__(V1,V2))Marked_a__U21(a__isPalListKind(V1),V1,V2)Marked_a__isNeList(__(V1,V2))Marked_a__U41(a__isPalListKind(V1),V1,V2)Marked_a__isNeList(__(V1,V2))Marked_a__U51(a__isPalListKind(V1),V1,V2)a____2210Marked_a__U23110U310a__U560a__U260U610e0Marked_a__U521110a__U130U450a__U740a__U440U810isNeList0a__U120U410a__U720a__isQid0U720U110Marked_a__U44110a__U230U530a__isNePal0a__U510U910U240__2210Marked_a__U21110U330a__U610a__U310U630o0a__U220U510a__U810a__U460U830U220a__U110Marked_a__U1210U430a__U730a__U410isPal0isPalListKind0Marked_a__U421110a__U250U550a__U910Marked_a__U541110a__U540isList10Marked_a__U2510mark10Marked_a__U22110U320a__U620a__U320U620i0Marked_a__U511110a__isNeList0U460a__U820a__U450U820U2120a__isPalListKind0U420a__U710a__U420U730U120Marked_a__U431110a__U240U540a__U920Marked_a__U5510a__U530U920U250Marked_a__isList10nil0Marked_a__isNeList10isQid0a__U630a__U330U710u0Marked_a__U4510a__U2120U520a__U830a__U520isNePal0U230tt0Marked_a__U1110U440a__isPal0a__U430U740U130Marked_a__U411110a__isList10U560a0Marked_a__U531110a__U550U260Marked_a__U24110Marked_a__U43(tt,V1,V2)Marked_a__U44(a__isPalListKind(V2),V1,V2)Marked_a__U54(tt,V1,V2)Marked_a__U55(a__isNeList(V1),V2)Marked_a__U54(tt,V1,V2)Marked_a__isNeList(V1)Marked_a__isList(__(V1,V2))Marked_a__U21(a__isPalListKind(V1),V1,V2)Marked_a__isNeList(__(V1,V2))Marked_a__U41(a__isPalListKind(V1),V1,V2)Marked_a__isNeList(__(V1,V2))Marked_a__U51(a__isPalListKind(V1),V1,V2)a____(__(X,Y),Z)a____(mark(X),a____(mark(Y),mark(Z)))a____(X,nil)mark(X)a____(nil,X)mark(X)a__U11(tt,V)a__U12(a__isPalListKind(V),V)a__U12(tt,V)a__U13(a__isNeList(V))a__U13(tt)tta__U21(tt,V1,V2)a__U22(a__isPalListKind(V1),V1,V2)a__U22(tt,V1,V2)a__U23(a__isPalListKind(V2),V1,V2)a__U23(tt,V1,V2)a__U24(a__isPalListKind(V2),V1,V2)a__U24(tt,V1,V2)a__U25(a__isList(V1),V2)a__U25(tt,V2)a__U26(a__isList(V2))a__U26(tt)tta__U31(tt,V)a__U32(a__isPalListKind(V),V)a__U32(tt,V)a__U33(a__isQid(V))a__U33(tt)tta__U41(tt,V1,V2)a__U42(a__isPalListKind(V1),V1,V2)a__U42(tt,V1,V2)a__U43(a__isPalListKind(V2),V1,V2)a__U43(tt,V1,V2)a__U44(a__isPalListKind(V2),V1,V2)a__U44(tt,V1,V2)a__U45(a__isList(V1),V2)a__U45(tt,V2)a__U46(a__isNeList(V2))a__U46(tt)tta__U51(tt,V1,V2)a__U52(a__isPalListKind(V1),V1,V2)a__U52(tt,V1,V2)a__U53(a__isPalListKind(V2),V1,V2)a__U53(tt,V1,V2)a__U54(a__isPalListKind(V2),V1,V2)a__U54(tt,V1,V2)a__U55(a__isNeList(V1),V2)a__U55(tt,V2)a__U56(a__isList(V2))a__U56(tt)tta__U61(tt,V)a__U62(a__isPalListKind(V),V)a__U62(tt,V)a__U63(a__isQid(V))a__U63(tt)tta__U71(tt,I,P)a__U72(a__isPalListKind(I),P)a__U72(tt,P)a__U73(a__isPal(P),P)a__U73(tt,P)a__U74(a__isPalListKind(P))a__U74(tt)tta__U81(tt,V)a__U82(a__isPalListKind(V),V)a__U82(tt,V)a__U83(a__isNePal(V))a__U83(tt)tta__U91(tt,V2)a__U92(a__isPalListKind(V2))a__U92(tt)tta__isList(V)a__U11(a__isPalListKind(V),V)a__isList(nil)tta__isList(__(V1,V2))a__U21(a__isPalListKind(V1),V1,V2)a__isNeList(V)a__U31(a__isPalListKind(V),V)a__isNeList(__(V1,V2))a__U41(a__isPalListKind(V1),V1,V2)a__isNeList(__(V1,V2))a__U51(a__isPalListKind(V1),V1,V2)a__isNePal(V)a__U61(a__isPalListKind(V),V)a__isNePal(__(I,__(P,I)))a__U71(a__isQid(I),I,P)a__isPal(V)a__U81(a__isPalListKind(V),V)a__isPal(nil)tta__isPalListKind(a)tta__isPalListKind(e)tta__isPalListKind(i)tta__isPalListKind(nil)tta__isPalListKind(o)tta__isPalListKind(u)tta__isPalListKind(__(V1,V2))a__U91(a__isPalListKind(V1),V2)a__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(U11(X1,X2))a__U11(mark(X1),X2)mark(U12(X1,X2))a__U12(mark(X1),X2)mark(isPalListKind(X))a__isPalListKind(X)mark(U13(X))a__U13(mark(X))mark(isNeList(X))a__isNeList(X)mark(U21(X1,X2,X3))a__U21(mark(X1),X2,X3)mark(U22(X1,X2,X3))a__U22(mark(X1),X2,X3)mark(U23(X1,X2,X3))a__U23(mark(X1),X2,X3)mark(U24(X1,X2,X3))a__U24(mark(X1),X2,X3)mark(U25(X1,X2))a__U25(mark(X1),X2)mark(isList(X))a__isList(X)mark(U26(X))a__U26(mark(X))mark(U31(X1,X2))a__U31(mark(X1),X2)mark(U32(X1,X2))a__U32(mark(X1),X2)mark(U33(X))a__U33(mark(X))mark(isQid(X))a__isQid(X)mark(U41(X1,X2,X3))a__U41(mark(X1),X2,X3)mark(U42(X1,X2,X3))a__U42(mark(X1),X2,X3)mark(U43(X1,X2,X3))a__U43(mark(X1),X2,X3)mark(U44(X1,X2,X3))a__U44(mark(X1),X2,X3)mark(U45(X1,X2))a__U45(mark(X1),X2)mark(U46(X))a__U46(mark(X))mark(U51(X1,X2,X3))a__U51(mark(X1),X2,X3)mark(U52(X1,X2,X3))a__U52(mark(X1),X2,X3)mark(U53(X1,X2,X3))a__U53(mark(X1),X2,X3)mark(U54(X1,X2,X3))a__U54(mark(X1),X2,X3)mark(U55(X1,X2))a__U55(mark(X1),X2)mark(U56(X))a__U56(mark(X))mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X1,X2))a__U62(mark(X1),X2)mark(U63(X))a__U63(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(U73(X1,X2))a__U73(mark(X1),X2)mark(isPal(X))a__isPal(X)mark(U74(X))a__U74(mark(X))mark(U81(X1,X2))a__U81(mark(X1),X2)mark(U82(X1,X2))a__U82(mark(X1),X2)mark(U83(X))a__U83(mark(X))mark(isNePal(X))a__isNePal(X)mark(U91(X1,X2))a__U91(mark(X1),X2)mark(U92(X))a__U92(mark(X))mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__U11(X1,X2)U11(X1,X2)a__U12(X1,X2)U12(X1,X2)a__isPalListKind(X)isPalListKind(X)a__U13(X)U13(X)a__isNeList(X)isNeList(X)a__U21(X1,X2,X3)U21(X1,X2,X3)a__U22(X1,X2,X3)U22(X1,X2,X3)a__U23(X1,X2,X3)U23(X1,X2,X3)a__U24(X1,X2,X3)U24(X1,X2,X3)a__U25(X1,X2)U25(X1,X2)a__isList(X)isList(X)a__U26(X)U26(X)a__U31(X1,X2)U31(X1,X2)a__U32(X1,X2)U32(X1,X2)a__U33(X)U33(X)a__isQid(X)isQid(X)a__U41(X1,X2,X3)U41(X1,X2,X3)a__U42(X1,X2,X3)U42(X1,X2,X3)a__U43(X1,X2,X3)U43(X1,X2,X3)a__U44(X1,X2,X3)U44(X1,X2,X3)a__U45(X1,X2)U45(X1,X2)a__U46(X)U46(X)a__U51(X1,X2,X3)U51(X1,X2,X3)a__U52(X1,X2,X3)U52(X1,X2,X3)a__U53(X1,X2,X3)U53(X1,X2,X3)a__U54(X1,X2,X3)U54(X1,X2,X3)a__U55(X1,X2)U55(X1,X2)a__U56(X)U56(X)a__U61(X1,X2)U61(X1,X2)a__U62(X1,X2)U62(X1,X2)a__U63(X)U63(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__U73(X1,X2)U73(X1,X2)a__isPal(X)isPal(X)a__U74(X)U74(X)a__U81(X1,X2)U81(X1,X2)a__U82(X1,X2)U82(X1,X2)a__U83(X)U83(X)a__isNePal(X)isNePal(X)a__U91(X1,X2)U91(X1,X2)a__U92(X)U92(X)Marked_a__U11(tt,V)Marked_a__U12(a__isPalListKind(V),V)Marked_a__U12(tt,V)Marked_a__isNeList(V)Marked_a__U21(tt,V1,V2)Marked_a__U22(a__isPalListKind(V1),V1,V2)Marked_a__U22(tt,V1,V2)Marked_a__U23(a__isPalListKind(V2),V1,V2)Marked_a__U23(tt,V1,V2)Marked_a__U24(a__isPalListKind(V2),V1,V2)Marked_a__U24(tt,V1,V2)Marked_a__U25(a__isList(V1),V2)Marked_a__U24(tt,V1,V2)Marked_a__isList(V1)Marked_a__U25(tt,V2)Marked_a__isList(V2)Marked_a__U41(tt,V1,V2)Marked_a__U42(a__isPalListKind(V1),V1,V2)Marked_a__U42(tt,V1,V2)Marked_a__U43(a__isPalListKind(V2),V1,V2)Marked_a__U44(tt,V1,V2)Marked_a__U45(a__isList(V1),V2)Marked_a__U44(tt,V1,V2)Marked_a__isList(V1)Marked_a__U45(tt,V2)Marked_a__isNeList(V2)Marked_a__U51(tt,V1,V2)Marked_a__U52(a__isPalListKind(V1),V1,V2)Marked_a__U52(tt,V1,V2)Marked_a__U53(a__isPalListKind(V2),V1,V2)Marked_a__U53(tt,V1,V2)Marked_a__U54(a__isPalListKind(V2),V1,V2)Marked_a__U55(tt,V2)Marked_a__isList(V2)Marked_a__isList(V)Marked_a__U11(a__isPalListKind(V),V)a____(__(X,Y),Z)a____(mark(X),a____(mark(Y),mark(Z)))a____(X,nil)mark(X)a____(nil,X)mark(X)a__U11(tt,V)a__U12(a__isPalListKind(V),V)a__U12(tt,V)a__U13(a__isNeList(V))a__U13(tt)tta__U21(tt,V1,V2)a__U22(a__isPalListKind(V1),V1,V2)a__U22(tt,V1,V2)a__U23(a__isPalListKind(V2),V1,V2)a__U23(tt,V1,V2)a__U24(a__isPalListKind(V2),V1,V2)a__U24(tt,V1,V2)a__U25(a__isList(V1),V2)a__U25(tt,V2)a__U26(a__isList(V2))a__U26(tt)tta__U31(tt,V)a__U32(a__isPalListKind(V),V)a__U32(tt,V)a__U33(a__isQid(V))a__U33(tt)tta__U41(tt,V1,V2)a__U42(a__isPalListKind(V1),V1,V2)a__U42(tt,V1,V2)a__U43(a__isPalListKind(V2),V1,V2)a__U43(tt,V1,V2)a__U44(a__isPalListKind(V2),V1,V2)a__U44(tt,V1,V2)a__U45(a__isList(V1),V2)a__U45(tt,V2)a__U46(a__isNeList(V2))a__U46(tt)tta__U51(tt,V1,V2)a__U52(a__isPalListKind(V1),V1,V2)a__U52(tt,V1,V2)a__U53(a__isPalListKind(V2),V1,V2)a__U53(tt,V1,V2)a__U54(a__isPalListKind(V2),V1,V2)a__U54(tt,V1,V2)a__U55(a__isNeList(V1),V2)a__U55(tt,V2)a__U56(a__isList(V2))a__U56(tt)tta__U61(tt,V)a__U62(a__isPalListKind(V),V)a__U62(tt,V)a__U63(a__isQid(V))a__U63(tt)tta__U71(tt,I,P)a__U72(a__isPalListKind(I),P)a__U72(tt,P)a__U73(a__isPal(P),P)a__U73(tt,P)a__U74(a__isPalListKind(P))a__U74(tt)tta__U81(tt,V)a__U82(a__isPalListKind(V),V)a__U82(tt,V)a__U83(a__isNePal(V))a__U83(tt)tta__U91(tt,V2)a__U92(a__isPalListKind(V2))a__U92(tt)tta__isList(V)a__U11(a__isPalListKind(V),V)a__isList(nil)tta__isList(__(V1,V2))a__U21(a__isPalListKind(V1),V1,V2)a__isNeList(V)a__U31(a__isPalListKind(V),V)a__isNeList(__(V1,V2))a__U41(a__isPalListKind(V1),V1,V2)a__isNeList(__(V1,V2))a__U51(a__isPalListKind(V1),V1,V2)a__isNePal(V)a__U61(a__isPalListKind(V),V)a__isNePal(__(I,__(P,I)))a__U71(a__isQid(I),I,P)a__isPal(V)a__U81(a__isPalListKind(V),V)a__isPal(nil)tta__isPalListKind(a)tta__isPalListKind(e)tta__isPalListKind(i)tta__isPalListKind(nil)tta__isPalListKind(o)tta__isPalListKind(u)tta__isPalListKind(__(V1,V2))a__U91(a__isPalListKind(V1),V2)a__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(U11(X1,X2))a__U11(mark(X1),X2)mark(U12(X1,X2))a__U12(mark(X1),X2)mark(isPalListKind(X))a__isPalListKind(X)mark(U13(X))a__U13(mark(X))mark(isNeList(X))a__isNeList(X)mark(U21(X1,X2,X3))a__U21(mark(X1),X2,X3)mark(U22(X1,X2,X3))a__U22(mark(X1),X2,X3)mark(U23(X1,X2,X3))a__U23(mark(X1),X2,X3)mark(U24(X1,X2,X3))a__U24(mark(X1),X2,X3)mark(U25(X1,X2))a__U25(mark(X1),X2)mark(isList(X))a__isList(X)mark(U26(X))a__U26(mark(X))mark(U31(X1,X2))a__U31(mark(X1),X2)mark(U32(X1,X2))a__U32(mark(X1),X2)mark(U33(X))a__U33(mark(X))mark(isQid(X))a__isQid(X)mark(U41(X1,X2,X3))a__U41(mark(X1),X2,X3)mark(U42(X1,X2,X3))a__U42(mark(X1),X2,X3)mark(U43(X1,X2,X3))a__U43(mark(X1),X2,X3)mark(U44(X1,X2,X3))a__U44(mark(X1),X2,X3)mark(U45(X1,X2))a__U45(mark(X1),X2)mark(U46(X))a__U46(mark(X))mark(U51(X1,X2,X3))a__U51(mark(X1),X2,X3)mark(U52(X1,X2,X3))a__U52(mark(X1),X2,X3)mark(U53(X1,X2,X3))a__U53(mark(X1),X2,X3)mark(U54(X1,X2,X3))a__U54(mark(X1),X2,X3)mark(U55(X1,X2))a__U55(mark(X1),X2)mark(U56(X))a__U56(mark(X))mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X1,X2))a__U62(mark(X1),X2)mark(U63(X))a__U63(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(U73(X1,X2))a__U73(mark(X1),X2)mark(isPal(X))a__isPal(X)mark(U74(X))a__U74(mark(X))mark(U81(X1,X2))a__U81(mark(X1),X2)mark(U82(X1,X2))a__U82(mark(X1),X2)mark(U83(X))a__U83(mark(X))mark(isNePal(X))a__isNePal(X)mark(U91(X1,X2))a__U91(mark(X1),X2)mark(U92(X))a__U92(mark(X))mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__U11(X1,X2)U11(X1,X2)a__U12(X1,X2)U12(X1,X2)a__isPalListKind(X)isPalListKind(X)a__U13(X)U13(X)a__isNeList(X)isNeList(X)a__U21(X1,X2,X3)U21(X1,X2,X3)a__U22(X1,X2,X3)U22(X1,X2,X3)a__U23(X1,X2,X3)U23(X1,X2,X3)a__U24(X1,X2,X3)U24(X1,X2,X3)a__U25(X1,X2)U25(X1,X2)a__isList(X)isList(X)a__U26(X)U26(X)a__U31(X1,X2)U31(X1,X2)a__U32(X1,X2)U32(X1,X2)a__U33(X)U33(X)a__isQid(X)isQid(X)a__U41(X1,X2,X3)U41(X1,X2,X3)a__U42(X1,X2,X3)U42(X1,X2,X3)a__U43(X1,X2,X3)U43(X1,X2,X3)a__U44(X1,X2,X3)U44(X1,X2,X3)a__U45(X1,X2)U45(X1,X2)a__U46(X)U46(X)a__U51(X1,X2,X3)U51(X1,X2,X3)a__U52(X1,X2,X3)U52(X1,X2,X3)a__U53(X1,X2,X3)U53(X1,X2,X3)a__U54(X1,X2,X3)U54(X1,X2,X3)a__U55(X1,X2)U55(X1,X2)a__U56(X)U56(X)a__U61(X1,X2)U61(X1,X2)a__U62(X1,X2)U62(X1,X2)a__U63(X)U63(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__U73(X1,X2)U73(X1,X2)a__isPal(X)isPal(X)a__U74(X)U74(X)a__U81(X1,X2)U81(X1,X2)a__U82(X1,X2)U82(X1,X2)a__U83(X)U83(X)a__isNePal(X)isNePal(X)a__U91(X1,X2)U91(X1,X2)a__U92(X)U92(X)Marked_a__U71(tt,I,P)Marked_a__U72(a__isPalListKind(I),P)Marked_a__U72(tt,P)Marked_a__isPal(P)Marked_a__U81(tt,V)Marked_a__U82(a__isPalListKind(V),V)Marked_a__U82(tt,V)Marked_a__isNePal(V)Marked_a__isNePal(__(I,__(P,I)))Marked_a__U71(a__isQid(I),I,P)Marked_a__isPal(V)Marked_a__U81(a__isPalListKind(V),V)Marked_a__isNePal1Marked_a__U822Marked_a__U812Marked_a__isPal1Marked_a__U722Marked_a__U713Marked_a__isNePal(__(I,__(P,I)))Marked_a__U71(a__isQid(I),I,P)a____(__(X,Y),Z)a____(mark(X),a____(mark(Y),mark(Z)))a____(X,nil)mark(X)a____(nil,X)mark(X)a__U11(tt,V)a__U12(a__isPalListKind(V),V)a__U12(tt,V)a__U13(a__isNeList(V))a__U13(tt)tta__U21(tt,V1,V2)a__U22(a__isPalListKind(V1),V1,V2)a__U22(tt,V1,V2)a__U23(a__isPalListKind(V2),V1,V2)a__U23(tt,V1,V2)a__U24(a__isPalListKind(V2),V1,V2)a__U24(tt,V1,V2)a__U25(a__isList(V1),V2)a__U25(tt,V2)a__U26(a__isList(V2))a__U26(tt)tta__U31(tt,V)a__U32(a__isPalListKind(V),V)a__U32(tt,V)a__U33(a__isQid(V))a__U33(tt)tta__U41(tt,V1,V2)a__U42(a__isPalListKind(V1),V1,V2)a__U42(tt,V1,V2)a__U43(a__isPalListKind(V2),V1,V2)a__U43(tt,V1,V2)a__U44(a__isPalListKind(V2),V1,V2)a__U44(tt,V1,V2)a__U45(a__isList(V1),V2)a__U45(tt,V2)a__U46(a__isNeList(V2))a__U46(tt)tta__U51(tt,V1,V2)a__U52(a__isPalListKind(V1),V1,V2)a__U52(tt,V1,V2)a__U53(a__isPalListKind(V2),V1,V2)a__U53(tt,V1,V2)a__U54(a__isPalListKind(V2),V1,V2)a__U54(tt,V1,V2)a__U55(a__isNeList(V1),V2)a__U55(tt,V2)a__U56(a__isList(V2))a__U56(tt)tta__U61(tt,V)a__U62(a__isPalListKind(V),V)a__U62(tt,V)a__U63(a__isQid(V))a__U63(tt)tta__U71(tt,I,P)a__U72(a__isPalListKind(I),P)a__U72(tt,P)a__U73(a__isPal(P),P)a__U73(tt,P)a__U74(a__isPalListKind(P))a__U74(tt)tta__U81(tt,V)a__U82(a__isPalListKind(V),V)a__U82(tt,V)a__U83(a__isNePal(V))a__U83(tt)tta__U91(tt,V2)a__U92(a__isPalListKind(V2))a__U92(tt)tta__isList(V)a__U11(a__isPalListKind(V),V)a__isList(nil)tta__isList(__(V1,V2))a__U21(a__isPalListKind(V1),V1,V2)a__isNeList(V)a__U31(a__isPalListKind(V),V)a__isNeList(__(V1,V2))a__U41(a__isPalListKind(V1),V1,V2)a__isNeList(__(V1,V2))a__U51(a__isPalListKind(V1),V1,V2)a__isNePal(V)a__U61(a__isPalListKind(V),V)a__isNePal(__(I,__(P,I)))a__U71(a__isQid(I),I,P)a__isPal(V)a__U81(a__isPalListKind(V),V)a__isPal(nil)tta__isPalListKind(a)tta__isPalListKind(e)tta__isPalListKind(i)tta__isPalListKind(nil)tta__isPalListKind(o)tta__isPalListKind(u)tta__isPalListKind(__(V1,V2))a__U91(a__isPalListKind(V1),V2)a__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(U11(X1,X2))a__U11(mark(X1),X2)mark(U12(X1,X2))a__U12(mark(X1),X2)mark(isPalListKind(X))a__isPalListKind(X)mark(U13(X))a__U13(mark(X))mark(isNeList(X))a__isNeList(X)mark(U21(X1,X2,X3))a__U21(mark(X1),X2,X3)mark(U22(X1,X2,X3))a__U22(mark(X1),X2,X3)mark(U23(X1,X2,X3))a__U23(mark(X1),X2,X3)mark(U24(X1,X2,X3))a__U24(mark(X1),X2,X3)mark(U25(X1,X2))a__U25(mark(X1),X2)mark(isList(X))a__isList(X)mark(U26(X))a__U26(mark(X))mark(U31(X1,X2))a__U31(mark(X1),X2)mark(U32(X1,X2))a__U32(mark(X1),X2)mark(U33(X))a__U33(mark(X))mark(isQid(X))a__isQid(X)mark(U41(X1,X2,X3))a__U41(mark(X1),X2,X3)mark(U42(X1,X2,X3))a__U42(mark(X1),X2,X3)mark(U43(X1,X2,X3))a__U43(mark(X1),X2,X3)mark(U44(X1,X2,X3))a__U44(mark(X1),X2,X3)mark(U45(X1,X2))a__U45(mark(X1),X2)mark(U46(X))a__U46(mark(X))mark(U51(X1,X2,X3))a__U51(mark(X1),X2,X3)mark(U52(X1,X2,X3))a__U52(mark(X1),X2,X3)mark(U53(X1,X2,X3))a__U53(mark(X1),X2,X3)mark(U54(X1,X2,X3))a__U54(mark(X1),X2,X3)mark(U55(X1,X2))a__U55(mark(X1),X2)mark(U56(X))a__U56(mark(X))mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X1,X2))a__U62(mark(X1),X2)mark(U63(X))a__U63(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(U73(X1,X2))a__U73(mark(X1),X2)mark(isPal(X))a__isPal(X)mark(U74(X))a__U74(mark(X))mark(U81(X1,X2))a__U81(mark(X1),X2)mark(U82(X1,X2))a__U82(mark(X1),X2)mark(U83(X))a__U83(mark(X))mark(isNePal(X))a__isNePal(X)mark(U91(X1,X2))a__U91(mark(X1),X2)mark(U92(X))a__U92(mark(X))mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__U11(X1,X2)U11(X1,X2)a__U12(X1,X2)U12(X1,X2)a__isPalListKind(X)isPalListKind(X)a__U13(X)U13(X)a__isNeList(X)isNeList(X)a__U21(X1,X2,X3)U21(X1,X2,X3)a__U22(X1,X2,X3)U22(X1,X2,X3)a__U23(X1,X2,X3)U23(X1,X2,X3)a__U24(X1,X2,X3)U24(X1,X2,X3)a__U25(X1,X2)U25(X1,X2)a__isList(X)isList(X)a__U26(X)U26(X)a__U31(X1,X2)U31(X1,X2)a__U32(X1,X2)U32(X1,X2)a__U33(X)U33(X)a__isQid(X)isQid(X)a__U41(X1,X2,X3)U41(X1,X2,X3)a__U42(X1,X2,X3)U42(X1,X2,X3)a__U43(X1,X2,X3)U43(X1,X2,X3)a__U44(X1,X2,X3)U44(X1,X2,X3)a__U45(X1,X2)U45(X1,X2)a__U46(X)U46(X)a__U51(X1,X2,X3)U51(X1,X2,X3)a__U52(X1,X2,X3)U52(X1,X2,X3)a__U53(X1,X2,X3)U53(X1,X2,X3)a__U54(X1,X2,X3)U54(X1,X2,X3)a__U55(X1,X2)U55(X1,X2)a__U56(X)U56(X)a__U61(X1,X2)U61(X1,X2)a__U62(X1,X2)U62(X1,X2)a__U63(X)U63(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__U73(X1,X2)U73(X1,X2)a__isPal(X)isPal(X)a__U74(X)U74(X)a__U81(X1,X2)U81(X1,X2)a__U82(X1,X2)U82(X1,X2)a__U83(X)U83(X)a__isNePal(X)isNePal(X)a__U91(X1,X2)U91(X1,X2)a__U92(X)U92(X)Marked_a__isPal(V)Marked_a__U81(a__isPalListKind(V),V)Marked_a__U82(tt,V)Marked_a__isNePal(V)Marked_a__U81(tt,V)Marked_a__U82(a__isPalListKind(V),V)Marked_a__U72(tt,P)Marked_a__isPal(P)Marked_a__U71(tt,I,P)Marked_a__U72(a__isPalListKind(I),P)a____(__(X,Y),Z)a____(mark(X),a____(mark(Y),mark(Z)))a____(X,nil)mark(X)a____(nil,X)mark(X)a__U11(tt,V)a__U12(a__isPalListKind(V),V)a__U12(tt,V)a__U13(a__isNeList(V))a__U13(tt)tta__U21(tt,V1,V2)a__U22(a__isPalListKind(V1),V1,V2)a__U22(tt,V1,V2)a__U23(a__isPalListKind(V2),V1,V2)a__U23(tt,V1,V2)a__U24(a__isPalListKind(V2),V1,V2)a__U24(tt,V1,V2)a__U25(a__isList(V1),V2)a__U25(tt,V2)a__U26(a__isList(V2))a__U26(tt)tta__U31(tt,V)a__U32(a__isPalListKind(V),V)a__U32(tt,V)a__U33(a__isQid(V))a__U33(tt)tta__U41(tt,V1,V2)a__U42(a__isPalListKind(V1),V1,V2)a__U42(tt,V1,V2)a__U43(a__isPalListKind(V2),V1,V2)a__U43(tt,V1,V2)a__U44(a__isPalListKind(V2),V1,V2)a__U44(tt,V1,V2)a__U45(a__isList(V1),V2)a__U45(tt,V2)a__U46(a__isNeList(V2))a__U46(tt)tta__U51(tt,V1,V2)a__U52(a__isPalListKind(V1),V1,V2)a__U52(tt,V1,V2)a__U53(a__isPalListKind(V2),V1,V2)a__U53(tt,V1,V2)a__U54(a__isPalListKind(V2),V1,V2)a__U54(tt,V1,V2)a__U55(a__isNeList(V1),V2)a__U55(tt,V2)a__U56(a__isList(V2))a__U56(tt)tta__U61(tt,V)a__U62(a__isPalListKind(V),V)a__U62(tt,V)a__U63(a__isQid(V))a__U63(tt)tta__U71(tt,I,P)a__U72(a__isPalListKind(I),P)a__U72(tt,P)a__U73(a__isPal(P),P)a__U73(tt,P)a__U74(a__isPalListKind(P))a__U74(tt)tta__U81(tt,V)a__U82(a__isPalListKind(V),V)a__U82(tt,V)a__U83(a__isNePal(V))a__U83(tt)tta__U91(tt,V2)a__U92(a__isPalListKind(V2))a__U92(tt)tta__isList(V)a__U11(a__isPalListKind(V),V)a__isList(nil)tta__isList(__(V1,V2))a__U21(a__isPalListKind(V1),V1,V2)a__isNeList(V)a__U31(a__isPalListKind(V),V)a__isNeList(__(V1,V2))a__U41(a__isPalListKind(V1),V1,V2)a__isNeList(__(V1,V2))a__U51(a__isPalListKind(V1),V1,V2)a__isNePal(V)a__U61(a__isPalListKind(V),V)a__isNePal(__(I,__(P,I)))a__U71(a__isQid(I),I,P)a__isPal(V)a__U81(a__isPalListKind(V),V)a__isPal(nil)tta__isPalListKind(a)tta__isPalListKind(e)tta__isPalListKind(i)tta__isPalListKind(nil)tta__isPalListKind(o)tta__isPalListKind(u)tta__isPalListKind(__(V1,V2))a__U91(a__isPalListKind(V1),V2)a__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(U11(X1,X2))a__U11(mark(X1),X2)mark(U12(X1,X2))a__U12(mark(X1),X2)mark(isPalListKind(X))a__isPalListKind(X)mark(U13(X))a__U13(mark(X))mark(isNeList(X))a__isNeList(X)mark(U21(X1,X2,X3))a__U21(mark(X1),X2,X3)mark(U22(X1,X2,X3))a__U22(mark(X1),X2,X3)mark(U23(X1,X2,X3))a__U23(mark(X1),X2,X3)mark(U24(X1,X2,X3))a__U24(mark(X1),X2,X3)mark(U25(X1,X2))a__U25(mark(X1),X2)mark(isList(X))a__isList(X)mark(U26(X))a__U26(mark(X))mark(U31(X1,X2))a__U31(mark(X1),X2)mark(U32(X1,X2))a__U32(mark(X1),X2)mark(U33(X))a__U33(mark(X))mark(isQid(X))a__isQid(X)mark(U41(X1,X2,X3))a__U41(mark(X1),X2,X3)mark(U42(X1,X2,X3))a__U42(mark(X1),X2,X3)mark(U43(X1,X2,X3))a__U43(mark(X1),X2,X3)mark(U44(X1,X2,X3))a__U44(mark(X1),X2,X3)mark(U45(X1,X2))a__U45(mark(X1),X2)mark(U46(X))a__U46(mark(X))mark(U51(X1,X2,X3))a__U51(mark(X1),X2,X3)mark(U52(X1,X2,X3))a__U52(mark(X1),X2,X3)mark(U53(X1,X2,X3))a__U53(mark(X1),X2,X3)mark(U54(X1,X2,X3))a__U54(mark(X1),X2,X3)mark(U55(X1,X2))a__U55(mark(X1),X2)mark(U56(X))a__U56(mark(X))mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X1,X2))a__U62(mark(X1),X2)mark(U63(X))a__U63(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(U73(X1,X2))a__U73(mark(X1),X2)mark(isPal(X))a__isPal(X)mark(U74(X))a__U74(mark(X))mark(U81(X1,X2))a__U81(mark(X1),X2)mark(U82(X1,X2))a__U82(mark(X1),X2)mark(U83(X))a__U83(mark(X))mark(isNePal(X))a__isNePal(X)mark(U91(X1,X2))a__U91(mark(X1),X2)mark(U92(X))a__U92(mark(X))mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__U11(X1,X2)U11(X1,X2)a__U12(X1,X2)U12(X1,X2)a__isPalListKind(X)isPalListKind(X)a__U13(X)U13(X)a__isNeList(X)isNeList(X)a__U21(X1,X2,X3)U21(X1,X2,X3)a__U22(X1,X2,X3)U22(X1,X2,X3)a__U23(X1,X2,X3)U23(X1,X2,X3)a__U24(X1,X2,X3)U24(X1,X2,X3)a__U25(X1,X2)U25(X1,X2)a__isList(X)isList(X)a__U26(X)U26(X)a__U31(X1,X2)U31(X1,X2)a__U32(X1,X2)U32(X1,X2)a__U33(X)U33(X)a__isQid(X)isQid(X)a__U41(X1,X2,X3)U41(X1,X2,X3)a__U42(X1,X2,X3)U42(X1,X2,X3)a__U43(X1,X2,X3)U43(X1,X2,X3)a__U44(X1,X2,X3)U44(X1,X2,X3)a__U45(X1,X2)U45(X1,X2)a__U46(X)U46(X)a__U51(X1,X2,X3)U51(X1,X2,X3)a__U52(X1,X2,X3)U52(X1,X2,X3)a__U53(X1,X2,X3)U53(X1,X2,X3)a__U54(X1,X2,X3)U54(X1,X2,X3)a__U55(X1,X2)U55(X1,X2)a__U56(X)U56(X)a__U61(X1,X2)U61(X1,X2)a__U62(X1,X2)U62(X1,X2)a__U63(X)U63(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__U73(X1,X2)U73(X1,X2)a__isPal(X)isPal(X)a__U74(X)U74(X)a__U81(X1,X2)U81(X1,X2)a__U82(X1,X2)U82(X1,X2)a__U83(X)U83(X)a__isNePal(X)isNePal(X)a__U91(X1,X2)U91(X1,X2)a__U92(X)U92(X)Marked_a__U91(tt,V2)Marked_a__isPalListKind(V2)Marked_a__isPalListKind(__(V1,V2))Marked_a__U91(a__isPalListKind(V1),V2)Marked_a__isPalListKind(__(V1,V2))Marked_a__isPalListKind(V1)Marked_a__isPalListKind1Marked_a__U912Marked_a__isPalListKind(__(V1,V2))Marked_a__isPalListKind(V1)Marked_a__isPalListKind(__(V1,V2))Marked_a__U91(a__isPalListKind(V1),V2)a____(__(X,Y),Z)a____(mark(X),a____(mark(Y),mark(Z)))a____(X,nil)mark(X)a____(nil,X)mark(X)a__U11(tt,V)a__U12(a__isPalListKind(V),V)a__U12(tt,V)a__U13(a__isNeList(V))a__U13(tt)tta__U21(tt,V1,V2)a__U22(a__isPalListKind(V1),V1,V2)a__U22(tt,V1,V2)a__U23(a__isPalListKind(V2),V1,V2)a__U23(tt,V1,V2)a__U24(a__isPalListKind(V2),V1,V2)a__U24(tt,V1,V2)a__U25(a__isList(V1),V2)a__U25(tt,V2)a__U26(a__isList(V2))a__U26(tt)tta__U31(tt,V)a__U32(a__isPalListKind(V),V)a__U32(tt,V)a__U33(a__isQid(V))a__U33(tt)tta__U41(tt,V1,V2)a__U42(a__isPalListKind(V1),V1,V2)a__U42(tt,V1,V2)a__U43(a__isPalListKind(V2),V1,V2)a__U43(tt,V1,V2)a__U44(a__isPalListKind(V2),V1,V2)a__U44(tt,V1,V2)a__U45(a__isList(V1),V2)a__U45(tt,V2)a__U46(a__isNeList(V2))a__U46(tt)tta__U51(tt,V1,V2)a__U52(a__isPalListKind(V1),V1,V2)a__U52(tt,V1,V2)a__U53(a__isPalListKind(V2),V1,V2)a__U53(tt,V1,V2)a__U54(a__isPalListKind(V2),V1,V2)a__U54(tt,V1,V2)a__U55(a__isNeList(V1),V2)a__U55(tt,V2)a__U56(a__isList(V2))a__U56(tt)tta__U61(tt,V)a__U62(a__isPalListKind(V),V)a__U62(tt,V)a__U63(a__isQid(V))a__U63(tt)tta__U71(tt,I,P)a__U72(a__isPalListKind(I),P)a__U72(tt,P)a__U73(a__isPal(P),P)a__U73(tt,P)a__U74(a__isPalListKind(P))a__U74(tt)tta__U81(tt,V)a__U82(a__isPalListKind(V),V)a__U82(tt,V)a__U83(a__isNePal(V))a__U83(tt)tta__U91(tt,V2)a__U92(a__isPalListKind(V2))a__U92(tt)tta__isList(V)a__U11(a__isPalListKind(V),V)a__isList(nil)tta__isList(__(V1,V2))a__U21(a__isPalListKind(V1),V1,V2)a__isNeList(V)a__U31(a__isPalListKind(V),V)a__isNeList(__(V1,V2))a__U41(a__isPalListKind(V1),V1,V2)a__isNeList(__(V1,V2))a__U51(a__isPalListKind(V1),V1,V2)a__isNePal(V)a__U61(a__isPalListKind(V),V)a__isNePal(__(I,__(P,I)))a__U71(a__isQid(I),I,P)a__isPal(V)a__U81(a__isPalListKind(V),V)a__isPal(nil)tta__isPalListKind(a)tta__isPalListKind(e)tta__isPalListKind(i)tta__isPalListKind(nil)tta__isPalListKind(o)tta__isPalListKind(u)tta__isPalListKind(__(V1,V2))a__U91(a__isPalListKind(V1),V2)a__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(U11(X1,X2))a__U11(mark(X1),X2)mark(U12(X1,X2))a__U12(mark(X1),X2)mark(isPalListKind(X))a__isPalListKind(X)mark(U13(X))a__U13(mark(X))mark(isNeList(X))a__isNeList(X)mark(U21(X1,X2,X3))a__U21(mark(X1),X2,X3)mark(U22(X1,X2,X3))a__U22(mark(X1),X2,X3)mark(U23(X1,X2,X3))a__U23(mark(X1),X2,X3)mark(U24(X1,X2,X3))a__U24(mark(X1),X2,X3)mark(U25(X1,X2))a__U25(mark(X1),X2)mark(isList(X))a__isList(X)mark(U26(X))a__U26(mark(X))mark(U31(X1,X2))a__U31(mark(X1),X2)mark(U32(X1,X2))a__U32(mark(X1),X2)mark(U33(X))a__U33(mark(X))mark(isQid(X))a__isQid(X)mark(U41(X1,X2,X3))a__U41(mark(X1),X2,X3)mark(U42(X1,X2,X3))a__U42(mark(X1),X2,X3)mark(U43(X1,X2,X3))a__U43(mark(X1),X2,X3)mark(U44(X1,X2,X3))a__U44(mark(X1),X2,X3)mark(U45(X1,X2))a__U45(mark(X1),X2)mark(U46(X))a__U46(mark(X))mark(U51(X1,X2,X3))a__U51(mark(X1),X2,X3)mark(U52(X1,X2,X3))a__U52(mark(X1),X2,X3)mark(U53(X1,X2,X3))a__U53(mark(X1),X2,X3)mark(U54(X1,X2,X3))a__U54(mark(X1),X2,X3)mark(U55(X1,X2))a__U55(mark(X1),X2)mark(U56(X))a__U56(mark(X))mark(U61(X1,X2))a__U61(mark(X1),X2)mark(U62(X1,X2))a__U62(mark(X1),X2)mark(U63(X))a__U63(mark(X))mark(U71(X1,X2,X3))a__U71(mark(X1),X2,X3)mark(U72(X1,X2))a__U72(mark(X1),X2)mark(U73(X1,X2))a__U73(mark(X1),X2)mark(isPal(X))a__isPal(X)mark(U74(X))a__U74(mark(X))mark(U81(X1,X2))a__U81(mark(X1),X2)mark(U82(X1,X2))a__U82(mark(X1),X2)mark(U83(X))a__U83(mark(X))mark(isNePal(X))a__isNePal(X)mark(U91(X1,X2))a__U91(mark(X1),X2)mark(U92(X))a__U92(mark(X))mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__U11(X1,X2)U11(X1,X2)a__U12(X1,X2)U12(X1,X2)a__isPalListKind(X)isPalListKind(X)a__U13(X)U13(X)a__isNeList(X)isNeList(X)a__U21(X1,X2,X3)U21(X1,X2,X3)a__U22(X1,X2,X3)U22(X1,X2,X3)a__U23(X1,X2,X3)U23(X1,X2,X3)a__U24(X1,X2,X3)U24(X1,X2,X3)a__U25(X1,X2)U25(X1,X2)a__isList(X)isList(X)a__U26(X)U26(X)a__U31(X1,X2)U31(X1,X2)a__U32(X1,X2)U32(X1,X2)a__U33(X)U33(X)a__isQid(X)isQid(X)a__U41(X1,X2,X3)U41(X1,X2,X3)a__U42(X1,X2,X3)U42(X1,X2,X3)a__U43(X1,X2,X3)U43(X1,X2,X3)a__U44(X1,X2,X3)U44(X1,X2,X3)a__U45(X1,X2)U45(X1,X2)a__U46(X)U46(X)a__U51(X1,X2,X3)U51(X1,X2,X3)a__U52(X1,X2,X3)U52(X1,X2,X3)a__U53(X1,X2,X3)U53(X1,X2,X3)a__U54(X1,X2,X3)U54(X1,X2,X3)a__U55(X1,X2)U55(X1,X2)a__U56(X)U56(X)a__U61(X1,X2)U61(X1,X2)a__U62(X1,X2)U62(X1,X2)a__U63(X)U63(X)a__U71(X1,X2,X3)U71(X1,X2,X3)a__U72(X1,X2)U72(X1,X2)a__U73(X1,X2)U73(X1,X2)a__isPal(X)isPal(X)a__U74(X)U74(X)a__U81(X1,X2)U81(X1,X2)a__U82(X1,X2)U82(X1,X2)a__U83(X)U83(X)a__isNePal(X)isNePal(X)a__U91(X1,X2)U91(X1,X2)a__U92(X)U92(X)Marked_a__U91(tt,V2)Marked_a__isPalListKind(V2)