MAYBE Time: 0.034146 TRS: { app(app(map(), f), nil()) -> nil(), app(app(map(), f), app(app(cons(), x), xs)) -> app(app(cons(), app(f, x)), app(app(map(), f), xs)), app(app(append(), xs), nil()) -> xs, app(app(append(), nil()), ys) -> ys, app(app(append(), app(app(cons(), x), xs)), ys) -> app(app(cons(), x), app(app(append(), xs), ys)), app(app(zip(), xss), nil()) -> xss, app(app(zip(), nil()), yss) -> yss, app(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app(app(cons(), app(app(append(), xs), ys)), app(app(zip(), xss), yss)), app(app(combine(), xs), nil()) -> xs, app(app(combine(), xs), app(app(cons(), ys), yss)) -> app(app(combine(), app(app(zip(), xs), ys)), yss), app(levels(), app(app(node(), x), xs)) -> app(app(cons(), app(app(cons(), x), nil())), app(app(combine(), nil()), app(app(map(), levels()), xs)))} DP: DP: { app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(app(map(), f), xs), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(app(cons(), app(f, x)), app(app(map(), f), xs)), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(cons(), app(f, x)), app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(app(cons(), x), app(app(append(), xs), ys)), app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(app(append(), xs), ys), app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(append(), xs), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(cons(), app(app(append(), xs), ys)), app(app(zip(), xss), yss)), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(append(), xs), ys), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(zip(), xss), yss), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(cons(), app(app(append(), xs), ys)), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(append(), xs), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(zip(), xss), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(zip(), xs), ys), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(combine(), app(app(zip(), xs), ys)), yss), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(zip(), xs), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(combine(), app(app(zip(), xs), ys)), app#(levels(), app(app(node(), x), xs)) -> app#(app(map(), levels()), xs), app#(levels(), app(app(node(), x), xs)) -> app#(app(cons(), x), nil()), app#(levels(), app(app(node(), x), xs)) -> app#(app(cons(), app(app(cons(), x), nil())), app(app(combine(), nil()), app(app(map(), levels()), xs))), app#(levels(), app(app(node(), x), xs)) -> app#(app(combine(), nil()), app(app(map(), levels()), xs)), app#(levels(), app(app(node(), x), xs)) -> app#(map(), levels()), app#(levels(), app(app(node(), x), xs)) -> app#(cons(), x), app#(levels(), app(app(node(), x), xs)) -> app#(cons(), app(app(cons(), x), nil())), app#(levels(), app(app(node(), x), xs)) -> app#(combine(), nil())} TRS: { app(app(map(), f), nil()) -> nil(), app(app(map(), f), app(app(cons(), x), xs)) -> app(app(cons(), app(f, x)), app(app(map(), f), xs)), app(app(append(), xs), nil()) -> xs, app(app(append(), nil()), ys) -> ys, app(app(append(), app(app(cons(), x), xs)), ys) -> app(app(cons(), x), app(app(append(), xs), ys)), app(app(zip(), xss), nil()) -> xss, app(app(zip(), nil()), yss) -> yss, app(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app(app(cons(), app(app(append(), xs), ys)), app(app(zip(), xss), yss)), app(app(combine(), xs), nil()) -> xs, app(app(combine(), xs), app(app(cons(), ys), yss)) -> app(app(combine(), app(app(zip(), xs), ys)), yss), app(levels(), app(app(node(), x), xs)) -> app(app(cons(), app(app(cons(), x), nil())), app(app(combine(), nil()), app(app(map(), levels()), xs)))} EDG: {(app#(app(map(), f), app(app(cons(), x), xs)) -> app#(app(map(), f), xs), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(cons(), app(f, x))) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(app(map(), f), xs), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(app(cons(), app(f, x)), app(app(map(), f), xs))) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(app(map(), f), xs), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(app(map(), f), xs)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(app(map(), f), xs), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x)) (app#(levels(), app(app(node(), x), xs)) -> app#(app(combine(), nil()), app(app(map(), levels()), xs)), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(combine(), app(app(zip(), xs), ys))) (app#(levels(), app(app(node(), x), xs)) -> app#(app(combine(), nil()), app(app(map(), levels()), xs)), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(zip(), xs)) (app#(levels(), app(app(node(), x), xs)) -> app#(app(combine(), nil()), app(app(map(), levels()), xs)), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(combine(), app(app(zip(), xs), ys)), yss)) (app#(levels(), app(app(node(), x), xs)) -> app#(app(combine(), nil()), app(app(map(), levels()), xs)), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(zip(), xs), ys)) (app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(combine(), app(app(zip(), xs), ys)), yss), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(combine(), app(app(zip(), xs), ys))) (app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(combine(), app(app(zip(), xs), ys)), yss), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(zip(), xs)) (app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(combine(), app(app(zip(), xs), ys)), yss), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(combine(), app(app(zip(), xs), ys)), yss)) (app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(combine(), app(app(zip(), xs), ys)), yss), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(zip(), xs), ys)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(levels(), app(app(node(), x), xs)) -> app#(combine(), nil())) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(levels(), app(app(node(), x), xs)) -> app#(cons(), app(app(cons(), x), nil()))) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(levels(), app(app(node(), x), xs)) -> app#(cons(), x)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(levels(), app(app(node(), x), xs)) -> app#(map(), levels())) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(levels(), app(app(node(), x), xs)) -> app#(app(combine(), nil()), app(app(map(), levels()), xs))) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(levels(), app(app(node(), x), xs)) -> app#(app(cons(), app(app(cons(), x), nil())), app(app(combine(), nil()), app(app(map(), levels()), xs)))) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(levels(), app(app(node(), x), xs)) -> app#(app(cons(), x), nil())) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(levels(), app(app(node(), x), xs)) -> app#(app(map(), levels()), xs)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(combine(), app(app(zip(), xs), ys))) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(zip(), xs)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(combine(), app(app(zip(), xs), ys)), yss)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(zip(), xs), ys)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(zip(), xss)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(append(), xs)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(cons(), app(app(append(), xs), ys))) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(zip(), xss), yss)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(append(), xs), ys)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(cons(), app(app(append(), xs), ys)), app(app(zip(), xss), yss))) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(append(), xs)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(app(append(), xs), ys)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(app(cons(), x), app(app(append(), xs), ys))) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(cons(), app(f, x))) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(app(cons(), app(f, x)), app(app(map(), f), xs))) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(app(map(), f), xs)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x)) (app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(append(), xs), ys), app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(append(), xs)) (app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(append(), xs), ys), app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(app(append(), xs), ys)) (app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(append(), xs), ys), app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(app(cons(), x), app(app(append(), xs), ys))) (app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(zip(), xs), ys), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(cons(), app(app(append(), xs), ys)), app(app(zip(), xss), yss))) (app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(zip(), xs), ys), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(append(), xs), ys)) (app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(zip(), xs), ys), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(zip(), xss), yss)) (app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(zip(), xs), ys), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(cons(), app(app(append(), xs), ys))) (app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(zip(), xs), ys), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(append(), xs)) (app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(zip(), xs), ys), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(zip(), xss)) (app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(app(append(), xs), ys), app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(app(cons(), x), app(app(append(), xs), ys))) (app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(app(append(), xs), ys), app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(app(append(), xs), ys)) (app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(app(append(), xs), ys), app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(append(), xs)) (app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(zip(), xss), yss), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(cons(), app(app(append(), xs), ys)), app(app(zip(), xss), yss))) (app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(zip(), xss), yss), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(append(), xs), ys)) (app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(zip(), xss), yss), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(zip(), xss), yss)) (app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(zip(), xss), yss), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(cons(), app(app(append(), xs), ys))) (app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(zip(), xss), yss), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(append(), xs)) (app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(zip(), xss), yss), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(zip(), xss)) (app#(levels(), app(app(node(), x), xs)) -> app#(app(map(), levels()), xs), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x)) (app#(levels(), app(app(node(), x), xs)) -> app#(app(map(), levels()), xs), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(app(map(), f), xs)) (app#(levels(), app(app(node(), x), xs)) -> app#(app(map(), levels()), xs), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(app(cons(), app(f, x)), app(app(map(), f), xs))) (app#(levels(), app(app(node(), x), xs)) -> app#(app(map(), levels()), xs), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(cons(), app(f, x)))} EDG: {(app#(app(map(), f), app(app(cons(), x), xs)) -> app#(app(map(), f), xs), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(cons(), app(f, x))) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(app(map(), f), xs), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(app(cons(), app(f, x)), app(app(map(), f), xs))) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(app(map(), f), xs), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(app(map(), f), xs)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(app(map(), f), xs), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x)) (app#(levels(), app(app(node(), x), xs)) -> app#(app(combine(), nil()), app(app(map(), levels()), xs)), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(combine(), app(app(zip(), xs), ys))) (app#(levels(), app(app(node(), x), xs)) -> app#(app(combine(), nil()), app(app(map(), levels()), xs)), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(zip(), xs)) (app#(levels(), app(app(node(), x), xs)) -> app#(app(combine(), nil()), app(app(map(), levels()), xs)), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(combine(), app(app(zip(), xs), ys)), yss)) (app#(levels(), app(app(node(), x), xs)) -> app#(app(combine(), nil()), app(app(map(), levels()), xs)), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(zip(), xs), ys)) (app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(combine(), app(app(zip(), xs), ys)), yss), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(combine(), app(app(zip(), xs), ys))) (app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(combine(), app(app(zip(), xs), ys)), yss), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(zip(), xs)) (app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(combine(), app(app(zip(), xs), ys)), yss), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(combine(), app(app(zip(), xs), ys)), yss)) (app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(combine(), app(app(zip(), xs), ys)), yss), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(zip(), xs), ys)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(levels(), app(app(node(), x), xs)) -> app#(combine(), nil())) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(levels(), app(app(node(), x), xs)) -> app#(cons(), app(app(cons(), x), nil()))) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(levels(), app(app(node(), x), xs)) -> app#(cons(), x)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(levels(), app(app(node(), x), xs)) -> app#(map(), levels())) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(levels(), app(app(node(), x), xs)) -> app#(app(combine(), nil()), app(app(map(), levels()), xs))) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(levels(), app(app(node(), x), xs)) -> app#(app(cons(), app(app(cons(), x), nil())), app(app(combine(), nil()), app(app(map(), levels()), xs)))) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(levels(), app(app(node(), x), xs)) -> app#(app(cons(), x), nil())) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(levels(), app(app(node(), x), xs)) -> app#(app(map(), levels()), xs)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(combine(), app(app(zip(), xs), ys))) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(zip(), xs)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(combine(), app(app(zip(), xs), ys)), yss)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(zip(), xs), ys)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(zip(), xss)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(append(), xs)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(cons(), app(app(append(), xs), ys))) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(zip(), xss), yss)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(append(), xs), ys)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(cons(), app(app(append(), xs), ys)), app(app(zip(), xss), yss))) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(append(), xs)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(app(append(), xs), ys)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(app(cons(), x), app(app(append(), xs), ys))) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(cons(), app(f, x))) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(app(cons(), app(f, x)), app(app(map(), f), xs))) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(app(map(), f), xs)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x)) (app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(append(), xs), ys), app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(append(), xs)) (app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(append(), xs), ys), app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(app(append(), xs), ys)) (app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(append(), xs), ys), app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(app(cons(), x), app(app(append(), xs), ys))) (app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(zip(), xs), ys), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(cons(), app(app(append(), xs), ys)), app(app(zip(), xss), yss))) (app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(zip(), xs), ys), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(append(), xs), ys)) (app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(zip(), xs), ys), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(zip(), xss), yss)) (app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(zip(), xs), ys), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(cons(), app(app(append(), xs), ys))) (app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(zip(), xs), ys), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(append(), xs)) (app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(zip(), xs), ys), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(zip(), xss)) (app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(app(append(), xs), ys), app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(app(cons(), x), app(app(append(), xs), ys))) (app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(app(append(), xs), ys), app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(app(append(), xs), ys)) (app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(app(append(), xs), ys), app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(append(), xs)) (app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(zip(), xss), yss), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(cons(), app(app(append(), xs), ys)), app(app(zip(), xss), yss))) (app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(zip(), xss), yss), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(append(), xs), ys)) (app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(zip(), xss), yss), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(zip(), xss), yss)) (app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(zip(), xss), yss), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(cons(), app(app(append(), xs), ys))) (app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(zip(), xss), yss), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(append(), xs)) (app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(zip(), xss), yss), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(zip(), xss)) (app#(levels(), app(app(node(), x), xs)) -> app#(app(map(), levels()), xs), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x)) (app#(levels(), app(app(node(), x), xs)) -> app#(app(map(), levels()), xs), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(app(map(), f), xs)) (app#(levels(), app(app(node(), x), xs)) -> app#(app(map(), levels()), xs), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(app(cons(), app(f, x)), app(app(map(), f), xs))) (app#(levels(), app(app(node(), x), xs)) -> app#(app(map(), levels()), xs), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(cons(), app(f, x)))} EDG: {(app#(app(map(), f), app(app(cons(), x), xs)) -> app#(app(map(), f), xs), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(cons(), app(f, x))) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(app(map(), f), xs), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(app(cons(), app(f, x)), app(app(map(), f), xs))) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(app(map(), f), xs), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(app(map(), f), xs)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(app(map(), f), xs), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x)) (app#(levels(), app(app(node(), x), xs)) -> app#(app(combine(), nil()), app(app(map(), levels()), xs)), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(combine(), app(app(zip(), xs), ys))) (app#(levels(), app(app(node(), x), xs)) -> app#(app(combine(), nil()), app(app(map(), levels()), xs)), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(zip(), xs)) (app#(levels(), app(app(node(), x), xs)) -> app#(app(combine(), nil()), app(app(map(), levels()), xs)), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(combine(), app(app(zip(), xs), ys)), yss)) (app#(levels(), app(app(node(), x), xs)) -> app#(app(combine(), nil()), app(app(map(), levels()), xs)), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(zip(), xs), ys)) (app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(combine(), app(app(zip(), xs), ys)), yss), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(combine(), app(app(zip(), xs), ys))) (app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(combine(), app(app(zip(), xs), ys)), yss), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(zip(), xs)) (app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(combine(), app(app(zip(), xs), ys)), yss), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(combine(), app(app(zip(), xs), ys)), yss)) (app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(combine(), app(app(zip(), xs), ys)), yss), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(zip(), xs), ys)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(levels(), app(app(node(), x), xs)) -> app#(combine(), nil())) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(levels(), app(app(node(), x), xs)) -> app#(cons(), app(app(cons(), x), nil()))) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(levels(), app(app(node(), x), xs)) -> app#(cons(), x)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(levels(), app(app(node(), x), xs)) -> app#(map(), levels())) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(levels(), app(app(node(), x), xs)) -> app#(app(combine(), nil()), app(app(map(), levels()), xs))) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(levels(), app(app(node(), x), xs)) -> app#(app(cons(), app(app(cons(), x), nil())), app(app(combine(), nil()), app(app(map(), levels()), xs)))) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(levels(), app(app(node(), x), xs)) -> app#(app(cons(), x), nil())) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(levels(), app(app(node(), x), xs)) -> app#(app(map(), levels()), xs)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(combine(), app(app(zip(), xs), ys))) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(zip(), xs)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(combine(), app(app(zip(), xs), ys)), yss)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(zip(), xs), ys)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(zip(), xss)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(append(), xs)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(cons(), app(app(append(), xs), ys))) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(zip(), xss), yss)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(append(), xs), ys)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(cons(), app(app(append(), xs), ys)), app(app(zip(), xss), yss))) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(append(), xs)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(app(append(), xs), ys)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(app(cons(), x), app(app(append(), xs), ys))) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(cons(), app(f, x))) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(app(cons(), app(f, x)), app(app(map(), f), xs))) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(app(map(), f), xs)) (app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x)) (app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(append(), xs), ys), app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(append(), xs)) (app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(append(), xs), ys), app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(app(append(), xs), ys)) (app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(append(), xs), ys), app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(app(cons(), x), app(app(append(), xs), ys))) (app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(zip(), xs), ys), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(cons(), app(app(append(), xs), ys)), app(app(zip(), xss), yss))) (app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(zip(), xs), ys), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(append(), xs), ys)) (app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(zip(), xs), ys), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(zip(), xss), yss)) (app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(zip(), xs), ys), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(cons(), app(app(append(), xs), ys))) (app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(zip(), xs), ys), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(append(), xs)) (app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(zip(), xs), ys), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(zip(), xss)) (app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(app(append(), xs), ys), app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(app(cons(), x), app(app(append(), xs), ys))) (app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(app(append(), xs), ys), app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(app(append(), xs), ys)) (app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(app(append(), xs), ys), app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(append(), xs)) (app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(zip(), xss), yss), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(cons(), app(app(append(), xs), ys)), app(app(zip(), xss), yss))) (app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(zip(), xss), yss), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(append(), xs), ys)) (app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(zip(), xss), yss), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(zip(), xss), yss)) (app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(zip(), xss), yss), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(cons(), app(app(append(), xs), ys))) (app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(zip(), xss), yss), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(append(), xs)) (app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(zip(), xss), yss), app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(zip(), xss)) (app#(levels(), app(app(node(), x), xs)) -> app#(app(map(), levels()), xs), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x)) (app#(levels(), app(app(node(), x), xs)) -> app#(app(map(), levels()), xs), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(app(map(), f), xs)) (app#(levels(), app(app(node(), x), xs)) -> app#(app(map(), levels()), xs), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(app(cons(), app(f, x)), app(app(map(), f), xs))) (app#(levels(), app(app(node(), x), xs)) -> app#(app(map(), levels()), xs), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(cons(), app(f, x)))} STATUS: arrows: 0.905600 SCCS (4): Scc: {app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(app(map(), f), xs), app#(levels(), app(app(node(), x), xs)) -> app#(app(map(), levels()), xs)} Scc: {app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(combine(), app(app(zip(), xs), ys)), yss)} Scc: {app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(zip(), xss), yss)} Scc: {app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(app(append(), xs), ys)} SCC (3): Strict: {app#(app(map(), f), app(app(cons(), x), xs)) -> app#(f, x), app#(app(map(), f), app(app(cons(), x), xs)) -> app#(app(map(), f), xs), app#(levels(), app(app(node(), x), xs)) -> app#(app(map(), levels()), xs)} Weak: { app(app(map(), f), nil()) -> nil(), app(app(map(), f), app(app(cons(), x), xs)) -> app(app(cons(), app(f, x)), app(app(map(), f), xs)), app(app(append(), xs), nil()) -> xs, app(app(append(), nil()), ys) -> ys, app(app(append(), app(app(cons(), x), xs)), ys) -> app(app(cons(), x), app(app(append(), xs), ys)), app(app(zip(), xss), nil()) -> xss, app(app(zip(), nil()), yss) -> yss, app(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app(app(cons(), app(app(append(), xs), ys)), app(app(zip(), xss), yss)), app(app(combine(), xs), nil()) -> xs, app(app(combine(), xs), app(app(cons(), ys), yss)) -> app(app(combine(), app(app(zip(), xs), ys)), yss), app(levels(), app(app(node(), x), xs)) -> app(app(cons(), app(app(cons(), x), nil())), app(app(combine(), nil()), app(app(map(), levels()), xs)))} Open SCC (1): Strict: {app#(app(combine(), xs), app(app(cons(), ys), yss)) -> app#(app(combine(), app(app(zip(), xs), ys)), yss)} Weak: { app(app(map(), f), nil()) -> nil(), app(app(map(), f), app(app(cons(), x), xs)) -> app(app(cons(), app(f, x)), app(app(map(), f), xs)), app(app(append(), xs), nil()) -> xs, app(app(append(), nil()), ys) -> ys, app(app(append(), app(app(cons(), x), xs)), ys) -> app(app(cons(), x), app(app(append(), xs), ys)), app(app(zip(), xss), nil()) -> xss, app(app(zip(), nil()), yss) -> yss, app(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app(app(cons(), app(app(append(), xs), ys)), app(app(zip(), xss), yss)), app(app(combine(), xs), nil()) -> xs, app(app(combine(), xs), app(app(cons(), ys), yss)) -> app(app(combine(), app(app(zip(), xs), ys)), yss), app(levels(), app(app(node(), x), xs)) -> app(app(cons(), app(app(cons(), x), nil())), app(app(combine(), nil()), app(app(map(), levels()), xs)))} Open SCC (1): Strict: {app#(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app#(app(zip(), xss), yss)} Weak: { app(app(map(), f), nil()) -> nil(), app(app(map(), f), app(app(cons(), x), xs)) -> app(app(cons(), app(f, x)), app(app(map(), f), xs)), app(app(append(), xs), nil()) -> xs, app(app(append(), nil()), ys) -> ys, app(app(append(), app(app(cons(), x), xs)), ys) -> app(app(cons(), x), app(app(append(), xs), ys)), app(app(zip(), xss), nil()) -> xss, app(app(zip(), nil()), yss) -> yss, app(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app(app(cons(), app(app(append(), xs), ys)), app(app(zip(), xss), yss)), app(app(combine(), xs), nil()) -> xs, app(app(combine(), xs), app(app(cons(), ys), yss)) -> app(app(combine(), app(app(zip(), xs), ys)), yss), app(levels(), app(app(node(), x), xs)) -> app(app(cons(), app(app(cons(), x), nil())), app(app(combine(), nil()), app(app(map(), levels()), xs)))} Open SCC (1): Strict: {app#(app(append(), app(app(cons(), x), xs)), ys) -> app#(app(append(), xs), ys)} Weak: { app(app(map(), f), nil()) -> nil(), app(app(map(), f), app(app(cons(), x), xs)) -> app(app(cons(), app(f, x)), app(app(map(), f), xs)), app(app(append(), xs), nil()) -> xs, app(app(append(), nil()), ys) -> ys, app(app(append(), app(app(cons(), x), xs)), ys) -> app(app(cons(), x), app(app(append(), xs), ys)), app(app(zip(), xss), nil()) -> xss, app(app(zip(), nil()), yss) -> yss, app(app(zip(), app(app(cons(), xs), xss)), app(app(cons(), ys), yss)) -> app(app(cons(), app(app(append(), xs), ys)), app(app(zip(), xss), yss)), app(app(combine(), xs), nil()) -> xs, app(app(combine(), xs), app(app(cons(), ys), yss)) -> app(app(combine(), app(app(zip(), xs), ys)), yss), app(levels(), app(app(node(), x), xs)) -> app(app(cons(), app(app(cons(), x), nil())), app(app(combine(), nil()), app(app(map(), levels()), xs)))} Open