YES bbxabxcaxccxbbxbbxbcxccxbaxbbxbaxbaxcbxcaxccxbax2.1ccxbaxcbxcaxbaxbbxbcxccxcaxccxbbxabx1ccxbaxcbxcaxbaxbbxbcxccxcaxccxbbxabxccxbbxcbxccxbaxabxbcxbaxcaxbax2caxbaxbcxbaxbaxabxcbxccxccxbbxbbxabxcaxccxbcxccxbaxbbxcbxcaxccxbaxcaxabxcaxbbxbcxabxbcxbbxcbxbbxcbxbaxccxabx2caxbaxbcxbaxbaxabxcbxccxccxbbxbbxabxcaxccxbcxccxbaxbbxcbxcaxccxbaxcaxabxcaxbbxbcxabxbcxbbxcbxbbxcbxbaxccxabxbbax1024baax1024baxbbxbbax1024bbax1024bbxabxabax1024baax1024baxabxabax1024cbax1025cbxbbxbbax1025bbax1025baxccxccxbaxbaxbaxbaxabxabxccxccxabxabxbaxbaxbbxbbxccxccxbbxbbxbbax1027ccax1027ccxbbxbbax1027bbax1027bbxabxabax1027ccax1027ccxabxabax1027cbax1028cbxbbxbbax1028baax1028baxbbxbbax1028cbax1028cbxbaxbaax1028baax1028baxbaxabxabxabxbaxbaxabxabxbbxbbxabxabxbaxbaxbbxbbxbbxbbax1031bbxabxabax1031abax1031bbax1032bbax1032cbax10331baxabxcabx1033caxabxabbx1033abax10331baxbbxabbx1033cbax1033cbxccxccax1033ccxabxabax1033abax1033cbax1033cbxcaxcaax1033caxabxabax1033abax1033cbax1033cbxbbxbbax1033bbxabxabax1033abax1033cbax1033cbxbaxbaax1033baxabxabax1033abax1033cbax1034cccx10341ccxbaxcbax1034cbax10341baxabxcabx1034cccx10341ccxabxcabx1034cbax10341baxbbxcbbx1034cccx10341ccxbbxcbbx1034bbax1035bbxabxabax1035abcx10351bcxbaxabax1035baxccxccxbaxbaxbaxbaxabxabxccxccxabxabxbaxbaxbbxbbxccxccxbbxbbxcbax1037cacx1037caxccxcccx10371ccxbaxcbax1037cbax10371baxabxcabx1037cacx1037caxccxcccx10371ccxabxcabx1037cbax1037cbxccxccax10371caxabxcabx1037cacx1037caxccxcccx10371ccxabxcabx1037cbax10371baxbbxcbbx1037cbxcaxcabx1037cacx1037caxccxcccx10371ccxabxcabx1037cbax10371baxbbxcbbx1037cacx1037caxccxcccx10371ccxbbxcbbx1037cbax1037cbxccxccax10371caxbbxcbbx1037cacx1037caxccxcccx10371ccxbbxcbbx1037cbax1037cbxbbxbbax1037cacx1037caxbbxbbcx10371bcxbaxbbax1037cbax1037cbxccxccax1037ccxbbxbbax1037cacx1037caxbbxbbcx10371bcxbaxbbax1037cbax1037cbxcaxcaax1037caxbbxbbax1037cacx1037caxbbxbbcx10371bcxbaxbbax1037cbax1037cbxbaxbaax1037baxbbxbbax1037cacx1037caxbbxbbcx10371bcxbaxbbax1037cbax10371baxabxcabx1037caxbaxbabx1037cacx1037caxbbxbbcx10371bcxabxbabx1037cbax10371baxbbxcbbx1037cbxbaxbabx1037cacx1037caxbbxbbcx10371bcxabxbabx1037cbax1037cbxbbxbbax10371baxabxbabx1037cacx1037caxbbxbbcx10371bcxabxbabx1037cbax10371baxabxcabx1037caxabxabbx1037cacx1037caxabxabcx10371bcxbbxabbx1037cbax10371baxabxcabx1037caxbbxbbbx1037cacx1037caxbbxbbcx10371bcxbbxbbbx1037cbax10371baxbbxcbbx1037cbxbbxbbbx1037cacx1037caxbbxbbcx10371bcxbbxbbbx1037cbax1037cbxbbxbbax10371baxbbxbbbx1037cacx1037caxbbxbbcx10371bcxbbxbbbx1037cbax1037cbxccxccax10371caxccxcccx1037cacx1037caxccxcccx1037cbax1037cbxccxccax1037ccxabxabax1037cacx1037caxabxabcx10371bcxbaxabax1037cbax1037cbxcaxcaax1037caxabxabax1037cacx1037caxabxabcx10371bcxbaxabax1037cbax1037cbxbbxbbax1037bbxabxabax1037cacx1037caxabxabcx10371bcxbaxabax1037cbax1037cbxbaxbaax1037baxabxabax1037cacx1037caxabxabcx10371bcxbaxabax1037baxbaxabxabxabxbaxbaxabxabxbbxbbxabxabxbaxbaxbbxbbxbbxcbax1040cbxbbxbbax1040bbcx10401bcxbaxbbax1040cbax1041cbxbbxbbax1041bacx1041baxbbxbbcx10411bcxbaxbbax1041cbax1041cbxccxccax1041ccxbbxbbax1041bacx1041baxbbxbbcx10411bcxbaxbbax1041cbax1041cbxcaxcaax1041caxbbxbbax1041bacx1041baxbbxbbcx10411bcxbaxbbax1041cbax1041cbxbaxbaax1041baxbbxbbax1041bacx1041baxbbxbbcx10411bcxbaxbbax1041cbax10411baxabxcabx1041caxbaxbabx1041bacx1041baxbbxbbcx10411bcxabxbabx1041cbax10411baxbbxcbbx1041cbxbaxbabx1041bacx1041baxbbxbbcx10411bcxabxbabx1041cbax1041cbxbbxbbax10411baxabxbabx1041bacx1041baxbbxbbcx10411bcxabxbabx1041cbax10411baxabxcabx1041caxabxabbx1041bacx1041baxabxabcx10411bcxbbxabbx1041cbax10411baxabxcabx1041caxbbxbbbx1041bacx1041baxbbxbbcx10411bcxbbxbbbx1041cbax10411baxbbxcbbx1041cbxbbxbbbx1041bacx1041baxbbxbbcx10411bcxbbxbbbx1041cbax1041cbxbbxbbax10411baxbbxbbbx1041bacx1041baxbbxbbcx10411bcxbbxbbbx1041cbax1041cbxccxccax1041ccxabxabax1041bacx1041baxabxabcx10411bcxbaxabax1041cbax1041cbxcaxcaax1041caxabxabax1041bacx1041baxabxabcx10411bcxbaxabax1041cbax1041cbxbbxbbax1041bbxabxabax1041bacx1041baxabxabcx10411bcxbaxabax1041cbax1041cbxbaxbaax1041baxabxabax1041bacx1041baxabxabcx10411bcxbaxabax1041cabx1042ccax10421caxabxcabx1042babx1043baxabxabbx1043abax10431baxbbxabbx1043abxbbxbbxabxabxcabx1045caax1045caxccxccax10451caxabxcabx1045cabx1045caxbaxbabx1045caax1045caxbbxbbax10451baxabxbabx1045cabx1045caxccxccbx1045ccxbaxbabx1045caax1045caxbbxbbax10451baxabxbabx1045cabx1045caxbbxbbbx10451bbxabxbabx1045caax1045caxbbxbbax10451baxabxbabx1045cabx1045caxabxabbx1045caax1045caxabxabax10451baxbbxabbx1045cabx1045caxbaxbabx1045baxabxabbx1045caax1045caxabxabax10451baxbbxabbx1045cabx1045caxccxccbx1045ccxabxabbx1045caax1045caxabxabax10451baxbbxabbx1045cabx1045caxbbxbbbx1045bbxabxabbx1045caax1045caxabxabax10451baxbbxabbx1045cabx1045caxbbxbbbx1045caax1045caxbbxbbax10451baxbbxbbbx1045cabx1045caxbaxbabx1045baxbbxbbbx1045caax1045caxbbxbbax10451baxbbxbbbx1045cabx1045caxccxccbx1045ccxbbxbbbx1045caax1045caxbbxbbax10451baxbbxbbbx1045cabx1045caxccxccbx10451cbxccxcccx1045caax1045caxccxccax10451caxccxcccx1045cabx1045caxccxccbx10451cbxcaxccax1045caax1045caxccxccax1045cabx1045caxccxccbx10451cbxbbxcbbx1045caax1045caxccxccax10451caxbbxcbbx1045cabx1045caxccxccbx10451cbxbaxcbax1045caax1045caxccxccax10451caxbaxcbax1045cabx1045caxabxabbx10451bbxabxaabx1045caax1045caxabxabax10451baxabxaabx1045cabx1046caxbaxbabx1046bbax10461baxabxbabx1046cabx1046caxbbxbbbx1046bbax10461baxbbxbbbx1046cabx1047caxbaxbabx1047baax1047baxbbxbbax10471baxabxbabx1047cabx1047caxccxccbx1047ccxbaxbabx1047baax1047baxbbxbbax10471baxabxbabx1047cabx1047caxbbxbbbx10471bbxabxbabx1047baax1047baxbbxbbax10471baxabxbabx1047cabx1047caxabxabbx1047baax1047baxabxabax10471baxbbxabbx1047cabx1047caxbaxbabx1047baxabxabbx1047baax1047baxabxabax10471baxbbxabbx1047cabx1047caxccxccbx1047ccxabxabbx1047baax1047baxabxabax10471baxbbxabbx1047cabx1047caxbbxbbbx1047bbxabxabbx1047baax1047baxabxabax10471baxbbxabbx1047cabx1047caxbbxbbbx1047baax1047baxbbxbbax10471baxbbxbbbx1047cabx1047caxbaxbabx1047baxbbxbbbx1047baax1047baxbbxbbax10471baxbbxbbbx1047cabx1047caxccxccbx1047ccxbbxbbbx1047baax1047baxbbxbbax10471baxbbxbbbx1047cabx1047caxabxabbx10471bbxabxaabx1047baax1047baxabxabax10471baxabxaabx1047bccx10481ccxbbxbbbx1048babx1048baxbbxbbbx1048bccx10481ccxabxbabx1048babx1048cccx10491ccxbbxcbbx1049cbxbbxbbbx1049bbbx1049cccx1049ccxbbxbbcx10491bcxbbxbbbx1049bbbx1049cccx10491ccxabxcabx1049caxbbxbbbx1049bbbx1049cccx10491ccxbbxcbbx1049cbxbaxbabx1049bbbx10491bbxabxbabx1049cccx1049ccxbbxbbcx10491bcxabxbabx1049bbbx10491bbxabxbabx1049cccx10491ccxabxcabx1049caxbaxbabx1049bbbx10491bbxabxbabx1049cccx10491ccxabxcabx1049caxabxabbx1049bbbx1049bbxabxabbx1049cccx10491ccxabxcabx1049caxabxabbx1049bbbx10491bbxabxbabx1049baxabxabbx1049cccx1049ccxabxabcx10491bcxbbxabbx1049bbbx1049bbxabxabbx1049cccx1049ccxabxabcx10491bcxbbxabbx1049bbbx10491bbxabxbabx1049baxabxabbx1049cccx1049ccxabxabcx10491bcxabxaabx1049bbbx1049bbxabxabbx10491bbxabxaabx1049bccx10501ccxbbxbbbx1050ccbx1050ccxbbxbbbx1050bccx1050bcxccxcccx1050ccbx10501cbxccxcccx1050bccx10501ccxabxbabx1050ccbx1050ccxbaxbabx1050ccxcaxcaxccxccxccxccxbbxbbxcaxcaxbbxbbxccxccxbaxbaxcaxcaxbaxbaxccxccxabxabxcaxcaxabxabxcccx10521ccxbbxcbbx1052cbxbbxbbbx1052babx1052baxbbxbbbx1052cccx1052ccxbbxbbcx10521bcxbbxbbbx1052babx1052baxbbxbbbx1052cccx10521ccxabxcabx1052caxbbxbbbx1052babx1052baxbbxbbbx1052cccx10521ccxbbxcbbx1052cbxbaxbabx1052babx1052cccx1052ccxbbxbbcx10521bcxabxbabx1052babx1052cccx10521ccxabxcabx1052caxbaxbabx1052babx1052cccx10521ccxabxcabx1052caxabxabbx1052babx1052baxabxabbx1052cccx10521ccxabxcabx1052caxabxabbx1052babx1052baxbbxbbbx1052bbxabxabbx1052cccx1052ccxabxabcx10521bcxbbxabbx1052babx1052baxabxabbx1052cccx1052ccxabxabcx10521bcxbbxabbx1052babx1052baxbbxbbbx1052bbxabxabbx1052cccx1052ccxabxabcx10521bcxabxaabx1052babx1052baxabxabbx10521bbxabxaabx1052bccx10531ccxbbxbbbx1053bbxabxabbx1053abbx1053bccx1053bcxabxabcx10531bcxbbxabbx1053abbx1053bccx10531ccxabxbabx1053baxabxabbx1053abbx1053bccx1053bcxabxabcx10531bcxabxaabx1053abbx10531bbxabxaabx1053bccx10541ccxbbxbbbx1054bbbx1054bccx10541ccxabxbabx1054bbbx10541bbxabxbabx1054ccxccxbbxbbxbbxccxccxabxabxbbxbbxabxabxccxccxbbxbbxbaxbaxbbxbbxccxccxbaxbaxbaxccxccxabxabxbaxbaxabxabxcccx10571ccxabxcabx1057caxabxabbx1057abbx1057cccx1057ccxabxabcx10571bcxbbxabbx1057abbx1057cccx1057ccxabxabcx10571bcxabxaabx1057abbx10571bbxabxaabx1057bbbx1058bacx1058baxbbxbbcx10581bcxbbxbbbx1058bbbx10581bbxabxbabx1058bacx1058baxbbxbbcx10581bcxabxbabx1058bbbx1058bbxabxabbx1058bacx1058baxabxabcx10581bcxbbxabbx1058bbbx10581bbxabxbabx1058baxabxabbx1058bacx1058baxabxabcx10581bcxbbxabbx1058bbbx1058bbxabxabbx10581bbxabxaabx1058bacx1058baxabxabcx10581bcxabxaabx1058cbbx1059cbxbbxbbbx1059bbcx10591bcxbbxbbbx1059cbbx1059cbxbaxbabx1059bbcx10591bcxabxbabx1059bbbx1060cccx10601ccxbbxcbbx1060cbxbbxbbbx1060bbbx1060cccx1060ccxbbxbbcx10601bcxbbxbbbx1060bbbx1060cccx10601ccxabxcabx1060caxbbxbbbx1060bbbx10601bbxabxbabx1060cccx10601ccxbbxcbbx1060cbxbaxbabx1060bbbx10601bbxabxbabx1060cccx1060ccxbbxbbcx10601bcxabxbabx1060bbbx10601bbxabxbabx1060cccx10601ccxabxcabx1060caxbaxbabx1060bbbx1060bbxabxabbx1060cccx10601ccxabxcabx1060caxabxabbx1060bbbx1060bbxabxabbx1060cccx1060ccxabxabcx10601bcxbbxabbx1060bbbx10601bbxabxbabx1060baxabxabbx1060cccx10601ccxabxcabx1060caxabxabbx1060bbbx10601bbxabxbabx1060baxabxabbx1060cccx1060ccxabxabcx10601bcxbbxabbx1060bbbx1060bbxabxabbx10601bbxabxaabx1060cccx1060ccxabxabcx10601bcxabxaabx1060bbxbaxbaxbbxbbxbbxbbxabxabxbaxbaxabxabxcbbx1062cbxbbxbbbx1062bacx1062baxbbxbbcx10621bcxbbxbbbx1062cbbx1062cbxccxccbx1062ccxbbxbbbx1062bacx1062baxbbxbbcx10621bcxbbxbbbx1062cbbx1062cbxcaxcabx1062caxbbxbbbx1062bacx1062baxbbxbbcx10621bcxbbxbbbx1062cbbx1062cbxbaxbabx1062baxbbxbbbx1062bacx1062baxbbxbbcx10621bcxbbxbbbx1062cbbx1062cbxbaxbabx1062bacx1062baxbbxbbcx10621bcxabxbabx1062cbbx1062cbxccxccbx1062ccxbaxbabx1062bacx1062baxbbxbbcx10621bcxabxbabx1062cbbx1062cbxcaxcabx1062caxbaxbabx1062bacx1062baxbbxbbcx10621bcxabxbabx1062cbbx1062cbxbbxbbbx10621bbxabxbabx1062bacx1062baxbbxbbcx10621bcxabxbabx1062cbbx1062cbxccxccbx1062ccxabxabbx1062bacx1062baxabxabcx10621bcxbbxabbx1062cbbx1062cbxcaxcabx1062caxabxabbx1062bacx1062baxabxabcx10621bcxbbxabbx1062cbbx1062cbxbbxbbbx1062bbxabxabbx1062bacx1062baxabxabcx10621bcxbbxabbx1062cbbx1062cbxbaxbabx1062baxabxabbx1062bacx1062baxabxabcx10621bcxbbxabbx1062bbbx1063bbxabxabbx1063abcx10631bcxbbxabbx1063bbbx1064bbcx10641bcxbbxbbbx1064bbbx10641bbxabxbabx1064bbcx10641bcxabxbabx1064bbxbbxabxabxabxcbbx1066cbxccxccbx1066ccxabxabbx1066abcx10661bcxbbxabbx1066cbbx1066cbxccxccbx1066ccxabxabbx1066abcx10661bcxbaxabax10661baxbbxabbx1066cbbx1066cbxccxccbx1066ccxabxabbx1066abcx10661bcxccxaccx10661ccxbbxabbx1066cbbx1066cbxcaxcabx1066caxabxabbx1066abcx10661bcxbbxabbx1066cbbx1066cbxcaxcabx1066caxabxabbx1066abcx10661bcxbaxabax10661baxbbxabbx1066cbbx1066cbxcaxcabx1066caxabxabbx1066abcx10661bcxccxaccx10661ccxbbxabbx1066cbbx1066cbxbbxbbbx1066bbxabxabbx1066abcx10661bcxbbxabbx1066cbbx1066cbxbbxbbbx1066bbxabxabbx1066abcx10661bcxbaxabax10661baxbbxabbx1066cbbx1066cbxbbxbbbx1066bbxabxabbx1066abcx10661bcxccxaccx10661ccxbbxabbx1066cbbx1066cbxbaxbabx1066baxabxabbx1066abcx10661bcxbbxabbx1066cbbx1066cbxbaxbabx1066baxabxabbx1066abcx10661bcxbaxabax10661baxbbxabbx1066cbbx1066cbxbaxbabx1066baxabxabbx1066abcx10661bcxccxaccx10661ccxbbxabbx1066cabx1067caxbaxbabx1067ccbx1067ccxbaxbabx1067cabx1067caxccxccbx1067ccbx1067cabx1067caxabxabbx1067ccbx1067ccxabxabbx1067cabx1067caxbbxbbbx1067ccbx1067ccxbbxbbbx1067babx1068baxabxabbx1068abbx1068cabx1069cabx1069cabx1070caxbaxbabx1070bbbx10701bbxabxbabx1070cabx1070caxabxabbx1070bbbx1070bbxabxabbx1070cabx1070caxbbxbbbx1070bbbx1070cabx1071caxbaxbabx1071babx1071cabx1071caxabxabbx1071babx1071baxabxabbx1071cabx1071caxbbxbbbx1071babx1071baxbbxbbbx1071ccxccxbbxbbxbaxbaxbbxbbxccxccxbaxbaxbaxccxccxabxabxbaxbaxabxabxbccx10731ccxbaxbbax1073baax1073baxbbxbbax1073cccx10741ccxbbxcbbx1074cbxbbxbbbx1074bbax10741baxbbxbbbx1074cccx10741ccxbbxcbbx1074cbxbbxbbbx1074bbax10741baxabxbabx1074baxbbxbbbx1074cccx1074ccxbbxbbcx10741bcxbbxbbbx1074bbax10741baxbbxbbbx1074cccx1074ccxbbxbbcx10741bcxbbxbbbx1074bbax10741baxabxbabx1074baxbbxbbbx1074cccx10741ccxabxcabx1074caxbbxbbbx1074bbax10741baxbbxbbbx1074cccx10741ccxabxcabx1074caxbbxbbbx1074bbax10741baxabxbabx1074baxbbxbbbx1074cccx10741ccxbbxcbbx1074cbxbaxbabx1074bbax10741baxabxbabx1074cccx10741ccxbbxcbbx1074cbxbaxbabx1074bbax10741baxbbxbbbx10741bbxabxbabx1074cccx1074ccxbbxbbcx10741bcxabxbabx1074bbax10741baxabxbabx1074cccx1074ccxbbxbbcx10741bcxabxbabx1074bbax10741baxbbxbbbx10741bbxabxbabx1074cccx10741ccxabxcabx1074caxbaxbabx1074bbax10741baxabxbabx1074cccx10741ccxabxcabx1074caxbaxbabx1074bbax10741baxbbxbbbx10741bbxabxbabx1074cccx1074ccxbbxbbcx10741bcxbaxbbax1074bbax1074cccx10741ccxbaxcbax1074cbxbbxbbax1074bbax1074cccx10741ccxabxcabx1074caxabxabbx1074bbax10741baxabxbabx1074baxabxabbx1074cccx10741ccxabxcabx1074caxabxabbx1074bbax1074bbxabxabax10741baxbbxabbx1074cccx10741ccxabxcabx1074caxabxabbx1074bbax10741baxbbxbbbx1074bbxabxabbx1074cccx1074ccxabxabcx10741bcxbbxabbx1074bbax10741baxabxbabx1074baxabxabbx1074cccx1074ccxabxabcx10741bcxbbxabbx1074bbax1074bbxabxabax10741baxbbxabbx1074cccx1074ccxabxabcx10741bcxbbxabbx1074bbax10741baxbbxbbbx1074bbxabxabbx1074cccx1074ccxabxabcx10741bcxbaxabax1074bbax1074bbxabxabax1074cccx1074ccxabxabcx10741bcxabxaabx1074bbax1074bbxabxabax10741baxabxaabx1074bccx1075bcxccxcccx1075ccax10751caxccxcccx1075bccx10751ccxbaxbbax1075ccax1075ccxbbxbbax1075cccx10761ccxbbxcbbx1076cbxbbxbbbx1076baax1076baxbbxbbax10761baxbbxbbbx1076cccx1076ccxbbxbbcx10761bcxbbxbbbx1076baax1076baxbbxbbax10761baxbbxbbbx1076cccx10761ccxabxcabx1076caxbbxbbbx1076baax1076baxbbxbbax10761baxbbxbbbx1076cccx10761ccxbbxcbbx1076cbxbaxbabx1076baax1076baxbbxbbax10761baxabxbabx1076cccx1076ccxbbxbbcx10761bcxabxbabx1076baax1076baxbbxbbax10761baxabxbabx1076cccx10761ccxabxcabx1076caxbaxbabx1076baax1076baxbbxbbax10761baxabxbabx1076cccx1076ccxbbxbbcx10761bcxbaxbbax1076baax1076baxbbxbbax1076cccx10761ccxbaxcbax1076cbxbbxbbax1076baax1076baxbbxbbax1076cccx10761ccxbaxcbax1076cbxbaxbaax1076baax1076cccx10761ccxabxcabx1076caxabxabbx1076baax1076baxabxabax10761baxbbxabbx1076cccx1076ccxabxabcx10761bcxbbxabbx1076baax1076baxabxabax10761baxbbxabbx1076cccx1076ccxabxabcx10761bcxbaxabax1076baax1076baxabxabax1076cccx1076ccxabxabcx10761bcxbaxabax1076baax1076baxbbxbbax1076bbxabxabax1076cccx1076ccxabxabcx10761bcxabxaabx1076baax1076baxabxabax10761baxabxaabx1076ccxccxabxabxabxccxccxbbxbbxbbxccxccxabxabxbbxbbxabxabxbccx10791ccxbbxbbbx1079bbxabxabbx1079abax10791baxbbxabbx1079bccx1079bcxabxabcx10791bcxbbxabbx1079abax10791baxbbxabbx1079bccx10791ccxabxbabx1079baxabxabbx1079abax10791baxbbxabbx1079bccx10791ccxbaxbbax1079bbxabxabax1079abax1079bccx1079bcxabxabcx10791bcxbaxabax1079abax1079bccx1079bcxabxabcx10791bcxabxaabx1079abax10791baxabxaabx1079bccx1079bcxabxabcx10791bcxabxaabx1079abax10791baxbbxabbx10791bbxabxaabx1079bccx10801ccxbbxbbbx1080bbax10801baxbbxbbbx1080bccx10801ccxbaxbbax1080bbax1080bccx10801ccxabxbabx1080bbax10801baxabxbabx1080cccx10811ccxabxcabx1081caxabxabbx1081abax10811baxbbxabbx1081cccx1081ccxabxabcx10811bcxbbxabbx1081abax10811baxbbxabbx1081cccx1081ccxabxabcx10811bcxbaxabax1081abax1081cccx1081ccxabxabcx10811bcxabxaabx1081abax10811baxabxaabx1081cccx1081ccxabxabcx10811bcxabxaabx1081abax10811baxbbxabbx10811bbxabxaabx1081ccxccxbbxbbxbaxbaxbbxbbxccxccxbaxbaxbaxccxccxabxabxbaxbaxabxabxcccx1083cccx1083bccx1084bcxabxabcx1084abcx1084cccx1085cacx1085caxccxcccx1085cccx1085ccxbbxbbcx1085cacx1085caxbbxbbcx1085cccx1085ccxbaxbacx1085cacx1085caxbaxbacx1085cccx1085ccxabxabcx1085cacx1085caxabxabcx1085ccxccxabxabxabxccxccxbbxbbxbbxccxccxabxabxbbxbbxabxabxcccx1088ccxbbxbbcx1088bbcx1088cccx1088ccxabxabcx1088bbcx1088bbxabxabcx1088cccx1089ccxbbxbbcx1089bacx1089baxbbxbbcx1089cccx1089ccxbaxbacx1089bacx1089cccx1089ccxabxabcx1089bacx1089baxabxabcx1089bbxbbxabxabxabxcbbx1091ccax10911caxbbxcbbx1091cbbx1091cbxcaxcabx1091ccax10911caxabxcabx1091bbbx1092bbxabxabbx1092abax10921baxbbxabbx1092cbbx1093caax1093caxccxccax10931caxbbxcbbx1093cbbx1093cbxcaxcabx1093caax1093caxccxccax10931caxabxcabx1093cbbx1093cbxbbxbbbx1093caax1093caxbbxbbax10931baxbbxbbbx1093cbbx1093cbxccxccbx1093ccxbbxbbbx1093caax1093caxbbxbbax10931baxbbxbbbx1093cbbx1093cbxcaxcabx1093caxbbxbbbx1093caax1093caxbbxbbax10931baxbbxbbbx1093cbbx1093cbxbaxbabx1093baxbbxbbbx1093caax1093caxbbxbbax10931baxbbxbbbx1093cbbx1093cbxbaxbabx1093caax1093caxbbxbbax10931baxabxbabx1093cbbx1093cbxccxccbx1093ccxbaxbabx1093caax1093caxbbxbbax10931baxabxbabx1093cbbx1093cbxcaxcabx1093caxbaxbabx1093caax1093caxbbxbbax10931baxabxbabx1093cbbx1093cbxbbxbbbx10931bbxabxbabx1093caax1093caxbbxbbax10931baxabxbabx1093cbbx1093cbxccxccbx10931cbxccxcccx1093caax1093caxccxccax10931caxccxcccx1093cbbx1093cbxccxccbx10931cbxcaxccax1093caax1093caxccxccax1093cbbx1093cbxccxccbx10931cbxbaxcbax1093caax1093caxccxccax10931caxbaxcbax1093cbbx1093cbxccxccbx1093ccxabxabbx1093caax1093caxabxabax10931baxbbxabbx1093cbbx1093cbxcaxcabx1093caxabxabbx1093caax1093caxabxabax10931baxbbxabbx1093cbbx1093cbxbbxbbbx1093bbxabxabbx1093caax1093caxabxabax10931baxbbxabbx1093cbbx1093cbxbaxbabx1093baxabxabbx1093caax1093caxabxabax10931baxbbxabbx1093cbbx1094cbxbbxbbbx1094bbax10941baxbbxbbbx1094cbbx1094cbxbaxbabx1094bbax10941baxabxbabx1094cbbx1095cbxbbxbbbx1095baax1095baxbbxbbax10951baxbbxbbbx1095cbbx1095cbxccxccbx1095ccxbbxbbbx1095baax1095baxbbxbbax10951baxbbxbbbx1095cbbx1095cbxcaxcabx1095caxbbxbbbx1095baax1095baxbbxbbax10951baxbbxbbbx1095cbbx1095cbxbaxbabx1095baxbbxbbbx1095baax1095baxbbxbbax10951baxbbxbbbx1095cbbx1095cbxbaxbabx1095baax1095baxbbxbbax10951baxabxbabx1095cbbx1095cbxccxccbx1095ccxbaxbabx1095baax1095baxbbxbbax10951baxabxbabx1095cbbx1095cbxcaxcabx1095caxbaxbabx1095baax1095baxbbxbbax10951baxabxbabx1095cbbx1095cbxbbxbbbx10951bbxabxbabx1095baax1095baxbbxbbax10951baxabxbabx1095cbbx1095cbxccxccbx1095ccxabxabbx1095baax1095baxabxabax10951baxbbxabbx1095cbbx1095cbxcaxcabx1095caxabxabbx1095baax1095baxabxabax10951baxbbxabbx1095cbbx1095cbxbbxbbbx1095bbxabxabbx1095baax1095baxabxabax10951baxbbxabbx1095cbbx1095cbxbaxbabx1095baxabxabbx1095baax1095baxabxabax10951baxbbxabbx1095bcax10961caxabxbabx1096babx1096bcax10961caxbbxbbbx1096babx1096baxbbxbbbx1096caxcaxbaxbaxccxccxbaxbaxcaxcaxccxccxccxcaxcaxabxabxccxccxabxabxcaxcaxbbxbbxccxccxbbxbbxccax1098ccxbbxbbax10981baxabxbabx1098bbbx10981bbxabxbabx1098ccax10981caxabxcabx1098caxbaxbabx1098bbbx10981bbxabxbabx1098ccax10981caxbbxcbbx1098cbxbaxbabx1098bbbx10981bbxabxbabx1098ccax1098ccxbbxbbax10981baxbbxbbbx1098bbbx1098ccax10981caxabxcabx1098caxbbxbbbx1098bbbx1098ccax10981caxbbxcbbx1098cbxbbxbbbx1098bbbx1098ccax10981caxabxcabx1098caxabxabbx1098bbbx1098bbxabxabbx1098ccax10981caxabxcabx1098caxabxabbx1098bbbx10981bbxabxbabx1098baxabxabbx1098ccax1098ccxabxabax10981baxbbxabbx1098bbbx1098bbxabxabbx1098ccax1098ccxabxabax10981baxbbxabbx1098bbbx10981bbxabxbabx1098baxabxabbx1098ccax1098ccxabxabax10981baxabxaabx1098bbbx1098bbxabxabbx10981bbxabxaabx1098bcax1099bcxccxccax1099ccbx10991cbxcaxccax1099bcax10991caxabxbabx1099ccbx1099ccxbaxbabx1099bcax10991caxbbxbbbx1099ccbx1099ccxbbxbbbx1099ccax1100ccxbbxbbax11001baxabxbabx1100babx1100ccax11001caxabxcabx1100caxbaxbabx1100babx1100ccax11001caxbbxcbbx1100cbxbaxbabx1100babx1100ccax1100ccxbbxbbax11001baxbbxbbbx1100babx1100baxbbxbbbx1100ccax11001caxabxcabx1100caxbbxbbbx1100babx1100baxbbxbbbx1100ccax11001caxbbxcbbx1100cbxbbxbbbx1100babx1100baxbbxbbbx1100ccax11001caxabxcabx1100caxabxabbx1100babx1100baxabxabbx1100ccax11001caxabxcabx1100caxabxabbx1100babx1100baxbbxbbbx1100bbxabxabbx1100ccax1100ccxabxabax11001baxbbxabbx1100babx1100baxabxabbx1100ccax1100ccxabxabax11001baxbbxabbx1100babx1100baxbbxbbbx1100bbxabxabbx1100ccax1100ccxabxabax11001baxabxaabx1100babx1100baxabxabbx11001bbxabxaabx1100bcax11011caxabxbabx1101baxabxabbx1101abbx1101bcax11011caxbbxbbbx1101bbxabxabbx1101abbx1101bcax1101bcxabxabax11011baxbbxabbx1101abbx1101bcax1101bcxabxabax11011baxabxaabx1101abbx11011bbxabxaabx1101bcax11021caxabxbabx1102bbbx11021bbxabxbabx1102bcax11021caxbbxbbbx1102bbbx1102caxcaxabxabxbbxbbxabxabxcaxcaxbbxbbxbbxcaxcaxbaxbaxbaxcaxcaxabxabxbaxbaxabxabxcaxcaxbbxbbxbaxbaxbbxbbxccax11051caxabxcabx1105caxabxabbx1105abbx1105ccax1105ccxabxabax11051baxbbxabbx1105abbx1105ccax1105ccxabxabax11051baxabxaabx1105abbx11051bbxabxaabx1105bbax1106bacx1106baxbbxbbcx11061bcxbaxbbax1106bbax11061baxabxbabx1106bacx1106baxbbxbbcx11061bcxabxbabx1106bbax11061baxbbxbbbx11061bbxabxbabx1106bacx1106baxbbxbbcx11061bcxabxbabx1106bbax1106bbxabxabax1106bacx1106baxabxabcx11061bcxbaxabax1106bbax11061baxbbxbbbx1106bacx1106baxbbxbbcx11061bcxbbxbbbx1106bbax11061baxabxbabx1106baxbbxbbbx1106bacx1106baxbbxbbcx11061bcxbbxbbbx1106bbax11061baxabxbabx1106baxabxabbx1106bacx1106baxabxabcx11061bcxbbxabbx1106bbax1106bbxabxabax11061baxbbxabbx1106bacx1106baxabxabcx11061bcxbbxabbx1106bbax11061baxbbxbbbx1106bbxabxabbx1106bacx1106baxabxabcx11061bcxbbxabbx1106bbax1106bbxabxabax11061baxabxaabx1106bacx1106baxabxabcx11061bcxabxaabx1106baxbaxabxabxbbxbbxabxabxbaxbaxbbxbbxbbxcbax1108cbxbbxbbax1108bbcx11081bcxbaxbbax1108bbax1109cccx1109ccxbbxbbcx11091bcxbaxbbax1109bbax1109cccx11091ccxbaxcbax1109cbxbbxbbax1109bbax11091baxabxbabx1109cccx11091ccxbbxcbbx1109cbxbaxbabx1109bbax11091baxabxbabx1109cccx1109ccxbbxbbcx11091bcxabxbabx1109bbax11091baxabxbabx1109cccx11091ccxabxcabx1109caxbaxbabx1109bbax11091baxbbxbbbx11091bbxabxbabx1109cccx11091ccxbbxcbbx1109cbxbaxbabx1109bbax11091baxbbxbbbx11091bbxabxbabx1109cccx1109ccxbbxbbcx11091bcxabxbabx1109bbax11091baxbbxbbbx11091bbxabxbabx1109cccx11091ccxabxcabx1109caxbaxbabx1109bbax1109bbxabxabax1109cccx1109ccxabxabcx11091bcxbaxabax1109bbax11091baxbbxbbbx1109cccx11091ccxbbxcbbx1109cbxbbxbbbx1109bbax11091baxbbxbbbx1109cccx1109ccxbbxbbcx11091bcxbbxbbbx1109bbax11091baxbbxbbbx1109cccx11091ccxabxcabx1109caxbbxbbbx1109bbax11091baxabxbabx1109baxbbxbbbx1109cccx11091ccxbbxcbbx1109cbxbbxbbbx1109bbax11091baxabxbabx1109baxbbxbbbx1109cccx1109ccxbbxbbcx11091bcxbbxbbbx1109bbax11091baxabxbabx1109baxbbxbbbx1109cccx11091ccxabxcabx1109caxbbxbbbx1109bbax11091baxabxbabx1109baxabxabbx1109cccx11091ccxabxcabx1109caxabxabbx1109bbax11091baxabxbabx1109baxabxabbx1109cccx1109ccxabxabcx11091bcxbbxabbx1109bbax1109bbxabxabax11091baxbbxabbx1109cccx11091ccxabxcabx1109caxabxabbx1109bbax1109bbxabxabax11091baxbbxabbx1109cccx1109ccxabxabcx11091bcxbbxabbx1109bbax11091baxbbxbbbx1109bbxabxabbx1109cccx11091ccxabxcabx1109caxabxabbx1109bbax11091baxbbxbbbx1109bbxabxabbx1109cccx1109ccxabxabcx11091bcxbbxabbx1109bbax1109bbxabxabax11091baxabxaabx1109cccx1109ccxabxabcx11091bcxabxaabx1109cbax1110cbxbbxbbax1110bacx1110baxbbxbbcx11101bcxbaxbbax1110cbax1110cbxccxccax1110ccxbbxbbax1110bacx1110baxbbxbbcx11101bcxbaxbbax1110cbax1110cbxcaxcaax1110caxbbxbbax1110bacx1110baxbbxbbcx11101bcxbaxbbax1110cbax1110cbxbaxbaax1110baxbbxbbax1110bacx1110baxbbxbbcx11101bcxbaxbbax1110cbax11101baxabxcabx1110caxbaxbabx1110bacx1110baxbbxbbcx11101bcxabxbabx1110cbax11101baxbbxcbbx1110cbxbaxbabx1110bacx1110baxbbxbbcx11101bcxabxbabx1110cbax1110cbxbbxbbax11101baxabxbabx1110bacx1110baxbbxbbcx11101bcxabxbabx1110cbax11101baxabxcabx1110caxabxabbx1110bacx1110baxabxabcx11101bcxbbxabbx1110cbax11101baxabxcabx1110caxbbxbbbx1110bacx1110baxbbxbbcx11101bcxbbxbbbx1110cbax11101baxbbxcbbx1110cbxbbxbbbx1110bacx1110baxbbxbbcx11101bcxbbxbbbx1110cbax1110cbxbbxbbax11101baxbbxbbbx1110bacx1110baxbbxbbcx11101bcxbbxbbbx1110cbax1110cbxccxccax1110ccxabxabax1110bacx1110baxabxabcx11101bcxbaxabax1110cbax1110cbxcaxcaax1110caxabxabax1110bacx1110baxabxabcx11101bcxbaxabax1110cbax1110cbxbbxbbax1110bbxabxabax1110bacx1110baxabxabcx11101bcxbaxabax1110cbax1110cbxbaxbaax1110baxabxabax1110bacx1110baxabxabcx11101bcxbaxabax1110bbax1111bbxabxabax1111abcx11111bcxbaxabax1111bbax1112bbcx11121bcxbaxbbax1112bbax11121baxabxbabx1112bbcx11121bcxabxbabx1112bbax11121baxbbxbbbx1112bbcx11121bcxbbxbbbx1112baxbaxabxabxabxcbax11141baxabxcabx1114caxabxabbx1114abcx11141bcxbbxabbx1114cbax11141baxabxcabx1114caxabxabbx1114abcx11141bcxbaxabax11141baxbbxabbx1114cbax11141baxabxcabx1114caxabxabbx1114abcx11141bcxccxaccx11141ccxbbxabbx1114cbax1114cbxccxccax1114ccxabxabax1114abcx11141bcxbaxabax1114cbax1114cbxccxccax1114ccxabxabax1114abcx11141bcxccxaccx11141ccxbaxabax1114cbax1114cbxcaxcaax1114caxabxabax1114abcx11141bcxbaxabax1114cbax1114cbxcaxcaax1114caxabxabax1114abcx11141bcxccxaccx11141ccxbaxabax1114cbax1114cbxbbxbbax1114bbxabxabax1114abcx11141bcxbaxabax1114cbax1114cbxbbxbbax1114bbxabxabax1114abcx11141bcxccxaccx11141ccxbaxabax1114cbax1114cbxbaxbaax1114baxabxabax1114abcx11141bcxbaxabax1114cbax1114cbxbaxbaax1114baxabxabax1114abcx11141bcxccxaccx11141ccxbaxabax1114abxbaxbaxabxabxbabx1116baax1116baxbbxbbax11161baxabxbabx1116babx1116baxabxabbx1116baax1116baxabxabax11161baxbbxabbx1116babx1116baxbbxbbbx1116bbxabxabbx1116baax1116baxabxabax11161baxbbxabbx1116babx1116baxbbxbbbx1116baax1116baxbbxbbax11161baxbbxbbbx1116babx1116baxabxabbx11161bbxabxaabx1116baax1116baxabxabax11161baxabxaabx1116cabx1117caxbaxbabx1117bbax11171baxabxbabx1117cabx1117caxbbxbbbx1117bbax11171baxbbxbbbx1117abxccxccxabxabxbabx1119ccax1119ccxbbxbbax11191baxabxbabx1119babx1119ccax11191caxabxcabx1119caxbaxbabx1119babx1119ccax11191caxbbxcbbx1119cbxbaxbabx1119babx1119baxabxabbx1119ccax11191caxabxcabx1119caxabxabbx1119babx1119baxabxabbx1119ccax1119ccxabxabax11191baxbbxabbx1119babx1119baxbbxbbbx1119bbxabxabbx1119ccax11191caxabxcabx1119caxabxabbx1119babx1119baxbbxbbbx1119bbxabxabbx1119ccax1119ccxabxabax11191baxbbxabbx1119babx1119baxbbxbbbx1119ccax1119ccxbbxbbax11191baxbbxbbbx1119babx1119baxbbxbbbx1119ccax11191caxabxcabx1119caxbbxbbbx1119babx1119baxbbxbbbx1119ccax11191caxbbxcbbx1119cbxbbxbbbx1119babx1119baxabxabbx11191bbxabxaabx1119ccax1119ccxabxabax11191baxabxaabx1119cabx1120caxbaxbabx1120baax1120baxbbxbbax11201baxabxbabx1120cabx1120caxccxccbx1120ccxbaxbabx1120baax1120baxbbxbbax11201baxabxbabx1120cabx1120caxbbxbbbx11201bbxabxbabx1120baax1120baxbbxbbax11201baxabxbabx1120cabx1120caxabxabbx1120baax1120baxabxabax11201baxbbxabbx1120cabx1120caxbaxbabx1120baxabxabbx1120baax1120baxabxabax11201baxbbxabbx1120cabx1120caxccxccbx1120ccxabxabbx1120baax1120baxabxabax11201baxbbxabbx1120cabx1120caxbbxbbbx1120bbxabxabbx1120baax1120baxabxabax11201baxbbxabbx1120cabx1120caxbbxbbbx1120baax1120baxbbxbbax11201baxbbxbbbx1120cabx1120caxbaxbabx1120baxbbxbbbx1120baax1120baxbbxbbax11201baxbbxbbbx1120cabx1120caxccxccbx1120ccxbbxbbbx1120baax1120baxbbxbbax11201baxbbxbbbx1120cabx1120caxabxabbx11201bbxabxaabx1120baax1120baxabxabax11201baxabxaabx1120abxbbxbbxabxabxbabx1122baxabxabbx1122abax11221baxbbxabbx1122babx1123bbax11231baxabxbabx1123babx1123baxbbxbbbx1123bbax11231baxbbxbbbx1123cabx1124caxabxabbx1124abax11241baxbbxabbx1124bbxbaxbaxbbxbbxbbxbbxabxabxbaxbaxabxabxbbbx1126baax1126baxbbxbbax11261baxbbxbbbx1126bbbx11261bbxabxbabx1126baax1126baxbbxbbax11261baxabxbabx1126bbbx1126bbxabxabbx1126baax1126baxabxabax11261baxbbxabbx1126bbbx11261bbxabxbabx1126baxabxabbx1126baax1126baxabxabax11261baxbbxabbx1126bbbx1126bbxabxabbx11261bbxabxaabx1126baax1126baxabxabax11261baxabxaabx1126cbbx1127cbxbbxbbbx1127bbax11271baxbbxbbbx1127cbbx1127cbxbaxbabx1127bbax11271baxabxbabx1127bbxccxccxbbxbbxbbxbbxabxabxccxccxabxabxbbbx1129ccax1129ccxbbxbbax11291baxbbxbbbx1129bbbx1129ccax11291caxabxcabx1129caxbbxbbbx1129bbbx1129ccax11291caxbbxcbbx1129cbxbbxbbbx1129bbbx11291bbxabxbabx1129ccax1129ccxbbxbbax11291baxabxbabx1129bbbx11291bbxabxbabx1129ccax11291caxabxcabx1129caxbaxbabx1129bbbx11291bbxabxbabx1129ccax11291caxbbxcbbx1129cbxbaxbabx1129bbbx1129bbxabxabbx1129ccax11291caxabxcabx1129caxabxabbx1129bbbx1129bbxabxabbx1129ccax1129ccxabxabax11291baxbbxabbx1129bbbx11291bbxabxbabx1129baxabxabbx1129ccax11291caxabxcabx1129caxabxabbx1129bbbx11291bbxabxbabx1129baxabxabbx1129ccax1129ccxabxabax11291baxbbxabbx1129bbbx1129bbxabxabbx11291bbxabxaabx1129ccax1129ccxabxabax11291baxabxaabx1129cbbx1130cbxbbxbbbx1130baax1130baxbbxbbax11301baxbbxbbbx1130cbbx1130cbxccxccbx1130ccxbbxbbbx1130baax1130baxbbxbbax11301baxbbxbbbx1130cbbx1130cbxcaxcabx1130caxbbxbbbx1130baax1130baxbbxbbax11301baxbbxbbbx1130cbbx1130cbxbaxbabx1130baxbbxbbbx1130baax1130baxbbxbbax11301baxbbxbbbx1130cbbx1130cbxbaxbabx1130baax1130baxbbxbbax11301baxabxbabx1130cbbx1130cbxccxccbx1130ccxbaxbabx1130baax1130baxbbxbbax11301baxabxbabx1130cbbx1130cbxcaxcabx1130caxbaxbabx1130baax1130baxbbxbbax11301baxabxbabx1130cbbx1130cbxbbxbbbx11301bbxabxbabx1130baax1130baxbbxbbax11301baxabxbabx1130cbbx1130cbxccxccbx1130ccxabxabbx1130baax1130baxabxabax11301baxbbxabbx1130cbbx1130cbxcaxcabx1130caxabxabbx1130baax1130baxabxabax11301baxbbxabbx1130cbbx1130cbxbbxbbbx1130bbxabxabbx1130baax1130baxabxabax11301baxbbxabbx1130cbbx1130cbxbaxbabx1130baxabxabbx1130baax1130baxabxabax11301baxbbxabbx1130bbxbbxabxabxabxbbbx1132bbxabxabbx1132abax11321baxbbxabbx1132bbbx1133bbax11331baxbbxbbbx1133bbbx11331bbxabxbabx1133bbax11331baxabxbabx1133cbbx1134cbxccxccbx1134ccxabxabbx1134abax11341baxbbxabbx1134cbbx1134cbxcaxcabx1134caxabxabbx1134abax11341baxbbxabbx1134cbbx1134cbxbbxbbbx1134bbxabxabbx1134abax11341baxbbxabbx1134cbbx1134cbxbaxbabx1134baxabxabbx1134abax11341baxbbxabbx1134abxbaxbaxabxabxcabx1136cccx11361ccxabxcabx1136babx1137baxabxabbx1137abcx11371bcxbbxabbx1137abxccxccxabxabxcabx1139cacx1139caxccxcccx11391ccxabxcabx1139cabx1139caxbaxbabx1139cacx1139caxbbxbbcx11391bcxabxbabx1139cabx1139caxccxccbx1139ccxbaxbabx1139cacx1139caxbbxbbcx11391bcxabxbabx1139cabx1139caxbbxbbbx11391bbxabxbabx1139cacx1139caxbbxbbcx11391bcxabxbabx1139cabx1139caxabxabbx1139cacx1139caxabxabcx11391bcxbbxabbx1139cabx1139caxbaxbabx1139baxabxabbx1139cacx1139caxabxabcx11391bcxbbxabbx1139cabx1139caxccxccbx1139ccxabxabbx1139cacx1139caxabxabcx11391bcxbbxabbx1139cabx1139caxbbxbbbx1139bbxabxabbx1139cacx1139caxabxabcx11391bcxbbxabbx1139cabx1139caxbbxbbbx1139cacx1139caxbbxbbcx11391bcxbbxbbbx1139cabx1139caxbaxbabx1139baxbbxbbbx1139cacx1139caxbbxbbcx11391bcxbbxbbbx1139cabx1139caxccxccbx1139ccxbbxbbbx1139cacx1139caxbbxbbcx11391bcxbbxbbbx1139cabx1139caxccxccbx11391cbxccxcccx1139cacx1139caxccxcccx1139cabx1139caxccxccbx11391cbxbbxcbbx1139cacx1139caxccxcccx11391ccxbbxcbbx1139cabx1139caxccxccbx11391cbxbaxcbax1139cacx1139caxccxcccx11391ccxbaxcbax1139cabx1139caxabxabbx11391bbxabxaabx1139cacx1139caxabxabcx11391bcxabxaabx1139abxbbxbbxabxabxcabx1141caxbaxbabx1141bbcx11411bcxabxbabx1141cabx1141caxbbxbbbx1141bbcx11411bcxbbxbbbx1141cabx1142caxbaxbabx1142bacx1142baxbbxbbcx11421bcxabxbabx1142cabx1142caxccxccbx1142ccxbaxbabx1142bacx1142baxbbxbbcx11421bcxabxbabx1142cabx1142caxbbxbbbx11421bbxabxbabx1142bacx1142baxbbxbbcx11421bcxabxbabx1142cabx1142caxabxabbx1142bacx1142baxabxabcx11421bcxbbxabbx1142cabx1142caxbaxbabx1142baxabxabbx1142bacx1142baxabxabcx11421bcxbbxabbx1142cabx1142caxccxccbx1142ccxabxabbx1142bacx1142baxabxabcx11421bcxbbxabbx1142cabx1142caxbbxbbbx1142bbxabxabbx1142bacx1142baxabxabcx11421bcxbbxabbx1142cabx1142caxbbxbbbx1142bacx1142baxbbxbbcx11421bcxbbxbbbx1142cabx1142caxbaxbabx1142baxbbxbbbx1142bacx1142baxbbxbbcx11421bcxbbxbbbx1142cabx1142caxccxccbx1142ccxbbxbbbx1142bacx1142baxbbxbbcx11421bcxbbxbbbx1142cabx1142caxabxabbx11421bbxabxaabx1142bacx1142baxabxabcx11421bcxabxaabx1142bbxbaxbaxbbxbbxbbxbbxabxabxbaxbaxabxabxcbbx1144cccx11441ccxbbxcbbx1144cbbx1144cbxcaxcabx1144cccx11441ccxabxcabx1144bbbx1145bbxabxabbx1145abcx11451bcxbbxabbx1145bbxccxccxbbxbbxbbxbbxabxabxccxccxabxabxcbbx1147cacx1147caxccxcccx11471ccxbbxcbbx1147cbbx1147cbxcaxcabx1147cacx1147caxccxcccx11471ccxabxcabx1147cbbx1147cbxbbxbbbx1147cacx1147caxbbxbbcx11471bcxbbxbbbx1147cbbx1147cbxccxccbx1147ccxbbxbbbx1147cacx1147caxbbxbbcx11471bcxbbxbbbx1147cbbx1147cbxcaxcabx1147caxbbxbbbx1147cacx1147caxbbxbbcx11471bcxbbxbbbx1147cbbx1147cbxbaxbabx1147baxbbxbbbx1147cacx1147caxbbxbbcx11471bcxbbxbbbx1147cbbx1147cbxbaxbabx1147cacx1147caxbbxbbcx11471bcxabxbabx1147cbbx1147cbxccxccbx1147ccxbaxbabx1147cacx1147caxbbxbbcx11471bcxabxbabx1147cbbx1147cbxcaxcabx1147caxbaxbabx1147cacx1147caxbbxbbcx11471bcxabxbabx1147cbbx1147cbxbbxbbbx11471bbxabxbabx1147cacx1147caxbbxbbcx11471bcxabxbabx1147cbbx1147cbxccxccbx11471cbxccxcccx1147cacx1147caxccxcccx1147cbbx1147cbxccxccbx11471cbxbaxcbax1147cacx1147caxccxcccx11471ccxbaxcbax1147cbbx1147cbxccxccbx1147ccxabxabbx1147cacx1147caxabxabcx11471bcxbbxabbx1147cbbx1147cbxcaxcabx1147caxabxabbx1147cacx1147caxabxabcx11471bcxbbxabbx1147cbbx1147cbxbbxbbbx1147bbxabxabbx1147cacx1147caxabxabcx11471bcxbbxabbx1147cbbx1147cbxbaxbabx1147baxabxabbx1147cacx1147caxabxabcx11471bcxbbxabbx1147bbxbbxabxabxabxcbbx1149cbxbbxbbbx1149bbcx11491bcxbbxbbbx1149cbbx1149cbxbaxbabx1149bbcx11491bcxabxbabx1149cbbx1150cbxbbxbbbx1150bacx1150baxbbxbbcx11501bcxbbxbbbx1150cbbx1150cbxccxccbx1150ccxbbxbbbx1150bacx1150baxbbxbbcx11501bcxbbxbbbx1150cbbx1150cbxcaxcabx1150caxbbxbbbx1150bacx1150baxbbxbbcx11501bcxbbxbbbx1150cbbx1150cbxbaxbabx1150baxbbxbbbx1150bacx1150baxbbxbbcx11501bcxbbxbbbx1150cbbx1150cbxbaxbabx1150bacx1150baxbbxbbcx11501bcxabxbabx1150cbbx1150cbxccxccbx1150ccxbaxbabx1150bacx1150baxbbxbbcx11501bcxabxbabx1150cbbx1150cbxcaxcabx1150caxbaxbabx1150bacx1150baxbbxbbcx11501bcxabxbabx1150cbbx1150cbxbbxbbbx11501bbxabxbabx1150bacx1150baxbbxbbcx11501bcxabxbabx1150cbbx1150cbxccxccbx1150ccxabxabbx1150bacx1150baxabxabcx11501bcxbbxabbx1150cbbx1150cbxcaxcabx1150caxabxabbx1150bacx1150baxabxabcx11501bcxbbxabbx1150cbbx1150cbxbbxbbbx1150bbxabxabbx1150bacx1150baxabxabcx11501bcxbbxabbx1150cbbx1150cbxbaxbabx1150baxabxabbx1150bacx1150baxabxabcx11501bcxbbxabbx1150bbbx1151babx1151baxbbxbbbx1151bbbx11511bbxabxbabx1151babx1151bbbx1151bbxabxabbx1151babx1151baxabxabbx1151bbxccxccxbbxbbxbbxbbxabxabxccxccxabxabxcbbx1153cbxbbxbbbx1153bbbx1153cbbx1153cbxbaxbabx1153bbbx11531bbxabxbabx1153bbbx1154ccbx1154ccxbbxbbbx1154bbbx11541bbxabxbabx1154ccbx1154ccxbaxbabx1154bbbx1154bbxabxabbx1154ccbx1154ccxabxabbx1154bbxcaxcaxbbxbbxbbxbbxabxabxcaxcaxabxabxcbbx1156cbxbbxbbbx1156babx1156baxbbxbbbx1156cbbx1156cbxbaxbabx1156babx1156bbbx1157bbxabxabbx1157abbx1157bbbx1158bbbx1158bbxbaxbaxbbxbbxbbxbbxabxabxbaxbaxabxabxcbbx1160cbxccxccbx1160ccxabxabbx1160abbx1160cbbx1160cbxcaxcabx1160caxabxabbx1160abbx1160cbbx1160cbxbbxbbbx1160bbxabxabbx1160abbx1160cbbx1160cbxbaxbabx1160baxabxabbx1160abbx1160bbax11611baxabxbabx1161babx1161bbax11611baxbbxbbbx1161babx1161baxbbxbbbx1161baxccxccxbaxbaxbaxbaxabxabxccxccxabxabxbaxbaxbbxbbxccxccxbbxbbxcbax11631baxabxcabx1163caxbaxbabx1163bbbx11631bbxabxbabx1163cbax11631baxbbxcbbx1163cbxbaxbabx1163bbbx11631bbxabxbabx1163cbax1163cbxbbxbbax11631baxabxbabx1163bbbx11631bbxabxbabx1163cbax11631baxabxcabx1163caxabxabbx1163bbbx1163bbxabxabbx1163cbax11631baxabxcabx1163caxabxabbx1163bbbx11631bbxabxbabx1163baxabxabbx1163cbax11631baxabxcabx1163caxbbxbbbx1163bbbx1163cbax11631baxbbxcbbx1163cbxbbxbbbx1163bbbx1163cbax1163cbxbbxbbax11631baxbbxbbbx1163bbbx1163bbax11641baxabxbabx1164ccbx1164ccxbaxbabx1164bbax11641baxbbxbbbx1164ccbx1164ccxbbxbbbx1164baxcaxcaxbaxbaxbaxbaxabxabxcaxcaxabxabxbaxbaxbbxbbxcaxcaxbbxbbxcbax11661baxabxcabx1166caxbaxbabx1166babx1166cbax11661baxbbxcbbx1166cbxbaxbabx1166babx1166cbax1166cbxbbxbbax11661baxabxbabx1166babx1166cbax11661baxabxcabx1166caxabxabbx1166babx1166baxabxabbx1166cbax11661baxabxcabx1166caxabxabbx1166babx1166baxbbxbbbx1166bbxabxabbx1166cbax11661baxabxcabx1166caxbbxbbbx1166babx1166baxbbxbbbx1166cbax11661baxbbxcbbx1166cbxbbxbbbx1166babx1166baxbbxbbbx1166cbax1166cbxbbxbbax11661baxbbxbbbx1166babx1166baxbbxbbbx1166bbax11671baxabxbabx1167baxabxabbx1167abbx1167bbax1167bbxabxabax11671baxbbxabbx1167abbx1167bbax11671baxbbxbbbx1167bbxabxabbx1167abbx1167bbax1167bbxabxabax11671baxabxaabx1167abbx11671bbxabxaabx1167bbax11681baxabxbabx1168bbbx11681bbxabxbabx1168bbax11681baxbbxbbbx1168bbbx1168baxbaxabxabxbbxbbxabxabxbaxbaxbbxbbxbbxcbax11701baxabxcabx1170caxabxabbx1170abbx1170babx1171bacx1171baxbbxbbcx11711bcxabxbabx1171babx1171baxabxabbx1171bacx1171baxabxabcx11711bcxbbxabbx1171babx1171baxbbxbbbx1171bbxabxabbx1171bacx1171baxabxabcx11711bcxbbxabbx1171babx1171baxbbxbbbx1171bacx1171baxbbxbbcx11711bcxbbxbbbx1171babx1171baxabxabbx11711bbxabxaabx1171bacx1171baxabxabcx11711bcxabxaabx1171abxbbxbbxabxabxcabx1173caxbaxbabx1173bbcx11731bcxabxbabx1173cabx1173caxbbxbbbx1173bbcx11731bcxbbxbbbx1173babx1174cccx11741ccxbbxcbbx1174cbxbaxbabx1174babx1174cccx1174ccxbbxbbcx11741bcxabxbabx1174babx1174cccx11741ccxabxcabx1174caxbaxbabx1174babx1174baxabxabbx1174cccx11741ccxabxcabx1174caxabxabbx1174babx1174baxabxabbx1174cccx1174ccxabxabcx11741bcxbbxabbx1174babx1174baxbbxbbbx1174bbxabxabbx1174cccx11741ccxabxcabx1174caxabxabbx1174babx1174baxbbxbbbx1174bbxabxabbx1174cccx1174ccxabxabcx11741bcxbbxabbx1174babx1174baxbbxbbbx1174cccx11741ccxbbxcbbx1174cbxbbxbbbx1174babx1174baxbbxbbbx1174cccx1174ccxbbxbbcx11741bcxbbxbbbx1174babx1174baxbbxbbbx1174cccx11741ccxabxcabx1174caxbbxbbbx1174babx1174baxabxabbx11741bbxabxaabx1174cccx1174ccxabxabcx11741bcxabxaabx1174abxbaxbaxabxabxcabx1176caxbaxbabx1176bacx1176baxbbxbbcx11761bcxabxbabx1176cabx1176caxccxccbx1176ccxbaxbabx1176bacx1176baxbbxbbcx11761bcxabxbabx1176cabx1176caxbbxbbbx11761bbxabxbabx1176bacx1176baxbbxbbcx11761bcxabxbabx1176cabx1176caxabxabbx1176bacx1176baxabxabcx11761bcxbbxabbx1176cabx1176caxbaxbabx1176baxabxabbx1176bacx1176baxabxabcx11761bcxbbxabbx1176cabx1176caxccxccbx1176ccxabxabbx1176bacx1176baxabxabcx11761bcxbbxabbx1176cabx1176caxbbxbbbx1176bbxabxabbx1176bacx1176baxabxabcx11761bcxbbxabbx1176cabx1176caxbbxbbbx1176bacx1176baxbbxbbcx11761bcxbbxbbbx1176cabx1176caxbaxbabx1176baxbbxbbbx1176bacx1176baxbbxbbcx11761bcxbbxbbbx1176cabx1176caxccxccbx1176ccxbbxbbbx1176bacx1176baxbbxbbcx11761bcxbbxbbbx1176cabx1176caxabxabbx11761bbxabxaabx1176bacx1176baxabxabcx11761bcxabxaabx1176babx1177baxabxabbx1177abcx11771bcxbbxabbx1177babx1178bbcx11781bcxabxbabx1178babx1178baxbbxbbbx1178bbcx11781bcxbbxbbbx1178cabx1179caxabxabbx1179abcx11791bcxbbxabbx1179csicsi 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]