Input TRS:
    1: min(x,0()) -> 0()
    2: min(0(),y) -> 0()
    3: min(s(x),s(y)) -> s(min(x,y))
    4: max(x,0()) -> x
    5: max(0(),y) -> y
    6: max(s(x),s(y)) -> s(max(x,y))
    7: -(x,0()) -> x
    8: -(s(x),s(y)) -> -(x,y)
    9: gcd(nil()) -> 0()
    10: gcd(cons(x,nil())) -> x
    11: gcd(cons(0(),y)) -> gcd(y)
    12: gcd(cons(x,cons(0(),y))) -> gcd(cons(x,y))
    13: gcd(cons(s(x),cons(s(y),z()))) -> gcd(cons(-(max(x,y),min(x,y)),cons(s(min(x,y)),z())))
   e1: cons(x,cons(y,z())) ->= cons(y,cons(x,z()))	[relative]
Number of Rules: 13
Direct Mat3b ... failed.