YES baxccxccxabxcaxccxbcxabxacxabxcbxacxbcxbbxbbxbaxacxcax2.1acxcaxbbxbaxbcxbbxcbxacxacxabxbcxabxcaxccxccxabxbaxccxacxccxbbxccxbcxbaxcbxcaxcbxabxcaxabxbaxabx2baxabxcaxabxcbxabxcbxcaxbcxbaxbbxccxacxccxbaxccxccxabxcaxccxbcxabxacxabxcbxacxbcxbbxbbxbaxacxcaxcbxccxbcxccxbbxabx2baxabxcaxabxcbxabxcbxcaxbcxbaxbbxccxacxccxbaxccxccxabxcaxccxbcxabxacxabxcbxacxbcxbbxbbxbaxacxcaxcbxccxbcxccxbbxabxcabx1541caxabxabbx15411bbxccxaccx1541abax15411baxccxaccx1541cabx1541caxabxabbx15411bbxbaxabax1541abax1541cabx1541caxabxabbx15411bbxabxaabx1541abax15411baxabxaabx1541cabx1541caxabxabbx15411bbxabxaabx1541abax15411baxccxaccx15411ccxabxaabx1541cabx1541caxccxccbx15411cbxacxcacx1541abax15411baxccxaccx1541acxcaxcacx1541cabx1541caxccxccbx15411cbxccxcccx1541abax15411baxccxaccx1541acxccxcccx1541cabx1542caax1542caxccxccax15421caxabxcabx1542cabx1542caxabxabbx15421bbxccxaccx1542caax1542caxabxabax15421baxccxaccx1542cabx1542caxabxabbx15421bbxbaxabax1542caax1542caxabxabax1542cabx1542caxabxabbx15421bbxbaxabax1542caax1542caxccxccax1542ccxabxabax1542cabx1542caxabxabbx15421bbxabxaabx1542caax1542caxabxabax15421baxabxaabx1542cabx1542caxccxccbx15421cbxcaxccax1542caax1542caxccxccax1542cabx1542caxccxccbx15421cbxccxcccx1542caax1542caxccxccax15421caxccxcccx1542babx1543baxabxabbx1543ccax15431caxabxcabx1543caxabxabbx1543babx1543baxccxccbx1543ccxabxabbx1543ccax15431caxabxcabx1543caxabxabbx1543babx1543baxccxccbx1543ccax15431caxabxcabx1543caxccxccbx1543babx1543baxabxabbx15431bbxccxaccx1543ccax1543ccxabxabax15431baxccxaccx1543babx1543baxabxabbx15431bbxbaxabax1543ccax1543ccxabxabax1543babx1543baxabxabbx15431bbxabxaabx1543ccax1543ccxabxabax15431baxabxaabx1543babx1543baxccxccbx15431cbxabxcabx1543ccax15431caxabxcabx1543babx1543baxccxccbx15431cbxabxcabx1543ccax15431caxccxcccx15431ccxabxcabx1543babx1543baxccxccbx15431cbxcaxccax1543ccax1543babx1543baxccxccbx15431cbxccxcccx1543ccax15431caxccxcccx1543abxccxccxabxabxcabx1545acax1545acxccxccax15451caxabxcabx1545cabx1545caxabxabbx15451bbxccxaccx1545acax15451caxccxaccx1545cabx1545caxabxabbx15451bbxccxaccx1545acax1545acxabxabax15451baxccxaccx1545cabx1545caxabxabbx15451bbxbaxabax1545acax1545acxabxabax1545cabx1545caxabxabbx15451bbxbaxabax1545acax1545acxccxccax1545ccxabxabax1545cabx1545caxabxabbx15451bbxbaxabax1545acax1545acxcaxcaax1545caxabxabax1545cabx1545caxabxabbx15451bbxabxaabx1545acax15451caxabxaabx1545cabx1545caxabxabbx15451bbxabxaabx1545acax15451caxccxaccx15451ccxabxaabx1545cabx1545caxabxabbx15451bbxabxaabx1545acax1545acxabxabax15451baxabxaabx1545cabx1545caxccxccbx15451cbxcaxccax1545acax1545acxccxccax1545cabx1545caxccxccbx15451cbxcaxccax1545acax1545acxcaxcaax1545caxccxccax1545cabx1545caxccxccbx15451cbxacxcacx1545acax15451caxccxaccx1545acxcaxcacx1545cabx1545caxccxccbx15451cbxccxcccx1545acax1545acxccxccax15451caxccxcccx1545cabx1545caxccxccbx15451cbxccxcccx1545acax15451caxccxaccx1545acxccxcccx1545babx1546baxabxabbx15461bbxccxaccx1546baax1546baxabxabax15461baxccxaccx1546babx1546baxabxabbx15461bbxbaxabax1546baax1546baxabxabax1546babx1546baxabxabbx15461bbxbaxabax1546baax1546baxccxccax1546ccxabxabax1546babx1546baxabxabbx15461bbxabxaabx1546baax1546baxabxabax15461baxabxaabx1546babx1546baxccxccbx15461cbxabxcabx1546baax1546baxccxccax15461caxabxcabx1546babx1546baxccxccbx15461cbxcaxccax1546baax1546baxccxccax1546babx1546baxccxccbx15461cbxccxcccx1546baax1546baxccxccax15461caxccxcccx1546cabx1547ccax15471caxabxcabx1547babx1548baxabxabbx15481bbxccxaccx1548abax15481baxccxaccx1548babx1548baxabxabbx15481bbxbaxabax1548abax1548babx1548baxabxabbx15481bbxabxaabx1548abax15481baxabxaabx1548babx1548baxabxabbx15481bbxabxaabx1548abax15481baxccxaccx15481ccxabxaabx1548babx1548baxccxccbx15481cbxacxcacx1548abax15481baxccxaccx1548acxcaxcacx1548babx1548baxccxccbx15481cbxccxcccx1548abax15481baxccxaccx1548acxccxcccx1548babx1549baxabxabbx15491bbxccxaccx1549baax1549baxabxabax15491baxccxaccx1549babx1549baxabxabbx15491bbxbaxabax1549baax1549baxabxabax1549babx1549baxabxabbx15491bbxbaxabax1549baax1549baxccxccax1549ccxabxabax1549babx1549baxabxabbx15491bbxabxaabx1549baax1549baxabxabax15491baxabxaabx1549babx1549baxccxccbx15491cbxabxcabx1549baax1549baxccxccax15491caxabxcabx1549babx1549baxccxccbx15491cbxcaxccax1549baax1549baxccxccax1549babx1549baxccxccbx15491cbxccxcccx1549baax1549baxccxccax15491caxccxcccx1549aabx1550ccax1550ccxabxabax15501baxabxaabx1550cabx1551caxabxabbx15511bbxccxaccx1551abax15511baxccxaccx1551cabx1551caxabxabbx15511bbxbaxabax1551abax1551cabx1551caxabxabbx15511bbxabxaabx1551abax15511baxabxaabx1551cabx1551caxabxabbx15511bbxabxaabx1551abax15511baxccxaccx15511ccxabxaabx1551cabx1551caxccxccbx15511cbxacxcacx1551abax15511baxccxaccx1551acxcaxcacx1551cabx1551caxccxccbx15511cbxccxcccx1551abax15511baxccxaccx1551acxccxcccx1551abxccxccxabxabxbabx1553baxabxabbx15531bbxccxaccx1553abax15531baxccxaccx1553babx1553baxabxabbx15531bbxbaxabax1553abax1553babx1553baxabxabbx15531bbxabxaabx1553abax15531baxabxaabx1553babx1553baxabxabbx15531bbxabxaabx1553abax15531baxccxaccx15531ccxabxaabx1553babx1553baxccxccbx15531cbxacxcacx1553abax15531baxccxaccx1553acxcaxcacx1553babx1553baxccxccbx15531cbxccxcccx1553abax15531baxccxaccx1553acxccxcccx1553aabx1554abax15541baxabxaabx1554babx1555bbax15551baxabxbabx1555aabx1556caax1556caxabxabax15561baxabxaabx1556babx1557baxabxabbx1557ccax15571caxabxcabx1557caxabxabbx1557babx1557baxccxccbx1557ccxabxabbx1557ccax15571caxabxcabx1557caxabxabbx1557babx1557baxccxccbx1557ccax15571caxabxcabx1557caxccxccbx1557babx1557baxabxabbx15571bbxccxaccx1557ccax1557ccxabxabax15571baxccxaccx1557babx1557baxabxabbx15571bbxbaxabax1557ccax1557ccxabxabax1557babx1557baxabxabbx15571bbxabxaabx1557ccax1557ccxabxabax15571baxabxaabx1557babx1557baxccxccbx15571cbxabxcabx1557ccax15571caxabxcabx1557babx1557baxccxccbx15571cbxabxcabx1557ccax15571caxccxcccx15571ccxabxcabx1557babx1557baxccxccbx15571cbxcaxccax1557ccax1557babx1557baxccxccbx15571cbxccxcccx1557ccax15571caxccxcccx1557abxcaxcaxabxabxbabx1559babx1559aabx1560ccbx1560ccxabxabbx15601bbxabxaabx1560cabx1561caxabxabbx1561abbx1561babx1562baxabxabbx1562abbx1562aabx1563abbx15631bbxabxaabx1563abxacxacxabxabxbabx1565bbbx1565bbxbaxbabx1565babx1565baxabxabbx1565bbbx1565bbxabxabbx1565babx1565baxccxccbx1565bbbx1565bbxccxccbx1565aabx1566cabx1566caxabxabbx15661bbxabxaabx1566abxccxccxabxabxbabx1568baxabxabbx1568ccbx1568ccxabxabbx1568babx1568baxccxccbx1568ccbx1568caxcaxabxabxabxbcax15701caxabxbabx1570babx1570acax1571acxccxccax1571ccbx15711cbxcaxccax1571ccax1572ccxabxabax1572abbx15721bbxbaxabax1572bcax1573bcxabxabax1573abbx15731bbxbaxabax1573acax15741caxabxaabx1574abbx15741bbxabxaabx1574acax15741caxccxaccx1574abbx15741bbxccxaccx1574acax1574acxabxabax1574abbx15741bbxbaxabax1574caxacxacxcaxcaxcaxcaxabxabxacxacxabxabxcaxcaxccxccxacxacxccxccxbcax15761caxabxbabx1576bbbx1576bbxbaxbabx1576bcax15761caxccxbccx1576bbbx15761bbxccxbccx1576bcax1576bcxbbxbbax1576bbbx15761bbxbaxbbax1576acax15771caxabxaabx1577cabx1577caxabxabbx15771bbxabxaabx1577acax15771caxccxaccx15771ccxabxaabx1577cabx1577caxabxabbx15771bbxabxaabx1577acax1577acxabxabax15771baxabxaabx1577cabx1577caxabxabbx15771bbxabxaabx1577acax1577acxccxccax1577cabx1577caxccxccbx15771cbxcaxccax1577acax1577acxcaxcaax1577caxccxccax1577cabx1577caxccxccbx15771cbxcaxccax1577acax15771caxccxaccx1577cabx1577caxabxabbx15771bbxccxaccx1577acax1577acxabxabax15771baxccxaccx1577cabx1577caxabxabbx15771bbxccxaccx1577acax1577acxabxabax1577cabx1577caxabxabbx15771bbxbaxabax1577acax1577acxccxccax1577ccxabxabax1577cabx1577caxabxabbx15771bbxbaxabax1577acax1577acxcaxcaax1577caxabxabax1577cabx1577caxabxabbx15771bbxbaxabax1577acax1577acxccxccax15771caxabxcabx1577cabx1577acax1577acxccxccax15771caxccxcccx1577cabx1577caxccxccbx15771cbxccxcccx1577acax15771caxccxaccx1577acxccxcccx1577cabx1577caxccxccbx15771cbxccxcccx1577acax15771caxccxaccx1577acxcaxcacx1577cabx1577caxccxccbx15771cbxacxcacx1577caxcaxabxabxccxccxabxabxcaxcaxccxccxccxbcax1579bcxccxccax1579ccbx15791cbxcaxccax1579cbax1580cbxabxabax1580abcx15801bcxbaxabax1580cbax15811baxabxcabx1581cacx15811acxabxcabx1581cbax15811baxccxcccx1581cacx1581caxccxcccx1581cbax1581cbxccxccax1581cacx15811acxcaxccax1581bbax1582bbxabxabax1582cccx1582ccxabxabcx15821bcxbaxabax1582bbax1582bbxccxccax1582ccxabxabax1582cccx1582ccxabxabcx15821bcxbaxabax1582bbax1582bbxbaxbaax1582baxabxabax1582cccx1582ccxabxabcx15821bcxbaxabax1582bbax15821baxabxbabx1582baxabxabbx1582cccx15821ccxabxcabx1582caxabxabbx1582bbax15821baxabxbabx1582baxabxabbx1582cccx1582ccxabxabcx15821bcxbbxabbx1582bbax15821baxabxbabx1582baxccxccbx1582cccx15821ccxabxcabx1582caxccxccbx1582bbax1582bbxccxccax15821caxabxcabx1582cccx15821ccxabxcabx1582bbax1582bbxccxccax15821caxccxcccx1582cccx1582bbax15821baxccxbccx1582bcxccxcccx1582cccx1582bbax15821baxccxbccx1582bcxabxabcx1582cccx1582ccxabxabcx1582bbax1582bbxabxabax15821baxabxaabx1582cccx1582ccxabxabcx15821bcxabxaabx1582bbax1582bbxabxabax15821baxccxaccx1582cccx1582ccxabxabcx15821bcxccxaccx1582baxbaxabxabxabxcbax15841baxccxcccx1584accx1584acxccxcccx1584baxbbxbbxbaxbaxbaxbaxabxabxbbxbbxabxabxbaxbaxccxccxbbxbbxccxccxbbax15861baxabxbabx1586bacx15861acxabxbabx1586bbax15861baxccxbccx1586bacx15861acxccxbccx1586cbax15871baxabxcabx1587cccx15871ccxabxcabx1587cbax15871baxccxcccx1587cccx1587baxbaxabxabxccxccxabxabxbaxbaxccxccxccxbbax1589bbxabxabax1589abcx15891bcxbaxabax1589cccx1590abbx15901bbxccxaccx1590acxccxcccx1590cccx1590ccxabxabcx1590abbx15901bbxccxaccx1590acxabxabcx1590cccx15901ccxabxcabx1590caxabxabbx1590abbx1590cccx1590ccxabxabcx15901bcxbbxabbx1590abbx1590cccx1590ccxabxabcx15901bcxbaxabax1590abbx15901bbxbaxabax1590cccx1590ccxabxabcx15901bcxabxaabx1590abbx15901bbxabxaabx1590cccx1590ccxabxabcx15901bcxabxaabx1590abbx15901bbxccxaccx15901ccxabxaabx1590cccx1590ccxabxabcx15901bcxabxaabx1590abbx15901bbxbaxabax15901baxabxaabx1590cccx1590ccxabxabcx15901bcxccxaccx1590abbx15901bbxccxaccx1590cccx1590ccxabxabcx15901bcxccxaccx1590abbx15901bbxbaxabax15901baxccxaccx1590cccx15911ccxabxcabx1591cabx1591bccx1592bcxccxcccx1592ccbx15921cbxccxcccx1592cccx15931ccxabxcabx1593acbx1593acxcaxcabx1593ccxbaxbaxccxccxccxccxabxabxbaxbaxabxabxbccx15951ccxabxbabx1595babx1595cccx1596ccbx15961cbxccxcccx1596cccx15961ccxabxcabx1596ccbx15961cbxabxcabx1596ccxccxabxabxabxbccx1598bcxabxabcx1598abbx15981bbxccxaccx1598acxabxabcx1598bccx1598bcxbaxbacx1598baxabxabcx1598abbx15981bbxccxaccx1598acxabxabcx1598bccx1598bcxbbxbbcx1598bbxabxabcx1598abbx15981bbxccxaccx1598acxabxabcx1598bccx1598bcxccxcccx1598ccxabxabcx1598abbx15981bbxccxaccx1598acxabxabcx1598bccx1598bcxccxcccx1598abbx15981bbxccxaccx1598acxccxcccx1598bccx1598bcxbaxbacx1598baxccxcccx1598abbx15981bbxccxaccx1598acxccxcccx1598bccx1598bcxbbxbbcx1598bbxccxcccx1598abbx15981bbxccxaccx1598acxccxcccx1598bccx15981ccxabxbabx1598baxabxabbx1598abbx1598bccx1598bcxabxabcx15981bcxbbxabbx1598abbx1598bccx1598bcxabxabcx15981bcxbaxabax1598abbx15981bbxbaxabax1598bccx1598bcxabxabcx15981bcxabxaabx1598abbx15981bbxabxaabx1598bccx1598bcxabxabcx15981bcxabxaabx1598abbx15981bbxccxaccx15981ccxabxaabx1598bccx1598bcxabxabcx15981bcxabxaabx1598abbx15981bbxbaxabax15981baxabxaabx1598bccx1598bcxabxabcx15981bcxccxaccx1598abbx15981bbxccxaccx1598bccx1598bcxabxabcx15981bcxccxaccx1598abbx15981bbxbaxabax15981baxccxaccx1598bccx1599bcxabxabcx1599abcx1599cccx1600ccxabxabcx1600abcx1600bccx1601bcxabxabcx1601cccx1601ccxabxabcx1601bccx1601bcxccxcccx1601cccx1601cccx1602cccx1602ccxccxabxabxabxccxcaxcaxccxccxccxccxabxabxcaxcaxabxabxccxccxabxabxabxcccx1606abax16061baxccxaccx1606acxccxcccx1606cccx1606ccxabxabcx1606abax16061baxccxaccx1606acxabxabcx1606cccx1606ccxabxabcx16061bcxbaxabax1606abax1606cccx1606ccxabxabcx16061bcxabxaabx1606abax16061baxabxaabx1606cccx1606ccxabxabcx16061bcxabxaabx1606abax16061baxccxaccx16061ccxabxaabx1606cccx1606ccxabxabcx16061bcxccxaccx1606abax16061baxccxaccx1606cccx1607caax1607caxccxccax16071caxccxcccx1607cccx16071ccxabxcabx1607caax1607caxccxccax16071caxabxcabx1607cccx1607ccxabxabcx16071bcxbaxabax1607caax1607caxabxabax1607cccx1607ccxabxabcx16071bcxbaxabax1607caax1607caxccxccax1607ccxabxabax1607cccx1607ccxabxabcx16071bcxabxaabx1607caax1607caxabxabax16071baxabxaabx1607cccx1607ccxabxabcx16071bcxccxaccx1607caax1607caxabxabax16071baxccxaccx1607bccx1608bcxccxcccx1608ccax16081caxccxcccx1608cccx1609acax1609acxccxccax16091caxccxcccx1609cccx1609acax16091caxccxaccx1609acxccxcccx1609cccx16091ccxabxcabx1609acax1609acxccxccax16091caxabxcabx1609cccx1609ccxabxabcx1609acax16091caxccxaccx1609acxabxabcx1609cccx1609ccxabxabcx16091bcxbaxabax1609acax1609acxabxabax1609cccx1609ccxabxabcx16091bcxbaxabax1609acax1609acxccxccax1609ccxabxabax1609cccx1609ccxabxabcx16091bcxbaxabax1609acax1609acxcaxcaax1609caxabxabax1609cccx1609ccxabxabcx16091bcxabxaabx1609acax16091caxabxaabx1609cccx1609ccxabxabcx16091bcxabxaabx1609acax16091caxccxaccx16091ccxabxaabx1609cccx1609ccxabxabcx16091bcxabxaabx1609acax1609acxabxabax16091baxabxaabx1609cccx1609ccxabxabcx16091bcxccxaccx1609acax16091caxccxaccx1609cccx1609ccxabxabcx16091bcxccxaccx1609acax1609acxabxabax16091baxccxaccx1609bccx1610bcxccxcccx1610baax1610baxccxccax16101caxccxcccx1610bccx1610bcxbaxbacx1610baxccxcccx1610baax1610baxccxccax16101caxccxcccx1610bccx1610bcxbbxbbcx1610bbxccxcccx1610baax1610baxccxccax16101caxccxcccx1610bccx1610bcxabxabcx16101bcxbaxabax1610baax1610baxabxabax1610bccx1610bcxabxabcx16101bcxbaxabax1610baax1610baxccxccax1610ccxabxabax1610bccx1610bcxabxabcx16101bcxabxaabx1610baax1610baxabxabax16101baxabxaabx1610bccx1610bcxabxabcx16101bcxccxaccx1610baax1610baxabxabax16101baxccxaccx1610bccx1610bcxccxcccx16101ccxabxcabx1610baax1610baxccxccax16101caxabxcabx1610cccx1611ccax16111caxccxcccx1611cccx16111ccxabxcabx1611ccax16111caxabxcabx1611bccx1612bcxabxabcx1612abax16121baxccxaccx1612acxabxabcx1612bccx1612bcxbaxbacx1612baxabxabcx1612abax16121baxccxaccx1612acxabxabcx1612bccx1612bcxbbxbbcx1612bbxabxabcx1612abax16121baxccxaccx1612acxabxabcx1612bccx1612bcxccxcccx1612ccxabxabcx1612abax16121baxccxaccx1612acxabxabcx1612bccx1612bcxccxcccx1612abax16121baxccxaccx1612acxccxcccx1612bccx1612bcxbaxbacx1612baxccxcccx1612abax16121baxccxaccx1612acxccxcccx1612bccx1612bcxbbxbbcx1612bbxccxcccx1612abax16121baxccxaccx1612acxccxcccx1612bccx1612bcxabxabcx16121bcxbaxabax1612abax1612bccx1612bcxabxabcx16121bcxabxaabx1612abax16121baxabxaabx1612bccx1612bcxabxabcx16121bcxabxaabx1612abax16121baxccxaccx16121ccxabxaabx1612bccx1612bcxabxabcx16121bcxccxaccx1612abax16121baxccxaccx1612babx1613bacx16131acxabxbabx1613aabx1614cccx1614ccxabxabcx16141bcxabxaabx1614cabx1615caxabxabbx1615abcx16151bcxbbxabbx1615babx1616baxabxabbx1616abcx16161bcxbbxabbx1616aabx1617abcx16171bcxabxaabx1617babx1618bbcx16181bcxabxbabx1618aabx1619cacx1619caxabxabcx16191bcxabxaabx1619babx1620baxabxabbx1620cccx16201ccxabxcabx1620caxabxabbx1620babx1620baxabxabbx1620cccx1620ccxabxabcx16201bcxbbxabbx1620babx1620baxccxccbx1620ccxabxabbx1620cccx16201ccxabxcabx1620caxabxabbx1620babx1620baxccxccbx1620ccxabxabbx1620cccx1620ccxabxabcx16201bcxbbxabbx1620babx1620baxccxccbx1620cccx16201ccxabxcabx1620caxccxccbx1620babx1620baxabxabbx16201bbxccxaccx1620cccx1620ccxabxabcx16201bcxccxaccx1620babx1620baxabxabbx16201bbxbaxabax1620cccx1620ccxabxabcx16201bcxbaxabax1620babx1620baxabxabbx16201bbxabxaabx1620cccx1620ccxabxabcx16201bcxabxaabx1620babx1620baxccxccbx16201cbxabxcabx1620cccx16201ccxabxcabx1620babx1620baxccxccbx16201cbxccxcccx1620cccx1620ccxccxabxabxabxbccx1622bcxccxcccx1622baax1622baxccxccax16221caxccxcccx1622bccx1622bcxbaxbacx1622baxccxcccx1622baax1622baxccxccax16221caxccxcccx1622bccx1622bcxbbxbbcx1622bbxccxcccx1622baax1622baxccxccax16221caxccxcccx1622bccx1622bcxabxabcx16221bcxbaxabax1622baax1622baxabxabax1622bccx1622bcxabxabcx16221bcxbaxabax1622baax1622baxccxccax1622ccxabxabax1622bccx1622bcxabxabcx16221bcxabxaabx1622baax1622baxabxabax16221baxabxaabx1622bccx1622bcxabxabcx16221bcxccxaccx1622baax1622baxabxabax16221baxccxaccx1622bccx1622bcxccxcccx16221ccxabxcabx1622baax1622baxccxccax16221caxabxcabx1622accx1623acxccxcccx1623ccax16231caxccxcccx1623cccx1624abax16241baxccxaccx1624acxccxcccx1624cccx1624ccxabxabcx1624abax16241baxccxaccx1624acxabxabcx1624cccx1624ccxabxabcx16241bcxbaxabax1624abax1624cccx1624ccxabxabcx16241bcxabxaabx1624abax16241baxabxaabx1624cccx1624ccxabxabcx16241bcxabxaabx1624abax16241baxccxaccx16241ccxabxaabx1624cccx1624ccxabxabcx16241bcxccxaccx1624abax16241baxccxaccx1624bccx1625bcxabxabcx1625abax16251baxccxaccx1625acxabxabcx1625bccx1625bcxbaxbacx1625baxabxabcx1625abax16251baxccxaccx1625acxabxabcx1625bccx1625bcxbbxbbcx1625bbxabxabcx1625abax16251baxccxaccx1625acxabxabcx1625bccx1625bcxccxcccx1625ccxabxabcx1625abax16251baxccxaccx1625acxabxabcx1625bccx1625bcxccxcccx1625abax16251baxccxaccx1625acxccxcccx1625bccx1625bcxbaxbacx1625baxccxcccx1625abax16251baxccxaccx1625acxccxcccx1625bccx1625bcxbbxbbcx1625bbxccxcccx1625abax16251baxccxaccx1625acxccxcccx1625bccx1625bcxabxabcx16251bcxbaxabax1625abax1625bccx1625bcxabxabcx16251bcxabxaabx1625abax16251baxabxaabx1625bccx1625bcxabxabcx16251bcxabxaabx1625abax16251baxccxaccx16251ccxabxaabx1625bccx1625bcxabxabcx16251bcxccxaccx1625abax16251baxccxaccx1625accx1626abax16261baxccxaccx1626accx16261ccxabxaabx1626abax16261baxabxaabx1626bccx1627bbax16271baxccxbccx1627bccx16271ccxabxbabx1627bbax16271baxabxbabx1627accx1628caax1628caxabxabax16281baxccxaccx1628accx1628acxccxcccx1628caax1628caxccxccax16281caxccxcccx1628accx1628acxcaxcacx1628caxccxcccx1628caax1628caxccxccax16281caxccxcccx1628accx16281ccxabxaabx1628caax1628caxabxabax16281baxabxaabx1628accx1628acxabxabcx16281bcxabxaabx1628caax1628caxabxabax16281baxabxaabx1628accx1628acxccxcccx16281ccxabxcabx1628caax1628caxccxccax16281caxabxcabx1628accx1628acxcaxcacx16281acxabxcabx1628caax1628caxccxccax16281caxabxcabx1628accx1628acxabxabcx16281bcxbaxabax1628caax1628caxabxabax1628accx1628acxabxabcx16281bcxbaxabax1628caax1628caxccxccax1628ccxabxabax1628accx1628acxcaxcacx16281acxcaxccax1628caax1628caxccxccax1628bccx1629bcxccxcccx1629ccax16291caxccxcccx1629cabx1630caxabxabbx1630abcx16301bcxbbxabbx1630cabx1631cacx16311acxabxcabx1631abxbaxbaxabxabxbabx1633baxabxabbx1633cccx16331ccxabxcabx1633caxabxabbx1633babx1633baxabxabbx1633cccx1633ccxabxabcx16331bcxbbxabbx1633babx1633baxccxccbx1633ccxabxabbx1633cccx16331ccxabxcabx1633caxabxabbx1633babx1633baxccxccbx1633ccxabxabbx1633cccx1633ccxabxabcx16331bcxbbxabbx1633babx1633baxccxccbx1633cccx16331ccxabxcabx1633caxccxccbx1633babx1633baxabxabbx16331bbxccxaccx1633cccx1633ccxabxabcx16331bcxccxaccx1633babx1633baxabxabbx16331bbxbaxabax1633cccx1633ccxabxabcx16331bcxbaxabax1633babx1633baxabxabbx16331bbxabxaabx1633cccx1633ccxabxabcx16331bcxabxaabx1633babx1633baxccxccbx16331cbxabxcabx1633cccx16331ccxabxcabx1633babx1633baxccxccbx16331cbxccxcccx1633cccx1633cabx1634accx1634acxccxcccx16341ccxabxcabx1634cabx1634accx1634acxcaxcacx16341acxabxcabx1634cabx1634caxabxabbx1634accx1634acxabxabcx16341bcxbbxabbx1634cabx1634caxccxccbx1634ccxabxabbx1634accx1634acxabxabcx16341bcxbbxabbx1634cabx1634caxabxabbx16341bbxccxaccx1634accx1634cabx1634caxabxabbx16341bbxbaxabax1634accx1634acxabxabcx16341bcxbaxabax1634cabx1634caxabxabbx16341bbxabxaabx1634accx16341ccxabxaabx1634cabx1634caxabxabbx16341bbxabxaabx1634accx1634acxabxabcx16341bcxabxaabx1634cabx1634caxccxccbx16341cbxcaxccax1634accx1634acxcaxcacx16341acxcaxccax1634cabx1634caxccxccbx16341cbxacxcacx1634accx1634acxcaxcacx1634cabx1634caxccxccbx16341cbxccxcccx1634accx1634acxccxcccx1634cabx1634caxccxccbx16341cbxccxcccx1634accx1634acxcaxcacx1634caxccxcccx1634abxbbxbbxabxabxbabx1636bacx16361acxabxbabx1636cabx1637cccx16371ccxabxcabx1637abxccxccxabxabxbabx1639baxabxabbx1639abcx16391bcxbbxabbx1639babx1640baxabxabbx1640abcx16401bcxbbxabbx1640cabx1641caxabxabbx1641abcx16411bcxbbxabbx1641abxccxccxabxabxbabx1643baxabxabbx1643cccx16431ccxabxcabx1643caxabxabbx1643babx1643baxabxabbx1643cccx1643ccxabxabcx16431bcxbbxabbx1643babx1643baxccxccbx1643ccxabxabbx1643cccx16431ccxabxcabx1643caxabxabbx1643babx1643baxccxccbx1643ccxabxabbx1643cccx1643ccxabxabcx16431bcxbbxabbx1643babx1643baxccxccbx1643cccx16431ccxabxcabx1643caxccxccbx1643babx1643baxabxabbx16431bbxccxaccx1643cccx1643ccxabxabcx16431bcxccxaccx1643babx1643baxabxabbx16431bbxbaxabax1643cccx1643ccxabxabcx16431bcxbaxabax1643babx1643baxabxabbx16431bbxabxaabx1643cccx1643ccxabxabcx16431bcxabxaabx1643babx1643baxccxccbx16431cbxabxcabx1643cccx16431ccxabxcabx1643babx1643baxccxccbx16431cbxccxcccx1643cccx1643cabx1644cccx16441ccxabxcabx1644abxcaxcaxabxabxacxacxabxabxabxacxacxccxccxcaxcaxccxccxacxacxabxabxcaxcaxabxabxacxacxcaxcaxcaxbacx16481acxabxbabx1648babx1648aacx16491acxccxaccx1649ccbx1649ccxabxabbx16491bbxccxaccx1649aacx16491acxcaxacax16491caxccxaccx1649ccbx1649ccxabxabbx16491bbxccxaccx1649aacx16491acxabxaabx1649ccbx1649ccxabxabbx16491bbxabxaabx1649aacx16491acxccxaccx16491ccxabxaabx1649ccbx1649ccxabxabbx16491bbxabxaabx1649aacx16491acxcaxacax16491caxabxaabx1649ccbx1649ccxabxabbx16491bbxabxaabx1649aacx16491acxccxaccx1649acxccxcccx1649ccbx16491cbxccxcccx1649aacx16491acxccxaccx1649acxccxcccx1649ccbx16491cbxcaxccax16491caxccxcccx1649aacx16491acxccxaccx1649acxccxcccx1649ccbx16491cbxacxcacx1649caxccxcccx1649aacx16491acxccxaccx1649acxabxabcx1649ccbx16491cbxacxcacx1649caxabxabcx1649aacx16491acxccxaccx1649acxabxabcx1649ccbx16491cbxccxcccx1649ccxabxabcx1649aacx16491acxccxaccx1649acxcaxcacx1649ccbx16491cbxacxcacx1649aacx16491acxcaxacax1649acxccxccax1649ccbx16491cbxcaxccax1649aacx16491acxcaxacax1649acxccxccax1649ccbx16491cbxacxcacx16491acxcaxccax1649aacx16491acxcaxacax1649acxabxabax1649ccbx16491cbxcaxccax1649ccxabxabax1649aacx16491acxcaxacax1649acxabxabax1649ccbx1649ccxabxabbx16491bbxbaxabax1649cacx1650abbx16501bbxccxaccx1650acxcaxcacx1650cacx1650caxabxabcx1650abbx16501bbxccxaccx1650acxabxabcx1650cacx1650caxccxcccx1650ccxabxabcx1650abbx16501bbxccxaccx1650acxabxabcx1650cacx1650caxccxcccx1650abbx16501bbxccxaccx1650acxccxcccx1650cacx16501acxcaxccax16501caxccxcccx1650abbx16501bbxccxaccx1650acxccxcccx1650cacx1650caxabxabcx16501bcxbaxabax1650abbx16501bbxbaxabax1650cacx16501acxcaxccax1650ccxabxabax1650abbx16501bbxbaxabax1650cacx1650caxabxabcx16501bcxabxaabx1650abbx16501bbxabxaabx1650cacx1650caxabxabcx16501bcxabxaabx1650abbx16501bbxccxaccx16501ccxabxaabx1650cacx1650caxabxabcx16501bcxabxaabx1650abbx16501bbxbaxabax16501baxabxaabx1650cacx1650caxabxabcx16501bcxbbxabbx1650abbx1650cacx16501acxabxcabx1650caxabxabbx1650abbx1650cacx1650caxabxabcx16501bcxccxaccx1650abbx16501bbxccxaccx1650cacx1650caxabxabcx16501bcxccxaccx1650abbx16501bbxbaxabax16501baxccxaccx1650bacx1651baxabxabcx1651abbx16511bbxccxaccx1651acxabxabcx1651bacx16511acxccxbccx1651bcxabxabcx1651abbx16511bbxccxaccx1651acxabxabcx1651bacx1651baxccxcccx1651ccxabxabcx1651abbx16511bbxccxaccx1651acxabxabcx1651bacx1651baxccxcccx1651abbx16511bbxccxaccx1651acxccxcccx1651bacx16511acxccxbccx1651bcxccxcccx1651abbx16511bbxccxaccx1651acxccxcccx1651bacx1651baxabxabcx16511bcxbaxabax1651abbx16511bbxbaxabax1651bacx16511acxcaxbcax1651bcxabxabax1651abbx16511bbxbaxabax1651bacx1651baxabxabcx16511bcxabxaabx1651abbx16511bbxabxaabx1651bacx1651baxabxabcx16511bcxabxaabx1651abbx16511bbxccxaccx16511ccxabxaabx1651bacx1651baxabxabcx16511bcxabxaabx1651abbx16511bbxbaxabax16511baxabxaabx1651bacx1651baxabxabcx16511bcxbbxabbx1651abbx1651bacx16511acxabxbabx1651baxabxabbx1651abbx1651bacx1651baxabxabcx16511bcxccxaccx1651abbx16511bbxccxaccx1651bacx1651baxabxabcx16511bcxccxaccx1651abbx16511bbxbaxabax16511baxccxaccx1651aacx16521acxccxaccx1652abbx16521bbxccxaccx1652aacx16521acxabxaabx1652abbx16521bbxabxaabx1652bacx16531acxccxbccx1653bbbx16531bbxccxbccx1653bacx16531acxabxbabx1653bbbx1653bbxbaxbabx1653aacx16541acxccxaccx1654cabx1654caxabxabbx16541bbxccxaccx1654aacx16541acxcaxacax16541caxccxaccx1654cabx1654caxabxabbx16541bbxccxaccx1654aacx16541acxabxaabx1654cabx1654caxabxabbx16541bbxabxaabx1654aacx16541acxccxaccx16541ccxabxaabx1654cabx1654caxabxabbx16541bbxabxaabx1654aacx16541acxcaxacax16541caxabxaabx1654cabx1654caxabxabbx16541bbxabxaabx1654aacx16541acxccxaccx1654acxccxcccx1654cabx1654caxccxccbx16541cbxccxcccx1654aacx16541acxccxaccx1654acxcaxcacx1654cabx1654caxccxccbx16541cbxacxcacx1654aacx16541acxcaxacax1654acxccxccax1654cabx1654caxccxccbx16541cbxcaxccax1654aacx16541acxcaxacax1654acxabxabax1654cabx1654caxabxabbx16541bbxbaxabax1654acxacxccxccxccxacxacxabxabxccxccxabxabxbacx1656baxccxcccx1656ccbx16561cbxccxcccx1656cbbx1657cbxabxabbx1657abcx16571bcxbbxabbx1657cbbx1658cbxcaxcabx1658cacx16581acxabxcabx1658cbbx16581bbxccxcccx1658cacx1658caxccxcccx1658bbxbbxccxccxbaxbaxccxccxbbxbbxbaxbaxbaxbbxbbxabxabxbaxbaxabxabxbbbx1660bbxccxccbx1660cccx16601ccxabxcabx1660caxccxccbx1660bbbx1660bbxbaxbabx1660baxccxccbx1660cccx16601ccxabxcabx1660caxccxccbx1660bbbx1660bbxabxabbx1660cccx16601ccxabxcabx1660caxabxabbx1660bbbx1660bbxabxabbx1660cccx1660ccxabxabcx16601bcxbbxabbx1660bbbx1660bbxccxccbx1660ccxabxabbx1660cccx16601ccxabxcabx1660caxabxabbx1660bbbx1660bbxccxccbx1660ccxabxabbx1660cccx1660ccxabxabcx16601bcxbbxabbx1660bbbx1660bbxbaxbabx1660baxabxabbx1660cccx16601ccxabxcabx1660caxabxabbx1660bbbx1660bbxbaxbabx1660baxabxabbx1660cccx1660ccxabxabcx16601bcxbbxabbx1660bbbx16601bbxccxbccx1660bcxabxabcx1660cccx1660ccxabxabcx1660bbbx16601bbxccxbccx1660bcxccxcccx1660cccx1660bbbx1660bbxccxccbx16601cbxccxcccx1660cccx1660bbbx1660bbxccxccbx16601cbxabxcabx1660cccx16601ccxabxcabx1660bbbx16601bbxbaxbbax1660bbxabxabax1660cccx1660ccxabxabcx16601bcxbaxabax1660bbbx1660bbxabxabbx16601bbxbaxabax1660cccx1660ccxabxabcx16601bcxbaxabax1660bbbx1660bbxabxabbx16601bbxccxaccx1660cccx1660ccxabxabcx16601bcxccxaccx1660bbbx1660bbxabxabbx16601bbxabxaabx1660cccx1660ccxabxabcx16601bcxabxaabx1660bbxbbxabxabxabxcbbx16621bbxccxcccx1662accx1662acxccxcccx1662bbbx16631bbxccxbccx1663bacx16631acxccxbccx1663bbbx1663bbxbaxbabx1663bacx16631acxabxbabx1663cbbx1664cbxcaxcabx1664cccx16641ccxabxcabx1664cbbx16641bbxccxcccx1664cccx1664bbxbbxccxccxccxbbxbbxabxabxccxccxabxabxbbbx1666bbxabxabbx1666abcx16661bcxbbxabbx1666cbax1667cbxabxabax1667abbx16671bbxbaxabax1667cbax16681baxabxcabx1668cabx1668baxbaxabxabxccxccxabxabxbaxbaxccxccxccxbbax1670bbxccxccax1670ccbx16701cbxcaxccax1670cbax16711baxabxcabx1671acbx1671acxcaxcabx1671cbax1671cbxacxacax1671acbx16711cbxcaxacax1671bbax16721baxabxbabx1672babx1672cbax16731baxabxcabx1673ccbx16731cbxabxcabx1673cbax16731baxccxcccx1673ccbx16731cbxccxcccx1673cbax1673cbxccxccax1673ccbx16731cbxcaxccax1673baxbaxabxabxabxbbax1675bbxabxabax1675abbx16751bbxbaxabax1675bcax1676bcxabxabax1676abcx16761bcxbaxabax1676ccax1677ccxabxabax1677abcx16771bcxbaxabax1677caxcaxabxabxccxccxabxabxcaxcaxccxccxccxbcax1679bcxabxabax1679cccx1679ccxabxabcx16791bcxbaxabax1679bcax1679bcxbaxbaax1679baxabxabax1679cccx1679ccxabxabcx16791bcxbaxabax1679bcax1679bcxbbxbbax1679bbxabxabax1679cccx1679ccxabxabcx16791bcxbaxabax1679bcax1679bcxccxccax1679ccxabxabax1679cccx1679ccxabxabcx16791bcxbaxabax1679bcax16791caxabxbabx1679baxabxabbx1679cccx16791ccxabxcabx1679caxabxabbx1679bcax16791caxabxbabx1679baxabxabbx1679cccx1679ccxabxabcx16791bcxbbxabbx1679bcax16791caxabxbabx1679baxccxccbx1679cccx16791ccxabxcabx1679caxccxccbx1679bcax16791caxccxbccx1679bcxabxabcx1679cccx1679ccxabxabcx1679bcax16791caxccxbccx1679bcxccxcccx1679cccx1679bcax1679bcxccxccax16791caxccxcccx1679cccx1679bcax1679bcxabxabax16791baxabxaabx1679cccx1679ccxabxabcx16791bcxabxaabx1679bcax1679bcxabxabax16791baxccxaccx1679cccx1679ccxabxabcx16791bcxccxaccx1679bcax1679bcxccxccax16791caxabxcabx1679cccx16791ccxabxcabx1679ccax16801caxabxcabx1680cccx16801ccxabxcabx1680ccax16801caxccxcccx1680cccx1680caxcaxabxabxabxccxccxabxabxabxccxcaxcaxccxccxccxccxabxabxcaxcaxabxabxbccx16841ccxabxbabx1684babx1684accx1685acxccxcccx1685ccbx16851cbxccxcccx1685accx1685acxcaxcacx1685ccbx16851cbxacxcacx1685cccx1686abbx16861bbxccxaccx1686acxccxcccx1686cccx1686ccxabxabcx1686abbx16861bbxccxaccx1686acxabxabcx1686cccx16861ccxabxcabx1686caxabxabbx1686abbx1686cccx1686ccxabxabcx16861bcxbbxabbx1686abbx1686cccx1686ccxabxabcx16861bcxbaxabax1686abbx16861bbxbaxabax1686cccx1686ccxabxabcx16861bcxabxaabx1686abbx16861bbxabxaabx1686cccx1686ccxabxabcx16861bcxabxaabx1686abbx16861bbxccxaccx16861ccxabxaabx1686cccx1686ccxabxabcx16861bcxabxaabx1686abbx16861bbxbaxabax16861baxabxaabx1686cccx1686ccxabxabcx16861bcxccxaccx1686abbx16861bbxccxaccx1686cccx1686ccxabxabcx16861bcxccxaccx1686abbx16861bbxbaxabax16861baxccxaccx1686bccx1687bcxabxabcx1687abbx16871bbxccxaccx1687acxabxabcx1687bccx1687bcxbaxbacx1687baxabxabcx1687abbx16871bbxccxaccx1687acxabxabcx1687bccx1687bcxbbxbbcx1687bbxabxabcx1687abbx16871bbxccxaccx1687acxabxabcx1687bccx1687bcxccxcccx1687ccxabxabcx1687abbx16871bbxccxaccx1687acxabxabcx1687bccx1687bcxccxcccx1687abbx16871bbxccxaccx1687acxccxcccx1687bccx1687bcxbaxbacx1687baxccxcccx1687abbx16871bbxccxaccx1687acxccxcccx1687bccx1687bcxbbxbbcx1687bbxccxcccx1687abbx16871bbxccxaccx1687acxccxcccx1687bccx16871ccxabxbabx1687baxabxabbx1687abbx1687bccx1687bcxabxabcx16871bcxbbxabbx1687abbx1687bccx1687bcxabxabcx16871bcxbaxabax1687abbx16871bbxbaxabax1687bccx1687bcxabxabcx16871bcxabxaabx1687abbx16871bbxabxaabx1687bccx1687bcxabxabcx16871bcxabxaabx1687abbx16871bbxccxaccx16871ccxabxaabx1687bccx1687bcxabxabcx16871bcxabxaabx1687abbx16871bbxbaxabax16871baxabxaabx1687bccx1687bcxabxabcx16871bcxccxaccx1687abbx16871bbxccxaccx1687bccx1687bcxabxabcx16871bcxccxaccx1687abbx16871bbxbaxabax16871baxccxaccx1687accx1688abbx16881bbxccxaccx1688accx16881ccxabxaabx1688abbx16881bbxabxaabx1688ccxacxacxccxccxccxccxabxabxacxacxabxabxbccx1690bbbx16901bbxccxbccx1690bccx16901ccxabxbabx1690bbbx1690bbxbaxbabx1690accx1691cabx1691caxabxabbx16911bbxccxaccx1691accx1691acxccxcccx1691cabx1691caxccxccbx16911cbxccxcccx1691accx1691acxcaxcacx1691caxccxcccx1691cabx1691caxccxccbx16911cbxccxcccx1691accx16911ccxabxaabx1691cabx1691caxabxabbx16911bbxabxaabx1691accx1691acxabxabcx16911bcxabxaabx1691cabx1691caxabxabbx16911bbxabxaabx1691accx1691acxcaxcacx1691cabx1691caxccxccbx16911cbxacxcacx1691accx1691acxccxcccx16911ccxabxcabx1691cabx1691accx1691acxcaxcacx16911acxabxcabx1691cabx1691accx1691acxabxabcx16911bcxbaxabax1691cabx1691caxabxabbx16911bbxbaxabax1691accx1691acxabxabcx16911bcxbbxabbx1691cabx1691caxabxabbx1691accx1691acxabxabcx16911bcxbbxabbx1691cabx1691caxccxccbx1691ccxabxabbx1691accx1691acxcaxcacx16911acxcaxccax1691cabx1691caxccxccbx16911cbxcaxccax1691bccx1692bcxccxcccx1692ccbx16921cbxccxcccx1692cccx1693ccxabxabcx1693abcx1693cccx1694cacx1694caxccxcccx1694cccx16941ccxabxcabx1694cacx16941acxabxcabx1694cccx1694ccxabxabcx1694cacx1694caxabxabcx1694ccxbaxbaxccxccxccxccxabxabxbaxbaxabxabxbccx1696bcxabxabcx1696cccx1696ccxabxabcx1696bccx1696bcxccxcccx1696cccx1696ccxccxabxabxabxcccx1698accx1698acxccxcccx1698cccx1698ccxabxabcx1698accx1698acxabxabcx1698ccxbbxbbxccxccxccxccxabxabxbbxbbxabxabxbccx1700bacx17001acxccxbccx1700bccx1700bcxbaxbacx1700bacx1700bccx17001ccxabxbabx1700bacx17001acxabxbabx1700bccx1700bcxabxabcx1700bacx1700baxabxabcx1700bccx1700bcxccxcccx1700bacx1700baxccxcccx1700cccx1701cccx1701bccx1702bcxabxabcx1702abcx1702cabx1703caxabxabbx1703abbx1703cabx1704cabx1704abxccxccxabxabxbabx1706baxabxabbx1706ccbx1706ccxabxabbx1706babx1706baxccxccbx1706ccbx1706cabx1707acbx1707acxcaxcabx1707cabx1707caxabxabbx1707acbx1707acxabxabbx1707cabx1707caxccxccbx1707acbx1707acxccxccbx1707abxbaxbaxabxabxbabx1709babx1709cabx1710ccbx17101cbxabxcabx1710cabx1710caxabxabbx1710ccbx1710ccxabxabbx1710cabx1710caxccxccbx1710ccbx1710babx1711baxabxabbx1711abbx1711csicsi 1.2.5 [hg: unknown](sorted -ms*; ( ((cr -kb;((( matrix -dim 1 -ib 3 -ob 5 | matrix -dim 2 -ib 2 -ob 3 | matrix -dim 3 -ib 1 -ob 1 | matrix -dim 3 -ib 1 -ob 3 | fail)[2]*);((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])! || (rev;((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])!)))))! || ((if linear then cr -closed -m -1;closed -strongly 7 else fail) || (if left-linear then cr -closed -m -1;(closed -development) else fail))! || (if linear then (cr -dup;(( lpo -quasi || (matrix -dim 1 -ib 3 -ob 4 | matrix -dim 2 -ib 2 -ob 2 | matrix -dim 3 -ib 1 -ob 2 | arctic -dim 2 -ib 2 -ob 2) || (if duplicating then fail else (bounds -rt || bounds -rt -qc))[1] || poly -ib 2 -ob 4 -nl2 -heuristic 1 || fail )[5]*);shift -lstar);(rule_labeling | rule_labeling -left)?;decreasing else fail)! || (if left-linear then (cr -dup;(( lpo -quasi || (matrix -dim 1 -ib 3 -ob 4 | matrix -dim 2 -ib 2 -ob 2 | matrix -dim 3 -ib 1 -ob 2 | arctic -dim 2 -ib 2 -ob 2) || (if duplicating then fail else (bounds -rt || bounds -rt -qc))[1] || poly -ib 2 -ob 4 -nl2 -heuristic 1 || fail )[5]*);shift -lstar);(rule_labeling | rule_labeling -left)?;decreasing else fail)! || (cr -cpcs2 -cpcscert; ((( matrix -dim 1 -ib 3 -ob 5 | matrix -dim 2 -ib 2 -ob 3 | matrix -dim 3 -ib 1 -ob 1 | matrix -dim 3 -ib 1 -ob 3 | fail)[2]*);((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])! || (rev;((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])!)))))!) || (( (nonconfluence -steps 0 -tcap -fun | nonconfluence -steps 2 -tcap -fun | nonconfluence -steps 25 -width 1 -tcap -fun) || (nonconfluence -steps 2 -tcap -var | nonconfluence -steps 25 -width 1 -tcap -var) || (nonconfluence -steps 0 -tree -cert -fun | nonconfluence -steps 0 -tree -cert -var | nonconfluence -steps 1 -tree -cert -fun | nonconfluence -steps 1 -tree -cert -var | nonconfluence -steps 2 -tree -cert -fun | nonconfluence -steps 2 -tree -cert -var | nonconfluence -steps 25 -tree -cert -fun | nonconfluence -steps 25 -tree -cert -var) )[6] | ((cr -m -1 -force);(redundant -narrowfwd -narrowbwd -size 7)))3*! || (((cr -m -1 -force);(redundant -remove 4)); ((cr -kb;((( matrix -dim 1 -ib 3 -ob 5 | matrix -dim 2 -ib 2 -ob 3 | matrix -dim 3 -ib 1 -ob 1 | matrix -dim 3 -ib 1 -ob 3 | fail)[2]*);((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])! || (rev;((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])!)))))! || ((if linear then cr -closed -m -1;closed -strongly 7 else fail) || (if left-linear then cr -closed -m -1;(closed -development) else fail))! || (if linear then (cr -dup;(( lpo -quasi || (matrix -dim 1 -ib 3 -ob 4 | matrix -dim 2 -ib 2 -ob 2 | matrix -dim 3 -ib 1 -ob 2 | arctic -dim 2 -ib 2 -ob 2) || (if duplicating then fail else (bounds -rt || bounds -rt -qc))[1] || poly -ib 2 -ob 4 -nl2 -heuristic 1 || fail )[5]*);shift -lstar);(rule_labeling | rule_labeling -left)?;decreasing else fail)! || (if left-linear then (cr -dup;(( lpo -quasi || (matrix -dim 1 -ib 3 -ob 4 | matrix -dim 2 -ib 2 -ob 2 | matrix -dim 3 -ib 1 -ob 2 | arctic -dim 2 -ib 2 -ob 2) || (if duplicating then fail else (bounds -rt || bounds -rt -qc))[1] || poly -ib 2 -ob 4 -nl2 -heuristic 1 || fail )[5]*);shift -lstar);(rule_labeling | rule_labeling -left)?;decreasing else fail)! || (cr -cpcs2 -cpcscert; ((( matrix -dim 1 -ib 3 -ob 5 | matrix -dim 2 -ib 2 -ob 3 | matrix -dim 3 -ib 1 -ob 1 | matrix -dim 3 -ib 1 -ob 3 | fail)[2]*);((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])! || (rev;((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])!)))))!))! || (((cr -force -redundant);(redundant)); ((cr -kb;((( matrix -dim 1 -ib 3 -ob 5 | matrix -dim 2 -ib 2 -ob 3 | matrix -dim 3 -ib 1 -ob 1 | matrix -dim 3 -ib 1 -ob 3 | fail)[2]*);((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])! || (rev;((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])!)))))! || ((if linear then cr -closed -m -1;closed -strongly 7 else fail) || (if left-linear then cr -closed -m -1;(closed -development) else fail))! || (if linear then (cr -dup;(( lpo -quasi || (matrix -dim 1 -ib 3 -ob 4 | matrix -dim 2 -ib 2 -ob 2 | matrix -dim 3 -ib 1 -ob 2 | arctic -dim 2 -ib 2 -ob 2) || (if duplicating then fail else (bounds -rt || bounds -rt -qc))[1] || poly -ib 2 -ob 4 -nl2 -heuristic 1 || fail )[5]*);shift -lstar);(rule_labeling | rule_labeling -left)?;decreasing else fail)! || (if left-linear then (cr -dup;(( lpo -quasi || (matrix -dim 1 -ib 3 -ob 4 | matrix -dim 2 -ib 2 -ob 2 | matrix -dim 3 -ib 1 -ob 2 | arctic -dim 2 -ib 2 -ob 2) || (if duplicating then fail else (bounds -rt || bounds -rt -qc))[1] || poly -ib 2 -ob 4 -nl2 -heuristic 1 || fail )[5]*);shift -lstar);(rule_labeling | rule_labeling -left)?;decreasing else fail)! || (cr -cpcs2 -cpcscert; ((( matrix -dim 1 -ib 3 -ob 5 | matrix -dim 2 -ib 2 -ob 3 | matrix -dim 3 -ib 1 -ob 1 | matrix -dim 3 -ib 1 -ob 3 | fail)[2]*);((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])! || (rev;((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])!)))))!)[15]?)3*! || (((cr -m -1 -force -redundant);(redundant -rhs)); ((cr -kb;((( matrix -dim 1 -ib 3 -ob 5 | matrix -dim 2 -ib 2 -ob 3 | matrix -dim 3 -ib 1 -ob 1 | matrix -dim 3 -ib 1 -ob 3 | fail)[2]*);((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])! || (rev;((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])!)))))! || ((if linear then cr -closed -m -1;closed -strongly 7 else fail) || (if left-linear then cr -closed -m -1;(closed -development) else fail))! || (if linear then (cr -dup;(( lpo -quasi || (matrix -dim 1 -ib 3 -ob 4 | matrix -dim 2 -ib 2 -ob 2 | matrix -dim 3 -ib 1 -ob 2 | arctic -dim 2 -ib 2 -ob 2) || (if duplicating then fail else (bounds -rt || bounds -rt -qc))[1] || poly -ib 2 -ob 4 -nl2 -heuristic 1 || fail )[5]*);shift -lstar);(rule_labeling | rule_labeling -left)?;decreasing else fail)! || (if left-linear then (cr -dup;(( lpo -quasi || (matrix -dim 1 -ib 3 -ob 4 | matrix -dim 2 -ib 2 -ob 2 | matrix -dim 3 -ib 1 -ob 2 | arctic -dim 2 -ib 2 -ob 2) || (if duplicating then fail else (bounds -rt || bounds -rt -qc))[1] || poly -ib 2 -ob 4 -nl2 -heuristic 1 || fail )[5]*);shift -lstar);(rule_labeling | rule_labeling -left)?;decreasing else fail)! || (cr -cpcs2 -cpcscert; ((( matrix -dim 1 -ib 3 -ob 5 | matrix -dim 2 -ib 2 -ob 3 | matrix -dim 3 -ib 1 -ob 1 | matrix -dim 3 -ib 1 -ob 3 | fail)[2]*);((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])! || (rev;((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])!)))))!)[15]?)3*! ))[54]