/export/starexec/sandbox/solver/bin/starexec_run_Default: line 4: 62494 Done xsltproc "$DIR/xtc2tpdb.xml" "$1" 62495 Alarm clock | NaTT.exe 2> "$2/stdout.txt" 2> $DIR/stderr.txt Input TRS: 1: 0(0(x1)) -> 1(1(0(x1))) 2: 0(0(x1)) -> 1(1(1(1(x1)))) 3: 2(0(2(x1))) -> 2(1(1(1(x1)))) 4: 2(0(0(1(x1)))) -> 1(1(1(2(2(1(x1)))))) 5: 2(2(2(1(x1)))) -> 2(1(1(2(1(x1))))) 6: 0(0(0(2(0(x1))))) -> 1(2(2(1(1(2(x1)))))) 7: 0(0(0(2(0(x1))))) -> 2(1(2(1(1(1(0(x1))))))) 8: 0(1(0(1(0(1(x1)))))) -> 2(1(2(1(1(2(1(1(1(x1))))))))) 9: 0(2(0(0(0(1(0(x1))))))) -> 1(1(1(2(1(1(0(0(x1)))))))) 10: 0(2(0(0(1(2(2(x1))))))) -> 1(1(1(0(1(0(1(1(x1)))))))) 11: 0(2(2(1(0(1(0(x1))))))) -> 0(2(2(1(2(1(1(1(x1)))))))) 12: 1(0(1(2(0(0(1(x1))))))) -> 2(2(2(1(0(1(1(1(x1)))))))) 13: 1(0(2(0(2(2(0(x1))))))) -> 0(1(1(1(1(1(0(0(1(x1))))))))) 14: 2(1(0(2(0(2(1(x1))))))) -> 0(2(0(0(2(1(1(1(x1)))))))) 15: 0(0(0(0(0(2(2(2(x1)))))))) -> 1(2(2(1(1(1(1(1(2(1(x1)))))))))) 16: 0(0(1(2(2(0(1(2(x1)))))))) -> 2(0(0(1(2(2(1(1(1(x1))))))))) 17: 2(1(2(1(0(2(1(2(x1)))))))) -> 1(0(1(2(1(1(1(2(1(x1))))))))) 18: 0(0(2(2(1(0(0(2(0(x1))))))))) -> 1(2(0(0(1(2(1(1(0(1(1(x1))))))))))) 19: 2(0(0(2(2(0(0(0(2(x1))))))))) -> 1(1(2(0(2(0(1(1(2(0(1(x1))))))))))) 20: 2(2(2(0(2(0(1(2(2(x1))))))))) -> 2(1(2(1(1(1(2(1(1(2(x1)))))))))) 21: 1(2(2(1(2(2(0(1(1(0(x1)))))))))) -> 1(2(1(2(0(1(1(0(1(1(1(1(x1)))))))))))) 22: 0(1(0(0(1(2(1(0(2(1(2(x1))))))))))) -> 2(2(2(1(1(1(1(1(1(1(1(0(1(2(2(0(2(x1))))))))))))))))) 23: 0(2(2(1(0(0(1(2(0(0(1(x1))))))))))) -> 0(1(0(1(2(2(1(1(2(1(1(1(x1)))))))))))) 24: 1(1(2(0(2(0(0(0(0(0(2(x1))))))))))) -> 0(2(2(0(1(1(1(1(1(0(1(1(2(1(1(1(1(x1))))))))))))))))) 25: 2(2(0(0(2(0(1(2(2(0(0(x1))))))))))) -> 2(2(1(2(2(1(2(1(1(1(1(1(1(x1))))))))))))) 26: 0(0(0(0(2(0(2(1(2(2(0(0(x1)))))))))))) -> 1(0(2(2(1(1(1(1(1(0(2(1(1(0(x1)))))))))))))) 27: 0(1(0(2(0(0(0(0(0(0(0(2(x1)))))))))))) -> 2(2(1(1(1(0(1(0(1(1(0(1(1(x1))))))))))))) 28: 2(0(0(0(2(2(2(0(2(1(0(2(x1)))))))))))) -> 2(0(1(2(2(1(1(0(1(0(2(0(2(x1))))))))))))) 29: 2(2(0(2(2(1(1(2(2(0(1(0(x1)))))))))))) -> 0(1(2(0(2(1(1(1(1(1(0(2(1(x1))))))))))))) 30: 0(0(2(0(1(1(2(2(0(0(0(0(0(x1))))))))))))) -> 1(1(0(1(1(1(1(2(1(2(2(2(1(1(2(x1))))))))))))))) 31: 0(1(2(2(2(2(1(2(0(0(0(1(2(x1))))))))))))) -> 1(1(1(2(1(2(2(0(2(0(0(0(1(2(x1)))))))))))))) 32: 1(0(2(0(0(0(0(2(0(0(0(0(2(x1))))))))))))) -> 0(2(2(2(1(1(1(1(0(0(1(2(0(0(2(x1))))))))))))))) 33: 2(2(0(0(0(2(2(1(2(0(2(2(1(x1))))))))))))) -> 2(0(1(2(0(1(1(0(2(2(1(1(1(2(1(x1))))))))))))))) 34: 0(2(0(0(0(1(0(1(0(1(0(1(0(0(x1)))))))))))))) -> 2(0(1(1(1(0(0(1(2(0(2(0(1(1(1(2(1(1(x1)))))))))))))))))) 35: 1(0(0(1(0(2(0(1(2(0(2(2(0(0(x1)))))))))))))) -> 1(2(1(1(1(1(1(1(0(2(2(1(0(0(2(2(2(x1))))))))))))))))) 36: 2(0(1(0(2(0(2(0(0(0(0(0(0(2(x1)))))))))))))) -> 1(0(2(0(0(0(1(2(1(0(2(0(1(1(2(x1))))))))))))))) 37: 0(1(1(1(2(2(0(2(0(2(1(1(2(2(0(x1))))))))))))))) -> 2(0(2(2(2(0(2(1(1(1(1(1(0(2(0(x1))))))))))))))) 38: 1(0(1(0(0(1(0(2(0(1(0(0(2(1(2(x1))))))))))))))) -> 2(0(2(0(2(1(1(1(0(1(1(2(2(0(2(1(x1)))))))))))))))) 39: 0(0(2(0(0(2(0(2(2(1(1(0(1(1(0(2(x1)))))))))))))))) -> 1(1(2(2(2(2(1(2(1(1(2(0(0(0(1(1(2(x1))))))))))))))))) 40: 0(1(2(0(1(0(1(0(0(2(1(2(0(2(2(0(x1)))))))))))))))) -> 1(2(1(2(1(1(2(2(2(0(2(1(1(1(2(1(1(1(x1)))))))))))))))))) 41: 0(2(1(1(0(1(0(2(2(2(0(2(2(0(0(0(x1)))))))))))))))) -> 0(1(1(0(0(1(0(1(1(1(2(2(2(1(1(1(2(2(2(x1))))))))))))))))))) 42: 1(0(1(1(0(1(1(2(1(1(2(0(2(0(2(0(x1)))))))))))))))) -> 1(1(1(2(1(1(1(0(0(2(1(0(2(1(1(1(1(1(1(x1))))))))))))))))))) 43: 1(2(0(1(0(0(2(2(0(1(1(0(1(0(1(1(x1)))))))))))))))) -> 1(0(1(1(1(2(2(1(1(2(2(1(1(2(1(2(1(x1))))))))))))))))) 44: 2(0(0(2(2(0(0(2(2(0(2(2(2(1(2(2(x1)))))))))))))))) -> 2(2(1(0(1(1(1(0(0(1(0(0(0(1(2(2(1(1(x1)))))))))))))))))) 45: 2(1(1(0(1(0(0(1(2(0(1(1(0(0(2(2(x1)))))))))))))))) -> 0(1(1(2(2(2(1(1(1(0(1(1(2(0(1(0(2(x1))))))))))))))))) 46: 2(1(2(1(0(0(1(1(2(1(2(2(0(1(0(1(x1)))))))))))))))) -> 1(1(2(0(1(1(1(0(0(1(2(1(2(2(2(1(1(x1))))))))))))))))) 47: 0(0(0(0(1(2(2(2(1(2(0(2(1(1(1(0(2(x1))))))))))))))))) -> 2(2(1(0(1(1(0(2(2(1(2(0(1(1(1(2(0(2(x1)))))))))))))))))) 48: 0(0(0(0(2(0(0(0(2(2(2(2(2(1(0(2(0(x1))))))))))))))))) -> 2(0(1(0(1(1(0(0(1(1(2(2(2(2(2(1(2(1(1(0(x1)))))))))))))))))))) 49: 0(0(2(2(0(2(2(1(2(2(0(0(0(1(0(0(0(x1))))))))))))))))) -> 0(1(1(2(0(0(1(0(2(1(1(2(1(2(0(1(1(0(1(1(1(x1))))))))))))))))))))) 50: 0(2(2(1(2(2(1(1(2(1(2(1(0(0(2(2(2(x1))))))))))))))))) -> 0(2(0(2(2(1(0(1(1(2(1(2(2(2(1(2(2(x1))))))))))))))))) 51: 1(2(1(2(0(1(0(1(0(0(2(0(1(0(0(2(0(x1))))))))))))))))) -> 2(1(1(2(0(2(2(0(1(1(0(1(0(1(2(2(1(2(x1)))))))))))))))))) 52: 2(1(0(2(2(2(1(0(2(1(0(1(0(2(0(0(2(x1))))))))))))))))) -> 0(2(2(2(2(1(0(1(1(2(2(0(2(1(0(1(1(1(1(x1))))))))))))))))))) 53: 2(1(1(0(2(1(2(0(2(0(0(0(0(2(0(2(0(x1))))))))))))))))) -> 1(1(1(1(0(1(1(2(1(0(0(1(0(0(0(1(2(0(x1)))))))))))))))))) 54: 2(1(2(0(1(0(1(2(2(2(2(1(2(0(2(1(0(x1))))))))))))))))) -> 0(2(0(2(2(1(1(0(1(1(1(1(0(1(1(0(0(2(1(1(0(x1))))))))))))))))))))) 55: 0(0(0(1(2(0(2(0(0(0(1(2(1(2(1(0(2(2(x1)))))))))))))))))) -> 0(0(1(0(0(2(1(1(2(2(1(0(1(1(1(1(2(2(2(2(1(1(x1)))))))))))))))))))))) 56: 0(0(1(0(2(1(1(0(2(0(0(2(1(0(2(1(0(1(x1)))))))))))))))))) -> 2(1(2(1(0(1(2(2(1(0(1(2(0(1(1(1(0(1(1(x1))))))))))))))))))) 57: 0(0(2(2(1(2(0(0(2(2(1(0(0(2(2(2(0(0(x1)))))))))))))))))) -> 0(1(1(0(2(2(2(1(1(2(2(0(2(1(1(2(0(1(1(1(x1)))))))))))))))))))) 58: 0(1(1(0(2(2(1(0(2(1(0(2(0(2(2(0(2(0(x1)))))))))))))))))) -> 0(2(1(1(2(0(0(1(0(1(1(1(1(1(2(0(1(2(1(1(1(1(1(0(1(0(x1)))))))))))))))))))))))))) 59: 0(2(1(0(0(1(2(0(1(1(2(0(0(1(0(2(2(0(x1)))))))))))))))))) -> 0(2(1(1(1(2(2(2(1(1(1(0(1(2(0(2(0(2(1(0(x1)))))))))))))))))))) 60: 1(0(1(0(2(2(2(0(0(2(0(1(0(0(2(0(2(2(x1)))))))))))))))))) -> 1(0(1(2(0(1(2(2(1(1(2(1(1(1(1(0(0(2(2(x1))))))))))))))))))) 61: 1(0(2(1(0(2(0(1(0(1(2(1(2(0(0(1(2(0(x1)))))))))))))))))) -> 1(0(0(1(1(1(1(2(2(0(1(2(2(2(0(0(1(0(0(x1))))))))))))))))))) 62: 2(0(0(2(0(0(1(0(2(0(1(2(0(0(1(0(1(0(x1)))))))))))))))))) -> 0(2(0(1(0(0(2(0(0(1(2(1(1(0(2(1(1(1(0(x1))))))))))))))))))) 63: 1(0(2(2(2(2(2(2(2(2(1(0(1(2(1(0(1(2(1(x1))))))))))))))))))) -> 1(0(2(2(2(1(2(2(0(2(2(1(2(0(2(1(1(2(1(x1))))))))))))))))))) 64: 1(2(1(0(0(0(0(2(1(0(1(0(1(2(1(0(1(0(2(x1))))))))))))))))))) -> 0(1(1(1(2(1(1(1(1(2(1(1(2(0(2(1(1(1(2(2(1(2(2(0(2(x1))))))))))))))))))))))))) 65: 2(0(2(2(1(2(0(2(2(2(2(1(2(0(0(1(0(1(0(x1))))))))))))))))))) -> 1(1(2(2(0(2(2(2(2(0(1(0(2(1(0(0(0(1(1(1(1(1(1(x1))))))))))))))))))))))) 66: 1(0(0(1(0(1(1(2(2(1(0(1(1(0(0(0(2(2(2(0(x1)))))))))))))))))))) -> 1(0(1(1(2(1(0(2(1(0(2(1(1(1(2(0(1(0(2(0(0(x1))))))))))))))))))))) 67: 1(1(0(0(2(2(0(0(1(0(0(2(1(2(0(1(2(1(1(0(x1)))))))))))))))))))) -> 1(1(2(0(1(1(0(0(2(2(0(0(1(0(1(1(0(1(1(0(0(x1))))))))))))))))))))) 68: 1(2(2(0(0(0(1(2(0(1(2(1(0(1(0(0(0(0(2(2(x1)))))))))))))))))))) -> 2(1(1(1(0(2(2(0(1(2(0(0(0(1(1(0(0(0(1(1(2(x1))))))))))))))))))))) 69: 1(2(2(2(1(0(1(2(2(1(1(0(2(0(1(0(1(2(0(1(x1)))))))))))))))))))) -> 2(0(1(2(0(1(2(1(1(0(0(1(1(1(0(2(0(1(2(0(1(1(x1)))))))))))))))))))))) 70: 2(2(0(0(0(0(0(1(1(0(1(2(0(2(0(1(1(0(0(0(x1)))))))))))))))))))) -> 2(2(2(2(1(1(1(0(0(1(1(1(1(2(2(1(0(0(0(1(1(1(1(0(1(x1))))))))))))))))))))))))) 71: 2(2(0(0(2(0(0(0(2(1(2(1(2(0(1(1(0(0(1(1(x1)))))))))))))))))))) -> 1(2(1(0(1(2(1(2(0(1(1(2(1(1(2(0(2(2(0(1(1(x1))))))))))))))))))))) 72: 2(2(0(2(2(0(0(0(1(2(1(2(2(2(2(2(2(0(2(1(x1)))))))))))))))))))) -> 1(1(0(0(0(1(2(1(0(0(1(2(0(2(1(0(1(0(1(2(1(1(1(x1))))))))))))))))))))))) 73: 0(2(1(2(1(2(1(0(0(2(2(1(0(2(0(1(1(0(0(2(0(x1))))))))))))))))))))) -> 1(0(0(1(1(2(2(2(1(0(2(0(2(0(1(1(1(2(0(0(1(1(2(1(x1)))))))))))))))))))))))) 74: 1(0(1(0(0(1(2(1(1(0(2(1(1(0(2(1(1(1(1(2(1(x1))))))))))))))))))))) -> 1(1(2(0(0(1(2(1(1(1(2(2(1(0(0(1(1(1(1(0(1(x1))))))))))))))))))))) 75: 2(0(2(1(2(0(1(0(1(0(2(1(2(1(1(0(1(2(2(2(2(x1))))))))))))))))))))) -> 0(2(1(2(1(2(1(0(1(0(1(1(1(2(2(1(1(0(1(1(1(1(x1)))))))))))))))))))))) 76: 2(2(1(2(0(2(1(0(2(2(1(1(0(2(2(2(1(0(2(1(2(x1))))))))))))))))))))) -> 1(1(1(2(2(1(1(1(2(2(1(2(1(2(1(1(0(1(0(2(1(2(x1)))))))))))))))))))))) 77: 0(0(1(2(0(2(0(2(1(1(2(2(0(1(1(2(0(0(0(0(2(0(1(x1))))))))))))))))))))))) -> 1(0(1(1(2(1(0(0(1(0(1(1(0(2(2(0(1(2(1(2(1(0(1(1(x1)))))))))))))))))))))))) 78: 0(1(1(2(2(2(2(1(0(0(0(1(0(0(2(0(1(2(0(2(1(0(0(x1))))))))))))))))))))))) -> 2(1(2(0(0(1(2(1(0(1(2(2(1(1(0(2(0(2(0(1(2(2(1(1(x1)))))))))))))))))))))))) 79: 2(0(1(0(2(2(0(2(2(2(1(1(0(1(2(2(2(2(2(1(0(1(0(x1))))))))))))))))))))))) -> 0(2(1(1(1(1(0(1(0(0(0(0(1(1(0(2(2(0(2(0(1(1(1(2(1(0(x1)))))))))))))))))))))))))) 80: 0(0(2(1(2(0(0(2(2(0(0(0(1(2(2(0(1(1(0(2(2(1(0(0(x1)))))))))))))))))))))))) -> 1(2(0(0(2(0(2(1(1(2(1(1(0(1(2(0(2(0(1(1(1(0(0(1(2(0(1(1(x1)))))))))))))))))))))))))))) 81: 1(0(0(2(2(0(2(1(1(0(0(1(2(0(1(0(1(1(2(1(0(1(2(2(x1)))))))))))))))))))))))) -> 0(1(1(0(2(1(1(0(0(2(1(2(1(1(1(1(1(2(1(0(2(1(1(0(0(2(x1)))))))))))))))))))))))))) 82: 1(0(2(1(0(1(0(2(2(2(2(0(1(1(2(2(0(0(1(2(0(2(0(2(x1)))))))))))))))))))))))) -> 1(2(2(0(1(2(0(1(1(0(0(2(1(0(1(1(2(0(1(0(2(1(0(1(1(2(x1)))))))))))))))))))))))))) 83: 2(2(1(1(2(0(2(0(1(0(0(0(2(1(0(2(1(2(2(0(2(2(1(1(x1)))))))))))))))))))))))) -> 2(2(1(2(2(1(1(2(2(1(1(2(0(0(0(2(0(0(2(0(1(2(0(1(x1)))))))))))))))))))))))) 84: 0(0(0(0(1(1(0(0(1(0(2(0(2(2(1(2(1(2(0(2(2(0(0(2(2(x1))))))))))))))))))))))))) -> 1(0(2(0(2(1(2(0(0(2(1(2(1(0(0(0(2(0(2(2(0(2(1(1(1(1(2(x1))))))))))))))))))))))))))) 85: 0(1(0(1(1(0(1(0(1(1(2(2(0(0(2(0(2(1(0(0(2(2(2(2(2(x1))))))))))))))))))))))))) -> 0(2(0(1(1(1(2(2(2(0(1(2(2(1(2(1(2(0(2(2(2(1(1(1(0(2(1(x1))))))))))))))))))))))))))) 86: 0(1(2(1(0(2(0(0(0(1(0(1(0(0(2(2(0(0(2(2(2(1(2(2(2(x1))))))))))))))))))))))))) -> 1(0(0(1(1(1(2(2(1(1(0(1(2(0(1(0(0(0(2(0(1(0(1(2(0(1(x1)))))))))))))))))))))))))) 87: 0(1(2(2(0(1(1(2(1(0(0(2(2(0(2(1(2(2(2(0(0(1(2(0(0(x1))))))))))))))))))))))))) -> 2(1(1(0(2(1(1(0(2(2(2(2(1(2(1(0(0(2(1(1(2(2(1(1(1(2(x1)))))))))))))))))))))))))) 88: 1(0(0(2(1(0(0(2(1(2(1(2(2(0(0(2(1(0(0(0(2(2(0(2(0(x1))))))))))))))))))))))))) -> 1(1(0(1(1(1(1(2(2(2(0(1(1(0(1(1(1(2(0(1(0(2(2(2(2(0(1(1(x1)))))))))))))))))))))))))))) 89: 1(0(1(0(1(1(1(2(1(1(1(0(2(1(2(1(2(0(0(2(0(0(1(2(2(x1))))))))))))))))))))))))) -> 1(1(1(1(1(1(1(2(2(0(1(2(1(1(2(1(2(0(1(1(2(2(2(0(1(1(2(1(2(x1))))))))))))))))))))))))))))) 90: 1(1(1(1(0(0(2(0(2(0(2(1(2(2(1(2(1(0(0(0(1(0(1(2(0(x1))))))))))))))))))))))))) -> 1(0(2(2(2(0(1(1(0(2(0(2(1(1(1(1(1(0(0(1(0(2(0(2(0(x1))))))))))))))))))))))))) 91: 2(0(1(2(0(0(0(2(1(1(1(2(1(1(0(2(2(0(1(0(0(0(0(1(2(x1))))))))))))))))))))))))) -> 0(0(0(2(1(1(1(2(1(1(1(1(2(1(0(1(0(0(0(0(0(0(1(1(0(2(x1)))))))))))))))))))))))))) 92: 0(2(2(2(1(0(1(2(1(0(1(1(1(0(0(2(0(1(2(1(2(1(1(1(1(1(x1)))))))))))))))))))))))))) -> 2(2(2(1(0(0(2(2(1(1(1(1(1(1(0(1(0(0(2(0(1(2(1(1(1(1(x1)))))))))))))))))))))))))) 93: 1(1(1(2(2(2(0(2(2(1(0(2(2(1(0(2(0(0(1(2(1(0(0(2(1(2(x1)))))))))))))))))))))))))) -> 1(0(0(1(1(2(0(0(0(2(0(2(1(0(0(1(1(2(1(2(2(1(1(0(1(1(1(x1))))))))))))))))))))))))))) 94: 2(0(0(2(1(2(1(2(2(2(2(2(2(2(0(0(1(0(0(0(1(1(2(2(1(0(x1)))))))))))))))))))))))))) -> 2(1(2(1(1(2(1(1(1(1(0(0(2(0(0(1(1(0(0(0(0(2(2(0(0(1(1(0(0(0(x1)))))))))))))))))))))))))))))) 95: 2(1(0(1(1(0(1(0(1(0(0(1(2(0(2(0(1(1(2(0(1(1(0(0(1(0(x1)))))))))))))))))))))))))) -> 1(1(1(0(1(2(0(1(2(1(1(2(1(1(1(0(1(2(1(2(2(2(0(1(0(0(1(1(1(x1))))))))))))))))))))))))))))) 96: 0(0(2(2(2(2(2(0(2(1(2(0(1(1(0(0(0(1(1(0(0(0(1(2(2(1(1(x1))))))))))))))))))))))))))) -> 2(1(0(2(2(1(0(1(1(0(2(1(2(1(1(1(2(2(1(2(2(0(0(1(0(1(1(1(x1)))))))))))))))))))))))))))) 97: 0(2(0(0(1(0(0(0(0(2(0(2(1(2(2(0(0(0(0(2(2(2(1(2(1(2(0(x1))))))))))))))))))))))))))) -> 0(0(0(2(0(0(2(2(2(1(1(2(0(2(1(0(1(1(0(2(2(2(0(1(1(2(1(0(2(x1))))))))))))))))))))))))))))) 98: 1(0(1(0(1(0(1(2(0(1(0(1(1(2(2(0(2(2(1(2(2(1(2(2(0(1(1(x1))))))))))))))))))))))))))) -> 1(1(2(0(1(2(2(1(1(1(1(0(1(2(2(1(2(1(2(0(2(0(2(0(2(1(2(1(x1)))))))))))))))))))))))))))) 99: 1(1(0(0(0(2(0(0(2(0(1(0(0(1(1(2(1(0(1(2(1(2(1(2(2(0(0(x1))))))))))))))))))))))))))) -> 1(2(2(1(1(2(1(2(2(1(2(1(0(0(1(2(2(1(1(1(1(1(0(2(1(2(2(2(x1)))))))))))))))))))))))))))) 100: 2(0(0(2(0(0(1(1(2(0(0(2(1(2(0(0(1(2(1(0(0(2(1(2(2(0(0(x1))))))))))))))))))))))))))) -> 1(2(1(0(1(1(2(1(1(0(1(1(1(2(1(1(1(2(0(1(2(2(1(2(0(2(1(0(x1)))))))))))))))))))))))))))) 101: 2(0(2(0(0(0(1(0(2(0(2(1(1(2(2(2(1(0(0(1(0(1(2(1(0(1(1(x1))))))))))))))))))))))))))) -> 2(0(0(2(2(0(1(1(1(1(0(2(2(1(1(1(0(1(2(2(2(1(1(0(2(0(0(0(1(x1))))))))))))))))))))))))))))) 102: 2(1(0(0(1(2(0(2(1(2(1(0(0(1(2(0(2(2(1(0(1(2(1(0(1(2(2(x1))))))))))))))))))))))))))) -> 0(0(0(2(1(1(2(2(2(2(1(1(2(2(1(0(1(2(0(2(2(2(2(0(2(1(1(0(2(x1))))))))))))))))))))))))))))) 103: 0(1(1(0(0(1(2(1(0(0(1(0(2(1(0(2(2(2(2(0(2(2(0(1(0(2(1(2(x1)))))))))))))))))))))))))))) -> 0(2(1(1(0(2(0(1(0(1(0(0(2(0(0(0(2(0(0(1(1(1(1(0(0(2(2(1(2(x1))))))))))))))))))))))))))))) 104: 1(0(0(2(2(2(1(0(2(2(2(0(2(0(1(2(0(0(1(2(1(0(1(2(0(1(0(2(x1)))))))))))))))))))))))))))) -> 2(2(0(2(2(0(2(1(0(0(0(2(2(0(1(1(0(2(0(0(2(2(1(2(1(1(1(1(0(2(x1)))))))))))))))))))))))))))))) 105: 1(0(1(2(1(2(0(0(0(0(0(2(2(0(0(1(1(2(2(0(2(0(2(2(1(0(1(1(x1)))))))))))))))))))))))))))) -> 2(2(2(1(1(2(1(2(2(2(0(2(0(0(0(1(1(2(2(2(1(1(1(2(1(1(0(2(1(x1))))))))))))))))))))))))))))) 106: 1(2(2(1(2(0(2(0(2(2(1(2(0(2(0(1(2(2(0(2(2(1(2(0(2(0(2(1(x1)))))))))))))))))))))))))))) -> 2(2(2(2(1(1(0(0(2(2(0(0(0(2(2(1(2(2(2(2(2(1(1(2(0(0(2(1(x1)))))))))))))))))))))))))))) 107: 2(1(0(2(2(0(0(2(0(0(2(2(0(2(1(2(0(0(1(2(0(0(0(0(1(0(2(0(x1)))))))))))))))))))))))))))) -> 0(2(1(2(1(0(1(0(0(2(2(0(2(1(2(2(1(1(2(0(1(1(2(1(2(0(1(2(2(x1))))))))))))))))))))))))))))) 108: 0(1(1(0(0(1(2(0(0(0(2(0(1(0(1(1(2(0(0(1(0(1(0(2(0(2(1(1(2(x1))))))))))))))))))))))))))))) -> 2(1(1(1(1(1(0(2(1(0(2(2(0(2(1(0(2(0(1(1(0(1(0(1(2(2(1(2(2(2(x1)))))))))))))))))))))))))))))) 109: 1(0(1(0(1(0(1(0(0(1(0(2(1(0(0(0(2(1(2(0(1(1(0(2(2(1(1(2(2(x1))))))))))))))))))))))))))))) -> 1(0(2(0(1(0(1(1(0(0(2(2(1(1(1(0(2(1(2(0(0(0(1(2(0(0(2(1(1(x1))))))))))))))))))))))))))))) 110: 1(0(2(2(0(0(1(1(0(2(1(1(0(0(1(0(0(1(2(0(0(0(0(0(1(2(0(2(0(x1))))))))))))))))))))))))))))) -> 0(1(1(0(2(1(1(1(0(0(1(1(2(2(1(0(2(2(0(2(1(1(2(1(0(0(2(2(0(0(x1)))))))))))))))))))))))))))))) Number of strict rules: 110 Direct POLO(bPol) ... failed. Uncurrying ... failed.