YES(?,O(n^1))
0.18/0.59	YES(?,O(n^1))
1.63/0.60	
1.63/0.60	Problem:
1.63/0.60	 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(x1)))))))))))))))))))
1.63/0.60	 0(1(2(3(4(5(1(x1))))))) ->
1.63/0.60	 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)))))))))))))))))))))))))
1.63/0.60	
1.63/0.60	Proof:
1.63/0.60	 Bounds Processor:
1.63/0.60	  bound: 3
1.63/0.60	  enrichment: match
1.63/0.60	  automaton:
1.63/0.60	   final states: {7}
1.63/0.60	   transitions:
1.63/0.60	    13(172) -> 173*
1.63/0.60	    13(204) -> 205*
1.63/0.60	    13(199) -> 200*
1.63/0.60	    13(174) -> 175*
1.63/0.60	    13(196) -> 197*
1.63/0.60	    13(166) -> 167*
1.63/0.60	    13(198) -> 199*
1.63/0.60	    13(190) -> 191*
1.63/0.60	    13(180) -> 181*
1.63/0.60	    13(175) -> 176*
1.63/0.60	    11(40) -> 41*
1.63/0.60	    11(32) -> 33*
1.63/0.60	    11(46) -> 47*
1.63/0.60	    11(41) -> 42*
1.63/0.60	    11(38) -> 39*
1.63/0.60	    23(189) -> 190*
1.63/0.60	    23(179) -> 180*
1.63/0.60	    23(171) -> 172*
1.63/0.60	    23(203) -> 204*
1.63/0.60	    23(195) -> 196*
1.63/0.60	    23(165) -> 166*
1.63/0.60	    21(45) -> 46*
1.63/0.60	    21(37) -> 38*
1.63/0.60	    21(31) -> 32*
1.63/0.60	    33(202) -> 203*
1.63/0.60	    33(194) -> 195*
1.63/0.60	    33(164) -> 165*
1.63/0.60	    33(188) -> 189*
1.63/0.60	    33(178) -> 179*
1.63/0.60	    33(170) -> 171*
1.63/0.60	    31(30) -> 31*
1.63/0.60	    31(44) -> 45*
1.63/0.60	    31(36) -> 37*
1.63/0.60	    43(187) -> 188*
1.63/0.60	    43(177) -> 178*
1.63/0.60	    43(169) -> 170*
1.63/0.60	    43(201) -> 202*
1.63/0.60	    43(193) -> 194*
1.63/0.60	    43(163) -> 164*
1.63/0.60	    41(35) -> 36*
1.63/0.60	    41(29) -> 30*
1.63/0.60	    41(43) -> 44*
1.63/0.60	    53(212) -> 213*
1.63/0.60	    53(192) -> 193*
1.63/0.60	    53(182) -> 183*
1.63/0.60	    53(162) -> 163*
1.63/0.60	    53(184) -> 185*
1.63/0.60	    53(186) -> 187*
1.63/0.60	    53(176) -> 177*
1.63/0.60	    53(168) -> 169*
1.63/0.60	    53(210) -> 211*
1.63/0.60	    53(200) -> 201*
1.63/0.60	    51(42) -> 43*
1.63/0.60	    51(54) -> 55*
1.63/0.60	    51(34) -> 35*
1.63/0.60	    51(56) -> 57*
1.63/0.60	    51(48) -> 49*
1.63/0.60	    51(28) -> 29*
1.63/0.60	    03(197) -> 198*
1.63/0.60	    03(167) -> 168*
1.63/0.60	    03(191) -> 192*
1.63/0.60	    03(173) -> 174*
1.63/0.60	    01(39) -> 40*
1.63/0.60	    01(33) -> 34*
1.63/0.60	    12(80) -> 81*
1.63/0.60	    12(75) -> 76*
1.63/0.60	    12(92) -> 93*
1.63/0.60	    12(72) -> 73*
1.63/0.60	    12(74) -> 75*
1.63/0.60	    12(106) -> 107*
1.63/0.60	    12(101) -> 102*
1.63/0.60	    12(66) -> 67*
1.63/0.60	    12(98) -> 99*
1.63/0.60	    12(100) -> 101*
1.63/0.60	    00(7) -> 7*
1.63/0.60	    22(65) -> 66*
1.63/0.60	    22(97) -> 98*
1.63/0.60	    22(79) -> 80*
1.63/0.60	    22(91) -> 92*
1.63/0.60	    22(71) -> 72*
1.63/0.60	    22(105) -> 106*
1.63/0.60	    10(7) -> 7*
1.63/0.60	    32(70) -> 71*
1.63/0.60	    32(104) -> 105*
1.63/0.60	    32(64) -> 65*
1.63/0.60	    32(96) -> 97*
1.63/0.60	    32(78) -> 79*
1.63/0.60	    32(90) -> 91*
1.63/0.60	    20(7) -> 7*
1.63/0.60	    42(77) -> 78*
1.63/0.60	    42(89) -> 90*
1.63/0.60	    42(69) -> 70*
1.63/0.60	    42(103) -> 104*
1.63/0.60	    42(63) -> 64*
1.63/0.60	    42(95) -> 96*
1.63/0.60	    30(7) -> 7*
1.63/0.60	    52(112) -> 113*
1.63/0.60	    52(102) -> 103*
1.63/0.60	    52(62) -> 63*
1.63/0.60	    52(94) -> 95*
1.63/0.60	    52(156) -> 157*
1.63/0.60	    52(86) -> 87*
1.63/0.60	    52(76) -> 77*
1.63/0.60	    52(158) -> 159*
1.63/0.60	    52(88) -> 89*
1.63/0.60	    52(68) -> 69*
1.63/0.60	    40(7) -> 7*
1.63/0.60	    02(67) -> 68*
1.63/0.60	    02(99) -> 100*
1.63/0.60	    02(93) -> 94*
1.63/0.60	    02(73) -> 74*
1.63/0.60	    50(7) -> 7*
1.63/0.60	    7 -> 28*
1.63/0.60	    40 -> 112,48
1.63/0.60	    41 -> 54*
1.63/0.60	    46 -> 62,56
1.63/0.60	    47 -> 34,7
1.63/0.60	    49 -> 35*
1.63/0.60	    55 -> 29*
1.63/0.60	    57 -> 29*
1.63/0.60	    74 -> 86*
1.63/0.60	    80 -> 162,88
1.63/0.60	    81 -> 40,48,34
1.63/0.60	    87 -> 69*
1.63/0.60	    100 -> 156*
1.63/0.60	    106 -> 182,158
1.63/0.60	    107 -> 40,48
1.63/0.60	    113 -> 63*
1.63/0.60	    157 -> 69*
1.63/0.60	    159 -> 63*
1.63/0.60	    174 -> 184*
1.63/0.60	    180 -> 186*
1.63/0.60	    181 -> 68*
1.63/0.60	    183 -> 163*
1.63/0.60	    185 -> 169*
1.63/0.60	    198 -> 210*
1.63/0.60	    204 -> 212*
1.63/0.60	    205 -> 74*
1.63/0.60	    211 -> 193*
1.63/0.60	    213 -> 187*
1.63/0.60	  problem:
1.63/0.60	   
1.63/0.60	  Qed
1.63/0.60	EOF