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