4.58/1.55	YES
4.66/1.56	
4.66/1.56	Problem:
4.66/1.56	 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)))))))))))))))))))
4.66/1.56	 0(1(2(3(4(5(1(x1))))))) ->
4.66/1.56	 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)))))))))))))))))))))))))
4.66/1.56	 0(1(2(3(4(5(1(x1))))))) ->
4.66/1.56	 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)))))))))))))))))))))))))))))))
4.66/1.56	
4.66/1.56	Proof:
4.66/1.56	 Bounds Processor:
4.66/1.56	  bound: 1
4.66/1.56	  enrichment: match
4.66/1.56	  automaton:
4.66/1.56	   final states: {34,21,1}
4.66/1.56	   transitions:
4.66/1.56	    11(60) -> 61*
4.66/1.56	    11(257) -> 258*
4.66/1.56	    11(252) -> 253*
4.66/1.56	    11(152) -> 153*
4.66/1.56	    11(107) -> 108*
4.66/1.56	    11(57) -> 58*
4.66/1.56	    11(249) -> 250*
4.66/1.56	    11(204) -> 205*
4.66/1.56	    11(149) -> 150*
4.66/1.56	    11(59) -> 60*
4.66/1.56	    11(251) -> 252*
4.66/1.56	    11(201) -> 202*
4.66/1.56	    11(171) -> 172*
4.66/1.56	    11(166) -> 167*
4.66/1.56	    11(151) -> 152*
4.66/1.56	    11(51) -> 52*
4.66/1.56	    11(203) -> 204*
4.66/1.56	    11(163) -> 164*
4.66/1.56	    11(143) -> 144*
4.66/1.56	    11(113) -> 114*
4.66/1.56	    11(108) -> 109*
4.66/1.56	    11(195) -> 196*
4.66/1.56	    11(165) -> 166*
4.66/1.56	    11(105) -> 106*
4.66/1.56	    21(50) -> 51*
4.66/1.56	    21(162) -> 163*
4.66/1.56	    21(142) -> 143*
4.66/1.56	    21(112) -> 113*
4.66/1.56	    21(194) -> 195*
4.66/1.56	    21(104) -> 105*
4.66/1.56	    21(64) -> 65*
4.66/1.56	    21(256) -> 257*
4.66/1.56	    21(156) -> 157*
4.66/1.56	    21(56) -> 57*
4.66/1.56	    21(248) -> 249*
4.66/1.56	    21(208) -> 209*
4.66/1.56	    21(148) -> 149*
4.66/1.56	    21(200) -> 201*
4.66/1.56	    21(170) -> 171*
4.66/1.56	    31(55) -> 56*
4.66/1.56	    31(247) -> 248*
4.66/1.56	    31(207) -> 208*
4.66/1.56	    31(147) -> 148*
4.66/1.56	    31(199) -> 200*
4.66/1.56	    31(169) -> 170*
4.66/1.56	    31(49) -> 50*
4.66/1.56	    31(161) -> 162*
4.66/1.56	    31(141) -> 142*
4.66/1.56	    31(111) -> 112*
4.66/1.56	    31(193) -> 194*
4.66/1.56	    31(103) -> 104*
4.66/1.56	    31(63) -> 64*
4.66/1.56	    31(255) -> 256*
4.66/1.56	    31(155) -> 156*
4.66/1.56	    41(192) -> 193*
4.66/1.56	    41(102) -> 103*
4.66/1.56	    41(62) -> 63*
4.66/1.56	    41(254) -> 255*
4.66/1.56	    41(154) -> 155*
4.66/1.56	    41(54) -> 55*
4.66/1.56	    41(246) -> 247*
4.66/1.56	    41(206) -> 207*
4.66/1.56	    41(146) -> 147*
4.66/1.56	    41(198) -> 199*
4.66/1.56	    41(168) -> 169*
4.66/1.56	    41(48) -> 49*
4.66/1.56	    41(160) -> 161*
4.66/1.56	    41(140) -> 141*
4.66/1.56	    41(110) -> 111*
4.66/1.56	    51(197) -> 198*
4.66/1.56	    51(167) -> 168*
4.66/1.56	    51(259) -> 260*
4.66/1.56	    51(47) -> 48*
4.66/1.56	    51(189) -> 190*
4.66/1.56	    51(159) -> 160*
4.66/1.56	    51(139) -> 140*
4.66/1.56	    51(109) -> 110*
4.66/1.56	    51(191) -> 192*
4.66/1.56	    51(101) -> 102*
4.66/1.56	    51(263) -> 264*
4.66/1.56	    51(61) -> 62*
4.66/1.56	    51(253) -> 254*
4.66/1.56	    51(153) -> 154*
4.66/1.56	    51(53) -> 54*
4.66/1.56	    51(245) -> 246*
4.66/1.56	    51(205) -> 206*
4.66/1.56	    51(145) -> 146*
4.66/1.56	    51(115) -> 116*
4.66/1.56	    01(65) -> 66*
4.66/1.56	    01(202) -> 203*
4.66/1.56	    01(157) -> 158*
4.66/1.56	    01(52) -> 53*
4.66/1.56	    01(209) -> 210*
4.66/1.56	    01(164) -> 165*
4.66/1.56	    01(144) -> 145*
4.66/1.56	    01(196) -> 197*
4.66/1.56	    01(106) -> 107*
4.66/1.56	    01(58) -> 59*
4.66/1.56	    01(250) -> 251*
4.66/1.56	    01(150) -> 151*
4.66/1.56	    f60() -> 2*
4.66/1.56	    00(20) -> 1*
4.66/1.56	    00(7) -> 8*
4.66/1.56	    00(39) -> 40*
4.66/1.56	    00(26) -> 27*
4.66/1.56	    00(13) -> 14*
4.66/1.56	    20(45) -> 46*
4.66/1.56	    20(5) -> 6*
4.66/1.56	    20(37) -> 38*
4.66/1.56	    20(32) -> 33*
4.66/1.56	    20(24) -> 25*
4.66/1.56	    20(19) -> 20*
4.66/1.56	    20(11) -> 12*
4.66/1.56	    30(10) -> 11*
4.66/1.56	    30(44) -> 45*
4.66/1.56	    30(4) -> 5*
4.66/1.56	    30(36) -> 37*
4.66/1.56	    30(31) -> 32*
4.66/1.56	    30(23) -> 24*
4.66/1.56	    30(18) -> 19*
4.66/1.56	    40(35) -> 36*
4.66/1.56	    40(30) -> 31*
4.66/1.56	    40(22) -> 23*
4.66/1.56	    40(17) -> 18*
4.66/1.56	    40(9) -> 10*
4.66/1.56	    40(43) -> 44*
4.66/1.56	    40(3) -> 4*
4.66/1.56	    50(42) -> 43*
4.66/1.56	    50(27) -> 35*
4.66/1.56	    50(2) -> 3*
4.66/1.56	    50(29) -> 30*
4.66/1.56	    50(14) -> 22*
4.66/1.56	    50(16) -> 17*
4.66/1.56	    50(8) -> 9*
4.66/1.56	    10(40) -> 41*
4.66/1.56	    10(25) -> 26*
4.66/1.56	    10(15) -> 16*
4.66/1.56	    10(27) -> 28*
4.66/1.56	    10(12) -> 13*
4.66/1.56	    10(14) -> 15*
4.66/1.56	    10(46) -> 34*
4.66/1.56	    10(41) -> 42*
4.66/1.56	    10(6) -> 7*
4.66/1.56	    10(38) -> 39*
4.66/1.56	    10(33) -> 21*
4.66/1.56	    10(28) -> 29*
4.66/1.56	    1 -> 8*
4.66/1.56	    21 -> 8*
4.66/1.56	    33 -> 47*
4.66/1.56	    34 -> 8*
4.66/1.56	    46 -> 263*
4.66/1.56	    59 -> 101*
4.66/1.56	    66 -> 14*
4.66/1.56	    107 -> 115*
4.66/1.56	    113 -> 139*
4.66/1.56	    114 -> 14*
4.66/1.56	    116 -> 102*
4.66/1.56	    151 -> 159*
4.66/1.56	    158 -> 27*
4.66/1.56	    165 -> 189*
4.66/1.56	    171 -> 191*
4.66/1.56	    172 -> 27*
4.66/1.56	    190 -> 160*
4.66/1.56	    203 -> 245*
4.66/1.56	    210 -> 40*
4.66/1.56	    251 -> 259*
4.66/1.56	    258 -> 40*
4.66/1.56	    260 -> 246*
4.66/1.56	    264 -> 48*
4.66/1.56	  problem:
4.66/1.56	   
4.66/1.56	  Qed
4.66/1.56	EOF