YES(?,O(n^1)) 1127.61/297.06 YES(?,O(n^1)) 1127.61/297.06 1127.61/297.06 We are left with following problem, upon which TcT provides the 1127.61/297.06 certificate YES(?,O(n^1)). 1127.61/297.06 1127.61/297.06 Strict Trs: 1127.61/297.06 { 0(1(0(2(x1)))) -> 3(0(1(2(0(x1))))) 1127.61/297.06 , 0(2(3(4(2(x1))))) -> 3(0(2(2(4(5(x1)))))) 1127.61/297.06 , 0(3(4(0(2(x1))))) -> 0(3(1(0(4(2(x1)))))) 1127.61/297.06 , 0(3(5(0(2(x1))))) -> 2(1(0(5(3(0(x1)))))) 1127.61/297.06 , 1(0(0(2(x1)))) -> 1(0(1(1(2(0(x1)))))) 1127.61/297.06 , 1(0(0(2(x1)))) -> 1(3(3(0(2(0(x1)))))) 1127.61/297.06 , 1(0(0(2(x1)))) -> 2(3(0(0(1(x1))))) 1127.61/297.06 , 1(0(0(2(x1)))) -> 3(0(0(1(1(2(x1)))))) 1127.61/297.06 , 1(0(0(4(2(x1))))) -> 0(4(5(1(0(2(x1)))))) 1127.61/297.06 , 1(0(2(2(x1)))) -> 1(1(1(2(2(0(x1)))))) 1127.61/297.06 , 1(0(2(2(x1)))) -> 2(1(2(3(0(x1))))) 1127.61/297.06 , 1(0(3(5(2(x1))))) -> 4(5(3(1(2(0(x1)))))) 1127.61/297.06 , 1(1(0(2(2(x1))))) -> 1(1(2(0(1(2(x1)))))) 1127.61/297.06 , 1(3(4(0(2(x1))))) -> 1(2(3(0(1(4(x1)))))) 1127.61/297.06 , 1(3(4(2(x1)))) -> 1(1(2(3(4(x1))))) 1127.61/297.06 , 1(3(4(2(x1)))) -> 1(2(3(3(4(5(x1)))))) 1127.61/297.06 , 1(3(4(2(x1)))) -> 1(2(3(4(4(4(x1)))))) 1127.61/297.06 , 1(3(4(2(x1)))) -> 1(2(3(4(4(5(x1)))))) 1127.61/297.06 , 1(3(4(2(x1)))) -> 1(2(3(5(4(5(x1)))))) 1127.61/297.06 , 1(3(4(2(x1)))) -> 1(2(3(5(5(4(x1)))))) 1127.61/297.06 , 1(3(5(0(2(x1))))) -> 1(0(2(5(2(3(x1)))))) 1127.61/297.07 , 1(3(5(2(x1)))) -> 2(3(1(0(5(x1))))) 1127.61/297.07 , 1(3(5(2(x1)))) -> 4(5(1(2(3(x1))))) 1127.61/297.07 , 3(1(0(0(2(x1))))) -> 3(0(1(2(2(0(x1)))))) 1127.61/297.07 , 3(1(0(2(x1)))) -> 3(0(1(2(0(x1))))) 1127.61/297.07 , 3(1(3(5(2(x1))))) -> 3(0(3(5(1(2(x1)))))) 1127.61/297.07 , 3(3(4(0(2(x1))))) -> 3(0(0(4(2(3(x1)))))) 1127.61/297.07 , 3(4(0(0(2(x1))))) -> 3(0(0(4(4(2(x1)))))) 1127.61/297.07 , 3(4(0(2(x1)))) -> 2(0(4(3(3(0(x1)))))) 1127.61/297.07 , 3(4(0(2(x1)))) -> 3(0(0(2(4(x1))))) 1127.61/297.07 , 3(4(0(2(x1)))) -> 3(0(1(2(4(x1))))) 1127.61/297.07 , 3(4(0(2(x1)))) -> 3(0(2(1(1(4(x1)))))) 1127.61/297.07 , 3(4(0(2(x1)))) -> 3(0(5(2(4(x1))))) 1127.61/297.07 , 3(4(0(2(x1)))) -> 3(1(0(2(4(x1))))) 1127.61/297.07 , 3(4(0(2(x1)))) -> 3(3(0(5(2(4(x1)))))) 1127.61/297.07 , 3(4(0(2(x1)))) -> 4(1(2(3(0(x1))))) 1127.61/297.07 , 3(4(0(2(x1)))) -> 4(2(3(3(3(0(x1)))))) 1127.61/297.07 , 3(4(1(0(2(x1))))) -> 3(1(2(3(0(4(x1)))))) 1127.61/297.07 , 3(4(1(5(2(x1))))) -> 2(3(0(1(4(5(x1)))))) 1127.61/297.07 , 3(4(2(0(2(x1))))) -> 3(2(0(4(2(3(x1)))))) 1127.61/297.07 , 3(4(2(0(2(x1))))) -> 4(2(2(3(0(3(x1)))))) 1127.61/297.07 , 3(5(0(0(2(x1))))) -> 0(3(0(2(4(5(x1)))))) 1127.61/297.07 , 3(5(0(2(x1)))) -> 2(5(3(0(0(0(x1)))))) 1127.61/297.07 , 3(5(0(2(x1)))) -> 3(0(0(2(5(4(x1)))))) 1127.61/297.07 , 3(5(0(2(x1)))) -> 3(0(3(2(5(x1))))) 1127.61/297.07 , 3(5(0(2(x1)))) -> 5(5(2(3(0(3(x1)))))) 1127.61/297.07 , 3(5(0(4(2(x1))))) -> 2(0(4(4(5(3(x1)))))) 1127.61/297.07 , 3(5(0(4(2(x1))))) -> 2(5(4(3(0(0(x1)))))) 1127.61/297.07 , 3(5(3(4(2(x1))))) -> 0(5(4(2(3(3(x1)))))) } 1127.61/297.07 Obligation: 1127.61/297.07 derivational complexity 1127.61/297.07 Answer: 1127.61/297.07 YES(?,O(n^1)) 1127.61/297.07 1127.61/297.07 The problem is match-bounded by 3. The enriched problem is 1127.61/297.07 compatible with the following automaton. 1127.61/297.07 { 0_0(1) -> 1 1127.61/297.07 , 0_1(1) -> 5 1127.61/297.07 , 0_1(3) -> 2 1127.61/297.07 , 0_1(4) -> 21 1127.61/297.07 , 0_1(5) -> 92 1127.61/297.07 , 0_1(6) -> 10 1127.61/297.07 , 0_1(8) -> 51 1127.61/297.07 , 0_1(9) -> 1 1127.61/297.07 , 0_1(9) -> 5 1127.61/297.07 , 0_1(9) -> 22 1127.61/297.07 , 0_1(9) -> 24 1127.61/297.07 , 0_1(9) -> 28 1127.61/297.07 , 0_1(9) -> 50 1127.61/297.07 , 0_1(9) -> 88 1127.61/297.07 , 0_1(9) -> 145 1127.61/297.07 , 0_1(9) -> 155 1127.61/297.07 , 0_1(9) -> 184 1127.61/297.07 , 0_1(10) -> 2 1127.61/297.07 , 0_1(12) -> 11 1127.61/297.07 , 0_1(13) -> 29 1127.61/297.07 , 0_1(14) -> 5 1127.61/297.07 , 0_1(16) -> 15 1127.61/297.07 , 0_1(19) -> 18 1127.61/297.07 , 0_1(23) -> 22 1127.61/297.07 , 0_1(24) -> 23 1127.61/297.07 , 0_1(25) -> 3 1127.61/297.07 , 0_1(26) -> 42 1127.61/297.07 , 0_1(30) -> 2 1127.61/297.07 , 0_1(45) -> 44 1127.61/297.07 , 0_1(46) -> 69 1127.61/297.07 , 0_1(47) -> 3 1127.61/297.07 , 0_1(48) -> 4 1127.61/297.07 , 0_1(50) -> 88 1127.61/297.07 , 0_1(60) -> 14 1127.61/297.07 , 0_1(63) -> 5 1127.61/297.07 , 0_1(92) -> 91 1127.61/297.07 , 0_1(124) -> 4 1127.61/297.07 , 0_2(6) -> 155 1127.61/297.07 , 0_2(8) -> 155 1127.61/297.07 , 0_2(14) -> 36 1127.61/297.07 , 0_2(23) -> 155 1127.61/297.07 , 0_2(42) -> 155 1127.61/297.07 , 0_2(46) -> 103 1127.61/297.07 , 0_2(48) -> 55 1127.61/297.07 , 0_2(53) -> 52 1127.61/297.07 , 0_2(63) -> 36 1127.61/297.07 , 0_2(84) -> 83 1127.61/297.07 , 0_2(86) -> 36 1127.61/297.07 , 0_2(101) -> 100 1127.61/297.07 , 0_2(112) -> 111 1127.61/297.07 , 0_2(115) -> 126 1127.61/297.07 , 0_2(124) -> 55 1127.61/297.07 , 0_2(139) -> 121 1127.61/297.07 , 0_2(142) -> 141 1127.61/297.07 , 0_2(143) -> 142 1127.61/297.07 , 0_2(145) -> 207 1127.61/297.07 , 0_2(147) -> 146 1127.61/297.07 , 0_2(148) -> 147 1127.61/297.07 , 0_2(152) -> 151 1127.61/297.07 , 0_2(155) -> 192 1127.61/297.07 , 0_2(180) -> 184 1127.61/297.07 , 0_2(185) -> 44 1127.61/297.07 , 0_2(187) -> 186 1127.61/297.07 , 0_2(192) -> 191 1127.61/297.07 , 0_2(208) -> 145 1127.61/297.07 , 0_2(213) -> 3 1127.61/297.07 , 0_2(213) -> 44 1127.61/297.07 , 0_2(213) -> 145 1127.61/297.07 , 0_3(156) -> 238 1127.61/297.07 , 0_3(236) -> 235 1127.61/297.07 , 1_0(1) -> 1 1127.61/297.07 , 1_1(1) -> 24 1127.61/297.07 , 1_1(3) -> 19 1127.61/297.07 , 1_1(4) -> 3 1127.61/297.07 , 1_1(5) -> 28 1127.61/297.07 , 1_1(7) -> 23 1127.61/297.07 , 1_1(11) -> 10 1127.61/297.07 , 1_1(13) -> 26 1127.61/297.07 , 1_1(14) -> 24 1127.61/297.07 , 1_1(15) -> 14 1127.61/297.07 , 1_1(18) -> 1 1127.61/297.07 , 1_1(18) -> 24 1127.61/297.07 , 1_1(18) -> 25 1127.61/297.07 , 1_1(18) -> 28 1127.61/297.07 , 1_1(18) -> 139 1127.61/297.07 , 1_1(24) -> 25 1127.61/297.07 , 1_1(25) -> 3 1127.61/297.07 , 1_1(26) -> 25 1127.61/297.07 , 1_1(29) -> 28 1127.61/297.07 , 1_1(30) -> 18 1127.61/297.07 , 1_1(31) -> 30 1127.61/297.07 , 1_1(45) -> 6 1127.61/297.07 , 1_1(46) -> 45 1127.61/297.07 , 1_1(49) -> 41 1127.61/297.07 , 1_1(51) -> 22 1127.61/297.07 , 1_1(69) -> 10 1127.61/297.07 , 1_2(28) -> 139 1127.61/297.07 , 1_2(32) -> 28 1127.61/297.07 , 1_2(33) -> 32 1127.61/297.07 , 1_2(34) -> 33 1127.61/297.07 , 1_2(38) -> 37 1127.61/297.07 , 1_2(54) -> 53 1127.61/297.07 , 1_2(81) -> 80 1127.61/297.07 , 1_2(102) -> 101 1127.61/297.07 , 1_2(117) -> 24 1127.61/297.07 , 1_2(117) -> 25 1127.61/297.07 , 1_2(117) -> 28 1127.61/297.07 , 1_2(117) -> 139 1127.61/297.07 , 1_2(118) -> 117 1127.61/297.07 , 1_2(126) -> 125 1127.61/297.07 , 1_2(129) -> 128 1127.61/297.07 , 1_2(140) -> 139 1127.61/297.07 , 1_2(147) -> 146 1127.61/297.07 , 1_2(148) -> 147 1127.61/297.07 , 1_2(156) -> 158 1127.61/297.07 , 1_2(158) -> 157 1127.61/297.07 , 1_2(160) -> 159 1127.61/297.07 , 1_3(237) -> 236 1127.61/297.07 , 2_0(1) -> 1 1127.61/297.07 , 2_1(1) -> 13 1127.61/297.07 , 2_1(3) -> 2 1127.61/297.07 , 2_1(4) -> 31 1127.61/297.07 , 2_1(5) -> 4 1127.61/297.07 , 2_1(6) -> 3 1127.61/297.07 , 2_1(7) -> 6 1127.61/297.07 , 2_1(8) -> 10 1127.61/297.07 , 2_1(14) -> 1 1127.61/297.07 , 2_1(14) -> 5 1127.61/297.07 , 2_1(14) -> 23 1127.61/297.07 , 2_1(14) -> 24 1127.61/297.07 , 2_1(14) -> 28 1127.61/297.07 , 2_1(14) -> 50 1127.61/297.07 , 2_1(14) -> 88 1127.61/297.07 , 2_1(14) -> 145 1127.61/297.07 , 2_1(14) -> 180 1127.61/297.07 , 2_1(14) -> 207 1127.61/297.07 , 2_1(17) -> 15 1127.61/297.07 , 2_1(23) -> 30 1127.61/297.07 , 2_1(42) -> 30 1127.61/297.07 , 2_1(43) -> 18 1127.61/297.07 , 2_1(46) -> 25 1127.61/297.07 , 2_1(48) -> 19 1127.61/297.07 , 2_1(50) -> 49 1127.61/297.07 , 2_1(63) -> 14 1127.61/297.07 , 2_1(86) -> 63 1127.61/297.07 , 2_2(7) -> 150 1127.61/297.07 , 2_2(14) -> 140 1127.61/297.07 , 2_2(35) -> 34 1127.61/297.07 , 2_2(36) -> 35 1127.61/297.07 , 2_2(37) -> 28 1127.61/297.07 , 2_2(39) -> 38 1127.61/297.07 , 2_2(46) -> 150 1127.61/297.07 , 2_2(55) -> 54 1127.61/297.07 , 2_2(63) -> 28 1127.61/297.07 , 2_2(82) -> 81 1127.61/297.07 , 2_2(86) -> 28 1127.61/297.07 , 2_2(103) -> 102 1127.61/297.07 , 2_2(113) -> 112 1127.61/297.07 , 2_2(114) -> 113 1127.61/297.07 , 2_2(119) -> 118 1127.61/297.07 , 2_2(121) -> 117 1127.61/297.07 , 2_2(124) -> 19 1127.61/297.07 , 2_2(130) -> 129 1127.61/297.07 , 2_2(145) -> 144 1127.61/297.07 , 2_2(151) -> 44 1127.61/297.07 , 2_2(154) -> 160 1127.61/297.07 , 2_2(156) -> 148 1127.61/297.07 , 2_2(157) -> 147 1127.61/297.07 , 2_2(161) -> 159 1127.61/297.07 , 2_2(180) -> 153 1127.61/297.07 , 2_2(183) -> 161 1127.61/297.07 , 2_2(188) -> 187 1127.61/297.07 , 2_2(197) -> 186 1127.61/297.07 , 2_2(206) -> 205 1127.61/297.07 , 2_2(211) -> 210 1127.61/297.07 , 2_2(212) -> 129 1127.61/297.07 , 2_2(216) -> 215 1127.61/297.07 , 2_2(217) -> 129 1127.61/297.07 , 2_3(238) -> 237 1127.61/297.07 , 3_0(1) -> 1 1127.61/297.07 , 3_1(1) -> 50 1127.61/297.07 , 3_1(2) -> 1 1127.61/297.07 , 3_1(2) -> 2 1127.61/297.07 , 3_1(2) -> 5 1127.61/297.07 , 3_1(2) -> 23 1127.61/297.07 , 3_1(2) -> 24 1127.61/297.07 , 3_1(2) -> 28 1127.61/297.07 , 3_1(2) -> 29 1127.61/297.07 , 3_1(2) -> 50 1127.61/297.07 , 3_1(2) -> 145 1127.61/297.07 , 3_1(2) -> 180 1127.61/297.07 , 3_1(3) -> 41 1127.61/297.07 , 3_1(5) -> 17 1127.61/297.07 , 3_1(7) -> 44 1127.61/297.07 , 3_1(10) -> 9 1127.61/297.07 , 3_1(14) -> 50 1127.61/297.07 , 3_1(17) -> 61 1127.61/297.07 , 3_1(19) -> 1 1127.61/297.07 , 3_1(19) -> 23 1127.61/297.07 , 3_1(19) -> 50 1127.61/297.07 , 3_1(19) -> 180 1127.61/297.07 , 3_1(20) -> 18 1127.61/297.07 , 3_1(21) -> 20 1127.61/297.07 , 3_1(22) -> 14 1127.61/297.07 , 3_1(27) -> 3 1127.61/297.07 , 3_1(44) -> 43 1127.61/297.07 , 3_1(46) -> 23 1127.61/297.07 , 3_1(50) -> 1 1127.61/297.07 , 3_1(50) -> 23 1127.61/297.07 , 3_1(56) -> 3 1127.61/297.07 , 3_1(61) -> 63 1127.61/297.07 , 3_1(63) -> 50 1127.61/297.07 , 3_1(69) -> 6 1127.61/297.07 , 3_1(86) -> 2 1127.61/297.07 , 3_1(88) -> 86 1127.61/297.07 , 3_1(91) -> 90 1127.61/297.07 , 3_1(92) -> 99 1127.61/297.07 , 3_1(145) -> 145 1127.61/297.07 , 3_2(6) -> 145 1127.61/297.07 , 3_2(8) -> 145 1127.61/297.07 , 3_2(14) -> 130 1127.61/297.07 , 3_2(23) -> 145 1127.61/297.07 , 3_2(36) -> 39 1127.61/297.07 , 3_2(37) -> 130 1127.61/297.07 , 3_2(42) -> 145 1127.61/297.07 , 3_2(44) -> 44 1127.61/297.07 , 3_2(46) -> 180 1127.61/297.07 , 3_2(52) -> 3 1127.61/297.07 , 3_2(52) -> 5 1127.61/297.07 , 3_2(52) -> 23 1127.61/297.07 , 3_2(52) -> 50 1127.61/297.07 , 3_2(52) -> 121 1127.61/297.07 , 3_2(63) -> 212 1127.61/297.07 , 3_2(80) -> 23 1127.61/297.07 , 3_2(80) -> 180 1127.61/297.07 , 3_2(83) -> 82 1127.61/297.07 , 3_2(86) -> 217 1127.61/297.07 , 3_2(100) -> 1 1127.61/297.07 , 3_2(100) -> 18 1127.61/297.07 , 3_2(100) -> 23 1127.61/297.07 , 3_2(100) -> 50 1127.61/297.07 , 3_2(100) -> 180 1127.61/297.07 , 3_2(111) -> 2 1127.61/297.07 , 3_2(111) -> 21 1127.61/297.07 , 3_2(111) -> 29 1127.61/297.07 , 3_2(114) -> 122 1127.61/297.07 , 3_2(120) -> 119 1127.61/297.07 , 3_2(122) -> 121 1127.61/297.07 , 3_2(125) -> 124 1127.61/297.07 , 3_2(138) -> 101 1127.61/297.07 , 3_2(141) -> 43 1127.61/297.07 , 3_2(141) -> 44 1127.61/297.07 , 3_2(146) -> 44 1127.61/297.07 , 3_2(153) -> 161 1127.61/297.07 , 3_2(154) -> 153 1127.61/297.07 , 3_2(155) -> 154 1127.61/297.07 , 3_2(184) -> 183 1127.61/297.07 , 3_2(186) -> 185 1127.61/297.07 , 3_2(191) -> 190 1127.61/297.07 , 3_2(207) -> 206 1127.61/297.07 , 3_2(212) -> 211 1127.61/297.07 , 3_2(217) -> 216 1127.61/297.07 , 3_3(235) -> 44 1127.61/297.07 , 4_0(1) -> 1 1127.61/297.07 , 4_1(1) -> 46 1127.61/297.07 , 4_1(2) -> 7 1127.61/297.07 , 4_1(7) -> 44 1127.61/297.07 , 4_1(8) -> 7 1127.61/297.07 , 4_1(12) -> 25 1127.61/297.07 , 4_1(13) -> 12 1127.61/297.07 , 4_1(14) -> 1 1127.61/297.07 , 4_1(14) -> 23 1127.61/297.07 , 4_1(14) -> 46 1127.61/297.07 , 4_1(14) -> 50 1127.61/297.07 , 4_1(14) -> 180 1127.61/297.07 , 4_1(27) -> 9 1127.61/297.07 , 4_1(40) -> 1 1127.61/297.07 , 4_1(40) -> 24 1127.61/297.07 , 4_1(40) -> 28 1127.61/297.07 , 4_1(46) -> 47 1127.61/297.07 , 4_1(47) -> 44 1127.61/297.07 , 4_1(48) -> 46 1127.61/297.07 , 4_1(49) -> 25 1127.61/297.07 , 4_1(61) -> 60 1127.61/297.07 , 4_1(63) -> 2 1127.61/297.07 , 4_1(86) -> 2 1127.61/297.07 , 4_1(97) -> 7 1127.61/297.07 , 4_1(98) -> 61 1127.61/297.07 , 4_1(99) -> 90 1127.61/297.07 , 4_1(124) -> 46 1127.61/297.07 , 4_2(6) -> 156 1127.61/297.07 , 4_2(8) -> 156 1127.61/297.07 , 4_2(23) -> 156 1127.61/297.07 , 4_2(42) -> 156 1127.61/297.07 , 4_2(48) -> 84 1127.61/297.07 , 4_2(63) -> 120 1127.61/297.07 , 4_2(86) -> 120 1127.61/297.07 , 4_2(114) -> 122 1127.61/297.07 , 4_2(115) -> 114 1127.61/297.07 , 4_2(120) -> 123 1127.61/297.07 , 4_2(123) -> 122 1127.61/297.07 , 4_2(124) -> 84 1127.61/297.07 , 4_2(127) -> 19 1127.61/297.07 , 4_2(144) -> 143 1127.61/297.07 , 4_2(149) -> 148 1127.61/297.07 , 4_2(150) -> 149 1127.61/297.07 , 4_2(153) -> 152 1127.61/297.07 , 4_2(159) -> 44 1127.61/297.07 , 4_2(189) -> 188 1127.61/297.07 , 4_2(210) -> 209 1127.61/297.07 , 4_2(215) -> 214 1127.61/297.07 , 5_0(1) -> 1 1127.61/297.07 , 5_1(1) -> 8 1127.61/297.07 , 5_1(2) -> 7 1127.61/297.07 , 5_1(7) -> 44 1127.61/297.07 , 5_1(12) -> 9 1127.61/297.07 , 5_1(14) -> 8 1127.61/297.07 , 5_1(17) -> 16 1127.61/297.07 , 5_1(25) -> 3 1127.61/297.07 , 5_1(26) -> 56 1127.61/297.07 , 5_1(28) -> 27 1127.61/297.07 , 5_1(41) -> 40 1127.61/297.07 , 5_1(46) -> 7 1127.61/297.07 , 5_1(49) -> 48 1127.61/297.07 , 5_1(50) -> 98 1127.61/297.07 , 5_1(63) -> 97 1127.61/297.07 , 5_1(86) -> 8 1127.61/297.07 , 5_1(90) -> 14 1127.61/297.07 , 5_1(97) -> 1 1127.61/297.07 , 5_1(97) -> 50 1127.61/297.07 , 5_1(97) -> 145 1127.61/297.07 , 5_2(6) -> 197 1127.61/297.07 , 5_2(7) -> 189 1127.61/297.07 , 5_2(8) -> 197 1127.61/297.07 , 5_2(14) -> 115 1127.61/297.07 , 5_2(23) -> 197 1127.61/297.07 , 5_2(37) -> 115 1127.61/297.07 , 5_2(42) -> 197 1127.61/297.07 , 5_2(46) -> 189 1127.61/297.07 , 5_2(63) -> 115 1127.61/297.07 , 5_2(86) -> 115 1127.61/297.07 , 5_2(114) -> 122 1127.61/297.07 , 5_2(120) -> 114 1127.61/297.07 , 5_2(128) -> 127 1127.61/297.07 , 5_2(139) -> 138 1127.61/297.07 , 5_2(148) -> 147 1127.61/297.07 , 5_2(156) -> 156 1127.61/297.07 , 5_2(190) -> 151 1127.61/297.07 , 5_2(204) -> 44 1127.61/297.07 , 5_2(205) -> 204 1127.61/297.07 , 5_2(209) -> 208 1127.61/297.07 , 5_2(214) -> 213 } 1127.61/297.07 1127.61/297.07 Hurray, we answered YES(?,O(n^1)) 1128.22/297.54 EOF