U31Marked_a__isPala__U61Marked_a__U41eU72a__isListMarked_a__U21U11isNePala__isNeListMarked_a__U52a__U81U51nilMarked_a____U22Marked_a__isQida__U52Marked_a__isNeLista__isNePalU61a__U11Marked_a__isListoU81a__U31Marked_a__U71a__isPalU42markMarked_markisListMarked_a__U81a__U51Marked_a__U42aU71a__U22Marked_a__U22uisQida__U42Marked_a__U61a__U71isNeList__Marked_a__U11U21Marked_a__isNePala__U41Marked_a__U51a__isQidU52ttMarked_a__U31iisPala__U21Marked_a__U72a__U72U41a____X2X1IV1VPV2ZYXa____(__(X,Y),Z)a____(mark(X),a____(mark(Y),mark(Z)))a____(X,nil)mark(X)a____(nil,X)mark(X)a__U11(tt)tta__U21(tt,V2)a__U22(a__isList(V2))a__U22(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNeList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isList(V2))a__U52(tt)tta__U61(tt)tta__U71(tt,P)a__U72(a__isPal(P))a__U72(tt)tta__U81(tt)tta__isList(V)a__U11(a__isNeList(V))a__isList(nil)tta__isList(__(V1,V2))a__U21(a__isList(V1),V2)a__isNeList(V)a__U31(a__isQid(V))a__isNeList(__(V1,V2))a__U41(a__isList(V1),V2)a__isNeList(__(V1,V2))a__U51(a__isNeList(V1),V2)a__isNePal(V)a__U61(a__isQid(V))a__isNePal(__(I,__(P,I)))a__U71(a__isQid(I),P)a__isPal(V)a__U81(a__isNePal(V))a__isPal(nil)tta__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(U11(X))a__U11(mark(X))mark(U21(X1,X2))a__U21(mark(X1),X2)mark(U22(X))a__U22(mark(X))mark(isList(X))a__isList(X)mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNeList(X))a__isNeList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(U61(X))a__U61(mark(X))mark(U71(X1,X2))a__U71(mark(X1),X2)mark(U72(X))a__U72(mark(X))mark(isPal(X))a__isPal(X)mark(U81(X))a__U81(mark(X))mark(isQid(X))a__isQid(X)mark(isNePal(X))a__isNePal(X)mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__U11(X)U11(X)a__U21(X1,X2)U21(X1,X2)a__U22(X)U22(X)a__isList(X)isList(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNeList(X)isNeList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__U61(X)U61(X)a__U71(X1,X2)U71(X1,X2)a__U72(X)U72(X)a__isPal(X)isPal(X)a__U81(X)U81(X)a__isQid(X)isQid(X)a__isNePal(X)isNePal(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)tta__U21(tt,V2)a__U22(a__isList(V2))a__U22(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNeList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isList(V2))a__U52(tt)tta__U61(tt)tta__U71(tt,P)a__U72(a__isPal(P))a__U72(tt)tta__U81(tt)tta__isList(V)a__U11(a__isNeList(V))a__isList(nil)tta__isList(__(V1,V2))a__U21(a__isList(V1),V2)a__isNeList(V)a__U31(a__isQid(V))a__isNeList(__(V1,V2))a__U41(a__isList(V1),V2)a__isNeList(__(V1,V2))a__U51(a__isNeList(V1),V2)a__isNePal(V)a__U61(a__isQid(V))a__isNePal(__(I,__(P,I)))a__U71(a__isQid(I),P)a__isPal(V)a__U81(a__isNePal(V))a__isPal(nil)tta__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(U11(X))a__U11(mark(X))mark(U21(X1,X2))a__U21(mark(X1),X2)mark(U22(X))a__U22(mark(X))mark(isList(X))a__isList(X)mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNeList(X))a__isNeList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(U61(X))a__U61(mark(X))mark(U71(X1,X2))a__U71(mark(X1),X2)mark(U72(X))a__U72(mark(X))mark(isPal(X))a__isPal(X)mark(U81(X))a__U81(mark(X))mark(isQid(X))a__isQid(X)mark(isNePal(X))a__isNePal(X)mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__U11(X)U11(X)a__U21(X1,X2)U21(X1,X2)a__U22(X)U22(X)a__isList(X)isList(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNeList(X)isNeList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__U61(X)U61(X)a__U71(X1,X2)U71(X1,X2)a__U72(X)U72(X)a__isPal(X)isPal(X)a__U81(X)U81(X)a__isQid(X)isQid(X)a__isNePal(X)isNePal(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__U21(tt,V2)Marked_a__U22(a__isList(V2))Marked_a__U21(tt,V2)Marked_a__isList(V2)Marked_a__U41(tt,V2)Marked_a__U42(a__isNeList(V2))Marked_a__U41(tt,V2)Marked_a__isNeList(V2)Marked_a__U51(tt,V2)Marked_a__U52(a__isList(V2))Marked_a__U51(tt,V2)Marked_a__isList(V2)Marked_a__U71(tt,P)Marked_a__U72(a__isPal(P))Marked_a__U71(tt,P)Marked_a__isPal(P)Marked_a__isList(V)Marked_a__U11(a__isNeList(V))Marked_a__isList(V)Marked_a__isNeList(V)Marked_a__isList(__(V1,V2))Marked_a__U21(a__isList(V1),V2)Marked_a__isList(__(V1,V2))Marked_a__isList(V1)Marked_a__isNeList(V)Marked_a__U31(a__isQid(V))Marked_a__isNeList(V)Marked_a__isQid(V)Marked_a__isNeList(__(V1,V2))Marked_a__U41(a__isList(V1),V2)Marked_a__isNeList(__(V1,V2))Marked_a__isList(V1)Marked_a__isNeList(__(V1,V2))Marked_a__U51(a__isNeList(V1),V2)Marked_a__isNeList(__(V1,V2))Marked_a__isNeList(V1)Marked_a__isNePal(V)Marked_a__U61(a__isQid(V))Marked_a__isNePal(V)Marked_a__isQid(V)Marked_a__isNePal(__(I,__(P,I)))Marked_a__U71(a__isQid(I),P)Marked_a__isNePal(__(I,__(P,I)))Marked_a__isQid(I)Marked_a__isPal(V)Marked_a__U81(a__isNePal(V))Marked_a__isPal(V)Marked_a__isNePal(V)Marked_mark(__(X1,X2))Marked_a____(mark(X1),mark(X2))Marked_mark(__(X1,X2))Marked_mark(X1)Marked_mark(__(X1,X2))Marked_mark(X2)Marked_mark(U11(X))Marked_a__U11(mark(X))Marked_mark(U11(X))Marked_mark(X)Marked_mark(U21(X1,X2))Marked_a__U21(mark(X1),X2)Marked_mark(U21(X1,X2))Marked_mark(X1)Marked_mark(U22(X))Marked_a__U22(mark(X))Marked_mark(U22(X))Marked_mark(X)Marked_mark(isList(X))Marked_a__isList(X)Marked_mark(U31(X))Marked_a__U31(mark(X))Marked_mark(U31(X))Marked_mark(X)Marked_mark(U41(X1,X2))Marked_a__U41(mark(X1),X2)Marked_mark(U41(X1,X2))Marked_mark(X1)Marked_mark(U42(X))Marked_a__U42(mark(X))Marked_mark(U42(X))Marked_mark(X)Marked_mark(isNeList(X))Marked_a__isNeList(X)Marked_mark(U51(X1,X2))Marked_a__U51(mark(X1),X2)Marked_mark(U51(X1,X2))Marked_mark(X1)Marked_mark(U52(X))Marked_a__U52(mark(X))Marked_mark(U52(X))Marked_mark(X)Marked_mark(U61(X))Marked_a__U61(mark(X))Marked_mark(U61(X))Marked_mark(X)Marked_mark(U71(X1,X2))Marked_a__U71(mark(X1),X2)Marked_mark(U71(X1,X2))Marked_mark(X1)Marked_mark(U72(X))Marked_a__U72(mark(X))Marked_mark(U72(X))Marked_mark(X)Marked_mark(isPal(X))Marked_a__isPal(X)Marked_mark(U81(X))Marked_a__U81(mark(X))Marked_mark(U81(X))Marked_mark(X)Marked_mark(isQid(X))Marked_a__isQid(X)Marked_mark(isNePal(X))Marked_a__isNePal(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)tta__U21(tt,V2)a__U22(a__isList(V2))a__U22(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNeList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isList(V2))a__U52(tt)tta__U61(tt)tta__U71(tt,P)a__U72(a__isPal(P))a__U72(tt)tta__U81(tt)tta__isList(V)a__U11(a__isNeList(V))a__isList(nil)tta__isList(__(V1,V2))a__U21(a__isList(V1),V2)a__isNeList(V)a__U31(a__isQid(V))a__isNeList(__(V1,V2))a__U41(a__isList(V1),V2)a__isNeList(__(V1,V2))a__U51(a__isNeList(V1),V2)a__isNePal(V)a__U61(a__isQid(V))a__isNePal(__(I,__(P,I)))a__U71(a__isQid(I),P)a__isPal(V)a__U81(a__isNePal(V))a__isPal(nil)tta__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(U11(X))a__U11(mark(X))mark(U21(X1,X2))a__U21(mark(X1),X2)mark(U22(X))a__U22(mark(X))mark(isList(X))a__isList(X)mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNeList(X))a__isNeList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(U61(X))a__U61(mark(X))mark(U71(X1,X2))a__U71(mark(X1),X2)mark(U72(X))a__U72(mark(X))mark(isPal(X))a__isPal(X)mark(U81(X))a__U81(mark(X))mark(isQid(X))a__isQid(X)mark(isNePal(X))a__isNePal(X)mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__U11(X)U11(X)a__U21(X1,X2)U21(X1,X2)a__U22(X)U22(X)a__isList(X)isList(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNeList(X)isNeList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__U61(X)U61(X)a__U71(X1,X2)U71(X1,X2)a__U72(X)U72(X)a__isPal(X)isPal(X)a__U81(X)U81(X)a__isQid(X)isQid(X)a__isNePal(X)isNePal(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(X))Marked_mark(X)Marked_mark(U21(X1,X2))Marked_mark(X1)Marked_mark(U22(X))Marked_mark(X)Marked_mark(U31(X))Marked_mark(X)Marked_mark(U41(X1,X2))Marked_mark(X1)Marked_mark(U42(X))Marked_mark(X)Marked_mark(U51(X1,X2))Marked_mark(X1)Marked_mark(U52(X))Marked_mark(X)Marked_mark(U61(X))Marked_mark(X)Marked_mark(U71(X1,X2))Marked_mark(X1)Marked_mark(U72(X))Marked_mark(X)Marked_mark(U81(X))Marked_mark(X)a____2110U4110a__U7220a__U2120isPal0i0tt0U5210a__isQid0a__U4110U2120__2110isNeList0a__U7110a__U4210isQid0u0a__U2220U7110a0a__U5120isList0Marked_mark30mark10U4210a__isPal0a__U3110U8110o0a__U1110U6120a__isNePal0a__U5210U2220Marked_a____330nil20U5120a__U8110a__isNeList0isNePal0U1110a__isList0U7220e0a__U6120U3110Marked_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)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)tta__U21(tt,V2)a__U22(a__isList(V2))a__U22(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNeList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isList(V2))a__U52(tt)tta__U61(tt)tta__U71(tt,P)a__U72(a__isPal(P))a__U72(tt)tta__U81(tt)tta__isList(V)a__U11(a__isNeList(V))a__isList(nil)tta__isList(__(V1,V2))a__U21(a__isList(V1),V2)a__isNeList(V)a__U31(a__isQid(V))a__isNeList(__(V1,V2))a__U41(a__isList(V1),V2)a__isNeList(__(V1,V2))a__U51(a__isNeList(V1),V2)a__isNePal(V)a__U61(a__isQid(V))a__isNePal(__(I,__(P,I)))a__U71(a__isQid(I),P)a__isPal(V)a__U81(a__isNePal(V))a__isPal(nil)tta__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(U11(X))a__U11(mark(X))mark(U21(X1,X2))a__U21(mark(X1),X2)mark(U22(X))a__U22(mark(X))mark(isList(X))a__isList(X)mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNeList(X))a__isNeList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(U61(X))a__U61(mark(X))mark(U71(X1,X2))a__U71(mark(X1),X2)mark(U72(X))a__U72(mark(X))mark(isPal(X))a__isPal(X)mark(U81(X))a__U81(mark(X))mark(isQid(X))a__isQid(X)mark(isNePal(X))a__isNePal(X)mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__U11(X)U11(X)a__U21(X1,X2)U21(X1,X2)a__U22(X)U22(X)a__isList(X)isList(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNeList(X)isNeList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__U61(X)U61(X)a__U71(X1,X2)U71(X1,X2)a__U72(X)U72(X)a__isPal(X)isPal(X)a__U81(X)U81(X)a__isQid(X)isQid(X)a__isNePal(X)isNePal(X)Marked_a____(__(X,Y),Z)Marked_a____(mark(X),a____(mark(Y),mark(Z)))Marked_mark(U11(X))Marked_mark(X)Marked_mark(U21(X1,X2))Marked_mark(X1)Marked_mark(U22(X))Marked_mark(X)Marked_mark(U31(X))Marked_mark(X)Marked_mark(U41(X1,X2))Marked_mark(X1)Marked_mark(U42(X))Marked_mark(X)Marked_mark(U51(X1,X2))Marked_mark(X1)Marked_mark(U52(X))Marked_mark(X)Marked_mark(U61(X))Marked_mark(X)Marked_mark(U71(X1,X2))Marked_mark(X1)Marked_mark(U72(X))Marked_mark(X)Marked_mark(U81(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)tta__U21(tt,V2)a__U22(a__isList(V2))a__U22(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNeList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isList(V2))a__U52(tt)tta__U61(tt)tta__U71(tt,P)a__U72(a__isPal(P))a__U72(tt)tta__U81(tt)tta__isList(V)a__U11(a__isNeList(V))a__isList(nil)tta__isList(__(V1,V2))a__U21(a__isList(V1),V2)a__isNeList(V)a__U31(a__isQid(V))a__isNeList(__(V1,V2))a__U41(a__isList(V1),V2)a__isNeList(__(V1,V2))a__U51(a__isNeList(V1),V2)a__isNePal(V)a__U61(a__isQid(V))a__isNePal(__(I,__(P,I)))a__U71(a__isQid(I),P)a__isPal(V)a__U81(a__isNePal(V))a__isPal(nil)tta__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(U11(X))a__U11(mark(X))mark(U21(X1,X2))a__U21(mark(X1),X2)mark(U22(X))a__U22(mark(X))mark(isList(X))a__isList(X)mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNeList(X))a__isNeList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(U61(X))a__U61(mark(X))mark(U71(X1,X2))a__U71(mark(X1),X2)mark(U72(X))a__U72(mark(X))mark(isPal(X))a__isPal(X)mark(U81(X))a__U81(mark(X))mark(isQid(X))a__isQid(X)mark(isNePal(X))a__isNePal(X)mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__U11(X)U11(X)a__U21(X1,X2)U21(X1,X2)a__U22(X)U22(X)a__isList(X)isList(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNeList(X)isNeList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__U61(X)U61(X)a__U71(X1,X2)U71(X1,X2)a__U72(X)U72(X)a__isPal(X)isPal(X)a__U81(X)U81(X)a__isQid(X)isQid(X)a__isNePal(X)isNePal(X)Marked_a____(__(X,Y),Z)Marked_a____(mark(X),a____(mark(Y),mark(Z)))a____1210U410a__U720a__U210isPal0i0tt0U520a__isQid0a__U410U210__1210isNeList0a__U7110a__U420isQid0u0a__U220U7110a0a__U510isList20mark10U420a__isPal0a__U310U810o0a__U110U610a__isNePal10a__U520U220Marked_a____10nil0U510a__U810a__isNeList0isNePal10U110a__isList20U720e0a__U610U310a____(__(X,Y),Z)a____(mark(X),a____(mark(Y),mark(Z)))a____(X,nil)mark(X)a____(nil,X)mark(X)a__U11(tt)tta__U21(tt,V2)a__U22(a__isList(V2))a__U22(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNeList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isList(V2))a__U52(tt)tta__U61(tt)tta__U71(tt,P)a__U72(a__isPal(P))a__U72(tt)tta__U81(tt)tta__isList(V)a__U11(a__isNeList(V))a__isList(nil)tta__isList(__(V1,V2))a__U21(a__isList(V1),V2)a__isNeList(V)a__U31(a__isQid(V))a__isNeList(__(V1,V2))a__U41(a__isList(V1),V2)a__isNeList(__(V1,V2))a__U51(a__isNeList(V1),V2)a__isNePal(V)a__U61(a__isQid(V))a__isNePal(__(I,__(P,I)))a__U71(a__isQid(I),P)a__isPal(V)a__U81(a__isNePal(V))a__isPal(nil)tta__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(U11(X))a__U11(mark(X))mark(U21(X1,X2))a__U21(mark(X1),X2)mark(U22(X))a__U22(mark(X))mark(isList(X))a__isList(X)mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNeList(X))a__isNeList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(U61(X))a__U61(mark(X))mark(U71(X1,X2))a__U71(mark(X1),X2)mark(U72(X))a__U72(mark(X))mark(isPal(X))a__isPal(X)mark(U81(X))a__U81(mark(X))mark(isQid(X))a__isQid(X)mark(isNePal(X))a__isNePal(X)mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__U11(X)U11(X)a__U21(X1,X2)U21(X1,X2)a__U22(X)U22(X)a__isList(X)isList(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNeList(X)isNeList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__U61(X)U61(X)a__U71(X1,X2)U71(X1,X2)a__U72(X)U72(X)a__isPal(X)isPal(X)a__U81(X)U81(X)a__isQid(X)isQid(X)a__isNePal(X)isNePal(X)Marked_mark(U11(X))Marked_mark(X)Marked_mark(U21(X1,X2))Marked_mark(X1)Marked_mark(U22(X))Marked_mark(X)Marked_mark(U31(X))Marked_mark(X)Marked_mark(U41(X1,X2))Marked_mark(X1)Marked_mark(U42(X))Marked_mark(X)Marked_mark(U51(X1,X2))Marked_mark(X1)Marked_mark(U52(X))Marked_mark(X)Marked_mark(U61(X))Marked_mark(X)Marked_mark(U71(X1,X2))Marked_mark(X1)Marked_mark(U72(X))Marked_mark(X)Marked_mark(U81(X))Marked_mark(X)Marked_mark1Marked_mark(U81(X))Marked_mark(X)Marked_mark(U72(X))Marked_mark(X)Marked_mark(U71(X1,X2))Marked_mark(X1)Marked_mark(U61(X))Marked_mark(X)Marked_mark(U52(X))Marked_mark(X)Marked_mark(U51(X1,X2))Marked_mark(X1)Marked_mark(U42(X))Marked_mark(X)Marked_mark(U41(X1,X2))Marked_mark(X1)Marked_mark(U31(X))Marked_mark(X)Marked_mark(U22(X))Marked_mark(X)Marked_mark(U21(X1,X2))Marked_mark(X1)Marked_mark(U11(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)tta__U21(tt,V2)a__U22(a__isList(V2))a__U22(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNeList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isList(V2))a__U52(tt)tta__U61(tt)tta__U71(tt,P)a__U72(a__isPal(P))a__U72(tt)tta__U81(tt)tta__isList(V)a__U11(a__isNeList(V))a__isList(nil)tta__isList(__(V1,V2))a__U21(a__isList(V1),V2)a__isNeList(V)a__U31(a__isQid(V))a__isNeList(__(V1,V2))a__U41(a__isList(V1),V2)a__isNeList(__(V1,V2))a__U51(a__isNeList(V1),V2)a__isNePal(V)a__U61(a__isQid(V))a__isNePal(__(I,__(P,I)))a__U71(a__isQid(I),P)a__isPal(V)a__U81(a__isNePal(V))a__isPal(nil)tta__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(U11(X))a__U11(mark(X))mark(U21(X1,X2))a__U21(mark(X1),X2)mark(U22(X))a__U22(mark(X))mark(isList(X))a__isList(X)mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNeList(X))a__isNeList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(U61(X))a__U61(mark(X))mark(U71(X1,X2))a__U71(mark(X1),X2)mark(U72(X))a__U72(mark(X))mark(isPal(X))a__isPal(X)mark(U81(X))a__U81(mark(X))mark(isQid(X))a__isQid(X)mark(isNePal(X))a__isNePal(X)mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__U11(X)U11(X)a__U21(X1,X2)U21(X1,X2)a__U22(X)U22(X)a__isList(X)isList(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNeList(X)isNeList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__U61(X)U61(X)a__U71(X1,X2)U71(X1,X2)a__U72(X)U72(X)a__isPal(X)isPal(X)a__U81(X)U81(X)a__isQid(X)isQid(X)a__isNePal(X)isNePal(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)tta__U21(tt,V2)a__U22(a__isList(V2))a__U22(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNeList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isList(V2))a__U52(tt)tta__U61(tt)tta__U71(tt,P)a__U72(a__isPal(P))a__U72(tt)tta__U81(tt)tta__isList(V)a__U11(a__isNeList(V))a__isList(nil)tta__isList(__(V1,V2))a__U21(a__isList(V1),V2)a__isNeList(V)a__U31(a__isQid(V))a__isNeList(__(V1,V2))a__U41(a__isList(V1),V2)a__isNeList(__(V1,V2))a__U51(a__isNeList(V1),V2)a__isNePal(V)a__U61(a__isQid(V))a__isNePal(__(I,__(P,I)))a__U71(a__isQid(I),P)a__isPal(V)a__U81(a__isNePal(V))a__isPal(nil)tta__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(U11(X))a__U11(mark(X))mark(U21(X1,X2))a__U21(mark(X1),X2)mark(U22(X))a__U22(mark(X))mark(isList(X))a__isList(X)mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNeList(X))a__isNeList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(U61(X))a__U61(mark(X))mark(U71(X1,X2))a__U71(mark(X1),X2)mark(U72(X))a__U72(mark(X))mark(isPal(X))a__isPal(X)mark(U81(X))a__U81(mark(X))mark(isQid(X))a__isQid(X)mark(isNePal(X))a__isNePal(X)mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__U11(X)U11(X)a__U21(X1,X2)U21(X1,X2)a__U22(X)U22(X)a__isList(X)isList(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNeList(X)isNeList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__U61(X)U61(X)a__U71(X1,X2)U71(X1,X2)a__U72(X)U72(X)a__isPal(X)isPal(X)a__U81(X)U81(X)a__isQid(X)isQid(X)a__isNePal(X)isNePal(X)Marked_a__U21(tt,V2)Marked_a__isList(V2)Marked_a__U41(tt,V2)Marked_a__isNeList(V2)Marked_a__U51(tt,V2)Marked_a__isList(V2)Marked_a__isList(V)Marked_a__isNeList(V)Marked_a__isList(__(V1,V2))Marked_a__U21(a__isList(V1),V2)Marked_a__isList(__(V1,V2))Marked_a__isList(V1)Marked_a__isNeList(__(V1,V2))Marked_a__U41(a__isList(V1),V2)Marked_a__isNeList(__(V1,V2))Marked_a__isList(V1)Marked_a__isNeList(__(V1,V2))Marked_a__U51(a__isNeList(V1),V2)Marked_a__isNeList(__(V1,V2))Marked_a__isNeList(V1)Marked_a__U512Marked_a__isNeList1Marked_a__U412Marked_a__isList1Marked_a__U212Marked_a__isNeList(__(V1,V2))Marked_a__isNeList(V1)Marked_a__isNeList(__(V1,V2))Marked_a__U51(a__isNeList(V1),V2)Marked_a__isNeList(__(V1,V2))Marked_a__isList(V1)Marked_a__isNeList(__(V1,V2))Marked_a__U41(a__isList(V1),V2)Marked_a__isList(__(V1,V2))Marked_a__isList(V1)Marked_a__isList(__(V1,V2))Marked_a__U21(a__isList(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)tta__U21(tt,V2)a__U22(a__isList(V2))a__U22(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNeList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isList(V2))a__U52(tt)tta__U61(tt)tta__U71(tt,P)a__U72(a__isPal(P))a__U72(tt)tta__U81(tt)tta__isList(V)a__U11(a__isNeList(V))a__isList(nil)tta__isList(__(V1,V2))a__U21(a__isList(V1),V2)a__isNeList(V)a__U31(a__isQid(V))a__isNeList(__(V1,V2))a__U41(a__isList(V1),V2)a__isNeList(__(V1,V2))a__U51(a__isNeList(V1),V2)a__isNePal(V)a__U61(a__isQid(V))a__isNePal(__(I,__(P,I)))a__U71(a__isQid(I),P)a__isPal(V)a__U81(a__isNePal(V))a__isPal(nil)tta__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(U11(X))a__U11(mark(X))mark(U21(X1,X2))a__U21(mark(X1),X2)mark(U22(X))a__U22(mark(X))mark(isList(X))a__isList(X)mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNeList(X))a__isNeList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(U61(X))a__U61(mark(X))mark(U71(X1,X2))a__U71(mark(X1),X2)mark(U72(X))a__U72(mark(X))mark(isPal(X))a__isPal(X)mark(U81(X))a__U81(mark(X))mark(isQid(X))a__isQid(X)mark(isNePal(X))a__isNePal(X)mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__U11(X)U11(X)a__U21(X1,X2)U21(X1,X2)a__U22(X)U22(X)a__isList(X)isList(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNeList(X)isNeList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__U61(X)U61(X)a__U71(X1,X2)U71(X1,X2)a__U72(X)U72(X)a__isPal(X)isPal(X)a__U81(X)U81(X)a__isQid(X)isQid(X)a__isNePal(X)isNePal(X)Marked_a__isList(V)Marked_a__isNeList(V)Marked_a__U51(tt,V2)Marked_a__isList(V2)Marked_a__U41(tt,V2)Marked_a__isNeList(V2)Marked_a__U21(tt,V2)Marked_a__isList(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)tta__U21(tt,V2)a__U22(a__isList(V2))a__U22(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNeList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isList(V2))a__U52(tt)tta__U61(tt)tta__U71(tt,P)a__U72(a__isPal(P))a__U72(tt)tta__U81(tt)tta__isList(V)a__U11(a__isNeList(V))a__isList(nil)tta__isList(__(V1,V2))a__U21(a__isList(V1),V2)a__isNeList(V)a__U31(a__isQid(V))a__isNeList(__(V1,V2))a__U41(a__isList(V1),V2)a__isNeList(__(V1,V2))a__U51(a__isNeList(V1),V2)a__isNePal(V)a__U61(a__isQid(V))a__isNePal(__(I,__(P,I)))a__U71(a__isQid(I),P)a__isPal(V)a__U81(a__isNePal(V))a__isPal(nil)tta__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(U11(X))a__U11(mark(X))mark(U21(X1,X2))a__U21(mark(X1),X2)mark(U22(X))a__U22(mark(X))mark(isList(X))a__isList(X)mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNeList(X))a__isNeList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(U61(X))a__U61(mark(X))mark(U71(X1,X2))a__U71(mark(X1),X2)mark(U72(X))a__U72(mark(X))mark(isPal(X))a__isPal(X)mark(U81(X))a__U81(mark(X))mark(isQid(X))a__isQid(X)mark(isNePal(X))a__isNePal(X)mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__U11(X)U11(X)a__U21(X1,X2)U21(X1,X2)a__U22(X)U22(X)a__isList(X)isList(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNeList(X)isNeList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__U61(X)U61(X)a__U71(X1,X2)U71(X1,X2)a__U72(X)U72(X)a__isPal(X)isPal(X)a__U81(X)U81(X)a__isQid(X)isQid(X)a__isNePal(X)isNePal(X)Marked_a__U71(tt,P)Marked_a__isPal(P)Marked_a__isNePal(__(I,__(P,I)))Marked_a__U71(a__isQid(I),P)Marked_a__isPal(V)Marked_a__isNePal(V)Marked_a__isNePal1Marked_a__isPal1Marked_a__U712Marked_a__isNePal(__(I,__(P,I)))Marked_a__U71(a__isQid(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)tta__U21(tt,V2)a__U22(a__isList(V2))a__U22(tt)tta__U31(tt)tta__U41(tt,V2)a__U42(a__isNeList(V2))a__U42(tt)tta__U51(tt,V2)a__U52(a__isList(V2))a__U52(tt)tta__U61(tt)tta__U71(tt,P)a__U72(a__isPal(P))a__U72(tt)tta__U81(tt)tta__isList(V)a__U11(a__isNeList(V))a__isList(nil)tta__isList(__(V1,V2))a__U21(a__isList(V1),V2)a__isNeList(V)a__U31(a__isQid(V))a__isNeList(__(V1,V2))a__U41(a__isList(V1),V2)a__isNeList(__(V1,V2))a__U51(a__isNeList(V1),V2)a__isNePal(V)a__U61(a__isQid(V))a__isNePal(__(I,__(P,I)))a__U71(a__isQid(I),P)a__isPal(V)a__U81(a__isNePal(V))a__isPal(nil)tta__isQid(a)tta__isQid(e)tta__isQid(i)tta__isQid(o)tta__isQid(u)ttmark(__(X1,X2))a____(mark(X1),mark(X2))mark(U11(X))a__U11(mark(X))mark(U21(X1,X2))a__U21(mark(X1),X2)mark(U22(X))a__U22(mark(X))mark(isList(X))a__isList(X)mark(U31(X))a__U31(mark(X))mark(U41(X1,X2))a__U41(mark(X1),X2)mark(U42(X))a__U42(mark(X))mark(isNeList(X))a__isNeList(X)mark(U51(X1,X2))a__U51(mark(X1),X2)mark(U52(X))a__U52(mark(X))mark(U61(X))a__U61(mark(X))mark(U71(X1,X2))a__U71(mark(X1),X2)mark(U72(X))a__U72(mark(X))mark(isPal(X))a__isPal(X)mark(U81(X))a__U81(mark(X))mark(isQid(X))a__isQid(X)mark(isNePal(X))a__isNePal(X)mark(nil)nilmark(tt)ttmark(a)amark(e)emark(i)imark(o)omark(u)ua____(X1,X2)__(X1,X2)a__U11(X)U11(X)a__U21(X1,X2)U21(X1,X2)a__U22(X)U22(X)a__isList(X)isList(X)a__U31(X)U31(X)a__U41(X1,X2)U41(X1,X2)a__U42(X)U42(X)a__isNeList(X)isNeList(X)a__U51(X1,X2)U51(X1,X2)a__U52(X)U52(X)a__U61(X)U61(X)a__U71(X1,X2)U71(X1,X2)a__U72(X)U72(X)a__isPal(X)isPal(X)a__U81(X)U81(X)a__isQid(X)isQid(X)a__isNePal(X)isNePal(X)Marked_a__isPal(V)Marked_a__isNePal(V)Marked_a__U71(tt,P)Marked_a__isPal(P)