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(y,z()))) -> gcd(cons(-(x,y),cons(y,z())))
   e1: gcd(cons(x,cons(y,z()))) ->= gcd(cons(max(x,y),cons(min(x,y),z())))	[relative]
Number of Rules: 12
Direct Mat3b ... failed.