/export/starexec/sandbox2/solver/bin/starexec_run_Default: line 4: 7164 Done xsltproc "$DIR/xtc2tpdb.xml" "$1" 7165 Alarm clock | NaTT.exe 2> "$2/stdout.txt" 2> $DIR/stderr.txt Input TRS: 1: 2(5(3(0(x1)))) -> 1(0(0(1(3(0(4(5(1(2(x1)))))))))) 2: 1(3(5(4(3(x1))))) -> 2(1(4(1(4(0(3(0(1(1(x1)))))))))) 3: 5(1(3(5(0(x1))))) -> 5(1(4(3(0(4(4(5(2(1(x1)))))))))) 4: 5(4(4(2(5(x1))))) -> 4(3(1(1(1(1(5(3(3(5(x1)))))))))) 5: 2(2(5(0(5(4(x1)))))) -> 2(1(4(1(3(3(2(2(5(4(x1)))))))))) 6: 3(0(5(5(4(3(x1)))))) -> 3(3(0(3(2(3(5(5(1(0(x1)))))))))) 7: 3(5(4(3(5(2(x1)))))) -> 2(0(5(2(0(5(2(2(3(2(x1)))))))))) 8: 4(4(2(5(5(0(x1)))))) -> 4(4(0(0(3(3(3(2(2(3(x1)))))))))) 9: 4(5(3(5(5(0(x1)))))) -> 4(2(2(3(0(2(4(1(1(5(x1)))))))))) 10: 5(4(5(1(1(2(x1)))))) -> 5(4(0(3(3(3(3(2(5(5(x1)))))))))) 11: 5(5(5(5(5(3(x1)))))) -> 5(5(0(1(4(0(0(5(0(1(x1)))))))))) 12: 3(5(0(0(5(4(3(x1))))))) -> 0(1(2(1(1(5(5(2(1(0(x1)))))))))) 13: 3(5(4(2(5(2(3(x1))))))) -> 4(0(4(0(0(2(2(3(4(4(x1)))))))))) 14: 3(5(4(5(1(4(0(x1))))))) -> 1(1(1(0(0(3(3(1(2(5(x1)))))))))) 15: 0(x1) ->= 0(1(0(2(0(1(0(3(1(2(x1)))))))))) 16: 0(x1) ->= 0(1(0(3(3(1(1(0(1(2(x1)))))))))) 17: 0(x1) ->= 0(1(1(1(2(4(2(5(2(1(x1)))))))))) 18: 0(x1) ->= 0(2(0(3(3(2(0(1(3(4(x1)))))))))) 19: 2(x1) ->= 3(1(5(3(2(4(5(3(2(3(x1)))))))))) 20: 3(x1) ->= 3(1(5(2(5(3(1(0(2(4(x1)))))))))) 21: 0(0(x1)) ->= 0(5(2(0(2(2(3(1(3(4(x1)))))))))) 22: 0(0(x1)) ->= 1(0(1(4(4(2(0(1(4(1(x1)))))))))) 23: 0(0(x1)) ->= 4(3(1(5(1(0(4(1(0(2(x1)))))))))) 24: 2(2(x1)) ->= 2(1(1(3(2(3(0(0(1(3(x1)))))))))) 25: 2(3(x1)) ->= 2(1(3(1(0(1(1(2(1(1(x1)))))))))) 26: 2(5(x1)) ->= 3(1(5(1(0(2(0(0(2(5(x1)))))))))) 27: 3(0(x1)) ->= 2(2(0(2(1(3(0(0(3(3(x1)))))))))) 28: 3(0(x1)) ->= 3(0(4(2(2(2(5(2(1(2(x1)))))))))) 29: 4(0(x1)) ->= 4(0(2(2(0(0(0(3(0(1(x1)))))))))) 30: 5(0(x1)) ->= 5(0(1(5(2(4(1(0(3(3(x1)))))))))) 31: 5(2(x1)) ->= 4(1(3(3(1(4(0(4(0(2(x1)))))))))) 32: 5(3(x1)) ->= 0(2(1(1(3(0(0(5(1(5(x1)))))))))) 33: 5(3(x1)) ->= 0(3(3(1(0(1(0(4(5(3(x1)))))))))) 34: 5(3(x1)) ->= 5(1(3(1(1(0(0(5(2(5(x1)))))))))) 35: 0(5(0(x1))) ->= 0(2(5(3(0(1(4(1(0(3(x1)))))))))) 36: 2(0(0(x1))) ->= 2(2(0(2(4(4(3(4(0(1(x1)))))))))) 37: 2(2(3(x1))) ->= 1(0(0(5(1(4(0(4(4(1(x1)))))))))) 38: 2(3(0(x1))) ->= 1(1(4(0(1(1(2(0(1(1(x1)))))))))) 39: 2(3(0(x1))) ->= 2(4(0(2(1(3(4(2(4(2(x1)))))))))) 40: 2(5(0(x1))) ->= 1(3(3(1(0(4(5(0(1(4(x1)))))))))) 41: 2(5(0(x1))) ->= 3(1(3(3(4(4(5(0(2(0(x1)))))))))) 42: 2(5(3(x1))) ->= 2(0(1(0(2(4(2(0(4(5(x1)))))))))) 43: 2(5(4(x1))) ->= 3(1(2(2(3(1(3(1(5(4(x1)))))))))) 44: 3(3(0(x1))) ->= 3(0(1(2(3(0(3(3(0(1(x1)))))))))) 45: 3(5(0(x1))) ->= 3(5(0(2(4(4(2(3(4(4(x1)))))))))) 46: 3(5(2(x1))) ->= 3(0(1(1(3(0(1(0(0(3(x1)))))))))) 47: 4(2(2(x1))) ->= 4(1(5(3(2(1(1(2(1(4(x1)))))))))) 48: 4(2(3(x1))) ->= 4(2(0(2(2(1(3(0(3(0(x1)))))))))) 49: 5(2(2(x1))) ->= 0(0(4(4(2(1(1(2(3(2(x1)))))))))) 50: 5(4(3(x1))) ->= 5(0(0(0(2(1(4(2(1(2(x1)))))))))) 51: 1(1(3(0(x1)))) ->= 1(1(3(0(1(4(4(1(0(4(x1)))))))))) 52: 1(5(2(3(x1)))) ->= 1(2(4(0(3(1(4(0(2(3(x1)))))))))) 53: 4(4(5(3(x1)))) ->= 4(4(3(1(0(5(1(5(1(5(x1)))))))))) 54: 0(0(5(4(0(x1))))) ->= 0(0(3(5(1(1(5(0(3(2(x1)))))))))) 55: 2(5(5(4(3(x1))))) ->= 3(1(4(5(0(5(0(0(2(1(x1)))))))))) 56: 3(4(5(4(3(x1))))) ->= 5(1(3(2(4(5(0(2(3(0(x1)))))))))) 57: 0(5(3(5(0(0(x1)))))) ->= 0(5(0(1(0(5(0(4(1(3(x1)))))))))) 58: 2(1(2(5(2(2(x1)))))) ->= 2(0(4(1(3(0(2(0(1(4(x1)))))))))) 59: 3(3(4(0(5(4(0(x1))))))) ->= 2(0(0(0(2(5(4(5(0(3(x1)))))))))) 60: 4(5(2(0(1(5(0(x1))))))) ->= 4(0(2(4(3(0(4(3(5(0(x1)))))))))) Number of strict rules: 14 Direct POLO(bPol) ... failed. Uncurrying ... failed. Dependency Pairs: #1: #1(3(5(4(3(x1))))) -> #2(1(4(1(4(0(3(0(1(1(x1)))))))))) #2: #1(3(5(4(3(x1))))) -> #1(4(1(4(0(3(0(1(1(x1))))))))) #3: #1(3(5(4(3(x1))))) -> #4(1(4(0(3(0(1(1(x1)))))))) #4: #1(3(5(4(3(x1))))) -> #1(4(0(3(0(1(1(x1))))))) #5: #1(3(5(4(3(x1))))) -> #4(0(3(0(1(1(x1)))))) #6: #1(3(5(4(3(x1))))) -> #0(3(0(1(1(x1))))) #7: #1(3(5(4(3(x1))))) -> #3(0(1(1(x1)))) #8: #1(3(5(4(3(x1))))) -> #0(1(1(x1))) #9: #1(3(5(4(3(x1))))) -> #1(1(x1)) #10: #1(3(5(4(3(x1))))) -> #1(x1) #11: #2(5(4(x1))) ->? #3(1(2(2(3(1(3(1(5(4(x1)))))))))) #12: #2(5(4(x1))) ->? #1(2(2(3(1(3(1(5(4(x1))))))))) #13: #2(5(4(x1))) ->? #2(2(3(1(3(1(5(4(x1)))))))) #14: #2(5(4(x1))) ->? #2(3(1(3(1(5(4(x1))))))) #15: #2(5(4(x1))) ->? #3(1(3(1(5(4(x1)))))) #16: #2(5(4(x1))) ->? #1(3(1(5(4(x1))))) #17: #2(5(4(x1))) ->? #3(1(5(4(x1)))) #18: #2(5(4(x1))) ->? #1(5(4(x1))) #19: #4(0(x1)) ->? #4(0(2(2(0(0(0(3(0(1(x1)))))))))) #20: #4(0(x1)) ->? #0(2(2(0(0(0(3(0(1(x1))))))))) #21: #4(0(x1)) ->? #2(2(0(0(0(3(0(1(x1)))))))) #22: #4(0(x1)) ->? #2(0(0(0(3(0(1(x1))))))) #23: #4(0(x1)) ->? #0(0(0(3(0(1(x1)))))) #24: #4(0(x1)) ->? #0(0(3(0(1(x1))))) #25: #4(0(x1)) ->? #0(3(0(1(x1)))) #26: #4(0(x1)) ->? #3(0(1(x1))) #27: #4(0(x1)) ->? #0(1(x1)) #28: #4(0(x1)) ->? #1(x1) #29: #0(5(0(x1))) ->? #0(2(5(3(0(1(4(1(0(3(x1)))))))))) #30: #0(5(0(x1))) ->? #2(5(3(0(1(4(1(0(3(x1))))))))) #31: #0(5(0(x1))) ->? #5(3(0(1(4(1(0(3(x1)))))))) #32: #0(5(0(x1))) ->? #3(0(1(4(1(0(3(x1))))))) #33: #0(5(0(x1))) ->? #0(1(4(1(0(3(x1)))))) #34: #0(5(0(x1))) ->? #1(4(1(0(3(x1))))) #35: #0(5(0(x1))) ->? #4(1(0(3(x1)))) #36: #0(5(0(x1))) ->? #1(0(3(x1))) #37: #0(5(0(x1))) ->? #0(3(x1)) #38: #0(5(0(x1))) ->? #3(x1) #39: #3(5(2(x1))) ->? #3(0(1(1(3(0(1(0(0(3(x1)))))))))) #40: #3(5(2(x1))) ->? #0(1(1(3(0(1(0(0(3(x1))))))))) #41: #3(5(2(x1))) ->? #1(1(3(0(1(0(0(3(x1)))))))) #42: #3(5(2(x1))) ->? #1(3(0(1(0(0(3(x1))))))) #43: #3(5(2(x1))) ->? #3(0(1(0(0(3(x1)))))) #44: #3(5(2(x1))) ->? #0(1(0(0(3(x1))))) #45: #3(5(2(x1))) ->? #1(0(0(3(x1)))) #46: #3(5(2(x1))) ->? #0(0(3(x1))) #47: #3(5(2(x1))) ->? #0(3(x1)) #48: #3(5(2(x1))) ->? #3(x1) #49: #2(5(3(x1))) ->? #2(0(1(0(2(4(2(0(4(5(x1)))))))))) #50: #2(5(3(x1))) ->? #0(1(0(2(4(2(0(4(5(x1))))))))) #51: #2(5(3(x1))) ->? #1(0(2(4(2(0(4(5(x1)))))))) #52: #2(5(3(x1))) ->? #0(2(4(2(0(4(5(x1))))))) #53: #2(5(3(x1))) ->? #2(4(2(0(4(5(x1)))))) #54: #2(5(3(x1))) ->? #4(2(0(4(5(x1))))) #55: #2(5(3(x1))) ->? #2(0(4(5(x1)))) #56: #2(5(3(x1))) ->? #0(4(5(x1))) #57: #2(5(3(x1))) ->? #4(5(x1)) #58: #2(5(3(x1))) ->? #5(x1) #59: #2(5(0(x1))) ->? #3(1(3(3(4(4(5(0(2(0(x1)))))))))) #60: #2(5(0(x1))) ->? #1(3(3(4(4(5(0(2(0(x1))))))))) #61: #2(5(0(x1))) ->? #3(3(4(4(5(0(2(0(x1)))))))) #62: #2(5(0(x1))) ->? #3(4(4(5(0(2(0(x1))))))) #63: #2(5(0(x1))) ->? #4(4(5(0(2(0(x1)))))) #64: #2(5(0(x1))) ->? #4(5(0(2(0(x1))))) #65: #2(5(0(x1))) ->? #5(0(2(0(x1)))) #66: #2(5(0(x1))) ->? #0(2(0(x1))) #67: #2(5(0(x1))) ->? #2(0(x1)) #68: #2(2(3(x1))) ->? #1(0(0(5(1(4(0(4(4(1(x1)))))))))) #69: #2(2(3(x1))) ->? #0(0(5(1(4(0(4(4(1(x1))))))))) #70: #2(2(3(x1))) ->? #0(5(1(4(0(4(4(1(x1)))))))) #71: #2(2(3(x1))) ->? #5(1(4(0(4(4(1(x1))))))) #72: #2(2(3(x1))) ->? #1(4(0(4(4(1(x1)))))) #73: #2(2(3(x1))) ->? #4(0(4(4(1(x1))))) #74: #2(2(3(x1))) ->? #0(4(4(1(x1)))) #75: #2(2(3(x1))) ->? #4(4(1(x1))) #76: #2(2(3(x1))) ->? #4(1(x1)) #77: #2(2(3(x1))) ->? #1(x1) #78: #4(2(2(x1))) ->? #4(1(5(3(2(1(1(2(1(4(x1)))))))))) #79: #4(2(2(x1))) ->? #1(5(3(2(1(1(2(1(4(x1))))))))) #80: #4(2(2(x1))) ->? #5(3(2(1(1(2(1(4(x1)))))))) #81: #4(2(2(x1))) ->? #3(2(1(1(2(1(4(x1))))))) #82: #4(2(2(x1))) ->? #2(1(1(2(1(4(x1)))))) #83: #4(2(2(x1))) ->? #1(1(2(1(4(x1))))) #84: #4(2(2(x1))) ->? #1(2(1(4(x1)))) #85: #4(2(2(x1))) ->? #2(1(4(x1))) #86: #4(2(2(x1))) ->? #1(4(x1)) #87: #4(2(2(x1))) ->? #4(x1) #88: #4(4(5(3(x1)))) ->? #4(4(3(1(0(5(1(5(1(5(x1)))))))))) #89: #4(4(5(3(x1)))) ->? #4(3(1(0(5(1(5(1(5(x1))))))))) #90: #4(4(5(3(x1)))) ->? #3(1(0(5(1(5(1(5(x1)))))))) #91: #4(4(5(3(x1)))) ->? #1(0(5(1(5(1(5(x1))))))) #92: #4(4(5(3(x1)))) ->? #0(5(1(5(1(5(x1)))))) #93: #4(4(5(3(x1)))) ->? #5(1(5(1(5(x1))))) #94: #4(4(5(3(x1)))) ->? #1(5(1(5(x1)))) #95: #4(4(5(3(x1)))) ->? #5(1(5(x1))) #96: #4(4(5(3(x1)))) ->? #1(5(x1)) #97: #4(4(5(3(x1)))) ->? #5(x1) #98: #4(2(3(x1))) ->? #4(2(0(2(2(1(3(0(3(0(x1)))))))))) #99: #4(2(3(x1))) ->? #2(0(2(2(1(3(0(3(0(x1))))))))) #100: #4(2(3(x1))) ->? #0(2(2(1(3(0(3(0(x1)))))))) #101: #4(2(3(x1))) ->? #2(2(1(3(0(3(0(x1))))))) #102: #4(2(3(x1))) ->? #2(1(3(0(3(0(x1)))))) #103: #4(2(3(x1))) ->? #1(3(0(3(0(x1))))) #104: #4(2(3(x1))) ->? #3(0(3(0(x1)))) #105: #4(2(3(x1))) ->? #0(3(0(x1))) #106: #4(2(3(x1))) ->? #3(0(x1)) #107: #4(2(3(x1))) ->? #0(x1) #108: #2(1(2(5(2(2(x1)))))) ->? #2(0(4(1(3(0(2(0(1(4(x1)))))))))) #109: #2(1(2(5(2(2(x1)))))) ->? #0(4(1(3(0(2(0(1(4(x1))))))))) #110: #2(1(2(5(2(2(x1)))))) ->? #4(1(3(0(2(0(1(4(x1)))))))) #111: #2(1(2(5(2(2(x1)))))) ->? #1(3(0(2(0(1(4(x1))))))) #112: #2(1(2(5(2(2(x1)))))) ->? #3(0(2(0(1(4(x1)))))) #113: #2(1(2(5(2(2(x1)))))) ->? #0(2(0(1(4(x1))))) #114: #2(1(2(5(2(2(x1)))))) ->? #2(0(1(4(x1)))) #115: #2(1(2(5(2(2(x1)))))) ->? #0(1(4(x1))) #116: #2(1(2(5(2(2(x1)))))) ->? #1(4(x1)) #117: #2(1(2(5(2(2(x1)))))) ->? #4(x1) #118: #2(3(0(x1))) ->? #1(1(4(0(1(1(2(0(1(1(x1)))))))))) #119: #2(3(0(x1))) ->? #1(4(0(1(1(2(0(1(1(x1))))))))) #120: #2(3(0(x1))) ->? #4(0(1(1(2(0(1(1(x1)))))))) #121: #2(3(0(x1))) ->? #0(1(1(2(0(1(1(x1))))))) #122: #2(3(0(x1))) ->? #1(1(2(0(1(1(x1)))))) #123: #2(3(0(x1))) ->? #1(2(0(1(1(x1))))) #124: #2(3(0(x1))) ->? #2(0(1(1(x1)))) #125: #2(3(0(x1))) ->? #0(1(1(x1))) #126: #2(3(0(x1))) ->? #1(1(x1)) #127: #2(3(0(x1))) ->? #1(x1) #128: #3(0(5(5(4(3(x1)))))) -> #3(3(0(3(2(3(5(5(1(0(x1)))))))))) #129: #3(0(5(5(4(3(x1)))))) -> #3(0(3(2(3(5(5(1(0(x1))))))))) #130: #3(0(5(5(4(3(x1)))))) -> #0(3(2(3(5(5(1(0(x1)))))))) #131: #3(0(5(5(4(3(x1)))))) -> #3(2(3(5(5(1(0(x1))))))) #132: #3(0(5(5(4(3(x1)))))) -> #2(3(5(5(1(0(x1)))))) #133: #3(0(5(5(4(3(x1)))))) -> #3(5(5(1(0(x1))))) #134: #3(0(5(5(4(3(x1)))))) -> #5(5(1(0(x1)))) #135: #3(0(5(5(4(3(x1)))))) -> #5(1(0(x1))) #136: #3(0(5(5(4(3(x1)))))) -> #1(0(x1)) #137: #3(0(5(5(4(3(x1)))))) -> #0(x1) #138: #3(3(4(0(5(4(0(x1))))))) ->? #2(0(0(0(2(5(4(5(0(3(x1)))))))))) #139: #3(3(4(0(5(4(0(x1))))))) ->? #0(0(0(2(5(4(5(0(3(x1))))))))) #140: #3(3(4(0(5(4(0(x1))))))) ->? #0(0(2(5(4(5(0(3(x1)))))))) #141: #3(3(4(0(5(4(0(x1))))))) ->? #0(2(5(4(5(0(3(x1))))))) #142: #3(3(4(0(5(4(0(x1))))))) ->? #2(5(4(5(0(3(x1)))))) #143: #3(3(4(0(5(4(0(x1))))))) ->? #5(4(5(0(3(x1))))) #144: #3(3(4(0(5(4(0(x1))))))) ->? #4(5(0(3(x1)))) #145: #3(3(4(0(5(4(0(x1))))))) ->? #5(0(3(x1))) #146: #3(3(4(0(5(4(0(x1))))))) ->? #0(3(x1)) #147: #3(3(4(0(5(4(0(x1))))))) ->? #3(x1) #148: #2(5(5(4(3(x1))))) ->? #3(1(4(5(0(5(0(0(2(1(x1)))))))))) #149: #2(5(5(4(3(x1))))) ->? #1(4(5(0(5(0(0(2(1(x1))))))))) #150: #2(5(5(4(3(x1))))) ->? #4(5(0(5(0(0(2(1(x1)))))))) #151: #2(5(5(4(3(x1))))) ->? #5(0(5(0(0(2(1(x1))))))) #152: #2(5(5(4(3(x1))))) ->? #0(5(0(0(2(1(x1)))))) #153: #2(5(5(4(3(x1))))) ->? #5(0(0(2(1(x1))))) #154: #2(5(5(4(3(x1))))) ->? #0(0(2(1(x1)))) #155: #2(5(5(4(3(x1))))) ->? #0(2(1(x1))) #156: #2(5(5(4(3(x1))))) ->? #2(1(x1)) #157: #2(5(5(4(3(x1))))) ->? #1(x1) #158: #2(5(0(x1))) ->? #1(3(3(1(0(4(5(0(1(4(x1)))))))))) #159: #2(5(0(x1))) ->? #3(3(1(0(4(5(0(1(4(x1))))))))) #160: #2(5(0(x1))) ->? #3(1(0(4(5(0(1(4(x1)))))))) #161: #2(5(0(x1))) ->? #1(0(4(5(0(1(4(x1))))))) #162: #2(5(0(x1))) ->? #0(4(5(0(1(4(x1)))))) #163: #2(5(0(x1))) ->? #4(5(0(1(4(x1))))) #164: #2(5(0(x1))) ->? #5(0(1(4(x1)))) #165: #2(5(0(x1))) ->? #0(1(4(x1))) #166: #2(5(0(x1))) ->? #1(4(x1)) #167: #2(5(0(x1))) ->? #4(x1) #168: #1(1(3(0(x1)))) ->? #1(1(3(0(1(4(4(1(0(4(x1)))))))))) #169: #1(1(3(0(x1)))) ->? #1(3(0(1(4(4(1(0(4(x1))))))))) #170: #1(1(3(0(x1)))) ->? #3(0(1(4(4(1(0(4(x1)))))))) #171: #1(1(3(0(x1)))) ->? #0(1(4(4(1(0(4(x1))))))) #172: #1(1(3(0(x1)))) ->? #1(4(4(1(0(4(x1)))))) #173: #1(1(3(0(x1)))) ->? #4(4(1(0(4(x1))))) #174: #1(1(3(0(x1)))) ->? #4(1(0(4(x1)))) #175: #1(1(3(0(x1)))) ->? #1(0(4(x1))) #176: #1(1(3(0(x1)))) ->? #0(4(x1)) #177: #1(1(3(0(x1)))) ->? #4(x1) #178: #3(5(4(2(5(2(3(x1))))))) -> #4(0(4(0(0(2(2(3(4(4(x1)))))))))) #179: #3(5(4(2(5(2(3(x1))))))) -> #0(4(0(0(2(2(3(4(4(x1))))))))) #180: #3(5(4(2(5(2(3(x1))))))) -> #4(0(0(2(2(3(4(4(x1)))))))) #181: #3(5(4(2(5(2(3(x1))))))) -> #0(0(2(2(3(4(4(x1))))))) #182: #3(5(4(2(5(2(3(x1))))))) -> #0(2(2(3(4(4(x1)))))) #183: #3(5(4(2(5(2(3(x1))))))) -> #2(2(3(4(4(x1))))) #184: #3(5(4(2(5(2(3(x1))))))) -> #2(3(4(4(x1)))) #185: #3(5(4(2(5(2(3(x1))))))) -> #3(4(4(x1))) #186: #3(5(4(2(5(2(3(x1))))))) -> #4(4(x1)) #187: #3(5(4(2(5(2(3(x1))))))) -> #4(x1) #188: #4(5(3(5(5(0(x1)))))) -> #4(2(2(3(0(2(4(1(1(5(x1)))))))))) #189: #4(5(3(5(5(0(x1)))))) -> #2(2(3(0(2(4(1(1(5(x1))))))))) #190: #4(5(3(5(5(0(x1)))))) -> #2(3(0(2(4(1(1(5(x1)))))))) #191: #4(5(3(5(5(0(x1)))))) -> #3(0(2(4(1(1(5(x1))))))) #192: #4(5(3(5(5(0(x1)))))) -> #0(2(4(1(1(5(x1)))))) #193: #4(5(3(5(5(0(x1)))))) -> #2(4(1(1(5(x1))))) #194: #4(5(3(5(5(0(x1)))))) -> #4(1(1(5(x1)))) #195: #4(5(3(5(5(0(x1)))))) -> #1(1(5(x1))) #196: #4(5(3(5(5(0(x1)))))) -> #1(5(x1)) #197: #4(5(3(5(5(0(x1)))))) -> #5(x1) #198: #5(5(5(5(5(3(x1)))))) -> #5(5(0(1(4(0(0(5(0(1(x1)))))))))) #199: #5(5(5(5(5(3(x1)))))) -> #5(0(1(4(0(0(5(0(1(x1))))))))) #200: #5(5(5(5(5(3(x1)))))) -> #0(1(4(0(0(5(0(1(x1)))))))) #201: #5(5(5(5(5(3(x1)))))) -> #1(4(0(0(5(0(1(x1))))))) #202: #5(5(5(5(5(3(x1)))))) -> #4(0(0(5(0(1(x1)))))) #203: #5(5(5(5(5(3(x1)))))) -> #0(0(5(0(1(x1))))) #204: #5(5(5(5(5(3(x1)))))) -> #0(5(0(1(x1)))) #205: #5(5(5(5(5(3(x1)))))) -> #5(0(1(x1))) #206: #5(5(5(5(5(3(x1)))))) -> #0(1(x1)) #207: #5(5(5(5(5(3(x1)))))) -> #1(x1) #208: #0(5(3(5(0(0(x1)))))) ->? #0(5(0(1(0(5(0(4(1(3(x1)))))))))) #209: #0(5(3(5(0(0(x1)))))) ->? #5(0(1(0(5(0(4(1(3(x1))))))))) #210: #0(5(3(5(0(0(x1)))))) ->? #0(1(0(5(0(4(1(3(x1)))))))) #211: #0(5(3(5(0(0(x1)))))) ->? #1(0(5(0(4(1(3(x1))))))) #212: #0(5(3(5(0(0(x1)))))) ->? #0(5(0(4(1(3(x1)))))) #213: #0(5(3(5(0(0(x1)))))) ->? #5(0(4(1(3(x1))))) #214: #0(5(3(5(0(0(x1)))))) ->? #0(4(1(3(x1)))) #215: #0(5(3(5(0(0(x1)))))) ->? #4(1(3(x1))) #216: #0(5(3(5(0(0(x1)))))) ->? #1(3(x1)) #217: #0(5(3(5(0(0(x1)))))) ->? #3(x1) #218: #2(2(x1)) ->? #2(1(1(3(2(3(0(0(1(3(x1)))))))))) #219: #2(2(x1)) ->? #1(1(3(2(3(0(0(1(3(x1))))))))) #220: #2(2(x1)) ->? #1(3(2(3(0(0(1(3(x1)))))))) #221: #2(2(x1)) ->? #3(2(3(0(0(1(3(x1))))))) #222: #2(2(x1)) ->? #2(3(0(0(1(3(x1)))))) #223: #2(2(x1)) ->? #3(0(0(1(3(x1))))) #224: #2(2(x1)) ->? #0(0(1(3(x1)))) #225: #2(2(x1)) ->? #0(1(3(x1))) #226: #2(2(x1)) ->? #1(3(x1)) #227: #2(2(x1)) ->? #3(x1) #228: #0(0(x1)) ->? #4(3(1(5(1(0(4(1(0(2(x1)))))))))) #229: #0(0(x1)) ->? #3(1(5(1(0(4(1(0(2(x1))))))))) #230: #0(0(x1)) ->? #1(5(1(0(4(1(0(2(x1)))))))) #231: #0(0(x1)) ->? #5(1(0(4(1(0(2(x1))))))) #232: #0(0(x1)) ->? #1(0(4(1(0(2(x1)))))) #233: #0(0(x1)) ->? #0(4(1(0(2(x1))))) #234: #0(0(x1)) ->? #4(1(0(2(x1)))) #235: #0(0(x1)) ->? #1(0(2(x1))) #236: #0(0(x1)) ->? #0(2(x1)) #237: #0(0(x1)) ->? #2(x1) #238: #3(5(0(x1))) ->? #3(5(0(2(4(4(2(3(4(4(x1)))))))))) #239: #3(5(0(x1))) ->? #5(0(2(4(4(2(3(4(4(x1))))))))) #240: #3(5(0(x1))) ->? #0(2(4(4(2(3(4(4(x1)))))))) #241: #3(5(0(x1))) ->? #2(4(4(2(3(4(4(x1))))))) #242: #3(5(0(x1))) ->? #4(4(2(3(4(4(x1)))))) #243: #3(5(0(x1))) ->? #4(2(3(4(4(x1))))) #244: #3(5(0(x1))) ->? #2(3(4(4(x1)))) #245: #3(5(0(x1))) ->? #3(4(4(x1))) #246: #3(5(0(x1))) ->? #4(4(x1)) #247: #3(5(0(x1))) ->? #4(x1) #248: #3(5(0(0(5(4(3(x1))))))) -> #0(1(2(1(1(5(5(2(1(0(x1)))))))))) #249: #3(5(0(0(5(4(3(x1))))))) -> #1(2(1(1(5(5(2(1(0(x1))))))))) #250: #3(5(0(0(5(4(3(x1))))))) -> #2(1(1(5(5(2(1(0(x1)))))))) #251: #3(5(0(0(5(4(3(x1))))))) -> #1(1(5(5(2(1(0(x1))))))) #252: #3(5(0(0(5(4(3(x1))))))) -> #1(5(5(2(1(0(x1)))))) #253: #3(5(0(0(5(4(3(x1))))))) -> #5(5(2(1(0(x1))))) #254: #3(5(0(0(5(4(3(x1))))))) -> #5(2(1(0(x1)))) #255: #3(5(0(0(5(4(3(x1))))))) -> #2(1(0(x1))) #256: #3(5(0(0(5(4(3(x1))))))) -> #1(0(x1)) #257: #3(5(0(0(5(4(3(x1))))))) -> #0(x1) #258: #5(2(x1)) ->? #4(1(3(3(1(4(0(4(0(2(x1)))))))))) #259: #5(2(x1)) ->? #1(3(3(1(4(0(4(0(2(x1))))))))) #260: #5(2(x1)) ->? #3(3(1(4(0(4(0(2(x1)))))))) #261: #5(2(x1)) ->? #3(1(4(0(4(0(2(x1))))))) #262: #5(2(x1)) ->? #1(4(0(4(0(2(x1)))))) #263: #5(2(x1)) ->? #4(0(4(0(2(x1))))) #264: #5(2(x1)) ->? #0(4(0(2(x1)))) #265: #5(2(x1)) ->? #4(0(2(x1))) #266: #5(2(x1)) ->? #0(2(x1)) #267: #3(4(5(4(3(x1))))) ->? #5(1(3(2(4(5(0(2(3(0(x1)))))))))) #268: #3(4(5(4(3(x1))))) ->? #1(3(2(4(5(0(2(3(0(x1))))))))) #269: #3(4(5(4(3(x1))))) ->? #3(2(4(5(0(2(3(0(x1)))))))) #270: #3(4(5(4(3(x1))))) ->? #2(4(5(0(2(3(0(x1))))))) #271: #3(4(5(4(3(x1))))) ->? #4(5(0(2(3(0(x1)))))) #272: #3(4(5(4(3(x1))))) ->? #5(0(2(3(0(x1))))) #273: #3(4(5(4(3(x1))))) ->? #0(2(3(0(x1)))) #274: #3(4(5(4(3(x1))))) ->? #2(3(0(x1))) #275: #3(4(5(4(3(x1))))) ->? #3(0(x1)) #276: #3(4(5(4(3(x1))))) ->? #0(x1) #277: #3(5(4(5(1(4(0(x1))))))) -> #1(1(1(0(0(3(3(1(2(5(x1)))))))))) #278: #3(5(4(5(1(4(0(x1))))))) -> #1(1(0(0(3(3(1(2(5(x1))))))))) #279: #3(5(4(5(1(4(0(x1))))))) -> #1(0(0(3(3(1(2(5(x1)))))))) #280: #3(5(4(5(1(4(0(x1))))))) -> #0(0(3(3(1(2(5(x1))))))) #281: #3(5(4(5(1(4(0(x1))))))) -> #0(3(3(1(2(5(x1)))))) #282: #3(5(4(5(1(4(0(x1))))))) -> #3(3(1(2(5(x1))))) #283: #3(5(4(5(1(4(0(x1))))))) -> #3(1(2(5(x1)))) #284: #3(5(4(5(1(4(0(x1))))))) -> #1(2(5(x1))) #285: #3(5(4(5(1(4(0(x1))))))) -> #2(5(x1)) #286: #3(5(4(5(1(4(0(x1))))))) -> #5(x1) #287: #5(0(x1)) ->? #5(0(1(5(2(4(1(0(3(3(x1)))))))))) #288: #5(0(x1)) ->? #0(1(5(2(4(1(0(3(3(x1))))))))) #289: #5(0(x1)) ->? #1(5(2(4(1(0(3(3(x1)))))))) #290: #5(0(x1)) ->? #5(2(4(1(0(3(3(x1))))))) #291: #5(0(x1)) ->? #2(4(1(0(3(3(x1)))))) #292: #5(0(x1)) ->? #4(1(0(3(3(x1))))) #293: #5(0(x1)) ->? #1(0(3(3(x1)))) #294: #5(0(x1)) ->? #0(3(3(x1))) #295: #5(0(x1)) ->? #3(3(x1)) #296: #5(0(x1)) ->? #3(x1) #297: #5(2(2(x1))) ->? #0(0(4(4(2(1(1(2(3(2(x1)))))))))) #298: #5(2(2(x1))) ->? #0(4(4(2(1(1(2(3(2(x1))))))))) #299: #5(2(2(x1))) ->? #4(4(2(1(1(2(3(2(x1)))))))) #300: #5(2(2(x1))) ->? #4(2(1(1(2(3(2(x1))))))) #301: #5(2(2(x1))) ->? #2(1(1(2(3(2(x1)))))) #302: #5(2(2(x1))) ->? #1(1(2(3(2(x1))))) #303: #5(2(2(x1))) ->? #1(2(3(2(x1)))) #304: #5(2(2(x1))) ->? #2(3(2(x1))) #305: #5(2(2(x1))) ->? #3(2(x1)) #306: #1(5(2(3(x1)))) ->? #1(2(4(0(3(1(4(0(2(3(x1)))))))))) #307: #1(5(2(3(x1)))) ->? #2(4(0(3(1(4(0(2(3(x1))))))))) #308: #1(5(2(3(x1)))) ->? #4(0(3(1(4(0(2(3(x1)))))))) #309: #1(5(2(3(x1)))) ->? #0(3(1(4(0(2(3(x1))))))) #310: #1(5(2(3(x1)))) ->? #3(1(4(0(2(3(x1)))))) #311: #1(5(2(3(x1)))) ->? #1(4(0(2(3(x1))))) #312: #1(5(2(3(x1)))) ->? #4(0(2(3(x1)))) #313: #1(5(2(3(x1)))) ->? #0(2(3(x1))) #314: #2(3(x1)) ->? #2(1(3(1(0(1(1(2(1(1(x1)))))))))) #315: #2(3(x1)) ->? #1(3(1(0(1(1(2(1(1(x1))))))))) #316: #2(3(x1)) ->? #3(1(0(1(1(2(1(1(x1)))))))) #317: #2(3(x1)) ->? #1(0(1(1(2(1(1(x1))))))) #318: #2(3(x1)) ->? #0(1(1(2(1(1(x1)))))) #319: #2(3(x1)) ->? #1(1(2(1(1(x1))))) #320: #2(3(x1)) ->? #1(2(1(1(x1)))) #321: #2(3(x1)) ->? #2(1(1(x1))) #322: #2(3(x1)) ->? #1(1(x1)) #323: #2(3(x1)) ->? #1(x1) #324: #3(x1) ->? #3(1(5(2(5(3(1(0(2(4(x1)))))))))) #325: #3(x1) ->? #1(5(2(5(3(1(0(2(4(x1))))))))) #326: #3(x1) ->? #5(2(5(3(1(0(2(4(x1)))))))) #327: #3(x1) ->? #2(5(3(1(0(2(4(x1))))))) #328: #3(x1) ->? #5(3(1(0(2(4(x1)))))) #329: #3(x1) ->? #3(1(0(2(4(x1))))) #330: #3(x1) ->? #1(0(2(4(x1)))) #331: #3(x1) ->? #0(2(4(x1))) #332: #3(x1) ->? #2(4(x1)) #333: #3(x1) ->? #4(x1) #334: #3(5(4(3(5(2(x1)))))) -> #2(0(5(2(0(5(2(2(3(2(x1)))))))))) #335: #3(5(4(3(5(2(x1)))))) -> #0(5(2(0(5(2(2(3(2(x1))))))))) #336: #3(5(4(3(5(2(x1)))))) -> #5(2(0(5(2(2(3(2(x1)))))))) #337: #3(5(4(3(5(2(x1)))))) -> #2(0(5(2(2(3(2(x1))))))) #338: #3(5(4(3(5(2(x1)))))) -> #0(5(2(2(3(2(x1)))))) #339: #3(5(4(3(5(2(x1)))))) -> #5(2(2(3(2(x1))))) #340: #3(5(4(3(5(2(x1)))))) -> #2(2(3(2(x1)))) #341: #3(5(4(3(5(2(x1)))))) -> #2(3(2(x1))) #342: #3(5(4(3(5(2(x1)))))) -> #3(2(x1)) #343: #2(3(0(x1))) ->? #2(4(0(2(1(3(4(2(4(2(x1)))))))))) #344: #2(3(0(x1))) ->? #4(0(2(1(3(4(2(4(2(x1))))))))) #345: #2(3(0(x1))) ->? #0(2(1(3(4(2(4(2(x1)))))))) #346: #2(3(0(x1))) ->? #2(1(3(4(2(4(2(x1))))))) #347: #2(3(0(x1))) ->? #1(3(4(2(4(2(x1)))))) #348: #2(3(0(x1))) ->? #3(4(2(4(2(x1))))) #349: #2(3(0(x1))) ->? #4(2(4(2(x1)))) #350: #2(3(0(x1))) ->? #2(4(2(x1))) #351: #2(3(0(x1))) ->? #4(2(x1)) #352: #2(3(0(x1))) ->? #2(x1) #353: #5(4(5(1(1(2(x1)))))) -> #5(4(0(3(3(3(3(2(5(5(x1)))))))))) #354: #5(4(5(1(1(2(x1)))))) -> #4(0(3(3(3(3(2(5(5(x1))))))))) #355: #5(4(5(1(1(2(x1)))))) -> #0(3(3(3(3(2(5(5(x1)))))))) #356: #5(4(5(1(1(2(x1)))))) -> #3(3(3(3(2(5(5(x1))))))) #357: #5(4(5(1(1(2(x1)))))) -> #3(3(3(2(5(5(x1)))))) #358: #5(4(5(1(1(2(x1)))))) -> #3(3(2(5(5(x1))))) #359: #5(4(5(1(1(2(x1)))))) -> #3(2(5(5(x1)))) #360: #5(4(5(1(1(2(x1)))))) -> #2(5(5(x1))) #361: #5(4(5(1(1(2(x1)))))) -> #5(5(x1)) #362: #5(4(5(1(1(2(x1)))))) -> #5(x1) #363: #5(3(x1)) ->? #0(3(3(1(0(1(0(4(5(3(x1)))))))))) #364: #5(3(x1)) ->? #3(3(1(0(1(0(4(5(3(x1))))))))) #365: #5(3(x1)) ->? #3(1(0(1(0(4(5(3(x1)))))))) #366: #5(3(x1)) ->? #1(0(1(0(4(5(3(x1))))))) #367: #5(3(x1)) ->? #0(1(0(4(5(3(x1)))))) #368: #5(3(x1)) ->? #1(0(4(5(3(x1))))) #369: #5(3(x1)) ->? #0(4(5(3(x1)))) #370: #5(3(x1)) ->? #4(5(3(x1))) #371: #5(3(x1)) ->? #5(3(x1)) #372: #2(2(5(0(5(4(x1)))))) -> #2(1(4(1(3(3(2(2(5(4(x1)))))))))) #373: #2(2(5(0(5(4(x1)))))) -> #1(4(1(3(3(2(2(5(4(x1))))))))) #374: #2(2(5(0(5(4(x1)))))) -> #4(1(3(3(2(2(5(4(x1)))))))) #375: #2(2(5(0(5(4(x1)))))) -> #1(3(3(2(2(5(4(x1))))))) #376: #2(2(5(0(5(4(x1)))))) -> #3(3(2(2(5(4(x1)))))) #377: #2(2(5(0(5(4(x1)))))) -> #3(2(2(5(4(x1))))) #378: #2(2(5(0(5(4(x1)))))) -> #2(2(5(4(x1)))) #379: #2(2(5(0(5(4(x1)))))) -> #2(5(4(x1))) #380: #3(3(0(x1))) ->? #3(0(1(2(3(0(3(3(0(1(x1)))))))))) #381: #3(3(0(x1))) ->? #0(1(2(3(0(3(3(0(1(x1))))))))) #382: #3(3(0(x1))) ->? #1(2(3(0(3(3(0(1(x1)))))))) #383: #3(3(0(x1))) ->? #2(3(0(3(3(0(1(x1))))))) #384: #3(3(0(x1))) ->? #3(0(3(3(0(1(x1)))))) #385: #3(3(0(x1))) ->? #0(3(3(0(1(x1))))) #386: #3(3(0(x1))) ->? #3(3(0(1(x1)))) #387: #3(3(0(x1))) ->? #3(0(1(x1))) #388: #3(3(0(x1))) ->? #0(1(x1)) #389: #3(3(0(x1))) ->? #1(x1) #390: #3(0(x1)) ->? #3(0(4(2(2(2(5(2(1(2(x1)))))))))) #391: #3(0(x1)) ->? #0(4(2(2(2(5(2(1(2(x1))))))))) #392: #3(0(x1)) ->? #4(2(2(2(5(2(1(2(x1)))))))) #393: #3(0(x1)) ->? #2(2(2(5(2(1(2(x1))))))) #394: #3(0(x1)) ->? #2(2(5(2(1(2(x1)))))) #395: #3(0(x1)) ->? #2(5(2(1(2(x1))))) #396: #3(0(x1)) ->? #5(2(1(2(x1)))) #397: #3(0(x1)) ->? #2(1(2(x1))) #398: #3(0(x1)) ->? #1(2(x1)) #399: #3(0(x1)) ->? #2(x1) #400: #0(0(x1)) ->? #1(0(1(4(4(2(0(1(4(1(x1)))))))))) #401: #0(0(x1)) ->? #0(1(4(4(2(0(1(4(1(x1))))))))) #402: #0(0(x1)) ->? #1(4(4(2(0(1(4(1(x1)))))))) #403: #0(0(x1)) ->? #4(4(2(0(1(4(1(x1))))))) #404: #0(0(x1)) ->? #4(2(0(1(4(1(x1)))))) #405: #0(0(x1)) ->? #2(0(1(4(1(x1))))) #406: #0(0(x1)) ->? #0(1(4(1(x1)))) #407: #0(0(x1)) ->? #1(4(1(x1))) #408: #0(0(x1)) ->? #4(1(x1)) #409: #0(0(x1)) ->? #1(x1) #410: #5(3(x1)) ->? #5(1(3(1(1(0(0(5(2(5(x1)))))))))) #411: #5(3(x1)) ->? #1(3(1(1(0(0(5(2(5(x1))))))))) #412: #5(3(x1)) ->? #3(1(1(0(0(5(2(5(x1)))))))) #413: #5(3(x1)) ->? #1(1(0(0(5(2(5(x1))))))) #414: #5(3(x1)) ->? #1(0(0(5(2(5(x1)))))) #415: #5(3(x1)) ->? #0(0(5(2(5(x1))))) #416: #5(3(x1)) ->? #0(5(2(5(x1)))) #417: #5(3(x1)) ->? #5(2(5(x1))) #418: #5(3(x1)) ->? #2(5(x1)) #419: #5(3(x1)) ->? #5(x1) #420: #3(0(x1)) ->? #2(2(0(2(1(3(0(0(3(3(x1)))))))))) #421: #3(0(x1)) ->? #2(0(2(1(3(0(0(3(3(x1))))))))) #422: #3(0(x1)) ->? #0(2(1(3(0(0(3(3(x1)))))))) #423: #3(0(x1)) ->? #2(1(3(0(0(3(3(x1))))))) #424: #3(0(x1)) ->? #1(3(0(0(3(3(x1)))))) #425: #3(0(x1)) ->? #3(0(0(3(3(x1))))) #426: #3(0(x1)) ->? #0(0(3(3(x1)))) #427: #3(0(x1)) ->? #0(3(3(x1))) #428: #3(0(x1)) ->? #3(3(x1)) #429: #3(0(x1)) ->? #3(x1) #430: #4(5(2(0(1(5(0(x1))))))) ->? #4(0(2(4(3(0(4(3(5(0(x1)))))))))) #431: #4(5(2(0(1(5(0(x1))))))) ->? #0(2(4(3(0(4(3(5(0(x1))))))))) #432: #4(5(2(0(1(5(0(x1))))))) ->? #2(4(3(0(4(3(5(0(x1)))))))) #433: #4(5(2(0(1(5(0(x1))))))) ->? #4(3(0(4(3(5(0(x1))))))) #434: #4(5(2(0(1(5(0(x1))))))) ->? #3(0(4(3(5(0(x1)))))) #435: #4(5(2(0(1(5(0(x1))))))) ->? #0(4(3(5(0(x1))))) #436: #4(5(2(0(1(5(0(x1))))))) ->? #4(3(5(0(x1)))) #437: #4(5(2(0(1(5(0(x1))))))) ->? #3(5(0(x1))) #438: #0(x1) ->? #0(1(1(1(2(4(2(5(2(1(x1)))))))))) #439: #0(x1) ->? #1(1(1(2(4(2(5(2(1(x1))))))))) #440: #0(x1) ->? #1(1(2(4(2(5(2(1(x1)))))))) #441: #0(x1) ->? #1(2(4(2(5(2(1(x1))))))) #442: #0(x1) ->? #2(4(2(5(2(1(x1)))))) #443: #0(x1) ->? #4(2(5(2(1(x1))))) #444: #0(x1) ->? #2(5(2(1(x1)))) #445: #0(x1) ->? #5(2(1(x1))) #446: #0(x1) ->? #2(1(x1)) #447: #0(x1) ->? #1(x1) #448: #2(x1) ->? #3(1(5(3(2(4(5(3(2(3(x1)))))))))) #449: #2(x1) ->? #1(5(3(2(4(5(3(2(3(x1))))))))) #450: #2(x1) ->? #5(3(2(4(5(3(2(3(x1)))))))) #451: #2(x1) ->? #3(2(4(5(3(2(3(x1))))))) #452: #2(x1) ->? #2(4(5(3(2(3(x1)))))) #453: #2(x1) ->? #4(5(3(2(3(x1))))) #454: #2(x1) ->? #5(3(2(3(x1)))) #455: #2(x1) ->? #3(2(3(x1))) #456: #2(x1) ->? #2(3(x1)) #457: #2(x1) ->? #3(x1) #458: #5(3(x1)) ->? #0(2(1(1(3(0(0(5(1(5(x1)))))))))) #459: #5(3(x1)) ->? #2(1(1(3(0(0(5(1(5(x1))))))))) #460: #5(3(x1)) ->? #1(1(3(0(0(5(1(5(x1)))))))) #461: #5(3(x1)) ->? #1(3(0(0(5(1(5(x1))))))) #462: #5(3(x1)) ->? #3(0(0(5(1(5(x1)))))) #463: #5(3(x1)) ->? #0(0(5(1(5(x1))))) #464: #5(3(x1)) ->? #0(5(1(5(x1)))) #465: #5(3(x1)) ->? #5(1(5(x1))) #466: #5(3(x1)) ->? #1(5(x1)) #467: #5(3(x1)) ->? #5(x1) #468: #2(5(x1)) ->? #3(1(5(1(0(2(0(0(2(5(x1)))))))))) #469: #2(5(x1)) ->? #1(5(1(0(2(0(0(2(5(x1))))))))) #470: #2(5(x1)) ->? #5(1(0(2(0(0(2(5(x1)))))))) #471: #2(5(x1)) ->? #1(0(2(0(0(2(5(x1))))))) #472: #2(5(x1)) ->? #0(2(0(0(2(5(x1)))))) #473: #2(5(x1)) ->? #2(0(0(2(5(x1))))) #474: #2(5(x1)) ->? #0(0(2(5(x1)))) #475: #2(5(x1)) ->? #0(2(5(x1))) #476: #2(5(x1)) ->? #2(5(x1)) #477: #2(0(0(x1))) ->? #2(2(0(2(4(4(3(4(0(1(x1)))))))))) #478: #2(0(0(x1))) ->? #2(0(2(4(4(3(4(0(1(x1))))))))) #479: #2(0(0(x1))) ->? #0(2(4(4(3(4(0(1(x1)))))))) #480: #2(0(0(x1))) ->? #2(4(4(3(4(0(1(x1))))))) #481: #2(0(0(x1))) ->? #4(4(3(4(0(1(x1)))))) #482: #2(0(0(x1))) ->? #4(3(4(0(1(x1))))) #483: #2(0(0(x1))) ->? #3(4(0(1(x1)))) #484: #2(0(0(x1))) ->? #4(0(1(x1))) #485: #2(0(0(x1))) ->? #0(1(x1)) #486: #2(0(0(x1))) ->? #1(x1) #487: #0(0(x1)) ->? #0(5(2(0(2(2(3(1(3(4(x1)))))))))) #488: #0(0(x1)) ->? #5(2(0(2(2(3(1(3(4(x1))))))))) #489: #0(0(x1)) ->? #2(0(2(2(3(1(3(4(x1)))))))) #490: #0(0(x1)) ->? #0(2(2(3(1(3(4(x1))))))) #491: #0(0(x1)) ->? #2(2(3(1(3(4(x1)))))) #492: #0(0(x1)) ->? #2(3(1(3(4(x1))))) #493: #0(0(x1)) ->? #3(1(3(4(x1)))) #494: #0(0(x1)) ->? #1(3(4(x1))) #495: #0(0(x1)) ->? #3(4(x1)) #496: #0(0(x1)) ->? #4(x1) #497: #0(x1) ->? #0(1(0(3(3(1(1(0(1(2(x1)))))))))) #498: #0(x1) ->? #1(0(3(3(1(1(0(1(2(x1))))))))) #499: #0(x1) ->? #0(3(3(1(1(0(1(2(x1)))))))) #500: #0(x1) ->? #3(3(1(1(0(1(2(x1))))))) #501: #0(x1) ->? #3(1(1(0(1(2(x1)))))) #502: #0(x1) ->? #1(1(0(1(2(x1))))) #503: #0(x1) ->? #1(0(1(2(x1)))) #504: #0(x1) ->? #0(1(2(x1))) #505: #0(x1) ->? #1(2(x1)) #506: #0(x1) ->? #2(x1) #507: #5(1(3(5(0(x1))))) -> #5(1(4(3(0(4(4(5(2(1(x1)))))))))) #508: #5(1(3(5(0(x1))))) -> #1(4(3(0(4(4(5(2(1(x1))))))))) #509: #5(1(3(5(0(x1))))) -> #4(3(0(4(4(5(2(1(x1)))))))) #510: #5(1(3(5(0(x1))))) -> #3(0(4(4(5(2(1(x1))))))) #511: #5(1(3(5(0(x1))))) -> #0(4(4(5(2(1(x1)))))) #512: #5(1(3(5(0(x1))))) -> #4(4(5(2(1(x1))))) #513: #5(1(3(5(0(x1))))) -> #4(5(2(1(x1)))) #514: #5(1(3(5(0(x1))))) -> #5(2(1(x1))) #515: #5(1(3(5(0(x1))))) -> #2(1(x1)) #516: #5(1(3(5(0(x1))))) -> #1(x1) #517: #2(5(3(0(x1)))) -> #1(0(0(1(3(0(4(5(1(2(x1)))))))))) #518: #2(5(3(0(x1)))) -> #0(0(1(3(0(4(5(1(2(x1))))))))) #519: #2(5(3(0(x1)))) -> #0(1(3(0(4(5(1(2(x1)))))))) #520: #2(5(3(0(x1)))) -> #1(3(0(4(5(1(2(x1))))))) #521: #2(5(3(0(x1)))) -> #3(0(4(5(1(2(x1)))))) #522: #2(5(3(0(x1)))) -> #0(4(5(1(2(x1))))) #523: #2(5(3(0(x1)))) -> #4(5(1(2(x1)))) #524: #2(5(3(0(x1)))) -> #5(1(2(x1))) #525: #2(5(3(0(x1)))) -> #1(2(x1)) #526: #2(5(3(0(x1)))) -> #2(x1) #527: #0(0(5(4(0(x1))))) ->? #0(0(3(5(1(1(5(0(3(2(x1)))))))))) #528: #0(0(5(4(0(x1))))) ->? #0(3(5(1(1(5(0(3(2(x1))))))))) #529: #0(0(5(4(0(x1))))) ->? #3(5(1(1(5(0(3(2(x1)))))))) #530: #0(0(5(4(0(x1))))) ->? #5(1(1(5(0(3(2(x1))))))) #531: #0(0(5(4(0(x1))))) ->? #1(1(5(0(3(2(x1)))))) #532: #0(0(5(4(0(x1))))) ->? #1(5(0(3(2(x1))))) #533: #0(0(5(4(0(x1))))) ->? #5(0(3(2(x1)))) #534: #0(0(5(4(0(x1))))) ->? #0(3(2(x1))) #535: #0(0(5(4(0(x1))))) ->? #3(2(x1)) #536: #0(0(5(4(0(x1))))) ->? #2(x1) #537: #4(4(2(5(5(0(x1)))))) -> #4(4(0(0(3(3(3(2(2(3(x1)))))))))) #538: #4(4(2(5(5(0(x1)))))) -> #4(0(0(3(3(3(2(2(3(x1))))))))) #539: #4(4(2(5(5(0(x1)))))) -> #0(0(3(3(3(2(2(3(x1)))))))) #540: #4(4(2(5(5(0(x1)))))) -> #0(3(3(3(2(2(3(x1))))))) #541: #4(4(2(5(5(0(x1)))))) -> #3(3(3(2(2(3(x1)))))) #542: #4(4(2(5(5(0(x1)))))) -> #3(3(2(2(3(x1))))) #543: #4(4(2(5(5(0(x1)))))) -> #3(2(2(3(x1)))) #544: #4(4(2(5(5(0(x1)))))) -> #2(2(3(x1))) #545: #4(4(2(5(5(0(x1)))))) -> #2(3(x1)) #546: #4(4(2(5(5(0(x1)))))) -> #3(x1) #547: #0(x1) ->? #0(1(0(2(0(1(0(3(1(2(x1)))))))))) #548: #0(x1) ->? #1(0(2(0(1(0(3(1(2(x1))))))))) #549: #0(x1) ->? #0(2(0(1(0(3(1(2(x1)))))))) #550: #0(x1) ->? #2(0(1(0(3(1(2(x1))))))) #551: #0(x1) ->? #0(1(0(3(1(2(x1)))))) #552: #0(x1) ->? #1(0(3(1(2(x1))))) #553: #0(x1) ->? #0(3(1(2(x1)))) #554: #0(x1) ->? #3(1(2(x1))) #555: #0(x1) ->? #1(2(x1)) #556: #0(x1) ->? #2(x1) #557: #5(4(4(2(5(x1))))) -> #4(3(1(1(1(1(5(3(3(5(x1)))))))))) #558: #5(4(4(2(5(x1))))) -> #3(1(1(1(1(5(3(3(5(x1))))))))) #559: #5(4(4(2(5(x1))))) -> #1(1(1(1(5(3(3(5(x1)))))))) #560: #5(4(4(2(5(x1))))) -> #1(1(1(5(3(3(5(x1))))))) #561: #5(4(4(2(5(x1))))) -> #1(1(5(3(3(5(x1)))))) #562: #5(4(4(2(5(x1))))) -> #1(5(3(3(5(x1))))) #563: #5(4(4(2(5(x1))))) -> #5(3(3(5(x1)))) #564: #5(4(4(2(5(x1))))) -> #3(3(5(x1))) #565: #5(4(4(2(5(x1))))) -> #3(5(x1)) #566: #5(4(3(x1))) ->? #5(0(0(0(2(1(4(2(1(2(x1)))))))))) #567: #5(4(3(x1))) ->? #0(0(0(2(1(4(2(1(2(x1))))))))) #568: #5(4(3(x1))) ->? #0(0(2(1(4(2(1(2(x1)))))))) #569: #5(4(3(x1))) ->? #0(2(1(4(2(1(2(x1))))))) #570: #5(4(3(x1))) ->? #2(1(4(2(1(2(x1)))))) #571: #5(4(3(x1))) ->? #1(4(2(1(2(x1))))) #572: #5(4(3(x1))) ->? #4(2(1(2(x1)))) #573: #5(4(3(x1))) ->? #2(1(2(x1))) #574: #5(4(3(x1))) ->? #1(2(x1)) #575: #5(4(3(x1))) ->? #2(x1) #576: #0(x1) ->? #0(2(0(3(3(2(0(1(3(4(x1)))))))))) #577: #0(x1) ->? #2(0(3(3(2(0(1(3(4(x1))))))))) #578: #0(x1) ->? #0(3(3(2(0(1(3(4(x1)))))))) #579: #0(x1) ->? #3(3(2(0(1(3(4(x1))))))) #580: #0(x1) ->? #3(2(0(1(3(4(x1)))))) #581: #0(x1) ->? #2(0(1(3(4(x1))))) #582: #0(x1) ->? #0(1(3(4(x1)))) #583: #0(x1) ->? #1(3(4(x1))) #584: #0(x1) ->? #3(4(x1)) #585: #0(x1) ->? #4(x1) Number of SCCs: 1, DPs: 563 SCC { #1 #5..33 #35..70 #73..85 #87..115 #117 #120..148 #150..165 #167..171 #173..200 #202..261 #263..310 #312..372 #374..401 #403..406 #408..506 #509..570 #572..585 } POLO(Sum)... POLO(max)... QLPOS...