YES
TRS:
 {s1(s1(s0(s0(x)))) -> s0(s0(s0(s1(s1(s1(x))))))}
 DP:
  Strict:
   {s1#(s1(s0(s0(x)))) -> s1#(x),
    s1#(s1(s0(s0(x)))) -> s1#(s1(x)),
    s1#(s1(s0(s0(x)))) -> s1#(s1(s1(x)))}
  Weak:
  {s1(s1(s0(s0(x)))) -> s0(s0(s0(s1(s1(s1(x))))))}
  EDG:
   {(s1#(s1(s0(s0(x)))) -> s1#(x), s1#(s1(s0(s0(x)))) -> s1#(s1(s1(x))))
    (s1#(s1(s0(s0(x)))) -> s1#(x), s1#(s1(s0(s0(x)))) -> s1#(s1(x)))
    (s1#(s1(s0(s0(x)))) -> s1#(x), s1#(s1(s0(s0(x)))) -> s1#(x))
    (s1#(s1(s0(s0(x)))) -> s1#(s1(x)), s1#(s1(s0(s0(x)))) -> s1#(x))
    (s1#(s1(s0(s0(x)))) -> s1#(s1(x)), s1#(s1(s0(s0(x)))) -> s1#(s1(x)))
    (s1#(s1(s0(s0(x)))) -> s1#(s1(x)), s1#(s1(s0(s0(x)))) -> s1#(s1(s1(x))))
    (s1#(s1(s0(s0(x)))) -> s1#(s1(s1(x))), s1#(s1(s0(s0(x)))) -> s1#(x))
    (s1#(s1(s0(s0(x)))) -> s1#(s1(s1(x))), s1#(s1(s0(s0(x)))) -> s1#(s1(x)))
    (s1#(s1(s0(s0(x)))) -> s1#(s1(s1(x))), s1#(s1(s0(s0(x)))) -> s1#(s1(s1(x))))}
   SCCS:
    Scc:
     {s1#(s1(s0(s0(x)))) -> s1#(x),
      s1#(s1(s0(s0(x)))) -> s1#(s1(x)),
      s1#(s1(s0(s0(x)))) -> s1#(s1(s1(x)))}
    SCC:
     Strict:
      {s1#(s1(s0(s0(x)))) -> s1#(x),
       s1#(s1(s0(s0(x)))) -> s1#(s1(x)),
       s1#(s1(s0(s0(x)))) -> s1#(s1(s1(x)))}
     Weak:
     {s1(s1(s0(s0(x)))) -> s0(s0(s0(s1(s1(s1(x))))))}
     BOUND:
      Bound: match(-raise)-bounded by 3
      Automaton:
       {    a_0() -> 2*
        s1#_3(55) -> 56*
        s1#_2(44) -> 45*
        s1#_2(33) -> 34*
        s1#_1(22) -> 23*
        s1#_1(11) -> 12*
         s1#_0(4) -> 10*
         s1#_0(3) -> 9*
         s1#_0(2) -> 8*
         s1_3(61) -> 62*
         s1_3(59) -> 60*
         s1_3(57) -> 58*
         s1_2(50) -> 51*
         s1_2(48) -> 49*
         s1_2(46) -> 47*
         s1_2(39) -> 40*
         s1_2(37) -> 38*
         s1_2(35) -> 36*
         s1_1(28) -> 29*
         s1_1(26) -> 27*
         s1_1(24) -> 25*
         s1_1(17) -> 18*
         s1_1(15) -> 16*
         s1_1(13) -> 14*
          s1_0(4) -> 5*
          s1_0(3) -> 4*
          s1_0(2) -> 3*
         s0_3(64) -> 65*
         s0_3(63) -> 64*
         s0_3(62) -> 63*
         s0_2(53) -> 54*
         s0_2(52) -> 53*
         s0_2(51) -> 52*
         s0_2(42) -> 43*
         s0_2(41) -> 42*
         s0_2(40) -> 41*
         s0_1(31) -> 32*
         s0_1(30) -> 31*
         s0_1(29) -> 30*
         s0_1(20) -> 21*
         s0_1(19) -> 20*
         s0_1(18) -> 19*
          s0_0(7) -> 1*
          s0_0(6) -> 7*
          s0_0(5) -> 6*
               65 -> 40*
               60 -> 61 | 55
               58 -> 59 | 55
               56 -> 34*
               54 -> 36*
               52 -> 57 | 55
               49 -> 50 | 44
               47 -> 48 | 44
               45 -> 34*
               43 -> 27*
               38 -> 39 | 33
               36 -> 37 | 33
               34 -> 23*
               32 -> 16*
               30 -> 46 | 44
               27 -> 28 | 22
               25 -> 26 | 22
               23 -> 12*
               21 -> 5*
               20 -> 24 | 22
               18 -> 35 | 33
               16 -> 17 | 11
               14 -> 15 | 11
               12 -> 10*
               10 -> 8*
                9 -> 8*
                8 -> 9*
                6 -> 13 | 11
                1 -> 4 | 3}
      Strict:
       {}
      Qed