YES ccxacxcbxccxbaxcbxabxbaxcaxcaxbcxccxccxbcxcaxbcx2.1caxbcxccxbcxbcxccxabxbaxbaxcbxcbxccxccxacx1caxbcxccxbcxbcxccxabxbaxbaxcbxcbxccxccxacxcaxccxccxccxbcxbcxbcxacxabxcbxbaxccxcbxbcxcbxacx2caxbcxccxbcxbcxccxabxbaxbaxcbxcbxccxccxacxcaxccxccxccxbcxbcxbcxacxabxcbxbaxccxcbxbcxcbxacxcbcx569cbxbcxbccx569bcax5691caxccxbccx569bbcx570ccax570ccxbcxbcax5701caxbcxbbcx570bbcx5701bcxccxbccx570ccax5701caxbcxcbcx570cbxbcxbccx570bbcx5701bcxccxbccx570ccax570ccxbcxbcax5701caxccxbccx570bbcx5701bcxccxbccx570ccax5701caxccxcccx570ccxbcxbccx570bbcx5701bcxccxbccx570bcxbcxbccx570ccax5701caxbcxcbcx570cbxbcxbccx570bbcx5701bcxccxbccx570bcxbcxbccx570ccax570ccxbcxbcax5701caxccxbccx570bbcx5701bcxccxbccx570bcxbcxbccx570ccax5701caxccxcccx570ccxbcxbccx570bbcx5701bcxccxbccx570bcxccxcccx570ccax5701caxccxcccx570bbcx5701bcxccxbccx570bcxccxcccx570ccax5701caxbcxcbcx570cbxccxcccx570bbcx5701bcxccxbccx570bcxccxcccx570ccax5701caxccxcccx570ccxccxcccx570bbcx5701bcxacxbacx570baxccxcccx570ccax5701caxccxcccx570bbcx5701bcxacxbacx570baxccxcccx570ccax5701caxbcxcbcx570cbxccxcccx570bbcx5701bcxacxbacx570baxccxcccx570ccax5701caxccxcccx570ccxccxcccx570bbcx5701bcxccxbccx570bcxacxaccx570ccax5701caxbcxcbcx570cbxacxaccx570bbcx5701bcxccxbccx570bcxacxaccx570ccax570ccxacxacax5701caxccxaccx570bbcx5701bcxccxbccx570bcxacxaccx570ccax5701caxccxcccx570ccxacxaccx570bbcx5701bcxacxbacx570baxcbxcbcx570ccax5701caxbcxcbcx570bbcx5701bcxacxbacx570baxcbxcbcx570ccax5701caxbcxcbcx5701bcxbcxcbcx570bbcx5701bcxacxbacx570baxcbxcbcx570ccax5701caxccxcccx5701ccxbcxcbcx570cbcx571cbxacxaccx571acax5711caxccxaccx571bcxccxccxbcxbcxbcxbcxccxccxccxbcxbcxacxacxccxccxacxacxcbcx573ccax5731caxbcxcbcx573cbcx573cbxccxcccx573ccax5731caxccxcccx573bbcx574bcax5741caxbcxbbcx574bbcx5741bcxccxbccx574bcax5741caxccxbccx574bbcx5751bcxacxbacx575acax5751caxbcxabcx575abxbaxbacx575bbcx5751bcxccxbccx5751ccxacxbacx575acax5751caxbcxabcx575abxbaxbacx575bbcx5751bcxccxbccx575bcxacxaccx575acax5751caxccxaccx575bbcx5751bcxccxbccx575bcxacxaccx575acax5751caxbcxabcx5751bcxccxaccx575bbcx5751bcxccxbccx575bcxacxaccx575acax5751caxccxaccx5751ccxccxaccx575bbcx5751bcxacxbacx575baxcbxcbcx575acax5751caxbcxabcx575abxcbxcbcx575cbcx576cbxccxcccx576bccx576bcxccxcccx576cbcx576cbxbcxbccx576bccx576cbcx576cbxacxaccx576bccx576bcxacxaccx576bbcx5771bcxccxbccx577cccx577ccxbcxbccx577bcxbcxacxacxacxcbcx579cbxacxaccx579accx579bcxccxccxbcxbcxbcxbcxccxccxccxbcxbcxacxacxccxccxacxacxcbcx581cccx5811ccxbcxcbcx581cbcx581cbxccxcccx581cccx581cbcx5811bcxacxcacx581cccx5811ccxacxcacx581cbcx581cbxbcxbccx581cccx581ccxbcxbccx581cbcx581cbxacxaccx581cccx581ccxacxaccx581bbcx582bccx5821ccxbcxbbcx582bbcx5821bcxccxbccx582bccx582bbcx5821bcxacxbacx582bccx5821ccxacxbacx582bbcx5831bcxacxbacx583accx5831ccxbcxabcx583abxbaxbacx583bbcx5831bcxccxbccx5831ccxacxbacx583accx5831ccxbcxabcx583abxbaxbacx583bbcx5831bcxccxbccx583bcxacxaccx583accx583bbcx5831bcxacxbacx583baxcbxcbcx583accx5831ccxbcxabcx583abxcbxcbcx583accx584bacx584baxcbxcbcx584cbxacxaccx584accx584bacx584baxccxcccx584ccxacxaccx584accx5841ccxbcxabcx584abxbaxbacx584bacx584accx5841ccxbcxabcx584abxcbxcbcx584bacx584baxcbxcbcx584accx5841ccxbcxabcx584abxcbxcbcx584bacx584baxcbxcbcx5841bcxbcxcbcx584accx5841ccxbcxabcx584abxcbxcbcx584bacx584baxccxcccx5841ccxbcxcbcx584cccx585cccx585ccxbcxbcxccxccxccxccxbcxbcxbcxccxccxacxacxbcxbcxacxacxccxccxacxacxacxaccx588cbcx588cbxacxaccx588cccx589bccx589bcxccxcccx589cccx589ccxbcxbccx589bccx589cccx589ccxacxaccx589bccx589bcxacxaccx589cccx590ccxacxaccx590accx590cbax5911baxcbxccbx591bcbx591bcxccxccbx591bbax5921baxcbxbcbx592cbbx592cbxbcxbcbx592cbax5931baxcbxccbx593ccbx593cbax5931baxccxcccx593ccbx5931cbxccxcccx593baxbaxcbxcbxcbxbaxbaxccxccxcbxcbxccxccxbbax5951baxcbxbcbx595ccbx595ccxbcxbcbx595acbx5961cbxbcxabcx596abxcbxcbcx596baax596baxccxccax5961caxbcxcbcx596ccbx5971cbxccxcccx597ccax5971caxccxcccx597ccbx5971cbxbcxcbcx597ccax5971caxbcxcbcx597acbx598cbax5981baxcbxccbx598ccxacxacbx598acbx5981cbxccxaccx598cbax5981baxccxcccx598ccxacxaccx598acbx5981cbxccxaccx598cbax598cbxacxacax5981caxccxaccx598acbx5981cbxccxaccx5981ccxccxaccx598cbax5981baxccxcccx598ccxacxaccx598acbx5981cbxccxaccx5981ccxccxaccx598cbax598cbxacxacax5981caxccxaccx598acbx5981cbxbcxabcx5981bcxccxaccx598cbax5981baxccxcccx598ccxacxaccx598acbx5981cbxbcxabcx5981bcxccxaccx598cbax598cbxacxacax5981caxccxaccx598acbx5981cbxbcxabcx598cbax598cbxacxacax5981caxbcxabcx598acbx5981cbxccxaccx5981ccxbcxabcx598cbax598cbxacxacax5981caxbcxabcx598acbx5981cbxbcxabcx5981bcxbcxabcx598cbax598cbxacxacax5981caxbcxabcx598acbx5981cbxbcxabcx598abxcbxcbcx598cbax5981baxcbxccbx5981cbxbcxcbcx598acbx5981cbxbcxabcx598abxcbxcbcx598cbax598cbxccxccax5981caxbcxcbcx598acbx5981cbxbcxabcx598abxcbxcbcx598cbax5981baxccxcccx5981ccxbcxcbcx598cbxcbxccxccxccxcbxcbxbcxbcxccxccxbcxbcxcbxcbxacxacxccxccxacxacxccbx6001cbxccxcccx600bcax600bcxccxccax6001caxccxcccx600ccbx6001cbxccxcccx600bcax6001caxccxbccx600bcxccxcccx600ccbx6001cbxccxcccx600ccxccxcccx600bcax600bcxccxccax6001caxccxcccx600ccbx6001cbxccxcccx600ccxccxcccx600bcax6001caxccxbccx600bcxccxcccx600ccbx6001cbxbcxcbcx600cbxccxcccx600bcax600bcxccxccax6001caxccxcccx600ccbx6001cbxbcxcbcx600cbxccxcccx600bcax6001caxccxbccx600bcxccxcccx600ccbx6001cbxacxcacx600caxccxcccx600bcax600bcxccxccax6001caxccxcccx600ccbx6001cbxacxcacx600caxccxcccx600bcax6001caxccxbccx600bcxccxcccx600ccbx6001cbxbcxcbcx600bcax600bcxccxccax6001caxbcxcbcx600ccbx6001cbxccxcccx6001ccxbcxcbcx600bcax600bcxccxccax6001caxbcxcbcx600ccbx6001cbxbcxcbcx6001bcxbcxcbcx600bcax600bcxccxccax6001caxbcxcbcx600ccbx600ccxbcxbcbx6001cbxccxbccx600bcax6001caxccxbccx600ccbx600ccxbcxbcbx6001cbxccxbccx600bcax6001caxbcxbbcx6001bcxccxbccx600ccbx600ccxbcxbcbx6001cbxccxbccx600bcax6001caxccxbccx600bcxbcxbccx600ccbx6001cbxccxcccx600ccxbcxbccx600bcax6001caxccxbccx600ccbx6001cbxccxcccx600ccxbcxbccx600bcax6001caxbcxbbcx6001bcxccxbccx600ccbx6001cbxccxcccx600ccxbcxbccx600bcax6001caxccxbccx600bcxbcxbccx600ccbx6001cbxbcxcbcx600cbxbcxbccx600bcax6001caxccxbccx600ccbx6001cbxbcxcbcx600cbxbcxbccx600bcax6001caxbcxbbcx6001bcxccxbccx600ccbx6001cbxbcxcbcx600cbxbcxbccx600bcax6001caxccxbccx600bcxbcxbccx600ccbx6001cbxacxcacx600caxbcxbccx600bcax6001caxccxbccx600ccbx6001cbxacxcacx600caxbcxbccx600bcax6001caxbcxbbcx6001bcxccxbccx600ccbx6001cbxacxcacx600caxbcxbccx600bcax6001caxccxbccx600bcxbcxbccx600ccbx600ccxbcxbcbx6001cbxbcxbbcx600bcax6001caxbcxbbcx600ccbx600ccxbcxbcbx6001cbxbcxbbcx600bcax6001caxbcxbbcx6001bcxbcxbbcx600ccbx600ccxbcxbcbx6001cbxbcxbbcx600bcax6001caxccxbccx6001ccxbcxbbcx600ccbx600ccxbcxbcbx6001cbxacxbacx600bcax6001caxbcxbbcx6001bcxacxbacx600ccbx600ccxbcxbcbx6001cbxacxbacx600bcax6001caxccxbccx6001ccxacxbacx600ccbx6001cbxccxcccx600ccxacxaccx600bcax6001caxccxbccx600bcxacxaccx600ccbx6001cbxccxcccx600ccxacxaccx600bcax600bcxacxacax6001caxccxaccx600ccbx600ccxacxacbx6001cbxccxaccx600bcax6001caxccxbccx600bcxacxaccx600ccbx600ccxacxacbx6001cbxccxaccx600bcax600bcxacxacax6001caxccxaccx600ccbx6001cbxbcxcbcx600cbxacxaccx600bcax6001caxccxbccx600bcxacxaccx600ccbx6001cbxbcxcbcx600cbxacxaccx600bcax600bcxacxacax6001caxccxaccx600ccbx600ccxacxacbx6001cbxbcxabcx600bcax600bcxacxacax6001caxbcxabcx600ccbx6011cbxbcxcbcx601acax6011caxbcxabcx601abxcbxcbcx601ccbx6011cbxccxcccx6011ccxbcxcbcx601acax6011caxbcxabcx601abxcbxcbcx601ccbx6011cbxbcxcbcx6011bcxbcxcbcx601acax6011caxbcxabcx601abxcbxcbcx601ccbx601ccxbcxbcbx6011cbxacxbacx601acax6011caxbcxabcx601abxbaxbacx601ccbx6011cbxccxcccx601ccxacxaccx601acax6011caxccxaccx601ccbx6011cbxccxcccx601ccxacxaccx601acax6011caxbcxabcx6011bcxccxaccx601ccbx6011cbxccxcccx601ccxacxaccx601acax6011caxccxaccx6011ccxccxaccx601ccbx601ccxacxacbx6011cbxccxaccx601acax6011caxccxaccx601ccbx601ccxacxacbx6011cbxccxaccx601acax6011caxbcxabcx6011bcxccxaccx601ccbx601ccxacxacbx6011cbxccxaccx601acax6011caxccxaccx6011ccxccxaccx601ccbx6011cbxbcxcbcx601cbxacxaccx601acax6011caxccxaccx601ccbx6011cbxbcxcbcx601cbxacxaccx601acax6011caxbcxabcx6011bcxccxaccx601ccbx6011cbxbcxcbcx601cbxacxaccx601acax6011caxccxaccx6011ccxccxaccx601ccbx601ccxacxacbx6011cbxbcxabcx601acax6011caxbcxabcx601ccbx601ccxacxacbx6011cbxbcxabcx601acax6011caxbcxabcx6011bcxbcxabcx601ccbx601ccxacxacbx6011cbxbcxabcx601acax6011caxccxaccx6011ccxbcxabcx601ccbx601ccxacxacbx6011cbxacxaacx601acax6011caxbcxabcx6011bcxacxaacx601ccbx601ccxacxacbx6011cbxacxaacx601acax6011caxccxaccx6011ccxacxaacx601cccx602ccxbcxbccx602bcbx6021cbxccxbccx602bccx603bcxccxcccx603ccbx6031cbxccxcccx603cccx604ccxacxaccx604acbx6041cbxccxaccx604cccx605ccbx6051cbxccxcccx605cccx6051ccxbcxcbcx605ccbx6051cbxbcxcbcx605cccx6051ccxacxcacx605ccbx6051cbxacxcacx605bccx606bcbx6061cbxccxbccx606bccx6061ccxbcxbbcx606bcbx6061cbxbcxbbcx606bccx6061ccxacxbacx606bcbx6061cbxacxbacx606bccx607bcxacxaccx607acbx6071cbxccxaccx607ccxbcxbcxccxccxccxccxbcxbcxbcxccxccxacxacxbcxbcxacxacxccxccxacxacxacxacxbcxbcxacxacxcacx611caxbcxbccx611bccx611cacx611caxccxcccx611bccx611bcxccxcccx611bacx612baxcbxcbcx612cccx6121ccxbcxcbcx612bacx612baxccxcccx612cccx612cacx613caxbcxbccx6131ccxacxbacx613accx6131ccxbcxabcx613abxbaxbacx613cacx613caxbcxbccx613bcxacxaccx613accx613cacx613caxccxcccx613ccxacxaccx613accx613cacx613caxccxcccx6131ccxbcxcbcx613accx6131ccxbcxabcx613abxcbxcbcx613acxccxccxacxacxcacx615cccx6151ccxacxcacx615cacx615caxbcxbccx615cccx615ccxbcxbccx615cacx615caxccxcccx615cccx615bacx616bccx6161ccxacxbacx616bacx616baxccxcccx616bccx616bcxccxcccx616bacx617accx6171ccxbcxabcx617abxbaxbacx617bacx617baxcbxcbcx617accx6171ccxbcxabcx617abxcbxcbcx617bacx617baxcbxcbcx6171bcxbcxcbcx617accx6171ccxbcxabcx617abxcbxcbcx617bacx617baxccxcccx6171ccxbcxcbcx617accx6171ccxbcxabcx617abxcbxcbcx617bacx617baxcbxcbcx617cbxacxaccx617accx617bacx617baxccxcccx617ccxacxaccx617accx617ccxbcxbcxccxccxccxccxbcxbcxbcxccxccxacxacxbcxbcxacxacxcccx619ccxbcxbccx619bcax6191caxccxbccx619bccx620bcxccxcccx620ccax6201caxccxcccx620cccx621ccxacxaccx621acax6211caxccxaccx621cccx622ccax6221caxccxcccx622cccx6221ccxbcxcbcx622ccax6221caxbcxcbcx622bccx623bcax6231caxccxbccx623bccx6231ccxbcxbbcx623bcax6231caxbcxbbcx623bccx624bcxacxaccx624acax6241caxccxaccx624ccxbcxbcxccxccxccxccxbcxbcxbcxccxccxacxacxbcxbcxacxacxcccx626bccx626bcxccxcccx626cccx626ccxbcxbccx626bccx626cccx626ccxacxaccx626bccx626bcxacxaccx626bccx627cccx627ccxbcxbccx627bccx627bcxccxcccx627cccx627bccx627bcxacxaccx627cccx627ccxacxaccx627ccxccxacxacxacxcccx629ccxacxaccx629accx629cccx630cccx630bccx631bccx631bccx632bcxacxaccx632accx632bcxccxccxbcxbcxbcxbcxccxccxccxbcxbcxacxacxccxccxacxacxabcx634abxbaxbacx634bacx634abcx634abxcbxcbcx634bacx634baxcbxcbcx634cbcx635cccx6351ccxbcxcbcx635cbcx635cbxccxcccx635cccx635cbcx6351bcxacxcacx635cccx6351ccxacxcacx635cbcx635cbxbcxbccx635cccx635ccxbcxbccx635cbcx635cbxacxaccx635cccx635ccxacxaccx635bcxbcxacxacxacxabcx6371bcxccxaccx637cbcx637cbxacxaccx637abcx637abxcbxcbcx637cbcx637cbcx638cbxccxcccx638bccx638bcxccxcccx638cbcx638cbxbcxbccx638bccx638cbcx638cbxacxaccx638bccx638bcxacxaccx638cbcx639cbxacxaccx639accx639acxccxccxacxacxaacx641bacx641baxcbxcbcx641cbxacxaccx6411ccxacxaacx641aacx641bacx641baxccxcccx641ccxacxaccx6411ccxacxaacx641cacx642cccx6421ccxacxcacx642cacx642caxbcxbccx642cccx642ccxbcxbccx642cacx642caxccxcccx642cccx642acxbcxbcxacxacxaacx644cbcx644cbxacxaccx6441ccxacxaacx644cacx645caxbcxbccx645bccx645cacx645caxccxcccx645bccx645bcxccxcccx645cacx646caxbcxbccx6461ccxacxbacx646accx6461ccxbcxabcx646abxbaxbacx646cacx646caxbcxbccx646bcxacxaccx646accx646cacx646caxccxcccx646ccxacxaccx646accx646cacx646caxccxcccx6461ccxbcxcbcx646accx6461ccxbcxabcx646abxcbxcbcx646ccbx647bcbx647bcxccxccbx647ccbx647ccxbcxbcbx647bcbx647ccbx647ccxacxacbx647bcbx647bcxacxacbx647cbxbaxbaxcbxcbxcbxcbxccxccxbaxbaxccxccxbcbx649cbbx649cbxbcxbcbx649bcbx649bcxccxccbx649cbbx649cbxccxccbx649bcbx649bcxacxacbx649cbbx649cbxacxacbx649ccbx650ccbx650bcbx651ccbx651ccxbcxbcbx651bcbx651bcxccxccbx651ccbx651bcbx651bcxacxacbx651ccbx651ccxacxacbx651accx6521ccxbcxabcx652abxcbxcbcx652baax652baxccxccax6521caxbcxcbcx652ccxcbxcbxccxccxccxccxbcxbcxcbxcbxbcxbcxccxccxacxacxcbxcbxacxacxcccx654ccax6541caxccxcccx654cccx6541ccxbcxcbcx654ccax6541caxbcxcbcx654accx655cbax6551baxccxcccx655ccxacxaccx655accx655cbax655cbxacxacax6551caxccxaccx655accx6551ccxbcxabcx655cbax655cbxacxacax6551caxbcxabcx655accx6551ccxbcxabcx6551bcxbcxabcx655cbax655cbxacxacax6551caxbcxabcx655accx6551ccxbcxabcx655abxcbxcbcx655cbax6551baxcbxccbx6551cbxbcxcbcx655accx6551ccxbcxabcx655abxcbxcbcx655cbax655cbxccxccax6551caxbcxcbcx655accx6551ccxbcxabcx655abxcbxcbcx655cbax6551baxccxcccx6551ccxbcxcbcx655cccx656ccxbcxbccx656bcax6561caxccxbccx656cccx657ccxacxaccx657acax6571caxccxaccx657cbcx658cbxbcxbccx658bcbx6581cbxccxbccx658bbcx659ccbx659ccxbcxbcbx6591cbxbcxbbcx659bbcx6591bcxccxbccx659ccbx659ccxbcxbcbx6591cbxccxbccx659bbcx6591bcxccxbccx659ccbx6591cbxccxcccx659ccxbcxbccx659bbcx6591bcxccxbccx659ccbx6591cbxbcxcbcx659cbxbcxbccx659bbcx6591bcxccxbccx659ccbx6591cbxacxcacx659caxbcxbccx659bbcx6591bcxccxbccx659bcxbcxbccx659ccbx659ccxbcxbcbx6591cbxccxbccx659bbcx6591bcxccxbccx659bcxbcxbccx659ccbx6591cbxccxcccx659ccxbcxbccx659bbcx6591bcxccxbccx659bcxbcxbccx659ccbx6591cbxbcxcbcx659cbxbcxbccx659bbcx6591bcxccxbccx659bcxbcxbccx659ccbx6591cbxacxcacx659caxbcxbccx659bbcx6591bcxacxbacx659ccbx659ccxbcxbcbx6591cbxacxbacx659bbcx6591bcxccxbccx6591ccxacxbacx659ccbx659ccxbcxbcbx6591cbxacxbacx659bbcx6591bcxccxbccx659bcxccxcccx659ccbx6591cbxccxcccx659bbcx6591bcxccxbccx659bcxccxcccx659ccbx6591cbxccxcccx659ccxccxcccx659bbcx6591bcxccxbccx659bcxccxcccx659ccbx6591cbxbcxcbcx659cbxccxcccx659bbcx6591bcxccxbccx659bcxccxcccx659ccbx6591cbxacxcacx659caxccxcccx659bbcx6591bcxacxbacx659baxccxcccx659ccbx6591cbxccxcccx659bbcx6591bcxacxbacx659baxccxcccx659ccbx6591cbxccxcccx659ccxccxcccx659bbcx6591bcxacxbacx659baxccxcccx659ccbx6591cbxbcxcbcx659cbxccxcccx659bbcx6591bcxacxbacx659baxccxcccx659ccbx6591cbxacxcacx659caxccxcccx659bbcx6591bcxccxbccx659bcxacxaccx659ccbx6591cbxccxcccx659ccxacxaccx659bbcx6591bcxccxbccx659bcxacxaccx659ccbx659ccxacxacbx6591cbxccxaccx659bbcx6591bcxccxbccx659bcxacxaccx659ccbx6591cbxbcxcbcx659cbxacxaccx659bbcx6591bcxacxbacx659baxcbxcbcx659ccbx6591cbxbcxcbcx659bbcx6591bcxacxbacx659baxcbxcbcx659ccbx6591cbxccxcccx6591ccxbcxcbcx659bbcx6591bcxacxbacx659baxcbxcbcx659ccbx6591cbxbcxcbcx6591bcxbcxcbcx659bcxccxccxbcxbcxbcxbcxccxccxccxbcxbcxacxacxccxccxacxacxcbcx661cbxacxaccx661acbx6611cbxccxaccx661cbcx662ccbx6621cbxbcxcbcx662cbcx662cbxccxcccx662ccbx6621cbxccxcccx662cbcx6621bcxacxcacx662ccbx6621cbxacxcacx662bbcx663bcbx6631cbxbcxbbcx663bbcx6631bcxccxbccx663bcbx6631cbxccxbccx663bbcx6631bcxacxbacx663bcbx6631cbxacxbacx663bbcx6641bcxacxbacx664acbx6641cbxbcxabcx664abxbaxbacx664bbcx6641bcxccxbccx6641ccxacxbacx664acbx6641cbxbcxabcx664abxbaxbacx664bbcx6641bcxccxbccx664bcxacxaccx664acbx6641cbxccxaccx664bbcx6641bcxccxbccx664bcxacxaccx664acbx6641cbxccxaccx6641ccxccxaccx664bbcx6641bcxccxbccx664bcxacxaccx664acbx6641cbxbcxabcx6641bcxccxaccx664bbcx6641bcxacxbacx664baxcbxcbcx664acbx6641cbxbcxabcx664abxcbxcbcx664bcxbcxacxacxacxcacx666caxbcxbccx666bcbx6661cbxccxbccx666bacx667baxcbxcbcx667ccbx6671cbxbcxcbcx667bacx667baxccxcccx667ccbx6671cbxccxcccx667acxccxccxacxacxcacx669caxbcxbccx6691ccxacxbacx669acbx6691cbxbcxabcx669abxbaxbacx669cacx669caxbcxbccx669bcxacxaccx669acbx6691cbxccxaccx669cacx669caxbcxbccx669bcxacxaccx669acbx6691cbxccxaccx6691ccxccxaccx669cacx669caxbcxbccx669bcxacxaccx669acbx6691cbxbcxabcx6691bcxccxaccx669cacx669caxccxcccx669ccxacxaccx669acbx6691cbxccxaccx669cacx669caxccxcccx669ccxacxaccx669acbx6691cbxccxaccx6691ccxccxaccx669cacx669caxccxcccx669ccxacxaccx669acbx6691cbxbcxabcx6691bcxccxaccx669cacx669caxccxcccx6691ccxbcxcbcx669acbx6691cbxbcxabcx669abxcbxcbcx669cacx670ccbx6701cbxacxcacx670cacx670caxccxcccx670ccbx6701cbxccxcccx670bacx671bcbx6711cbxacxbacx671bacx672acbx6721cbxbcxabcx672abxbaxbacx672bacx672baxcbxcbcx672acbx6721cbxbcxabcx672abxcbxcbcx672bacx672baxcbxcbcx6721bcxbcxcbcx672acbx6721cbxbcxabcx672abxcbxcbcx672bacx672baxccxcccx6721ccxbcxcbcx672acbx6721cbxbcxabcx672abxcbxcbcx672bacx672baxcbxcbcx672cbxacxaccx672acbx6721cbxccxaccx672bacx672baxcbxcbcx672cbxacxaccx672acbx6721cbxccxaccx6721ccxccxaccx672bacx672baxcbxcbcx672cbxacxaccx672acbx6721cbxbcxabcx6721bcxccxaccx672bacx672baxccxcccx672ccxacxaccx672acbx6721cbxccxaccx672bacx672baxccxcccx672ccxacxaccx672acbx6721cbxccxaccx6721ccxccxaccx672bacx672baxccxcccx672ccxacxaccx672acbx6721cbxbcxabcx6721bcxccxaccx672acxbcxbcxacxacxcsicsi 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]