/export/starexec/sandbox/solver/bin/starexec_run_Default: line 4: 4524 Done xsltproc "$DIR/xtc2tpdb.xml" "$1" 4525 Alarm clock | NaTT.exe 2> "$2/stdout.txt" 2> $DIR/stderr.txt Input TRS: 1: 0(1(0(x1))) -> 2(3(3(2(2(3(2(4(2(4(x1)))))))))) 2: 0(0(0(4(0(x1))))) -> 3(4(4(4(1(2(2(0(3(4(x1)))))))))) 3: 0(4(4(1(1(x1))))) -> 0(4(2(3(2(2(2(2(2(2(x1)))))))))) 4: 0(5(4(1(2(x1))))) -> 3(2(1(3(3(4(2(3(2(1(x1)))))))))) 5: 1(0(0(3(0(x1))))) -> 1(1(2(3(2(3(2(4(3(0(x1)))))))))) 6: 0(0(0(0(4(5(x1)))))) -> 0(2(3(2(4(1(5(2(3(5(x1)))))))))) 7: 0(0(0(2(0(4(x1)))))) -> 3(2(2(1(2(4(1(1(0(4(x1)))))))))) 8: 0(0(4(5(3(0(x1)))))) -> 1(2(2(3(5(2(2(1(1(4(x1)))))))))) 9: 0(1(5(3(1(1(x1)))))) -> 3(2(1(3(2(1(2(5(5(3(x1)))))))))) 10: 0(2(0(0(1(1(x1)))))) -> 3(4(2(3(1(2(3(2(3(3(x1)))))))))) 11: 0(5(0(0(0(2(x1)))))) -> 2(3(2(0(5(4(3(1(2(1(x1)))))))))) 12: 1(4(0(3(0(4(x1)))))) -> 3(2(2(5(3(3(2(1(4(4(x1)))))))))) 13: 3(0(0(1(3(5(x1)))))) -> 2(1(3(3(2(0(5(3(1(5(x1)))))))))) 14: 3(1(4(0(1(2(x1)))))) -> 2(3(2(2(1(0(3(1(1(2(x1)))))))))) 15: 4(0(0(1(3(1(x1)))))) -> 3(2(2(1(2(0(5(4(4(1(x1)))))))))) 16: 4(5(0(2(4(1(x1)))))) -> 2(1(4(2(3(2(2(3(4(1(x1)))))))))) 17: 5(4(3(0(1(5(x1)))))) -> 5(2(3(3(3(2(1(5(3(2(x1)))))))))) 18: 0(0(1(2(3(0(5(x1))))))) -> 3(2(1(3(2(1(4(3(5(5(x1)))))))))) 19: 0(0(5(1(5(1(3(x1))))))) -> 3(3(1(3(3(5(0(3(2(2(x1)))))))))) 20: 0(0(5(2(5(2(1(x1))))))) -> 2(3(5(3(4(2(2(1(2(0(x1)))))))))) 21: 0(0(5(4(2(0(2(x1))))))) -> 3(2(3(2(2(0(0(3(1(3(x1)))))))))) 22: 0(1(0(5(5(2(0(x1))))))) -> 3(2(2(4(3(3(3(0(2(0(x1)))))))))) 23: 0(2(0(3(0(0(2(x1))))))) -> 3(2(3(1(3(4(4(5(2(3(x1)))))))))) 24: 0(2(2(5(0(4(3(x1))))))) -> 0(4(1(1(2(2(3(2(5(3(x1)))))))))) 25: 0(2(4(0(1(5(4(x1))))))) -> 3(2(0(1(3(2(1(5(3(4(x1)))))))))) 26: 0(3(0(0(0(0(0(x1))))))) -> 2(0(5(2(3(1(0(2(4(4(x1)))))))))) 27: 0(4(0(0(0(4(3(x1))))))) -> 0(5(5(2(1(3(2(3(3(3(x1)))))))))) 28: 0(4(5(5(5(0(4(x1))))))) -> 2(3(5(1(2(3(0(2(4(4(x1)))))))))) 29: 0(5(1(1(5(0(0(x1))))))) -> 3(2(1(0(5(2(0(3(3(4(x1)))))))))) 30: 0(5(2(2(4(1(0(x1))))))) -> 2(3(3(1(2(3(2(3(0(4(x1)))))))))) 31: 0(5(3(1(4(3(1(x1))))))) -> 2(3(2(1(3(4(4(1(0(1(x1)))))))))) 32: 1(0(3(1(0(0(0(x1))))))) -> 2(4(2(2(5(3(2(4(4(4(x1)))))))))) 33: 1(1(2(4(4(0(2(x1))))))) -> 1(1(2(2(3(2(1(5(2(2(x1)))))))))) 34: 1(2(4(4(0(5(1(x1))))))) -> 1(3(3(2(2(3(5(1(0(3(x1)))))))))) 35: 1(3(0(0(3(3(5(x1))))))) -> 3(2(2(1(2(4(5(4(3(5(x1)))))))))) 36: 1(4(1(3(0(4(3(x1))))))) -> 1(3(5(1(2(3(2(2(5(1(x1)))))))))) 37: 1(4(4(0(0(0(0(x1))))))) -> 2(1(2(4(3(3(5(3(1(0(x1)))))))))) 38: 1(5(0(0(5(3(3(x1))))))) -> 1(5(4(3(2(1(1(3(2(1(x1)))))))))) 39: 4(0(0(0(4(0(2(x1))))))) -> 4(4(2(2(3(2(4(1(2(2(x1)))))))))) 40: 4(0(0(0(4(1(4(x1))))))) -> 4(4(3(2(1(1(2(1(0(0(x1)))))))))) 41: 4(0(0(4(0(0(2(x1))))))) -> 3(0(3(2(3(3(5(4(1(5(x1)))))))))) 42: 4(0(0(4(5(2(4(x1))))))) -> 3(3(5(2(2(2(3(4(4(0(x1)))))))))) 43: 4(0(3(0(2(5(1(x1))))))) -> 4(3(3(2(3(4(3(1(0(3(x1)))))))))) 44: 4(0(4(0(1(1(2(x1))))))) -> 2(2(0(3(1(4(3(2(2(2(x1)))))))))) 45: 4(0(4(1(4(0(0(x1))))))) -> 3(1(2(2(0(0(2(1(1(4(x1)))))))))) 46: 4(1(0(5(4(1(4(x1))))))) -> 2(5(1(2(1(3(2(4(3(4(x1)))))))))) 47: 4(1(2(5(4(0(0(x1))))))) -> 2(4(5(1(3(0(3(2(0(4(x1)))))))))) 48: 4(1(4(0(3(1(0(x1))))))) -> 5(3(2(0(2(2(2(5(1(4(x1)))))))))) 49: 4(3(0(5(5(0(2(x1))))))) -> 3(0(3(2(3(2(2(4(5(2(x1)))))))))) 50: 4(3(5(5(4(1(0(x1))))))) -> 3(5(1(3(4(5(2(3(3(4(x1)))))))))) 51: 5(0(0(0(1(4(0(x1))))))) -> 5(2(5(3(2(2(3(0(5(4(x1)))))))))) 52: 5(0(2(1(5(1(5(x1))))))) -> 5(3(2(3(3(3(4(3(3(2(x1)))))))))) 53: 5(0(2(5(4(4(0(x1))))))) -> 5(4(0(3(2(2(1(1(3(4(x1)))))))))) 54: 5(0(5(0(1(5(2(x1))))))) -> 5(3(2(3(2(4(3(2(0(2(x1)))))))))) 55: 5(0(5(5(5(4(5(x1))))))) -> 5(2(3(3(2(3(3(0(3(2(x1)))))))))) 56: 5(3(0(1(4(3(1(x1))))))) -> 3(2(2(1(2(1(0(0(3(1(x1)))))))))) 57: 5(3(5(0(1(0(1(x1))))))) -> 5(3(2(2(1(5(5(3(5(1(x1)))))))))) 58: 5(4(0(4(1(0(3(x1))))))) -> 5(3(2(2(4(4(3(2(4(3(x1)))))))))) 59: 1(5(5(1(3(1(x1)))))) ->= 3(3(2(1(2(1(4(4(3(1(x1)))))))))) 60: 4(0(2(1(3(1(1(x1))))))) ->= 4(0(5(5(5(3(2(3(2(2(x1)))))))))) Number of strict rules: 58 Direct POLO(bPol) ... failed. Uncurrying ... failed. Dependency Pairs: #1: #0(0(0(4(0(x1))))) -> #3(4(4(4(1(2(2(0(3(4(x1)))))))))) #2: #0(0(0(4(0(x1))))) -> #4(4(4(1(2(2(0(3(4(x1))))))))) #3: #0(0(0(4(0(x1))))) -> #4(4(1(2(2(0(3(4(x1)))))))) #4: #0(0(0(4(0(x1))))) -> #4(1(2(2(0(3(4(x1))))))) #5: #0(0(0(4(0(x1))))) -> #1(2(2(0(3(4(x1)))))) #6: #0(0(0(4(0(x1))))) -> #0(3(4(x1))) #7: #0(0(0(4(0(x1))))) -> #3(4(x1)) #8: #0(0(0(4(0(x1))))) -> #4(x1) #9: #4(0(3(0(2(5(1(x1))))))) -> #4(3(3(2(3(4(3(1(0(3(x1)))))))))) #10: #4(0(3(0(2(5(1(x1))))))) -> #3(3(2(3(4(3(1(0(3(x1))))))))) #11: #4(0(3(0(2(5(1(x1))))))) -> #3(2(3(4(3(1(0(3(x1)))))))) #12: #4(0(3(0(2(5(1(x1))))))) -> #3(4(3(1(0(3(x1)))))) #13: #4(0(3(0(2(5(1(x1))))))) -> #4(3(1(0(3(x1))))) #14: #4(0(3(0(2(5(1(x1))))))) -> #3(1(0(3(x1)))) #15: #4(0(3(0(2(5(1(x1))))))) -> #1(0(3(x1))) #16: #4(0(3(0(2(5(1(x1))))))) -> #0(3(x1)) #17: #4(0(3(0(2(5(1(x1))))))) -> #3(x1) #18: #0(5(1(1(5(0(0(x1))))))) -> #3(2(1(0(5(2(0(3(3(4(x1)))))))))) #19: #0(5(1(1(5(0(0(x1))))))) -> #1(0(5(2(0(3(3(4(x1)))))))) #20: #0(5(1(1(5(0(0(x1))))))) -> #0(5(2(0(3(3(4(x1))))))) #21: #0(5(1(1(5(0(0(x1))))))) -> #5(2(0(3(3(4(x1)))))) #22: #0(5(1(1(5(0(0(x1))))))) -> #0(3(3(4(x1)))) #23: #0(5(1(1(5(0(0(x1))))))) -> #3(3(4(x1))) #24: #0(5(1(1(5(0(0(x1))))))) -> #3(4(x1)) #25: #0(5(1(1(5(0(0(x1))))))) -> #4(x1) #26: #1(3(0(0(3(3(5(x1))))))) -> #3(2(2(1(2(4(5(4(3(5(x1)))))))))) #27: #1(3(0(0(3(3(5(x1))))))) -> #1(2(4(5(4(3(5(x1))))))) #28: #1(3(0(0(3(3(5(x1))))))) -> #4(5(4(3(5(x1))))) #29: #1(3(0(0(3(3(5(x1))))))) -> #5(4(3(5(x1)))) #30: #1(3(0(0(3(3(5(x1))))))) -> #4(3(5(x1))) #31: #4(1(0(5(4(1(4(x1))))))) -> #5(1(2(1(3(2(4(3(4(x1))))))))) #32: #4(1(0(5(4(1(4(x1))))))) -> #1(2(1(3(2(4(3(4(x1)))))))) #33: #4(1(0(5(4(1(4(x1))))))) -> #1(3(2(4(3(4(x1)))))) #34: #4(1(0(5(4(1(4(x1))))))) -> #3(2(4(3(4(x1))))) #35: #4(1(0(5(4(1(4(x1))))))) -> #4(3(4(x1))) #36: #4(1(0(5(4(1(4(x1))))))) -> #3(4(x1)) #37: #4(0(0(4(5(2(4(x1))))))) -> #3(3(5(2(2(2(3(4(4(0(x1)))))))))) #38: #4(0(0(4(5(2(4(x1))))))) -> #3(5(2(2(2(3(4(4(0(x1))))))))) #39: #4(0(0(4(5(2(4(x1))))))) -> #5(2(2(2(3(4(4(0(x1)))))))) #40: #4(0(0(4(5(2(4(x1))))))) -> #3(4(4(0(x1)))) #41: #4(0(0(4(5(2(4(x1))))))) -> #4(4(0(x1))) #42: #4(0(0(4(5(2(4(x1))))))) -> #4(0(x1)) #43: #4(0(0(4(5(2(4(x1))))))) -> #0(x1) #44: #4(0(0(4(0(0(2(x1))))))) -> #3(0(3(2(3(3(5(4(1(5(x1)))))))))) #45: #4(0(0(4(0(0(2(x1))))))) -> #0(3(2(3(3(5(4(1(5(x1))))))))) #46: #4(0(0(4(0(0(2(x1))))))) -> #3(2(3(3(5(4(1(5(x1)))))))) #47: #4(0(0(4(0(0(2(x1))))))) -> #3(3(5(4(1(5(x1)))))) #48: #4(0(0(4(0(0(2(x1))))))) -> #3(5(4(1(5(x1))))) #49: #4(0(0(4(0(0(2(x1))))))) -> #5(4(1(5(x1)))) #50: #4(0(0(4(0(0(2(x1))))))) -> #4(1(5(x1))) #51: #4(0(0(4(0(0(2(x1))))))) -> #1(5(x1)) #52: #4(0(0(4(0(0(2(x1))))))) -> #5(x1) #53: #1(4(4(0(0(0(0(x1))))))) -> #1(2(4(3(3(5(3(1(0(x1))))))))) #54: #1(4(4(0(0(0(0(x1))))))) -> #4(3(3(5(3(1(0(x1))))))) #55: #1(4(4(0(0(0(0(x1))))))) -> #3(3(5(3(1(0(x1)))))) #56: #1(4(4(0(0(0(0(x1))))))) -> #3(5(3(1(0(x1))))) #57: #1(4(4(0(0(0(0(x1))))))) -> #5(3(1(0(x1)))) #58: #1(4(4(0(0(0(0(x1))))))) -> #3(1(0(x1))) #59: #1(4(4(0(0(0(0(x1))))))) -> #1(0(x1)) #60: #4(1(2(5(4(0(0(x1))))))) -> #4(5(1(3(0(3(2(0(4(x1))))))))) #61: #4(1(2(5(4(0(0(x1))))))) -> #5(1(3(0(3(2(0(4(x1)))))))) #62: #4(1(2(5(4(0(0(x1))))))) -> #1(3(0(3(2(0(4(x1))))))) #63: #4(1(2(5(4(0(0(x1))))))) -> #3(0(3(2(0(4(x1)))))) #64: #4(1(2(5(4(0(0(x1))))))) -> #0(3(2(0(4(x1))))) #65: #4(1(2(5(4(0(0(x1))))))) -> #3(2(0(4(x1)))) #66: #4(1(2(5(4(0(0(x1))))))) -> #0(4(x1)) #67: #4(1(2(5(4(0(0(x1))))))) -> #4(x1) #68: #5(0(2(5(4(4(0(x1))))))) -> #5(4(0(3(2(2(1(1(3(4(x1)))))))))) #69: #5(0(2(5(4(4(0(x1))))))) -> #4(0(3(2(2(1(1(3(4(x1))))))))) #70: #5(0(2(5(4(4(0(x1))))))) -> #0(3(2(2(1(1(3(4(x1)))))))) #71: #5(0(2(5(4(4(0(x1))))))) -> #3(2(2(1(1(3(4(x1))))))) #72: #5(0(2(5(4(4(0(x1))))))) -> #1(1(3(4(x1)))) #73: #5(0(2(5(4(4(0(x1))))))) -> #1(3(4(x1))) #74: #5(0(2(5(4(4(0(x1))))))) -> #3(4(x1)) #75: #5(0(2(5(4(4(0(x1))))))) -> #4(x1) #76: #4(1(4(0(3(1(0(x1))))))) -> #5(3(2(0(2(2(2(5(1(4(x1)))))))))) #77: #4(1(4(0(3(1(0(x1))))))) -> #3(2(0(2(2(2(5(1(4(x1))))))))) #78: #4(1(4(0(3(1(0(x1))))))) -> #0(2(2(2(5(1(4(x1))))))) #79: #4(1(4(0(3(1(0(x1))))))) -> #5(1(4(x1))) #80: #4(1(4(0(3(1(0(x1))))))) -> #1(4(x1)) #81: #4(1(4(0(3(1(0(x1))))))) -> #4(x1) #82: #5(4(0(4(1(0(3(x1))))))) -> #5(3(2(2(4(4(3(2(4(3(x1)))))))))) #83: #5(4(0(4(1(0(3(x1))))))) -> #3(2(2(4(4(3(2(4(3(x1))))))))) #84: #5(4(0(4(1(0(3(x1))))))) -> #4(4(3(2(4(3(x1)))))) #85: #5(4(0(4(1(0(3(x1))))))) -> #4(3(2(4(3(x1))))) #86: #5(4(0(4(1(0(3(x1))))))) -> #3(2(4(3(x1)))) #87: #5(4(0(4(1(0(3(x1))))))) -> #4(3(x1)) #88: #1(5(0(0(5(3(3(x1))))))) -> #1(5(4(3(2(1(1(3(2(1(x1)))))))))) #89: #1(5(0(0(5(3(3(x1))))))) -> #5(4(3(2(1(1(3(2(1(x1))))))))) #90: #1(5(0(0(5(3(3(x1))))))) -> #4(3(2(1(1(3(2(1(x1)))))))) #91: #1(5(0(0(5(3(3(x1))))))) -> #3(2(1(1(3(2(1(x1))))))) #92: #1(5(0(0(5(3(3(x1))))))) -> #1(1(3(2(1(x1))))) #93: #1(5(0(0(5(3(3(x1))))))) -> #1(3(2(1(x1)))) #94: #1(5(0(0(5(3(3(x1))))))) -> #3(2(1(x1))) #95: #1(5(0(0(5(3(3(x1))))))) -> #1(x1) #96: #0(0(0(0(4(5(x1)))))) -> #0(2(3(2(4(1(5(2(3(5(x1)))))))))) #97: #0(0(0(0(4(5(x1)))))) -> #3(2(4(1(5(2(3(5(x1)))))))) #98: #0(0(0(0(4(5(x1)))))) -> #4(1(5(2(3(5(x1)))))) #99: #0(0(0(0(4(5(x1)))))) -> #1(5(2(3(5(x1))))) #100: #0(0(0(0(4(5(x1)))))) -> #5(2(3(5(x1)))) #101: #0(0(0(0(4(5(x1)))))) -> #3(5(x1)) #102: #1(5(5(1(3(1(x1)))))) ->? #3(3(2(1(2(1(4(4(3(1(x1)))))))))) #103: #1(5(5(1(3(1(x1)))))) ->? #3(2(1(2(1(4(4(3(1(x1))))))))) #104: #1(5(5(1(3(1(x1)))))) ->? #1(2(1(4(4(3(1(x1))))))) #105: #1(5(5(1(3(1(x1)))))) ->? #1(4(4(3(1(x1))))) #106: #1(5(5(1(3(1(x1)))))) ->? #4(4(3(1(x1)))) #107: #1(5(5(1(3(1(x1)))))) ->? #4(3(1(x1))) #108: #5(0(5(5(5(4(5(x1))))))) -> #5(2(3(3(2(3(3(0(3(2(x1)))))))))) #109: #5(0(5(5(5(4(5(x1))))))) -> #3(3(2(3(3(0(3(2(x1)))))))) #110: #5(0(5(5(5(4(5(x1))))))) -> #3(2(3(3(0(3(2(x1))))))) #111: #5(0(5(5(5(4(5(x1))))))) -> #3(3(0(3(2(x1))))) #112: #5(0(5(5(5(4(5(x1))))))) -> #3(0(3(2(x1)))) #113: #5(0(5(5(5(4(5(x1))))))) -> #0(3(2(x1))) #114: #5(0(5(5(5(4(5(x1))))))) -> #3(2(x1)) #115: #4(0(0(0(4(1(4(x1))))))) -> #4(4(3(2(1(1(2(1(0(0(x1)))))))))) #116: #4(0(0(0(4(1(4(x1))))))) -> #4(3(2(1(1(2(1(0(0(x1))))))))) #117: #4(0(0(0(4(1(4(x1))))))) -> #3(2(1(1(2(1(0(0(x1)))))))) #118: #4(0(0(0(4(1(4(x1))))))) -> #1(1(2(1(0(0(x1)))))) #119: #4(0(0(0(4(1(4(x1))))))) -> #1(2(1(0(0(x1))))) #120: #4(0(0(0(4(1(4(x1))))))) -> #1(0(0(x1))) #121: #4(0(0(0(4(1(4(x1))))))) -> #0(0(x1)) #122: #4(0(0(0(4(1(4(x1))))))) -> #0(x1) #123: #5(0(0(0(1(4(0(x1))))))) -> #5(2(5(3(2(2(3(0(5(4(x1)))))))))) #124: #5(0(0(0(1(4(0(x1))))))) -> #5(3(2(2(3(0(5(4(x1)))))))) #125: #5(0(0(0(1(4(0(x1))))))) -> #3(2(2(3(0(5(4(x1))))))) #126: #5(0(0(0(1(4(0(x1))))))) -> #3(0(5(4(x1)))) #127: #5(0(0(0(1(4(0(x1))))))) -> #0(5(4(x1))) #128: #5(0(0(0(1(4(0(x1))))))) -> #5(4(x1)) #129: #5(0(0(0(1(4(0(x1))))))) -> #4(x1) #130: #3(0(0(1(3(5(x1)))))) -> #1(3(3(2(0(5(3(1(5(x1))))))))) #131: #3(0(0(1(3(5(x1)))))) -> #3(3(2(0(5(3(1(5(x1)))))))) #132: #3(0(0(1(3(5(x1)))))) -> #3(2(0(5(3(1(5(x1))))))) #133: #3(0(0(1(3(5(x1)))))) -> #0(5(3(1(5(x1))))) #134: #3(0(0(1(3(5(x1)))))) -> #5(3(1(5(x1)))) #135: #3(0(0(1(3(5(x1)))))) -> #3(1(5(x1))) #136: #3(0(0(1(3(5(x1)))))) -> #1(5(x1)) #137: #0(1(5(3(1(1(x1)))))) -> #3(2(1(3(2(1(2(5(5(3(x1)))))))))) #138: #0(1(5(3(1(1(x1)))))) -> #1(3(2(1(2(5(5(3(x1)))))))) #139: #0(1(5(3(1(1(x1)))))) -> #3(2(1(2(5(5(3(x1))))))) #140: #0(1(5(3(1(1(x1)))))) -> #1(2(5(5(3(x1))))) #141: #0(1(5(3(1(1(x1)))))) -> #5(5(3(x1))) #142: #0(1(5(3(1(1(x1)))))) -> #5(3(x1)) #143: #0(1(5(3(1(1(x1)))))) -> #3(x1) #144: #0(5(0(0(0(2(x1)))))) -> #3(2(0(5(4(3(1(2(1(x1))))))))) #145: #0(5(0(0(0(2(x1)))))) -> #0(5(4(3(1(2(1(x1))))))) #146: #0(5(0(0(0(2(x1)))))) -> #5(4(3(1(2(1(x1)))))) #147: #0(5(0(0(0(2(x1)))))) -> #4(3(1(2(1(x1))))) #148: #0(5(0(0(0(2(x1)))))) -> #3(1(2(1(x1)))) #149: #0(5(0(0(0(2(x1)))))) -> #1(2(1(x1))) #150: #0(5(0(0(0(2(x1)))))) -> #1(x1) #151: #5(3(5(0(1(0(1(x1))))))) -> #5(3(2(2(1(5(5(3(5(1(x1)))))))))) #152: #5(3(5(0(1(0(1(x1))))))) -> #3(2(2(1(5(5(3(5(1(x1))))))))) #153: #5(3(5(0(1(0(1(x1))))))) -> #1(5(5(3(5(1(x1)))))) #154: #5(3(5(0(1(0(1(x1))))))) -> #5(5(3(5(1(x1))))) #155: #5(3(5(0(1(0(1(x1))))))) -> #5(3(5(1(x1)))) #156: #5(3(5(0(1(0(1(x1))))))) -> #3(5(1(x1))) #157: #5(3(5(0(1(0(1(x1))))))) -> #5(1(x1)) #158: #0(2(2(5(0(4(3(x1))))))) -> #0(4(1(1(2(2(3(2(5(3(x1)))))))))) #159: #0(2(2(5(0(4(3(x1))))))) -> #4(1(1(2(2(3(2(5(3(x1))))))))) #160: #0(2(2(5(0(4(3(x1))))))) -> #1(1(2(2(3(2(5(3(x1)))))))) #161: #0(2(2(5(0(4(3(x1))))))) -> #1(2(2(3(2(5(3(x1))))))) #162: #0(2(2(5(0(4(3(x1))))))) -> #3(2(5(3(x1)))) #163: #0(2(2(5(0(4(3(x1))))))) -> #5(3(x1)) #164: #0(2(0(3(0(0(2(x1))))))) -> #3(2(3(1(3(4(4(5(2(3(x1)))))))))) #165: #0(2(0(3(0(0(2(x1))))))) -> #3(1(3(4(4(5(2(3(x1)))))))) #166: #0(2(0(3(0(0(2(x1))))))) -> #1(3(4(4(5(2(3(x1))))))) #167: #0(2(0(3(0(0(2(x1))))))) -> #3(4(4(5(2(3(x1)))))) #168: #0(2(0(3(0(0(2(x1))))))) -> #4(4(5(2(3(x1))))) #169: #0(2(0(3(0(0(2(x1))))))) -> #4(5(2(3(x1)))) #170: #0(2(0(3(0(0(2(x1))))))) -> #5(2(3(x1))) #171: #0(2(0(3(0(0(2(x1))))))) -> #3(x1) #172: #4(0(4(1(4(0(0(x1))))))) -> #3(1(2(2(0(0(2(1(1(4(x1)))))))))) #173: #4(0(4(1(4(0(0(x1))))))) -> #1(2(2(0(0(2(1(1(4(x1))))))))) #174: #4(0(4(1(4(0(0(x1))))))) -> #0(0(2(1(1(4(x1)))))) #175: #4(0(4(1(4(0(0(x1))))))) -> #0(2(1(1(4(x1))))) #176: #4(0(4(1(4(0(0(x1))))))) -> #1(1(4(x1))) #177: #4(0(4(1(4(0(0(x1))))))) -> #1(4(x1)) #178: #4(0(4(1(4(0(0(x1))))))) -> #4(x1) #179: #1(4(0(3(0(4(x1)))))) -> #3(2(2(5(3(3(2(1(4(4(x1)))))))))) #180: #1(4(0(3(0(4(x1)))))) -> #5(3(3(2(1(4(4(x1))))))) #181: #1(4(0(3(0(4(x1)))))) -> #3(3(2(1(4(4(x1)))))) #182: #1(4(0(3(0(4(x1)))))) -> #3(2(1(4(4(x1))))) #183: #1(4(0(3(0(4(x1)))))) -> #1(4(4(x1))) #184: #1(4(0(3(0(4(x1)))))) -> #4(4(x1)) #185: #0(5(3(1(4(3(1(x1))))))) -> #3(2(1(3(4(4(1(0(1(x1))))))))) #186: #0(5(3(1(4(3(1(x1))))))) -> #1(3(4(4(1(0(1(x1))))))) #187: #0(5(3(1(4(3(1(x1))))))) -> #3(4(4(1(0(1(x1)))))) #188: #0(5(3(1(4(3(1(x1))))))) -> #4(4(1(0(1(x1))))) #189: #0(5(3(1(4(3(1(x1))))))) -> #4(1(0(1(x1)))) #190: #0(5(3(1(4(3(1(x1))))))) -> #1(0(1(x1))) #191: #0(5(3(1(4(3(1(x1))))))) -> #0(1(x1)) #192: #5(3(0(1(4(3(1(x1))))))) -> #3(2(2(1(2(1(0(0(3(1(x1)))))))))) #193: #5(3(0(1(4(3(1(x1))))))) -> #1(2(1(0(0(3(1(x1))))))) #194: #5(3(0(1(4(3(1(x1))))))) -> #1(0(0(3(1(x1))))) #195: #5(3(0(1(4(3(1(x1))))))) -> #0(0(3(1(x1)))) #196: #5(3(0(1(4(3(1(x1))))))) -> #0(3(1(x1))) #197: #3(1(4(0(1(2(x1)))))) -> #3(2(2(1(0(3(1(1(2(x1))))))))) #198: #3(1(4(0(1(2(x1)))))) -> #1(0(3(1(1(2(x1)))))) #199: #3(1(4(0(1(2(x1)))))) -> #0(3(1(1(2(x1))))) #200: #3(1(4(0(1(2(x1)))))) -> #3(1(1(2(x1)))) #201: #3(1(4(0(1(2(x1)))))) -> #1(1(2(x1))) #202: #0(5(2(2(4(1(0(x1))))))) -> #3(3(1(2(3(2(3(0(4(x1))))))))) #203: #0(5(2(2(4(1(0(x1))))))) -> #3(1(2(3(2(3(0(4(x1)))))))) #204: #0(5(2(2(4(1(0(x1))))))) -> #1(2(3(2(3(0(4(x1))))))) #205: #0(5(2(2(4(1(0(x1))))))) -> #3(2(3(0(4(x1))))) #206: #0(5(2(2(4(1(0(x1))))))) -> #3(0(4(x1))) #207: #0(5(2(2(4(1(0(x1))))))) -> #0(4(x1)) #208: #0(5(2(2(4(1(0(x1))))))) -> #4(x1) #209: #5(0(2(1(5(1(5(x1))))))) -> #5(3(2(3(3(3(4(3(3(2(x1)))))))))) #210: #5(0(2(1(5(1(5(x1))))))) -> #3(2(3(3(3(4(3(3(2(x1))))))))) #211: #5(0(2(1(5(1(5(x1))))))) -> #3(3(3(4(3(3(2(x1))))))) #212: #5(0(2(1(5(1(5(x1))))))) -> #3(3(4(3(3(2(x1)))))) #213: #5(0(2(1(5(1(5(x1))))))) -> #3(4(3(3(2(x1))))) #214: #5(0(2(1(5(1(5(x1))))))) -> #4(3(3(2(x1)))) #215: #5(0(2(1(5(1(5(x1))))))) -> #3(3(2(x1))) #216: #5(0(2(1(5(1(5(x1))))))) -> #3(2(x1)) #217: #4(3(0(5(5(0(2(x1))))))) -> #3(0(3(2(3(2(2(4(5(2(x1)))))))))) #218: #4(3(0(5(5(0(2(x1))))))) -> #0(3(2(3(2(2(4(5(2(x1))))))))) #219: #4(3(0(5(5(0(2(x1))))))) -> #3(2(3(2(2(4(5(2(x1)))))))) #220: #4(3(0(5(5(0(2(x1))))))) -> #3(2(2(4(5(2(x1)))))) #221: #4(3(0(5(5(0(2(x1))))))) -> #4(5(2(x1))) #222: #4(3(0(5(5(0(2(x1))))))) -> #5(2(x1)) #223: #0(2(4(0(1(5(4(x1))))))) -> #3(2(0(1(3(2(1(5(3(4(x1)))))))))) #224: #0(2(4(0(1(5(4(x1))))))) -> #0(1(3(2(1(5(3(4(x1)))))))) #225: #0(2(4(0(1(5(4(x1))))))) -> #1(3(2(1(5(3(4(x1))))))) #226: #0(2(4(0(1(5(4(x1))))))) -> #3(2(1(5(3(4(x1)))))) #227: #0(2(4(0(1(5(4(x1))))))) -> #1(5(3(4(x1)))) #228: #0(2(4(0(1(5(4(x1))))))) -> #5(3(4(x1))) #229: #0(2(4(0(1(5(4(x1))))))) -> #3(4(x1)) #230: #0(0(5(2(5(2(1(x1))))))) -> #3(5(3(4(2(2(1(2(0(x1))))))))) #231: #0(0(5(2(5(2(1(x1))))))) -> #5(3(4(2(2(1(2(0(x1)))))))) #232: #0(0(5(2(5(2(1(x1))))))) -> #3(4(2(2(1(2(0(x1))))))) #233: #0(0(5(2(5(2(1(x1))))))) -> #4(2(2(1(2(0(x1)))))) #234: #0(0(5(2(5(2(1(x1))))))) -> #1(2(0(x1))) #235: #0(0(5(2(5(2(1(x1))))))) -> #0(x1) #236: #0(0(0(2(0(4(x1)))))) -> #3(2(2(1(2(4(1(1(0(4(x1)))))))))) #237: #0(0(0(2(0(4(x1)))))) -> #1(2(4(1(1(0(4(x1))))))) #238: #0(0(0(2(0(4(x1)))))) -> #4(1(1(0(4(x1))))) #239: #0(0(0(2(0(4(x1)))))) -> #1(1(0(4(x1)))) #240: #0(0(0(2(0(4(x1)))))) -> #1(0(4(x1))) #241: #4(0(0(0(4(0(2(x1))))))) -> #4(4(2(2(3(2(4(1(2(2(x1)))))))))) #242: #4(0(0(0(4(0(2(x1))))))) -> #4(2(2(3(2(4(1(2(2(x1))))))))) #243: #4(0(0(0(4(0(2(x1))))))) -> #3(2(4(1(2(2(x1)))))) #244: #4(0(0(0(4(0(2(x1))))))) -> #4(1(2(2(x1)))) #245: #4(0(0(0(4(0(2(x1))))))) -> #1(2(2(x1))) #246: #0(2(0(0(1(1(x1)))))) -> #3(4(2(3(1(2(3(2(3(3(x1)))))))))) #247: #0(2(0(0(1(1(x1)))))) -> #4(2(3(1(2(3(2(3(3(x1))))))))) #248: #0(2(0(0(1(1(x1)))))) -> #3(1(2(3(2(3(3(x1))))))) #249: #0(2(0(0(1(1(x1)))))) -> #1(2(3(2(3(3(x1)))))) #250: #0(2(0(0(1(1(x1)))))) -> #3(2(3(3(x1)))) #251: #0(2(0(0(1(1(x1)))))) -> #3(3(x1)) #252: #0(2(0(0(1(1(x1)))))) -> #3(x1) #253: #1(1(2(4(4(0(2(x1))))))) -> #1(1(2(2(3(2(1(5(2(2(x1)))))))))) #254: #1(1(2(4(4(0(2(x1))))))) -> #1(2(2(3(2(1(5(2(2(x1))))))))) #255: #1(1(2(4(4(0(2(x1))))))) -> #3(2(1(5(2(2(x1)))))) #256: #1(1(2(4(4(0(2(x1))))))) -> #1(5(2(2(x1)))) #257: #1(1(2(4(4(0(2(x1))))))) -> #5(2(2(x1))) #258: #1(0(0(3(0(x1))))) -> #1(1(2(3(2(3(2(4(3(0(x1)))))))))) #259: #1(0(0(3(0(x1))))) -> #1(2(3(2(3(2(4(3(0(x1))))))))) #260: #1(0(0(3(0(x1))))) -> #3(2(3(2(4(3(0(x1))))))) #261: #1(0(0(3(0(x1))))) -> #3(2(4(3(0(x1))))) #262: #1(0(0(3(0(x1))))) -> #4(3(0(x1))) #263: #4(0(4(0(1(1(2(x1))))))) -> #0(3(1(4(3(2(2(2(x1)))))))) #264: #4(0(4(0(1(1(2(x1))))))) -> #3(1(4(3(2(2(2(x1))))))) #265: #4(0(4(0(1(1(2(x1))))))) -> #1(4(3(2(2(2(x1)))))) #266: #4(0(4(0(1(1(2(x1))))))) -> #4(3(2(2(2(x1))))) #267: #4(0(4(0(1(1(2(x1))))))) -> #3(2(2(2(x1)))) #268: #0(4(5(5(5(0(4(x1))))))) -> #3(5(1(2(3(0(2(4(4(x1))))))))) #269: #0(4(5(5(5(0(4(x1))))))) -> #5(1(2(3(0(2(4(4(x1)))))))) #270: #0(4(5(5(5(0(4(x1))))))) -> #1(2(3(0(2(4(4(x1))))))) #271: #0(4(5(5(5(0(4(x1))))))) -> #3(0(2(4(4(x1))))) #272: #0(4(5(5(5(0(4(x1))))))) -> #0(2(4(4(x1)))) #273: #0(4(5(5(5(0(4(x1))))))) -> #4(4(x1)) #274: #0(1(0(5(5(2(0(x1))))))) -> #3(2(2(4(3(3(3(0(2(0(x1)))))))))) #275: #0(1(0(5(5(2(0(x1))))))) -> #4(3(3(3(0(2(0(x1))))))) #276: #0(1(0(5(5(2(0(x1))))))) -> #3(3(3(0(2(0(x1)))))) #277: #0(1(0(5(5(2(0(x1))))))) -> #3(3(0(2(0(x1))))) #278: #0(1(0(5(5(2(0(x1))))))) -> #3(0(2(0(x1)))) #279: #0(1(0(5(5(2(0(x1))))))) -> #0(2(0(x1))) #280: #1(2(4(4(0(5(1(x1))))))) -> #1(3(3(2(2(3(5(1(0(3(x1)))))))))) #281: #1(2(4(4(0(5(1(x1))))))) -> #3(3(2(2(3(5(1(0(3(x1))))))))) #282: #1(2(4(4(0(5(1(x1))))))) -> #3(2(2(3(5(1(0(3(x1)))))))) #283: #1(2(4(4(0(5(1(x1))))))) -> #3(5(1(0(3(x1))))) #284: #1(2(4(4(0(5(1(x1))))))) -> #5(1(0(3(x1)))) #285: #1(2(4(4(0(5(1(x1))))))) -> #1(0(3(x1))) #286: #1(2(4(4(0(5(1(x1))))))) -> #0(3(x1)) #287: #1(2(4(4(0(5(1(x1))))))) -> #3(x1) #288: #0(4(0(0(0(4(3(x1))))))) -> #0(5(5(2(1(3(2(3(3(3(x1)))))))))) #289: #0(4(0(0(0(4(3(x1))))))) -> #5(5(2(1(3(2(3(3(3(x1))))))))) #290: #0(4(0(0(0(4(3(x1))))))) -> #5(2(1(3(2(3(3(3(x1)))))))) #291: #0(4(0(0(0(4(3(x1))))))) -> #1(3(2(3(3(3(x1)))))) #292: #0(4(0(0(0(4(3(x1))))))) -> #3(2(3(3(3(x1))))) #293: #0(4(0(0(0(4(3(x1))))))) -> #3(3(3(x1))) #294: #0(4(0(0(0(4(3(x1))))))) -> #3(3(x1)) #295: #4(0(2(1(3(1(1(x1))))))) ->? #4(0(5(5(5(3(2(3(2(2(x1)))))))))) #296: #4(0(2(1(3(1(1(x1))))))) ->? #0(5(5(5(3(2(3(2(2(x1))))))))) #297: #4(0(2(1(3(1(1(x1))))))) ->? #5(5(5(3(2(3(2(2(x1)))))))) #298: #4(0(2(1(3(1(1(x1))))))) ->? #5(5(3(2(3(2(2(x1))))))) #299: #4(0(2(1(3(1(1(x1))))))) ->? #5(3(2(3(2(2(x1)))))) #300: #4(0(2(1(3(1(1(x1))))))) ->? #3(2(3(2(2(x1))))) #301: #4(0(2(1(3(1(1(x1))))))) ->? #3(2(2(x1))) #302: #5(4(3(0(1(5(x1)))))) -> #5(2(3(3(3(2(1(5(3(2(x1)))))))))) #303: #5(4(3(0(1(5(x1)))))) -> #3(3(3(2(1(5(3(2(x1)))))))) #304: #5(4(3(0(1(5(x1)))))) -> #3(3(2(1(5(3(2(x1))))))) #305: #5(4(3(0(1(5(x1)))))) -> #3(2(1(5(3(2(x1)))))) #306: #5(4(3(0(1(5(x1)))))) -> #1(5(3(2(x1)))) #307: #5(4(3(0(1(5(x1)))))) -> #5(3(2(x1))) #308: #5(4(3(0(1(5(x1)))))) -> #3(2(x1)) #309: #1(0(3(1(0(0(0(x1))))))) -> #4(2(2(5(3(2(4(4(4(x1))))))))) #310: #1(0(3(1(0(0(0(x1))))))) -> #5(3(2(4(4(4(x1)))))) #311: #1(0(3(1(0(0(0(x1))))))) -> #3(2(4(4(4(x1))))) #312: #1(0(3(1(0(0(0(x1))))))) -> #4(4(4(x1))) #313: #1(0(3(1(0(0(0(x1))))))) -> #4(4(x1)) #314: #1(0(3(1(0(0(0(x1))))))) -> #4(x1) #315: #0(0(5(1(5(1(3(x1))))))) -> #3(3(1(3(3(5(0(3(2(2(x1)))))))))) #316: #0(0(5(1(5(1(3(x1))))))) -> #3(1(3(3(5(0(3(2(2(x1))))))))) #317: #0(0(5(1(5(1(3(x1))))))) -> #1(3(3(5(0(3(2(2(x1)))))))) #318: #0(0(5(1(5(1(3(x1))))))) -> #3(3(5(0(3(2(2(x1))))))) #319: #0(0(5(1(5(1(3(x1))))))) -> #3(5(0(3(2(2(x1)))))) #320: #0(0(5(1(5(1(3(x1))))))) -> #5(0(3(2(2(x1))))) #321: #0(0(5(1(5(1(3(x1))))))) -> #0(3(2(2(x1)))) #322: #0(0(5(1(5(1(3(x1))))))) -> #3(2(2(x1))) #323: #0(3(0(0(0(0(0(x1))))))) -> #0(5(2(3(1(0(2(4(4(x1))))))))) #324: #0(3(0(0(0(0(0(x1))))))) -> #5(2(3(1(0(2(4(4(x1)))))))) #325: #0(3(0(0(0(0(0(x1))))))) -> #3(1(0(2(4(4(x1)))))) #326: #0(3(0(0(0(0(0(x1))))))) -> #1(0(2(4(4(x1))))) #327: #0(3(0(0(0(0(0(x1))))))) -> #0(2(4(4(x1)))) #328: #0(3(0(0(0(0(0(x1))))))) -> #4(4(x1)) #329: #0(3(0(0(0(0(0(x1))))))) -> #4(x1) #330: #1(4(1(3(0(4(3(x1))))))) -> #1(3(5(1(2(3(2(2(5(1(x1)))))))))) #331: #1(4(1(3(0(4(3(x1))))))) -> #3(5(1(2(3(2(2(5(1(x1))))))))) #332: #1(4(1(3(0(4(3(x1))))))) -> #5(1(2(3(2(2(5(1(x1)))))))) #333: #1(4(1(3(0(4(3(x1))))))) -> #1(2(3(2(2(5(1(x1))))))) #334: #1(4(1(3(0(4(3(x1))))))) -> #3(2(2(5(1(x1))))) #335: #1(4(1(3(0(4(3(x1))))))) -> #5(1(x1)) #336: #1(4(1(3(0(4(3(x1))))))) -> #1(x1) #337: #0(0(5(4(2(0(2(x1))))))) -> #3(2(3(2(2(0(0(3(1(3(x1)))))))))) #338: #0(0(5(4(2(0(2(x1))))))) -> #3(2(2(0(0(3(1(3(x1)))))))) #339: #0(0(5(4(2(0(2(x1))))))) -> #0(0(3(1(3(x1))))) #340: #0(0(5(4(2(0(2(x1))))))) -> #0(3(1(3(x1)))) #341: #0(0(5(4(2(0(2(x1))))))) -> #3(1(3(x1))) #342: #0(0(5(4(2(0(2(x1))))))) -> #1(3(x1)) #343: #0(0(5(4(2(0(2(x1))))))) -> #3(x1) #344: #4(5(0(2(4(1(x1)))))) -> #1(4(2(3(2(2(3(4(1(x1))))))))) #345: #4(5(0(2(4(1(x1)))))) -> #4(2(3(2(2(3(4(1(x1)))))))) #346: #4(5(0(2(4(1(x1)))))) -> #3(2(2(3(4(1(x1)))))) #347: #4(5(0(2(4(1(x1)))))) -> #3(4(1(x1))) #348: #0(4(4(1(1(x1))))) -> #0(4(2(3(2(2(2(2(2(2(x1)))))))))) #349: #0(4(4(1(1(x1))))) -> #4(2(3(2(2(2(2(2(2(x1))))))))) #350: #0(4(4(1(1(x1))))) -> #3(2(2(2(2(2(2(x1))))))) #351: #0(1(0(x1))) -> #3(3(2(2(3(2(4(2(4(x1))))))))) #352: #0(1(0(x1))) -> #3(2(2(3(2(4(2(4(x1)))))))) #353: #0(1(0(x1))) -> #3(2(4(2(4(x1))))) #354: #0(1(0(x1))) -> #4(2(4(x1))) #355: #0(1(0(x1))) -> #4(x1) #356: #5(0(5(0(1(5(2(x1))))))) -> #5(3(2(3(2(4(3(2(0(2(x1)))))))))) #357: #5(0(5(0(1(5(2(x1))))))) -> #3(2(3(2(4(3(2(0(2(x1))))))))) #358: #5(0(5(0(1(5(2(x1))))))) -> #3(2(4(3(2(0(2(x1))))))) #359: #5(0(5(0(1(5(2(x1))))))) -> #4(3(2(0(2(x1))))) #360: #5(0(5(0(1(5(2(x1))))))) -> #3(2(0(2(x1)))) #361: #5(0(5(0(1(5(2(x1))))))) -> #0(2(x1)) #362: #0(0(4(5(3(0(x1)))))) -> #1(2(2(3(5(2(2(1(1(4(x1)))))))))) #363: #0(0(4(5(3(0(x1)))))) -> #3(5(2(2(1(1(4(x1))))))) #364: #0(0(4(5(3(0(x1)))))) -> #5(2(2(1(1(4(x1)))))) #365: #0(0(4(5(3(0(x1)))))) -> #1(1(4(x1))) #366: #0(0(4(5(3(0(x1)))))) -> #1(4(x1)) #367: #0(0(4(5(3(0(x1)))))) -> #4(x1) #368: #4(0(0(1(3(1(x1)))))) -> #3(2(2(1(2(0(5(4(4(1(x1)))))))))) #369: #4(0(0(1(3(1(x1)))))) -> #1(2(0(5(4(4(1(x1))))))) #370: #4(0(0(1(3(1(x1)))))) -> #0(5(4(4(1(x1))))) #371: #4(0(0(1(3(1(x1)))))) -> #5(4(4(1(x1)))) #372: #4(0(0(1(3(1(x1)))))) -> #4(4(1(x1))) #373: #4(0(0(1(3(1(x1)))))) -> #4(1(x1)) #374: #0(5(4(1(2(x1))))) -> #3(2(1(3(3(4(2(3(2(1(x1)))))))))) #375: #0(5(4(1(2(x1))))) -> #1(3(3(4(2(3(2(1(x1)))))))) #376: #0(5(4(1(2(x1))))) -> #3(3(4(2(3(2(1(x1))))))) #377: #0(5(4(1(2(x1))))) -> #3(4(2(3(2(1(x1)))))) #378: #0(5(4(1(2(x1))))) -> #4(2(3(2(1(x1))))) #379: #0(5(4(1(2(x1))))) -> #3(2(1(x1))) #380: #0(5(4(1(2(x1))))) -> #1(x1) #381: #4(3(5(5(4(1(0(x1))))))) -> #3(5(1(3(4(5(2(3(3(4(x1)))))))))) #382: #4(3(5(5(4(1(0(x1))))))) -> #5(1(3(4(5(2(3(3(4(x1))))))))) #383: #4(3(5(5(4(1(0(x1))))))) -> #1(3(4(5(2(3(3(4(x1)))))))) #384: #4(3(5(5(4(1(0(x1))))))) -> #3(4(5(2(3(3(4(x1))))))) #385: #4(3(5(5(4(1(0(x1))))))) -> #4(5(2(3(3(4(x1)))))) #386: #4(3(5(5(4(1(0(x1))))))) -> #5(2(3(3(4(x1))))) #387: #4(3(5(5(4(1(0(x1))))))) -> #3(3(4(x1))) #388: #4(3(5(5(4(1(0(x1))))))) -> #3(4(x1)) #389: #4(3(5(5(4(1(0(x1))))))) -> #4(x1) #390: #0(0(1(2(3(0(5(x1))))))) -> #3(2(1(3(2(1(4(3(5(5(x1)))))))))) #391: #0(0(1(2(3(0(5(x1))))))) -> #1(3(2(1(4(3(5(5(x1)))))))) #392: #0(0(1(2(3(0(5(x1))))))) -> #3(2(1(4(3(5(5(x1))))))) #393: #0(0(1(2(3(0(5(x1))))))) -> #1(4(3(5(5(x1))))) #394: #0(0(1(2(3(0(5(x1))))))) -> #4(3(5(5(x1)))) #395: #0(0(1(2(3(0(5(x1))))))) -> #3(5(5(x1))) #396: #0(0(1(2(3(0(5(x1))))))) -> #5(5(x1)) Number of SCCs: 1, DPs: 50 SCC { #8 #15..17 #25 #30 #42 #43 #51 #52 #59 #67 #75 #80 #81 #87 #95 #121 #122 #127..129 #136 #143 #150 #171 #177 #178 #183 #191 #208 #235 #252 #279 #285..287 #314 #329 #336 #342 #343 #355 #361 #366 #367 #373 #380 #389 #394 } POLO(Sum)... POLO(max)... QLPOS.