MAYBE Time: 27.994689 TRS: { ap(ap(ap(if(), true()), f), xs) -> nil(), ap(ap(ap(if(), false()), f), xs) -> ap(ap(cons(), ap(f, ap(last(), xs))), ap(ap(map(), f), ap(dropLast(), xs))), ap(ap(map(), f), xs) -> ap(ap(ap(if(), ap(isEmpty(), xs)), f), xs), ap(isEmpty(), ap(ap(cons(), x), xs)) -> false(), ap(isEmpty(), nil()) -> true(), ap(last(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap(last(), ap(ap(cons(), y), ys)), ap(last(), ap(ap(cons(), x), nil())) -> x, ap(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap(ap(cons(), x), ap(dropLast(), ap(ap(cons(), y), ys))), ap(dropLast(), ap(ap(cons(), x), nil())) -> nil(), ap(dropLast(), nil()) -> nil()} DP: DP: { ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)), ap#(ap(ap(if(), false()), f), xs) -> ap#(ap(map(), f), ap(dropLast(), xs)), ap#(ap(ap(if(), false()), f), xs) -> ap#(ap(cons(), ap(f, ap(last(), xs))), ap(ap(map(), f), ap(dropLast(), xs))), ap#(ap(ap(if(), false()), f), xs) -> ap#(map(), f), ap#(ap(ap(if(), false()), f), xs) -> ap#(cons(), ap(f, ap(last(), xs))), ap#(ap(ap(if(), false()), f), xs) -> ap#(last(), xs), ap#(ap(ap(if(), false()), f), xs) -> ap#(dropLast(), xs), ap#(ap(map(), f), xs) -> ap#(ap(ap(if(), ap(isEmpty(), xs)), f), xs), ap#(ap(map(), f), xs) -> ap#(ap(if(), ap(isEmpty(), xs)), f), ap#(ap(map(), f), xs) -> ap#(if(), ap(isEmpty(), xs)), ap#(ap(map(), f), xs) -> ap#(isEmpty(), xs), ap#(last(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(last(), ap(ap(cons(), y), ys)), ap#(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(ap(cons(), x), ap(dropLast(), ap(ap(cons(), y), ys))), ap#(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(dropLast(), ap(ap(cons(), y), ys))} TRS: { ap(ap(ap(if(), true()), f), xs) -> nil(), ap(ap(ap(if(), false()), f), xs) -> ap(ap(cons(), ap(f, ap(last(), xs))), ap(ap(map(), f), ap(dropLast(), xs))), ap(ap(map(), f), xs) -> ap(ap(ap(if(), ap(isEmpty(), xs)), f), xs), ap(isEmpty(), ap(ap(cons(), x), xs)) -> false(), ap(isEmpty(), nil()) -> true(), ap(last(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap(last(), ap(ap(cons(), y), ys)), ap(last(), ap(ap(cons(), x), nil())) -> x, ap(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap(ap(cons(), x), ap(dropLast(), ap(ap(cons(), y), ys))), ap(dropLast(), ap(ap(cons(), x), nil())) -> nil(), ap(dropLast(), nil()) -> nil()} UR: { ap(ap(ap(if(), true()), f), xs) -> nil(), ap(ap(ap(if(), false()), f), xs) -> ap(ap(cons(), ap(f, ap(last(), xs))), ap(ap(map(), f), ap(dropLast(), xs))), ap(ap(map(), f), xs) -> ap(ap(ap(if(), ap(isEmpty(), xs)), f), xs), ap(isEmpty(), ap(ap(cons(), x), xs)) -> false(), ap(isEmpty(), nil()) -> true(), ap(last(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap(last(), ap(ap(cons(), y), ys)), ap(last(), ap(ap(cons(), x), nil())) -> x, ap(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap(ap(cons(), x), ap(dropLast(), ap(ap(cons(), y), ys))), ap(dropLast(), ap(ap(cons(), x), nil())) -> nil(), ap(dropLast(), nil()) -> nil(), a(z, w) -> z, a(z, w) -> w} EDG: {(ap#(ap(ap(if(), false()), f), xs) -> ap#(ap(map(), f), ap(dropLast(), xs)), ap#(ap(map(), f), xs) -> ap#(isEmpty(), xs)) (ap#(ap(ap(if(), false()), f), xs) -> ap#(ap(map(), f), ap(dropLast(), xs)), ap#(ap(map(), f), xs) -> ap#(if(), ap(isEmpty(), xs))) (ap#(ap(ap(if(), false()), f), xs) -> ap#(ap(map(), f), ap(dropLast(), xs)), ap#(ap(map(), f), xs) -> ap#(ap(if(), ap(isEmpty(), xs)), f)) (ap#(ap(ap(if(), false()), f), xs) -> ap#(ap(map(), f), ap(dropLast(), xs)), ap#(ap(map(), f), xs) -> ap#(ap(ap(if(), ap(isEmpty(), xs)), f), xs)) (ap#(last(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(last(), ap(ap(cons(), y), ys)), ap#(last(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(last(), ap(ap(cons(), y), ys))) (ap#(ap(map(), f), xs) -> ap#(ap(ap(if(), ap(isEmpty(), xs)), f), xs), ap#(ap(ap(if(), false()), f), xs) -> ap#(dropLast(), xs)) (ap#(ap(map(), f), xs) -> ap#(ap(ap(if(), ap(isEmpty(), xs)), f), xs), ap#(ap(ap(if(), false()), f), xs) -> ap#(last(), xs)) (ap#(ap(map(), f), xs) -> ap#(ap(ap(if(), ap(isEmpty(), xs)), f), xs), ap#(ap(ap(if(), false()), f), xs) -> ap#(cons(), ap(f, ap(last(), xs)))) (ap#(ap(map(), f), xs) -> ap#(ap(ap(if(), ap(isEmpty(), xs)), f), xs), ap#(ap(ap(if(), false()), f), xs) -> ap#(map(), f)) (ap#(ap(map(), f), xs) -> ap#(ap(ap(if(), ap(isEmpty(), xs)), f), xs), ap#(ap(ap(if(), false()), f), xs) -> ap#(ap(cons(), ap(f, ap(last(), xs))), ap(ap(map(), f), ap(dropLast(), xs)))) (ap#(ap(map(), f), xs) -> ap#(ap(ap(if(), ap(isEmpty(), xs)), f), xs), ap#(ap(ap(if(), false()), f), xs) -> ap#(ap(map(), f), ap(dropLast(), xs))) (ap#(ap(map(), f), xs) -> ap#(ap(ap(if(), ap(isEmpty(), xs)), f), xs), ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs))) (ap#(ap(ap(if(), false()), f), xs) -> ap#(last(), xs), ap#(last(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(last(), ap(ap(cons(), y), ys))) (ap#(ap(ap(if(), false()), f), xs) -> ap#(dropLast(), xs), ap#(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(ap(cons(), x), ap(dropLast(), ap(ap(cons(), y), ys)))) (ap#(ap(ap(if(), false()), f), xs) -> ap#(dropLast(), xs), ap#(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(dropLast(), ap(ap(cons(), y), ys))) (ap#(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(dropLast(), ap(ap(cons(), y), ys)), ap#(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(ap(cons(), x), ap(dropLast(), ap(ap(cons(), y), ys)))) (ap#(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(dropLast(), ap(ap(cons(), y), ys)), ap#(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(dropLast(), ap(ap(cons(), y), ys))) (ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)), ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs))) (ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)), ap#(ap(ap(if(), false()), f), xs) -> ap#(ap(map(), f), ap(dropLast(), xs))) (ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)), ap#(ap(ap(if(), false()), f), xs) -> ap#(ap(cons(), ap(f, ap(last(), xs))), ap(ap(map(), f), ap(dropLast(), xs)))) (ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)), ap#(ap(ap(if(), false()), f), xs) -> ap#(map(), f)) (ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)), ap#(ap(ap(if(), false()), f), xs) -> ap#(cons(), ap(f, ap(last(), xs)))) (ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)), ap#(ap(ap(if(), false()), f), xs) -> ap#(last(), xs)) (ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)), ap#(ap(ap(if(), false()), f), xs) -> ap#(dropLast(), xs)) (ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)), ap#(ap(map(), f), xs) -> ap#(ap(ap(if(), ap(isEmpty(), xs)), f), xs)) (ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)), ap#(ap(map(), f), xs) -> ap#(ap(if(), ap(isEmpty(), xs)), f)) (ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)), ap#(ap(map(), f), xs) -> ap#(if(), ap(isEmpty(), xs))) (ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)), ap#(ap(map(), f), xs) -> ap#(isEmpty(), xs)) (ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)), ap#(last(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(last(), ap(ap(cons(), y), ys))) (ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)), ap#(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(ap(cons(), x), ap(dropLast(), ap(ap(cons(), y), ys)))) (ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)), ap#(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(dropLast(), ap(ap(cons(), y), ys)))} STATUS: arrows: 0.841837 SCCS (3): Scc: {ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)), ap#(ap(ap(if(), false()), f), xs) -> ap#(ap(map(), f), ap(dropLast(), xs)), ap#(ap(map(), f), xs) -> ap#(ap(ap(if(), ap(isEmpty(), xs)), f), xs)} Scc: {ap#(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(dropLast(), ap(ap(cons(), y), ys))} Scc: {ap#(last(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(last(), ap(ap(cons(), y), ys))} SCC (3): Strict: {ap#(ap(ap(if(), false()), f), xs) -> ap#(f, ap(last(), xs)), ap#(ap(ap(if(), false()), f), xs) -> ap#(ap(map(), f), ap(dropLast(), xs)), ap#(ap(map(), f), xs) -> ap#(ap(ap(if(), ap(isEmpty(), xs)), f), xs)} Weak: { ap(ap(ap(if(), true()), f), xs) -> nil(), ap(ap(ap(if(), false()), f), xs) -> ap(ap(cons(), ap(f, ap(last(), xs))), ap(ap(map(), f), ap(dropLast(), xs))), ap(ap(map(), f), xs) -> ap(ap(ap(if(), ap(isEmpty(), xs)), f), xs), ap(isEmpty(), ap(ap(cons(), x), xs)) -> false(), ap(isEmpty(), nil()) -> true(), ap(last(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap(last(), ap(ap(cons(), y), ys)), ap(last(), ap(ap(cons(), x), nil())) -> x, ap(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap(ap(cons(), x), ap(dropLast(), ap(ap(cons(), y), ys))), ap(dropLast(), ap(ap(cons(), x), nil())) -> nil(), ap(dropLast(), nil()) -> nil()} Open SCC (1): Strict: {ap#(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(dropLast(), ap(ap(cons(), y), ys))} Weak: { ap(ap(ap(if(), true()), f), xs) -> nil(), ap(ap(ap(if(), false()), f), xs) -> ap(ap(cons(), ap(f, ap(last(), xs))), ap(ap(map(), f), ap(dropLast(), xs))), ap(ap(map(), f), xs) -> ap(ap(ap(if(), ap(isEmpty(), xs)), f), xs), ap(isEmpty(), ap(ap(cons(), x), xs)) -> false(), ap(isEmpty(), nil()) -> true(), ap(last(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap(last(), ap(ap(cons(), y), ys)), ap(last(), ap(ap(cons(), x), nil())) -> x, ap(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap(ap(cons(), x), ap(dropLast(), ap(ap(cons(), y), ys))), ap(dropLast(), ap(ap(cons(), x), nil())) -> nil(), ap(dropLast(), nil()) -> nil()} Open SCC (1): Strict: {ap#(last(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap#(last(), ap(ap(cons(), y), ys))} Weak: { ap(ap(ap(if(), true()), f), xs) -> nil(), ap(ap(ap(if(), false()), f), xs) -> ap(ap(cons(), ap(f, ap(last(), xs))), ap(ap(map(), f), ap(dropLast(), xs))), ap(ap(map(), f), xs) -> ap(ap(ap(if(), ap(isEmpty(), xs)), f), xs), ap(isEmpty(), ap(ap(cons(), x), xs)) -> false(), ap(isEmpty(), nil()) -> true(), ap(last(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap(last(), ap(ap(cons(), y), ys)), ap(last(), ap(ap(cons(), x), nil())) -> x, ap(dropLast(), ap(ap(cons(), x), ap(ap(cons(), y), ys))) -> ap(ap(cons(), x), ap(dropLast(), ap(ap(cons(), y), ys))), ap(dropLast(), ap(ap(cons(), x), nil())) -> nil(), ap(dropLast(), nil()) -> nil()} Open