YES

Problem:
 0(1(2(3(4(5(1(x1))))))) -> 0(2(3(4(5(1(1(0(1(2(3(4(5(0(1(2(3(4(5(x1)))))))))))))))))))
 0(1(2(3(4(5(1(x1))))))) ->
 1(2(3(4(5(1(1(0(1(2(3(4(5(0(1(2(3(4(5(0(1(2(3(4(5(x1)))))))))))))))))))))))))
 0(1(2(3(4(5(1(x1))))))) ->
 1(2(3(4(5(1(1(0(1(2(3(4(5(0(1(2(3(4(5(0(1(2(3(4(5(0(1(2(3(4(5(x1)))))))))))))))))))))))))))))))

Proof:
 Bounds Processor:
  bound: 3
  enrichment: match
  automaton:
   final states: {7}
   transitions:
    13(394) -> 395*
    13(496) -> 497*
    13(451) -> 452*
    13(386) -> 387*
    13(356) -> 357*
    13(351) -> 352*
    13(331) -> 332*
    13(498) -> 499*
    13(448) -> 449*
    13(418) -> 419*
    13(413) -> 414*
    13(348) -> 349*
    13(328) -> 329*
    13(450) -> 451*
    13(410) -> 411*
    13(395) -> 396*
    13(350) -> 351*
    13(330) -> 331*
    13(442) -> 443*
    13(412) -> 413*
    13(392) -> 393*
    13(322) -> 323*
    13(504) -> 505*
    13(499) -> 500*
    11(60) -> 61*
    11(55) -> 56*
    11(40) -> 41*
    11(52) -> 53*
    11(32) -> 33*
    11(54) -> 55*
    11(41) -> 42*
    11(38) -> 39*
    23(409) -> 410*
    23(399) -> 400*
    23(441) -> 442*
    23(391) -> 392*
    23(321) -> 322*
    23(503) -> 504*
    23(495) -> 496*
    23(455) -> 456*
    23(385) -> 386*
    23(355) -> 356*
    23(335) -> 336*
    23(447) -> 448*
    23(417) -> 418*
    23(347) -> 348*
    23(327) -> 328*
    21(45) -> 46*
    21(37) -> 38*
    21(59) -> 60*
    21(51) -> 52*
    21(31) -> 32*
    33(494) -> 495*
    33(454) -> 455*
    33(384) -> 385*
    33(354) -> 355*
    33(334) -> 335*
    33(446) -> 447*
    33(416) -> 417*
    33(346) -> 347*
    33(326) -> 327*
    33(408) -> 409*
    33(398) -> 399*
    33(440) -> 441*
    33(390) -> 391*
    33(320) -> 321*
    33(502) -> 503*
    31(50) -> 51*
    31(30) -> 31*
    31(44) -> 45*
    31(36) -> 37*
    31(58) -> 59*
    43(439) -> 440*
    43(389) -> 390*
    43(319) -> 320*
    43(501) -> 502*
    43(493) -> 494*
    43(453) -> 454*
    43(383) -> 384*
    43(353) -> 354*
    43(333) -> 334*
    43(445) -> 446*
    43(415) -> 416*
    43(345) -> 346*
    43(325) -> 326*
    43(407) -> 408*
    43(397) -> 398*
    41(35) -> 36*
    41(57) -> 58*
    41(49) -> 50*
    41(29) -> 30*
    41(43) -> 44*
    53(444) -> 445*
    53(414) -> 415*
    53(344) -> 345*
    53(324) -> 325*
    53(436) -> 437*
    53(406) -> 407*
    53(396) -> 397*
    53(528) -> 529*
    53(438) -> 439*
    53(388) -> 389*
    53(358) -> 359*
    53(318) -> 319*
    53(500) -> 501*
    53(340) -> 341*
    53(492) -> 493*
    53(452) -> 453*
    53(382) -> 383*
    53(352) -> 353*
    53(544) -> 545*
    53(342) -> 343*
    53(332) -> 333*
    51(42) -> 43*
    51(74) -> 75*
    51(34) -> 35*
    51(66) -> 67*
    51(56) -> 57*
    51(68) -> 69*
    51(48) -> 49*
    51(28) -> 29*
    03(449) -> 450*
    03(349) -> 350*
    03(329) -> 330*
    03(456) -> 457*
    03(411) -> 412*
    03(336) -> 337*
    03(443) -> 444*
    03(393) -> 394*
    03(323) -> 324*
    03(400) -> 401*
    03(497) -> 498*
    03(387) -> 388*
    01(39) -> 40*
    01(46) -> 47*
    01(53) -> 54*
    01(33) -> 34*
    12(80) -> 81*
    12(257) -> 258*
    12(167) -> 168*
    12(254) -> 255*
    12(204) -> 205*
    12(199) -> 200*
    12(164) -> 165*
    12(124) -> 125*
    12(119) -> 120*
    12(89) -> 90*
    12(256) -> 257*
    12(196) -> 197*
    12(166) -> 167*
    12(116) -> 117*
    12(298) -> 299*
    12(293) -> 294*
    12(86) -> 87*
    12(248) -> 249*
    12(198) -> 199*
    12(158) -> 159*
    12(118) -> 119*
    12(290) -> 291*
    12(88) -> 89*
    12(292) -> 293*
    00(7) -> 7*
    22(85) -> 86*
    22(247) -> 248*
    22(157) -> 158*
    22(289) -> 290*
    22(79) -> 80*
    22(261) -> 262*
    22(171) -> 172*
    22(253) -> 254*
    22(203) -> 204*
    22(163) -> 164*
    22(123) -> 124*
    22(93) -> 94*
    22(195) -> 196*
    22(115) -> 116*
    22(297) -> 298*
    10(7) -> 7*
    32(252) -> 253*
    32(202) -> 203*
    32(162) -> 163*
    32(122) -> 123*
    32(92) -> 93*
    32(194) -> 195*
    32(114) -> 115*
    32(296) -> 297*
    32(84) -> 85*
    32(246) -> 247*
    32(156) -> 157*
    32(288) -> 289*
    32(78) -> 79*
    32(260) -> 261*
    32(170) -> 171*
    20(7) -> 7*
    42(287) -> 288*
    42(77) -> 78*
    42(259) -> 260*
    42(169) -> 170*
    42(251) -> 252*
    42(201) -> 202*
    42(161) -> 162*
    42(121) -> 122*
    42(91) -> 92*
    42(193) -> 194*
    42(113) -> 114*
    42(295) -> 296*
    42(83) -> 84*
    42(245) -> 246*
    42(155) -> 156*
    30(7) -> 7*
    52(90) -> 91*
    52(192) -> 193*
    52(314) -> 315*
    52(112) -> 113*
    52(294) -> 295*
    52(82) -> 83*
    52(244) -> 245*
    52(154) -> 155*
    52(316) -> 317*
    52(286) -> 287*
    52(76) -> 77*
    52(258) -> 259*
    52(228) -> 229*
    52(188) -> 189*
    52(168) -> 169*
    52(250) -> 251*
    52(200) -> 201*
    52(160) -> 161*
    52(130) -> 131*
    52(120) -> 121*
    40(7) -> 7*
    02(262) -> 263*
    02(197) -> 198*
    02(172) -> 173*
    02(117) -> 118*
    02(87) -> 88*
    02(249) -> 250*
    02(159) -> 160*
    02(94) -> 95*
    02(291) -> 292*
    02(81) -> 82*
    02(255) -> 256*
    02(165) -> 166*
    50(7) -> 7*
    7 -> 28*
    40 -> 48*
    47 -> 34,7
    54 -> 188,66
    55 -> 68*
    60 -> 76,74
    61 -> 34,7
    67 -> 49*
    69 -> 29*
    75 -> 29*
    88 -> 112*
    95 -> 40,48,34
    118 -> 130*
    124 -> 340,154
    125 -> 54,66,188,40,48,34
    131 -> 113*
    166 -> 192*
    173 -> 54,66,188,40,48
    189 -> 77*
    198 -> 228*
    204 -> 318,244
    205 -> 54,66,188,40,48
    229 -> 113*
    256 -> 286*
    263 -> 54,66,188
    292 -> 314*
    298 -> 342,316
    299 -> 54,66,188
    315 -> 193*
    317 -> 155*
    330 -> 344*
    337 -> 82*
    341 -> 319*
    343 -> 319*
    350 -> 358*
    356 -> 382*
    357 -> 82*
    359 -> 345*
    394 -> 406*
    401 -> 88,112
    412 -> 436*
    418 -> 438*
    419 -> 88,112
    437 -> 407*
    450 -> 492*
    457 -> 118,130
    498 -> 528*
    504 -> 544*
    505 -> 118,130
    529 -> 493*
    545 -> 439*
  problem:
   
  Qed