4.81/1.65	YES
4.81/1.66	
4.81/1.66	Problem:
4.81/1.66	 1(2(1(1(0(0(1(0(2(1(1(0(2(x1))))))))))))) -> 1(2(2(1(0(0(2(0(1(2(2(0(1(0(0(2(2(x1)))))))))))))))))
4.81/1.66	 2(0(1(2(1(2(1(2(1(0(0(1(0(x1))))))))))))) -> 2(2(0(0(2(1(1(1(0(0(0(1(1(1(2(2(0(x1)))))))))))))))))
4.81/1.66	 2(1(0(0(2(1(1(1(0(1(2(2(0(x1))))))))))))) -> 0(0(2(1(0(0(1(1(2(2(2(2(2(1(2(1(0(x1)))))))))))))))))
4.81/1.66	 2(2(0(0(1(0(2(1(1(1(0(0(1(x1))))))))))))) -> 2(2(1(1(2(0(0(1(2(2(0(2(0(0(2(2(2(x1)))))))))))))))))
4.81/1.66	 2(2(1(0(1(0(1(1(0(0(0(2(0(x1))))))))))))) -> 0(2(2(1(0(0(1(0(0(1(1(1(1(0(0(2(0(x1)))))))))))))))))
4.81/1.66	 2(2(1(1(0(2(0(0(0(2(2(0(0(x1))))))))))))) -> 0(0(1(2(0(0(0(2(2(0(1(2(2(2(2(0(0(x1)))))))))))))))))
4.81/1.66	 2(2(2(1(0(2(0(0(1(0(1(0(2(x1))))))))))))) -> 0(2(2(0(0(2(2(2(1(2(0(0(2(2(0(2(2(x1)))))))))))))))))
4.81/1.66	
4.81/1.66	Proof:
4.81/1.66	 Bounds Processor:
4.81/1.66	  bound: 0
4.81/1.66	  enrichment: match
4.81/1.66	  automaton:
4.81/1.66	   final states: {98,82,67,52,36,19,1}
4.81/1.66	   transitions:
4.81/1.66	    f30() -> 2*
4.81/1.66	    10(70) -> 71*
4.81/1.66	    10(45) -> 46*
4.81/1.66	    10(30) -> 31*
4.81/1.66	    10(20) -> 37*
4.81/1.66	    10(15) -> 16*
4.81/1.66	    10(10) -> 11*
4.81/1.66	    10(87) -> 88*
4.81/1.66	    10(72) -> 73*
4.81/1.66	    10(22) -> 23*
4.81/1.66	    10(69) -> 70*
4.81/1.66	    10(64) -> 65*
4.81/1.66	    10(59) -> 60*
4.81/1.66	    10(44) -> 45*
4.81/1.66	    10(29) -> 30*
4.81/1.66	    10(24) -> 25*
4.81/1.66	    10(71) -> 72*
4.81/1.66	    10(6) -> 7*
4.81/1.66	    10(103) -> 104*
4.81/1.66	    10(78) -> 79*
4.81/1.66	    10(63) -> 64*
4.81/1.66	    10(48) -> 49*
4.81/1.66	    10(38) -> 39*
4.81/1.66	    10(28) -> 29*
4.81/1.66	    10(23) -> 24*
4.81/1.66	    10(18) -> 1*
4.81/1.66	    10(95) -> 96*
4.81/1.66	    10(75) -> 76*
4.81/1.66	    20(65) -> 66*
4.81/1.66	    20(55) -> 56*
4.81/1.66	    20(40) -> 41*
4.81/1.66	    20(35) -> 19*
4.81/1.66	    20(20) -> 21*
4.81/1.66	    20(5) -> 99*
4.81/1.66	    20(102) -> 103*
4.81/1.66	    20(62) -> 63*
4.81/1.66	    20(57) -> 58*
4.81/1.66	    20(42) -> 43*
4.81/1.66	    20(37) -> 38*
4.81/1.66	    20(17) -> 18*
4.81/1.66	    20(12) -> 13*
4.81/1.66	    20(2) -> 3*
4.81/1.66	    20(109) -> 110*
4.81/1.66	    20(104) -> 105*
4.81/1.66	    20(99) -> 100*
4.81/1.66	    20(94) -> 95*
4.81/1.66	    20(89) -> 90*
4.81/1.66	    20(84) -> 85*
4.81/1.66	    20(79) -> 80*
4.81/1.66	    20(49) -> 50*
4.81/1.66	    20(39) -> 40*
4.81/1.66	    20(34) -> 35*
4.81/1.66	    20(9) -> 10*
4.81/1.66	    20(4) -> 53*
4.81/1.66	    20(106) -> 107*
4.81/1.66	    20(86) -> 87*
4.81/1.66	    20(66) -> 52*
4.81/1.66	    20(41) -> 42*
4.81/1.66	    20(31) -> 32*
4.81/1.66	    20(21) -> 22*
4.81/1.66	    20(16) -> 17*
4.81/1.66	    20(83) -> 84*
4.81/1.66	    20(58) -> 59*
4.81/1.66	    20(43) -> 44*
4.81/1.66	    20(8) -> 9*
4.81/1.66	    20(3) -> 4*
4.81/1.66	    20(110) -> 111*
4.81/1.66	    20(105) -> 106*
4.81/1.66	    20(90) -> 91*
4.81/1.66	    20(85) -> 86*
4.81/1.66	    20(80) -> 81*
4.81/1.66	    00(60) -> 61*
4.81/1.66	    00(50) -> 51*
4.81/1.66	    00(25) -> 26*
4.81/1.66	    00(20) -> 83*
4.81/1.66	    00(5) -> 6*
4.81/1.66	    00(107) -> 108*
4.81/1.66	    00(97) -> 82*
4.81/1.66	    00(92) -> 93*
4.81/1.66	    00(77) -> 78*
4.81/1.66	    00(47) -> 48*
4.81/1.66	    00(32) -> 33*
4.81/1.66	    00(27) -> 28*
4.81/1.66	    00(7) -> 8*
4.81/1.66	    00(2) -> 20*
4.81/1.66	    00(74) -> 75*
4.81/1.66	    00(54) -> 55*
4.81/1.66	    00(14) -> 15*
4.81/1.66	    00(4) -> 5*
4.81/1.66	    00(111) -> 98*
4.81/1.66	    00(101) -> 102*
4.81/1.66	    00(96) -> 97*
4.81/1.66	    00(91) -> 92*
4.81/1.66	    00(81) -> 67*
4.81/1.66	    00(76) -> 77*
4.81/1.66	    00(61) -> 62*
4.81/1.66	    00(56) -> 57*
4.81/1.66	    00(51) -> 36*
4.81/1.66	    00(46) -> 47*
4.81/1.66	    00(26) -> 27*
4.81/1.66	    00(21) -> 68*
4.81/1.66	    00(11) -> 12*
4.81/1.66	    00(108) -> 109*
4.81/1.66	    00(93) -> 94*
4.81/1.66	    00(88) -> 89*
4.81/1.66	    00(73) -> 74*
4.81/1.66	    00(68) -> 69*
4.81/1.66	    00(53) -> 54*
4.81/1.66	    00(33) -> 34*
4.81/1.66	    00(13) -> 14*
4.81/1.66	    00(100) -> 101*
4.81/1.66	    19 -> 3,21
4.81/1.66	    36 -> 3,38
4.81/1.66	    52 -> 3,4,22,85
4.81/1.66	    67 -> 3,4
4.81/1.66	    82 -> 3,4
4.81/1.66	    98 -> 3,4,53
4.81/1.66	  problem:
4.81/1.66	   
4.81/1.66	  Qed
4.81/1.66	EOF