74.63/19.48 YES 74.63/19.49 74.63/19.49 Problem: 74.63/19.49 0(1(1(x1))) -> 0(2(0(2(2(3(0(2(3(1(x1)))))))))) 74.63/19.49 0(4(2(1(5(x1))))) -> 3(0(4(5(3(3(2(3(3(3(x1)))))))))) 74.63/19.49 1(1(4(1(0(x1))))) -> 3(5(3(3(2(0(2(3(3(3(x1)))))))))) 74.63/19.49 0(0(5(2(2(1(x1)))))) -> 1(3(5(3(1(2(0(2(2(3(x1)))))))))) 74.63/19.49 0(4(1(4(0(0(x1)))))) -> 3(3(2(3(0(4(5(0(3(0(x1)))))))))) 74.63/19.49 0(4(3(4(2(1(x1)))))) -> 0(5(3(3(3(0(0(2(0(2(x1)))))))))) 74.63/19.49 1(1(2(0(5(4(x1)))))) -> 1(3(2(0(2(3(1(5(1(4(x1)))))))))) 74.63/19.49 1(1(3(1(4(2(x1)))))) -> 0(2(0(2(2(2(3(0(5(2(x1)))))))))) 74.63/19.49 1(3(4(0(4(1(x1)))))) -> 1(3(3(0(2(5(4(5(3(0(x1)))))))))) 74.63/19.49 1(4(0(4(1(4(x1)))))) -> 5(2(5(0(5(5(4(5(0(2(x1)))))))))) 74.63/19.49 1(4(1(5(4(3(x1)))))) -> 3(2(4(2(5(5(4(3(3(2(x1)))))))))) 74.63/19.49 1(4(2(3(4(4(x1)))))) -> 3(0(3(3(2(5(3(2(1(2(x1)))))))))) 74.63/19.49 1(4(3(1(5(1(x1)))))) -> 3(3(2(4(3(3(0(2(0(2(x1)))))))))) 74.63/19.49 1(5(4(0(5(3(x1)))))) -> 3(1(3(2(0(3(3(1(3(2(x1)))))))))) 74.63/19.49 1(5(5(0(1(0(x1)))))) -> 1(3(2(3(5(5(4(0(2(5(x1)))))))))) 74.63/19.49 5(1(1(5(5(4(x1)))))) -> 5(1(3(3(3(0(2(0(3(2(x1)))))))))) 74.63/19.49 0(0(0(0(5(5(1(x1))))))) -> 0(0(2(2(3(3(2(2(5(0(x1)))))))))) 74.63/19.49 0(0(1(5(1(2(1(x1))))))) -> 1(0(2(2(0(4(5(0(2(1(x1)))))))))) 74.63/19.49 0(0(3(4(0(5(4(x1))))))) -> 0(2(2(1(0(2(1(4(3(2(x1)))))))))) 74.63/19.49 0(0(5(2(2(0(5(x1))))))) -> 0(2(3(3(4(2(4(0(2(1(x1)))))))))) 74.63/19.49 0(1(1(1(0(0(5(x1))))))) -> 0(2(2(0(2(5(2(5(5(3(x1)))))))))) 74.63/19.49 0(4(1(1(0(0(5(x1))))))) -> 1(3(2(3(4(3(0(2(5(3(x1)))))))))) 74.63/19.49 0(4(3(4(0(1(0(x1))))))) -> 3(2(4(0(5(0(1(5(2(0(x1)))))))))) 74.63/19.49 0(5(1(1(4(2(3(x1))))))) -> 0(2(4(2(4(4(1(5(3(2(x1)))))))))) 74.63/19.49 0(5(1(4(4(0(4(x1))))))) -> 0(5(1(2(5(3(3(2(0(4(x1)))))))))) 74.63/19.49 1(0(0(3(4(3(5(x1))))))) -> 3(2(4(3(3(1(3(2(1(1(x1)))))))))) 74.63/19.49 1(0(1(0(0(4(2(x1))))))) -> 1(3(2(3(2(1(2(5(0(5(x1)))))))))) 74.63/19.49 1(0(3(4(1(1(5(x1))))))) -> 1(0(3(5(2(4(3(1(3(2(x1)))))))))) 74.63/19.49 1(0(4(1(1(4(1(x1))))))) -> 0(0(5(0(2(4(2(0(2(3(x1)))))))))) 74.63/19.49 1(1(0(3(0(1(5(x1))))))) -> 0(2(0(2(0(2(0(4(5(1(x1)))))))))) 74.63/19.49 1(1(1(3(1(1(4(x1))))))) -> 3(1(2(3(3(0(2(0(5(2(x1)))))))))) 74.63/19.49 1(1(1(4(0(5(0(x1))))))) -> 3(5(5(2(2(4(0(2(0(0(x1)))))))))) 74.63/19.49 1(1(1(5(4(0(5(x1))))))) -> 3(4(3(5(3(3(2(5(3(3(x1)))))))))) 74.63/19.49 1(1(4(0(5(1(4(x1))))))) -> 4(2(2(3(0(3(2(5(0(2(x1)))))))))) 74.63/19.49 1(1(4(2(0(4(3(x1))))))) -> 3(1(3(4(4(3(0(2(3(3(x1)))))))))) 74.63/19.49 1(3(4(0(5(1(5(x1))))))) -> 1(3(3(5(0(2(0(3(3(1(x1)))))))))) 74.63/19.49 1(3(5(0(0(0(0(x1))))))) -> 3(3(3(3(5(5(3(2(0(1(x1)))))))))) 74.63/19.49 1(4(0(0(0(1(5(x1))))))) -> 3(3(0(4(4(0(3(1(1(3(x1)))))))))) 74.63/19.49 1(4(0(0(5(4(4(x1))))))) -> 2(2(4(0(4(2(5(3(3(2(x1)))))))))) 74.63/19.49 1(4(1(1(1(1(1(x1))))))) -> 4(1(0(2(2(1(2(5(1(3(x1)))))))))) 74.63/19.49 1(4(2(1(1(1(1(x1))))))) -> 1(5(2(4(0(2(4(5(0(1(x1)))))))))) 74.63/19.49 1(4(2(1(3(4(3(x1))))))) -> 3(1(3(2(3(3(5(2(5(1(x1)))))))))) 74.63/19.49 1(4(3(0(0(4(1(x1))))))) -> 5(5(2(4(2(5(2(2(4(3(x1)))))))))) 74.63/19.49 2(0(0(1(1(1(1(x1))))))) -> 2(1(5(4(5(5(0(2(2(1(x1)))))))))) 74.63/19.49 2(0(4(0(0(0(0(x1))))))) -> 2(5(2(2(2(5(4(2(0(0(x1)))))))))) 74.63/19.49 2(1(1(3(5(1(4(x1))))))) -> 2(1(1(3(2(2(3(5(0(2(x1)))))))))) 74.63/19.49 2(1(4(0(1(4(5(x1))))))) -> 2(4(5(3(3(2(3(3(3(5(x1)))))))))) 74.63/19.49 3(0(0(1(1(4(3(x1))))))) -> 0(5(3(1(3(2(0(2(4(3(x1)))))))))) 74.63/19.49 3(0(0(5(4(4(4(x1))))))) -> 3(3(1(3(2(3(0(3(3(1(x1)))))))))) 74.63/19.49 3(0(4(1(4(0(0(x1))))))) -> 0(4(0(2(2(2(0(5(5(0(x1)))))))))) 74.63/19.49 3(4(3(4(3(4(0(x1))))))) -> 3(5(5(1(0(2(4(3(2(0(x1)))))))))) 74.63/19.49 3(5(1(4(0(1(4(x1))))))) -> 0(3(2(5(0(2(2(2(0(2(x1)))))))))) 74.63/19.49 4(0(1(1(0(5(1(x1))))))) -> 4(3(2(5(2(1(1(3(3(2(x1)))))))))) 74.63/19.49 4(1(1(2(0(4(1(x1))))))) -> 4(0(2(4(0(0(2(0(2(3(x1)))))))))) 74.63/19.49 4(1(5(0(1(0(1(x1))))))) -> 4(3(0(3(5(5(2(4(0(2(x1)))))))))) 74.63/19.49 5(1(2(3(4(4(5(x1))))))) -> 5(4(0(2(0(2(1(2(4(5(x1)))))))))) 74.63/19.49 5(3(1(4(4(1(1(x1))))))) -> 5(0(2(5(2(5(0(2(4(1(x1)))))))))) 74.63/19.49 74.63/19.49 Proof: 74.63/19.49 String Reversal Processor: 74.63/19.49 1(1(0(x1))) -> 1(3(2(0(3(2(2(0(2(0(x1)))))))))) 74.63/19.49 5(1(2(4(0(x1))))) -> 3(3(3(2(3(3(5(4(0(3(x1)))))))))) 74.63/19.49 0(1(4(1(1(x1))))) -> 3(3(3(2(0(2(3(3(5(3(x1)))))))))) 74.63/19.49 1(2(2(5(0(0(x1)))))) -> 3(2(2(0(2(1(3(5(3(1(x1)))))))))) 74.63/19.49 0(0(4(1(4(0(x1)))))) -> 0(3(0(5(4(0(3(2(3(3(x1)))))))))) 74.63/19.49 1(2(4(3(4(0(x1)))))) -> 2(0(2(0(0(3(3(3(5(0(x1)))))))))) 74.63/19.49 4(5(0(2(1(1(x1)))))) -> 4(1(5(1(3(2(0(2(3(1(x1)))))))))) 74.63/19.49 2(4(1(3(1(1(x1)))))) -> 2(5(0(3(2(2(2(0(2(0(x1)))))))))) 74.63/19.49 1(4(0(4(3(1(x1)))))) -> 0(3(5(4(5(2(0(3(3(1(x1)))))))))) 74.63/19.49 4(1(4(0(4(1(x1)))))) -> 2(0(5(4(5(5(0(5(2(5(x1)))))))))) 74.63/19.49 3(4(5(1(4(1(x1)))))) -> 2(3(3(4(5(5(2(4(2(3(x1)))))))))) 74.63/19.49 4(4(3(2(4(1(x1)))))) -> 2(1(2(3(5(2(3(3(0(3(x1)))))))))) 74.63/19.51 1(5(1(3(4(1(x1)))))) -> 2(0(2(0(3(3(4(2(3(3(x1)))))))))) 74.63/19.51 3(5(0(4(5(1(x1)))))) -> 2(3(1(3(3(0(2(3(1(3(x1)))))))))) 74.63/19.51 0(1(0(5(5(1(x1)))))) -> 5(2(0(4(5(5(3(2(3(1(x1)))))))))) 74.63/19.51 4(5(5(1(1(5(x1)))))) -> 2(3(0(2(0(3(3(3(1(5(x1)))))))))) 74.63/19.51 1(5(5(0(0(0(0(x1))))))) -> 0(5(2(2(3(3(2(2(0(0(x1)))))))))) 74.63/19.51 1(2(1(5(1(0(0(x1))))))) -> 1(2(0(5(4(0(2(2(0(1(x1)))))))))) 74.63/19.51 4(5(0(4(3(0(0(x1))))))) -> 2(3(4(1(2(0(1(2(2(0(x1)))))))))) 74.63/19.51 5(0(2(2(5(0(0(x1))))))) -> 1(2(0(4(2(4(3(3(2(0(x1)))))))))) 74.63/19.51 5(0(0(1(1(1(0(x1))))))) -> 3(5(5(2(5(2(0(2(2(0(x1)))))))))) 74.63/19.51 5(0(0(1(1(4(0(x1))))))) -> 3(5(2(0(3(4(3(2(3(1(x1)))))))))) 74.63/19.51 0(1(0(4(3(4(0(x1))))))) -> 0(2(5(1(0(5(0(4(2(3(x1)))))))))) 74.63/19.51 3(2(4(1(1(5(0(x1))))))) -> 2(3(5(1(4(4(2(4(2(0(x1)))))))))) 74.63/19.51 4(0(4(4(1(5(0(x1))))))) -> 4(0(2(3(3(5(2(1(5(0(x1)))))))))) 74.63/19.51 5(3(4(3(0(0(1(x1))))))) -> 1(1(2(3(1(3(3(4(2(3(x1)))))))))) 74.63/19.51 2(4(0(0(1(0(1(x1))))))) -> 5(0(5(2(1(2(3(2(3(1(x1)))))))))) 74.63/19.51 5(1(1(4(3(0(1(x1))))))) -> 2(3(1(3(4(2(5(3(0(1(x1)))))))))) 74.63/19.51 1(4(1(1(4(0(1(x1))))))) -> 3(2(0(2(4(2(0(5(0(0(x1)))))))))) 74.63/19.51 5(1(0(3(0(1(1(x1))))))) -> 1(5(4(0(2(0(2(0(2(0(x1)))))))))) 74.63/19.51 4(1(1(3(1(1(1(x1))))))) -> 2(5(0(2(0(3(3(2(1(3(x1)))))))))) 74.63/19.51 0(5(0(4(1(1(1(x1))))))) -> 0(0(2(0(4(2(2(5(5(3(x1)))))))))) 74.63/19.51 5(0(4(5(1(1(1(x1))))))) -> 3(3(5(2(3(3(5(3(4(3(x1)))))))))) 74.63/19.51 4(1(5(0(4(1(1(x1))))))) -> 2(0(5(2(3(0(3(2(2(4(x1)))))))))) 74.63/19.51 3(4(0(2(4(1(1(x1))))))) -> 3(3(2(0(3(4(4(3(1(3(x1)))))))))) 74.63/19.51 5(1(5(0(4(3(1(x1))))))) -> 1(3(3(0(2(0(5(3(3(1(x1)))))))))) 74.63/19.51 0(0(0(0(5(3(1(x1))))))) -> 1(0(2(3(5(5(3(3(3(3(x1)))))))))) 74.63/19.51 5(1(0(0(0(4(1(x1))))))) -> 3(1(1(3(0(4(4(0(3(3(x1)))))))))) 74.63/19.51 4(4(5(0(0(4(1(x1))))))) -> 2(3(3(5(2(4(0(4(2(2(x1)))))))))) 74.63/19.51 1(1(1(1(1(4(1(x1))))))) -> 3(1(5(2(1(2(2(0(1(4(x1)))))))))) 74.63/19.51 1(1(1(1(2(4(1(x1))))))) -> 1(0(5(4(2(0(4(2(5(1(x1)))))))))) 74.63/19.51 3(4(3(1(2(4(1(x1))))))) -> 1(5(2(5(3(3(2(3(1(3(x1)))))))))) 74.63/19.51 1(4(0(0(3(4(1(x1))))))) -> 3(4(2(2(5(2(4(2(5(5(x1)))))))))) 74.63/19.51 1(1(1(1(0(0(2(x1))))))) -> 1(2(2(0(5(5(4(5(1(2(x1)))))))))) 74.63/19.51 0(0(0(0(4(0(2(x1))))))) -> 0(0(2(4(5(2(2(2(5(2(x1)))))))))) 74.63/19.51 4(1(5(3(1(1(2(x1))))))) -> 2(0(5(3(2(2(3(1(1(2(x1)))))))))) 74.63/19.51 5(4(1(0(4(1(2(x1))))))) -> 5(3(3(3(2(3(3(5(4(2(x1)))))))))) 74.63/19.51 3(4(1(1(0(0(3(x1))))))) -> 3(4(2(0(2(3(1(3(5(0(x1)))))))))) 74.63/19.51 4(4(4(5(0(0(3(x1))))))) -> 1(3(3(0(3(2(3(1(3(3(x1)))))))))) 74.63/19.51 0(0(4(1(4(0(3(x1))))))) -> 0(5(5(0(2(2(2(0(4(0(x1)))))))))) 74.63/19.51 0(4(3(4(3(4(3(x1))))))) -> 0(2(3(4(2(0(1(5(5(3(x1)))))))))) 74.63/19.51 4(1(0(4(1(5(3(x1))))))) -> 2(0(2(2(2(0(5(2(3(0(x1)))))))))) 74.63/19.51 1(5(0(1(1(0(4(x1))))))) -> 2(3(3(1(1(2(5(2(3(4(x1)))))))))) 74.63/19.51 1(4(0(2(1(1(4(x1))))))) -> 3(2(0(2(0(0(4(2(0(4(x1)))))))))) 74.63/19.51 1(0(1(0(5(1(4(x1))))))) -> 2(0(4(2(5(5(3(0(3(4(x1)))))))))) 74.63/19.51 5(4(4(3(2(1(5(x1))))))) -> 5(4(2(1(2(0(2(0(4(5(x1)))))))))) 74.63/19.51 1(1(4(4(1(3(5(x1))))))) -> 1(4(2(0(5(2(5(2(0(5(x1)))))))))) 74.63/19.51 Bounds Processor: 74.63/19.51 bound: 0 74.63/19.51 enrichment: match 74.63/19.51 automaton: 74.63/19.51 final states: {462,453,445,436,427,418,411,402,394,387,378,370,361, 74.63/19.51 352,343,337,328,319,309,301,293,286,279,269,260,252, 74.63/19.51 244,238,230,222,216,209,201,193,186,180,173,165,157, 74.63/19.51 148,139,130,123,114,107,99,90,80,72,67,59,50,41,31, 74.63/19.51 22,12,1} 74.63/19.51 transitions: 74.63/19.51 f60() -> 2* 74.63/19.51 10(65) -> 66* 74.63/19.51 10(35) -> 36* 74.63/19.51 10(227) -> 228* 74.63/19.51 10(217) -> 218* 74.63/19.51 10(197) -> 198* 74.63/19.51 10(172) -> 165* 74.63/19.51 10(52) -> 388* 74.63/19.51 10(42) -> 395* 74.63/19.51 10(431) -> 432* 74.63/19.51 10(214) -> 215* 74.63/19.51 10(2) -> 32* 74.63/19.51 10(401) -> 394* 74.63/19.51 10(189) -> 190* 74.63/19.51 10(336) -> 328* 74.63/19.51 10(326) -> 327* 74.63/19.51 10(306) -> 307* 74.63/19.51 10(458) -> 459* 74.63/19.51 10(211) -> 212* 74.63/19.51 10(161) -> 162* 74.63/19.51 10(156) -> 148* 74.63/19.51 10(353) -> 371* 74.63/19.51 10(323) -> 324* 74.63/19.51 10(81) -> 131* 74.63/19.51 10(470) -> 462* 74.63/19.51 10(253) -> 412* 74.63/19.51 10(51) -> 202* 74.63/19.51 10(243) -> 238* 74.63/19.51 10(11) -> 1* 74.63/19.51 10(360) -> 352* 74.63/19.51 10(158) -> 159* 74.63/19.51 10(310) -> 353* 74.63/19.51 10(300) -> 293* 74.63/19.51 10(270) -> 320* 74.63/19.51 10(63) -> 64* 74.63/19.51 10(432) -> 433* 74.63/19.51 10(215) -> 209* 74.63/19.51 10(13) -> 115* 74.63/19.51 10(342) -> 337* 74.63/19.51 10(120) -> 121* 74.63/19.51 10(307) -> 308* 74.63/19.51 10(105) -> 106* 74.63/19.51 10(292) -> 286* 74.63/19.51 30(272) -> 273* 74.63/19.51 30(267) -> 268* 74.63/19.51 30(60) -> 124* 74.63/19.51 30(444) -> 436* 74.63/19.51 30(40) -> 31* 74.63/19.51 30(237) -> 230* 74.63/19.51 30(434) -> 435* 74.63/19.51 30(30) -> 22* 74.63/19.51 30(20) -> 21* 74.63/19.51 30(212) -> 213* 74.63/19.51 30(10) -> 11* 74.63/19.51 30(399) -> 400* 74.63/19.51 30(384) -> 385* 74.63/19.51 30(374) -> 375* 74.63/19.51 30(142) -> 143* 74.63/19.51 30(137) -> 138* 74.63/19.51 30(132) -> 133* 74.63/19.51 30(117) -> 338* 74.63/19.51 30(97) -> 98* 74.63/19.51 30(294) -> 295* 74.63/19.51 30(92) -> 210* 74.63/19.51 30(284) -> 285* 74.63/19.51 30(274) -> 275* 74.63/19.51 30(264) -> 265* 74.63/19.51 30(62) -> 63* 74.63/19.51 30(52) -> 53* 74.63/19.51 30(446) -> 447* 74.63/19.51 30(42) -> 294* 74.63/19.51 30(32) -> 33* 74.63/19.51 30(17) -> 18* 74.63/19.51 30(7) -> 8* 74.63/19.51 30(204) -> 205* 74.63/19.51 30(2) -> 13* 74.63/19.51 30(199) -> 200* 74.63/19.51 30(381) -> 382* 74.63/19.51 30(179) -> 173* 74.63/19.51 30(371) -> 372* 74.63/19.51 30(351) -> 343* 74.63/19.51 30(149) -> 223* 74.63/19.51 30(119) -> 120* 74.63/19.51 30(316) -> 317* 74.63/19.51 30(109) -> 110* 74.63/19.51 30(291) -> 292* 74.63/19.51 30(281) -> 282* 74.63/19.51 30(261) -> 262* 74.63/19.51 30(246) -> 247* 74.63/19.51 30(34) -> 35* 74.63/19.51 30(433) -> 434* 74.63/19.51 30(29) -> 30* 74.63/19.51 30(226) -> 227* 74.63/19.51 30(24) -> 25* 74.63/19.51 30(19) -> 20* 74.63/19.51 30(14) -> 100* 74.63/19.51 30(4) -> 166* 74.63/19.51 30(393) -> 387* 74.63/19.51 30(388) -> 389* 74.63/19.51 30(383) -> 384* 74.63/19.51 30(181) -> 182* 74.63/19.51 30(166) -> 167* 74.63/19.51 30(338) -> 339* 74.63/19.51 30(131) -> 132* 74.63/19.51 30(121) -> 122* 74.63/19.51 30(308) -> 301* 74.63/19.51 30(96) -> 97* 74.63/19.51 30(268) -> 260* 74.63/19.51 30(263) -> 264* 74.63/19.51 30(51) -> 52* 74.63/19.51 30(228) -> 229* 74.63/19.51 30(21) -> 12* 74.63/19.51 30(16) -> 17* 74.63/19.51 30(415) -> 416* 74.63/19.51 30(400) -> 401* 74.63/19.51 30(395) -> 396* 74.63/19.51 30(385) -> 386* 74.63/19.51 30(380) -> 381* 74.63/19.51 30(163) -> 164* 74.63/19.51 30(143) -> 144* 74.63/19.51 30(133) -> 134* 74.63/19.51 30(118) -> 119* 74.63/19.51 30(108) -> 109* 74.63/19.51 30(305) -> 306* 74.63/19.51 30(103) -> 104* 74.63/19.51 30(290) -> 291* 74.63/19.51 30(285) -> 279* 74.63/19.51 30(78) -> 79* 74.63/19.51 30(270) -> 428* 74.63/19.51 30(68) -> 69* 74.63/19.51 30(53) -> 54* 74.63/19.51 30(48) -> 49* 74.63/19.51 30(245) -> 246* 74.63/19.51 30(43) -> 44* 74.63/19.51 30(33) -> 73* 74.63/19.51 30(28) -> 29* 74.63/19.51 30(23) -> 24* 74.63/19.51 30(13) -> 42* 74.63/19.51 30(210) -> 211* 74.63/19.51 30(205) -> 206* 74.63/19.51 30(3) -> 419* 74.63/19.51 30(397) -> 398* 74.63/19.51 30(185) -> 180* 74.63/19.51 30(327) -> 319* 74.63/19.51 30(317) -> 318* 74.63/19.51 30(115) -> 116* 74.63/19.51 30(100) -> 101* 74.63/19.51 30(297) -> 298* 74.63/19.51 20(459) -> 460* 74.63/19.51 20(257) -> 258* 74.63/19.51 20(449) -> 450* 74.63/19.51 20(232) -> 233* 74.63/19.51 20(25) -> 26* 74.63/19.51 20(424) -> 425* 74.63/19.51 20(419) -> 420* 74.63/19.51 20(5) -> 6* 74.63/19.51 20(404) -> 405* 74.63/19.51 20(202) -> 203* 74.63/19.51 20(389) -> 390* 74.63/19.51 20(364) -> 365* 74.63/19.51 20(359) -> 360* 74.63/19.51 20(349) -> 350* 74.63/19.51 20(344) -> 345* 74.63/19.51 20(329) -> 330* 74.63/19.51 20(324) -> 325* 74.63/19.51 20(122) -> 114* 74.63/19.51 20(314) -> 315* 74.63/19.51 20(92) -> 93* 74.63/19.51 20(254) -> 255* 74.63/19.51 20(42) -> 43* 74.63/19.51 20(441) -> 442* 74.63/19.51 20(239) -> 240* 74.63/19.51 20(234) -> 235* 74.63/19.51 20(229) -> 222* 74.63/19.51 20(27) -> 28* 74.63/19.51 20(426) -> 418* 74.63/19.51 20(224) -> 225* 74.63/19.51 20(416) -> 417* 74.63/19.51 20(7) -> 68* 74.63/19.51 20(406) -> 407* 74.63/19.51 20(2) -> 310* 74.63/19.51 20(396) -> 397* 74.63/19.51 20(194) -> 195* 74.63/19.51 20(391) -> 392* 74.63/19.51 20(174) -> 175* 74.63/19.51 20(164) -> 157* 74.63/19.51 20(149) -> 150* 74.63/19.51 20(346) -> 347* 74.63/19.51 20(144) -> 145* 74.63/19.51 20(124) -> 217* 74.63/19.51 20(321) -> 322* 74.63/19.51 20(104) -> 105* 74.63/19.51 20(89) -> 80* 74.63/19.51 20(74) -> 75* 74.63/19.51 20(271) -> 272* 74.63/19.51 20(468) -> 469* 74.63/19.51 20(463) -> 464* 74.63/19.51 20(251) -> 244* 74.63/19.51 20(443) -> 444* 74.63/19.51 20(39) -> 40* 74.63/19.51 20(236) -> 237* 74.63/19.51 20(428) -> 429* 74.63/19.51 20(423) -> 424* 74.63/19.51 20(413) -> 414* 74.63/19.51 20(9) -> 10* 74.63/19.51 20(206) -> 207* 74.63/19.51 20(4) -> 158* 74.63/19.51 20(191) -> 192* 74.63/19.51 20(176) -> 177* 74.63/19.51 20(373) -> 374* 74.63/19.51 20(171) -> 172* 74.63/19.51 20(363) -> 364* 74.63/19.51 20(358) -> 359* 74.63/19.51 20(348) -> 349* 74.63/19.51 20(141) -> 142* 74.63/19.51 20(318) -> 309* 74.63/19.51 20(116) -> 117* 74.63/19.51 20(111) -> 112* 74.63/19.51 20(106) -> 99* 74.63/19.51 20(101) -> 102* 74.63/19.51 20(298) -> 299* 74.63/19.51 20(288) -> 289* 74.63/19.51 20(283) -> 284* 74.63/19.51 20(81) -> 82* 74.63/19.51 20(278) -> 269* 74.63/19.51 20(71) -> 67* 74.63/19.51 20(465) -> 466* 74.63/19.51 20(61) -> 62* 74.63/19.51 20(56) -> 57* 74.63/19.51 20(455) -> 456* 74.63/19.51 20(253) -> 254* 74.63/19.51 20(248) -> 249* 74.63/19.51 20(36) -> 37* 74.63/19.51 20(435) -> 427* 74.63/19.51 20(430) -> 431* 74.63/19.51 20(218) -> 219* 74.63/19.51 20(213) -> 214* 74.63/19.51 20(6) -> 7* 74.63/19.51 20(405) -> 406* 74.63/19.51 20(183) -> 184* 74.63/19.51 20(168) -> 169* 74.63/19.51 20(340) -> 341* 74.63/19.51 20(138) -> 130* 74.63/19.51 20(128) -> 129* 74.63/19.51 20(113) -> 107* 74.63/19.51 20(310) -> 311* 74.63/19.51 20(98) -> 90* 74.63/19.51 20(275) -> 276* 74.63/19.51 20(270) -> 271* 74.63/19.51 20(265) -> 266* 74.63/19.51 20(58) -> 50* 74.63/19.51 20(457) -> 458* 74.63/19.51 20(452) -> 445* 74.63/19.51 20(38) -> 39* 74.63/19.51 20(437) -> 438* 74.63/19.51 20(33) -> 60* 74.63/19.51 20(422) -> 423* 74.63/19.51 20(18) -> 19* 74.63/19.51 20(13) -> 91* 74.63/19.51 20(3) -> 4* 74.63/19.51 20(200) -> 193* 74.63/19.51 20(382) -> 383* 74.63/19.51 20(377) -> 370* 74.63/19.51 20(372) -> 373* 74.63/19.51 20(367) -> 368* 74.63/19.51 20(362) -> 363* 74.63/19.51 20(160) -> 161* 74.63/19.51 20(155) -> 156* 74.63/19.51 20(150) -> 151* 74.63/19.51 20(145) -> 146* 74.63/19.51 20(140) -> 141* 74.63/19.51 20(135) -> 136* 74.63/19.51 20(332) -> 333* 74.63/19.51 20(322) -> 323* 74.63/19.51 20(115) -> 245* 74.63/19.51 00(277) -> 278* 74.63/19.51 00(60) -> 61* 74.63/19.51 00(55) -> 56* 74.63/19.51 00(454) -> 455* 74.63/19.51 00(247) -> 248* 74.63/19.51 00(439) -> 440* 74.63/19.51 00(207) -> 208* 74.63/19.51 00(192) -> 186* 74.63/19.51 00(182) -> 183* 74.63/19.51 00(369) -> 361* 74.63/19.51 00(147) -> 139* 74.63/19.51 00(127) -> 128* 74.63/19.51 00(117) -> 118* 74.63/19.51 00(112) -> 113* 74.63/19.51 00(304) -> 305* 74.63/19.51 00(299) -> 300* 74.63/19.51 00(92) -> 187* 74.63/19.51 00(289) -> 290* 74.63/19.51 00(259) -> 252* 74.63/19.51 00(57) -> 58* 74.63/19.51 00(456) -> 457* 74.63/19.51 00(451) -> 452* 74.63/19.51 00(249) -> 250* 74.63/19.51 00(47) -> 48* 74.63/19.51 00(42) -> 302* 74.63/19.51 00(37) -> 38* 74.63/19.51 00(32) -> 149* 74.63/19.51 00(421) -> 422* 74.63/19.51 00(2) -> 3* 74.63/19.51 00(376) -> 377* 74.63/19.51 00(159) -> 160* 74.63/19.51 00(154) -> 155* 74.63/19.51 00(134) -> 135* 74.63/19.51 00(331) -> 332* 74.63/19.51 00(79) -> 72* 74.63/19.51 00(69) -> 70* 74.63/19.51 00(256) -> 257* 74.63/19.51 00(54) -> 55* 74.63/19.51 00(49) -> 41* 74.63/19.51 00(44) -> 45* 74.63/19.51 00(231) -> 232* 74.63/19.51 00(428) -> 446* 74.63/19.51 00(4) -> 5* 74.63/19.51 00(403) -> 404* 74.63/19.51 00(398) -> 399* 74.63/19.51 00(368) -> 369* 74.63/19.51 00(151) -> 152* 74.63/19.51 00(136) -> 137* 74.63/19.51 00(81) -> 463* 74.63/19.51 00(273) -> 274* 74.63/19.51 00(258) -> 259* 74.63/19.51 00(440) -> 441* 74.63/19.51 00(26) -> 27* 74.63/19.51 00(425) -> 426* 74.63/19.51 00(410) -> 402* 74.63/19.51 00(6) -> 239* 74.63/19.51 00(390) -> 391* 74.63/19.51 00(188) -> 189* 74.63/19.51 00(158) -> 174* 74.63/19.51 00(335) -> 336* 74.63/19.51 00(320) -> 321* 74.63/19.51 00(88) -> 89* 74.63/19.51 00(83) -> 84* 74.63/19.51 00(73) -> 74* 74.63/19.51 00(270) -> 437* 74.63/19.51 00(467) -> 468* 74.63/19.51 00(442) -> 443* 74.63/19.51 00(240) -> 241* 74.63/19.52 00(235) -> 236* 74.63/19.52 00(220) -> 221* 74.63/19.52 00(417) -> 411* 74.63/19.52 00(13) -> 14* 74.63/19.52 00(412) -> 413* 74.63/19.52 00(8) -> 9* 74.63/19.52 00(407) -> 408* 74.63/19.52 00(3) -> 140* 74.63/19.52 00(170) -> 171* 74.63/19.52 00(357) -> 358* 74.63/19.52 00(312) -> 313* 74.63/19.52 00(110) -> 111* 74.63/19.52 00(287) -> 288* 74.63/19.52 00(282) -> 283* 74.63/19.52 50(75) -> 76* 74.63/19.52 50(70) -> 71* 74.63/19.52 50(464) -> 465* 74.63/19.52 50(262) -> 263* 74.63/19.52 50(242) -> 243* 74.63/19.52 50(429) -> 430* 74.63/19.52 50(15) -> 16* 74.63/19.52 50(409) -> 410* 74.63/19.52 50(187) -> 188* 74.63/19.52 50(379) -> 380* 74.63/19.52 50(177) -> 178* 74.63/19.52 50(339) -> 340* 74.63/19.52 50(334) -> 335* 74.63/19.52 50(102) -> 103* 74.63/19.52 50(87) -> 88* 74.63/19.52 50(82) -> 83* 74.63/19.52 50(77) -> 78* 74.63/19.52 50(466) -> 467* 74.63/19.52 50(461) -> 453* 74.63/19.52 50(32) -> 329* 74.63/19.52 50(219) -> 220* 74.63/19.52 50(2) -> 81* 74.63/19.52 50(386) -> 378* 74.63/19.52 50(184) -> 185* 74.63/19.52 50(356) -> 357* 74.63/19.52 50(341) -> 342* 74.63/19.52 50(129) -> 123* 74.63/19.52 50(124) -> 125* 74.63/19.52 50(296) -> 297* 74.63/19.52 50(94) -> 95* 74.63/19.52 50(84) -> 85* 74.63/19.52 50(276) -> 277* 74.63/19.52 50(266) -> 267* 74.63/19.52 50(64) -> 65* 74.63/19.52 50(448) -> 449* 74.63/19.52 50(221) -> 216* 74.63/19.52 50(408) -> 409* 74.63/19.52 50(353) -> 354* 74.63/19.52 50(146) -> 147* 74.63/19.52 50(81) -> 344* 74.63/19.52 50(46) -> 47* 74.63/19.52 50(223) -> 224* 74.63/19.52 50(420) -> 421* 74.63/19.52 50(203) -> 204* 74.63/19.52 50(198) -> 199* 74.63/19.52 50(178) -> 179* 74.63/19.52 50(375) -> 376* 74.63/19.52 50(365) -> 366* 74.63/19.52 50(355) -> 356* 74.63/19.52 50(153) -> 154* 74.63/19.52 50(325) -> 326* 74.63/19.52 50(315) -> 316* 74.63/19.52 50(310) -> 362* 74.63/19.52 50(295) -> 296* 74.63/19.52 50(93) -> 94* 74.63/19.52 50(73) -> 287* 74.63/19.52 50(250) -> 251* 74.63/19.52 50(447) -> 448* 74.63/19.52 50(33) -> 34* 74.63/19.52 50(23) -> 253* 74.63/19.52 50(13) -> 23* 74.63/19.52 50(3) -> 51* 74.63/19.52 50(190) -> 191* 74.63/19.52 50(175) -> 176* 74.63/19.52 50(347) -> 348* 74.63/19.52 50(140) -> 231* 74.63/19.52 50(125) -> 126* 74.63/19.52 50(85) -> 86* 74.63/19.52 40(469) -> 470* 74.63/19.52 40(45) -> 46* 74.63/19.52 40(414) -> 415* 74.63/19.52 40(167) -> 168* 74.63/19.52 40(162) -> 163* 74.63/19.52 40(354) -> 355* 74.63/19.52 40(152) -> 153* 74.63/19.52 40(2) -> 270* 74.63/19.52 40(169) -> 170* 74.63/19.52 40(366) -> 367* 74.63/19.52 40(124) -> 181* 74.63/19.52 40(311) -> 312* 74.63/19.52 40(241) -> 242* 74.63/19.52 40(438) -> 439* 74.63/19.52 40(14) -> 15* 74.63/19.52 40(4) -> 194* 74.63/19.52 40(196) -> 197* 74.63/19.52 40(333) -> 334* 74.63/19.52 40(126) -> 127* 74.63/19.52 40(116) -> 280* 74.63/19.52 40(313) -> 314* 74.63/19.52 40(303) -> 304* 74.63/19.52 40(91) -> 92* 74.63/19.52 40(86) -> 87* 74.63/19.52 40(81) -> 454* 74.63/19.52 40(76) -> 77* 74.63/19.52 40(66) -> 59* 74.63/19.52 40(460) -> 461* 74.63/19.52 40(450) -> 451* 74.63/19.52 40(233) -> 234* 74.63/19.52 40(208) -> 201* 74.63/19.52 40(350) -> 351* 74.63/19.52 40(345) -> 346* 74.63/19.52 40(330) -> 331* 74.63/19.52 40(310) -> 379* 74.63/19.52 40(280) -> 281* 74.63/19.52 40(255) -> 256* 74.63/19.52 40(43) -> 108* 74.63/19.52 40(225) -> 226* 74.63/19.52 40(13) -> 261* 74.63/19.52 40(3) -> 403* 74.63/19.52 40(195) -> 196* 74.63/19.52 40(392) -> 393* 74.63/19.52 40(302) -> 303* 74.63/19.52 40(95) -> 96* 74.63/19.52 1 -> 32* 74.63/19.52 12 -> 81,329,354 74.63/19.52 22 -> 3,149,321 74.63/19.52 31 -> 32,353 74.63/19.52 41 -> 3,140 74.63/19.52 50 -> 32,353 74.63/19.52 59 -> 270,454 74.63/19.52 67 -> 310,271 74.63/19.52 72 -> 32,320 74.63/19.52 80 -> 270* 74.63/19.52 90 -> 13,428 74.63/19.52 99 -> 270* 74.63/19.52 107 -> 32,131 74.63/19.52 114 -> 13,52 74.63/19.52 123 -> 3,149 74.63/19.52 130 -> 270,454 74.63/19.52 139 -> 32,131 74.63/19.52 148 -> 32,353 74.63/19.52 157 -> 270,454 74.63/19.52 165 -> 81,51 74.63/19.52 173 -> 81,51,231 74.63/19.52 180 -> 81,51,231 74.63/19.52 186 -> 3,149 74.63/19.52 193 -> 13* 74.63/19.52 201 -> 270,403 74.63/19.52 209 -> 81,23,263 74.63/19.52 216 -> 310,271 74.63/19.52 222 -> 81,329 74.63/19.52 230 -> 32,320 74.63/19.52 238 -> 81,329 74.63/19.52 244 -> 270* 74.63/19.52 252 -> 3,463 74.63/19.52 260 -> 81,51 74.63/19.52 269 -> 270* 74.63/19.52 279 -> 13,428 74.63/19.52 286 -> 81,329 74.63/19.52 293 -> 3,140 74.63/19.52 301 -> 81,329 74.63/19.52 309 -> 270* 74.63/19.52 319 -> 32* 74.63/19.52 328 -> 32* 74.63/19.52 337 -> 13,428,262 74.63/19.52 343 -> 32,320 74.63/19.52 352 -> 32* 74.63/19.52 361 -> 3,140 74.63/19.52 370 -> 270* 74.63/19.52 378 -> 81* 74.63/19.52 387 -> 13,428 74.63/19.52 394 -> 270* 74.63/19.52 402 -> 3,140 74.63/19.52 411 -> 3,437 74.63/19.52 418 -> 270* 74.63/19.52 427 -> 32,131,202 74.63/19.52 436 -> 32,320 74.63/19.52 445 -> 32* 74.63/19.52 453 -> 81* 74.63/19.52 462 -> 32* 74.63/19.52 problem: 74.63/19.52 74.63/19.52 Qed 74.72/19.52 EOF