YES Problem: 0(x1) -> 1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1(1(1(1(1(1(1(1(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 2(x1) -> 3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3(3(3(3(3(3(3(3(3(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 0(1(2(3(4(5(4(5(x1)))))))) -> 0(1(2(3(4(4(5(5(x1)))))))) Proof: String Reversal Processor: 0(x1) -> 1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1 ( 1(1(1(1(1(1(1(1(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 2(x1) -> 3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3 ( 3(3(3(3(3(3(3(3(3(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 5(4(5(4(3(2(1(0(x1)))))))) -> 5(5(4(4(3(2(1(0(x1)))))))) Bounds Processor: bound: 1 enrichment: match automaton: final states: {920,460,1} transitions: 20(922) -> 923* 11(1681) -> 1682* 11(1399) -> 1400* 11(1834) -> 1835* 11(1707) -> 1708* 11(1661) -> 1662* 11(1462) -> 1463* 11(1746) -> 1747* 11(1452) -> 1453* 11(1420) -> 1421* 11(1667) -> 1668* 11(1514) -> 1515* 11(1779) -> 1780* 11(1757) -> 1758* 11(1530) -> 1531* 11(1609) -> 1610* 11(1672) -> 1673* 11(1537) -> 1538* 11(1407) -> 1408* 11(1798) -> 1799* 11(1594) -> 1595* 11(1549) -> 1550* 11(1486) -> 1487* 11(1431) -> 1432* 11(1397) -> 1398* 11(1795) -> 1796* 11(1417) -> 1418* 11(1503) -> 1504* 11(1552) -> 1553* 11(1554) -> 1555* 11(1591) -> 1592* 11(1460) -> 1461* 11(1673) -> 1674* 11(1708) -> 1709* 11(1803) -> 1804* 11(1788) -> 1789* 11(1674) -> 1675* 11(1582) -> 1583* 11(1532) -> 1533* 11(1790) -> 1791* 11(1525) -> 1526* 11(1387) -> 1388* 11(1551) -> 1552* 11(1442) -> 1443* 11(1419) -> 1420* 11(1548) -> 1549* 11(1564) -> 1565* 11(1402) -> 1403* 11(1725) -> 1726* 11(1684) -> 1685* 11(1412) -> 1413* 11(1394) -> 1395* 11(1473) -> 1474* 11(1441) -> 1442* 11(1833) -> 1834* 11(1466) -> 1467* 11(1754) -> 1755* 11(1425) -> 1426* 11(1651) -> 1652* 11(1535) -> 1536* 11(1518) -> 1519* 11(1629) -> 1630* 11(1546) -> 1547* 11(1638) -> 1639* 11(1616) -> 1617* 11(1542) -> 1543* 11(1694) -> 1695* 11(1586) -> 1587* 11(1811) -> 1812* 11(1761) -> 1762* 11(1680) -> 1681* 11(1569) -> 1570* 11(1527) -> 1528* 11(1840) -> 1841* 11(1839) -> 1840* 11(1533) -> 1534* 11(1436) -> 1437* 11(1706) -> 1707* 11(1440) -> 1441* 11(1647) -> 1648* 11(1736) -> 1737* 11(1547) -> 1548* 11(1453) -> 1454* 11(1556) -> 1557* 11(1475) -> 1476* 11(1699) -> 1700* 11(1799) -> 1800* 11(1705) -> 1706* 11(1439) -> 1440* 11(1653) -> 1654* 11(1583) -> 1584* 11(1391) -> 1392* 11(1506) -> 1507* 11(1570) -> 1571* 11(1534) -> 1535* 11(1802) -> 1803* 11(1468) -> 1469* 11(1585) -> 1586* 11(1748) -> 1749* 11(1606) -> 1607* 11(1428) -> 1429* 11(1505) -> 1506* 11(1697) -> 1698* 11(1636) -> 1637* 11(1640) -> 1641* 11(1806) -> 1807* 11(1727) -> 1728* 11(1722) -> 1723* 11(1633) -> 1634* 11(1504) -> 1505* 11(1782) -> 1783* 11(1718) -> 1719* 11(1700) -> 1701* 11(1575) -> 1576* 11(1621) -> 1622* 11(1587) -> 1588* 11(1482) -> 1483* 11(1626) -> 1627* 11(1728) -> 1729* 11(1631) -> 1632* 11(1610) -> 1611* 11(1817) -> 1818* 11(1732) -> 1733* 11(1730) -> 1731* 11(1561) -> 1562* 11(1605) -> 1606* 11(1794) -> 1795* 11(1830) -> 1831* 11(1497) -> 1498* 11(1390) -> 1391* 11(1603) -> 1604* 11(1581) -> 1582* 11(1565) -> 1566* 11(1433) -> 1434* 11(1756) -> 1757* 11(1714) -> 1715* 11(1677) -> 1678* 11(1713) -> 1714* 11(1491) -> 1492* 11(1449) -> 1450* 11(1601) -> 1602* 11(1698) -> 1699* 11(1721) -> 1722* 11(1446) -> 1447* 11(1510) -> 1511* 11(1467) -> 1468* 11(1665) -> 1666* 11(1508) -> 1509* 11(1729) -> 1730* 11(1797) -> 1798* 11(1400) -> 1401* 11(1656) -> 1657* 11(1574) -> 1575* 11(1652) -> 1653* 11(1477) -> 1478* 11(1762) -> 1763* 11(1671) -> 1672* 11(1469) -> 1470* 11(1521) -> 1522* 11(1536) -> 1537* 11(1703) -> 1704* 11(1539) -> 1540* 11(1557) -> 1558* 11(1423) -> 1424* 11(1816) -> 1817* 11(1739) -> 1740* 11(1513) -> 1514* 11(1456) -> 1457* 11(1641) -> 1642* 11(1660) -> 1661* 11(1801) -> 1802* 11(1764) -> 1765* 11(1511) -> 1512* 11(1823) -> 1824* 11(1405) -> 1406* 11(1810) -> 1811* 11(1715) -> 1716* 11(1588) -> 1589* 11(1421) -> 1422* 11(1563) -> 1564* 11(1443) -> 1444* 11(1558) -> 1559* 11(1793) -> 1794* 11(1411) -> 1412* 11(1414) -> 1415* 11(1760) -> 1761* 11(1738) -> 1739* 11(1485) -> 1486* 11(1529) -> 1530* 11(1396) -> 1397* 11(1776) -> 1777* 11(1630) -> 1631* 11(1613) -> 1614* 11(1401) -> 1402* 11(1664) -> 1665* 11(1493) -> 1494* 11(1686) -> 1687* 11(1559) -> 1560* 11(1768) -> 1769* 11(1612) -> 1613* 11(1657) -> 1658* 11(1777) -> 1778* 11(1463) -> 1464* 11(1450) -> 1451* 11(1765) -> 1766* 11(1478) -> 1479* 11(1649) -> 1650* 11(1648) -> 1649* 11(1413) -> 1414* 11(1662) -> 1663* 11(1622) -> 1623* 11(1528) -> 1529* 11(1658) -> 1659* 11(1494) -> 1495* 11(1476) -> 1477* 11(1731) -> 1732* 11(1643) -> 1644* 11(1496) -> 1497* 11(1432) -> 1433* 11(1589) -> 1590* 11(1398) -> 1399* 11(1822) -> 1823* 11(1691) -> 1692* 11(1620) -> 1621* 11(1778) -> 1779* 11(1751) -> 1752* 11(1598) -> 1599* 11(1393) -> 1394* 11(1666) -> 1667* 11(1429) -> 1430* 11(1426) -> 1427* 11(1831) -> 1832* 11(1480) -> 1481* 11(1678) -> 1679* 11(1758) -> 1759* 11(1737) -> 1738* 11(1568) -> 1569* 11(1711) -> 1712* 11(1682) -> 1683* 11(1448) -> 1449* 11(1650) -> 1651* 11(1459) -> 1460* 11(1704) -> 1705* 11(1827) -> 1828* 11(1617) -> 1618* 11(1786) -> 1787* 11(1785) -> 1786* 11(1832) -> 1833* 11(1743) -> 1744* 11(1424) -> 1425* 11(1679) -> 1680* 11(1787) -> 1788* 11(1627) -> 1628* 11(1451) -> 1452* 11(1808) -> 1809* 11(1654) -> 1655* 11(1595) -> 1596* 11(1825) -> 1826* 11(1454) -> 1455* 11(1844) -> 1845* 11(1474) -> 1475* 11(1573) -> 1574* 11(1607) -> 1608* 11(1805) -> 1806* 11(1670) -> 1671* 11(1726) -> 1727* 11(1550) -> 1551* 11(1685) -> 1686* 11(1813) -> 1814* 11(1812) -> 1813* 11(1526) -> 1527* 11(1481) -> 1482* 11(1458) -> 1459* 11(1637) -> 1638* 11(1628) -> 1629* 11(1416) -> 1417* 11(1724) -> 1725* 11(1544) -> 1545* 11(1773) -> 1774* 11(1783) -> 1784* 11(1775) -> 1776* 11(1829) -> 1830* 11(1639) -> 1640* 11(1696) -> 1697* 11(1750) -> 1751* 11(1676) -> 1677* 11(1590) -> 1591* 11(1755) -> 1756* 11(1584) -> 1585* 11(1501) -> 1502* 11(1499) -> 1500* 11(1655) -> 1656* 11(1498) -> 1499* 11(1465) -> 1466* 11(1614) -> 1615* 11(1592) -> 1593* 11(1734) -> 1735* 11(1828) -> 1829* 11(1742) -> 1743* 11(1571) -> 1572* 11(1577) -> 1578* 11(1646) -> 1647* 11(1632) -> 1633* 11(1635) -> 1636* 11(1455) -> 1456* 11(1769) -> 1770* 11(1784) -> 1785* 11(1770) -> 1771* 11(1430) -> 1431* 11(1596) -> 1597* 11(1461) -> 1462* 11(1688) -> 1689* 11(1509) -> 1510* 11(1479) -> 1480* 11(1464) -> 1465* 11(1744) -> 1745* 11(1683) -> 1684* 11(1523) -> 1524* 11(1719) -> 1720* 11(1818) -> 1819* 11(1759) -> 1760* 11(1763) -> 1764* 11(1555) -> 1556* 11(1531) -> 1532* 11(1752) -> 1753* 11(1716) -> 1717* 11(1675) -> 1676* 11(1701) -> 1702* 11(1519) -> 1520* 11(1740) -> 1741* 11(1597) -> 1598* 11(1427) -> 1428* 11(1447) -> 1448* 11(1634) -> 1635* 11(1444) -> 1445* 11(1710) -> 1711* 11(1410) -> 1411* 11(1709) -> 1710* 11(1625) -> 1626* 11(1438) -> 1439* 11(1593) -> 1594* 11(1507) -> 1508* 11(1487) -> 1488* 11(1800) -> 1801* 11(1553) -> 1554* 11(1753) -> 1754* 11(1434) -> 1435* 11(1663) -> 1664* 11(1435) -> 1436* 11(1608) -> 1609* 11(1604) -> 1605* 11(1560) -> 1561* 11(1767) -> 1768* 11(1445) -> 1446* 11(1415) -> 1416* 11(1826) -> 1827* 11(1717) -> 1718* 11(1600) -> 1601* 11(1807) -> 1808* 11(1745) -> 1746* 11(1687) -> 1688* 11(1741) -> 1742* 11(1695) -> 1696* 11(1774) -> 1775* 11(1644) -> 1645* 11(1611) -> 1612* 11(1489) -> 1490* 11(1472) -> 1473* 11(1500) -> 1501* 11(1809) -> 1810* 11(1841) -> 1842* 11(1566) -> 1567* 11(1723) -> 1724* 11(1689) -> 1690* 11(1796) -> 1797* 11(1545) -> 1546* 11(1483) -> 1484* 11(1437) -> 1438* 11(1668) -> 1669* 11(1541) -> 1542* 11(1619) -> 1620* 11(1578) -> 1579* 11(1821) -> 1822* 11(1389) -> 1390* 11(1418) -> 1419* 11(1733) -> 1734* 11(1422) -> 1423* 11(1520) -> 1521* 11(1517) -> 1518* 11(1791) -> 1792* 11(1842) -> 1843* 11(1838) -> 1839* 11(1771) -> 1772* 11(1712) -> 1713* 11(1820) -> 1821* 11(1659) -> 1660* 11(1540) -> 1541* 11(1567) -> 1568* 11(1388) -> 1389* 11(1580) -> 1581* 11(1395) -> 1396* 11(1747) -> 1748* 11(1789) -> 1790* 11(1781) -> 1782* 11(1392) -> 1393* 11(1490) -> 1491* 11(1408) -> 1409* 11(1693) -> 1694* 11(1690) -> 1691* 11(1516) -> 1517* 11(1735) -> 1736* 11(1488) -> 1489* 11(1749) -> 1750* 11(1562) -> 1563* 11(1495) -> 1496* 11(1615) -> 1616* 11(1579) -> 1580* 11(1642) -> 1643* 11(1522) -> 1523* 11(1837) -> 1838* 11(1470) -> 1471* 11(1576) -> 1577* 11(1804) -> 1805* 11(1766) -> 1767* 11(1720) -> 1721* 11(1602) -> 1603* 11(1403) -> 1404* 11(1524) -> 1525* 11(1780) -> 1781* 11(1409) -> 1410* 11(1815) -> 1816* 11(1543) -> 1544* 11(1624) -> 1625* 11(1836) -> 1837* 11(1623) -> 1624* 11(1492) -> 1493* 11(1502) -> 1503* 11(1702) -> 1703* 11(1669) -> 1670* 11(1538) -> 1539* 11(1835) -> 1836* 11(1618) -> 1619* 11(1404) -> 1405* 11(1814) -> 1815* 11(1843) -> 1844* 11(1645) -> 1646* 11(1599) -> 1600* 11(1792) -> 1793* 11(1819) -> 1820* 11(1457) -> 1458* 11(1406) -> 1407* 11(1484) -> 1485* 11(1572) -> 1573* 11(1515) -> 1516* 11(1512) -> 1513* 11(1824) -> 1825* 11(1692) -> 1693* 11(1471) -> 1472* 11(1772) -> 1773* 10(69) -> 70* 10(297) -> 298* 10(171) -> 172* 10(102) -> 103* 10(182) -> 183* 10(153) -> 154* 10(168) -> 169* 10(47) -> 48* 10(326) -> 327* 10(119) -> 120* 10(265) -> 266* 10(301) -> 302* 10(194) -> 195* 10(391) -> 392* 10(122) -> 123* 10(432) -> 433* 10(438) -> 439* 10(427) -> 428* 10(116) -> 117* 10(417) -> 418* 10(399) -> 400* 10(207) -> 208* 10(160) -> 161* 10(445) -> 446* 10(115) -> 116* 10(72) -> 73* 10(273) -> 274* 10(158) -> 159* 10(446) -> 447* 10(339) -> 340* 10(68) -> 69* 10(169) -> 170* 10(193) -> 194* 10(148) -> 149* 10(88) -> 89* 10(200) -> 201* 10(279) -> 280* 10(386) -> 387* 10(296) -> 297* 10(393) -> 394* 10(13) -> 14* 10(179) -> 180* 10(370) -> 371* 10(286) -> 287* 10(392) -> 393* 10(400) -> 401* 10(77) -> 78* 10(199) -> 200* 10(385) -> 386* 10(283) -> 284* 10(287) -> 288* 10(360) -> 361* 10(449) -> 450* 10(106) -> 107* 10(231) -> 232* 10(144) -> 145* 10(327) -> 328* 10(145) -> 146* 10(185) -> 186* 10(328) -> 329* 10(210) -> 211* 10(5) -> 6* 10(58) -> 59* 10(458) -> 459* 10(31) -> 32* 10(190) -> 191* 10(109) -> 110* 10(188) -> 189* 10(59) -> 60* 10(261) -> 262* 10(431) -> 432* 10(242) -> 243* 10(367) -> 368* 10(219) -> 220* 10(285) -> 286* 10(253) -> 254* 10(187) -> 188* 10(266) -> 267* 10(16) -> 17* 10(44) -> 45* 10(78) -> 79* 10(41) -> 42* 10(34) -> 35* 10(422) -> 423* 10(343) -> 344* 10(278) -> 279* 10(349) -> 350* 10(162) -> 163* 10(365) -> 366* 10(209) -> 210* 10(270) -> 271* 10(243) -> 244* 10(357) -> 358* 10(454) -> 455* 10(229) -> 230* 10(108) -> 109* 10(450) -> 451* 10(186) -> 187* 10(212) -> 213* 10(60) -> 61* 10(338) -> 339* 10(226) -> 227* 10(142) -> 143* 10(444) -> 445* 10(354) -> 355* 10(154) -> 155* 10(321) -> 322* 10(396) -> 397* 10(447) -> 448* 10(97) -> 98* 10(428) -> 429* 10(413) -> 414* 10(368) -> 369* 10(143) -> 144* 10(268) -> 269* 10(412) -> 413* 10(276) -> 277* 10(174) -> 175* 10(57) -> 58* 10(372) -> 373* 10(73) -> 74* 10(12) -> 13* 10(437) -> 438* 10(289) -> 290* 10(126) -> 127* 10(40) -> 41* 10(381) -> 382* 10(319) -> 320* 10(201) -> 202* 10(39) -> 40* 10(120) -> 121* 10(183) -> 184* 10(333) -> 334* 10(426) -> 427* 10(342) -> 343* 10(82) -> 83* 10(20) -> 21* 10(85) -> 86* 10(382) -> 383* 10(369) -> 370* 10(75) -> 76* 10(42) -> 43* 10(415) -> 416* 10(293) -> 294* 10(127) -> 128* 10(172) -> 173* 10(103) -> 104* 10(205) -> 206* 10(22) -> 23* 10(409) -> 410* 10(455) -> 456* 10(129) -> 130* 10(45) -> 46* 10(302) -> 303* 10(240) -> 241* 10(195) -> 196* 10(101) -> 102* 10(267) -> 268* 10(93) -> 94* 10(259) -> 260* 10(35) -> 36* 10(340) -> 341* 10(401) -> 402* 10(52) -> 53* 10(165) -> 166* 10(439) -> 440* 10(374) -> 375* 10(377) -> 378* 10(27) -> 28* 10(407) -> 408* 10(180) -> 181* 10(15) -> 16* 10(290) -> 291* 10(405) -> 406* 10(361) -> 362* 10(441) -> 442* 10(33) -> 34* 10(312) -> 313* 10(7) -> 8* 10(251) -> 252* 10(345) -> 346* 10(307) -> 308* 10(280) -> 281* 10(137) -> 138* 10(130) -> 131* 10(228) -> 229* 10(29) -> 30* 10(295) -> 296* 10(112) -> 113* 10(305) -> 306* 10(419) -> 420* 10(208) -> 209* 10(139) -> 140* 10(269) -> 270* 10(161) -> 162* 10(421) -> 422* 10(387) -> 388* 10(173) -> 174* 10(324) -> 325* 10(111) -> 112* 10(241) -> 242* 10(81) -> 82* 10(221) -> 222* 10(262) -> 263* 10(347) -> 348* 10(121) -> 122* 10(379) -> 380* 10(32) -> 33* 10(316) -> 317* 10(125) -> 126* 10(216) -> 217* 10(132) -> 133* 10(94) -> 95* 10(23) -> 24* 10(70) -> 71* 10(198) -> 199* 10(62) -> 63* 10(304) -> 305* 10(140) -> 141* 10(256) -> 257* 10(136) -> 137* 10(311) -> 312* 10(320) -> 321* 10(238) -> 239* 10(203) -> 204* 10(66) -> 67* 10(141) -> 142* 10(53) -> 54* 10(118) -> 119* 10(100) -> 101* 10(245) -> 246* 10(83) -> 84* 10(176) -> 177* 10(211) -> 212* 10(87) -> 88* 10(218) -> 219* 10(921) -> 922* 10(14) -> 15* 10(6) -> 7* 10(135) -> 136* 10(192) -> 193* 10(147) -> 148* 10(86) -> 87* 10(325) -> 326* 10(84) -> 85* 10(11) -> 12* 10(249) -> 250* 10(284) -> 285* 10(17) -> 18* 10(282) -> 283* 10(214) -> 215* 10(264) -> 265* 10(164) -> 165* 10(3) -> 4* 10(206) -> 207* 10(272) -> 273* 10(223) -> 224* 10(315) -> 316* 10(383) -> 384* 10(281) -> 282* 10(96) -> 97* 10(404) -> 405* 10(89) -> 90* 10(181) -> 182* 10(38) -> 39* 10(178) -> 179* 10(150) -> 151* 10(74) -> 75* 10(248) -> 249* 10(341) -> 342* 10(254) -> 255* 10(244) -> 245* 10(403) -> 404* 10(433) -> 434* 10(313) -> 314* 10(138) -> 139* 10(76) -> 77* 10(352) -> 353* 10(402) -> 403* 10(151) -> 152* 10(104) -> 105* 10(155) -> 156* 10(292) -> 293* 10(222) -> 223* 10(435) -> 436* 10(436) -> 437* 10(236) -> 237* 10(234) -> 235* 10(37) -> 38* 10(26) -> 27* 10(459) -> 1* 10(334) -> 335* 10(394) -> 395* 10(390) -> 391* 10(61) -> 62* 10(233) -> 234* 10(63) -> 64* 10(423) -> 424* 10(124) -> 125* 10(408) -> 409* 10(21) -> 22* 10(8) -> 9* 10(366) -> 367* 10(448) -> 449* 10(159) -> 160* 10(4) -> 5* 10(373) -> 374* 10(92) -> 93* 10(43) -> 44* 10(217) -> 218* 10(25) -> 26* 10(107) -> 108* 10(376) -> 377* 10(239) -> 240* 10(71) -> 72* 10(131) -> 132* 10(291) -> 292* 10(189) -> 190* 10(355) -> 356* 10(247) -> 248* 10(294) -> 295* 10(24) -> 25* 10(220) -> 221* 10(55) -> 56* 10(235) -> 236* 10(323) -> 324* 10(308) -> 309* 10(152) -> 153* 10(215) -> 216* 10(36) -> 37* 10(348) -> 349* 10(303) -> 304* 10(411) -> 412* 10(30) -> 31* 10(350) -> 351* 10(442) -> 443* 10(113) -> 114* 10(255) -> 256* 10(252) -> 253* 10(225) -> 226* 10(451) -> 452* 10(310) -> 311* 10(429) -> 430* 10(232) -> 233* 10(309) -> 310* 10(80) -> 81* 10(453) -> 454* 10(19) -> 20* 10(166) -> 167* 10(380) -> 381* 10(79) -> 80* 10(378) -> 379* 10(246) -> 247* 10(170) -> 171* 10(99) -> 100* 10(67) -> 68* 10(64) -> 65* 10(191) -> 192* 10(314) -> 315* 10(95) -> 96* 10(260) -> 261* 10(50) -> 51* 10(375) -> 376* 10(48) -> 49* 10(213) -> 214* 10(364) -> 365* 10(98) -> 99* 10(418) -> 419* 10(277) -> 278* 10(110) -> 111* 10(202) -> 203* 10(452) -> 453* 10(353) -> 354* 10(54) -> 55* 10(105) -> 106* 10(359) -> 360* 10(146) -> 147* 10(398) -> 399* 10(356) -> 357* 10(197) -> 198* 10(175) -> 176* 10(49) -> 50* 10(230) -> 231* 10(271) -> 272* 10(184) -> 185* 10(300) -> 301* 10(10) -> 11* 10(204) -> 205* 10(258) -> 259* 10(331) -> 332* 10(134) -> 135* 10(133) -> 134* 10(128) -> 129* 10(257) -> 258* 10(456) -> 457* 10(346) -> 347* 10(65) -> 66* 10(288) -> 289* 10(351) -> 352* 10(90) -> 91* 10(371) -> 372* 10(414) -> 415* 10(224) -> 225* 10(335) -> 336* 10(306) -> 307* 10(363) -> 364* 10(430) -> 431* 10(9) -> 10* 10(332) -> 333* 10(299) -> 300* 10(425) -> 426* 10(263) -> 264* 10(416) -> 417* 10(91) -> 92* 10(457) -> 458* 10(227) -> 228* 10(117) -> 118* 10(362) -> 363* 10(275) -> 276* 10(395) -> 396* 10(358) -> 359* 10(156) -> 157* 10(123) -> 124* 10(424) -> 425* 10(56) -> 57* 10(389) -> 390* 10(196) -> 197* 10(329) -> 330* 10(28) -> 29* 10(46) -> 47* 10(250) -> 251* 10(336) -> 337* 10(177) -> 178* 10(298) -> 299* 10(318) -> 319* 10(434) -> 435* 10(330) -> 331* 10(274) -> 275* 10(406) -> 407* 10(344) -> 345* 10(420) -> 421* 10(237) -> 238* 10(384) -> 385* 10(440) -> 441* 10(149) -> 150* 10(114) -> 115* 10(18) -> 19* 10(317) -> 318* 10(51) -> 52* 10(443) -> 444* 10(410) -> 411* 10(397) -> 398* 10(337) -> 338* 10(163) -> 164* 10(167) -> 168* 10(388) -> 389* 10(157) -> 158* 10(322) -> 323* 10(2) -> 3* 40(924) -> 925* 40(925) -> 926* 31(2289) -> 2290* 31(2295) -> 2296* 31(1925) -> 1926* 31(1851) -> 1852* 31(1875) -> 1876* 31(2122) -> 2123* 31(1988) -> 1989* 31(2147) -> 2148* 31(2064) -> 2065* 31(2136) -> 2137* 31(2096) -> 2097* 31(2192) -> 2193* 31(2084) -> 2085* 31(2056) -> 2057* 31(2068) -> 2069* 31(1880) -> 1881* 31(2167) -> 2168* 31(2053) -> 2054* 31(2075) -> 2076* 31(2270) -> 2271* 31(2299) -> 2300* 31(2292) -> 2293* 31(2300) -> 2301* 31(2087) -> 2088* 31(2047) -> 2048* 31(2244) -> 2245* 31(2095) -> 2096* 31(2023) -> 2024* 31(2263) -> 2264* 31(2030) -> 2031* 31(2203) -> 2204* 31(2085) -> 2086* 31(2286) -> 2287* 31(2062) -> 2063* 31(1887) -> 1888* 31(2093) -> 2094* 31(1897) -> 1898* 31(1950) -> 1951* 31(2102) -> 2103* 31(2141) -> 2142* 31(1849) -> 1850* 31(1993) -> 1994* 31(2098) -> 2099* 31(2018) -> 2019* 31(2034) -> 2035* 31(1920) -> 1921* 31(1930) -> 1931* 31(2264) -> 2265* 31(2101) -> 2102* 31(2302) -> 2303* 31(1902) -> 1903* 31(2123) -> 2124* 31(2241) -> 2242* 31(1912) -> 1913* 31(1881) -> 1882* 31(1893) -> 1894* 31(1954) -> 1955* 31(2282) -> 2283* 31(1995) -> 1996* 31(2121) -> 2122* 31(2118) -> 2119* 31(2029) -> 2030* 31(1874) -> 1875* 31(1884) -> 1885* 31(2285) -> 2286* 31(2288) -> 2289* 31(2006) -> 2007* 31(1984) -> 1985* 31(1921) -> 1922* 31(2260) -> 2261* 31(2037) -> 2038* 31(2237) -> 2238* 31(1846) -> 1847* 31(2274) -> 2275* 31(2180) -> 2181* 31(2041) -> 2042* 31(2247) -> 2248* 31(1916) -> 1917* 31(1979) -> 1980* 31(2262) -> 2263* 31(2059) -> 2060* 31(2153) -> 2154* 31(2114) -> 2115* 31(2107) -> 2108* 31(2097) -> 2098* 31(2078) -> 2079* 31(1949) -> 1950* 31(2220) -> 2221* 31(2198) -> 2199* 31(2080) -> 2081* 31(2021) -> 2022* 31(2109) -> 2110* 31(2065) -> 2066* 31(2089) -> 2090* 31(2281) -> 2282* 31(1971) -> 1972* 31(1850) -> 1851* 31(2215) -> 2216* 31(2188) -> 2189* 31(2100) -> 2101* 31(2011) -> 2012* 31(2079) -> 2080* 31(2232) -> 2233* 31(1864) -> 1865* 31(2217) -> 2218* 31(2171) -> 2172* 31(1861) -> 1862* 31(2051) -> 2052* 31(2039) -> 2040* 31(2133) -> 2134* 31(2129) -> 2130* 31(2055) -> 2056* 31(2294) -> 2295* 31(2249) -> 2250* 31(2120) -> 2121* 31(2228) -> 2229* 31(1908) -> 1909* 31(2291) -> 2292* 31(2160) -> 2161* 31(2038) -> 2039* 31(1847) -> 1848* 31(2174) -> 2175* 31(1976) -> 1977* 31(2164) -> 2165* 31(2172) -> 2173* 31(2111) -> 2112* 31(2007) -> 2008* 31(2115) -> 2116* 31(2124) -> 2125* 31(1854) -> 1855* 31(1853) -> 1854* 31(2304) -> 2305* 31(1958) -> 1959* 31(1951) -> 1952* 31(2137) -> 2138* 31(1967) -> 1968* 31(2026) -> 2027* 31(1945) -> 1946* 31(1944) -> 1945* 31(2173) -> 2174* 31(2169) -> 2170* 31(2060) -> 2061* 31(2193) -> 2194* 31(1857) -> 1858* 31(2150) -> 2151* 31(2143) -> 2144* 31(1911) -> 1912* 31(2245) -> 2246* 31(2287) -> 2288* 31(1966) -> 1967* 31(1919) -> 1920* 31(2008) -> 2009* 31(2197) -> 2198* 31(2077) -> 2078* 31(1903) -> 1904* 31(2297) -> 2298* 31(2195) -> 2196* 31(2209) -> 2210* 31(2186) -> 2187* 31(2015) -> 2016* 31(1873) -> 1874* 31(2025) -> 2026* 31(2020) -> 2021* 31(2279) -> 2280* 31(2258) -> 2259* 31(2159) -> 2160* 31(2031) -> 2032* 31(2013) -> 2014* 31(2234) -> 2235* 31(2033) -> 2034* 31(1953) -> 1954* 31(2212) -> 2213* 31(2113) -> 2114* 31(2099) -> 2100* 31(2165) -> 2166* 31(2298) -> 2299* 31(2042) -> 2043* 31(2139) -> 2140* 31(2106) -> 2107* 31(1907) -> 1908* 31(2022) -> 2023* 31(1947) -> 1948* 31(2162) -> 2163* 31(2146) -> 2147* 31(1997) -> 1998* 31(1923) -> 1924* 31(2231) -> 2232* 31(2092) -> 2093* 31(2256) -> 2257* 31(2134) -> 2135* 31(2252) -> 2253* 31(1998) -> 1999* 31(2181) -> 2182* 31(2003) -> 2004* 31(2271) -> 2272* 31(2054) -> 2055* 31(2206) -> 2207* 31(1972) -> 1973* 31(1890) -> 1891* 31(2277) -> 2278* 31(2016) -> 2017* 31(1936) -> 1937* 31(2290) -> 2291* 31(2202) -> 2203* 31(1952) -> 1953* 31(1914) -> 1915* 31(1978) -> 1979* 31(1888) -> 1889* 31(2117) -> 2118* 31(2154) -> 2155* 31(2276) -> 2277* 31(2213) -> 2214* 31(2268) -> 2269* 31(1928) -> 1929* 31(1891) -> 1892* 31(2090) -> 2091* 31(2152) -> 2153* 31(1926) -> 1927* 31(2229) -> 2230* 31(2278) -> 2279* 31(1899) -> 1900* 31(1882) -> 1883* 31(1856) -> 1857* 31(2267) -> 2268* 31(1866) -> 1867* 31(1904) -> 1905* 31(2014) -> 2015* 31(1889) -> 1890* 31(1935) -> 1936* 31(1905) -> 1906* 31(2012) -> 2013* 31(2127) -> 2128* 31(2233) -> 2234* 31(2243) -> 2244* 31(2104) -> 2105* 31(2211) -> 2212* 31(2185) -> 2186* 31(2067) -> 2068* 31(1892) -> 1893* 31(2269) -> 2270* 31(1986) -> 1987* 31(2266) -> 2267* 31(2239) -> 2240* 31(2225) -> 2226* 31(2296) -> 2297* 31(1909) -> 1910* 31(2151) -> 2152* 31(1985) -> 1986* 31(2074) -> 2075* 31(2110) -> 2111* 31(2255) -> 2256* 31(2128) -> 2129* 31(2019) -> 2020* 31(2190) -> 2191* 31(2073) -> 2074* 31(1915) -> 1916* 31(2200) -> 2201* 31(2061) -> 2062* 31(2036) -> 2037* 31(2103) -> 2104* 31(1955) -> 1956* 31(2058) -> 2059* 31(2221) -> 2222* 31(1922) -> 1923* 31(1941) -> 1942* 31(2265) -> 2266* 31(1991) -> 1992* 31(2132) -> 2133* 31(2057) -> 2058* 31(1848) -> 1849* 31(1965) -> 1966* 31(2224) -> 2225* 31(2199) -> 2200* 31(1910) -> 1911* 31(2176) -> 2177* 31(2052) -> 2053* 31(2208) -> 2209* 31(2094) -> 2095* 31(2157) -> 2158* 31(2027) -> 2028* 31(2189) -> 2190* 31(2010) -> 2011* 31(2004) -> 2005* 31(2227) -> 2228* 31(2223) -> 2224* 31(1895) -> 1896* 31(1938) -> 1939* 31(2032) -> 2033* 31(1980) -> 1981* 31(2119) -> 2120* 31(2177) -> 2178* 31(2257) -> 2258* 31(1973) -> 1974* 31(1929) -> 1930* 31(1963) -> 1964* 31(2071) -> 2072* 31(1964) -> 1965* 31(2168) -> 2169* 31(1868) -> 1869* 31(2194) -> 2195* 31(2140) -> 2141* 31(1961) -> 1962* 31(1885) -> 1886* 31(1937) -> 1938* 31(2166) -> 2167* 31(2191) -> 2192* 31(2048) -> 2049* 31(2161) -> 2162* 31(1970) -> 1971* 31(1987) -> 1988* 31(2182) -> 2183* 31(1932) -> 1933* 31(1876) -> 1877* 31(2175) -> 2176* 31(2088) -> 2089* 31(1934) -> 1935* 31(2283) -> 2284* 31(2063) -> 2064* 31(2251) -> 2252* 31(1886) -> 1887* 31(2207) -> 2208* 31(2144) -> 2145* 31(2076) -> 2077* 31(1894) -> 1895* 31(2158) -> 2159* 31(1872) -> 1873* 31(1865) -> 1866* 31(2201) -> 2202* 31(2187) -> 2188* 31(1969) -> 1970* 31(2242) -> 2243* 31(1906) -> 1907* 31(2082) -> 2083* 31(1962) -> 1963* 31(2044) -> 2045* 31(1943) -> 1944* 31(2108) -> 2109* 31(1983) -> 1984* 31(2163) -> 2164* 31(2138) -> 2139* 31(1898) -> 1899* 31(2125) -> 2126* 31(1858) -> 1859* 31(2156) -> 2157* 31(2250) -> 2251* 31(1913) -> 1914* 31(2028) -> 2029* 31(2046) -> 2047* 31(2009) -> 2010* 31(2246) -> 2247* 31(1959) -> 1960* 31(1933) -> 1934* 31(2145) -> 2146* 31(2112) -> 2113* 31(1870) -> 1871* 31(2035) -> 2036* 31(2184) -> 2185* 31(2070) -> 2071* 31(2043) -> 2044* 31(2002) -> 2003* 31(2131) -> 2132* 31(1960) -> 1961* 31(1901) -> 1902* 31(2248) -> 2249* 31(1871) -> 1872* 31(2130) -> 2131* 31(2142) -> 2143* 31(1975) -> 1976* 31(2303) -> 2304* 31(2204) -> 2205* 31(2005) -> 2006* 31(2024) -> 2025* 31(1994) -> 1995* 31(2116) -> 2117* 31(1917) -> 1918* 31(2066) -> 2067* 31(2001) -> 2002* 31(1927) -> 1928* 31(2155) -> 2156* 31(2272) -> 2273* 31(2235) -> 2236* 31(2091) -> 2092* 31(1957) -> 1958* 31(1992) -> 1993* 31(1956) -> 1957* 31(2148) -> 2149* 31(1946) -> 1947* 31(1879) -> 1880* 31(2218) -> 2219* 31(2126) -> 2127* 31(1900) -> 1901* 31(2210) -> 2211* 31(2275) -> 2276* 31(2261) -> 2262* 31(2222) -> 2223* 31(2230) -> 2231* 31(2081) -> 2082* 31(1990) -> 1991* 31(1862) -> 1863* 31(2293) -> 2294* 31(2305) -> 2306* 31(1981) -> 1982* 31(1989) -> 1990* 31(1859) -> 1860* 31(1999) -> 2000* 31(2280) -> 2281* 31(1867) -> 1868* 31(2301) -> 2302* 31(2179) -> 2180* 31(1940) -> 1941* 31(1918) -> 1919* 31(1924) -> 1925* 31(1939) -> 1940* 31(2049) -> 2050* 31(2050) -> 2051* 31(2253) -> 2254* 31(2170) -> 2171* 31(1878) -> 1879* 31(2273) -> 2274* 31(2040) -> 2041* 31(1974) -> 1975* 31(2240) -> 2241* 31(2105) -> 2106* 31(2236) -> 2237* 31(2045) -> 2046* 31(1860) -> 1861* 31(1977) -> 1978* 31(2072) -> 2073* 31(1931) -> 1932* 31(1869) -> 1870* 31(2086) -> 2087* 31(1863) -> 1864* 31(1883) -> 1884* 31(2083) -> 2084* 31(2017) -> 2018* 31(2135) -> 2136* 31(1968) -> 1969* 31(2205) -> 2206* 31(1982) -> 1983* 31(2254) -> 2255* 31(1855) -> 1856* 31(2259) -> 2260* 31(2000) -> 2001* 31(2069) -> 2070* 31(1877) -> 1878* 31(2149) -> 2150* 31(1948) -> 1949* 31(1942) -> 1943* 31(2216) -> 2217* 31(2219) -> 2220* 31(1852) -> 1853* 31(2178) -> 2179* 31(2226) -> 2227* 31(2238) -> 2239* 31(1896) -> 1897* 31(2196) -> 2197* 31(2284) -> 2285* 31(2214) -> 2215* 31(1996) -> 1997* 31(2183) -> 2184* 50(927) -> 920* 50(926) -> 927* 30(873) -> 874* 30(638) -> 639* 30(806) -> 807* 30(643) -> 644* 30(783) -> 784* 30(858) -> 859* 30(891) -> 892* 30(629) -> 630* 30(473) -> 474* 30(895) -> 896* 30(870) -> 871* 30(838) -> 839* 30(851) -> 852* 30(788) -> 789* 30(878) -> 879* 30(615) -> 616* 30(588) -> 589* 30(645) -> 646* 30(585) -> 586* 30(908) -> 909* 30(808) -> 809* 30(692) -> 693* 30(750) -> 751* 30(661) -> 662* 30(606) -> 607* 30(568) -> 569* 30(852) -> 853* 30(795) -> 796* 30(678) -> 679* 30(634) -> 635* 30(861) -> 862* 30(559) -> 560* 30(694) -> 695* 30(491) -> 492* 30(817) -> 818* 30(713) -> 714* 30(796) -> 797* 30(573) -> 574* 30(487) -> 488* 30(2) -> 461* 30(729) -> 730* 30(545) -> 546* 30(860) -> 861* 30(682) -> 683* 30(728) -> 729* 30(898) -> 899* 30(709) -> 710* 30(748) -> 749* 30(499) -> 500* 30(601) -> 602* 30(669) -> 670* 30(536) -> 537* 30(565) -> 566* 30(622) -> 623* 30(590) -> 591* 30(856) -> 857* 30(662) -> 663* 30(775) -> 776* 30(543) -> 544* 30(558) -> 559* 30(644) -> 645* 30(743) -> 744* 30(635) -> 636* 30(700) -> 701* 30(641) -> 642* 30(481) -> 482* 30(667) -> 668* 30(906) -> 907* 30(593) -> 594* 30(571) -> 572* 30(617) -> 618* 30(506) -> 507* 30(793) -> 794* 30(769) -> 770* 30(876) -> 877* 30(479) -> 480* 30(904) -> 905* 30(672) -> 673* 30(702) -> 703* 30(789) -> 790* 30(882) -> 883* 30(776) -> 777* 30(611) -> 612* 30(687) -> 688* 30(628) -> 629* 30(650) -> 651* 30(472) -> 473* 30(621) -> 622* 30(511) -> 512* 30(535) -> 536* 30(839) -> 840* 30(731) -> 732* 30(803) -> 804* 30(633) -> 634* 30(549) -> 550* 30(833) -> 834* 30(596) -> 597* 30(890) -> 891* 30(797) -> 798* 30(741) -> 742* 30(464) -> 465* 30(718) -> 719* 30(583) -> 584* 30(813) -> 814* 30(579) -> 580* 30(613) -> 614* 30(703) -> 704* 30(632) -> 633* 30(520) -> 521* 30(555) -> 556* 30(698) -> 699* 30(624) -> 625* 30(818) -> 819* 30(883) -> 884* 30(651) -> 652* 30(608) -> 609* 30(805) -> 806* 30(564) -> 565* 30(918) -> 919* 30(816) -> 817* 30(697) -> 698* 30(742) -> 743* 30(531) -> 532* 30(761) -> 762* 30(820) -> 821* 30(467) -> 468* 30(489) -> 490* 30(620) -> 621* 30(554) -> 555* 30(652) -> 653* 30(586) -> 587* 30(640) -> 641* 30(826) -> 827* 30(529) -> 530* 30(872) -> 873* 30(677) -> 678* 30(463) -> 464* 30(663) -> 664* 30(504) -> 505* 30(534) -> 535* 30(649) -> 650* 30(503) -> 504* 30(484) -> 485* 30(580) -> 581* 30(845) -> 846* 30(548) -> 549* 30(524) -> 525* 30(777) -> 778* 30(470) -> 471* 30(666) -> 667* 30(544) -> 545* 30(772) -> 773* 30(894) -> 895* 30(584) -> 585* 30(646) -> 647* 30(465) -> 466* 30(469) -> 470* 30(844) -> 845* 30(850) -> 851* 30(785) -> 786* 30(747) -> 748* 30(648) -> 649* 30(527) -> 528* 30(691) -> 692* 30(533) -> 534* 30(567) -> 568* 30(556) -> 557* 30(753) -> 754* 30(660) -> 661* 30(825) -> 826* 30(688) -> 689* 30(683) -> 684* 30(670) -> 671* 30(792) -> 793* 30(770) -> 771* 30(823) -> 824* 30(900) -> 901* 30(486) -> 487* 30(528) -> 529* 30(595) -> 596* 30(784) -> 785* 30(551) -> 552* 30(477) -> 478* 30(867) -> 868* 30(738) -> 739* 30(575) -> 576* 30(712) -> 713* 30(757) -> 758* 30(899) -> 900* 30(570) -> 571* 30(657) -> 658* 30(675) -> 676* 30(495) -> 496* 30(744) -> 745* 30(756) -> 757* 30(708) -> 709* 30(801) -> 802* 30(725) -> 726* 30(829) -> 830* 30(827) -> 828* 30(538) -> 539* 30(492) -> 493* 30(488) -> 489* 30(862) -> 863* 30(715) -> 716* 30(625) -> 626* 30(689) -> 690* 30(859) -> 860* 30(847) -> 848* 30(836) -> 837* 30(752) -> 753* 30(461) -> 462* 30(723) -> 724* 30(679) -> 680* 30(828) -> 829* 30(496) -> 497* 30(733) -> 734* 30(639) -> 640* 30(539) -> 540* 30(767) -> 768* 30(834) -> 835* 30(881) -> 882* 30(762) -> 763* 30(614) -> 615* 30(853) -> 854* 30(618) -> 619* 30(787) -> 788* 30(732) -> 733* 30(902) -> 903* 30(510) -> 511* 30(786) -> 787* 30(822) -> 823* 30(576) -> 577* 30(866) -> 867* 30(490) -> 491* 30(913) -> 914* 30(863) -> 864* 30(673) -> 674* 30(892) -> 893* 30(591) -> 592* 30(812) -> 813* 30(497) -> 498* 30(627) -> 628* 30(730) -> 731* 30(557) -> 558* 30(523) -> 524* 30(516) -> 517* 30(642) -> 643* 30(911) -> 912* 30(914) -> 915* 30(707) -> 708* 30(835) -> 836* 30(903) -> 904* 30(842) -> 843* 30(802) -> 803* 30(542) -> 543* 30(475) -> 476* 30(654) -> 655* 30(917) -> 918* 30(774) -> 775* 30(612) -> 613* 30(690) -> 691* 30(636) -> 637* 30(815) -> 816* 30(507) -> 508* 30(600) -> 601* 30(754) -> 755* 30(569) -> 570* 30(674) -> 675* 30(717) -> 718* 30(830) -> 831* 30(849) -> 850* 30(841) -> 842* 30(594) -> 595* 30(676) -> 677* 30(515) -> 516* 30(566) -> 567* 30(681) -> 682* 30(512) -> 513* 30(819) -> 820* 30(637) -> 638* 30(480) -> 481* 30(740) -> 741* 30(686) -> 687* 30(500) -> 501* 30(659) -> 660* 30(910) -> 911* 30(764) -> 765* 30(466) -> 467* 30(530) -> 531* 30(778) -> 779* 30(896) -> 897* 30(574) -> 575* 30(541) -> 542* 30(794) -> 795* 30(782) -> 783* 30(476) -> 477* 30(610) -> 611* 30(909) -> 910* 30(755) -> 756* 30(871) -> 872* 30(763) -> 764* 30(888) -> 889* 30(607) -> 608* 30(912) -> 913* 30(831) -> 832* 30(603) -> 604* 30(537) -> 538* 30(668) -> 669* 30(916) -> 917* 30(722) -> 723* 30(758) -> 759* 30(482) -> 483* 30(727) -> 728* 30(714) -> 715* 30(907) -> 908* 30(597) -> 598* 30(561) -> 562* 30(509) -> 510* 30(760) -> 761* 30(587) -> 588* 30(716) -> 717* 30(616) -> 617* 30(781) -> 782* 30(532) -> 533* 30(734) -> 735* 30(887) -> 888* 30(854) -> 855* 30(498) -> 499* 30(809) -> 810* 30(739) -> 740* 30(800) -> 801* 30(502) -> 503* 30(837) -> 838* 30(840) -> 841* 30(745) -> 746* 30(886) -> 887* 30(855) -> 856* 30(768) -> 769* 30(720) -> 721* 30(874) -> 875* 30(514) -> 515* 30(875) -> 876* 30(905) -> 906* 30(804) -> 805* 30(868) -> 869* 30(857) -> 858* 30(780) -> 781* 30(746) -> 747* 30(701) -> 702* 30(766) -> 767* 30(526) -> 527* 30(631) -> 632* 30(485) -> 486* 30(901) -> 902* 30(807) -> 808* 30(865) -> 866* 30(623) -> 624* 30(519) -> 520* 30(726) -> 727* 30(562) -> 563* 30(501) -> 502* 30(810) -> 811* 30(704) -> 705* 30(765) -> 766* 30(759) -> 760* 30(685) -> 686* 30(879) -> 880* 30(605) -> 606* 30(517) -> 518* 30(626) -> 627* 30(578) -> 579* 30(710) -> 711* 30(735) -> 736* 30(771) -> 772* 30(923) -> 924* 30(884) -> 885* 30(915) -> 916* 30(736) -> 737* 30(695) -> 696* 30(885) -> 886* 30(724) -> 725* 30(572) -> 573* 30(693) -> 694* 30(577) -> 578* 30(508) -> 509* 30(609) -> 610* 30(737) -> 738* 30(505) -> 506* 30(791) -> 792* 30(706) -> 707* 30(893) -> 894* 30(880) -> 881* 30(869) -> 870* 30(684) -> 685* 30(599) -> 600* 30(581) -> 582* 30(604) -> 605* 30(518) -> 519* 30(602) -> 603* 30(798) -> 799* 30(494) -> 495* 30(655) -> 656* 30(705) -> 706* 30(550) -> 551* 30(889) -> 890* 30(843) -> 844* 30(799) -> 800* 30(553) -> 554* 30(790) -> 791* 30(711) -> 712* 30(664) -> 665* 30(513) -> 514* 30(521) -> 522* 30(478) -> 479* 30(751) -> 752* 30(832) -> 833* 30(824) -> 825* 30(696) -> 697* 30(671) -> 672* 30(540) -> 541* 30(773) -> 774* 30(630) -> 631* 30(547) -> 548* 30(589) -> 590* 30(592) -> 593* 30(462) -> 463* 30(525) -> 526* 30(560) -> 561* 30(474) -> 475* 30(653) -> 654* 30(619) -> 620* 30(897) -> 898* 30(821) -> 822* 30(680) -> 681* 30(779) -> 780* 30(848) -> 849* 30(721) -> 722* 30(665) -> 666* 30(598) -> 599* 30(749) -> 750* 30(522) -> 523* 30(493) -> 494* 30(471) -> 472* 30(647) -> 648* 30(483) -> 484* 30(846) -> 847* 30(468) -> 469* 30(864) -> 865* 30(699) -> 700* 30(719) -> 720* 30(552) -> 553* 30(814) -> 815* 30(582) -> 583* 30(563) -> 564* 30(656) -> 657* 30(919) -> 460* 30(811) -> 812* 30(658) -> 659* 30(546) -> 547* 30(877) -> 878* 00(2) -> 921* f60() -> 2* 2306 -> 923* 2 -> 1387* 922 -> 1846* 1845 -> 921* problem: Qed