1.80/0.79	YES
1.80/0.80	
1.80/0.80	Problem:
1.80/0.80	 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(x1))))))))))
1.80/0.80	 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(x1)))))))))))))
1.80/0.80	
1.80/0.80	Proof:
1.80/0.80	 Bounds Processor:
1.80/0.80	  bound: 1
1.80/0.80	  enrichment: match
1.80/0.80	  automaton:
1.80/0.80	   final states: {12,1}
1.80/0.80	   transitions:
1.80/0.80	    11(65) -> 66*
1.80/0.80	    11(60) -> 61*
1.80/0.80	    11(62) -> 63*
1.80/0.80	    11(57) -> 58*
1.80/0.80	    11(37) -> 38*
1.80/0.80	    11(39) -> 40*
1.80/0.80	    11(34) -> 35*
1.80/0.80	    11(36) -> 37*
1.80/0.80	    11(31) -> 32*
1.80/0.80	    11(63) -> 64*
1.80/0.80	    21(30) -> 31*
1.80/0.80	    21(67) -> 68*
1.80/0.80	    21(64) -> 65*
1.80/0.80	    21(59) -> 60*
1.80/0.80	    21(71) -> 72*
1.80/0.80	    21(56) -> 57*
1.80/0.80	    21(41) -> 42*
1.80/0.80	    21(38) -> 39*
1.80/0.80	    21(33) -> 34*
1.80/0.80	    01(35) -> 36*
1.80/0.80	    01(32) -> 33*
1.80/0.80	    01(61) -> 62*
1.80/0.80	    01(58) -> 59*
1.80/0.80	    f30() -> 2*
1.80/0.80	    10(15) -> 16*
1.80/0.80	    10(9) -> 10*
1.80/0.80	    10(16) -> 17*
1.80/0.80	    10(11) -> 1*
1.80/0.80	    10(6) -> 7*
1.80/0.80	    10(18) -> 12*
1.80/0.80	    10(13) -> 14*
1.80/0.80	    10(8) -> 9*
1.80/0.80	    10(3) -> 4*
1.80/0.80	    20(10) -> 11*
1.80/0.80	    20(5) -> 6*
1.80/0.80	    20(17) -> 18*
1.80/0.80	    20(2) -> 3*
1.80/0.80	    20(8) -> 13*
1.80/0.80	    00(7) -> 8*
1.80/0.80	    00(14) -> 15*
1.80/0.80	    00(4) -> 5*
1.80/0.80	    1 -> 5*
1.80/0.80	    11 -> 30*
1.80/0.80	    12 -> 5*
1.80/0.80	    18 -> 71*
1.80/0.80	    36 -> 41*
1.80/0.80	    39 -> 56*
1.80/0.80	    40 -> 8*
1.80/0.80	    42 -> 34*
1.80/0.80	    62 -> 67*
1.80/0.80	    66 -> 15*
1.80/0.80	    68 -> 60*
1.80/0.80	    72 -> 31*
1.80/0.80	  problem:
1.80/0.80	   
1.80/0.80	  Qed
1.80/0.80	EOF