172.41/172.50 YES 172.41/172.50 172.41/172.50 172.41/172.50 Termination: (Ranking Functions Found) 172.41/172.50 ------------ 172.41/172.50 l235: < < 2 - i_0 > > 172.41/172.50 l68: < < 4 + i_0, 0 > > 172.41/172.50 l159: < < - i_0 > > 172.41/172.50 l84: < < 2 + i_0, 0 > > 172.41/172.50 l214: < < - i_0 > > 172.41/172.50 l3: < < - i_0, - i_0 > > 172.41/172.50 l81: < < i_0 > > 172.41/172.50 l140: < < __const_7_0 + i_0 > > 172.41/172.50 l69: < < 1 + i_0, 1 + i_0 > > 172.41/172.50 l76: < < 2 + i_0, 0 > > 172.41/172.50 l238: < < 3 * argc_0 -2 * i_0 > > 172.41/172.50 l130: < < 1 + i_0, 1 + i_0 > > 172.41/172.50 l131: < < __const_8_0 + i_0 > > 172.41/172.50 l144: < < __const_7_0 + i_0 > > 172.41/172.50 l118: < < 2 + i_0, 0 > > 172.41/172.50 l227: < < 2 -2 * i_0 > > 172.41/172.50 l39: < < i_0 > > 172.41/172.50 l170: < < - i_0 > > 172.41/172.50 l162: < < - i_0 > > 172.41/172.50 l181: < < 2 - i_0 > > 172.41/172.50 l12: < < __const_8_0 + i_0, __const_8_0 + i_0 > > 172.41/172.50 l34: < < __const_7_0 + i_0 > > 172.41/172.50 l30: < < __const_7_0 + i_0 > > 172.41/172.50 l11: < < 6 -2 * i_0 > > 172.41/172.50 l189: < < 3 - i_0 > > 172.41/172.50 l0: < < 2 - i_0, 0 > > 172.41/172.50 l151: < < 3 + i_0, 0 > > 172.41/172.50 l86: < < 2 + i_0, 0 > > 172.41/172.50 l121: < < __const_8_0 + i_0 > > 172.41/172.50 l19: < < __const_8_0 + i_0 > > 172.41/172.50 l91: < < i_0, i_0 > > 172.41/172.50 l48: < < i_0 > > 172.41/172.50 l8: < < 4 - i_0 > > 172.41/172.50 l28: < < 2 * __const_7_0 - argc_0 + i_0, 2 * __const_7_0 + 2 * i_0 > > 172.41/172.50 l209: < < - i_0 > > 172.41/172.50 l156: < < __const_5_0 + i_0 > > 172.41/172.50 l221: < < - i_0 > > 172.41/172.50 l6: < < 3 - i_0 > > 172.41/172.50 l71: < < i_0 > > 172.41/172.50 l164: < < - i_0 > > 172.41/172.50 l183: < < 1 - i_0 > > 172.41/172.50 l62: < < 4 + i_0, 0 > > 172.41/172.50 l113: < < i_0, i_0 > > 172.41/172.50 l135: < < __const_7_0 + i_0 > > 172.41/172.50 l219: < < - i_0 > > 172.41/172.50 l83: < < i_0, i_0 > > 172.41/172.50 l102: < < 2 + i_0, 0 > > 172.41/172.50 l85: < < i_0, i_0 > > 172.41/172.50 l32: < < i_0 > > 172.41/172.50 l206: < < - i_0 > > 172.41/172.50 l222: < < - i_0 > > 172.41/172.50 l5: < < - i_0, - i_0 > > 172.41/172.50 l152: < < 2 + i_0, 2 + i_0 > > 172.41/172.50 l127: < < __const_8_0 + i_0 > > 172.41/172.50 l22: < < __const_8_0 + i_0 > > 172.41/172.50 l126: < < __const_8_0 + i_0 > > 172.41/172.50 l196: < < 3 * argc_0 -2 * i_0 > > 172.41/172.50 l29: < < __const_7_0 + i_0 > > 172.41/172.50 l115: < < i_0, i_0 > > 172.41/172.50 l174: < < - i_0 > > 172.41/172.50 l33: < < __const_7_0 + i_0 > > 172.41/172.50 l155: < < __const_5_0 + i_0 > > 172.41/172.50 l14: < < 2 + __const_8_0 + i_0, 0 > > 172.41/172.50 l23: < < __const_7_0 + i_0 > > 172.41/172.50 l2: < < 2 - i_0, 0 > > 172.41/172.50 l59: < < i_0 > > 172.41/172.50 l15: < < __const_8_0 + i_0, __const_8_0 + i_0 > > 172.41/172.50 l21: < < __const_8_0 + i_0 > > 172.41/172.50 l178: < < argc_0 - i_0 > > 172.41/172.50 l104: < < 2 + i_0, 0 > > 172.41/172.50 l145: < < __const_5_0 + i_0 > > 172.41/172.50 l168: < < - i_0 > > 172.41/172.50 l132: < < __const_8_0 + i_0 > > 172.41/172.50 l106: < < i_0 > > 172.41/172.50 l216: < < - i_0 > > 172.41/172.50 l37: < < __const_5_0 + i_0 > > 172.41/172.50 l128: < < __const_8_0 + i_0 > > 172.41/172.50 l31: < < i_0 > > 172.41/172.50 l203: < < - i_0 > > 172.41/172.50 l141: < < 3 + i_0, 0 > > 172.41/172.50 l232: < < 1 - i_0 > > 172.41/172.50 l154: < < __const_5_0 + i_0 > > 172.41/172.50 l45: < < __const_5_0 + i_0, __const_5_0 + i_0 > > 172.41/172.50 l75: < < i_0, i_0 > > 172.41/172.50 l112: < < 2 + i_0, 0 > > 172.41/172.50 l54: < < i_0 > > 172.41/172.50 l185: < < 6 -2 * i_0 > > 172.41/172.50 l134: < < 2 + i_0, 2 + i_0 > > 172.41/172.50 l58: < < 4 + i_0, 0 > > 172.41/172.50 l147: < < 4 + i_0, 0 > > 172.41/172.50 l199: < < 6 -2 * i_0 > > 172.41/172.50 l9: < < 4 - i_0 > > 172.41/172.50 l236: < < argc_0 - i_0 > > 172.41/172.50 l70: < < 3 + i_0, 0 > > 172.41/172.50 l220: < < - i_0 > > 172.41/172.50 l224: < < - i_0 > > 172.41/172.50 l10: < < 3 * argc_0 -2 * i_0 > > 172.41/172.50 l204: < < - i_0 > > 172.41/172.50 l27: < < 2 * __const_7_0 + i_0, 0 > > 172.41/172.50 l177: < < 2 - i_0 > > 172.41/172.50 l148: < < 3 + i_0, 3 + i_0 > > 172.41/172.50 l18: < < 4 - i_0, 4 - i_0 > > 172.41/172.50 l200: < < 3 * argc_0 -2 * i_0 > > 172.41/172.50 l202: < < - i_0 > > 172.41/172.50 l215: < < - i_0 > > 172.41/172.50 l116: < < 2 + i_0, 0 > > 172.41/172.50 l160: < < - i_0 > > 172.41/172.50 l166: < < - i_0 > > 172.41/172.50 l146: < < __const_5_0 + i_0 > > 172.41/172.50 l96: < < i_0 > > 172.41/172.50 l192: < < argc_0 - i_0 > > 172.41/172.50 l4: < < 2 - i_0, 0 > > 172.41/172.50 l60: < < i_0 > > 172.41/172.50 l225: < < 2 - i_0 > > 172.41/172.50 l133: < < 3 + i_0, 0 > > 172.41/172.50 l109: < < 1 + i_0 > > 172.41/172.50 l1: < < - i_0, - i_0 > > 172.41/172.50 l40: < < i_0 > > 172.41/172.50 l217: < < - i_0 > > 172.41/172.50 l24: < < __const_7_0 + i_0 > > 172.41/172.50 l100: < < 1 + i_0 > > 172.41/172.50 l108: < < 2 + i_0, 0 > > 172.41/172.50 l90: < < 2 + i_0, 0 > > 172.41/172.50 l65: < < 1 + i_0, 1 + i_0 > > 172.41/172.50 l64: < < i_0 > > 172.41/172.50 l111: < < i_0, i_0 > > 172.41/172.50 l136: < < __const_7_0 + i_0 > > 172.41/172.50 l89: < < i_0, i_0 > > 172.41/172.50 l223: < < - i_0 > > 172.41/172.50 l93: < < - argc_0 + 2 * i_0, -2 + 2 * i_0 > > 172.41/172.50 l153: < < __const_5_0 + i_0 > > 172.41/172.50 l157: < < 4 + i_0, 0 > > 172.41/172.50 l143: < < __const_7_0 + i_0 > > 172.41/172.50 l80: < < 6 + 2 * i_0, 0 > > 172.41/172.50 l158: < < 3 + i_0, 3 + i_0 > > 172.41/172.50 l188: < < argc_0 - i_0 > > 172.41/172.50 l41: < < __const_5_0 + i_0 > > 172.41/172.50 l43: < < __const_5_0 + i_0, __const_5_0 + i_0 > > 172.41/172.50 l129: < < 2 + i_0, 0 > > 172.41/172.50 l171: < < - i_0 > > 172.41/172.50 l50: < < 5 * argc_0 + 2 * i_0, 0 > > 172.41/172.50 l53: < < i_0 > > 172.41/172.50 l66: < < 3 + i_0, 0 > > 172.41/172.50 l103: < < i_0, i_0 > > 172.41/172.50 l149: < < __const_5_0 + i_0 > > 172.41/172.50 l233: < < 6 -2 * i_0 > > 172.41/172.50 l138: < < __const_7_0 + i_0 > > 172.41/172.50 l52: < < 4 + i_0, 0 > > 172.41/172.50 l79: < < argc_0 + 2 * i_0, 2 + 2 * i_0 > > 172.41/172.50 l78: < < i_0 > > 172.41/172.50 l182: < < 2 - i_0 > > 172.41/172.50 l179: < < 1 - i_0 > > 172.41/172.50 l98: < < 2 + i_0, 0 > > 172.41/172.50 l239: < < 2 - i_0 > > 172.41/172.50 l124: < < 2 + i_0, 2 + i_0 > > 172.41/172.50 l120: < < 2 + 2 * i_0 > > 172.41/172.50 l74: < < 6 + 2 * i_0, 0 > > 172.41/172.50 l172: < < - i_0 > > 172.41/172.50 l88: < < i_0 > > 172.41/172.50 l213: < < - i_0 > > 172.41/172.50 l194: < < 2 * argc_0 - i_0 > > 172.41/172.50 l51: < < 2 + i_0, 2 + i_0 > > 172.41/172.50 l117: < < i_0, i_0 > > 172.41/172.50 l230: < < 2 - i_0 > > 172.41/172.50 l139: < < __const_7_0 + i_0 > > 172.41/172.50 l47: < < i_0 > > 172.41/172.50 l197: < < 4 - i_0 > > 172.41/172.50 l123: < < 3 + i_0, 0 > > 172.41/172.50 l207: < < - i_0 > > 172.41/172.50 l169: < < - i_0 > > 172.41/172.50 l72: < < i_0 > > 172.41/172.50 l231: < < 1 - i_0 > > 172.41/172.50 l187: < < 2 - i_0 > > 172.41/172.50 l229: < < 2 - i_0 > > 172.41/172.50 l237: < < 6 -2 * i_0 > > 172.41/172.50 l163: < < - i_0 > > 172.41/172.50 l186: < < 3 * argc_0 -2 * i_0 > > 172.41/172.50 l97: < < i_0, i_0 > > 172.41/172.50 l101: < < i_0, i_0 > > 172.41/172.50 l240: < < 2 - i_0 > > 172.41/172.50 l173: < < - i_0 > > 172.41/172.50 l211: < < - i_0 > > 172.41/172.50 l49: < < 3 * argc_0 + 2 * i_0, 6 + 2 * i_0 > > 172.41/172.50 l82: < < i_0 > > 172.41/172.50 l56: < < 5 + i_0, 0 > > 172.41/172.50 l20: < < __const_8_0 + i_0 > > 172.41/172.50 l105: < < i_0 > > 172.41/172.50 l142: < < 2 + i_0, 2 + i_0 > > 172.41/172.50 l25: < < 1 + i_0, 0 > > 172.41/172.50 l99: < < 1 + i_0 > > 172.41/172.50 l67: < < 2 + i_0, 2 + i_0 > > 172.41/172.50 l150: < < __const_5_0 + i_0 > > 172.41/172.50 l176: < < - i_0 > > 172.41/172.50 l17: < < 6 - i_0, 0 > > 172.41/172.50 l55: < < 3 + i_0, 3 + i_0 > > 172.41/172.50 l228: < < argc_0 -2 * i_0 > > 172.41/172.50 l161: < < - i_0 > > 172.41/172.50 l73: < < argc_0 + 2 * i_0, 2 + 2 * i_0 > > 172.41/172.50 l184: < < 1 - i_0 > > 172.41/172.50 l61: < < 2 + i_0, 2 + i_0 > > 172.41/172.50 l36: < < i_0 > > 172.41/172.50 l180: < < 1 - i_0 > > 172.41/172.50 l35: < < i_0 > > 172.41/172.50 l26: < < i_0, i_0 > > 172.41/172.50 l198: < < 2 * argc_0 - i_0 > > 172.41/172.50 l44: < < 2 + __const_5_0 + i_0, 0 > > 172.41/172.50 l205: < < - i_0 > > 172.41/172.50 l226: < < argc_0 - i_0 > > 172.41/172.50 l234: < < 3 * argc_0 -2 * i_0 > > 172.41/172.50 l92: < < 2 + i_0, 0 > > 172.41/172.50 l165: < < - i_0 > > 172.41/172.50 l114: < < 2 + i_0, 0 > > 172.41/172.50 l95: < < i_0 > > 172.41/172.50 l125: < < __const_8_0 + i_0 > > 172.41/172.50 l122: < < __const_8_0 + i_0 > > 172.41/172.50 l42: < < __const_5_0 + i_0 > > 172.41/172.50 l210: < < - i_0 > > 172.41/172.50 l16: < < 2 + __const_8_0 + i_0, 0 > > 172.41/172.50 l218: < < - i_0 > > 172.41/172.50 l137: < < __const_7_0 + i_0 > > 172.41/172.50 l110: < < 1 + i_0 > > 172.41/172.50 l107: < < i_0, i_0 > > 172.41/172.50 l87: < < i_0 > > 172.41/172.50 l46: < < 2 + __const_5_0 + i_0, 0 > > 172.41/172.50 l63: < < i_0 > > 172.41/172.50 l212: < < - i_0 > > 172.41/172.50 l193: < < 4 - i_0 > > 172.41/172.50 l7: < < 3 - i_0 > > 172.41/172.50 l201: < < - i_0 > > 172.41/172.50 l119: < < argc_0 + 2 * i_0 > > 172.41/172.50 l57: < < 2 + i_0, 2 + i_0 > > 172.41/172.50 l175: < < - i_0 > > 172.41/172.50 l208: < < - i_0 > > 172.41/172.50 l195: < < 6 -2 * i_0 > > 172.41/172.50 l167: < < - i_0 > > 172.41/172.50 l38: < < __const_5_0 + i_0 > > 172.41/172.50 l94: < < 2 + 2 * i_0, 0 > > 172.41/172.50 l190: < < 3 - i_0 > > 172.41/172.50 l77: < < i_0 > > 172.41/172.50 l191: < < 2 - i_0 > > 172.41/172.50 172.41/172.50 172.53/172.56 EOF