MAYBE

Problem:
 app(app(apply(),f_1),x) -> app(f_1,x)
 app(id(),x) -> x
 app(app(app(uncurry(),f_2),x),y) -> app(app(f_2,x),y)
 app(app(app(swap(),f_2),y),x) -> app(app(f_2,x),y)
 app(app(app(compose(),g_1),f_1),x) -> app(g_1,app(f_1,x))
 app(app(const(),x),y) -> x
 app(listify(),x) -> app(app(cons(),x),nil())
 app(app(app(app(fold(),f_3),g_2),x),nil()) -> x
 app(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
 app(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
 app(sum(),l) -> app(app(app(app(fold(),add()),id()),0()),l)
 app(app(uncurry(),app(app(fold(),cons()),id())),nil()) -> id()
 append() -> app(app(compose(),app(app(swap(),fold()),cons())),id())
 reverse() -> app(app(uncurry(),app(app(fold(),app(swap(),append())),listify())),nil())
 length() -> app(app(uncurry(),app(app(fold(),add()),app(cons(),1()))),0())

Proof:
 DP Processor:
  DPs:
   app#(app(apply(),f_1),x) -> app#(f_1,x)
   app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
   app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
   app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
   app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
   app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
   app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
   app#(listify(),x) -> app#(cons(),x)
   app#(listify(),x) -> app#(app(cons(),x),nil())
   app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
   app#(app(app(app(fold(),f_3),g_2),x),t)
   app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
   app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
   app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
   app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
   app#(sum(),l) -> app#(fold(),add())
   app#(sum(),l) -> app#(app(fold(),add()),id())
   app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
   app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
   append#() -> app#(swap(),fold())
   append#() -> app#(app(swap(),fold()),cons())
   append#() -> app#(compose(),app(app(swap(),fold()),cons()))
   append#() -> app#(app(compose(),app(app(swap(),fold()),cons())),id())
   reverse#() -> append#()
   reverse#() -> app#(swap(),append())
   reverse#() -> app#(fold(),app(swap(),append()))
   reverse#() -> app#(app(fold(),app(swap(),append())),listify())
   reverse#() -> app#(uncurry(),app(app(fold(),app(swap(),append())),listify()))
   reverse#() -> app#(app(uncurry(),app(app(fold(),app(swap(),append())),listify())),nil())
   length#() -> app#(cons(),1())
   length#() -> app#(fold(),add())
   length#() -> app#(app(fold(),add()),app(cons(),1()))
   length#() -> app#(uncurry(),app(app(fold(),add()),app(cons(),1())))
   length#() -> app#(app(uncurry(),app(app(fold(),add()),app(cons(),1()))),0())
  TRS:
   app(app(apply(),f_1),x) -> app(f_1,x)
   app(id(),x) -> x
   app(app(app(uncurry(),f_2),x),y) -> app(app(f_2,x),y)
   app(app(app(swap(),f_2),y),x) -> app(app(f_2,x),y)
   app(app(app(compose(),g_1),f_1),x) -> app(g_1,app(f_1,x))
   app(app(const(),x),y) -> x
   app(listify(),x) -> app(app(cons(),x),nil())
   app(app(app(app(fold(),f_3),g_2),x),nil()) -> x
   app(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
   app(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
   app(sum(),l) -> app(app(app(app(fold(),add()),id()),0()),l)
   app(app(uncurry(),app(app(fold(),cons()),id())),nil()) -> id()
   append() -> app(app(compose(),app(app(swap(),fold()),cons())),id())
   reverse() -> app(app(uncurry(),app(app(fold(),app(swap(),append())),listify())),nil())
   length() -> app(app(uncurry(),app(app(fold(),add()),app(cons(),1()))),0())
  TDG Processor:
   DPs:
    app#(app(apply(),f_1),x) -> app#(f_1,x)
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
    app#(listify(),x) -> app#(cons(),x)
    app#(listify(),x) -> app#(app(cons(),x),nil())
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
    app#(sum(),l) -> app#(fold(),add())
    app#(sum(),l) -> app#(app(fold(),add()),id())
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
    append#() -> app#(swap(),fold())
    append#() -> app#(app(swap(),fold()),cons())
    append#() -> app#(compose(),app(app(swap(),fold()),cons()))
    append#() -> app#(app(compose(),app(app(swap(),fold()),cons())),id())
    reverse#() -> append#()
    reverse#() -> app#(swap(),append())
    reverse#() -> app#(fold(),app(swap(),append()))
    reverse#() -> app#(app(fold(),app(swap(),append())),listify())
    reverse#() -> app#(uncurry(),app(app(fold(),app(swap(),append())),listify()))
    reverse#() -> app#(app(uncurry(),app(app(fold(),app(swap(),append())),listify())),nil())
    length#() -> app#(cons(),1())
    length#() -> app#(fold(),add())
    length#() -> app#(app(fold(),add()),app(cons(),1()))
    length#() -> app#(uncurry(),app(app(fold(),add()),app(cons(),1())))
    length#() -> app#(app(uncurry(),app(app(fold(),add()),app(cons(),1()))),0())
   TRS:
    app(app(apply(),f_1),x) -> app(f_1,x)
    app(id(),x) -> x
    app(app(app(uncurry(),f_2),x),y) -> app(app(f_2,x),y)
    app(app(app(swap(),f_2),y),x) -> app(app(f_2,x),y)
    app(app(app(compose(),g_1),f_1),x) -> app(g_1,app(f_1,x))
    app(app(const(),x),y) -> x
    app(listify(),x) -> app(app(cons(),x),nil())
    app(app(app(app(fold(),f_3),g_2),x),nil()) -> x
    app(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
    app(sum(),l) -> app(app(app(app(fold(),add()),id()),0()),l)
    app(app(uncurry(),app(app(fold(),cons()),id())),nil()) -> id()
    append() -> app(app(compose(),app(app(swap(),fold()),cons())),id())
    reverse() -> app(app(uncurry(),app(app(fold(),app(swap(),append())),listify())),nil())
    length() -> app(app(uncurry(),app(app(fold(),add()),app(cons(),1()))),0())
   graph:
    length#() -> app#(fold(),add()) ->
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
    length#() -> app#(fold(),add()) ->
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
    length#() -> app#(fold(),add()) ->
    app#(sum(),l) -> app#(app(fold(),add()),id())
    length#() -> app#(fold(),add()) ->
    app#(sum(),l) -> app#(fold(),add())
    length#() -> app#(fold(),add()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
    length#() -> app#(fold(),add()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
    length#() -> app#(fold(),add()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
    length#() -> app#(fold(),add()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t)
    length#() -> app#(fold(),add()) ->
    app#(listify(),x) -> app#(app(cons(),x),nil())
    length#() -> app#(fold(),add()) ->
    app#(listify(),x) -> app#(cons(),x)
    length#() -> app#(fold(),add()) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
    length#() -> app#(fold(),add()) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
    length#() -> app#(fold(),add()) ->
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
    length#() -> app#(fold(),add()) ->
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
    length#() -> app#(fold(),add()) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
    length#() -> app#(fold(),add()) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
    length#() -> app#(fold(),add()) ->
    app#(app(apply(),f_1),x) -> app#(f_1,x)
    length#() -> app#(cons(),1()) ->
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
    length#() -> app#(cons(),1()) ->
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
    length#() -> app#(cons(),1()) ->
    app#(sum(),l) -> app#(app(fold(),add()),id())
    length#() -> app#(cons(),1()) ->
    app#(sum(),l) -> app#(fold(),add())
    length#() -> app#(cons(),1()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
    length#() -> app#(cons(),1()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
    length#() -> app#(cons(),1()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
    length#() -> app#(cons(),1()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t)
    length#() -> app#(cons(),1()) ->
    app#(listify(),x) -> app#(app(cons(),x),nil())
    length#() -> app#(cons(),1()) ->
    app#(listify(),x) -> app#(cons(),x)
    length#() -> app#(cons(),1()) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
    length#() -> app#(cons(),1()) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
    length#() -> app#(cons(),1()) ->
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
    length#() -> app#(cons(),1()) ->
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
    length#() -> app#(cons(),1()) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
    length#() -> app#(cons(),1()) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
    length#() -> app#(cons(),1()) ->
    app#(app(apply(),f_1),x) -> app#(f_1,x)
    length#() -> app#(uncurry(),app(app(fold(),add()),app(cons(),1()))) ->
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
    length#() -> app#(uncurry(),app(app(fold(),add()),app(cons(),1()))) ->
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
    length#() -> app#(uncurry(),app(app(fold(),add()),app(cons(),1()))) ->
    app#(sum(),l) -> app#(app(fold(),add()),id())
    length#() -> app#(uncurry(),app(app(fold(),add()),app(cons(),1()))) ->
    app#(sum(),l) -> app#(fold(),add())
    length#() -> app#(uncurry(),app(app(fold(),add()),app(cons(),1()))) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
    length#() -> app#(uncurry(),app(app(fold(),add()),app(cons(),1()))) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
    length#() -> app#(uncurry(),app(app(fold(),add()),app(cons(),1()))) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
    length#() -> app#(uncurry(),app(app(fold(),add()),app(cons(),1()))) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t)
    length#() -> app#(uncurry(),app(app(fold(),add()),app(cons(),1()))) ->
    app#(listify(),x) -> app#(app(cons(),x),nil())
    length#() -> app#(uncurry(),app(app(fold(),add()),app(cons(),1()))) ->
    app#(listify(),x) -> app#(cons(),x)
    length#() -> app#(uncurry(),app(app(fold(),add()),app(cons(),1()))) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
    length#() -> app#(uncurry(),app(app(fold(),add()),app(cons(),1()))) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
    length#() -> app#(uncurry(),app(app(fold(),add()),app(cons(),1()))) ->
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
    length#() -> app#(uncurry(),app(app(fold(),add()),app(cons(),1()))) ->
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
    length#() -> app#(uncurry(),app(app(fold(),add()),app(cons(),1()))) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
    length#() -> app#(uncurry(),app(app(fold(),add()),app(cons(),1()))) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
    length#() -> app#(uncurry(),app(app(fold(),add()),app(cons(),1()))) ->
    app#(app(apply(),f_1),x) -> app#(f_1,x)
    length#() -> app#(app(fold(),add()),app(cons(),1())) ->
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
    length#() -> app#(app(fold(),add()),app(cons(),1())) ->
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
    length#() -> app#(app(fold(),add()),app(cons(),1())) ->
    app#(sum(),l) -> app#(app(fold(),add()),id())
    length#() -> app#(app(fold(),add()),app(cons(),1())) ->
    app#(sum(),l) -> app#(fold(),add())
    length#() -> app#(app(fold(),add()),app(cons(),1())) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
    length#() -> app#(app(fold(),add()),app(cons(),1())) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
    length#() -> app#(app(fold(),add()),app(cons(),1())) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
    length#() -> app#(app(fold(),add()),app(cons(),1())) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t)
    length#() -> app#(app(fold(),add()),app(cons(),1())) ->
    app#(listify(),x) -> app#(app(cons(),x),nil())
    length#() -> app#(app(fold(),add()),app(cons(),1())) ->
    app#(listify(),x) -> app#(cons(),x)
    length#() -> app#(app(fold(),add()),app(cons(),1())) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
    length#() -> app#(app(fold(),add()),app(cons(),1())) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
    length#() -> app#(app(fold(),add()),app(cons(),1())) ->
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
    length#() -> app#(app(fold(),add()),app(cons(),1())) ->
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
    length#() -> app#(app(fold(),add()),app(cons(),1())) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
    length#() -> app#(app(fold(),add()),app(cons(),1())) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
    length#() -> app#(app(fold(),add()),app(cons(),1())) ->
    app#(app(apply(),f_1),x) -> app#(f_1,x)
    length#() -> app#(app(uncurry(),app(app(fold(),add()),app(cons(),1()))),0()) ->
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
    length#() -> app#(app(uncurry(),app(app(fold(),add()),app(cons(),1()))),0()) ->
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
    length#() -> app#(app(uncurry(),app(app(fold(),add()),app(cons(),1()))),0()) ->
    app#(sum(),l) -> app#(app(fold(),add()),id())
    length#() -> app#(app(uncurry(),app(app(fold(),add()),app(cons(),1()))),0()) ->
    app#(sum(),l) -> app#(fold(),add())
    length#() -> app#(app(uncurry(),app(app(fold(),add()),app(cons(),1()))),0()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
    length#() -> app#(app(uncurry(),app(app(fold(),add()),app(cons(),1()))),0()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
    length#() -> app#(app(uncurry(),app(app(fold(),add()),app(cons(),1()))),0()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
    length#() -> app#(app(uncurry(),app(app(fold(),add()),app(cons(),1()))),0()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t)
    length#() -> app#(app(uncurry(),app(app(fold(),add()),app(cons(),1()))),0()) ->
    app#(listify(),x) -> app#(app(cons(),x),nil())
    length#() -> app#(app(uncurry(),app(app(fold(),add()),app(cons(),1()))),0()) ->
    app#(listify(),x) -> app#(cons(),x)
    length#() -> app#(app(uncurry(),app(app(fold(),add()),app(cons(),1()))),0()) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
    length#() -> app#(app(uncurry(),app(app(fold(),add()),app(cons(),1()))),0()) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
    length#() -> app#(app(uncurry(),app(app(fold(),add()),app(cons(),1()))),0()) ->
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
    length#() -> app#(app(uncurry(),app(app(fold(),add()),app(cons(),1()))),0()) ->
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
    length#() -> app#(app(uncurry(),app(app(fold(),add()),app(cons(),1()))),0()) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
    length#() -> app#(app(uncurry(),app(app(fold(),add()),app(cons(),1()))),0()) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
    length#() -> app#(app(uncurry(),app(app(fold(),add()),app(cons(),1()))),0()) ->
    app#(app(apply(),f_1),x) -> app#(f_1,x)
    reverse#() -> append#() ->
    append#() -> app#(app(compose(),app(app(swap(),fold()),cons())),id())
    reverse#() -> append#() ->
    append#() -> app#(compose(),app(app(swap(),fold()),cons()))
    reverse#() -> append#() -> append#() -> app#(app(swap(),fold()),cons())
    reverse#() -> append#() ->
    append#() -> app#(swap(),fold())
    reverse#() -> app#(fold(),app(swap(),append())) ->
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
    reverse#() -> app#(fold(),app(swap(),append())) ->
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
    reverse#() -> app#(fold(),app(swap(),append())) ->
    app#(sum(),l) -> app#(app(fold(),add()),id())
    reverse#() -> app#(fold(),app(swap(),append())) ->
    app#(sum(),l) -> app#(fold(),add())
    reverse#() -> app#(fold(),app(swap(),append())) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
    reverse#() -> app#(fold(),app(swap(),append())) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
    reverse#() -> app#(fold(),app(swap(),append())) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
    reverse#() -> app#(fold(),app(swap(),append())) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t)
    reverse#() -> app#(fold(),app(swap(),append())) ->
    app#(listify(),x) -> app#(app(cons(),x),nil())
    reverse#() -> app#(fold(),app(swap(),append())) ->
    app#(listify(),x) -> app#(cons(),x)
    reverse#() -> app#(fold(),app(swap(),append())) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
    reverse#() -> app#(fold(),app(swap(),append())) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
    reverse#() -> app#(fold(),app(swap(),append())) ->
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
    reverse#() -> app#(fold(),app(swap(),append())) ->
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
    reverse#() -> app#(fold(),app(swap(),append())) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
    reverse#() -> app#(fold(),app(swap(),append())) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
    reverse#() -> app#(fold(),app(swap(),append())) ->
    app#(app(apply(),f_1),x) -> app#(f_1,x)
    reverse#() -> app#(swap(),append()) ->
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
    reverse#() -> app#(swap(),append()) ->
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
    reverse#() -> app#(swap(),append()) ->
    app#(sum(),l) -> app#(app(fold(),add()),id())
    reverse#() -> app#(swap(),append()) ->
    app#(sum(),l) -> app#(fold(),add())
    reverse#() -> app#(swap(),append()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
    reverse#() -> app#(swap(),append()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
    reverse#() -> app#(swap(),append()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
    reverse#() -> app#(swap(),append()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t)
    reverse#() -> app#(swap(),append()) ->
    app#(listify(),x) -> app#(app(cons(),x),nil())
    reverse#() -> app#(swap(),append()) ->
    app#(listify(),x) -> app#(cons(),x)
    reverse#() -> app#(swap(),append()) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
    reverse#() -> app#(swap(),append()) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
    reverse#() -> app#(swap(),append()) ->
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
    reverse#() -> app#(swap(),append()) ->
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
    reverse#() -> app#(swap(),append()) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
    reverse#() -> app#(swap(),append()) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
    reverse#() -> app#(swap(),append()) ->
    app#(app(apply(),f_1),x) -> app#(f_1,x)
    reverse#() -> app#(uncurry(),app(app(fold(),app(swap(),append())),listify())) ->
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
    reverse#() -> app#(uncurry(),app(app(fold(),app(swap(),append())),listify())) ->
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
    reverse#() -> app#(uncurry(),app(app(fold(),app(swap(),append())),listify())) ->
    app#(sum(),l) -> app#(app(fold(),add()),id())
    reverse#() -> app#(uncurry(),app(app(fold(),app(swap(),append())),listify())) ->
    app#(sum(),l) -> app#(fold(),add())
    reverse#() -> app#(uncurry(),app(app(fold(),app(swap(),append())),listify())) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
    reverse#() -> app#(uncurry(),app(app(fold(),app(swap(),append())),listify())) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
    reverse#() -> app#(uncurry(),app(app(fold(),app(swap(),append())),listify())) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
    reverse#() -> app#(uncurry(),app(app(fold(),app(swap(),append())),listify())) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t)
    reverse#() -> app#(uncurry(),app(app(fold(),app(swap(),append())),listify())) ->
    app#(listify(),x) -> app#(app(cons(),x),nil())
    reverse#() -> app#(uncurry(),app(app(fold(),app(swap(),append())),listify())) ->
    app#(listify(),x) -> app#(cons(),x)
    reverse#() -> app#(uncurry(),app(app(fold(),app(swap(),append())),listify())) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
    reverse#() -> app#(uncurry(),app(app(fold(),app(swap(),append())),listify())) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
    reverse#() -> app#(uncurry(),app(app(fold(),app(swap(),append())),listify())) ->
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
    reverse#() -> app#(uncurry(),app(app(fold(),app(swap(),append())),listify())) ->
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
    reverse#() -> app#(uncurry(),app(app(fold(),app(swap(),append())),listify())) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
    reverse#() -> app#(uncurry(),app(app(fold(),app(swap(),append())),listify())) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
    reverse#() -> app#(uncurry(),app(app(fold(),app(swap(),append())),listify())) ->
    app#(app(apply(),f_1),x) -> app#(f_1,x)
    reverse#() -> app#(app(fold(),app(swap(),append())),listify()) ->
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
    reverse#() -> app#(app(fold(),app(swap(),append())),listify()) ->
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
    reverse#() -> app#(app(fold(),app(swap(),append())),listify()) ->
    app#(sum(),l) -> app#(app(fold(),add()),id())
    reverse#() -> app#(app(fold(),app(swap(),append())),listify()) ->
    app#(sum(),l) -> app#(fold(),add())
    reverse#() -> app#(app(fold(),app(swap(),append())),listify()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
    reverse#() -> app#(app(fold(),app(swap(),append())),listify()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
    reverse#() -> app#(app(fold(),app(swap(),append())),listify()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
    reverse#() -> app#(app(fold(),app(swap(),append())),listify()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t)
    reverse#() -> app#(app(fold(),app(swap(),append())),listify()) ->
    app#(listify(),x) -> app#(app(cons(),x),nil())
    reverse#() -> app#(app(fold(),app(swap(),append())),listify()) ->
    app#(listify(),x) -> app#(cons(),x)
    reverse#() -> app#(app(fold(),app(swap(),append())),listify()) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
    reverse#() -> app#(app(fold(),app(swap(),append())),listify()) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
    reverse#() -> app#(app(fold(),app(swap(),append())),listify()) ->
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
    reverse#() -> app#(app(fold(),app(swap(),append())),listify()) ->
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
    reverse#() -> app#(app(fold(),app(swap(),append())),listify()) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
    reverse#() -> app#(app(fold(),app(swap(),append())),listify()) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
    reverse#() -> app#(app(fold(),app(swap(),append())),listify()) ->
    app#(app(apply(),f_1),x) -> app#(f_1,x)
    reverse#() -> app#(app(uncurry(),app(app(fold(),app(swap(),append())),listify())),nil()) ->
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
    reverse#() -> app#(app(uncurry(),app(app(fold(),app(swap(),append())),listify())),nil()) ->
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
    reverse#() -> app#(app(uncurry(),app(app(fold(),app(swap(),append())),listify())),nil()) ->
    app#(sum(),l) -> app#(app(fold(),add()),id())
    reverse#() -> app#(app(uncurry(),app(app(fold(),app(swap(),append())),listify())),nil()) ->
    app#(sum(),l) -> app#(fold(),add())
    reverse#() -> app#(app(uncurry(),app(app(fold(),app(swap(),append())),listify())),nil()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
    reverse#() -> app#(app(uncurry(),app(app(fold(),app(swap(),append())),listify())),nil()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
    reverse#() -> app#(app(uncurry(),app(app(fold(),app(swap(),append())),listify())),nil()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
    reverse#() -> app#(app(uncurry(),app(app(fold(),app(swap(),append())),listify())),nil()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t)
    reverse#() -> app#(app(uncurry(),app(app(fold(),app(swap(),append())),listify())),nil()) ->
    app#(listify(),x) -> app#(app(cons(),x),nil())
    reverse#() -> app#(app(uncurry(),app(app(fold(),app(swap(),append())),listify())),nil()) ->
    app#(listify(),x) -> app#(cons(),x)
    reverse#() -> app#(app(uncurry(),app(app(fold(),app(swap(),append())),listify())),nil()) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
    reverse#() -> app#(app(uncurry(),app(app(fold(),app(swap(),append())),listify())),nil()) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
    reverse#() -> app#(app(uncurry(),app(app(fold(),app(swap(),append())),listify())),nil()) ->
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
    reverse#() -> app#(app(uncurry(),app(app(fold(),app(swap(),append())),listify())),nil()) ->
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
    reverse#() -> app#(app(uncurry(),app(app(fold(),app(swap(),append())),listify())),nil()) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
    reverse#() -> app#(app(uncurry(),app(app(fold(),app(swap(),append())),listify())),nil()) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
    reverse#() -> app#(app(uncurry(),app(app(fold(),app(swap(),append())),listify())),nil()) ->
    app#(app(apply(),f_1),x) -> app#(f_1,x)
    append#() -> app#(compose(),app(app(swap(),fold()),cons())) ->
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
    append#() -> app#(compose(),app(app(swap(),fold()),cons())) ->
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
    append#() -> app#(compose(),app(app(swap(),fold()),cons())) ->
    app#(sum(),l) -> app#(app(fold(),add()),id())
    append#() -> app#(compose(),app(app(swap(),fold()),cons())) ->
    app#(sum(),l) -> app#(fold(),add())
    append#() -> app#(compose(),app(app(swap(),fold()),cons())) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
    append#() -> app#(compose(),app(app(swap(),fold()),cons())) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
    append#() -> app#(compose(),app(app(swap(),fold()),cons())) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
    append#() -> app#(compose(),app(app(swap(),fold()),cons())) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t)
    append#() -> app#(compose(),app(app(swap(),fold()),cons())) ->
    app#(listify(),x) -> app#(app(cons(),x),nil())
    append#() -> app#(compose(),app(app(swap(),fold()),cons())) ->
    app#(listify(),x) -> app#(cons(),x)
    append#() -> app#(compose(),app(app(swap(),fold()),cons())) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
    append#() -> app#(compose(),app(app(swap(),fold()),cons())) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
    append#() -> app#(compose(),app(app(swap(),fold()),cons())) ->
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
    append#() -> app#(compose(),app(app(swap(),fold()),cons())) ->
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
    append#() -> app#(compose(),app(app(swap(),fold()),cons())) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
    append#() -> app#(compose(),app(app(swap(),fold()),cons())) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
    append#() -> app#(compose(),app(app(swap(),fold()),cons())) ->
    app#(app(apply(),f_1),x) -> app#(f_1,x)
    append#() -> app#(swap(),fold()) ->
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
    append#() -> app#(swap(),fold()) ->
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
    append#() -> app#(swap(),fold()) ->
    app#(sum(),l) -> app#(app(fold(),add()),id())
    append#() -> app#(swap(),fold()) ->
    app#(sum(),l) -> app#(fold(),add())
    append#() -> app#(swap(),fold()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
    append#() -> app#(swap(),fold()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
    append#() -> app#(swap(),fold()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
    append#() -> app#(swap(),fold()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t)
    append#() -> app#(swap(),fold()) ->
    app#(listify(),x) -> app#(app(cons(),x),nil())
    append#() -> app#(swap(),fold()) ->
    app#(listify(),x) -> app#(cons(),x)
    append#() -> app#(swap(),fold()) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
    append#() -> app#(swap(),fold()) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
    append#() -> app#(swap(),fold()) ->
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
    append#() -> app#(swap(),fold()) ->
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
    append#() -> app#(swap(),fold()) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
    append#() -> app#(swap(),fold()) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
    append#() -> app#(swap(),fold()) ->
    app#(app(apply(),f_1),x) -> app#(f_1,x)
    append#() -> app#(app(compose(),app(app(swap(),fold()),cons())),id()) ->
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
    append#() -> app#(app(compose(),app(app(swap(),fold()),cons())),id()) ->
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
    append#() -> app#(app(compose(),app(app(swap(),fold()),cons())),id()) ->
    app#(sum(),l) -> app#(app(fold(),add()),id())
    append#() -> app#(app(compose(),app(app(swap(),fold()),cons())),id()) ->
    app#(sum(),l) -> app#(fold(),add())
    append#() -> app#(app(compose(),app(app(swap(),fold()),cons())),id()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
    append#() -> app#(app(compose(),app(app(swap(),fold()),cons())),id()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
    append#() -> app#(app(compose(),app(app(swap(),fold()),cons())),id()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
    append#() -> app#(app(compose(),app(app(swap(),fold()),cons())),id()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t)
    append#() -> app#(app(compose(),app(app(swap(),fold()),cons())),id()) ->
    app#(listify(),x) -> app#(app(cons(),x),nil())
    append#() -> app#(app(compose(),app(app(swap(),fold()),cons())),id()) ->
    app#(listify(),x) -> app#(cons(),x)
    append#() -> app#(app(compose(),app(app(swap(),fold()),cons())),id()) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
    append#() -> app#(app(compose(),app(app(swap(),fold()),cons())),id()) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
    append#() -> app#(app(compose(),app(app(swap(),fold()),cons())),id()) ->
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
    append#() -> app#(app(compose(),app(app(swap(),fold()),cons())),id()) ->
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
    append#() -> app#(app(compose(),app(app(swap(),fold()),cons())),id()) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
    append#() -> app#(app(compose(),app(app(swap(),fold()),cons())),id()) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
    append#() -> app#(app(compose(),app(app(swap(),fold()),cons())),id()) ->
    app#(app(apply(),f_1),x) -> app#(f_1,x)
    append#() -> app#(app(swap(),fold()),cons()) ->
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
    append#() -> app#(app(swap(),fold()),cons()) ->
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
    append#() -> app#(app(swap(),fold()),cons()) ->
    app#(sum(),l) -> app#(app(fold(),add()),id())
    append#() -> app#(app(swap(),fold()),cons()) ->
    app#(sum(),l) -> app#(fold(),add())
    append#() -> app#(app(swap(),fold()),cons()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
    append#() -> app#(app(swap(),fold()),cons()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
    append#() -> app#(app(swap(),fold()),cons()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
    append#() -> app#(app(swap(),fold()),cons()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t)
    append#() -> app#(app(swap(),fold()),cons()) ->
    app#(listify(),x) -> app#(app(cons(),x),nil())
    append#() -> app#(app(swap(),fold()),cons()) ->
    app#(listify(),x) -> app#(cons(),x)
    append#() -> app#(app(swap(),fold()),cons()) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
    append#() -> app#(app(swap(),fold()),cons()) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
    append#() -> app#(app(swap(),fold()),cons()) ->
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
    append#() -> app#(app(swap(),fold()),cons()) ->
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
    append#() -> app#(app(swap(),fold()),cons()) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
    append#() -> app#(app(swap(),fold()),cons()) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
    append#() -> app#(app(swap(),fold()),cons()) ->
    app#(app(apply(),f_1),x) -> app#(f_1,x)
    app#(sum(),l) -> app#(fold(),add()) ->
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
    app#(sum(),l) -> app#(fold(),add()) ->
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
    app#(sum(),l) -> app#(fold(),add()) ->
    app#(sum(),l) -> app#(app(fold(),add()),id())
    app#(sum(),l) -> app#(fold(),add()) ->
    app#(sum(),l) -> app#(fold(),add())
    app#(sum(),l) -> app#(fold(),add()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
    app#(sum(),l) -> app#(fold(),add()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
    app#(sum(),l) -> app#(fold(),add()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
    app#(sum(),l) -> app#(fold(),add()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t)
    app#(sum(),l) -> app#(fold(),add()) ->
    app#(listify(),x) -> app#(app(cons(),x),nil())
    app#(sum(),l) -> app#(fold(),add()) ->
    app#(listify(),x) -> app#(cons(),x)
    app#(sum(),l) -> app#(fold(),add()) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
    app#(sum(),l) -> app#(fold(),add()) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
    app#(sum(),l) -> app#(fold(),add()) ->
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
    app#(sum(),l) -> app#(fold(),add()) ->
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
    app#(sum(),l) -> app#(fold(),add()) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
    app#(sum(),l) -> app#(fold(),add()) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
    app#(sum(),l) -> app#(fold(),add()) ->
    app#(app(apply(),f_1),x) -> app#(f_1,x)
    app#(sum(),l) -> app#(app(fold(),add()),id()) ->
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
    app#(sum(),l) -> app#(app(fold(),add()),id()) ->
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
    app#(sum(),l) -> app#(app(fold(),add()),id()) ->
    app#(sum(),l) -> app#(app(fold(),add()),id())
    app#(sum(),l) -> app#(app(fold(),add()),id()) ->
    app#(sum(),l) -> app#(fold(),add())
    app#(sum(),l) -> app#(app(fold(),add()),id()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
    app#(sum(),l) -> app#(app(fold(),add()),id()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
    app#(sum(),l) -> app#(app(fold(),add()),id()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
    app#(sum(),l) -> app#(app(fold(),add()),id()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t)
    app#(sum(),l) -> app#(app(fold(),add()),id()) ->
    app#(listify(),x) -> app#(app(cons(),x),nil())
    app#(sum(),l) -> app#(app(fold(),add()),id()) ->
    app#(listify(),x) -> app#(cons(),x)
    app#(sum(),l) -> app#(app(fold(),add()),id()) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
    app#(sum(),l) -> app#(app(fold(),add()),id()) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
    app#(sum(),l) -> app#(app(fold(),add()),id()) ->
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
    app#(sum(),l) -> app#(app(fold(),add()),id()) ->
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
    app#(sum(),l) -> app#(app(fold(),add()),id()) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
    app#(sum(),l) -> app#(app(fold(),add()),id()) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
    app#(sum(),l) -> app#(app(fold(),add()),id()) ->
    app#(app(apply(),f_1),x) -> app#(f_1,x)
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0()) ->
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0()) ->
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0()) ->
    app#(sum(),l) -> app#(app(fold(),add()),id())
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0()) ->
    app#(sum(),l) -> app#(fold(),add())
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t)
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0()) ->
    app#(listify(),x) -> app#(app(cons(),x),nil())
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0()) ->
    app#(listify(),x) -> app#(cons(),x)
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0()) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0()) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0()) ->
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0()) ->
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0()) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0()) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0()) ->
    app#(app(apply(),f_1),x) -> app#(f_1,x)
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l) ->
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l) ->
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l) ->
    app#(sum(),l) -> app#(app(fold(),add()),id())
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l) ->
    app#(sum(),l) -> app#(fold(),add())
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t)
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l) ->
    app#(listify(),x) -> app#(app(cons(),x),nil())
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l) ->
    app#(listify(),x) -> app#(cons(),x)
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l) ->
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l) ->
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l) ->
    app#(app(apply(),f_1),x) -> app#(f_1,x)
    app#(listify(),x) -> app#(cons(),x) ->
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
    app#(listify(),x) -> app#(cons(),x) ->
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
    app#(listify(),x) -> app#(cons(),x) ->
    app#(sum(),l) -> app#(app(fold(),add()),id())
    app#(listify(),x) -> app#(cons(),x) ->
    app#(sum(),l) -> app#(fold(),add())
    app#(listify(),x) -> app#(cons(),x) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
    app#(listify(),x) -> app#(cons(),x) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
    app#(listify(),x) -> app#(cons(),x) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
    app#(listify(),x) -> app#(cons(),x) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t)
    app#(listify(),x) -> app#(cons(),x) ->
    app#(listify(),x) -> app#(app(cons(),x),nil())
    app#(listify(),x) -> app#(cons(),x) ->
    app#(listify(),x) -> app#(cons(),x)
    app#(listify(),x) -> app#(cons(),x) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
    app#(listify(),x) -> app#(cons(),x) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
    app#(listify(),x) -> app#(cons(),x) ->
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
    app#(listify(),x) -> app#(cons(),x) ->
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
    app#(listify(),x) -> app#(cons(),x) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
    app#(listify(),x) -> app#(cons(),x) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
    app#(listify(),x) -> app#(cons(),x) ->
    app#(app(apply(),f_1),x) -> app#(f_1,x)
    app#(listify(),x) -> app#(app(cons(),x),nil()) ->
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
    app#(listify(),x) -> app#(app(cons(),x),nil()) ->
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
    app#(listify(),x) -> app#(app(cons(),x),nil()) ->
    app#(sum(),l) -> app#(app(fold(),add()),id())
    app#(listify(),x) -> app#(app(cons(),x),nil()) ->
    app#(sum(),l) -> app#(fold(),add())
    app#(listify(),x) -> app#(app(cons(),x),nil()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
    app#(listify(),x) -> app#(app(cons(),x),nil()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
    app#(listify(),x) -> app#(app(cons(),x),nil()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
    app#(listify(),x) -> app#(app(cons(),x),nil()) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t)
    app#(listify(),x) -> app#(app(cons(),x),nil()) ->
    app#(listify(),x) -> app#(app(cons(),x),nil())
    app#(listify(),x) -> app#(app(cons(),x),nil()) ->
    app#(listify(),x) -> app#(cons(),x)
    app#(listify(),x) -> app#(app(cons(),x),nil()) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
    app#(listify(),x) -> app#(app(cons(),x),nil()) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
    app#(listify(),x) -> app#(app(cons(),x),nil()) ->
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
    app#(listify(),x) -> app#(app(cons(),x),nil()) ->
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
    app#(listify(),x) -> app#(app(cons(),x),nil()) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
    app#(listify(),x) -> app#(app(cons(),x),nil()) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
    app#(listify(),x) -> app#(app(cons(),x),nil()) ->
    app#(app(apply(),f_1),x) -> app#(f_1,x)
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x)) ->
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x)) ->
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x)) ->
    app#(sum(),l) -> app#(app(fold(),add()),id())
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x)) ->
    app#(sum(),l) -> app#(fold(),add())
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x)) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x)) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x)) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x)) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t)
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x)) ->
    app#(listify(),x) -> app#(app(cons(),x),nil())
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x)) ->
    app#(listify(),x) -> app#(cons(),x)
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x)) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x)) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x)) ->
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x)) ->
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x)) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x)) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x)) ->
    app#(app(apply(),f_1),x) -> app#(f_1,x)
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x) ->
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x) ->
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x) ->
    app#(sum(),l) -> app#(app(fold(),add()),id())
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x) ->
    app#(sum(),l) -> app#(fold(),add())
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t)
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x) ->
    app#(listify(),x) -> app#(app(cons(),x),nil())
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x) ->
    app#(listify(),x) -> app#(cons(),x)
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x) ->
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x) ->
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x) ->
    app#(app(apply(),f_1),x) -> app#(f_1,x)
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y) ->
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y) ->
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y) ->
    app#(sum(),l) -> app#(app(fold(),add()),id())
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y) ->
    app#(sum(),l) -> app#(fold(),add())
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t)
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y) ->
    app#(listify(),x) -> app#(app(cons(),x),nil())
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y) ->
    app#(listify(),x) -> app#(cons(),x)
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y) ->
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y) ->
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y) ->
    app#(app(apply(),f_1),x) -> app#(f_1,x)
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x) ->
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x) ->
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x) ->
    app#(sum(),l) -> app#(app(fold(),add()),id())
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x) ->
    app#(sum(),l) -> app#(fold(),add())
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t)
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x) ->
    app#(listify(),x) -> app#(app(cons(),x),nil())
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x) ->
    app#(listify(),x) -> app#(cons(),x)
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x) ->
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x) ->
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x) ->
    app#(app(apply(),f_1),x) -> app#(f_1,x)
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y) ->
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y) ->
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y) ->
    app#(sum(),l) -> app#(app(fold(),add()),id())
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y) ->
    app#(sum(),l) -> app#(fold(),add())
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t)
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y) ->
    app#(listify(),x) -> app#(app(cons(),x),nil())
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y) ->
    app#(listify(),x) -> app#(cons(),x)
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y) ->
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y) ->
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y) ->
    app#(app(apply(),f_1),x) -> app#(f_1,x)
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x) ->
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x) ->
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x) ->
    app#(sum(),l) -> app#(app(fold(),add()),id())
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x) ->
    app#(sum(),l) -> app#(fold(),add())
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t)
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x) ->
    app#(listify(),x) -> app#(app(cons(),x),nil())
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x) ->
    app#(listify(),x) -> app#(cons(),x)
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x) ->
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x) ->
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x) ->
    app#(app(apply(),f_1),x) -> app#(f_1,x)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t) ->
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t) ->
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t) ->
    app#(sum(),l) -> app#(app(fold(),add()),id())
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t) ->
    app#(sum(),l) -> app#(fold(),add())
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t) ->
    app#(listify(),x) -> app#(app(cons(),x),nil())
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t) ->
    app#(listify(),x) -> app#(cons(),x)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t) ->
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t) ->
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t) ->
    app#(app(apply(),f_1),x) -> app#(f_1,x)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t)) ->
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t)) ->
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t)) ->
    app#(sum(),l) -> app#(app(fold(),add()),id())
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t)) ->
    app#(sum(),l) -> app#(fold(),add())
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t)) ->
    app#(listify(),x) -> app#(app(cons(),x),nil())
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t)) ->
    app#(listify(),x) -> app#(cons(),x)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t)) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t)) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t)) ->
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t)) ->
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t)) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t)) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t)) ->
    app#(app(apply(),f_1),x) -> app#(f_1,x)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z) ->
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z) ->
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z) ->
    app#(sum(),l) -> app#(app(fold(),add()),id())
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z) ->
    app#(sum(),l) -> app#(fold(),add())
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z) ->
    app#(listify(),x) -> app#(app(cons(),x),nil())
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z) ->
    app#(listify(),x) -> app#(cons(),x)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z) ->
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z) ->
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z) ->
    app#(app(apply(),f_1),x) -> app#(f_1,x)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z)) ->
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z)) ->
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z)) ->
    app#(sum(),l) -> app#(app(fold(),add()),id())
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z)) ->
    app#(sum(),l) -> app#(fold(),add())
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z)) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z)) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z)) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z)) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z)) ->
    app#(listify(),x) -> app#(app(cons(),x),nil())
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z)) ->
    app#(listify(),x) -> app#(cons(),x)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z)) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z)) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z)) ->
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z)) ->
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z)) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z)) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z)) ->
    app#(app(apply(),f_1),x) -> app#(f_1,x)
    app#(app(apply(),f_1),x) -> app#(f_1,x) ->
    app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
    app#(app(apply(),f_1),x) -> app#(f_1,x) ->
    app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
    app#(app(apply(),f_1),x) -> app#(f_1,x) ->
    app#(sum(),l) -> app#(app(fold(),add()),id())
    app#(app(apply(),f_1),x) -> app#(f_1,x) ->
    app#(sum(),l) -> app#(fold(),add())
    app#(app(apply(),f_1),x) -> app#(f_1,x) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
    app#(app(apply(),f_1),x) -> app#(f_1,x) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
    app#(app(apply(),f_1),x) -> app#(f_1,x) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
    app#(app(apply(),f_1),x) -> app#(f_1,x) ->
    app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
    app#(app(app(app(fold(),f_3),g_2),x),t)
    app#(app(apply(),f_1),x) -> app#(f_1,x) ->
    app#(listify(),x) -> app#(app(cons(),x),nil())
    app#(app(apply(),f_1),x) -> app#(f_1,x) ->
    app#(listify(),x) -> app#(cons(),x)
    app#(app(apply(),f_1),x) -> app#(f_1,x) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
    app#(app(apply(),f_1),x) -> app#(f_1,x) ->
    app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
    app#(app(apply(),f_1),x) -> app#(f_1,x) ->
    app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
    app#(app(apply(),f_1),x) -> app#(f_1,x) ->
    app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
    app#(app(apply(),f_1),x) -> app#(f_1,x) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
    app#(app(apply(),f_1),x) -> app#(f_1,x) ->
    app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
    app#(app(apply(),f_1),x) -> app#(f_1,x) -> app#(app(apply(),f_1),x) -> app#(f_1,x)
   SCC Processor:
    #sccs: 1
    #rules: 17
    #arcs: 531/1024
    DPs:
     app#(app(apply(),f_1),x) -> app#(f_1,x)
     app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
     app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
     app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
     app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
     app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
     app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
     app#(listify(),x) -> app#(cons(),x)
     app#(listify(),x) -> app#(app(cons(),x),nil())
     app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
     app#(app(app(app(fold(),f_3),g_2),x),t)
     app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
     app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
     app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
     app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
     app#(sum(),l) -> app#(fold(),add())
     app#(sum(),l) -> app#(app(fold(),add()),id())
     app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
     app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
    TRS:
     app(app(apply(),f_1),x) -> app(f_1,x)
     app(id(),x) -> x
     app(app(app(uncurry(),f_2),x),y) -> app(app(f_2,x),y)
     app(app(app(swap(),f_2),y),x) -> app(app(f_2,x),y)
     app(app(app(compose(),g_1),f_1),x) -> app(g_1,app(f_1,x))
     app(app(const(),x),y) -> x
     app(listify(),x) -> app(app(cons(),x),nil())
     app(app(app(app(fold(),f_3),g_2),x),nil()) -> x
     app(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
     app(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
     app(sum(),l) -> app(app(app(app(fold(),add()),id()),0()),l)
     app(app(uncurry(),app(app(fold(),cons()),id())),nil()) -> id()
     append() -> app(app(compose(),app(app(swap(),fold()),cons())),id())
     reverse() -> app(app(uncurry(),app(app(fold(),app(swap(),append())),listify())),nil())
     length() -> app(app(uncurry(),app(app(fold(),add()),app(cons(),1()))),0())
    EDG Processor:
     DPs:
      app#(app(apply(),f_1),x) -> app#(f_1,x)
      app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
      app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
      app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
      app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
      app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
      app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
      app#(listify(),x) -> app#(cons(),x)
      app#(listify(),x) -> app#(app(cons(),x),nil())
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(app(app(fold(),f_3),g_2),x),t)
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
      app#(sum(),l) -> app#(fold(),add())
      app#(sum(),l) -> app#(app(fold(),add()),id())
      app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
      app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
     TRS:
      app(app(apply(),f_1),x) -> app(f_1,x)
      app(id(),x) -> x
      app(app(app(uncurry(),f_2),x),y) -> app(app(f_2,x),y)
      app(app(app(swap(),f_2),y),x) -> app(app(f_2,x),y)
      app(app(app(compose(),g_1),f_1),x) -> app(g_1,app(f_1,x))
      app(app(const(),x),y) -> x
      app(listify(),x) -> app(app(cons(),x),nil())
      app(app(app(app(fold(),f_3),g_2),x),nil()) -> x
      app(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
      app(sum(),l) -> app(app(app(app(fold(),add()),id()),0()),l)
      app(app(uncurry(),app(app(fold(),cons()),id())),nil()) -> id()
      append() -> app(app(compose(),app(app(swap(),fold()),cons())),id())
      reverse() -> app(app(uncurry(),app(app(fold(),app(swap(),append())),listify())),nil())
      length() -> app(app(uncurry(),app(app(fold(),add()),app(cons(),1()))),0())
     graph:
      app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(app(app(fold(),f_3),g_2),x),t)
      app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
      app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
      app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
      app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x)) ->
      app#(app(apply(),f_1),x) -> app#(f_1,x)
      app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x)) ->
      app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
      app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x)) ->
      app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
      app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x)) ->
      app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
      app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x)) ->
      app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
      app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x)) ->
      app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
      app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x)) ->
      app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
      app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x)) ->
      app#(listify(),x) -> app#(cons(),x)
      app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x)) ->
      app#(listify(),x) -> app#(app(cons(),x),nil())
      app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x)) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(app(app(fold(),f_3),g_2),x),t)
      app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x)) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
      app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x)) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
      app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x)) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
      app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x)) ->
      app#(sum(),l) -> app#(fold(),add())
      app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x)) ->
      app#(sum(),l) -> app#(app(fold(),add()),id())
      app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x)) ->
      app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
      app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x)) ->
      app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
      app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x) ->
      app#(app(apply(),f_1),x) -> app#(f_1,x)
      app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x) ->
      app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
      app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x) ->
      app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
      app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x) ->
      app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
      app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x) ->
      app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
      app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x) ->
      app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
      app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x) ->
      app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
      app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x) ->
      app#(listify(),x) -> app#(cons(),x)
      app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x) ->
      app#(listify(),x) -> app#(app(cons(),x),nil())
      app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(app(app(fold(),f_3),g_2),x),t)
      app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
      app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
      app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
      app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x) ->
      app#(sum(),l) -> app#(fold(),add())
      app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x) ->
      app#(sum(),l) -> app#(app(fold(),add()),id())
      app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x) ->
      app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
      app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x) ->
      app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
      app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y) ->
      app#(app(apply(),f_1),x) -> app#(f_1,x)
      app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y) ->
      app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
      app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y) ->
      app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
      app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y) ->
      app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
      app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y) ->
      app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
      app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y) ->
      app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
      app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y) ->
      app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
      app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y) ->
      app#(listify(),x) -> app#(cons(),x)
      app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y) ->
      app#(listify(),x) -> app#(app(cons(),x),nil())
      app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(app(app(fold(),f_3),g_2),x),t)
      app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
      app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
      app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
      app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y) ->
      app#(sum(),l) -> app#(fold(),add())
      app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y) ->
      app#(sum(),l) -> app#(app(fold(),add()),id())
      app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y) ->
      app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
      app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y) ->
      app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
      app#(app(app(swap(),f_2),y),x) -> app#(f_2,x) ->
      app#(app(apply(),f_1),x) -> app#(f_1,x)
      app#(app(app(swap(),f_2),y),x) -> app#(f_2,x) ->
      app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
      app#(app(app(swap(),f_2),y),x) -> app#(f_2,x) ->
      app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
      app#(app(app(swap(),f_2),y),x) -> app#(f_2,x) ->
      app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
      app#(app(app(swap(),f_2),y),x) -> app#(f_2,x) ->
      app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
      app#(app(app(swap(),f_2),y),x) -> app#(f_2,x) ->
      app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
      app#(app(app(swap(),f_2),y),x) -> app#(f_2,x) ->
      app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
      app#(app(app(swap(),f_2),y),x) -> app#(f_2,x) ->
      app#(listify(),x) -> app#(cons(),x)
      app#(app(app(swap(),f_2),y),x) -> app#(f_2,x) ->
      app#(listify(),x) -> app#(app(cons(),x),nil())
      app#(app(app(swap(),f_2),y),x) -> app#(f_2,x) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(app(app(fold(),f_3),g_2),x),t)
      app#(app(app(swap(),f_2),y),x) -> app#(f_2,x) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
      app#(app(app(swap(),f_2),y),x) -> app#(f_2,x) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
      app#(app(app(swap(),f_2),y),x) -> app#(f_2,x) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
      app#(app(app(swap(),f_2),y),x) -> app#(f_2,x) ->
      app#(sum(),l) -> app#(fold(),add())
      app#(app(app(swap(),f_2),y),x) -> app#(f_2,x) ->
      app#(sum(),l) -> app#(app(fold(),add()),id())
      app#(app(app(swap(),f_2),y),x) -> app#(f_2,x) ->
      app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
      app#(app(app(swap(),f_2),y),x) -> app#(f_2,x) ->
      app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
      app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y) ->
      app#(app(apply(),f_1),x) -> app#(f_1,x)
      app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y) ->
      app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
      app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y) ->
      app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
      app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y) ->
      app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
      app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y) ->
      app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
      app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y) ->
      app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
      app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y) ->
      app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
      app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y) ->
      app#(listify(),x) -> app#(cons(),x)
      app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y) ->
      app#(listify(),x) -> app#(app(cons(),x),nil())
      app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(app(app(fold(),f_3),g_2),x),t)
      app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
      app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
      app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
      app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y) ->
      app#(sum(),l) -> app#(fold(),add())
      app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y) ->
      app#(sum(),l) -> app#(app(fold(),add()),id())
      app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y) ->
      app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
      app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y) ->
      app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
      app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x) ->
      app#(app(apply(),f_1),x) -> app#(f_1,x)
      app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x) ->
      app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
      app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x) ->
      app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
      app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x) ->
      app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
      app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x) ->
      app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
      app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x) ->
      app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
      app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x) ->
      app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
      app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x) ->
      app#(listify(),x) -> app#(cons(),x)
      app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x) ->
      app#(listify(),x) -> app#(app(cons(),x),nil())
      app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(app(app(fold(),f_3),g_2),x),t)
      app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
      app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
      app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
      app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x) ->
      app#(sum(),l) -> app#(fold(),add())
      app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x) ->
      app#(sum(),l) -> app#(app(fold(),add()),id())
      app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x) ->
      app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
      app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x) ->
      app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(app(app(fold(),f_3),g_2),x),t) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(app(app(fold(),f_3),g_2),x),t)
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(app(app(fold(),f_3),g_2),x),t) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(app(app(fold(),f_3),g_2),x),t) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(app(app(fold(),f_3),g_2),x),t) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t)) ->
      app#(app(apply(),f_1),x) -> app#(f_1,x)
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t)) ->
      app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t)) ->
      app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t)) ->
      app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t)) ->
      app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t)) ->
      app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t)) ->
      app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t)) ->
      app#(listify(),x) -> app#(cons(),x)
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t)) ->
      app#(listify(),x) -> app#(app(cons(),x),nil())
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t)) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(app(app(fold(),f_3),g_2),x),t)
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t)) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t)) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t)) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t)) ->
      app#(sum(),l) -> app#(fold(),add())
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t)) ->
      app#(sum(),l) -> app#(app(fold(),add()),id())
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t)) ->
      app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t)) ->
      app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z) ->
      app#(app(apply(),f_1),x) -> app#(f_1,x)
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z) ->
      app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z) ->
      app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z) ->
      app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z) ->
      app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z) ->
      app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z) ->
      app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z) ->
      app#(listify(),x) -> app#(cons(),x)
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z) ->
      app#(listify(),x) -> app#(app(cons(),x),nil())
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(app(app(fold(),f_3),g_2),x),t)
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z) ->
      app#(sum(),l) -> app#(fold(),add())
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z) ->
      app#(sum(),l) -> app#(app(fold(),add()),id())
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z) ->
      app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z) ->
      app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z)) ->
      app#(app(apply(),f_1),x) -> app#(f_1,x)
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z)) ->
      app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z)) ->
      app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z)) ->
      app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z)) ->
      app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z)) ->
      app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z)) ->
      app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z)) ->
      app#(listify(),x) -> app#(cons(),x)
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z)) ->
      app#(listify(),x) -> app#(app(cons(),x),nil())
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z)) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(app(app(fold(),f_3),g_2),x),t)
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z)) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z)) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z)) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z)) ->
      app#(sum(),l) -> app#(fold(),add())
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z)) ->
      app#(sum(),l) -> app#(app(fold(),add()),id())
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z)) ->
      app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z)) ->
      app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
      app#(app(apply(),f_1),x) -> app#(f_1,x) ->
      app#(app(apply(),f_1),x) -> app#(f_1,x)
      app#(app(apply(),f_1),x) -> app#(f_1,x) ->
      app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
      app#(app(apply(),f_1),x) -> app#(f_1,x) ->
      app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
      app#(app(apply(),f_1),x) -> app#(f_1,x) ->
      app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
      app#(app(apply(),f_1),x) -> app#(f_1,x) ->
      app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
      app#(app(apply(),f_1),x) -> app#(f_1,x) ->
      app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
      app#(app(apply(),f_1),x) -> app#(f_1,x) ->
      app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
      app#(app(apply(),f_1),x) -> app#(f_1,x) ->
      app#(listify(),x) -> app#(cons(),x)
      app#(app(apply(),f_1),x) -> app#(f_1,x) ->
      app#(listify(),x) -> app#(app(cons(),x),nil())
      app#(app(apply(),f_1),x) -> app#(f_1,x) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(app(app(fold(),f_3),g_2),x),t)
      app#(app(apply(),f_1),x) -> app#(f_1,x) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
      app#(app(apply(),f_1),x) -> app#(f_1,x) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
      app#(app(apply(),f_1),x) -> app#(f_1,x) ->
      app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
      app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
      app#(app(apply(),f_1),x) -> app#(f_1,x) ->
      app#(sum(),l) -> app#(fold(),add())
      app#(app(apply(),f_1),x) -> app#(f_1,x) ->
      app#(sum(),l) -> app#(app(fold(),add()),id())
      app#(app(apply(),f_1),x) -> app#(f_1,x) ->
      app#(sum(),l) -> app#(app(app(fold(),add()),id()),0())
      app#(app(apply(),f_1),x) -> app#(f_1,x) ->
      app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
     SCC Processor:
      #sccs: 1
      #rules: 12
      #arcs: 178/289
      DPs:
       app#(sum(),l) -> app#(app(app(app(fold(),add()),id()),0()),l)
       app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
       app#(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
       app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(f_3,app(g_2,z))
       app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app#(g_2,z)
       app#(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
       app#(app(app(app(fold(),f_3),g_2),x),t)
       app#(app(app(compose(),g_1),f_1),x) -> app#(g_1,app(f_1,x))
       app#(app(app(compose(),g_1),f_1),x) -> app#(f_1,x)
       app#(app(app(swap(),f_2),y),x) -> app#(app(f_2,x),y)
       app#(app(app(swap(),f_2),y),x) -> app#(f_2,x)
       app#(app(app(uncurry(),f_2),x),y) -> app#(app(f_2,x),y)
       app#(app(app(uncurry(),f_2),x),y) -> app#(f_2,x)
       app#(app(apply(),f_1),x) -> app#(f_1,x)
      TRS:
       app(app(apply(),f_1),x) -> app(f_1,x)
       app(id(),x) -> x
       app(app(app(uncurry(),f_2),x),y) -> app(app(f_2,x),y)
       app(app(app(swap(),f_2),y),x) -> app(app(f_2,x),y)
       app(app(app(compose(),g_1),f_1),x) -> app(g_1,app(f_1,x))
       app(app(const(),x),y) -> x
       app(listify(),x) -> app(app(cons(),x),nil())
       app(app(app(app(fold(),f_3),g_2),x),nil()) -> x
       app(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) ->
       app(app(f_3,app(g_2,z)),app(app(app(app(fold(),f_3),g_2),x),t))
       app(sum(),l) -> app(app(app(app(fold(),add()),id()),0()),l)
       app(app(uncurry(),app(app(fold(),cons()),id())),nil()) -> id()
       append() -> app(app(compose(),app(app(swap(),fold()),cons())),id())
       reverse() -> app(app(uncurry(),app(app(fold(),app(swap(),append())),listify())),nil())
       length() -> app(app(uncurry(),app(app(fold(),add()),app(cons(),1()))),0())
      Open