The rewrite relation of the following TRS is considered.
There are 155 ruless (increase limit for explicit display).
There are 246 ruless (increase limit for explicit display).
The dependency pairs are split into 26 components.
active#(isNePal(V)) | → | mark#(U61(isPalListKind(V),V)) | (278) |
mark#(isPalListKind(X)) | → | active#(isPalListKind(X)) | (279) |
mark#(U52(X1,X2)) | → | active#(U52(mark(X1),X2)) | (395) |
mark#(isList(X)) | → | active#(isList(X)) | (277) |
mark#(U52(X1,X2)) | → | mark#(X1) | (274) |
mark#(U61(X1,X2)) | → | mark#(X1) | (273) |
active#(isNePal(__(I,__(P,I)))) | → | mark#(and(and(isQid(I),isPalListKind(I)),and(isPal(P),isPalListKind(P)))) | (391) |
mark#(U51(X1,X2,X3)) | → | active#(U51(mark(X1),X2,X3)) | (270) |
active#(U61(tt,V)) | → | mark#(U62(isQid(V))) | (388) |
mark#(U72(X)) | → | active#(U72(mark(X))) | (267) |
mark#(U22(X1,X2)) | → | mark#(X1) | (261) |
mark#(U71(X1,X2)) | → | mark#(X1) | (259) |
active#(and(tt,X)) | → | mark#(X) | (381) |
active#(U22(tt,V2)) | → | mark#(U23(isList(V2))) | (382) |
mark#(U32(X)) | → | active#(U32(mark(X))) | (254) |
mark#(__(X1,X2)) | → | mark#(X1) | (377) |
active#(isNeList(__(V1,V2))) | → | mark#(U41(and(isPalListKind(V1),isPalListKind(V2)),V1,V2)) | (252) |
mark#(U42(X1,X2)) | → | active#(U42(mark(X1),X2)) | (250) |
mark#(U53(X)) | → | active#(U53(mark(X))) | (371) |
active#(U31(tt,V)) | → | mark#(U32(isQid(V))) | (247) |
active#(__(X,nil)) | → | mark#(X) | (369) |
mark#(U22(X1,X2)) | → | active#(U22(mark(X1),X2)) | (368) |
mark#(U72(X)) | → | mark#(X) | (364) |
active#(isList(__(V1,V2))) | → | mark#(U21(and(isPalListKind(V1),isPalListKind(V2)),V1,V2)) | (240) |
mark#(U21(X1,X2,X3)) | → | mark#(X1) | (234) |
mark#(isNeList(X)) | → | active#(isNeList(X)) | (361) |
mark#(and(X1,X2)) | → | mark#(X1) | (358) |
mark#(isPal(X)) | → | active#(isPal(X)) | (353) |
mark#(U31(X1,X2)) | → | active#(U31(mark(X1),X2)) | (350) |
active#(__(__(X,Y),Z)) | → | mark#(__(X,__(Y,Z))) | (225) |
active#(isNeList(__(V1,V2))) | → | mark#(U51(and(isPalListKind(V1),isPalListKind(V2)),V1,V2)) | (347) |
mark#(and(X1,X2)) | → | active#(and(mark(X1),X2)) | (344) |
mark#(U31(X1,X2)) | → | mark#(X1) | (339) |
mark#(U23(X)) | → | active#(U23(mark(X))) | (340) |
mark#(U11(X1,X2)) | → | mark#(X1) | (341) |
mark#(U41(X1,X2,X3)) | → | mark#(X1) | (221) |
mark#(U11(X1,X2)) | → | active#(U11(mark(X1),X2)) | (338) |
mark#(U12(X)) | → | mark#(X) | (220) |
active#(isNeList(V)) | → | mark#(U31(isPalListKind(V),V)) | (216) |
active#(U71(tt,V)) | → | mark#(U72(isNePal(V))) | (214) |
active#(U42(tt,V2)) | → | mark#(U43(isNeList(V2))) | (215) |
mark#(U51(X1,X2,X3)) | → | mark#(X1) | (329) |
mark#(__(X1,X2)) | → | mark#(X2) | (327) |
mark#(U21(X1,X2,X3)) | → | active#(U21(mark(X1),X2,X3)) | (322) |
mark#(U62(X)) | → | active#(U62(mark(X))) | (205) |
mark#(__(X1,X2)) | → | active#(__(mark(X1),mark(X2))) | (202) |
active#(U21(tt,V1,V2)) | → | mark#(U22(isList(V1),V2)) | (203) |
mark#(U12(X)) | → | active#(U12(mark(X))) | (204) |
active#(U41(tt,V1,V2)) | → | mark#(U42(isList(V1),V2)) | (317) |
mark#(U23(X)) | → | mark#(X) | (314) |
active#(isList(V)) | → | mark#(U11(isPalListKind(V),V)) | (312) |
active#(isPal(V)) | → | mark#(U71(isPalListKind(V),V)) | (311) |
mark#(U32(X)) | → | mark#(X) | (189) |
active#(isPalListKind(__(V1,V2))) | → | mark#(and(isPalListKind(V1),isPalListKind(V2))) | (186) |
active#(__(nil,X)) | → | mark#(X) | (183) |
mark#(U42(X1,X2)) | → | mark#(X1) | (182) |
active#(U51(tt,V1,V2)) | → | mark#(U52(isNeList(V1),V2)) | (302) |
mark#(U71(X1,X2)) | → | active#(U71(mark(X1),X2)) | (300) |
mark#(isNePal(X)) | → | active#(isNePal(X)) | (299) |
mark#(U43(X)) | → | active#(U43(mark(X))) | (297) |
active#(U52(tt,V2)) | → | mark#(U53(isList(V2))) | (169) |
mark#(U61(X1,X2)) | → | active#(U61(mark(X1),X2)) | (170) |
mark#(isQid(X)) | → | active#(isQid(X)) | (168) |
mark#(U62(X)) | → | mark#(X) | (288) |
mark#(U43(X)) | → | mark#(X) | (163) |
mark#(U41(X1,X2,X3)) | → | active#(U41(mark(X1),X2,X3)) | (284) |
active#(U11(tt,V)) | → | mark#(U12(isNeList(V))) | (160) |
mark#(U53(X)) | → | mark#(X) | (282) |
[a] | = | 1 |
[U72#(x1)] | = | 0 |
[U32#(x1)] | = | 0 |
[U21(x1, x2, x3)] | = | 4 |
[isPalListKind#(x1)] | = | 0 |
[U11(x1, x2)] | = | 4 |
[isNeList(x1)] | = | 4 |
[isPal(x1)] | = | 4 |
[U42(x1, x2)] | = | 4 |
[u] | = | 1 |
[U71(x1, x2)] | = | 4 |
[and(x1, x2)] | = | 4 |
[isNeList#(x1)] | = | 0 |
[U43(x1)] | = | 1 |
[U23#(x1)] | = | 0 |
[U53#(x1)] | = | 0 |
[__#(x1, x2)] | = | 0 |
[U43#(x1)] | = | 0 |
[U23(x1)] | = | 3 |
[isNePal(x1)] | = | 4 |
[U72(x1)] | = | 1 |
[isQid#(x1)] | = | 0 |
[isPal#(x1)] | = | 0 |
[U52#(x1, x2)] | = | 0 |
[U12(x1)] | = | 1 |
[isQid(x1)] | = | 1 |
[o] | = | 1 |
[U42#(x1, x2)] | = | 0 |
[U12#(x1)] | = | 0 |
[U62#(x1)] | = | 0 |
[mark#(x1)] | = | 4 |
[isList(x1)] | = | 4 |
[isNePal#(x1)] | = | 0 |
[nil] | = | 1 |
[U62(x1)] | = | 1 |
[mark(x1)] | = | x1 + 1 |
[isList#(x1)] | = | 0 |
[U32(x1)] | = | 1 |
[i] | = | 1 |
[U52(x1, x2)] | = | 4 |
[U61(x1, x2)] | = | 4 |
[U51#(x1, x2, x3)] | = | 0 |
[e] | = | 1 |
[U11#(x1, x2)] | = | 0 |
[active(x1)] | = | 3 |
[U31(x1, x2)] | = | 4 |
[U41#(x1, x2, x3)] | = | 0 |
[active#(x1)] | = | x1 + 0 |
[U21#(x1, x2, x3)] | = | 0 |
[U22#(x1, x2)] | = | 0 |
[tt] | = | 3 |
[U71#(x1, x2)] | = | 0 |
[U22(x1, x2)] | = | 4 |
[U51(x1, x2, x3)] | = | 4 |
[isPalListKind(x1)] | = | 4 |
[U53(x1)] | = | 1 |
[U41(x1, x2, x3)] | = | 4 |
[U31#(x1, x2)] | = | 0 |
[and#(x1, x2)] | = | 0 |
[__(x1, x2)] | = | 4 |
[U61#(x1, x2)] | = | 0 |
U11(mark(X1),X2) | → | U11(X1,X2) | (80) |
U31(active(X1),X2) | → | U31(X1,X2) | (104) |
U31(X1,mark(X2)) | → | U31(X1,X2) | (103) |
U31(mark(X1),X2) | → | U31(X1,X2) | (102) |
U72(active(X)) | → | U72(X) | (145) |
U43(active(X)) | → | U43(X) | (121) |
U71(X1,mark(X2)) | → | U71(X1,X2) | (141) |
isPalListKind(mark(X)) | → | isPalListKind(X) | (152) |
U51(X1,X2,mark(X3)) | → | U51(X1,X2,X3) | (124) |
U71(mark(X1),X2) | → | U71(X1,X2) | (140) |
__(X1,mark(X2)) | → | __(X1,X2) | (77) |
U52(X1,active(X2)) | → | U52(X1,X2) | (131) |
U51(mark(X1),X2,X3) | → | U51(X1,X2,X3) | (122) |
U12(active(X)) | → | U12(X) | (85) |
U23(mark(X)) | → | U23(X) | (100) |
U31(X1,active(X2)) | → | U31(X1,X2) | (105) |
U61(X1,mark(X2)) | → | U61(X1,X2) | (135) |
U51(active(X1),X2,X3) | → | U51(X1,X2,X3) | (125) |
U71(X1,active(X2)) | → | U71(X1,X2) | (143) |
U42(X1,mark(X2)) | → | U42(X1,X2) | (117) |
and(active(X1),X2) | → | and(X1,X2) | (150) |
U71(active(X1),X2) | → | U71(X1,X2) | (142) |
U72(mark(X)) | → | U72(X) | (144) |
U61(X1,active(X2)) | → | U61(X1,X2) | (137) |
isNeList(active(X)) | → | isNeList(X) | (87) |
U12(mark(X)) | → | U12(X) | (84) |
U51(X1,X2,active(X3)) | → | U51(X1,X2,X3) | (127) |
and(mark(X1),X2) | → | and(X1,X2) | (148) |
U43(mark(X)) | → | U43(X) | (120) |
U21(X1,X2,active(X3)) | → | U21(X1,X2,X3) | (93) |
U42(X1,active(X2)) | → | U42(X1,X2) | (119) |
U21(X1,active(X2),X3) | → | U21(X1,X2,X3) | (92) |
U61(active(X1),X2) | → | U61(X1,X2) | (136) |
isPalListKind(active(X)) | → | isPalListKind(X) | (153) |
U21(mark(X1),X2,X3) | → | U21(X1,X2,X3) | (88) |
U51(X1,active(X2),X3) | → | U51(X1,X2,X3) | (126) |
U52(X1,mark(X2)) | → | U52(X1,X2) | (129) |
isQid(mark(X)) | → | isQid(X) | (108) |
U52(active(X1),X2) | → | U52(X1,X2) | (130) |
U32(mark(X)) | → | U32(X) | (106) |
U41(X1,mark(X2),X3) | → | U41(X1,X2,X3) | (111) |
U11(active(X1),X2) | → | U11(X1,X2) | (82) |
U53(active(X)) | → | U53(X) | (133) |
U21(X1,mark(X2),X3) | → | U21(X1,X2,X3) | (89) |
__(X1,active(X2)) | → | __(X1,X2) | (79) |
U23(active(X)) | → | U23(X) | (101) |
U22(active(X1),X2) | → | U22(X1,X2) | (96) |
__(active(X1),X2) | → | __(X1,X2) | (78) |
U42(active(X1),X2) | → | U42(X1,X2) | (118) |
U11(X1,mark(X2)) | → | U11(X1,X2) | (81) |
U52(mark(X1),X2) | → | U52(X1,X2) | (128) |
U61(mark(X1),X2) | → | U61(X1,X2) | (134) |
U22(mark(X1),X2) | → | U22(X1,X2) | (94) |
isQid(active(X)) | → | isQid(X) | (109) |
__(mark(X1),X2) | → | __(X1,X2) | (76) |
isList(mark(X)) | → | isList(X) | (98) |
U32(active(X)) | → | U32(X) | (107) |
isNePal(mark(X)) | → | isNePal(X) | (146) |
U21(X1,X2,mark(X3)) | → | U21(X1,X2,X3) | (90) |
U53(mark(X)) | → | U53(X) | (132) |
U41(mark(X1),X2,X3) | → | U41(X1,X2,X3) | (110) |
isPal(active(X)) | → | isPal(X) | (155) |
U42(mark(X1),X2) | → | U42(X1,X2) | (116) |
isPal(mark(X)) | → | isPal(X) | (154) |
and(X1,active(X2)) | → | and(X1,X2) | (151) |
U41(active(X1),X2,X3) | → | U41(X1,X2,X3) | (113) |
U62(mark(X)) | → | U62(X) | (138) |
U41(X1,X2,mark(X3)) | → | U41(X1,X2,X3) | (112) |
U51(X1,mark(X2),X3) | → | U51(X1,X2,X3) | (123) |
U62(active(X)) | → | U62(X) | (139) |
isNePal(active(X)) | → | isNePal(X) | (147) |
U21(active(X1),X2,X3) | → | U21(X1,X2,X3) | (91) |
U22(X1,active(X2)) | → | U22(X1,X2) | (97) |
isList(active(X)) | → | isList(X) | (99) |
U41(X1,active(X2),X3) | → | U41(X1,X2,X3) | (114) |
U22(X1,mark(X2)) | → | U22(X1,X2) | (95) |
and(X1,mark(X2)) | → | and(X1,X2) | (149) |
U41(X1,X2,active(X3)) | → | U41(X1,X2,X3) | (115) |
U11(X1,active(X2)) | → | U11(X1,X2) | (83) |
isNeList(mark(X)) | → | isNeList(X) | (86) |
mark#(U72(X)) | → | active#(U72(mark(X))) | (267) |
mark#(U32(X)) | → | active#(U32(mark(X))) | (254) |
mark#(U53(X)) | → | active#(U53(mark(X))) | (371) |
mark#(U23(X)) | → | active#(U23(mark(X))) | (340) |
mark#(U62(X)) | → | active#(U62(mark(X))) | (205) |
mark#(U12(X)) | → | active#(U12(mark(X))) | (204) |
mark#(U43(X)) | → | active#(U43(mark(X))) | (297) |
mark#(isQid(X)) | → | active#(isQid(X)) | (168) |
The dependency pairs are split into 1 component.
mark#(U21(X1,X2,X3)) | → | mark#(X1) | (234) |
mark#(U21(X1,X2,X3)) | → | active#(U21(mark(X1),X2,X3)) | (322) |
active#(U11(tt,V)) | → | mark#(U12(isNeList(V))) | (160) |
active#(U52(tt,V2)) | → | mark#(U53(isList(V2))) | (169) |
mark#(U31(X1,X2)) | → | mark#(X1) | (339) |
mark#(U31(X1,X2)) | → | active#(U31(mark(X1),X2)) | (350) |
active#(__(__(X,Y),Z)) | → | mark#(__(X,__(Y,Z))) | (225) |
active#(__(nil,X)) | → | mark#(X) | (183) |
active#(and(tt,X)) | → | mark#(X) | (381) |
mark#(and(X1,X2)) | → | mark#(X1) | (358) |
mark#(and(X1,X2)) | → | active#(and(mark(X1),X2)) | (344) |
active#(isNeList(__(V1,V2))) | → | mark#(U41(and(isPalListKind(V1),isPalListKind(V2)),V1,V2)) | (252) |
mark#(U61(X1,X2)) | → | mark#(X1) | (273) |
mark#(U61(X1,X2)) | → | active#(U61(mark(X1),X2)) | (170) |
active#(U71(tt,V)) | → | mark#(U72(isNePal(V))) | (214) |
active#(U61(tt,V)) | → | mark#(U62(isQid(V))) | (388) |
mark#(U51(X1,X2,X3)) | → | mark#(X1) | (329) |
mark#(U51(X1,X2,X3)) | → | active#(U51(mark(X1),X2,X3)) | (270) |
active#(isNeList(__(V1,V2))) | → | mark#(U51(and(isPalListKind(V1),isPalListKind(V2)),V1,V2)) | (347) |
active#(isList(V)) | → | mark#(U11(isPalListKind(V),V)) | (312) |
active#(isNePal(V)) | → | mark#(U61(isPalListKind(V),V)) | (278) |
mark#(U71(X1,X2)) | → | mark#(X1) | (259) |
mark#(U71(X1,X2)) | → | active#(U71(mark(X1),X2)) | (300) |
mark#(__(X1,X2)) | → | mark#(X2) | (327) |
mark#(__(X1,X2)) | → | mark#(X1) | (377) |
mark#(__(X1,X2)) | → | active#(__(mark(X1),mark(X2))) | (202) |
mark#(U62(X)) | → | mark#(X) | (288) |
active#(U22(tt,V2)) | → | mark#(U23(isList(V2))) | (382) |
active#(isNeList(V)) | → | mark#(U31(isPalListKind(V),V)) | (216) |
mark#(isNeList(X)) | → | active#(isNeList(X)) | (361) |
mark#(isList(X)) | → | active#(isList(X)) | (277) |
active#(isPal(V)) | → | mark#(U71(isPalListKind(V),V)) | (311) |
mark#(U53(X)) | → | mark#(X) | (282) |
active#(U51(tt,V1,V2)) | → | mark#(U52(isNeList(V1),V2)) | (302) |
active#(U42(tt,V2)) | → | mark#(U43(isNeList(V2))) | (215) |
mark#(isPalListKind(X)) | → | active#(isPalListKind(X)) | (279) |
mark#(isPal(X)) | → | active#(isPal(X)) | (353) |
active#(isList(__(V1,V2))) | → | mark#(U21(and(isPalListKind(V1),isPalListKind(V2)),V1,V2)) | (240) |
mark#(U41(X1,X2,X3)) | → | mark#(X1) | (221) |
mark#(U41(X1,X2,X3)) | → | active#(U41(mark(X1),X2,X3)) | (284) |
active#(U41(tt,V1,V2)) | → | mark#(U42(isList(V1),V2)) | (317) |
active#(U31(tt,V)) | → | mark#(U32(isQid(V))) | (247) |
mark#(U22(X1,X2)) | → | mark#(X1) | (261) |
mark#(U22(X1,X2)) | → | active#(U22(mark(X1),X2)) | (368) |
mark#(isNePal(X)) | → | active#(isNePal(X)) | (299) |
mark#(U32(X)) | → | mark#(X) | (189) |
mark#(U43(X)) | → | mark#(X) | (163) |
active#(U21(tt,V1,V2)) | → | mark#(U22(isList(V1),V2)) | (203) |
active#(isPalListKind(__(V1,V2))) | → | mark#(and(isPalListKind(V1),isPalListKind(V2))) | (186) |
mark#(U52(X1,X2)) | → | mark#(X1) | (274) |
mark#(U52(X1,X2)) | → | active#(U52(mark(X1),X2)) | (395) |
mark#(U42(X1,X2)) | → | mark#(X1) | (182) |
mark#(U42(X1,X2)) | → | active#(U42(mark(X1),X2)) | (250) |
mark#(U12(X)) | → | mark#(X) | (220) |
mark#(U23(X)) | → | mark#(X) | (314) |
mark#(U11(X1,X2)) | → | mark#(X1) | (341) |
mark#(U11(X1,X2)) | → | active#(U11(mark(X1),X2)) | (338) |
mark#(U72(X)) | → | mark#(X) | (364) |
active#(isNePal(__(I,__(P,I)))) | → | mark#(and(and(isQid(I),isPalListKind(I)),and(isPal(P),isPalListKind(P)))) | (391) |
active#(__(X,nil)) | → | mark#(X) | (369) |
[a] | = | 3566 |
[U72#(x1)] | = | 0 |
[U32#(x1)] | = | 0 |
[U21(x1, x2, x3)] | = | x1 + x2 + x3 + 15 |
[isPalListKind#(x1)] | = | 0 |
[U11(x1, x2)] | = | x1 + x2 + 5 |
[isNeList(x1)] | = | x1 + 3 |
[isPal(x1)] | = | x1 + 5 |
[U42(x1, x2)] | = | x1 + x2 + 5 |
[u] | = | 1 |
[U71(x1, x2)] | = | x1 + x2 + 4 |
[and(x1, x2)] | = | x1 + x2 + 0 |
[isNeList#(x1)] | = | 0 |
[U43(x1)] | = | x1 + 1 |
[U23#(x1)] | = | 0 |
[U53#(x1)] | = | 0 |
[__#(x1, x2)] | = | 0 |
[U43#(x1)] | = | 0 |
[U23(x1)] | = | x1 + 1 |
[isNePal(x1)] | = | x1 + 3 |
[U72(x1)] | = | x1 + 0 |
[isQid#(x1)] | = | 0 |
[isPal#(x1)] | = | 0 |
[U52#(x1, x2)] | = | 0 |
[U12(x1)] | = | x1 + 1 |
[isQid(x1)] | = | x1 + 0 |
[o] | = | 1 |
[U42#(x1, x2)] | = | 0 |
[U12#(x1)] | = | 0 |
[U62#(x1)] | = | 0 |
[mark#(x1)] | = | x1 + 4 |
[isList(x1)] | = | x1 + 6 |
[isNePal#(x1)] | = | 0 |
[nil] | = | 1 |
[U62(x1)] | = | x1 + 1 |
[mark(x1)] | = | x1 + 0 |
[isList#(x1)] | = | 0 |
[U32(x1)] | = | x1 + 1 |
[i] | = | 0 |
[U52(x1, x2)] | = | x1 + x2 + 8 |
[U61(x1, x2)] | = | x1 + x2 + 2 |
[U51#(x1, x2, x3)] | = | 0 |
[e] | = | 0 |
[U11#(x1, x2)] | = | 0 |
[active(x1)] | = | x1 + 0 |
[U31(x1, x2)] | = | x1 + x2 + 2 |
[U41#(x1, x2, x3)] | = | 0 |
[active#(x1)] | = | x1 + 4 |
[U21#(x1, x2, x3)] | = | 0 |
[U22#(x1, x2)] | = | 0 |
[tt] | = | 0 |
[U71#(x1, x2)] | = | 0 |
[U22(x1, x2)] | = | x1 + x2 + 8 |
[U51(x1, x2, x3)] | = | x1 + x2 + x3 + 12 |
[isPalListKind(x1)] | = | 0 |
[U53(x1)] | = | x1 + 1 |
[U41(x1, x2, x3)] | = | x1 + x2 + x3 + 12 |
[U31#(x1, x2)] | = | 0 |
[and#(x1, x2)] | = | 0 |
[__(x1, x2)] | = | x1 + x2 + 10 |
[U61#(x1, x2)] | = | 0 |
There are 155 ruless (increase limit for explicit display).
(w.r.t. the implicit argument filter of the reduction pair), the pairsmark#(U21(X1,X2,X3)) | → | mark#(X1) | (234) |
active#(U11(tt,V)) | → | mark#(U12(isNeList(V))) | (160) |
active#(U52(tt,V2)) | → | mark#(U53(isList(V2))) | (169) |
mark#(U31(X1,X2)) | → | mark#(X1) | (339) |
active#(__(nil,X)) | → | mark#(X) | (183) |
active#(isNeList(__(V1,V2))) | → | mark#(U41(and(isPalListKind(V1),isPalListKind(V2)),V1,V2)) | (252) |
mark#(U61(X1,X2)) | → | mark#(X1) | (273) |
active#(U71(tt,V)) | → | mark#(U72(isNePal(V))) | (214) |
active#(U61(tt,V)) | → | mark#(U62(isQid(V))) | (388) |
mark#(U51(X1,X2,X3)) | → | mark#(X1) | (329) |
active#(isNeList(__(V1,V2))) | → | mark#(U51(and(isPalListKind(V1),isPalListKind(V2)),V1,V2)) | (347) |
active#(isList(V)) | → | mark#(U11(isPalListKind(V),V)) | (312) |
active#(isNePal(V)) | → | mark#(U61(isPalListKind(V),V)) | (278) |
mark#(U71(X1,X2)) | → | mark#(X1) | (259) |
mark#(__(X1,X2)) | → | mark#(X2) | (327) |
mark#(__(X1,X2)) | → | mark#(X1) | (377) |
mark#(U62(X)) | → | mark#(X) | (288) |
active#(U22(tt,V2)) | → | mark#(U23(isList(V2))) | (382) |
active#(isNeList(V)) | → | mark#(U31(isPalListKind(V),V)) | (216) |
active#(isPal(V)) | → | mark#(U71(isPalListKind(V),V)) | (311) |
mark#(U53(X)) | → | mark#(X) | (282) |
active#(U51(tt,V1,V2)) | → | mark#(U52(isNeList(V1),V2)) | (302) |
active#(U42(tt,V2)) | → | mark#(U43(isNeList(V2))) | (215) |
active#(isList(__(V1,V2))) | → | mark#(U21(and(isPalListKind(V1),isPalListKind(V2)),V1,V2)) | (240) |
mark#(U41(X1,X2,X3)) | → | mark#(X1) | (221) |
active#(U41(tt,V1,V2)) | → | mark#(U42(isList(V1),V2)) | (317) |
active#(U31(tt,V)) | → | mark#(U32(isQid(V))) | (247) |
mark#(U22(X1,X2)) | → | mark#(X1) | (261) |
mark#(U32(X)) | → | mark#(X) | (189) |
mark#(U43(X)) | → | mark#(X) | (163) |
active#(U21(tt,V1,V2)) | → | mark#(U22(isList(V1),V2)) | (203) |
mark#(U52(X1,X2)) | → | mark#(X1) | (274) |
mark#(U42(X1,X2)) | → | mark#(X1) | (182) |
mark#(U12(X)) | → | mark#(X) | (220) |
mark#(U23(X)) | → | mark#(X) | (314) |
mark#(U11(X1,X2)) | → | mark#(X1) | (341) |
active#(isNePal(__(I,__(P,I)))) | → | mark#(and(and(isQid(I),isPalListKind(I)),and(isPal(P),isPalListKind(P)))) | (391) |
active#(__(X,nil)) | → | mark#(X) | (369) |
The dependency pairs are split into 1 component.
mark#(U21(X1,X2,X3)) | → | active#(U21(mark(X1),X2,X3)) | (322) |
mark#(U31(X1,X2)) | → | active#(U31(mark(X1),X2)) | (350) |
active#(__(__(X,Y),Z)) | → | mark#(__(X,__(Y,Z))) | (225) |
active#(and(tt,X)) | → | mark#(X) | (381) |
mark#(and(X1,X2)) | → | mark#(X1) | (358) |
mark#(and(X1,X2)) | → | active#(and(mark(X1),X2)) | (344) |
mark#(U61(X1,X2)) | → | active#(U61(mark(X1),X2)) | (170) |
mark#(U51(X1,X2,X3)) | → | active#(U51(mark(X1),X2,X3)) | (270) |
mark#(U71(X1,X2)) | → | active#(U71(mark(X1),X2)) | (300) |
mark#(__(X1,X2)) | → | active#(__(mark(X1),mark(X2))) | (202) |
mark#(isNeList(X)) | → | active#(isNeList(X)) | (361) |
mark#(isList(X)) | → | active#(isList(X)) | (277) |
mark#(isPalListKind(X)) | → | active#(isPalListKind(X)) | (279) |
mark#(isPal(X)) | → | active#(isPal(X)) | (353) |
mark#(U41(X1,X2,X3)) | → | active#(U41(mark(X1),X2,X3)) | (284) |
mark#(U22(X1,X2)) | → | active#(U22(mark(X1),X2)) | (368) |
mark#(isNePal(X)) | → | active#(isNePal(X)) | (299) |
active#(isPalListKind(__(V1,V2))) | → | mark#(and(isPalListKind(V1),isPalListKind(V2))) | (186) |
mark#(U52(X1,X2)) | → | active#(U52(mark(X1),X2)) | (395) |
mark#(U42(X1,X2)) | → | active#(U42(mark(X1),X2)) | (250) |
mark#(U11(X1,X2)) | → | active#(U11(mark(X1),X2)) | (338) |
mark#(U72(X)) | → | mark#(X) | (364) |
[a] | = | 1 |
[U72#(x1)] | = | 0 |
[U32#(x1)] | = | 0 |
[U21(x1, x2, x3)] | = | 2 |
[isPalListKind#(x1)] | = | 0 |
[U11(x1, x2)] | = | 3 |
[isNeList(x1)] | = | 3 |
[isPal(x1)] | = | 3 |
[U42(x1, x2)] | = | 3 |
[u] | = | 1 |
[U71(x1, x2)] | = | 2 |
[and(x1, x2)] | = | 4 |
[isNeList#(x1)] | = | 0 |
[U43(x1)] | = | 1 |
[U23#(x1)] | = | 0 |
[U53#(x1)] | = | 0 |
[__#(x1, x2)] | = | 0 |
[U43#(x1)] | = | 0 |
[U23(x1)] | = | 1 |
[isNePal(x1)] | = | 1 |
[U72(x1)] | = | 1 |
[isQid#(x1)] | = | 0 |
[isPal#(x1)] | = | 0 |
[U52#(x1, x2)] | = | 0 |
[U12(x1)] | = | 1 |
[isQid(x1)] | = | 1 |
[o] | = | 1 |
[U42#(x1, x2)] | = | 0 |
[U12#(x1)] | = | 0 |
[U62#(x1)] | = | 0 |
[mark#(x1)] | = | 4 |
[isList(x1)] | = | 1 |
[isNePal#(x1)] | = | 0 |
[nil] | = | 1 |
[U62(x1)] | = | 1 |
[mark(x1)] | = | 1 |
[isList#(x1)] | = | 0 |
[U32(x1)] | = | 1 |
[i] | = | 1 |
[U52(x1, x2)] | = | 2 |
[U61(x1, x2)] | = | 3 |
[U51#(x1, x2, x3)] | = | 0 |
[e] | = | 1 |
[U11#(x1, x2)] | = | 0 |
[active(x1)] | = | 1 |
[U31(x1, x2)] | = | 3 |
[U41#(x1, x2, x3)] | = | 0 |
[active#(x1)] | = | x1 + 0 |
[U21#(x1, x2, x3)] | = | 0 |
[U22#(x1, x2)] | = | 0 |
[tt] | = | 0 |
[U71#(x1, x2)] | = | 0 |
[U22(x1, x2)] | = | 1 |
[U51(x1, x2, x3)] | = | 3 |
[isPalListKind(x1)] | = | 4 |
[U53(x1)] | = | 1 |
[U41(x1, x2, x3)] | = | 1 |
[U31#(x1, x2)] | = | 0 |
[and#(x1, x2)] | = | 0 |
[__(x1, x2)] | = | 4 |
[U61#(x1, x2)] | = | 0 |
There are 155 ruless (increase limit for explicit display).
(w.r.t. the implicit argument filter of the reduction pair), the pairsmark#(U21(X1,X2,X3)) | → | active#(U21(mark(X1),X2,X3)) | (322) |
mark#(U31(X1,X2)) | → | active#(U31(mark(X1),X2)) | (350) |
mark#(U61(X1,X2)) | → | active#(U61(mark(X1),X2)) | (170) |
mark#(U51(X1,X2,X3)) | → | active#(U51(mark(X1),X2,X3)) | (270) |
mark#(U71(X1,X2)) | → | active#(U71(mark(X1),X2)) | (300) |
mark#(isNeList(X)) | → | active#(isNeList(X)) | (361) |
mark#(isList(X)) | → | active#(isList(X)) | (277) |
mark#(isPal(X)) | → | active#(isPal(X)) | (353) |
mark#(U41(X1,X2,X3)) | → | active#(U41(mark(X1),X2,X3)) | (284) |
mark#(U22(X1,X2)) | → | active#(U22(mark(X1),X2)) | (368) |
mark#(isNePal(X)) | → | active#(isNePal(X)) | (299) |
mark#(U52(X1,X2)) | → | active#(U52(mark(X1),X2)) | (395) |
mark#(U42(X1,X2)) | → | active#(U42(mark(X1),X2)) | (250) |
mark#(U11(X1,X2)) | → | active#(U11(mark(X1),X2)) | (338) |
The dependency pairs are split into 1 component.
active#(__(__(X,Y),Z)) | → | mark#(__(X,__(Y,Z))) | (225) |
active#(and(tt,X)) | → | mark#(X) | (381) |
mark#(and(X1,X2)) | → | mark#(X1) | (358) |
mark#(and(X1,X2)) | → | active#(and(mark(X1),X2)) | (344) |
mark#(__(X1,X2)) | → | active#(__(mark(X1),mark(X2))) | (202) |
mark#(isPalListKind(X)) | → | active#(isPalListKind(X)) | (279) |
active#(isPalListKind(__(V1,V2))) | → | mark#(and(isPalListKind(V1),isPalListKind(V2))) | (186) |
mark#(U72(X)) | → | mark#(X) | (364) |
[a] | = | 16527 |
[U72#(x1)] | = | 0 |
[U32#(x1)] | = | 0 |
[U21(x1, x2, x3)] | = | 0 |
[isPalListKind#(x1)] | = | 0 |
[U11(x1, x2)] | = | 0 |
[isNeList(x1)] | = | x1 + 17979 |
[isPal(x1)] | = | x1 + 38763 |
[U42(x1, x2)] | = | 0 |
[u] | = | 29364 |
[U71(x1, x2)] | = | x2 + 38763 |
[and(x1, x2)] | = | x1 + x2 + 0 |
[isNeList#(x1)] | = | 0 |
[U43(x1)] | = | 0 |
[U23#(x1)] | = | 0 |
[U53#(x1)] | = | 0 |
[__#(x1, x2)] | = | 0 |
[U43#(x1)] | = | 0 |
[U23(x1)] | = | 0 |
[isNePal(x1)] | = | x1 + 38762 |
[U72(x1)] | = | x1 + 1 |
[isQid#(x1)] | = | 0 |
[isPal#(x1)] | = | 0 |
[U52#(x1, x2)] | = | 0 |
[U12(x1)] | = | 0 |
[isQid(x1)] | = | x1 + 1 |
[o] | = | 3699 |
[U42#(x1, x2)] | = | 0 |
[U12#(x1)] | = | 0 |
[U62#(x1)] | = | 0 |
[mark#(x1)] | = | x1 + 4 |
[isList(x1)] | = | 0 |
[isNePal#(x1)] | = | 0 |
[nil] | = | 20860 |
[U62(x1)] | = | 0 |
[mark(x1)] | = | x1 + 0 |
[isList#(x1)] | = | 0 |
[U32(x1)] | = | x1 + 0 |
[i] | = | 13704 |
[U52(x1, x2)] | = | 0 |
[U61(x1, x2)] | = | x2 + 12384 |
[U51#(x1, x2, x3)] | = | 0 |
[e] | = | 25644 |
[U11#(x1, x2)] | = | 0 |
[active(x1)] | = | x1 + 0 |
[U31(x1, x2)] | = | x2 + 17979 |
[U41#(x1, x2, x3)] | = | 0 |
[active#(x1)] | = | x1 + 4 |
[U21#(x1, x2, x3)] | = | 0 |
[U22#(x1, x2)] | = | 0 |
[tt] | = | 0 |
[U71#(x1, x2)] | = | 0 |
[U22(x1, x2)] | = | 0 |
[U51(x1, x2, x3)] | = | x2 + x3 + 0 |
[isPalListKind(x1)] | = | 0 |
[U53(x1)] | = | 0 |
[U41(x1, x2, x3)] | = | x2 + x3 + 1 |
[U31#(x1, x2)] | = | 0 |
[and#(x1, x2)] | = | 0 |
[__(x1, x2)] | = | x1 + x2 + 1 |
[U61#(x1, x2)] | = | 0 |
There are 155 ruless (increase limit for explicit display).
(w.r.t. the implicit argument filter of the reduction pair), the pairmark#(U72(X)) | → | mark#(X) | (364) |
The dependency pairs are split into 1 component.
active#(__(__(X,Y),Z)) | → | mark#(__(X,__(Y,Z))) | (225) |
active#(and(tt,X)) | → | mark#(X) | (381) |
mark#(and(X1,X2)) | → | mark#(X1) | (358) |
mark#(and(X1,X2)) | → | active#(and(mark(X1),X2)) | (344) |
mark#(__(X1,X2)) | → | active#(__(mark(X1),mark(X2))) | (202) |
mark#(isPalListKind(X)) | → | active#(isPalListKind(X)) | (279) |
active#(isPalListKind(__(V1,V2))) | → | mark#(and(isPalListKind(V1),isPalListKind(V2))) | (186) |
[a] | = | 1 |
[U72#(x1)] | = | 0 |
[U32#(x1)] | = | 0 |
[U21(x1, x2, x3)] | = | 0 |
[isPalListKind#(x1)] | = | 0 |
[U11(x1, x2)] | = | 0 |
[isNeList(x1)] | = | x1 + 1 |
[isPal(x1)] | = | 1 |
[U42(x1, x2)] | = | 0 |
[u] | = | 21530 |
[U71(x1, x2)] | = | 1 |
[and(x1, x2)] | = | x1 + x2 + 1 |
[isNeList#(x1)] | = | 0 |
[U43(x1)] | = | 0 |
[U23#(x1)] | = | 0 |
[U53#(x1)] | = | 0 |
[__#(x1, x2)] | = | 0 |
[U43#(x1)] | = | 0 |
[U23(x1)] | = | 0 |
[isNePal(x1)] | = | x1 + 21807 |
[U72(x1)] | = | 1 |
[isQid#(x1)] | = | 0 |
[isPal#(x1)] | = | 0 |
[U52#(x1, x2)] | = | 0 |
[U12(x1)] | = | 0 |
[isQid(x1)] | = | x1 + 1 |
[o] | = | 1 |
[U42#(x1, x2)] | = | 0 |
[U12#(x1)] | = | 0 |
[U62#(x1)] | = | 0 |
[mark#(x1)] | = | x1 + 4 |
[isList(x1)] | = | 0 |
[isNePal#(x1)] | = | 0 |
[nil] | = | 1 |
[U62(x1)] | = | 0 |
[mark(x1)] | = | x1 + 0 |
[isList#(x1)] | = | 0 |
[U32(x1)] | = | x1 + 0 |
[i] | = | 1 |
[U52(x1, x2)] | = | 0 |
[U61(x1, x2)] | = | x2 + 1 |
[U51#(x1, x2, x3)] | = | 0 |
[e] | = | 1 |
[U11#(x1, x2)] | = | 0 |
[active(x1)] | = | x1 + 0 |
[U31(x1, x2)] | = | x2 + 1 |
[U41#(x1, x2, x3)] | = | 0 |
[active#(x1)] | = | x1 + 4 |
[U21#(x1, x2, x3)] | = | 0 |
[U22#(x1, x2)] | = | 0 |
[tt] | = | 0 |
[U71#(x1, x2)] | = | 0 |
[U22(x1, x2)] | = | 0 |
[U51(x1, x2, x3)] | = | x2 + x3 + 0 |
[isPalListKind(x1)] | = | x1 + 1 |
[U53(x1)] | = | 0 |
[U41(x1, x2, x3)] | = | x2 + x3 + 1 |
[U31#(x1, x2)] | = | 0 |
[and#(x1, x2)] | = | 0 |
[__(x1, x2)] | = | x1 + x2 + 3 |
[U61#(x1, x2)] | = | 0 |
There are 155 ruless (increase limit for explicit display).
(w.r.t. the implicit argument filter of the reduction pair), the pairsactive#(and(tt,X)) | → | mark#(X) | (381) |
mark#(and(X1,X2)) | → | mark#(X1) | (358) |
active#(isPalListKind(__(V1,V2))) | → | mark#(and(isPalListKind(V1),isPalListKind(V2))) | (186) |
The dependency pairs are split into 1 component.
active#(__(__(X,Y),Z)) | → | mark#(__(X,__(Y,Z))) | (225) |
mark#(and(X1,X2)) | → | active#(and(mark(X1),X2)) | (344) |
mark#(__(X1,X2)) | → | active#(__(mark(X1),mark(X2))) | (202) |
mark#(isPalListKind(X)) | → | active#(isPalListKind(X)) | (279) |
[a] | = | 36202 |
[U72#(x1)] | = | 0 |
[U32#(x1)] | = | 0 |
[U21(x1, x2, x3)] | = | 36202 |
[isPalListKind#(x1)] | = | 0 |
[U11(x1, x2)] | = | 18871 |
[isNeList(x1)] | = | 36202 |
[isPal(x1)] | = | 36201 |
[U42(x1, x2)] | = | 11204 |
[u] | = | 36202 |
[U71(x1, x2)] | = | 36202 |
[and(x1, x2)] | = | 2237 |
[isNeList#(x1)] | = | 0 |
[U43(x1)] | = | 36202 |
[U23#(x1)] | = | 0 |
[U53#(x1)] | = | 0 |
[__#(x1, x2)] | = | 0 |
[U43#(x1)] | = | 0 |
[U23(x1)] | = | 36202 |
[isNePal(x1)] | = | 15450 |
[U72(x1)] | = | 36200 |
[isQid#(x1)] | = | 0 |
[isPal#(x1)] | = | 0 |
[U52#(x1, x2)] | = | 0 |
[U12(x1)] | = | 36202 |
[isQid(x1)] | = | 36200 |
[o] | = | 36202 |
[U42#(x1, x2)] | = | 0 |
[U12#(x1)] | = | 0 |
[U62#(x1)] | = | 0 |
[mark#(x1)] | = | 12524 |
[isList(x1)] | = | 36202 |
[isNePal#(x1)] | = | 0 |
[nil] | = | 36202 |
[U62(x1)] | = | 23802 |
[mark(x1)] | = | 36201 |
[isList#(x1)] | = | 0 |
[U32(x1)] | = | 36202 |
[i] | = | 36202 |
[U52(x1, x2)] | = | 36200 |
[U61(x1, x2)] | = | 36202 |
[U51#(x1, x2, x3)] | = | 0 |
[e] | = | 36202 |
[U11#(x1, x2)] | = | 0 |
[active(x1)] | = | x1 + 0 |
[U31(x1, x2)] | = | 36202 |
[U41#(x1, x2, x3)] | = | 0 |
[active#(x1)] | = | x1 + 4 |
[U21#(x1, x2, x3)] | = | 0 |
[U22#(x1, x2)] | = | 0 |
[tt] | = | 36202 |
[U71#(x1, x2)] | = | 0 |
[U22(x1, x2)] | = | 36200 |
[U51(x1, x2, x3)] | = | 14078 |
[isPalListKind(x1)] | = | 12519 |
[U53(x1)] | = | 36202 |
[U41(x1, x2, x3)] | = | 36202 |
[U31#(x1, x2)] | = | 0 |
[and#(x1, x2)] | = | 0 |
[__(x1, x2)] | = | 12520 |
[U61#(x1, x2)] | = | 0 |
U11(mark(X1),X2) | → | U11(X1,X2) | (80) |
U31(active(X1),X2) | → | U31(X1,X2) | (104) |
U31(X1,mark(X2)) | → | U31(X1,X2) | (103) |
U31(mark(X1),X2) | → | U31(X1,X2) | (102) |
U72(active(X)) | → | U72(X) | (145) |
U43(active(X)) | → | U43(X) | (121) |
U71(X1,mark(X2)) | → | U71(X1,X2) | (141) |
isPalListKind(mark(X)) | → | isPalListKind(X) | (152) |
U51(X1,X2,mark(X3)) | → | U51(X1,X2,X3) | (124) |
U71(mark(X1),X2) | → | U71(X1,X2) | (140) |
__(X1,mark(X2)) | → | __(X1,X2) | (77) |
U52(X1,active(X2)) | → | U52(X1,X2) | (131) |
U51(mark(X1),X2,X3) | → | U51(X1,X2,X3) | (122) |
U12(active(X)) | → | U12(X) | (85) |
U23(mark(X)) | → | U23(X) | (100) |
U31(X1,active(X2)) | → | U31(X1,X2) | (105) |
U61(X1,mark(X2)) | → | U61(X1,X2) | (135) |
U51(active(X1),X2,X3) | → | U51(X1,X2,X3) | (125) |
U71(X1,active(X2)) | → | U71(X1,X2) | (143) |
U42(X1,mark(X2)) | → | U42(X1,X2) | (117) |
and(active(X1),X2) | → | and(X1,X2) | (150) |
U71(active(X1),X2) | → | U71(X1,X2) | (142) |
U72(mark(X)) | → | U72(X) | (144) |
U61(X1,active(X2)) | → | U61(X1,X2) | (137) |
isNeList(active(X)) | → | isNeList(X) | (87) |
U12(mark(X)) | → | U12(X) | (84) |
U51(X1,X2,active(X3)) | → | U51(X1,X2,X3) | (127) |
and(mark(X1),X2) | → | and(X1,X2) | (148) |
U43(mark(X)) | → | U43(X) | (120) |
U21(X1,X2,active(X3)) | → | U21(X1,X2,X3) | (93) |
U42(X1,active(X2)) | → | U42(X1,X2) | (119) |
U21(X1,active(X2),X3) | → | U21(X1,X2,X3) | (92) |
U61(active(X1),X2) | → | U61(X1,X2) | (136) |
isPalListKind(active(X)) | → | isPalListKind(X) | (153) |
U21(mark(X1),X2,X3) | → | U21(X1,X2,X3) | (88) |
U51(X1,active(X2),X3) | → | U51(X1,X2,X3) | (126) |
U52(X1,mark(X2)) | → | U52(X1,X2) | (129) |
isQid(mark(X)) | → | isQid(X) | (108) |
U52(active(X1),X2) | → | U52(X1,X2) | (130) |
U32(mark(X)) | → | U32(X) | (106) |
U41(X1,mark(X2),X3) | → | U41(X1,X2,X3) | (111) |
U11(active(X1),X2) | → | U11(X1,X2) | (82) |
U53(active(X)) | → | U53(X) | (133) |
U21(X1,mark(X2),X3) | → | U21(X1,X2,X3) | (89) |
__(X1,active(X2)) | → | __(X1,X2) | (79) |
U23(active(X)) | → | U23(X) | (101) |
U22(active(X1),X2) | → | U22(X1,X2) | (96) |
__(active(X1),X2) | → | __(X1,X2) | (78) |
U42(active(X1),X2) | → | U42(X1,X2) | (118) |
U11(X1,mark(X2)) | → | U11(X1,X2) | (81) |
U52(mark(X1),X2) | → | U52(X1,X2) | (128) |
U61(mark(X1),X2) | → | U61(X1,X2) | (134) |
U22(mark(X1),X2) | → | U22(X1,X2) | (94) |
isQid(active(X)) | → | isQid(X) | (109) |
__(mark(X1),X2) | → | __(X1,X2) | (76) |
isList(mark(X)) | → | isList(X) | (98) |
U32(active(X)) | → | U32(X) | (107) |
isNePal(mark(X)) | → | isNePal(X) | (146) |
U21(X1,X2,mark(X3)) | → | U21(X1,X2,X3) | (90) |
U53(mark(X)) | → | U53(X) | (132) |
U41(mark(X1),X2,X3) | → | U41(X1,X2,X3) | (110) |
isPal(active(X)) | → | isPal(X) | (155) |
U42(mark(X1),X2) | → | U42(X1,X2) | (116) |
isPal(mark(X)) | → | isPal(X) | (154) |
and(X1,active(X2)) | → | and(X1,X2) | (151) |
U41(active(X1),X2,X3) | → | U41(X1,X2,X3) | (113) |
U62(mark(X)) | → | U62(X) | (138) |
U41(X1,X2,mark(X3)) | → | U41(X1,X2,X3) | (112) |
U51(X1,mark(X2),X3) | → | U51(X1,X2,X3) | (123) |
U62(active(X)) | → | U62(X) | (139) |
isNePal(active(X)) | → | isNePal(X) | (147) |
U21(active(X1),X2,X3) | → | U21(X1,X2,X3) | (91) |
U22(X1,active(X2)) | → | U22(X1,X2) | (97) |
isList(active(X)) | → | isList(X) | (99) |
U41(X1,active(X2),X3) | → | U41(X1,X2,X3) | (114) |
U22(X1,mark(X2)) | → | U22(X1,X2) | (95) |
and(X1,mark(X2)) | → | and(X1,X2) | (149) |
U41(X1,X2,active(X3)) | → | U41(X1,X2,X3) | (115) |
U11(X1,active(X2)) | → | U11(X1,X2) | (83) |
isNeList(mark(X)) | → | isNeList(X) | (86) |
mark#(and(X1,X2)) | → | active#(and(mark(X1),X2)) | (344) |
mark#(isPalListKind(X)) | → | active#(isPalListKind(X)) | (279) |
The dependency pairs are split into 1 component.
active#(__(__(X,Y),Z)) | → | mark#(__(X,__(Y,Z))) | (225) |
mark#(__(X1,X2)) | → | active#(__(mark(X1),mark(X2))) | (202) |
π(U72#) | = | 1 |
π(U32#) | = | 1 |
π(isPal) | = | 1 |
π(U71) | = | 2 |
π(U53#) | = | 1 |
π(isNePal) | = | 1 |
π(U72) | = | 1 |
π(U52#) | = | 2 |
π(isQid) | = | 1 |
π(U12#) | = | 1 |
π(mark#) | = | 1 |
π(isNePal#) | = | 1 |
π(U62) | = | 1 |
π(mark) | = | 1 |
π(U32) | = | 1 |
π(U61) | = | 2 |
π(active) | = | 1 |
π(active#) | = | 1 |
π(U71#) | = | 2 |
π(U51) | = | 1 |
π(and#) | = | 2 |
prec(a) | = | 6 | status(a) | = | [] | list-extension(a) | = | Lex | ||
prec(U21) | = | 5 | status(U21) | = | [] | list-extension(U21) | = | Lex | ||
prec(isPalListKind#) | = | 0 | status(isPalListKind#) | = | [] | list-extension(isPalListKind#) | = | Lex | ||
prec(U11) | = | 7 | status(U11) | = | [] | list-extension(U11) | = | Lex | ||
prec(isNeList) | = | 8 | status(isNeList) | = | [1] | list-extension(isNeList) | = | Lex | ||
prec(U42) | = | 6 | status(U42) | = | [1, 2] | list-extension(U42) | = | Lex | ||
prec(u) | = | 5 | status(u) | = | [] | list-extension(u) | = | Lex | ||
prec(and) | = | 1 | status(and) | = | [1, 2] | list-extension(and) | = | Lex | ||
prec(isNeList#) | = | 0 | status(isNeList#) | = | [] | list-extension(isNeList#) | = | Lex | ||
prec(U43) | = | 5 | status(U43) | = | [] | list-extension(U43) | = | Lex | ||
prec(U23#) | = | 0 | status(U23#) | = | [] | list-extension(U23#) | = | Lex | ||
prec(__#) | = | 0 | status(__#) | = | [] | list-extension(__#) | = | Lex | ||
prec(U43#) | = | 0 | status(U43#) | = | [] | list-extension(U43#) | = | Lex | ||
prec(U23) | = | 5 | status(U23) | = | [] | list-extension(U23) | = | Lex | ||
prec(isQid#) | = | 0 | status(isQid#) | = | [] | list-extension(isQid#) | = | Lex | ||
prec(isPal#) | = | 0 | status(isPal#) | = | [] | list-extension(isPal#) | = | Lex | ||
prec(U12) | = | 7 | status(U12) | = | [] | list-extension(U12) | = | Lex | ||
prec(o) | = | 5 | status(o) | = | [] | list-extension(o) | = | Lex | ||
prec(U42#) | = | 0 | status(U42#) | = | [1, 2] | list-extension(U42#) | = | Lex | ||
prec(U62#) | = | 0 | status(U62#) | = | [] | list-extension(U62#) | = | Lex | ||
prec(isList) | = | 7 | status(isList) | = | [] | list-extension(isList) | = | Lex | ||
prec(nil) | = | 6 | status(nil) | = | [] | list-extension(nil) | = | Lex | ||
prec(isList#) | = | 0 | status(isList#) | = | [] | list-extension(isList#) | = | Lex | ||
prec(i) | = | 5 | status(i) | = | [] | list-extension(i) | = | Lex | ||
prec(U52) | = | 5 | status(U52) | = | [] | list-extension(U52) | = | Lex | ||
prec(U51#) | = | 0 | status(U51#) | = | [2, 3, 1] | list-extension(U51#) | = | Lex | ||
prec(e) | = | 5 | status(e) | = | [] | list-extension(e) | = | Lex | ||
prec(U11#) | = | 0 | status(U11#) | = | [1, 2] | list-extension(U11#) | = | Lex | ||
prec(U31) | = | 7 | status(U31) | = | [1, 2] | list-extension(U31) | = | Lex | ||
prec(U41#) | = | 0 | status(U41#) | = | [1, 3, 2] | list-extension(U41#) | = | Lex | ||
prec(U21#) | = | 0 | status(U21#) | = | [1, 2, 3] | list-extension(U21#) | = | Lex | ||
prec(U22#) | = | 0 | status(U22#) | = | [1, 2] | list-extension(U22#) | = | Lex | ||
prec(tt) | = | 5 | status(tt) | = | [] | list-extension(tt) | = | Lex | ||
prec(U22) | = | 5 | status(U22) | = | [] | list-extension(U22) | = | Lex | ||
prec(isPalListKind) | = | 2 | status(isPalListKind) | = | [1] | list-extension(isPalListKind) | = | Lex | ||
prec(U53) | = | 5 | status(U53) | = | [] | list-extension(U53) | = | Lex | ||
prec(U41) | = | 7 | status(U41) | = | [3] | list-extension(U41) | = | Lex | ||
prec(U31#) | = | 0 | status(U31#) | = | [] | list-extension(U31#) | = | Lex | ||
prec(__) | = | 2 | status(__) | = | [1, 2] | list-extension(__) | = | Lex | ||
prec(U61#) | = | 0 | status(U61#) | = | [2, 1] | list-extension(U61#) | = | Lex |
[a] | = | 0 |
[U21(x1, x2, x3)] | = | max(0) |
[isPalListKind#(x1)] | = | 0 |
[U11(x1, x2)] | = | max(0) |
[isNeList(x1)] | = | x1 + 0 |
[U42(x1, x2)] | = | max(x1 + 0, x2 + 0, 0) |
[u] | = | 0 |
[and(x1, x2)] | = | max(x1 + 0, x2 + 0, 0) |
[isNeList#(x1)] | = | 0 |
[U43(x1)] | = | 0 |
[U23#(x1)] | = | 0 |
[__#(x1, x2)] | = | max(0) |
[U43#(x1)] | = | 0 |
[U23(x1)] | = | 0 |
[isQid#(x1)] | = | 0 |
[isPal#(x1)] | = | 0 |
[U12(x1)] | = | 0 |
[o] | = | 0 |
[U42#(x1, x2)] | = | max(x1 + 0, x2 + 0, 0) |
[U62#(x1)] | = | 0 |
[isList(x1)] | = | 0 |
[nil] | = | 0 |
[isList#(x1)] | = | 0 |
[i] | = | 0 |
[U52(x1, x2)] | = | max(0) |
[U51#(x1, x2, x3)] | = | max(x1 + 0, x2 + 0, x3 + 0, 0) |
[e] | = | 0 |
[U11#(x1, x2)] | = | max(x1 + 0, x2 + 0, 0) |
[U31(x1, x2)] | = | max(x1 + 0, x2 + 0, 0) |
[U41#(x1, x2, x3)] | = | max(x1 + 0, x2 + 0, x3 + 0, 0) |
[U21#(x1, x2, x3)] | = | max(x1 + 0, x2 + 0, x3 + 0, 0) |
[U22#(x1, x2)] | = | max(x1 + 0, x2 + 0, 0) |
[tt] | = | 0 |
[U22(x1, x2)] | = | max(0) |
[isPalListKind(x1)] | = | x1 + 0 |
[U53(x1)] | = | 0 |
[U41(x1, x2, x3)] | = | max(x3 + 0, 0) |
[U31#(x1, x2)] | = | max(0) |
[__(x1, x2)] | = | max(x1 + 0, x2 + 0, 0) |
[U61#(x1, x2)] | = | max(x1 + 0, x2 + 0, 0) |
There are 155 ruless (increase limit for explicit display).
(w.r.t. the implicit argument filter of the reduction pair), the pairactive#(__(__(X,Y),Z)) | → | mark#(__(X,__(Y,Z))) | (225) |
The dependency pairs are split into 0 components.
isPal#(active(X)) | → | isPal#(X) | (331) |
isPal#(mark(X)) | → | isPal#(X) | (199) |
[a] | = | 2 |
[U72#(x1)] | = | 0 |
[U32#(x1)] | = | 0 |
[U21(x1, x2, x3)] | = | x1 + 1 |
[isPalListKind#(x1)] | = | 0 |
[U11(x1, x2)] | = | x1 + 1 |
[isNeList(x1)] | = | x1 + 1 |
[isPal(x1)] | = | x1 + 1 |
[U42(x1, x2)] | = | x1 + 4 |
[u] | = | 2 |
[U71(x1, x2)] | = | x1 + 3 |
[and(x1, x2)] | = | x1 + 1 |
[isNeList#(x1)] | = | 0 |
[U43(x1)] | = | x1 + 2 |
[U23#(x1)] | = | 0 |
[U53#(x1)] | = | 0 |
[__#(x1, x2)] | = | 0 |
[U43#(x1)] | = | 0 |
[U23(x1)] | = | 3 |
[isNePal(x1)] | = | 1 |
[U72(x1)] | = | x1 + 2 |
[isQid#(x1)] | = | 0 |
[isPal#(x1)] | = | x1 + 0 |
[U52#(x1, x2)] | = | 0 |
[U12(x1)] | = | x1 + 1 |
[isQid(x1)] | = | 1 |
[o] | = | 1 |
[U42#(x1, x2)] | = | 0 |
[U12#(x1)] | = | 0 |
[U62#(x1)] | = | 0 |
[mark#(x1)] | = | 3 |
[isList(x1)] | = | 1 |
[isNePal#(x1)] | = | 0 |
[nil] | = | 1 |
[U62(x1)] | = | x1 + 1 |
[mark(x1)] | = | x1 + 4 |
[isList#(x1)] | = | 0 |
[U32(x1)] | = | 2 |
[i] | = | 1 |
[U52(x1, x2)] | = | x1 + 3 |
[U61(x1, x2)] | = | x1 + 2 |
[U51#(x1, x2, x3)] | = | 0 |
[e] | = | 1 |
[U11#(x1, x2)] | = | 0 |
[active(x1)] | = | x1 + 1 |
[U31(x1, x2)] | = | x1 + x2 + 1 |
[U41#(x1, x2, x3)] | = | 0 |
[active#(x1)] | = | 4 |
[U21#(x1, x2, x3)] | = | 0 |
[U22#(x1, x2)] | = | 0 |
[tt] | = | 1 |
[U71#(x1, x2)] | = | 0 |
[U22(x1, x2)] | = | x1 + 1 |
[U51(x1, x2, x3)] | = | x1 + x3 + 1 |
[isPalListKind(x1)] | = | x1 + 1 |
[U53(x1)] | = | x1 + 2 |
[U41(x1, x2, x3)] | = | x1 + x2 + x3 + 3 |
[U31#(x1, x2)] | = | 0 |
[and#(x1, x2)] | = | 0 |
[__(x1, x2)] | = | 1 |
[U61#(x1, x2)] | = | 0 |
U62(mark(X)) | → | U62(X) | (138) |
U62(active(X)) | → | U62(X) | (139) |
isPal#(active(X)) | → | isPal#(X) | (331) |
isPal#(mark(X)) | → | isPal#(X) | (199) |
The dependency pairs are split into 0 components.
U42#(active(X1),X2) | → | U42#(X1,X2) | (393) |
U42#(X1,mark(X2)) | → | U42#(X1,X2) | (392) |
U42#(mark(X1),X2) | → | U42#(X1,X2) | (213) |
U42#(X1,active(X2)) | → | U42#(X1,X2) | (171) |
[a] | = | 1 |
[U72#(x1)] | = | 0 |
[U32#(x1)] | = | 0 |
[U21(x1, x2, x3)] | = | x1 + 1 |
[isPalListKind#(x1)] | = | 0 |
[U11(x1, x2)] | = | x1 + 3 |
[isNeList(x1)] | = | x1 + 1 |
[isPal(x1)] | = | x1 + 1 |
[U42(x1, x2)] | = | x1 + 1 |
[u] | = | 1 |
[U71(x1, x2)] | = | x1 + 1 |
[and(x1, x2)] | = | x1 + 1 |
[isNeList#(x1)] | = | 0 |
[U43(x1)] | = | x1 + 1 |
[U23#(x1)] | = | 0 |
[U53#(x1)] | = | 0 |
[__#(x1, x2)] | = | 0 |
[U43#(x1)] | = | 0 |
[U23(x1)] | = | 2 |
[isNePal(x1)] | = | 2 |
[U72(x1)] | = | x1 + 1 |
[isQid#(x1)] | = | 0 |
[isPal#(x1)] | = | 0 |
[U52#(x1, x2)] | = | 0 |
[U12(x1)] | = | x1 + 1 |
[isQid(x1)] | = | 1 |
[o] | = | 1 |
[U42#(x1, x2)] | = | x1 + x2 + 0 |
[U12#(x1)] | = | 0 |
[U62#(x1)] | = | 0 |
[mark#(x1)] | = | 3 |
[isList(x1)] | = | 1 |
[isNePal#(x1)] | = | 0 |
[nil] | = | 1 |
[U62(x1)] | = | x1 + 2 |
[mark(x1)] | = | x1 + 4 |
[isList#(x1)] | = | 0 |
[U32(x1)] | = | 2 |
[i] | = | 1 |
[U52(x1, x2)] | = | x1 + 3 |
[U61(x1, x2)] | = | x1 + 2 |
[U51#(x1, x2, x3)] | = | 0 |
[e] | = | 1 |
[U11#(x1, x2)] | = | 0 |
[active(x1)] | = | x1 + 1 |
[U31(x1, x2)] | = | x1 + x2 + 1 |
[U41#(x1, x2, x3)] | = | 0 |
[active#(x1)] | = | 4 |
[U21#(x1, x2, x3)] | = | 0 |
[U22#(x1, x2)] | = | 0 |
[tt] | = | 1 |
[U71#(x1, x2)] | = | 0 |
[U22(x1, x2)] | = | x1 + 1 |
[U51(x1, x2, x3)] | = | x1 + x3 + 2 |
[isPalListKind(x1)] | = | x1 + 1 |
[U53(x1)] | = | x1 + 1 |
[U41(x1, x2, x3)] | = | x1 + x2 + x3 + 3 |
[U31#(x1, x2)] | = | 0 |
[and#(x1, x2)] | = | 0 |
[__(x1, x2)] | = | 1 |
[U61#(x1, x2)] | = | 0 |
U62(mark(X)) | → | U62(X) | (138) |
U62(active(X)) | → | U62(X) | (139) |
U42#(active(X1),X2) | → | U42#(X1,X2) | (393) |
U42#(X1,mark(X2)) | → | U42#(X1,X2) | (392) |
U42#(mark(X1),X2) | → | U42#(X1,X2) | (213) |
U42#(X1,active(X2)) | → | U42#(X1,X2) | (171) |
The dependency pairs are split into 0 components.
U32#(active(X)) | → | U32#(X) | (236) |
U32#(mark(X)) | → | U32#(X) | (193) |
[a] | = | 1 |
[U72#(x1)] | = | 0 |
[U32#(x1)] | = | x1 + 0 |
[U21(x1, x2, x3)] | = | x1 + 1 |
[isPalListKind#(x1)] | = | 0 |
[U11(x1, x2)] | = | x1 + 3 |
[isNeList(x1)] | = | x1 + 1 |
[isPal(x1)] | = | x1 + 1 |
[U42(x1, x2)] | = | x1 + 28610 |
[u] | = | 1 |
[U71(x1, x2)] | = | x1 + 15037 |
[and(x1, x2)] | = | x1 + 28536 |
[isNeList#(x1)] | = | 0 |
[U43(x1)] | = | x1 + 808 |
[U23#(x1)] | = | 0 |
[U53#(x1)] | = | 0 |
[__#(x1, x2)] | = | 0 |
[U43#(x1)] | = | 0 |
[U23(x1)] | = | 17534 |
[isNePal(x1)] | = | 24761 |
[U72(x1)] | = | x1 + 5598 |
[isQid#(x1)] | = | 0 |
[isPal#(x1)] | = | 0 |
[U52#(x1, x2)] | = | 0 |
[U12(x1)] | = | x1 + 7342 |
[isQid(x1)] | = | 1 |
[o] | = | 1 |
[U42#(x1, x2)] | = | 0 |
[U12#(x1)] | = | 0 |
[U62#(x1)] | = | 0 |
[mark#(x1)] | = | 3 |
[isList(x1)] | = | 1 |
[isNePal#(x1)] | = | 0 |
[nil] | = | 1 |
[U62(x1)] | = | x1 + 25029 |
[mark(x1)] | = | x1 + 28539 |
[isList#(x1)] | = | 0 |
[U32(x1)] | = | 20437 |
[i] | = | 1 |
[U52(x1, x2)] | = | x1 + 33907 |
[U61(x1, x2)] | = | x1 + 10309 |
[U51#(x1, x2, x3)] | = | 0 |
[e] | = | 1 |
[U11#(x1, x2)] | = | 0 |
[active(x1)] | = | x1 + 1 |
[U31(x1, x2)] | = | x1 + x2 + 48973 |
[U41#(x1, x2, x3)] | = | 0 |
[active#(x1)] | = | 4 |
[U21#(x1, x2, x3)] | = | 0 |
[U22#(x1, x2)] | = | 0 |
[tt] | = | 1 |
[U71#(x1, x2)] | = | 0 |
[U22(x1, x2)] | = | x1 + 27807 |
[U51(x1, x2, x3)] | = | x1 + x3 + 32056 |
[isPalListKind(x1)] | = | x1 + 1 |
[U53(x1)] | = | x1 + 5722 |
[U41(x1, x2, x3)] | = | x1 + x2 + x3 + 8730 |
[U31#(x1, x2)] | = | 0 |
[and#(x1, x2)] | = | 0 |
[__(x1, x2)] | = | 1 |
[U61#(x1, x2)] | = | 0 |
U62(mark(X)) | → | U62(X) | (138) |
U62(active(X)) | → | U62(X) | (139) |
U32#(active(X)) | → | U32#(X) | (236) |
U32#(mark(X)) | → | U32#(X) | (193) |
The dependency pairs are split into 0 components.
U43#(active(X)) | → | U43#(X) | (360) |
U43#(mark(X)) | → | U43#(X) | (232) |
[a] | = | 6682 |
[U72#(x1)] | = | 0 |
[U32#(x1)] | = | 0 |
[U21(x1, x2, x3)] | = | x1 + 1750 |
[isPalListKind#(x1)] | = | 0 |
[U11(x1, x2)] | = | x1 + 27365 |
[isNeList(x1)] | = | x1 + 19202 |
[isPal(x1)] | = | x1 + 30351 |
[U42(x1, x2)] | = | x1 + 11654 |
[u] | = | 1 |
[U71(x1, x2)] | = | x1 + 9764 |
[and(x1, x2)] | = | x1 + 40994 |
[isNeList#(x1)] | = | 0 |
[U43(x1)] | = | x1 + 3274 |
[U23#(x1)] | = | 0 |
[U53#(x1)] | = | 0 |
[__#(x1, x2)] | = | 0 |
[U43#(x1)] | = | x1 + 0 |
[U23(x1)] | = | 27497 |
[isNePal(x1)] | = | 30048 |
[U72(x1)] | = | x1 + 26106 |
[isQid#(x1)] | = | 0 |
[isPal#(x1)] | = | 0 |
[U52#(x1, x2)] | = | 0 |
[U12(x1)] | = | x1 + 8291 |
[isQid(x1)] | = | 1 |
[o] | = | 26799 |
[U42#(x1, x2)] | = | 0 |
[U12#(x1)] | = | 0 |
[U62#(x1)] | = | 0 |
[mark#(x1)] | = | 3 |
[isList(x1)] | = | 1 |
[isNePal#(x1)] | = | 0 |
[nil] | = | 1 |
[U62(x1)] | = | x1 + 14622 |
[mark(x1)] | = | x1 + 40997 |
[isList#(x1)] | = | 0 |
[U32(x1)] | = | 32225 |
[i] | = | 1 |
[U52(x1, x2)] | = | x1 + 20735 |
[U61(x1, x2)] | = | x1 + 4810 |
[U51#(x1, x2, x3)] | = | 0 |
[e] | = | 3828 |
[U11#(x1, x2)] | = | 0 |
[active(x1)] | = | x1 + 1 |
[U31(x1, x2)] | = | x1 + x2 + 29043 |
[U41#(x1, x2, x3)] | = | 0 |
[active#(x1)] | = | 4 |
[U21#(x1, x2, x3)] | = | 0 |
[U22#(x1, x2)] | = | 0 |
[tt] | = | 1 |
[U71#(x1, x2)] | = | 0 |
[U22(x1, x2)] | = | x1 + 21501 |
[U51(x1, x2, x3)] | = | x1 + x3 + 5151 |
[isPalListKind(x1)] | = | x1 + 1 |
[U53(x1)] | = | x1 + 27038 |
[U41(x1, x2, x3)] | = | x1 + x2 + x3 + 16547 |
[U31#(x1, x2)] | = | 0 |
[and#(x1, x2)] | = | 0 |
[__(x1, x2)] | = | 1 |
[U61#(x1, x2)] | = | 0 |
U62(mark(X)) | → | U62(X) | (138) |
U62(active(X)) | → | U62(X) | (139) |
U43#(active(X)) | → | U43#(X) | (360) |
U43#(mark(X)) | → | U43#(X) | (232) |
The dependency pairs are split into 0 components.
U22#(X1,mark(X2)) | → | U22#(X1,X2) | (244) |
U22#(active(X1),X2) | → | U22#(X1,X2) | (223) |
U22#(X1,active(X2)) | → | U22#(X1,X2) | (307) |
U22#(mark(X1),X2) | → | U22#(X1,X2) | (296) |
[a] | = | 1 |
[U72#(x1)] | = | 0 |
[U32#(x1)] | = | 0 |
[U21(x1, x2, x3)] | = | x1 + 3 |
[isPalListKind#(x1)] | = | 0 |
[U11(x1, x2)] | = | x1 + 2 |
[isNeList(x1)] | = | x1 + 1 |
[isPal(x1)] | = | x1 + 1 |
[U42(x1, x2)] | = | x1 + 3 |
[u] | = | 1 |
[U71(x1, x2)] | = | x1 + 2 |
[and(x1, x2)] | = | x1 + 1 |
[isNeList#(x1)] | = | 0 |
[U43(x1)] | = | x1 + 1 |
[U23#(x1)] | = | 0 |
[U53#(x1)] | = | 0 |
[__#(x1, x2)] | = | 0 |
[U43#(x1)] | = | 0 |
[U23(x1)] | = | 3 |
[isNePal(x1)] | = | 3 |
[U72(x1)] | = | x1 + 1 |
[isQid#(x1)] | = | 0 |
[isPal#(x1)] | = | 0 |
[U52#(x1, x2)] | = | 0 |
[U12(x1)] | = | x1 + 1 |
[isQid(x1)] | = | 1 |
[o] | = | 1 |
[U42#(x1, x2)] | = | 0 |
[U12#(x1)] | = | 0 |
[U62#(x1)] | = | 0 |
[mark#(x1)] | = | 3 |
[isList(x1)] | = | 1 |
[isNePal#(x1)] | = | 0 |
[nil] | = | 1 |
[U62(x1)] | = | x1 + 1 |
[mark(x1)] | = | x1 + 4 |
[isList#(x1)] | = | 0 |
[U32(x1)] | = | 1 |
[i] | = | 1 |
[U52(x1, x2)] | = | x1 + 1 |
[U61(x1, x2)] | = | x1 + 1 |
[U51#(x1, x2, x3)] | = | 0 |
[e] | = | 1 |
[U11#(x1, x2)] | = | 0 |
[active(x1)] | = | x1 + 1 |
[U31(x1, x2)] | = | x1 + x2 + 1 |
[U41#(x1, x2, x3)] | = | 0 |
[active#(x1)] | = | 4 |
[U21#(x1, x2, x3)] | = | 0 |
[U22#(x1, x2)] | = | x2 + 0 |
[tt] | = | 1 |
[U71#(x1, x2)] | = | 0 |
[U22(x1, x2)] | = | x1 + 2 |
[U51(x1, x2, x3)] | = | x1 + x3 + 1 |
[isPalListKind(x1)] | = | x1 + 1 |
[U53(x1)] | = | x1 + 1 |
[U41(x1, x2, x3)] | = | x1 + x2 + x3 + 5 |
[U31#(x1, x2)] | = | 0 |
[and#(x1, x2)] | = | 0 |
[__(x1, x2)] | = | 1 |
[U61#(x1, x2)] | = | 0 |
U62(mark(X)) | → | U62(X) | (138) |
U62(active(X)) | → | U62(X) | (139) |
U22#(X1,mark(X2)) | → | U22#(X1,X2) | (244) |
U22#(X1,active(X2)) | → | U22#(X1,X2) | (307) |
The dependency pairs are split into 1 component.
U22#(active(X1),X2) | → | U22#(X1,X2) | (223) |
U22#(mark(X1),X2) | → | U22#(X1,X2) | (296) |
[a] | = | 3841 |
[U72#(x1)] | = | 0 |
[U32#(x1)] | = | 0 |
[U21(x1, x2, x3)] | = | x1 + 21587 |
[isPalListKind#(x1)] | = | 0 |
[U11(x1, x2)] | = | x1 + 3738 |
[isNeList(x1)] | = | x1 + 1 |
[isPal(x1)] | = | x1 + 1 |
[U42(x1, x2)] | = | x1 + 7986 |
[u] | = | 1 |
[U71(x1, x2)] | = | x1 + 2651 |
[and(x1, x2)] | = | x1 + 21535 |
[isNeList#(x1)] | = | 0 |
[U43(x1)] | = | x1 + 1867 |
[U23#(x1)] | = | 0 |
[U53#(x1)] | = | 0 |
[__#(x1, x2)] | = | 0 |
[U43#(x1)] | = | 0 |
[U23(x1)] | = | 15863 |
[isNePal(x1)] | = | 1 |
[U72(x1)] | = | x1 + 8344 |
[isQid#(x1)] | = | 0 |
[isPal#(x1)] | = | 0 |
[U52#(x1, x2)] | = | 0 |
[U12(x1)] | = | x1 + 9460 |
[isQid(x1)] | = | 1 |
[o] | = | 21512 |
[U42#(x1, x2)] | = | 0 |
[U12#(x1)] | = | 0 |
[U62#(x1)] | = | 0 |
[mark#(x1)] | = | 3 |
[isList(x1)] | = | 1 |
[isNePal#(x1)] | = | 0 |
[nil] | = | 1 |
[U62(x1)] | = | x1 + 18613 |
[mark(x1)] | = | x1 + 21538 |
[isList#(x1)] | = | 0 |
[U32(x1)] | = | 2411 |
[i] | = | 13801 |
[U52(x1, x2)] | = | x1 + 14242 |
[U61(x1, x2)] | = | x1 + 32239 |
[U51#(x1, x2, x3)] | = | 0 |
[e] | = | 8698 |
[U11#(x1, x2)] | = | 0 |
[active(x1)] | = | x1 + 1 |
[U31(x1, x2)] | = | x1 + x2 + 22100 |
[U41#(x1, x2, x3)] | = | 0 |
[active#(x1)] | = | 4 |
[U21#(x1, x2, x3)] | = | 0 |
[U22#(x1, x2)] | = | x1 + 0 |
[tt] | = | 1 |
[U71#(x1, x2)] | = | 0 |
[U22(x1, x2)] | = | x1 + 32794 |
[U51(x1, x2, x3)] | = | x1 + x3 + 26385 |
[isPalListKind(x1)] | = | x1 + 1 |
[U53(x1)] | = | x1 + 8182 |
[U41(x1, x2, x3)] | = | x1 + x2 + x3 + 5898 |
[U31#(x1, x2)] | = | 0 |
[and#(x1, x2)] | = | 0 |
[__(x1, x2)] | = | 1 |
[U61#(x1, x2)] | = | 0 |
U62(mark(X)) | → | U62(X) | (138) |
U62(active(X)) | → | U62(X) | (139) |
U22#(active(X1),X2) | → | U22#(X1,X2) | (223) |
U22#(mark(X1),X2) | → | U22#(X1,X2) | (296) |
The dependency pairs are split into 0 components.
U52#(mark(X1),X2) | → | U52#(X1,X2) | (387) |
U52#(X1,active(X2)) | → | U52#(X1,X2) | (230) |
U52#(active(X1),X2) | → | U52#(X1,X2) | (349) |
U52#(X1,mark(X2)) | → | U52#(X1,X2) | (324) |
[a] | = | 1 |
[U72#(x1)] | = | 0 |
[U32#(x1)] | = | 0 |
[U21(x1, x2, x3)] | = | x1 + 4526 |
[isPalListKind#(x1)] | = | 0 |
[U11(x1, x2)] | = | x1 + 4162 |
[isNeList(x1)] | = | x1 + 1 |
[isPal(x1)] | = | x1 + 1 |
[U42(x1, x2)] | = | x1 + 17627 |
[u] | = | 1 |
[U71(x1, x2)] | = | x1 + 29453 |
[and(x1, x2)] | = | x1 + 21902 |
[isNeList#(x1)] | = | 0 |
[U43(x1)] | = | x1 + 6445 |
[U23#(x1)] | = | 0 |
[U53#(x1)] | = | 0 |
[__#(x1, x2)] | = | 0 |
[U43#(x1)] | = | 0 |
[U23(x1)] | = | 12423 |
[isNePal(x1)] | = | 1 |
[U72(x1)] | = | x1 + 9687 |
[isQid#(x1)] | = | 0 |
[isPal#(x1)] | = | 0 |
[U52#(x1, x2)] | = | x2 + 0 |
[U12(x1)] | = | x1 + 6381 |
[isQid(x1)] | = | 1 |
[o] | = | 12012 |
[U42#(x1, x2)] | = | 0 |
[U12#(x1)] | = | 0 |
[U62#(x1)] | = | 0 |
[mark#(x1)] | = | 3 |
[isList(x1)] | = | 1 |
[isNePal#(x1)] | = | 0 |
[nil] | = | 1 |
[U62(x1)] | = | x1 + 15819 |
[mark(x1)] | = | x1 + 21905 |
[isList#(x1)] | = | 0 |
[U32(x1)] | = | 15190 |
[i] | = | 1 |
[U52(x1, x2)] | = | x1 + 4591 |
[U61(x1, x2)] | = | x1 + 21815 |
[U51#(x1, x2, x3)] | = | 0 |
[e] | = | 20297 |
[U11#(x1, x2)] | = | 0 |
[active(x1)] | = | x1 + 1 |
[U31(x1, x2)] | = | x1 + x2 + 6424 |
[U41#(x1, x2, x3)] | = | 0 |
[active#(x1)] | = | 4 |
[U21#(x1, x2, x3)] | = | 0 |
[U22#(x1, x2)] | = | 0 |
[tt] | = | 1 |
[U71#(x1, x2)] | = | 0 |
[U22(x1, x2)] | = | x1 + 17831 |
[U51(x1, x2, x3)] | = | x1 + x3 + 1 |
[isPalListKind(x1)] | = | x1 + 1 |
[U53(x1)] | = | x1 + 12146 |
[U41(x1, x2, x3)] | = | x1 + x2 + x3 + 8071 |
[U31#(x1, x2)] | = | 0 |
[and#(x1, x2)] | = | 0 |
[__(x1, x2)] | = | 1 |
[U61#(x1, x2)] | = | 0 |
U62(mark(X)) | → | U62(X) | (138) |
U62(active(X)) | → | U62(X) | (139) |
U52#(X1,active(X2)) | → | U52#(X1,X2) | (230) |
U52#(X1,mark(X2)) | → | U52#(X1,X2) | (324) |
The dependency pairs are split into 1 component.
U52#(active(X1),X2) | → | U52#(X1,X2) | (349) |
U52#(mark(X1),X2) | → | U52#(X1,X2) | (387) |
[a] | = | 1 |
[U72#(x1)] | = | 0 |
[U32#(x1)] | = | 0 |
[U21(x1, x2, x3)] | = | x1 + 1 |
[isPalListKind#(x1)] | = | 0 |
[U11(x1, x2)] | = | x1 + 1 |
[isNeList(x1)] | = | x1 + 1 |
[isPal(x1)] | = | x1 + 1 |
[U42(x1, x2)] | = | x1 + 3 |
[u] | = | 1 |
[U71(x1, x2)] | = | x1 + 1 |
[and(x1, x2)] | = | x1 + 1 |
[isNeList#(x1)] | = | 0 |
[U43(x1)] | = | x1 + 1 |
[U23#(x1)] | = | 0 |
[U53#(x1)] | = | 0 |
[__#(x1, x2)] | = | 0 |
[U43#(x1)] | = | 0 |
[U23(x1)] | = | 2 |
[isNePal(x1)] | = | 1 |
[U72(x1)] | = | x1 + 1 |
[isQid#(x1)] | = | 0 |
[isPal#(x1)] | = | 0 |
[U52#(x1, x2)] | = | x1 + 0 |
[U12(x1)] | = | x1 + 2 |
[isQid(x1)] | = | 3 |
[o] | = | 1 |
[U42#(x1, x2)] | = | 0 |
[U12#(x1)] | = | 0 |
[U62#(x1)] | = | 0 |
[mark#(x1)] | = | 3 |
[isList(x1)] | = | 1 |
[isNePal#(x1)] | = | 0 |
[nil] | = | 1 |
[U62(x1)] | = | x1 + 1 |
[mark(x1)] | = | x1 + 4 |
[isList#(x1)] | = | 0 |
[U32(x1)] | = | 3 |
[i] | = | 1 |
[U52(x1, x2)] | = | x1 + 1 |
[U61(x1, x2)] | = | x1 + 2 |
[U51#(x1, x2, x3)] | = | 0 |
[e] | = | 1 |
[U11#(x1, x2)] | = | 0 |
[active(x1)] | = | x1 + 1 |
[U31(x1, x2)] | = | x1 + x2 + 2 |
[U41#(x1, x2, x3)] | = | 0 |
[active#(x1)] | = | 4 |
[U21#(x1, x2, x3)] | = | 0 |
[U22#(x1, x2)] | = | 0 |
[tt] | = | 1 |
[U71#(x1, x2)] | = | 0 |
[U22(x1, x2)] | = | x1 + 1 |
[U51(x1, x2, x3)] | = | x1 + x3 + 1 |
[isPalListKind(x1)] | = | x1 + 2 |
[U53(x1)] | = | x1 + 1 |
[U41(x1, x2, x3)] | = | x1 + x2 + x3 + 2 |
[U31#(x1, x2)] | = | 0 |
[and#(x1, x2)] | = | 0 |
[__(x1, x2)] | = | 1 |
[U61#(x1, x2)] | = | 0 |
U23(mark(X)) | → | U23(X) | (100) |
U23(active(X)) | → | U23(X) | (101) |
U62(mark(X)) | → | U62(X) | (138) |
U62(active(X)) | → | U62(X) | (139) |
U52#(active(X1),X2) | → | U52#(X1,X2) | (349) |
U52#(mark(X1),X2) | → | U52#(X1,X2) | (387) |
The dependency pairs are split into 0 components.
U23#(active(X)) | → | U23#(X) | (239) |
U23#(mark(X)) | → | U23#(X) | (332) |
[a] | = | 1 |
[U72#(x1)] | = | 0 |
[U32#(x1)] | = | 0 |
[U21(x1, x2, x3)] | = | x1 + 8404 |
[isPalListKind#(x1)] | = | 0 |
[U11(x1, x2)] | = | x2 + 179 |
[isNeList(x1)] | = | x1 + 101 |
[isPal(x1)] | = | x1 + 26 |
[U42(x1, x2)] | = | x1 + 40637 |
[u] | = | 1 |
[U71(x1, x2)] | = | x1 + 27 |
[and(x1, x2)] | = | 60 |
[isNeList#(x1)] | = | 0 |
[U43(x1)] | = | x1 + 40717 |
[U23#(x1)] | = | x1 + 0 |
[U53#(x1)] | = | 0 |
[__#(x1, x2)] | = | 0 |
[U43#(x1)] | = | 0 |
[U23(x1)] | = | 51 |
[isNePal(x1)] | = | x1 + 56 |
[U72(x1)] | = | x1 + 152 |
[isQid#(x1)] | = | 0 |
[isPal#(x1)] | = | 0 |
[U52#(x1, x2)] | = | 0 |
[U12(x1)] | = | x1 + 80 |
[isQid(x1)] | = | x1 + 58 |
[o] | = | 1 |
[U42#(x1, x2)] | = | 0 |
[U12#(x1)] | = | 0 |
[U62#(x1)] | = | 0 |
[mark#(x1)] | = | 3 |
[isList(x1)] | = | 177 |
[isNePal#(x1)] | = | 0 |
[nil] | = | 1 |
[U62(x1)] | = | x1 + 180 |
[mark(x1)] | = | x1 + 1 |
[isList#(x1)] | = | 0 |
[U32(x1)] | = | 283 |
[i] | = | 68 |
[U52(x1, x2)] | = | x1 + 18879 |
[U61(x1, x2)] | = | x1 + x2 + 57 |
[U51#(x1, x2, x3)] | = | 0 |
[e] | = | 80 |
[U11#(x1, x2)] | = | 0 |
[active(x1)] | = | x1 + 2 |
[U31(x1, x2)] | = | x1 + x2 + 102 |
[U41#(x1, x2, x3)] | = | 0 |
[active#(x1)] | = | 4 |
[U21#(x1, x2, x3)] | = | 0 |
[U22#(x1, x2)] | = | 0 |
[tt] | = | 179 |
[U71#(x1, x2)] | = | 0 |
[U22(x1, x2)] | = | x1 + x2 + 8408 |
[U51(x1, x2, x3)] | = | x1 + x2 + x3 + 18799 |
[isPalListKind(x1)] | = | x1 + 1 |
[U53(x1)] | = | x1 + 18883 |
[U41(x1, x2, x3)] | = | x1 + x2 + x3 + 40633 |
[U31#(x1, x2)] | = | 0 |
[and#(x1, x2)] | = | 0 |
[__(x1, x2)] | = | x1 + x2 + 1 |
[U61#(x1, x2)] | = | 0 |
U23(mark(X)) | → | U23(X) | (100) |
U32(mark(X)) | → | U32(X) | (106) |
U23(active(X)) | → | U23(X) | (101) |
U32(active(X)) | → | U32(X) | (107) |
U23#(active(X)) | → | U23#(X) | (239) |
U23#(mark(X)) | → | U23#(X) | (332) |
The dependency pairs are split into 0 components.
U11#(X1,mark(X2)) | → | U11#(X1,X2) | (389) |
U11#(active(X1),X2) | → | U11#(X1,X2) | (248) |
U11#(mark(X1),X2) | → | U11#(X1,X2) | (367) |
U11#(X1,active(X2)) | → | U11#(X1,X2) | (226) |
[a] | = | 1 |
[U72#(x1)] | = | 0 |
[U32#(x1)] | = | 0 |
[U21(x1, x2, x3)] | = | x1 + 35434 |
[isPalListKind#(x1)] | = | 0 |
[U11(x1, x2)] | = | x1 + 61362 |
[isNeList(x1)] | = | x1 + 10480 |
[isPal(x1)] | = | x1 + 1 |
[U42(x1, x2)] | = | 72545 |
[u] | = | 3998 |
[U71(x1, x2)] | = | x1 + 1 |
[and(x1, x2)] | = | x1 + 3 |
[isNeList#(x1)] | = | 0 |
[U43(x1)] | = | x1 + 62067 |
[U23#(x1)] | = | 0 |
[U53#(x1)] | = | 0 |
[__#(x1, x2)] | = | 0 |
[U43#(x1)] | = | 0 |
[U23(x1)] | = | 591 |
[isNePal(x1)] | = | x1 + 1 |
[U72(x1)] | = | x1 + 28663 |
[isQid#(x1)] | = | 0 |
[isPal#(x1)] | = | 0 |
[U52#(x1, x2)] | = | 0 |
[U12(x1)] | = | 90025 |
[isQid(x1)] | = | x1 + 767 |
[o] | = | 1 |
[U42#(x1, x2)] | = | 0 |
[U12#(x1)] | = | 0 |
[U62#(x1)] | = | 0 |
[mark#(x1)] | = | 3 |
[isList(x1)] | = | 2517 |
[isNePal#(x1)] | = | 0 |
[nil] | = | 1 |
[U62(x1)] | = | x1 + 27897 |
[mark(x1)] | = | x1 + 1 |
[isList#(x1)] | = | 0 |
[U32(x1)] | = | 28659 |
[i] | = | 12047 |
[U52(x1, x2)] | = | x1 + 60386 |
[U61(x1, x2)] | = | x1 + x2 + 1 |
[U51#(x1, x2, x3)] | = | 0 |
[e] | = | 1975 |
[U11#(x1, x2)] | = | x1 + x2 + 0 |
[active(x1)] | = | x1 + 2 |
[U31(x1, x2)] | = | x2 + 10482 |
[U41#(x1, x2, x3)] | = | 0 |
[active#(x1)] | = | 4 |
[U21#(x1, x2, x3)] | = | 0 |
[U22#(x1, x2)] | = | 0 |
[tt] | = | 28661 |
[U71#(x1, x2)] | = | 0 |
[U22(x1, x2)] | = | 588 |
[U51(x1, x2, x3)] | = | x1 + x2 + x3 + 42203 |
[isPalListKind(x1)] | = | x1 + 2 |
[U53(x1)] | = | x1 + 86532 |
[U41(x1, x2, x3)] | = | x1 + x3 + 43882 |
[U31#(x1, x2)] | = | 0 |
[and#(x1, x2)] | = | 0 |
[__(x1, x2)] | = | x1 + x2 + 1 |
[U61#(x1, x2)] | = | 0 |
U23(mark(X)) | → | U23(X) | (100) |
U32(mark(X)) | → | U32(X) | (106) |
U53(active(X)) | → | U53(X) | (133) |
U23(active(X)) | → | U23(X) | (101) |
isList(mark(X)) | → | isList(X) | (98) |
U32(active(X)) | → | U32(X) | (107) |
U53(mark(X)) | → | U53(X) | (132) |
isList(active(X)) | → | isList(X) | (99) |
U11#(X1,mark(X2)) | → | U11#(X1,X2) | (389) |
U11#(active(X1),X2) | → | U11#(X1,X2) | (248) |
U11#(mark(X1),X2) | → | U11#(X1,X2) | (367) |
U11#(X1,active(X2)) | → | U11#(X1,X2) | (226) |
The dependency pairs are split into 0 components.
isQid#(active(X)) | → | isQid#(X) | (292) |
isQid#(mark(X)) | → | isQid#(X) | (289) |
[a] | = | 1 |
[U72#(x1)] | = | 0 |
[U32#(x1)] | = | 0 |
[U21(x1, x2, x3)] | = | x1 + 16374 |
[isPalListKind#(x1)] | = | 0 |
[U11(x1, x2)] | = | x1 + 5 |
[isNeList(x1)] | = | x1 + 78 |
[isPal(x1)] | = | x1 + 1 |
[U42(x1, x2)] | = | 2099 |
[u] | = | 1 |
[U71(x1, x2)] | = | x1 + 18789 |
[and(x1, x2)] | = | x1 + 53379 |
[isNeList#(x1)] | = | 0 |
[U43(x1)] | = | x1 + 2023 |
[U23#(x1)] | = | 0 |
[U53#(x1)] | = | 0 |
[__#(x1, x2)] | = | 0 |
[U43#(x1)] | = | 0 |
[U23(x1)] | = | 31 |
[isNePal(x1)] | = | x1 + 2 |
[U72(x1)] | = | x1 + 18873 |
[isQid#(x1)] | = | x1 + 0 |
[isPal#(x1)] | = | 0 |
[U52#(x1, x2)] | = | 0 |
[U12(x1)] | = | 91 |
[isQid(x1)] | = | x1 + 81 |
[o] | = | 1 |
[U42#(x1, x2)] | = | 0 |
[U12#(x1)] | = | 0 |
[U62#(x1)] | = | 0 |
[mark#(x1)] | = | 3 |
[isList(x1)] | = | 5 |
[isNePal#(x1)] | = | 0 |
[nil] | = | 1 |
[U62(x1)] | = | x1 + 7 |
[mark(x1)] | = | x1 + 1 |
[isList#(x1)] | = | 0 |
[U32(x1)] | = | 82 |
[i] | = | 1 |
[U52(x1, x2)] | = | x1 + 16546 |
[U61(x1, x2)] | = | x1 + x2 + 2 |
[U51#(x1, x2, x3)] | = | 0 |
[e] | = | 1 |
[U11#(x1, x2)] | = | 0 |
[active(x1)] | = | x1 + 2 |
[U31(x1, x2)] | = | x2 + 80 |
[U41#(x1, x2, x3)] | = | 0 |
[active#(x1)] | = | 4 |
[U21#(x1, x2, x3)] | = | 0 |
[U22#(x1, x2)] | = | 0 |
[tt] | = | 84 |
[U71#(x1, x2)] | = | 0 |
[U22(x1, x2)] | = | 29 |
[U51(x1, x2, x3)] | = | x1 + x2 + x3 + 16538 |
[isPalListKind(x1)] | = | x1 + 2 |
[U53(x1)] | = | x1 + 16627 |
[U41(x1, x2, x3)] | = | x1 + x3 + 2013 |
[U31#(x1, x2)] | = | 0 |
[and#(x1, x2)] | = | 0 |
[__(x1, x2)] | = | x1 + x2 + 53377 |
[U61#(x1, x2)] | = | 0 |
U23(mark(X)) | → | U23(X) | (100) |
U32(mark(X)) | → | U32(X) | (106) |
U53(active(X)) | → | U53(X) | (133) |
U23(active(X)) | → | U23(X) | (101) |
isList(mark(X)) | → | isList(X) | (98) |
U32(active(X)) | → | U32(X) | (107) |
U53(mark(X)) | → | U53(X) | (132) |
isList(active(X)) | → | isList(X) | (99) |
isQid#(active(X)) | → | isQid#(X) | (292) |
isQid#(mark(X)) | → | isQid#(X) | (289) |
The dependency pairs are split into 0 components.
U62#(mark(X)) | → | U62#(X) | (192) |
U62#(active(X)) | → | U62#(X) | (174) |
[a] | = | 1 |
[U72#(x1)] | = | 0 |
[U32#(x1)] | = | 0 |
[U21(x1, x2, x3)] | = | x1 + 18159 |
[isPalListKind#(x1)] | = | 0 |
[U11(x1, x2)] | = | x1 + 1 |
[isNeList(x1)] | = | x1 + 19908 |
[isPal(x1)] | = | x1 + 4 |
[U42(x1, x2)] | = | 70012 |
[u] | = | 1 |
[U71(x1, x2)] | = | x1 + 1 |
[and(x1, x2)] | = | x1 + 24360 |
[isNeList#(x1)] | = | 0 |
[U43(x1)] | = | x1 + 50106 |
[U23#(x1)] | = | 0 |
[U53#(x1)] | = | 0 |
[__#(x1, x2)] | = | 0 |
[U43#(x1)] | = | 0 |
[U23(x1)] | = | 7183 |
[isNePal(x1)] | = | x1 + 11 |
[U72(x1)] | = | x1 + 19906 |
[isQid#(x1)] | = | 0 |
[isPal#(x1)] | = | 0 |
[U52#(x1, x2)] | = | 0 |
[U12(x1)] | = | 19917 |
[isQid(x1)] | = | x1 + 19911 |
[o] | = | 1 |
[U42#(x1, x2)] | = | 0 |
[U12#(x1)] | = | 0 |
[U62#(x1)] | = | x1 + 0 |
[mark#(x1)] | = | 3 |
[isList(x1)] | = | 4 |
[isNePal#(x1)] | = | 0 |
[nil] | = | 1 |
[U62(x1)] | = | x1 + 12740 |
[mark(x1)] | = | x1 + 1 |
[isList#(x1)] | = | 0 |
[U32(x1)] | = | 19912 |
[i] | = | 1 |
[U52(x1, x2)] | = | x1 + 26314 |
[U61(x1, x2)] | = | x1 + x2 + 12735 |
[U51#(x1, x2, x3)] | = | 0 |
[e] | = | 1 |
[U11#(x1, x2)] | = | 0 |
[active(x1)] | = | x1 + 2 |
[U31(x1, x2)] | = | x2 + 19910 |
[U41#(x1, x2, x3)] | = | 0 |
[active#(x1)] | = | 4 |
[U21#(x1, x2, x3)] | = | 0 |
[U22#(x1, x2)] | = | 0 |
[tt] | = | 19914 |
[U71#(x1, x2)] | = | 0 |
[U22(x1, x2)] | = | 7181 |
[U51(x1, x2, x3)] | = | x1 + x2 + x3 + 18167 |
[isPalListKind(x1)] | = | x1 + 5 |
[U53(x1)] | = | x1 + 46226 |
[U41(x1, x2, x3)] | = | x1 + x3 + 50096 |
[U31#(x1, x2)] | = | 0 |
[and#(x1, x2)] | = | 0 |
[__(x1, x2)] | = | x1 + x2 + 1 |
[U61#(x1, x2)] | = | 0 |
U23(mark(X)) | → | U23(X) | (100) |
U32(mark(X)) | → | U32(X) | (106) |
U53(active(X)) | → | U53(X) | (133) |
U23(active(X)) | → | U23(X) | (101) |
isList(mark(X)) | → | isList(X) | (98) |
U32(active(X)) | → | U32(X) | (107) |
U53(mark(X)) | → | U53(X) | (132) |
isList(active(X)) | → | isList(X) | (99) |
U62#(mark(X)) | → | U62#(X) | (192) |
U62#(active(X)) | → | U62#(X) | (174) |
The dependency pairs are split into 0 components.
U72#(mark(X)) | → | U72#(X) | (397) |
U72#(active(X)) | → | U72#(X) | (375) |
[a] | = | 1 |
[U72#(x1)] | = | x1 + 0 |
[U32#(x1)] | = | 0 |
[U21(x1, x2, x3)] | = | x1 + 12137 |
[isPalListKind#(x1)] | = | 0 |
[U11(x1, x2)] | = | x1 + 2 |
[isNeList(x1)] | = | x1 + 1 |
[isPal(x1)] | = | x1 + 2 |
[U42(x1, x2)] | = | 18228 |
[u] | = | 1 |
[U71(x1, x2)] | = | x1 + 2 |
[and(x1, x2)] | = | x1 + 7285 |
[isNeList#(x1)] | = | 0 |
[U43(x1)] | = | x1 + 18229 |
[U23#(x1)] | = | 0 |
[U53#(x1)] | = | 0 |
[__#(x1, x2)] | = | 0 |
[U43#(x1)] | = | 0 |
[U23(x1)] | = | 3 |
[isNePal(x1)] | = | x1 + 4 |
[U72(x1)] | = | x1 + 7 |
[isQid#(x1)] | = | 0 |
[isPal#(x1)] | = | 0 |
[U52#(x1, x2)] | = | 0 |
[U12(x1)] | = | 11 |
[isQid(x1)] | = | x1 + 2 |
[o] | = | 1 |
[U42#(x1, x2)] | = | 0 |
[U12#(x1)] | = | 0 |
[U62#(x1)] | = | 0 |
[mark#(x1)] | = | 3 |
[isList(x1)] | = | 2 |
[isNePal#(x1)] | = | 0 |
[nil] | = | 1 |
[U62(x1)] | = | x1 + 11 |
[mark(x1)] | = | x1 + 1 |
[isList#(x1)] | = | 0 |
[U32(x1)] | = | 5 |
[i] | = | 1 |
[U52(x1, x2)] | = | x1 + 60021 |
[U61(x1, x2)] | = | x1 + x2 + 4 |
[U51#(x1, x2, x3)] | = | 0 |
[e] | = | 1 |
[U11#(x1, x2)] | = | 0 |
[active(x1)] | = | x1 + 2 |
[U31(x1, x2)] | = | x2 + 3 |
[U41#(x1, x2, x3)] | = | 0 |
[active#(x1)] | = | 4 |
[U21#(x1, x2, x3)] | = | 0 |
[U22#(x1, x2)] | = | 0 |
[tt] | = | 7 |
[U71#(x1, x2)] | = | 0 |
[U22(x1, x2)] | = | 1 |
[U51(x1, x2, x3)] | = | x1 + x2 + x3 + 54118 |
[isPalListKind(x1)] | = | x1 + 2 |
[U53(x1)] | = | x1 + 60028 |
[U41(x1, x2, x3)] | = | x1 + x3 + 18219 |
[U31#(x1, x2)] | = | 0 |
[and#(x1, x2)] | = | 0 |
[__(x1, x2)] | = | x1 + x2 + 1 |
[U61#(x1, x2)] | = | 0 |
U23(mark(X)) | → | U23(X) | (100) |
U32(mark(X)) | → | U32(X) | (106) |
U53(active(X)) | → | U53(X) | (133) |
U23(active(X)) | → | U23(X) | (101) |
isList(mark(X)) | → | isList(X) | (98) |
U32(active(X)) | → | U32(X) | (107) |
U53(mark(X)) | → | U53(X) | (132) |
isList(active(X)) | → | isList(X) | (99) |
U72#(mark(X)) | → | U72#(X) | (397) |
U72#(active(X)) | → | U72#(X) | (375) |
The dependency pairs are split into 0 components.
isNePal#(active(X)) | → | isNePal#(X) | (362) |
isNePal#(mark(X)) | → | isNePal#(X) | (194) |
[a] | = | 1 |
[U72#(x1)] | = | 0 |
[U32#(x1)] | = | 0 |
[U21(x1, x2, x3)] | = | x1 + 40172 |
[isPalListKind#(x1)] | = | 0 |
[U11(x1, x2)] | = | x1 + 57084 |
[isNeList(x1)] | = | x1 + 1 |
[isPal(x1)] | = | x1 + 4 |
[U42(x1, x2)] | = | 32474 |
[u] | = | 1 |
[U71(x1, x2)] | = | x1 + 3 |
[and(x1, x2)] | = | x1 + 3 |
[isNeList#(x1)] | = | 0 |
[U43(x1)] | = | x1 + 32475 |
[U23#(x1)] | = | 0 |
[U53#(x1)] | = | 0 |
[__#(x1, x2)] | = | 0 |
[U43#(x1)] | = | 0 |
[U23(x1)] | = | 4 |
[isNePal(x1)] | = | x1 + 2 |
[U72(x1)] | = | x1 + 10 |
[isQid#(x1)] | = | 0 |
[isPal#(x1)] | = | 0 |
[U52#(x1, x2)] | = | 0 |
[U12(x1)] | = | 57093 |
[isQid(x1)] | = | x1 + 4 |
[o] | = | 1 |
[U42#(x1, x2)] | = | 0 |
[U12#(x1)] | = | 0 |
[U62#(x1)] | = | 0 |
[mark#(x1)] | = | 3 |
[isList(x1)] | = | 5 |
[isNePal#(x1)] | = | x1 + 0 |
[nil] | = | 1 |
[U62(x1)] | = | x1 + 6 |
[mark(x1)] | = | x1 + 1 |
[isList#(x1)] | = | 0 |
[U32(x1)] | = | 5 |
[i] | = | 1 |
[U52(x1, x2)] | = | x1 + 62882 |
[U61(x1, x2)] | = | x1 + x2 + 1 |
[U51#(x1, x2, x3)] | = | 0 |
[e] | = | 1 |
[U11#(x1, x2)] | = | 0 |
[active(x1)] | = | x1 + 2 |
[U31(x1, x2)] | = | x2 + 3 |
[U41#(x1, x2, x3)] | = | 0 |
[active#(x1)] | = | 4 |
[U21#(x1, x2, x3)] | = | 0 |
[U22#(x1, x2)] | = | 0 |
[tt] | = | 7 |
[U71#(x1, x2)] | = | 0 |
[U22(x1, x2)] | = | 2 |
[U51(x1, x2, x3)] | = | x1 + x2 + x3 + 47152 |
[isPalListKind(x1)] | = | x1 + 3 |
[U53(x1)] | = | x1 + 62886 |
[U41(x1, x2, x3)] | = | x1 + x3 + 32465 |
[U31#(x1, x2)] | = | 0 |
[and#(x1, x2)] | = | 0 |
[__(x1, x2)] | = | x1 + x2 + 1 |
[U61#(x1, x2)] | = | 0 |
U23(mark(X)) | → | U23(X) | (100) |
U32(mark(X)) | → | U32(X) | (106) |
U53(active(X)) | → | U53(X) | (133) |
U23(active(X)) | → | U23(X) | (101) |
isList(mark(X)) | → | isList(X) | (98) |
U32(active(X)) | → | U32(X) | (107) |
U53(mark(X)) | → | U53(X) | (132) |
isList(active(X)) | → | isList(X) | (99) |
isNePal#(active(X)) | → | isNePal#(X) | (362) |
isNePal#(mark(X)) | → | isNePal#(X) | (194) |
The dependency pairs are split into 0 components.
isPalListKind#(active(X)) | → | isPalListKind#(X) | (386) |
isPalListKind#(mark(X)) | → | isPalListKind#(X) | (166) |
[a] | = | 1 |
[U72#(x1)] | = | 0 |
[U32#(x1)] | = | 0 |
[U21(x1, x2, x3)] | = | x1 + 40160 |
[isPalListKind#(x1)] | = | x1 + 0 |
[U11(x1, x2)] | = | x1 + 1 |
[isNeList(x1)] | = | x1 + 24716 |
[isPal(x1)] | = | x1 + 6079 |
[U42(x1, x2)] | = | 24725 |
[u] | = | 1 |
[U71(x1, x2)] | = | x1 + 1 |
[and(x1, x2)] | = | x1 + 3 |
[isNeList#(x1)] | = | 0 |
[U43(x1)] | = | x1 + 15962 |
[U23#(x1)] | = | 0 |
[U53#(x1)] | = | 0 |
[__#(x1, x2)] | = | 0 |
[U43#(x1)] | = | 0 |
[U23(x1)] | = | 8481 |
[isNePal(x1)] | = | x1 + 24721 |
[U72(x1)] | = | x1 + 4 |
[isQid#(x1)] | = | 0 |
[isPal#(x1)] | = | 0 |
[U52#(x1, x2)] | = | 0 |
[U12(x1)] | = | 24725 |
[isQid(x1)] | = | x1 + 24719 |
[o] | = | 1 |
[U42#(x1, x2)] | = | 0 |
[U12#(x1)] | = | 0 |
[U62#(x1)] | = | 0 |
[mark#(x1)] | = | 3 |
[isList(x1)] | = | 24718 |
[isNePal#(x1)] | = | 0 |
[nil] | = | 1 |
[U62(x1)] | = | x1 + 26902 |
[mark(x1)] | = | x1 + 1 |
[isList#(x1)] | = | 0 |
[U32(x1)] | = | 24720 |
[i] | = | 1 |
[U52(x1, x2)] | = | x1 + 21842 |
[U61(x1, x2)] | = | x1 + x2 + 26897 |
[U51#(x1, x2, x3)] | = | 0 |
[e] | = | 1 |
[U11#(x1, x2)] | = | 0 |
[active(x1)] | = | x1 + 2 |
[U31(x1, x2)] | = | x2 + 24718 |
[U41#(x1, x2, x3)] | = | 0 |
[active#(x1)] | = | 4 |
[U21#(x1, x2, x3)] | = | 0 |
[U22#(x1, x2)] | = | 0 |
[tt] | = | 24722 |
[U71#(x1, x2)] | = | 0 |
[U22(x1, x2)] | = | 1384 |
[U51(x1, x2, x3)] | = | x1 + x2 + x3 + 21834 |
[isPalListKind(x1)] | = | x1 + 24719 |
[U53(x1)] | = | x1 + 21848 |
[U41(x1, x2, x3)] | = | x1 + x3 + 1 |
[U31#(x1, x2)] | = | 0 |
[and#(x1, x2)] | = | 0 |
[__(x1, x2)] | = | x1 + x2 + 1 |
[U61#(x1, x2)] | = | 0 |
U23(mark(X)) | → | U23(X) | (100) |
U32(mark(X)) | → | U32(X) | (106) |
U53(active(X)) | → | U53(X) | (133) |
U23(active(X)) | → | U23(X) | (101) |
isList(mark(X)) | → | isList(X) | (98) |
U32(active(X)) | → | U32(X) | (107) |
U53(mark(X)) | → | U53(X) | (132) |
isList(active(X)) | → | isList(X) | (99) |
isPalListKind#(active(X)) | → | isPalListKind#(X) | (386) |
isPalListKind#(mark(X)) | → | isPalListKind#(X) | (166) |
The dependency pairs are split into 0 components.
U71#(mark(X1),X2) | → | U71#(X1,X2) | (210) |
U71#(X1,active(X2)) | → | U71#(X1,X2) | (211) |
U71#(active(X1),X2) | → | U71#(X1,X2) | (316) |
U71#(X1,mark(X2)) | → | U71#(X1,X2) | (177) |
[a] | = | 1 |
[U72#(x1)] | = | 0 |
[U32#(x1)] | = | 0 |
[U21(x1, x2, x3)] | = | x1 + 1 |
[isPalListKind#(x1)] | = | 0 |
[U11(x1, x2)] | = | x1 + 33022 |
[isNeList(x1)] | = | x1 + 1 |
[isPal(x1)] | = | x1 + 1 |
[U42(x1, x2)] | = | 52926 |
[u] | = | 1 |
[U71(x1, x2)] | = | x1 + 1 |
[and(x1, x2)] | = | x1 + 3 |
[isNeList#(x1)] | = | 0 |
[U43(x1)] | = | x1 + 52927 |
[U23#(x1)] | = | 0 |
[U53#(x1)] | = | 0 |
[__#(x1, x2)] | = | 0 |
[U43#(x1)] | = | 0 |
[U23(x1)] | = | 3 |
[isNePal(x1)] | = | x1 + 1 |
[U72(x1)] | = | x1 + 9 |
[isQid#(x1)] | = | 0 |
[isPal#(x1)] | = | 0 |
[U52#(x1, x2)] | = | 0 |
[U12(x1)] | = | 33031 |
[isQid(x1)] | = | x1 + 1 |
[o] | = | 1 |
[U42#(x1, x2)] | = | 0 |
[U12#(x1)] | = | 0 |
[U62#(x1)] | = | 0 |
[mark#(x1)] | = | 3 |
[isList(x1)] | = | 1 |
[isNePal#(x1)] | = | 0 |
[nil] | = | 1 |
[U62(x1)] | = | x1 + 52949 |
[mark(x1)] | = | x1 + 1 |
[isList#(x1)] | = | 0 |
[U32(x1)] | = | 5 |
[i] | = | 1 |
[U52(x1, x2)] | = | x1 + 466 |
[U61(x1, x2)] | = | x1 + x2 + 24233 |
[U51#(x1, x2, x3)] | = | 0 |
[e] | = | 1 |
[U11#(x1, x2)] | = | 0 |
[active(x1)] | = | x1 + 2 |
[U31(x1, x2)] | = | x2 + 3 |
[U41#(x1, x2, x3)] | = | 0 |
[active#(x1)] | = | 4 |
[U21#(x1, x2, x3)] | = | 0 |
[U22#(x1, x2)] | = | 0 |
[tt] | = | 7 |
[U71#(x1, x2)] | = | x1 + x2 + 0 |
[U22(x1, x2)] | = | 1 |
[U51(x1, x2, x3)] | = | x1 + x2 + x3 + 377 |
[isPalListKind(x1)] | = | x1 + 2 |
[U53(x1)] | = | x1 + 986 |
[U41(x1, x2, x3)] | = | x1 + x3 + 52917 |
[U31#(x1, x2)] | = | 0 |
[and#(x1, x2)] | = | 0 |
[__(x1, x2)] | = | x1 + x2 + 1 |
[U61#(x1, x2)] | = | 0 |
U23(mark(X)) | → | U23(X) | (100) |
U32(mark(X)) | → | U32(X) | (106) |
U53(active(X)) | → | U53(X) | (133) |
U23(active(X)) | → | U23(X) | (101) |
isList(mark(X)) | → | isList(X) | (98) |
U32(active(X)) | → | U32(X) | (107) |
U53(mark(X)) | → | U53(X) | (132) |
isList(active(X)) | → | isList(X) | (99) |
U71#(mark(X1),X2) | → | U71#(X1,X2) | (210) |
U71#(X1,active(X2)) | → | U71#(X1,X2) | (211) |
U71#(active(X1),X2) | → | U71#(X1,X2) | (316) |
U71#(X1,mark(X2)) | → | U71#(X1,X2) | (177) |
The dependency pairs are split into 0 components.
U51#(active(X1),X2,X3) | → | U51#(X1,X2,X3) | (235) |
U51#(X1,X2,active(X3)) | → | U51#(X1,X2,X3) | (337) |
U51#(mark(X1),X2,X3) | → | U51#(X1,X2,X3) | (219) |
U51#(X1,active(X2),X3) | → | U51#(X1,X2,X3) | (191) |
U51#(X1,mark(X2),X3) | → | U51#(X1,X2,X3) | (173) |
U51#(X1,X2,mark(X3)) | → | U51#(X1,X2,X3) | (290) |
[a] | = | 4214 |
[U72#(x1)] | = | 0 |
[U32#(x1)] | = | 0 |
[U21(x1, x2, x3)] | = | 6263 |
[isPalListKind#(x1)] | = | 0 |
[U11(x1, x2)] | = | x2 + 20913 |
[isNeList(x1)] | = | 17048 |
[isPal(x1)] | = | x1 + 5066 |
[U42(x1, x2)] | = | x1 + x2 + 10791 |
[u] | = | 7153 |
[U71(x1, x2)] | = | 5068 |
[and(x1, x2)] | = | 11720 |
[isNeList#(x1)] | = | 0 |
[U43(x1)] | = | 15095 |
[U23#(x1)] | = | 0 |
[U53#(x1)] | = | 0 |
[__#(x1, x2)] | = | 0 |
[U43#(x1)] | = | 0 |
[U23(x1)] | = | 11977 |
[isNePal(x1)] | = | 9694 |
[U72(x1)] | = | 5070 |
[isQid#(x1)] | = | 0 |
[isPal#(x1)] | = | 0 |
[U52#(x1, x2)] | = | 0 |
[U12(x1)] | = | x1 + 3867 |
[isQid(x1)] | = | 1839 |
[o] | = | 1 |
[U42#(x1, x2)] | = | 0 |
[U12#(x1)] | = | 0 |
[U62#(x1)] | = | 0 |
[mark#(x1)] | = | 3 |
[isList(x1)] | = | 6261 |
[isNePal#(x1)] | = | 0 |
[nil] | = | 1 |
[U62(x1)] | = | x1 + 7859 |
[mark(x1)] | = | x1 + 1 |
[isList#(x1)] | = | 0 |
[U32(x1)] | = | 17052 |
[i] | = | 1 |
[U52(x1, x2)] | = | 17052 |
[U61(x1, x2)] | = | x2 + 9696 |
[U51#(x1, x2, x3)] | = | x1 + x2 + x3 + 0 |
[e] | = | 1 |
[U11#(x1, x2)] | = | 0 |
[active(x1)] | = | x1 + 2 |
[U31(x1, x2)] | = | 17050 |
[U41#(x1, x2, x3)] | = | 0 |
[active#(x1)] | = | 4 |
[U21#(x1, x2, x3)] | = | 0 |
[U22#(x1, x2)] | = | 0 |
[tt] | = | 17056 |
[U71#(x1, x2)] | = | 0 |
[U22(x1, x2)] | = | x1 + x2 + 20396 |
[U51(x1, x2, x3)] | = | x2 + x3 + 17050 |
[isPalListKind(x1)] | = | x1 + 1 |
[U53(x1)] | = | 17054 |
[U41(x1, x2, x3)] | = | x2 + x3 + 17050 |
[U31#(x1, x2)] | = | 0 |
[and#(x1, x2)] | = | 0 |
[__(x1, x2)] | = | x1 + 1 |
[U61#(x1, x2)] | = | 0 |
isPalListKind(mark(X)) | → | isPalListKind(X) | (152) |
U23(mark(X)) | → | U23(X) | (100) |
isPalListKind(active(X)) | → | isPalListKind(X) | (153) |
U23(active(X)) | → | U23(X) | (101) |
U51#(active(X1),X2,X3) | → | U51#(X1,X2,X3) | (235) |
U51#(X1,X2,active(X3)) | → | U51#(X1,X2,X3) | (337) |
U51#(mark(X1),X2,X3) | → | U51#(X1,X2,X3) | (219) |
U51#(X1,active(X2),X3) | → | U51#(X1,X2,X3) | (191) |
U51#(X1,mark(X2),X3) | → | U51#(X1,X2,X3) | (173) |
U51#(X1,X2,mark(X3)) | → | U51#(X1,X2,X3) | (290) |
The dependency pairs are split into 0 components.
U61#(X1,mark(X2)) | → | U61#(X1,X2) | (253) |
U61#(X1,active(X2)) | → | U61#(X1,X2) | (356) |
U61#(active(X1),X2) | → | U61#(X1,X2) | (222) |
U61#(mark(X1),X2) | → | U61#(X1,X2) | (176) |
[a] | = | 12629 |
[U72#(x1)] | = | 0 |
[U32#(x1)] | = | 0 |
[U21(x1, x2, x3)] | = | x2 + 12474 |
[isPalListKind#(x1)] | = | 0 |
[U11(x1, x2)] | = | x2 + 4 |
[isNeList(x1)] | = | 1 |
[isPal(x1)] | = | x1 + 6740 |
[U42(x1, x2)] | = | x1 + 6223 |
[u] | = | 1 |
[U71(x1, x2)] | = | 6742 |
[and(x1, x2)] | = | 4 |
[isNeList#(x1)] | = | 0 |
[U43(x1)] | = | 11170 |
[U23#(x1)] | = | 0 |
[U53#(x1)] | = | 0 |
[__#(x1, x2)] | = | 0 |
[U43#(x1)] | = | 0 |
[U23(x1)] | = | 15385 |
[isNePal(x1)] | = | 1 |
[U72(x1)] | = | 6744 |
[isQid#(x1)] | = | 0 |
[isPal#(x1)] | = | 0 |
[U52#(x1, x2)] | = | 0 |
[U12(x1)] | = | 6 |
[isQid(x1)] | = | 4002 |
[o] | = | 1 |
[U42#(x1, x2)] | = | 0 |
[U12#(x1)] | = | 0 |
[U62#(x1)] | = | 0 |
[mark#(x1)] | = | 3 |
[isList(x1)] | = | 1 |
[isNePal#(x1)] | = | 0 |
[nil] | = | 1 |
[U62(x1)] | = | 15384 |
[mark(x1)] | = | x1 + 1 |
[isList#(x1)] | = | 0 |
[U32(x1)] | = | 5 |
[i] | = | 1 |
[U52(x1, x2)] | = | x2 + 5 |
[U61(x1, x2)] | = | x2 + 15382 |
[U51#(x1, x2, x3)] | = | 0 |
[e] | = | 1 |
[U11#(x1, x2)] | = | 0 |
[active(x1)] | = | x1 + 2 |
[U31(x1, x2)] | = | 3 |
[U41#(x1, x2, x3)] | = | 0 |
[active#(x1)] | = | 4 |
[U21#(x1, x2, x3)] | = | 0 |
[U22#(x1, x2)] | = | 0 |
[tt] | = | 15387 |
[U71#(x1, x2)] | = | 0 |
[U22(x1, x2)] | = | 15383 |
[U51(x1, x2, x3)] | = | x2 + x3 + 3 |
[isPalListKind(x1)] | = | x1 + 1 |
[U53(x1)] | = | x1 + 6 |
[U41(x1, x2, x3)] | = | x2 + x3 + 6222 |
[U31#(x1, x2)] | = | 0 |
[and#(x1, x2)] | = | 0 |
[__(x1, x2)] | = | x1 + 1 |
[U61#(x1, x2)] | = | x1 + 0 |
isPalListKind(mark(X)) | → | isPalListKind(X) | (152) |
U23(mark(X)) | → | U23(X) | (100) |
isPalListKind(active(X)) | → | isPalListKind(X) | (153) |
U23(active(X)) | → | U23(X) | (101) |
U62(mark(X)) | → | U62(X) | (138) |
U62(active(X)) | → | U62(X) | (139) |
U61#(active(X1),X2) | → | U61#(X1,X2) | (222) |
U61#(mark(X1),X2) | → | U61#(X1,X2) | (176) |
The dependency pairs are split into 1 component.
U61#(X1,mark(X2)) | → | U61#(X1,X2) | (253) |
U61#(X1,active(X2)) | → | U61#(X1,X2) | (356) |
[a] | = | 11037 |
[U72#(x1)] | = | 0 |
[U32#(x1)] | = | 0 |
[U21(x1, x2, x3)] | = | x2 + 17363 |
[isPalListKind#(x1)] | = | 0 |
[U11(x1, x2)] | = | x2 + 3 |
[isNeList(x1)] | = | 6732 |
[isPal(x1)] | = | x1 + 30096 |
[U42(x1, x2)] | = | x1 + 6735 |
[u] | = | 1 |
[U71(x1, x2)] | = | 30098 |
[and(x1, x2)] | = | 26370 |
[isNeList#(x1)] | = | 0 |
[U43(x1)] | = | 12912 |
[U23#(x1)] | = | 0 |
[U53#(x1)] | = | 0 |
[__#(x1, x2)] | = | 0 |
[U43#(x1)] | = | 0 |
[U23(x1)] | = | 47477 |
[isNePal(x1)] | = | 11864 |
[U72(x1)] | = | 30100 |
[isQid#(x1)] | = | 0 |
[isPal#(x1)] | = | 0 |
[U52#(x1, x2)] | = | 0 |
[U12(x1)] | = | 5 |
[isQid(x1)] | = | 1 |
[o] | = | 1 |
[U42#(x1, x2)] | = | 0 |
[U12#(x1)] | = | 0 |
[U62#(x1)] | = | 0 |
[mark#(x1)] | = | 3 |
[isList(x1)] | = | 1 |
[isNePal#(x1)] | = | 0 |
[nil] | = | 1 |
[U62(x1)] | = | 11868 |
[mark(x1)] | = | x1 + 1 |
[isList#(x1)] | = | 0 |
[U32(x1)] | = | 6736 |
[i] | = | 1 |
[U52(x1, x2)] | = | x2 + 6736 |
[U61(x1, x2)] | = | x2 + 11866 |
[U51#(x1, x2, x3)] | = | 0 |
[e] | = | 1 |
[U11#(x1, x2)] | = | 0 |
[active(x1)] | = | x1 + 2 |
[U31(x1, x2)] | = | 6734 |
[U41#(x1, x2, x3)] | = | 0 |
[active#(x1)] | = | 4 |
[U21#(x1, x2, x3)] | = | 0 |
[U22#(x1, x2)] | = | 0 |
[tt] | = | 47479 |
[U71#(x1, x2)] | = | 0 |
[U22(x1, x2)] | = | 47475 |
[U51(x1, x2, x3)] | = | x2 + x3 + 6734 |
[isPalListKind(x1)] | = | x1 + 1 |
[U53(x1)] | = | x1 + 6737 |
[U41(x1, x2, x3)] | = | x2 + x3 + 6734 |
[U31#(x1, x2)] | = | 0 |
[and#(x1, x2)] | = | 0 |
[__(x1, x2)] | = | x1 + 1 |
[U61#(x1, x2)] | = | x2 + 0 |
isPalListKind(mark(X)) | → | isPalListKind(X) | (152) |
U23(mark(X)) | → | U23(X) | (100) |
isPalListKind(active(X)) | → | isPalListKind(X) | (153) |
U23(active(X)) | → | U23(X) | (101) |
U62(mark(X)) | → | U62(X) | (138) |
U62(active(X)) | → | U62(X) | (139) |
U61#(X1,mark(X2)) | → | U61#(X1,X2) | (253) |
U61#(X1,active(X2)) | → | U61#(X1,X2) | (356) |
The dependency pairs are split into 0 components.
__#(X1,mark(X2)) | → | __#(X1,X2) | (390) |
__#(active(X1),X2) | → | __#(X1,X2) | (351) |
__#(mark(X1),X2) | → | __#(X1,X2) | (180) |
__#(X1,active(X2)) | → | __#(X1,X2) | (175) |
[a] | = | 1 |
[U72#(x1)] | = | 0 |
[U32#(x1)] | = | 0 |
[U21(x1, x2, x3)] | = | x2 + 10339 |
[isPalListKind#(x1)] | = | 0 |
[U11(x1, x2)] | = | x2 + 12244 |
[isNeList(x1)] | = | 1 |
[isPal(x1)] | = | x1 + 1 |
[U42(x1, x2)] | = | x1 + 6735 |
[u] | = | 17938 |
[U71(x1, x2)] | = | 3 |
[and(x1, x2)] | = | 4 |
[isNeList#(x1)] | = | 0 |
[U43(x1)] | = | 32200 |
[U23#(x1)] | = | 0 |
[U53#(x1)] | = | 0 |
[__#(x1, x2)] | = | x1 + x2 + 0 |
[U43#(x1)] | = | 0 |
[U23(x1)] | = | 32200 |
[isNePal(x1)] | = | 1 |
[U72(x1)] | = | 5 |
[isQid#(x1)] | = | 0 |
[isPal#(x1)] | = | 0 |
[U52#(x1, x2)] | = | 0 |
[U12(x1)] | = | 14236 |
[isQid(x1)] | = | 1 |
[o] | = | 1 |
[U42#(x1, x2)] | = | 0 |
[U12#(x1)] | = | 0 |
[U62#(x1)] | = | 0 |
[mark#(x1)] | = | 3 |
[isList(x1)] | = | x1 + 1 |
[isNePal#(x1)] | = | 0 |
[nil] | = | 1 |
[U62(x1)] | = | 3072 |
[mark(x1)] | = | x1 + 1 |
[isList#(x1)] | = | 0 |
[U32(x1)] | = | 4192 |
[i] | = | 1 |
[U52(x1, x2)] | = | 6430 |
[U61(x1, x2)] | = | x2 + 359 |
[U51#(x1, x2, x3)] | = | 0 |
[e] | = | 1 |
[U11#(x1, x2)] | = | 0 |
[active(x1)] | = | x1 + 2 |
[U31(x1, x2)] | = | 4190 |
[U41#(x1, x2, x3)] | = | 0 |
[active#(x1)] | = | 4 |
[U21#(x1, x2, x3)] | = | 0 |
[U22#(x1, x2)] | = | 0 |
[tt] | = | 32202 |
[U71#(x1, x2)] | = | 0 |
[U22(x1, x2)] | = | 10341 |
[U51(x1, x2, x3)] | = | x2 + x3 + 4319 |
[isPalListKind(x1)] | = | x1 + 1 |
[U53(x1)] | = | x1 + 6737 |
[U41(x1, x2, x3)] | = | x2 + x3 + 3 |
[U31#(x1, x2)] | = | 0 |
[and#(x1, x2)] | = | 0 |
[__(x1, x2)] | = | x1 + 1 |
[U61#(x1, x2)] | = | 0 |
isPalListKind(mark(X)) | → | isPalListKind(X) | (152) |
U23(mark(X)) | → | U23(X) | (100) |
isPalListKind(active(X)) | → | isPalListKind(X) | (153) |
U23(active(X)) | → | U23(X) | (101) |
U62(mark(X)) | → | U62(X) | (138) |
U62(active(X)) | → | U62(X) | (139) |
__#(X1,mark(X2)) | → | __#(X1,X2) | (390) |
__#(active(X1),X2) | → | __#(X1,X2) | (351) |
__#(mark(X1),X2) | → | __#(X1,X2) | (180) |
__#(X1,active(X2)) | → | __#(X1,X2) | (175) |
The dependency pairs are split into 0 components.
and#(X1,active(X2)) | → | and#(X1,X2) | (233) |
and#(mark(X1),X2) | → | and#(X1,X2) | (212) |
and#(X1,mark(X2)) | → | and#(X1,X2) | (310) |
and#(active(X1),X2) | → | and#(X1,X2) | (301) |
[a] | = | 1 |
[U72#(x1)] | = | 0 |
[U32#(x1)] | = | 0 |
[U21(x1, x2, x3)] | = | x2 + 1613 |
[isPalListKind#(x1)] | = | 0 |
[U11(x1, x2)] | = | x2 + 1612 |
[isNeList(x1)] | = | 1 |
[isPal(x1)] | = | x1 + 1 |
[U42(x1, x2)] | = | x1 + 15743 |
[u] | = | 1 |
[U71(x1, x2)] | = | 3 |
[and(x1, x2)] | = | 4 |
[isNeList#(x1)] | = | 0 |
[U43(x1)] | = | 1 |
[U23#(x1)] | = | 0 |
[U53#(x1)] | = | 0 |
[__#(x1, x2)] | = | 0 |
[U43#(x1)] | = | 0 |
[U23(x1)] | = | 1617 |
[isNePal(x1)] | = | 2 |
[U72(x1)] | = | 7 |
[isQid#(x1)] | = | 0 |
[isPal#(x1)] | = | 0 |
[U52#(x1, x2)] | = | 0 |
[U12(x1)] | = | 1614 |
[isQid(x1)] | = | 1 |
[o] | = | 1 |
[U42#(x1, x2)] | = | 0 |
[U12#(x1)] | = | 0 |
[U62#(x1)] | = | 0 |
[mark#(x1)] | = | 3 |
[isList(x1)] | = | x1 + 1610 |
[isNePal#(x1)] | = | 0 |
[nil] | = | 1 |
[U62(x1)] | = | 6 |
[mark(x1)] | = | x1 + 1 |
[isList#(x1)] | = | 0 |
[U32(x1)] | = | 5 |
[i] | = | 1 |
[U52(x1, x2)] | = | 32159 |
[U61(x1, x2)] | = | x2 + 4 |
[U51#(x1, x2, x3)] | = | 0 |
[e] | = | 1 |
[U11#(x1, x2)] | = | 0 |
[active(x1)] | = | x1 + 2 |
[U31(x1, x2)] | = | 3 |
[U41#(x1, x2, x3)] | = | 0 |
[active#(x1)] | = | 4 |
[U21#(x1, x2, x3)] | = | 0 |
[U22#(x1, x2)] | = | 0 |
[tt] | = | 1619 |
[U71#(x1, x2)] | = | 0 |
[U22(x1, x2)] | = | 1615 |
[U51(x1, x2, x3)] | = | x2 + x3 + 22894 |
[isPalListKind(x1)] | = | x1 + 1 |
[U53(x1)] | = | x1 + 30551 |
[U41(x1, x2, x3)] | = | x2 + x3 + 3 |
[U31#(x1, x2)] | = | 0 |
[and#(x1, x2)] | = | x1 + x2 + 0 |
[__(x1, x2)] | = | x1 + 1 |
[U61#(x1, x2)] | = | 0 |
isPalListKind(mark(X)) | → | isPalListKind(X) | (152) |
U23(mark(X)) | → | U23(X) | (100) |
isPalListKind(active(X)) | → | isPalListKind(X) | (153) |
U23(active(X)) | → | U23(X) | (101) |
U62(mark(X)) | → | U62(X) | (138) |
U62(active(X)) | → | U62(X) | (139) |
and#(X1,active(X2)) | → | and#(X1,X2) | (233) |
and#(mark(X1),X2) | → | and#(X1,X2) | (212) |
and#(X1,mark(X2)) | → | and#(X1,X2) | (310) |
and#(active(X1),X2) | → | and#(X1,X2) | (301) |
The dependency pairs are split into 0 components.
U53#(mark(X)) | → | U53#(X) | (359) |
U53#(active(X)) | → | U53#(X) | (333) |
[a] | = | 1 |
[U72#(x1)] | = | 0 |
[U32#(x1)] | = | 0 |
[U21(x1, x2, x3)] | = | x2 + 1435 |
[isPalListKind#(x1)] | = | 0 |
[U11(x1, x2)] | = | x2 + 1434 |
[isNeList(x1)] | = | 1 |
[isPal(x1)] | = | x1 + 1 |
[U42(x1, x2)] | = | x1 + 24422 |
[u] | = | 1221 |
[U71(x1, x2)] | = | 5 |
[and(x1, x2)] | = | 5 |
[isNeList#(x1)] | = | 0 |
[U43(x1)] | = | 894 |
[U23#(x1)] | = | 0 |
[U53#(x1)] | = | x1 + 0 |
[__#(x1, x2)] | = | 0 |
[U43#(x1)] | = | 0 |
[U23(x1)] | = | 1439 |
[isNePal(x1)] | = | 1 |
[U72(x1)] | = | 7 |
[isQid#(x1)] | = | 0 |
[isPal#(x1)] | = | 0 |
[U52#(x1, x2)] | = | 0 |
[U12(x1)] | = | 1436 |
[isQid(x1)] | = | 1030 |
[o] | = | 1 |
[U42#(x1, x2)] | = | 0 |
[U12#(x1)] | = | 0 |
[U62#(x1)] | = | 0 |
[mark#(x1)] | = | 3 |
[isList(x1)] | = | x1 + 1432 |
[isNePal#(x1)] | = | 0 |
[nil] | = | 1 |
[U62(x1)] | = | 5 |
[mark(x1)] | = | x1 + 1 |
[isList#(x1)] | = | 0 |
[U32(x1)] | = | 5 |
[i] | = | 1 |
[U52(x1, x2)] | = | 24815 |
[U61(x1, x2)] | = | x2 + 3 |
[U51#(x1, x2, x3)] | = | 0 |
[e] | = | 1246 |
[U11#(x1, x2)] | = | 0 |
[active(x1)] | = | x1 + 2 |
[U31(x1, x2)] | = | 3 |
[U41#(x1, x2, x3)] | = | 0 |
[active#(x1)] | = | 4 |
[U21#(x1, x2, x3)] | = | 0 |
[U22#(x1, x2)] | = | 0 |
[tt] | = | 1441 |
[U71#(x1, x2)] | = | 0 |
[U22(x1, x2)] | = | 1437 |
[U51(x1, x2, x3)] | = | x2 + x3 + 8441 |
[isPalListKind(x1)] | = | x1 + 2 |
[U53(x1)] | = | x1 + 23385 |
[U41(x1, x2, x3)] | = | x2 + x3 + 25852 |
[U31#(x1, x2)] | = | 0 |
[and#(x1, x2)] | = | 0 |
[__(x1, x2)] | = | x1 + 1 |
[U61#(x1, x2)] | = | 0 |
isPalListKind(mark(X)) | → | isPalListKind(X) | (152) |
U23(mark(X)) | → | U23(X) | (100) |
isPalListKind(active(X)) | → | isPalListKind(X) | (153) |
U23(active(X)) | → | U23(X) | (101) |
U62(mark(X)) | → | U62(X) | (138) |
U62(active(X)) | → | U62(X) | (139) |
U53#(mark(X)) | → | U53#(X) | (359) |
U53#(active(X)) | → | U53#(X) | (333) |
The dependency pairs are split into 0 components.
U31#(mark(X1),X2) | → | U31#(X1,X2) | (245) |
U31#(X1,mark(X2)) | → | U31#(X1,X2) | (355) |
U31#(X1,active(X2)) | → | U31#(X1,X2) | (228) |
U31#(active(X1),X2) | → | U31#(X1,X2) | (313) |
[a] | = | 1 |
[U72#(x1)] | = | 0 |
[U32#(x1)] | = | 0 |
[U21(x1, x2, x3)] | = | x2 + 9 |
[isPalListKind#(x1)] | = | 0 |
[U11(x1, x2)] | = | x2 + 8 |
[isNeList(x1)] | = | 1 |
[isPal(x1)] | = | x1 + 1 |
[U42(x1, x2)] | = | x1 + 18653 |
[u] | = | 1 |
[U71(x1, x2)] | = | 3 |
[and(x1, x2)] | = | 4 |
[isNeList#(x1)] | = | 0 |
[U43(x1)] | = | 803 |
[U23#(x1)] | = | 0 |
[U53#(x1)] | = | 0 |
[__#(x1, x2)] | = | 0 |
[U43#(x1)] | = | 0 |
[U23(x1)] | = | 13 |
[isNePal(x1)] | = | 1 |
[U72(x1)] | = | 5 |
[isQid#(x1)] | = | 0 |
[isPal#(x1)] | = | 0 |
[U52#(x1, x2)] | = | 0 |
[U12(x1)] | = | 10 |
[isQid(x1)] | = | 644 |
[o] | = | 1 |
[U42#(x1, x2)] | = | 0 |
[U12#(x1)] | = | 0 |
[U62#(x1)] | = | 0 |
[mark#(x1)] | = | 3 |
[isList(x1)] | = | x1 + 6 |
[isNePal#(x1)] | = | 0 |
[nil] | = | 1 |
[U62(x1)] | = | 5 |
[mark(x1)] | = | x1 + 1 |
[isList#(x1)] | = | 0 |
[U32(x1)] | = | 5 |
[i] | = | 1 |
[U52(x1, x2)] | = | 5 |
[U61(x1, x2)] | = | x2 + 3 |
[U51#(x1, x2, x3)] | = | 0 |
[e] | = | 1 |
[U11#(x1, x2)] | = | 0 |
[active(x1)] | = | x1 + 2 |
[U31(x1, x2)] | = | 3 |
[U41#(x1, x2, x3)] | = | 0 |
[active#(x1)] | = | 4 |
[U21#(x1, x2, x3)] | = | 0 |
[U22#(x1, x2)] | = | 0 |
[tt] | = | 1441 |
[U71#(x1, x2)] | = | 0 |
[U22(x1, x2)] | = | 11 |
[U51(x1, x2, x3)] | = | x2 + x3 + 3 |
[isPalListKind(x1)] | = | x1 + 1 |
[U53(x1)] | = | x1 + 1 |
[U41(x1, x2, x3)] | = | x2 + x3 + 18657 |
[U31#(x1, x2)] | = | x1 + x2 + 0 |
[and#(x1, x2)] | = | 0 |
[__(x1, x2)] | = | x1 + 1 |
[U61#(x1, x2)] | = | 0 |
isPalListKind(mark(X)) | → | isPalListKind(X) | (152) |
U23(mark(X)) | → | U23(X) | (100) |
isPalListKind(active(X)) | → | isPalListKind(X) | (153) |
U23(active(X)) | → | U23(X) | (101) |
U62(mark(X)) | → | U62(X) | (138) |
U62(active(X)) | → | U62(X) | (139) |
U31#(mark(X1),X2) | → | U31#(X1,X2) | (245) |
U31#(X1,mark(X2)) | → | U31#(X1,X2) | (355) |
U31#(X1,active(X2)) | → | U31#(X1,X2) | (228) |
U31#(active(X1),X2) | → | U31#(X1,X2) | (313) |
The dependency pairs are split into 0 components.
U12#(active(X)) | → | U12#(X) | (255) |
U12#(mark(X)) | → | U12#(X) | (283) |
[a] | = | 1 |
[U72#(x1)] | = | 0 |
[U32#(x1)] | = | 0 |
[U21(x1, x2, x3)] | = | x2 + 9052 |
[isPalListKind#(x1)] | = | 0 |
[U11(x1, x2)] | = | x2 + 9051 |
[isNeList(x1)] | = | 9050 |
[isPal(x1)] | = | x1 + 815 |
[U42(x1, x2)] | = | x1 + 5 |
[u] | = | 1 |
[U71(x1, x2)] | = | 817 |
[and(x1, x2)] | = | 32179 |
[isNeList#(x1)] | = | 0 |
[U43(x1)] | = | 2377 |
[U23#(x1)] | = | 0 |
[U53#(x1)] | = | 0 |
[__#(x1, x2)] | = | 0 |
[U43#(x1)] | = | 0 |
[U23(x1)] | = | 9056 |
[isNePal(x1)] | = | 4950 |
[U72(x1)] | = | 819 |
[isQid#(x1)] | = | 0 |
[isPal#(x1)] | = | 0 |
[U52#(x1, x2)] | = | 0 |
[U12(x1)] | = | 9053 |
[isQid(x1)] | = | 1959 |
[o] | = | 8588 |
[U42#(x1, x2)] | = | 0 |
[U12#(x1)] | = | x1 + 0 |
[U62#(x1)] | = | 0 |
[mark#(x1)] | = | 3 |
[isList(x1)] | = | x1 + 9049 |
[isNePal#(x1)] | = | 0 |
[nil] | = | 1 |
[U62(x1)] | = | 4954 |
[mark(x1)] | = | x1 + 1 |
[isList#(x1)] | = | 0 |
[U32(x1)] | = | 9054 |
[i] | = | 4433 |
[U52(x1, x2)] | = | 9054 |
[U61(x1, x2)] | = | x2 + 4952 |
[U51#(x1, x2, x3)] | = | 0 |
[e] | = | 1 |
[U11#(x1, x2)] | = | 0 |
[active(x1)] | = | x1 + 2 |
[U31(x1, x2)] | = | 9052 |
[U41#(x1, x2, x3)] | = | 0 |
[active#(x1)] | = | 4 |
[U21#(x1, x2, x3)] | = | 0 |
[U22#(x1, x2)] | = | 0 |
[tt] | = | 9058 |
[U71#(x1, x2)] | = | 0 |
[U22(x1, x2)] | = | 9054 |
[U51(x1, x2, x3)] | = | x2 + x3 + 9052 |
[isPalListKind(x1)] | = | x1 + 1 |
[U53(x1)] | = | x1 + 7 |
[U41(x1, x2, x3)] | = | x2 + x3 + 9052 |
[U31#(x1, x2)] | = | 0 |
[and#(x1, x2)] | = | 0 |
[__(x1, x2)] | = | x1 + 1 |
[U61#(x1, x2)] | = | 0 |
isPalListKind(mark(X)) | → | isPalListKind(X) | (152) |
U23(mark(X)) | → | U23(X) | (100) |
isPalListKind(active(X)) | → | isPalListKind(X) | (153) |
U23(active(X)) | → | U23(X) | (101) |
U62(mark(X)) | → | U62(X) | (138) |
U62(active(X)) | → | U62(X) | (139) |
U12#(active(X)) | → | U12#(X) | (255) |
U12#(mark(X)) | → | U12#(X) | (283) |
The dependency pairs are split into 0 components.
U21#(mark(X1),X2,X3) | → | U21#(X1,X2,X3) | (370) |
U21#(X1,X2,active(X3)) | → | U21#(X1,X2,X3) | (330) |
U21#(X1,mark(X2),X3) | → | U21#(X1,X2,X3) | (207) |
U21#(X1,X2,mark(X3)) | → | U21#(X1,X2,X3) | (197) |
U21#(X1,active(X2),X3) | → | U21#(X1,X2,X3) | (306) |
U21#(active(X1),X2,X3) | → | U21#(X1,X2,X3) | (159) |
[a] | = | 1 |
[U72#(x1)] | = | 0 |
[U32#(x1)] | = | 0 |
[U21(x1, x2, x3)] | = | x1 + 16842 |
[isPalListKind#(x1)] | = | 0 |
[U11(x1, x2)] | = | x1 + x2 + 40569 |
[isNeList(x1)] | = | 1 |
[isPal(x1)] | = | x1 + 9830 |
[U42(x1, x2)] | = | x1 + 19551 |
[u] | = | 1 |
[U71(x1, x2)] | = | x1 + 2 |
[and(x1, x2)] | = | x1 + 18133 |
[isNeList#(x1)] | = | 0 |
[U43(x1)] | = | x1 + 57363 |
[U23#(x1)] | = | 0 |
[U53#(x1)] | = | 0 |
[__#(x1, x2)] | = | 0 |
[U43#(x1)] | = | 0 |
[U23(x1)] | = | 27465 |
[isNePal(x1)] | = | 5837 |
[U72(x1)] | = | 16069 |
[isQid#(x1)] | = | 0 |
[isPal#(x1)] | = | 0 |
[U52#(x1, x2)] | = | 0 |
[U12(x1)] | = | x1 + 78381 |
[isQid(x1)] | = | 2 |
[o] | = | 23971 |
[U42#(x1, x2)] | = | 0 |
[U12#(x1)] | = | 0 |
[U62#(x1)] | = | 0 |
[mark#(x1)] | = | 3 |
[isList(x1)] | = | 1 |
[isNePal#(x1)] | = | 0 |
[nil] | = | 1 |
[U62(x1)] | = | 7778 |
[mark(x1)] | = | x1 + 1 |
[isList#(x1)] | = | 0 |
[U32(x1)] | = | 37809 |
[i] | = | 751 |
[U52(x1, x2)] | = | x2 + 80499 |
[U61(x1, x2)] | = | x2 + 7776 |
[U51#(x1, x2, x3)] | = | 0 |
[e] | = | 16334 |
[U11#(x1, x2)] | = | 0 |
[active(x1)] | = | x1 + 2 |
[U31(x1, x2)] | = | x2 + 9278 |
[U41#(x1, x2, x3)] | = | 0 |
[active#(x1)] | = | 4 |
[U21#(x1, x2, x3)] | = | x1 + x2 + x3 + 0 |
[U22#(x1, x2)] | = | 0 |
[tt] | = | 37811 |
[U71#(x1, x2)] | = | 0 |
[U22(x1, x2)] | = | x2 + 27463 |
[U51(x1, x2, x3)] | = | x1 + x3 + 42686 |
[isPalListKind(x1)] | = | x1 + 9830 |
[U53(x1)] | = | x1 + 80500 |
[U41(x1, x2, x3)] | = | x2 + x3 + 19550 |
[U31#(x1, x2)] | = | 0 |
[and#(x1, x2)] | = | 0 |
[__(x1, x2)] | = | x1 + x2 + 1 |
[U61#(x1, x2)] | = | 0 |
U23(mark(X)) | → | U23(X) | (100) |
U23(active(X)) | → | U23(X) | (101) |
U62(mark(X)) | → | U62(X) | (138) |
U62(active(X)) | → | U62(X) | (139) |
U21#(mark(X1),X2,X3) | → | U21#(X1,X2,X3) | (370) |
U21#(X1,X2,active(X3)) | → | U21#(X1,X2,X3) | (330) |
U21#(X1,mark(X2),X3) | → | U21#(X1,X2,X3) | (207) |
U21#(X1,X2,mark(X3)) | → | U21#(X1,X2,X3) | (197) |
U21#(X1,active(X2),X3) | → | U21#(X1,X2,X3) | (306) |
U21#(active(X1),X2,X3) | → | U21#(X1,X2,X3) | (159) |
The dependency pairs are split into 0 components.
isList#(active(X)) | → | isList#(X) | (323) |
isList#(mark(X)) | → | isList#(X) | (318) |
[a] | = | 1 |
[U72#(x1)] | = | 0 |
[U32#(x1)] | = | 0 |
[U21(x1, x2, x3)] | = | x1 + x2 + 18210 |
[isPalListKind#(x1)] | = | 0 |
[U11(x1, x2)] | = | x2 + 19209 |
[isNeList(x1)] | = | 4463 |
[isPal(x1)] | = | x1 + 1 |
[U42(x1, x2)] | = | 23985 |
[u] | = | 1 |
[U71(x1, x2)] | = | 18735 |
[and(x1, x2)] | = | 33844 |
[isNeList#(x1)] | = | 0 |
[U43(x1)] | = | 28420 |
[U23#(x1)] | = | 0 |
[U53#(x1)] | = | 0 |
[__#(x1, x2)] | = | 0 |
[U43#(x1)] | = | 0 |
[U23(x1)] | = | 11395 |
[isNePal(x1)] | = | x1 + 20537 |
[U72(x1)] | = | 23170 |
[isQid#(x1)] | = | 0 |
[isPal#(x1)] | = | 0 |
[U52#(x1, x2)] | = | 0 |
[U12(x1)] | = | 23644 |
[isQid(x1)] | = | x1 + 11641 |
[o] | = | 1 |
[U42#(x1, x2)] | = | 0 |
[U12#(x1)] | = | 0 |
[U62#(x1)] | = | 0 |
[mark#(x1)] | = | 3 |
[isList(x1)] | = | 14774 |
[isNePal#(x1)] | = | 0 |
[nil] | = | 1 |
[U62(x1)] | = | 29407 |
[mark(x1)] | = | x1 + 1 |
[isList#(x1)] | = | x1 + 0 |
[U32(x1)] | = | 13333 |
[i] | = | 1 |
[U52(x1, x2)] | = | 13333 |
[U61(x1, x2)] | = | x2 + 24972 |
[U51#(x1, x2, x3)] | = | 0 |
[e] | = | 1 |
[U11#(x1, x2)] | = | 0 |
[active(x1)] | = | x1 + 4435 |
[U31(x1, x2)] | = | x2 + 8898 |
[U41#(x1, x2, x3)] | = | 0 |
[active#(x1)] | = | 4 |
[U21#(x1, x2, x3)] | = | 0 |
[U22#(x1, x2)] | = | 0 |
[tt] | = | 37811 |
[U71#(x1, x2)] | = | 0 |
[U22(x1, x2)] | = | x2 + 6960 |
[U51(x1, x2, x3)] | = | x2 + x3 + 8898 |
[isPalListKind(x1)] | = | x1 + 16656 |
[U53(x1)] | = | 17768 |
[U41(x1, x2, x3)] | = | x2 + x3 + 19550 |
[U31#(x1, x2)] | = | 0 |
[and#(x1, x2)] | = | 0 |
[__(x1, x2)] | = | x2 + 4435 |
[U61#(x1, x2)] | = | 0 |
U43(active(X)) | → | U43(X) | (121) |
U23(mark(X)) | → | U23(X) | (100) |
isNeList(active(X)) | → | isNeList(X) | (87) |
U43(mark(X)) | → | U43(X) | (120) |
U23(active(X)) | → | U23(X) | (101) |
isNeList(mark(X)) | → | isNeList(X) | (86) |
isList#(active(X)) | → | isList#(X) | (323) |
isList#(mark(X)) | → | isList#(X) | (318) |
The dependency pairs are split into 0 components.
U41#(active(X1),X2,X3) | → | U41#(X1,X2,X3) | (275) |
U41#(X1,X2,active(X3)) | → | U41#(X1,X2,X3) | (363) |
U41#(X1,active(X2),X3) | → | U41#(X1,X2,X3) | (352) |
U41#(mark(X1),X2,X3) | → | U41#(X1,X2,X3) | (218) |
U41#(X1,mark(X2),X3) | → | U41#(X1,X2,X3) | (295) |
U41#(X1,X2,mark(X3)) | → | U41#(X1,X2,X3) | (158) |
[a] | = | 1 |
[U72#(x1)] | = | 0 |
[U32#(x1)] | = | 0 |
[U21(x1, x2, x3)] | = | x1 + x2 + 1 |
[isPalListKind#(x1)] | = | 0 |
[U11(x1, x2)] | = | x2 + 3 |
[isNeList(x1)] | = | 1 |
[isPal(x1)] | = | x1 + 1 |
[U42(x1, x2)] | = | 5 |
[u] | = | 1 |
[U71(x1, x2)] | = | 3 |
[and(x1, x2)] | = | 7 |
[isNeList#(x1)] | = | 0 |
[U43(x1)] | = | 7 |
[U23#(x1)] | = | 0 |
[U53#(x1)] | = | 0 |
[__#(x1, x2)] | = | 0 |
[U43#(x1)] | = | 0 |
[U23(x1)] | = | 7 |
[isNePal(x1)] | = | x1 + 1 |
[U72(x1)] | = | 5 |
[isQid#(x1)] | = | 0 |
[isPal#(x1)] | = | 0 |
[U52#(x1, x2)] | = | 0 |
[U12(x1)] | = | 5 |
[isQid(x1)] | = | x1 + 1 |
[o] | = | 1 |
[U42#(x1, x2)] | = | 0 |
[U12#(x1)] | = | 0 |
[U62#(x1)] | = | 0 |
[mark#(x1)] | = | 3 |
[isList(x1)] | = | 1 |
[isNePal#(x1)] | = | 0 |
[nil] | = | 1 |
[U62(x1)] | = | 5 |
[mark(x1)] | = | x1 + 1 |
[isList#(x1)] | = | 0 |
[U32(x1)] | = | 5 |
[i] | = | 1 |
[U52(x1, x2)] | = | 5 |
[U61(x1, x2)] | = | x2 + 3 |
[U51#(x1, x2, x3)] | = | 0 |
[e] | = | 1 |
[U11#(x1, x2)] | = | 0 |
[active(x1)] | = | x1 + 2 |
[U31(x1, x2)] | = | x2 + 3 |
[U41#(x1, x2, x3)] | = | x1 + x2 + x3 + 0 |
[active#(x1)] | = | 4 |
[U21#(x1, x2, x3)] | = | 0 |
[U22#(x1, x2)] | = | 0 |
[tt] | = | 9 |
[U71#(x1, x2)] | = | 0 |
[U22(x1, x2)] | = | x2 + 2 |
[U51(x1, x2, x3)] | = | x2 + x3 + 3 |
[isPalListKind(x1)] | = | x1 + 1 |
[U53(x1)] | = | 7 |
[U41(x1, x2, x3)] | = | x2 + x3 + 3 |
[U31#(x1, x2)] | = | 0 |
[and#(x1, x2)] | = | 0 |
[__(x1, x2)] | = | x2 + 2 |
[U61#(x1, x2)] | = | 0 |
U43(active(X)) | → | U43(X) | (121) |
U23(mark(X)) | → | U23(X) | (100) |
isNeList(active(X)) | → | isNeList(X) | (87) |
U43(mark(X)) | → | U43(X) | (120) |
U23(active(X)) | → | U23(X) | (101) |
isNeList(mark(X)) | → | isNeList(X) | (86) |
U41#(active(X1),X2,X3) | → | U41#(X1,X2,X3) | (275) |
U41#(X1,X2,active(X3)) | → | U41#(X1,X2,X3) | (363) |
U41#(X1,active(X2),X3) | → | U41#(X1,X2,X3) | (352) |
U41#(mark(X1),X2,X3) | → | U41#(X1,X2,X3) | (218) |
U41#(X1,mark(X2),X3) | → | U41#(X1,X2,X3) | (295) |
U41#(X1,X2,mark(X3)) | → | U41#(X1,X2,X3) | (158) |
The dependency pairs are split into 0 components.
isNeList#(active(X)) | → | isNeList#(X) | (294) |
isNeList#(mark(X)) | → | isNeList#(X) | (156) |
[a] | = | 1 |
[U72#(x1)] | = | 0 |
[U32#(x1)] | = | 0 |
[U21(x1, x2, x3)] | = | x1 + x2 + 13172 |
[isPalListKind#(x1)] | = | 0 |
[U11(x1, x2)] | = | x2 + 2193 |
[isNeList(x1)] | = | 62889 |
[isPal(x1)] | = | x1 + 1 |
[U42(x1, x2)] | = | 62893 |
[u] | = | 1 |
[U71(x1, x2)] | = | 1295 |
[and(x1, x2)] | = | 35800 |
[isNeList#(x1)] | = | x1 + 0 |
[U43(x1)] | = | 62895 |
[U23#(x1)] | = | 0 |
[U53#(x1)] | = | 0 |
[__#(x1, x2)] | = | 0 |
[U43#(x1)] | = | 0 |
[U23(x1)] | = | 38214 |
[isNePal(x1)] | = | x1 + 13370 |
[U72(x1)] | = | 1297 |
[isQid#(x1)] | = | 0 |
[isPal#(x1)] | = | 0 |
[U52#(x1, x2)] | = | 0 |
[U12(x1)] | = | 14589 |
[isQid(x1)] | = | x1 + 1 |
[o] | = | 1 |
[U42#(x1, x2)] | = | 0 |
[U12#(x1)] | = | 0 |
[U62#(x1)] | = | 0 |
[mark#(x1)] | = | 3 |
[isList(x1)] | = | 1 |
[isNePal#(x1)] | = | 0 |
[nil] | = | 1 |
[U62(x1)] | = | 13374 |
[mark(x1)] | = | x1 + 18823 |
[isList#(x1)] | = | 0 |
[U32(x1)] | = | 62893 |
[i] | = | 1 |
[U52(x1, x2)] | = | 62893 |
[U61(x1, x2)] | = | x2 + 13372 |
[U51#(x1, x2, x3)] | = | 0 |
[e] | = | 16334 |
[U11#(x1, x2)] | = | 0 |
[active(x1)] | = | x1 + 18824 |
[U31(x1, x2)] | = | x2 + 62891 |
[U41#(x1, x2, x3)] | = | 0 |
[active#(x1)] | = | 4 |
[U21#(x1, x2, x3)] | = | 0 |
[U22#(x1, x2)] | = | 0 |
[tt] | = | 62897 |
[U71#(x1, x2)] | = | 0 |
[U22(x1, x2)] | = | x2 + 13359 |
[U51(x1, x2, x3)] | = | x2 + x3 + 62891 |
[isPalListKind(x1)] | = | x1 + 1 |
[U53(x1)] | = | 62895 |
[U41(x1, x2, x3)] | = | x2 + x3 + 62891 |
[U31#(x1, x2)] | = | 0 |
[and#(x1, x2)] | = | 0 |
[__(x1, x2)] | = | x2 + 11214 |
[U61#(x1, x2)] | = | 0 |
U43(active(X)) | → | U43(X) | (121) |
U23(mark(X)) | → | U23(X) | (100) |
isNeList(active(X)) | → | isNeList(X) | (87) |
U43(mark(X)) | → | U43(X) | (120) |
U23(active(X)) | → | U23(X) | (101) |
isNeList(mark(X)) | → | isNeList(X) | (86) |
isNeList#(active(X)) | → | isNeList#(X) | (294) |
isNeList#(mark(X)) | → | isNeList#(X) | (156) |
The dependency pairs are split into 0 components.