MAYBE Time: 0.060455 TRS: { a__pairNs() -> cons(0(), incr oddNs()), a__pairNs() -> pairNs(), a__incr X -> incr X, a__incr cons(X, XS) -> cons(s mark X, incr XS), a__oddNs() -> oddNs(), a__oddNs() -> a__incr a__pairNs(), mark cons(X1, X2) -> cons(mark X1, X2), mark 0() -> 0(), mark incr X -> a__incr mark X, mark oddNs() -> a__oddNs(), mark s X -> s mark X, mark nil() -> nil(), mark take(X1, X2) -> a__take(mark X1, mark X2), mark pair(X1, X2) -> pair(mark X1, mark X2), mark zip(X1, X2) -> a__zip(mark X1, mark X2), mark repItems X -> a__repItems mark X, mark pairNs() -> a__pairNs(), mark tail X -> a__tail mark X, a__take(X1, X2) -> take(X1, X2), a__take(0(), XS) -> nil(), a__take(s N, cons(X, XS)) -> cons(mark X, take(N, XS)), a__zip(X, nil()) -> nil(), a__zip(X1, X2) -> zip(X1, X2), a__zip(cons(X, XS), cons(Y, YS)) -> cons(pair(mark X, mark Y), zip(XS, YS)), a__zip(nil(), XS) -> nil(), a__tail X -> tail X, a__tail cons(X, XS) -> mark XS, a__repItems X -> repItems X, a__repItems cons(X, XS) -> cons(mark X, cons(X, repItems XS)), a__repItems nil() -> nil()} DP: DP: { a__incr# cons(X, XS) -> mark# X, a__oddNs#() -> a__pairNs#(), a__oddNs#() -> a__incr# a__pairNs(), mark# cons(X1, X2) -> mark# X1, mark# incr X -> a__incr# mark X, mark# incr X -> mark# X, mark# oddNs() -> a__oddNs#(), mark# s X -> mark# X, mark# take(X1, X2) -> mark# X1, mark# take(X1, X2) -> mark# X2, mark# take(X1, X2) -> a__take#(mark X1, mark X2), mark# pair(X1, X2) -> mark# X1, mark# pair(X1, X2) -> mark# X2, mark# zip(X1, X2) -> mark# X1, mark# zip(X1, X2) -> mark# X2, mark# zip(X1, X2) -> a__zip#(mark X1, mark X2), mark# repItems X -> mark# X, mark# repItems X -> a__repItems# mark X, mark# pairNs() -> a__pairNs#(), mark# tail X -> mark# X, mark# tail X -> a__tail# mark X, a__take#(s N, cons(X, XS)) -> mark# X, a__zip#(cons(X, XS), cons(Y, YS)) -> mark# X, a__zip#(cons(X, XS), cons(Y, YS)) -> mark# Y, a__tail# cons(X, XS) -> mark# XS, a__repItems# cons(X, XS) -> mark# X} TRS: { a__pairNs() -> cons(0(), incr oddNs()), a__pairNs() -> pairNs(), a__incr X -> incr X, a__incr cons(X, XS) -> cons(s mark X, incr XS), a__oddNs() -> oddNs(), a__oddNs() -> a__incr a__pairNs(), mark cons(X1, X2) -> cons(mark X1, X2), mark 0() -> 0(), mark incr X -> a__incr mark X, mark oddNs() -> a__oddNs(), mark s X -> s mark X, mark nil() -> nil(), mark take(X1, X2) -> a__take(mark X1, mark X2), mark pair(X1, X2) -> pair(mark X1, mark X2), mark zip(X1, X2) -> a__zip(mark X1, mark X2), mark repItems X -> a__repItems mark X, mark pairNs() -> a__pairNs(), mark tail X -> a__tail mark X, a__take(X1, X2) -> take(X1, X2), a__take(0(), XS) -> nil(), a__take(s N, cons(X, XS)) -> cons(mark X, take(N, XS)), a__zip(X, nil()) -> nil(), a__zip(X1, X2) -> zip(X1, X2), a__zip(cons(X, XS), cons(Y, YS)) -> cons(pair(mark X, mark Y), zip(XS, YS)), a__zip(nil(), XS) -> nil(), a__tail X -> tail X, a__tail cons(X, XS) -> mark XS, a__repItems X -> repItems X, a__repItems cons(X, XS) -> cons(mark X, cons(X, repItems XS)), a__repItems nil() -> nil()} UR: { a__pairNs() -> cons(0(), incr oddNs()), a__pairNs() -> pairNs(), a__incr X -> incr X, a__incr cons(X, XS) -> cons(s mark X, incr XS), a__oddNs() -> oddNs(), a__oddNs() -> a__incr a__pairNs(), mark cons(X1, X2) -> cons(mark X1, X2), mark 0() -> 0(), mark incr X -> a__incr mark X, mark oddNs() -> a__oddNs(), mark s X -> s mark X, mark nil() -> nil(), mark take(X1, X2) -> a__take(mark X1, mark X2), mark pair(X1, X2) -> pair(mark X1, mark X2), mark zip(X1, X2) -> a__zip(mark X1, mark X2), mark repItems X -> a__repItems mark X, mark pairNs() -> a__pairNs(), mark tail X -> a__tail mark X, a__take(X1, X2) -> take(X1, X2), a__take(0(), XS) -> nil(), a__take(s N, cons(X, XS)) -> cons(mark X, take(N, XS)), a__zip(X, nil()) -> nil(), a__zip(X1, X2) -> zip(X1, X2), a__zip(cons(X, XS), cons(Y, YS)) -> cons(pair(mark X, mark Y), zip(XS, YS)), a__zip(nil(), XS) -> nil(), a__tail X -> tail X, a__tail cons(X, XS) -> mark XS, a__repItems X -> repItems X, a__repItems cons(X, XS) -> cons(mark X, cons(X, repItems XS)), a__repItems nil() -> nil(), a(x, y) -> x, a(x, y) -> y} EDG: { (mark# take(X1, X2) -> mark# X1, mark# tail X -> a__tail# mark X) (mark# take(X1, X2) -> mark# X1, mark# tail X -> mark# X) (mark# take(X1, X2) -> mark# X1, mark# pairNs() -> a__pairNs#()) (mark# take(X1, X2) -> mark# X1, mark# repItems X -> a__repItems# mark X) (mark# take(X1, X2) -> mark# X1, mark# repItems X -> mark# X) (mark# take(X1, X2) -> mark# X1, mark# zip(X1, X2) -> a__zip#(mark X1, mark X2)) (mark# take(X1, X2) -> mark# X1, mark# zip(X1, X2) -> mark# X2) (mark# take(X1, X2) -> mark# X1, mark# zip(X1, X2) -> mark# X1) (mark# take(X1, X2) -> mark# X1, mark# pair(X1, X2) -> mark# X2) (mark# take(X1, X2) -> mark# X1, mark# pair(X1, X2) -> mark# X1) (mark# take(X1, X2) -> mark# X1, mark# take(X1, X2) -> a__take#(mark X1, mark X2)) (mark# take(X1, X2) -> mark# X1, mark# take(X1, X2) -> mark# X2) (mark# take(X1, X2) -> mark# X1, mark# take(X1, X2) -> mark# X1) (mark# take(X1, X2) -> mark# X1, mark# s X -> mark# X) (mark# take(X1, X2) -> mark# X1, mark# oddNs() -> a__oddNs#()) (mark# take(X1, X2) -> mark# X1, mark# incr X -> mark# X) (mark# take(X1, X2) -> mark# X1, mark# incr X -> a__incr# mark X) (mark# take(X1, X2) -> mark# X1, mark# cons(X1, X2) -> mark# X1) (mark# zip(X1, X2) -> mark# X1, mark# tail X -> a__tail# mark X) (mark# zip(X1, X2) -> mark# X1, mark# tail X -> mark# X) (mark# zip(X1, X2) -> mark# X1, mark# pairNs() -> a__pairNs#()) (mark# zip(X1, X2) -> mark# X1, mark# repItems X -> a__repItems# mark X) (mark# zip(X1, X2) -> mark# X1, mark# repItems X -> mark# X) (mark# zip(X1, X2) -> mark# X1, mark# zip(X1, X2) -> a__zip#(mark X1, mark X2)) (mark# zip(X1, X2) -> mark# X1, mark# zip(X1, X2) -> mark# X2) (mark# zip(X1, X2) -> mark# X1, mark# zip(X1, X2) -> mark# X1) (mark# zip(X1, X2) -> mark# X1, mark# pair(X1, X2) -> mark# X2) (mark# zip(X1, X2) -> mark# X1, mark# pair(X1, X2) -> mark# X1) (mark# zip(X1, X2) -> mark# X1, mark# take(X1, X2) -> a__take#(mark X1, mark X2)) (mark# zip(X1, X2) -> mark# X1, mark# take(X1, X2) -> mark# X2) (mark# zip(X1, X2) -> mark# X1, mark# take(X1, X2) -> mark# X1) (mark# zip(X1, X2) -> mark# X1, mark# s X -> mark# X) (mark# zip(X1, X2) -> mark# X1, mark# oddNs() -> a__oddNs#()) (mark# zip(X1, X2) -> mark# X1, mark# incr X -> mark# X) (mark# zip(X1, X2) -> mark# X1, mark# incr X -> a__incr# mark X) (mark# zip(X1, X2) -> mark# X1, mark# cons(X1, X2) -> mark# X1) (a__incr# cons(X, XS) -> mark# X, mark# tail X -> a__tail# mark X) (a__incr# cons(X, XS) -> mark# X, mark# tail X -> mark# X) (a__incr# cons(X, XS) -> mark# X, mark# pairNs() -> a__pairNs#()) (a__incr# cons(X, XS) -> mark# X, mark# repItems X -> a__repItems# mark X) (a__incr# cons(X, XS) -> mark# X, mark# repItems X -> mark# X) (a__incr# cons(X, XS) -> mark# X, mark# zip(X1, X2) -> a__zip#(mark X1, mark X2)) (a__incr# cons(X, XS) -> mark# X, mark# zip(X1, X2) -> mark# X2) (a__incr# cons(X, XS) -> mark# X, mark# zip(X1, X2) -> mark# X1) (a__incr# cons(X, XS) -> mark# X, mark# pair(X1, X2) -> mark# X2) (a__incr# cons(X, XS) -> mark# X, mark# pair(X1, X2) -> mark# X1) (a__incr# cons(X, XS) -> mark# X, mark# take(X1, X2) -> a__take#(mark X1, mark X2)) (a__incr# cons(X, XS) -> mark# X, mark# take(X1, X2) -> mark# X2) (a__incr# cons(X, XS) -> mark# X, mark# take(X1, X2) -> mark# X1) (a__incr# cons(X, XS) -> mark# X, mark# s X -> mark# X) (a__incr# cons(X, XS) -> mark# X, mark# oddNs() -> a__oddNs#()) (a__incr# cons(X, XS) -> mark# X, mark# incr X -> mark# X) (a__incr# cons(X, XS) -> mark# X, mark# incr X -> a__incr# mark X) (a__incr# cons(X, XS) -> mark# X, mark# cons(X1, X2) -> mark# X1) (mark# s X -> mark# X, mark# tail X -> a__tail# mark X) (mark# s X -> mark# X, mark# tail X -> mark# X) (mark# s X -> mark# X, mark# pairNs() -> a__pairNs#()) (mark# s X -> mark# X, mark# repItems X -> a__repItems# mark X) (mark# s X -> mark# X, mark# repItems X -> mark# X) (mark# s X -> mark# X, mark# zip(X1, X2) -> a__zip#(mark X1, mark X2)) (mark# s X -> mark# X, mark# zip(X1, X2) -> mark# X2) (mark# s X -> mark# X, mark# zip(X1, X2) -> mark# X1) (mark# s X -> mark# X, mark# pair(X1, X2) -> mark# X2) (mark# s X -> mark# X, mark# pair(X1, X2) -> mark# X1) (mark# s X -> mark# X, mark# take(X1, X2) -> a__take#(mark X1, mark X2)) (mark# s X -> mark# X, mark# take(X1, X2) -> mark# X2) (mark# s X -> mark# X, mark# take(X1, X2) -> mark# X1) (mark# s X -> mark# X, mark# s X -> mark# X) (mark# s X -> mark# X, mark# oddNs() -> a__oddNs#()) (mark# s X -> mark# X, mark# incr X -> mark# X) (mark# s X -> mark# X, mark# incr X -> a__incr# mark X) (mark# s X -> mark# X, mark# cons(X1, X2) -> mark# X1) (mark# tail X -> mark# X, mark# tail X -> a__tail# mark X) (mark# tail X -> mark# X, mark# tail X -> mark# X) (mark# tail X -> mark# X, mark# pairNs() -> a__pairNs#()) (mark# tail X -> mark# X, mark# repItems X -> a__repItems# mark X) (mark# tail X -> mark# X, mark# repItems X -> mark# X) (mark# tail X -> mark# X, mark# zip(X1, X2) -> a__zip#(mark X1, mark X2)) (mark# tail X -> mark# X, mark# zip(X1, X2) -> mark# X2) (mark# tail X -> mark# X, mark# zip(X1, X2) -> mark# X1) (mark# tail X -> mark# X, mark# pair(X1, X2) -> mark# X2) (mark# tail X -> mark# X, mark# pair(X1, X2) -> mark# X1) (mark# tail X -> mark# X, mark# take(X1, X2) -> a__take#(mark X1, mark X2)) (mark# tail X -> mark# X, mark# take(X1, X2) -> mark# X2) (mark# tail X -> mark# X, mark# take(X1, X2) -> mark# X1) (mark# tail X -> mark# X, mark# s X -> mark# X) (mark# tail X -> mark# X, mark# oddNs() -> a__oddNs#()) (mark# tail X -> mark# X, mark# incr X -> mark# X) (mark# tail X -> mark# X, mark# incr X -> a__incr# mark X) (mark# tail X -> mark# X, mark# cons(X1, X2) -> mark# X1) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# X, mark# tail X -> a__tail# mark X) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# X, mark# tail X -> mark# X) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# X, mark# pairNs() -> a__pairNs#()) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# X, mark# repItems X -> a__repItems# mark X) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# X, mark# repItems X -> mark# X) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# X, mark# zip(X1, X2) -> a__zip#(mark X1, mark X2)) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# X, mark# zip(X1, X2) -> mark# X2) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# X, mark# zip(X1, X2) -> mark# X1) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# X, mark# pair(X1, X2) -> mark# X2) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# X, mark# pair(X1, X2) -> mark# X1) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# X, mark# take(X1, X2) -> a__take#(mark X1, mark X2)) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# X, mark# take(X1, X2) -> mark# X2) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# X, mark# take(X1, X2) -> mark# X1) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# X, mark# s X -> mark# X) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# X, mark# oddNs() -> a__oddNs#()) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# X, mark# incr X -> mark# X) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# X, mark# incr X -> a__incr# mark X) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# X, mark# cons(X1, X2) -> mark# X1) (mark# pair(X1, X2) -> mark# X2, mark# tail X -> a__tail# mark X) (mark# pair(X1, X2) -> mark# X2, mark# tail X -> mark# X) (mark# pair(X1, X2) -> mark# X2, mark# pairNs() -> a__pairNs#()) (mark# pair(X1, X2) -> mark# X2, mark# repItems X -> a__repItems# mark X) (mark# pair(X1, X2) -> mark# X2, mark# repItems X -> mark# X) (mark# pair(X1, X2) -> mark# X2, mark# zip(X1, X2) -> a__zip#(mark X1, mark X2)) (mark# pair(X1, X2) -> mark# X2, mark# zip(X1, X2) -> mark# X2) (mark# pair(X1, X2) -> mark# X2, mark# zip(X1, X2) -> mark# X1) (mark# pair(X1, X2) -> mark# X2, mark# pair(X1, X2) -> mark# X2) (mark# pair(X1, X2) -> mark# X2, mark# pair(X1, X2) -> mark# X1) (mark# pair(X1, X2) -> mark# X2, mark# take(X1, X2) -> a__take#(mark X1, mark X2)) (mark# pair(X1, X2) -> mark# X2, mark# take(X1, X2) -> mark# X2) (mark# pair(X1, X2) -> mark# X2, mark# take(X1, X2) -> mark# X1) (mark# pair(X1, X2) -> mark# X2, mark# s X -> mark# X) (mark# pair(X1, X2) -> mark# X2, mark# oddNs() -> a__oddNs#()) (mark# pair(X1, X2) -> mark# X2, mark# incr X -> mark# X) (mark# pair(X1, X2) -> mark# X2, mark# incr X -> a__incr# mark X) (mark# pair(X1, X2) -> mark# X2, mark# cons(X1, X2) -> mark# X1) (a__tail# cons(X, XS) -> mark# XS, mark# tail X -> a__tail# mark X) (a__tail# cons(X, XS) -> mark# XS, mark# tail X -> mark# X) (a__tail# cons(X, XS) -> mark# XS, mark# pairNs() -> a__pairNs#()) (a__tail# cons(X, XS) -> mark# XS, mark# repItems X -> a__repItems# mark X) (a__tail# cons(X, XS) -> mark# XS, mark# repItems X -> mark# X) (a__tail# cons(X, XS) -> mark# XS, mark# zip(X1, X2) -> a__zip#(mark X1, mark X2)) (a__tail# cons(X, XS) -> mark# XS, mark# zip(X1, X2) -> mark# X2) (a__tail# cons(X, XS) -> mark# XS, mark# zip(X1, X2) -> mark# X1) (a__tail# cons(X, XS) -> mark# XS, mark# pair(X1, X2) -> mark# X2) (a__tail# cons(X, XS) -> mark# XS, mark# pair(X1, X2) -> mark# X1) (a__tail# cons(X, XS) -> mark# XS, mark# take(X1, X2) -> a__take#(mark X1, mark X2)) (a__tail# cons(X, XS) -> mark# XS, mark# take(X1, X2) -> mark# X2) (a__tail# cons(X, XS) -> mark# XS, mark# take(X1, X2) -> mark# X1) (a__tail# cons(X, XS) -> mark# XS, mark# s X -> mark# X) (a__tail# cons(X, XS) -> mark# XS, mark# oddNs() -> a__oddNs#()) (a__tail# cons(X, XS) -> mark# XS, mark# incr X -> mark# X) (a__tail# cons(X, XS) -> mark# XS, mark# incr X -> a__incr# mark X) (a__tail# cons(X, XS) -> mark# XS, mark# cons(X1, X2) -> mark# X1) (mark# zip(X1, X2) -> a__zip#(mark X1, mark X2), a__zip#(cons(X, XS), cons(Y, YS)) -> mark# Y) (mark# zip(X1, X2) -> a__zip#(mark X1, mark X2), a__zip#(cons(X, XS), cons(Y, YS)) -> mark# X) (mark# incr X -> a__incr# mark X, a__incr# cons(X, XS) -> mark# X) (mark# tail X -> a__tail# mark X, a__tail# cons(X, XS) -> mark# XS) (mark# repItems X -> a__repItems# mark X, a__repItems# cons(X, XS) -> mark# X) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# Y, mark# cons(X1, X2) -> mark# X1) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# Y, mark# incr X -> a__incr# mark X) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# Y, mark# incr X -> mark# X) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# Y, mark# oddNs() -> a__oddNs#()) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# Y, mark# s X -> mark# X) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# Y, mark# take(X1, X2) -> mark# X1) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# Y, mark# take(X1, X2) -> mark# X2) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# Y, mark# take(X1, X2) -> a__take#(mark X1, mark X2)) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# Y, mark# pair(X1, X2) -> mark# X1) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# Y, mark# pair(X1, X2) -> mark# X2) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# Y, mark# zip(X1, X2) -> mark# X1) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# Y, mark# zip(X1, X2) -> mark# X2) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# Y, mark# zip(X1, X2) -> a__zip#(mark X1, mark X2)) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# Y, mark# repItems X -> mark# X) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# Y, mark# repItems X -> a__repItems# mark X) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# Y, mark# pairNs() -> a__pairNs#()) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# Y, mark# tail X -> mark# X) (a__zip#(cons(X, XS), cons(Y, YS)) -> mark# Y, mark# tail X -> a__tail# mark X) (mark# take(X1, X2) -> a__take#(mark X1, mark X2), a__take#(s N, cons(X, XS)) -> mark# X) (mark# zip(X1, X2) -> mark# X2, mark# cons(X1, X2) -> mark# X1) (mark# zip(X1, X2) -> mark# X2, mark# incr X -> a__incr# mark X) (mark# zip(X1, X2) -> mark# X2, mark# incr X -> mark# X) (mark# zip(X1, X2) -> mark# X2, mark# oddNs() -> a__oddNs#()) (mark# zip(X1, X2) -> mark# X2, mark# s X -> mark# X) (mark# zip(X1, X2) -> mark# X2, mark# take(X1, X2) -> mark# X1) (mark# zip(X1, X2) -> mark# X2, mark# take(X1, X2) -> mark# X2) (mark# zip(X1, X2) -> mark# X2, mark# take(X1, X2) -> a__take#(mark X1, mark X2)) (mark# zip(X1, X2) -> mark# X2, mark# pair(X1, X2) -> mark# X1) (mark# zip(X1, X2) -> mark# X2, mark# pair(X1, X2) -> mark# X2) (mark# zip(X1, X2) -> mark# X2, mark# zip(X1, X2) -> mark# X1) (mark# zip(X1, X2) -> mark# X2, mark# zip(X1, X2) -> mark# X2) (mark# zip(X1, X2) -> mark# X2, mark# zip(X1, X2) -> a__zip#(mark X1, mark X2)) (mark# zip(X1, X2) -> mark# X2, mark# repItems X -> mark# X) (mark# zip(X1, X2) -> mark# X2, mark# repItems X -> a__repItems# mark X) (mark# zip(X1, X2) -> mark# X2, mark# pairNs() -> a__pairNs#()) (mark# zip(X1, X2) -> mark# X2, mark# tail X -> mark# X) (mark# zip(X1, X2) -> mark# X2, mark# tail X -> a__tail# mark X) (mark# take(X1, X2) -> mark# X2, mark# cons(X1, X2) -> mark# X1) (mark# take(X1, X2) -> mark# X2, mark# incr X -> a__incr# mark X) (mark# take(X1, X2) -> mark# X2, mark# incr X -> mark# X) (mark# take(X1, X2) -> mark# X2, mark# oddNs() -> a__oddNs#()) (mark# take(X1, X2) -> mark# X2, mark# s X -> mark# X) (mark# take(X1, X2) -> mark# X2, mark# take(X1, X2) -> mark# X1) (mark# take(X1, X2) -> mark# X2, mark# take(X1, X2) -> mark# X2) (mark# take(X1, X2) -> mark# X2, mark# take(X1, X2) -> a__take#(mark X1, mark X2)) (mark# take(X1, X2) -> mark# X2, mark# pair(X1, X2) -> mark# X1) (mark# take(X1, X2) -> mark# X2, mark# pair(X1, X2) -> mark# X2) (mark# take(X1, X2) -> mark# X2, mark# zip(X1, X2) -> mark# X1) (mark# take(X1, X2) -> mark# X2, mark# zip(X1, X2) -> mark# X2) (mark# take(X1, X2) -> mark# X2, mark# zip(X1, X2) -> a__zip#(mark X1, mark X2)) (mark# take(X1, X2) -> mark# X2, mark# repItems X -> mark# X) (mark# take(X1, X2) -> mark# X2, mark# repItems X -> a__repItems# mark X) (mark# take(X1, X2) -> mark# X2, mark# pairNs() -> a__pairNs#()) (mark# take(X1, X2) -> mark# X2, mark# tail X -> mark# X) (mark# take(X1, X2) -> mark# X2, mark# tail X -> a__tail# mark X) (mark# oddNs() -> a__oddNs#(), a__oddNs#() -> a__pairNs#()) (mark# oddNs() -> a__oddNs#(), a__oddNs#() -> a__incr# a__pairNs()) (a__repItems# cons(X, XS) -> mark# X, mark# cons(X1, X2) -> mark# X1) (a__repItems# cons(X, XS) -> mark# X, mark# incr X -> a__incr# mark X) (a__repItems# cons(X, XS) -> mark# X, mark# incr X -> mark# X) (a__repItems# cons(X, XS) -> mark# X, mark# oddNs() -> a__oddNs#()) (a__repItems# cons(X, XS) -> mark# X, mark# s X -> mark# X) (a__repItems# cons(X, XS) -> mark# X, mark# take(X1, X2) -> mark# X1) (a__repItems# cons(X, XS) -> mark# X, mark# take(X1, X2) -> mark# X2) (a__repItems# cons(X, XS) -> mark# X, mark# take(X1, X2) -> a__take#(mark X1, mark X2)) (a__repItems# cons(X, XS) -> mark# X, mark# pair(X1, X2) -> mark# X1) (a__repItems# cons(X, XS) -> mark# X, mark# pair(X1, X2) -> mark# X2) (a__repItems# cons(X, XS) -> mark# X, mark# zip(X1, X2) -> mark# X1) (a__repItems# cons(X, XS) -> mark# X, mark# zip(X1, X2) -> mark# X2) (a__repItems# cons(X, XS) -> mark# X, mark# zip(X1, X2) -> a__zip#(mark X1, mark X2)) (a__repItems# cons(X, XS) -> mark# X, mark# repItems X -> mark# X) (a__repItems# cons(X, XS) -> mark# X, mark# repItems X -> a__repItems# mark X) (a__repItems# cons(X, XS) -> mark# X, mark# pairNs() -> a__pairNs#()) (a__repItems# cons(X, XS) -> mark# X, mark# tail X -> mark# X) (a__repItems# cons(X, XS) -> mark# X, mark# tail X -> a__tail# mark X) (a__take#(s N, cons(X, XS)) -> mark# X, mark# cons(X1, X2) -> mark# X1) (a__take#(s N, cons(X, XS)) -> mark# X, mark# incr X -> a__incr# mark X) (a__take#(s N, cons(X, XS)) -> mark# X, mark# incr X -> mark# X) (a__take#(s N, cons(X, XS)) -> mark# X, mark# oddNs() -> a__oddNs#()) (a__take#(s N, cons(X, XS)) -> mark# X, mark# s X -> mark# X) (a__take#(s N, cons(X, XS)) -> mark# X, mark# take(X1, X2) -> mark# X1) (a__take#(s N, cons(X, XS)) -> mark# X, mark# take(X1, X2) -> mark# X2) (a__take#(s N, cons(X, XS)) -> mark# X, mark# take(X1, X2) -> a__take#(mark X1, mark X2)) (a__take#(s N, cons(X, XS)) -> mark# X, mark# pair(X1, X2) -> mark# X1) (a__take#(s N, cons(X, XS)) -> mark# X, mark# pair(X1, X2) -> mark# X2) (a__take#(s N, cons(X, XS)) -> mark# X, mark# zip(X1, X2) -> mark# X1) (a__take#(s N, cons(X, XS)) -> mark# X, mark# zip(X1, X2) -> mark# X2) (a__take#(s N, cons(X, XS)) -> mark# X, mark# zip(X1, X2) -> a__zip#(mark X1, mark X2)) (a__take#(s N, cons(X, XS)) -> mark# X, mark# repItems X -> mark# X) (a__take#(s N, cons(X, XS)) -> mark# X, mark# repItems X -> a__repItems# mark X) (a__take#(s N, cons(X, XS)) -> mark# X, mark# pairNs() -> a__pairNs#()) (a__take#(s N, cons(X, XS)) -> mark# X, mark# tail X -> mark# X) (a__take#(s N, cons(X, XS)) -> mark# X, mark# tail X -> a__tail# mark X) (mark# repItems X -> mark# X, mark# cons(X1, X2) -> mark# X1) (mark# repItems X -> mark# X, mark# incr X -> a__incr# mark X) (mark# repItems X -> mark# X, mark# incr X -> mark# X) (mark# repItems X -> mark# X, mark# oddNs() -> a__oddNs#()) (mark# repItems X -> mark# X, mark# s X -> mark# X) (mark# repItems X -> mark# X, mark# take(X1, X2) -> mark# X1) (mark# repItems X -> mark# X, mark# take(X1, X2) -> mark# X2) (mark# repItems X -> mark# X, mark# take(X1, X2) -> a__take#(mark X1, mark X2)) (mark# repItems X -> mark# X, mark# pair(X1, X2) -> mark# X1) (mark# repItems X -> mark# X, mark# pair(X1, X2) -> mark# X2) (mark# repItems X -> mark# X, mark# zip(X1, X2) -> mark# X1) (mark# repItems X -> mark# X, mark# zip(X1, X2) -> mark# X2) (mark# repItems X -> mark# X, mark# zip(X1, X2) -> a__zip#(mark X1, mark X2)) (mark# repItems X -> mark# X, mark# repItems X -> mark# X) (mark# repItems X -> mark# X, mark# repItems X -> a__repItems# mark X) (mark# repItems X -> mark# X, mark# pairNs() -> a__pairNs#()) (mark# repItems X -> mark# X, mark# tail X -> mark# X) (mark# repItems X -> mark# X, mark# tail X -> a__tail# mark X) (mark# incr X -> mark# X, mark# cons(X1, X2) -> mark# X1) (mark# incr X -> mark# X, mark# incr X -> a__incr# mark X) (mark# incr X -> mark# X, mark# incr X -> mark# X) (mark# incr X -> mark# X, mark# oddNs() -> a__oddNs#()) (mark# incr X -> mark# X, mark# s X -> mark# X) (mark# incr X -> mark# X, mark# take(X1, X2) -> mark# X1) (mark# incr X -> mark# X, mark# take(X1, X2) -> mark# X2) (mark# incr X -> mark# X, mark# take(X1, X2) -> a__take#(mark X1, mark X2)) (mark# incr X -> mark# X, mark# pair(X1, X2) -> mark# X1) (mark# incr X -> mark# X, mark# pair(X1, X2) -> mark# X2) (mark# incr X -> mark# X, mark# zip(X1, X2) -> mark# X1) (mark# incr X -> mark# X, mark# zip(X1, X2) -> mark# X2) (mark# incr X -> mark# X, mark# zip(X1, X2) -> a__zip#(mark X1, mark X2)) (mark# incr X -> mark# X, mark# repItems X -> mark# X) (mark# incr X -> mark# X, mark# repItems X -> a__repItems# mark X) (mark# incr X -> mark# X, mark# pairNs() -> a__pairNs#()) (mark# incr X -> mark# X, mark# tail X -> mark# X) (mark# incr X -> mark# X, mark# tail X -> a__tail# mark X) (a__oddNs#() -> a__incr# a__pairNs(), a__incr# cons(X, XS) -> mark# X) (mark# pair(X1, X2) -> mark# X1, mark# cons(X1, X2) -> mark# X1) (mark# pair(X1, X2) -> mark# X1, mark# incr X -> a__incr# mark X) (mark# pair(X1, X2) -> mark# X1, mark# incr X -> mark# X) (mark# pair(X1, X2) -> mark# X1, mark# oddNs() -> a__oddNs#()) (mark# pair(X1, X2) -> mark# X1, mark# s X -> mark# X) (mark# pair(X1, X2) -> mark# X1, mark# take(X1, X2) -> mark# X1) (mark# pair(X1, X2) -> mark# X1, mark# take(X1, X2) -> mark# X2) (mark# pair(X1, X2) -> mark# X1, mark# take(X1, X2) -> a__take#(mark X1, mark X2)) (mark# pair(X1, X2) -> mark# X1, mark# pair(X1, X2) -> mark# X1) (mark# pair(X1, X2) -> mark# X1, mark# pair(X1, X2) -> mark# X2) (mark# pair(X1, X2) -> mark# X1, mark# zip(X1, X2) -> mark# X1) (mark# pair(X1, X2) -> mark# X1, mark# zip(X1, X2) -> mark# X2) (mark# pair(X1, X2) -> mark# X1, mark# zip(X1, X2) -> a__zip#(mark X1, mark X2)) (mark# pair(X1, X2) -> mark# X1, mark# repItems X -> mark# X) (mark# pair(X1, X2) -> mark# X1, mark# repItems X -> a__repItems# mark X) (mark# pair(X1, X2) -> mark# X1, mark# pairNs() -> a__pairNs#()) (mark# pair(X1, X2) -> mark# X1, mark# tail X -> mark# X) (mark# pair(X1, X2) -> mark# X1, mark# tail X -> a__tail# mark X) (mark# cons(X1, X2) -> mark# X1, mark# cons(X1, X2) -> mark# X1) (mark# cons(X1, X2) -> mark# X1, mark# incr X -> a__incr# mark X) (mark# cons(X1, X2) -> mark# X1, mark# incr X -> mark# X) (mark# cons(X1, X2) -> mark# X1, mark# oddNs() -> a__oddNs#()) (mark# cons(X1, X2) -> mark# X1, mark# s X -> mark# X) (mark# cons(X1, X2) -> mark# X1, mark# take(X1, X2) -> mark# X1) (mark# cons(X1, X2) -> mark# X1, mark# take(X1, X2) -> mark# X2) (mark# cons(X1, X2) -> mark# X1, mark# take(X1, X2) -> a__take#(mark X1, mark X2)) (mark# cons(X1, X2) -> mark# X1, mark# pair(X1, X2) -> mark# X1) (mark# cons(X1, X2) -> mark# X1, mark# pair(X1, X2) -> mark# X2) (mark# cons(X1, X2) -> mark# X1, mark# zip(X1, X2) -> mark# X1) (mark# cons(X1, X2) -> mark# X1, mark# zip(X1, X2) -> mark# X2) (mark# cons(X1, X2) -> mark# X1, mark# zip(X1, X2) -> a__zip#(mark X1, mark X2)) (mark# cons(X1, X2) -> mark# X1, mark# repItems X -> mark# X) (mark# cons(X1, X2) -> mark# X1, mark# repItems X -> a__repItems# mark X) (mark# cons(X1, X2) -> mark# X1, mark# pairNs() -> a__pairNs#()) (mark# cons(X1, X2) -> mark# X1, mark# tail X -> mark# X) (mark# cons(X1, X2) -> mark# X1, mark# tail X -> a__tail# mark X) } STATUS: arrows: 0.534024 SCCS (1): Scc: { a__incr# cons(X, XS) -> mark# X, a__oddNs#() -> a__incr# a__pairNs(), mark# cons(X1, X2) -> mark# X1, mark# incr X -> a__incr# mark X, mark# incr X -> mark# X, mark# oddNs() -> a__oddNs#(), mark# s X -> mark# X, mark# take(X1, X2) -> mark# X1, mark# take(X1, X2) -> mark# X2, mark# take(X1, X2) -> a__take#(mark X1, mark X2), mark# pair(X1, X2) -> mark# X1, mark# pair(X1, X2) -> mark# X2, mark# zip(X1, X2) -> mark# X1, mark# zip(X1, X2) -> mark# X2, mark# zip(X1, X2) -> a__zip#(mark X1, mark X2), mark# repItems X -> mark# X, mark# repItems X -> a__repItems# mark X, mark# tail X -> mark# X, mark# tail X -> a__tail# mark X, a__take#(s N, cons(X, XS)) -> mark# X, a__zip#(cons(X, XS), cons(Y, YS)) -> mark# X, a__zip#(cons(X, XS), cons(Y, YS)) -> mark# Y, a__tail# cons(X, XS) -> mark# XS, a__repItems# cons(X, XS) -> mark# X} SCC (24): Strict: { a__incr# cons(X, XS) -> mark# X, a__oddNs#() -> a__incr# a__pairNs(), mark# cons(X1, X2) -> mark# X1, mark# incr X -> a__incr# mark X, mark# incr X -> mark# X, mark# oddNs() -> a__oddNs#(), mark# s X -> mark# X, mark# take(X1, X2) -> mark# X1, mark# take(X1, X2) -> mark# X2, mark# take(X1, X2) -> a__take#(mark X1, mark X2), mark# pair(X1, X2) -> mark# X1, mark# pair(X1, X2) -> mark# X2, mark# zip(X1, X2) -> mark# X1, mark# zip(X1, X2) -> mark# X2, mark# zip(X1, X2) -> a__zip#(mark X1, mark X2), mark# repItems X -> mark# X, mark# repItems X -> a__repItems# mark X, mark# tail X -> mark# X, mark# tail X -> a__tail# mark X, a__take#(s N, cons(X, XS)) -> mark# X, a__zip#(cons(X, XS), cons(Y, YS)) -> mark# X, a__zip#(cons(X, XS), cons(Y, YS)) -> mark# Y, a__tail# cons(X, XS) -> mark# XS, a__repItems# cons(X, XS) -> mark# X} Weak: { a__pairNs() -> cons(0(), incr oddNs()), a__pairNs() -> pairNs(), a__incr X -> incr X, a__incr cons(X, XS) -> cons(s mark X, incr XS), a__oddNs() -> oddNs(), a__oddNs() -> a__incr a__pairNs(), mark cons(X1, X2) -> cons(mark X1, X2), mark 0() -> 0(), mark incr X -> a__incr mark X, mark oddNs() -> a__oddNs(), mark s X -> s mark X, mark nil() -> nil(), mark take(X1, X2) -> a__take(mark X1, mark X2), mark pair(X1, X2) -> pair(mark X1, mark X2), mark zip(X1, X2) -> a__zip(mark X1, mark X2), mark repItems X -> a__repItems mark X, mark pairNs() -> a__pairNs(), mark tail X -> a__tail mark X, a__take(X1, X2) -> take(X1, X2), a__take(0(), XS) -> nil(), a__take(s N, cons(X, XS)) -> cons(mark X, take(N, XS)), a__zip(X, nil()) -> nil(), a__zip(X1, X2) -> zip(X1, X2), a__zip(cons(X, XS), cons(Y, YS)) -> cons(pair(mark X, mark Y), zip(XS, YS)), a__zip(nil(), XS) -> nil(), a__tail X -> tail X, a__tail cons(X, XS) -> mark XS, a__repItems X -> repItems X, a__repItems cons(X, XS) -> cons(mark X, cons(X, repItems XS)), a__repItems nil() -> nil()} Open