(STRATEGY
    INNERMOST)

(VAR
    x1 x10 x2 x3 x4 x5 x6 x7 x8 x9)
(DATATYPES
    A = µX.< s(X), 0 >)
(SIGNATURES
    f :: [A x A x A x A x A x A x A x A x A x A] -> A)
(RULES
    f(s(x1)
     ,x2
     ,x3
     ,x4
     ,x5
     ,x6
     ,x7
     ,x8
     ,x9
     ,x10) -> f(x1
               ,x2
               ,x3
               ,x4
               ,x5
               ,x6
               ,x7
               ,x8
               ,x9
               ,x10)
    f(0()
     ,s(x2)
     ,x3
     ,x4
     ,x5
     ,x6
     ,x7
     ,x8
     ,x9
     ,x10) -> f(x2
               ,x2
               ,x3
               ,x4
               ,x5
               ,x6
               ,x7
               ,x8
               ,x9
               ,x10)
    f(0()
     ,0()
     ,s(x3)
     ,x4
     ,x5
     ,x6
     ,x7
     ,x8
     ,x9
     ,x10) -> f(x3
               ,x3
               ,x3
               ,x4
               ,x5
               ,x6
               ,x7
               ,x8
               ,x9
               ,x10)
    f(0()
     ,0()
     ,0()
     ,s(x4)
     ,x5
     ,x6
     ,x7
     ,x8
     ,x9
     ,x10) -> f(x4
               ,x4
               ,x4
               ,x4
               ,x5
               ,x6
               ,x7
               ,x8
               ,x9
               ,x10)
    f(0()
     ,0()
     ,0()
     ,0()
     ,s(x5)
     ,x6
     ,x7
     ,x8
     ,x9
     ,x10) -> f(x5
               ,x5
               ,x5
               ,x5
               ,x5
               ,x6
               ,x7
               ,x8
               ,x9
               ,x10)
    f(0()
     ,0()
     ,0()
     ,0()
     ,0()
     ,s(x6)
     ,x7
     ,x8
     ,x9
     ,x10) -> f(x6
               ,x6
               ,x6
               ,x6
               ,x6
               ,x6
               ,x7
               ,x8
               ,x9
               ,x10)
    f(0()
     ,0()
     ,0()
     ,0()
     ,0()
     ,0()
     ,s(x7)
     ,x8
     ,x9
     ,x10) -> f(x7
               ,x7
               ,x7
               ,x7
               ,x7
               ,x7
               ,x7
               ,x8
               ,x9
               ,x10)
    f(0()
     ,0()
     ,0()
     ,0()
     ,0()
     ,0()
     ,0()
     ,s(x8)
     ,x9
     ,x10) -> f(x8
               ,x8
               ,x8
               ,x8
               ,x8
               ,x8
               ,x8
               ,x8
               ,x9
               ,x10)
    f(0()
     ,0()
     ,0()
     ,0()
     ,0()
     ,0()
     ,0()
     ,0()
     ,s(x9)
     ,x10) -> f(x9
               ,x9
               ,x9
               ,x9
               ,x9
               ,x9
               ,x9
               ,x9
               ,x9
               ,x10)
    f(0()
     ,0()
     ,0()
     ,0()
     ,0()
     ,0()
     ,0()
     ,0()
     ,0()
     ,s(x10)) -> f(x10
                  ,x10
                  ,x10
                  ,x10
                  ,x10
                  ,x10
                  ,x10
                  ,x10
                  ,x10
                  ,x10)
    f(0()
     ,0()
     ,0()
     ,0()
     ,0()
     ,0()
     ,0()
     ,0()
     ,0()
     ,0()) -> 0())