The rewrite relation of the following TRS is considered.
0(1(2(0(3(3(4(x1))))))) | → | 0(0(1(3(2(3(4(x1))))))) | (1) |
1(0(3(0(2(4(1(x1))))))) | → | 1(0(3(2(0(4(1(x1))))))) | (2) |
0(5(0(4(5(3(0(5(x1)))))))) | → | 0(5(0(3(0(4(5(5(x1)))))))) | (3) |
1(3(1(1(5(0(4(4(x1)))))))) | → | 1(3(1(5(1(0(4(4(x1)))))))) | (4) |
2(4(2(5(2(1(3(3(x1)))))))) | → | 2(4(2(5(1(2(3(3(x1)))))))) | (5) |
5(1(1(2(5(3(1(1(x1)))))))) | → | 5(1(1(2(3(5(1(1(x1)))))))) | (6) |
1(0(0(4(2(3(1(3(4(x1))))))))) | → | 1(0(0(4(3(2(3(1(4(x1))))))))) | (7) |
0(0(3(3(4(0(2(1(1(4(x1)))))))))) | → | 0(2(1(3(0(4(3(1(0(4(x1)))))))))) | (8) |
4(0(0(3(3(4(1(1(5(0(x1)))))))))) | → | 4(2(4(3(2(5(1(0(5(1(x1)))))))))) | (9) |
5(1(0(1(0(3(3(3(3(4(x1)))))))))) | → | 4(0(4(1(4(2(0(4(2(4(x1)))))))))) | (10) |
0(1(0(0(1(5(1(0(3(0(5(x1))))))))))) | → | 4(3(4(4(0(0(4(4(0(5(x1)))))))))) | (11) |
0(1(1(3(1(0(5(2(4(2(4(x1))))))))))) | → | 0(2(5(4(1(3(0(2(0(1(x1)))))))))) | (12) |
0(2(2(0(0(3(3(5(1(2(1(x1))))))))))) | → | 2(0(0(1(3(3(3(4(4(1(x1)))))))))) | (13) |
0(2(3(5(5(5(5(5(5(4(5(x1))))))))))) | → | 1(2(5(5(3(5(0(1(5(2(x1)))))))))) | (14) |
0(2(5(4(5(0(1(1(2(5(5(x1))))))))))) | → | 3(0(3(0(1(5(5(5(0(0(x1)))))))))) | (15) |
0(3(4(1(0(4(0(1(4(0(4(x1))))))))))) | → | 0(3(4(1(0(4(0(4(1(0(4(x1))))))))))) | (16) |
0(4(0(0(1(2(1(3(0(1(1(x1))))))))))) | → | 5(4(1(1(3(2(1(1(5(3(x1)))))))))) | (17) |
0(4(1(5(5(5(3(1(0(3(2(x1))))))))))) | → | 3(4(5(4(4(0(5(5(5(5(x1)))))))))) | (18) |
0(4(4(4(3(4(2(0(4(5(4(x1))))))))))) | → | 1(2(5(0(2(4(2(0(5(0(x1)))))))))) | (19) |
0(5(0(0(2(0(3(2(1(2(4(x1))))))))))) | → | 0(5(0(0(2(0(1(3(2(2(4(x1))))))))))) | (20) |
1(1(0(3(4(2(2(0(0(2(2(x1))))))))))) | → | 2(5(2(5(5(0(4(3(3(1(x1)))))))))) | (21) |
1(1(2(2(4(5(2(5(4(3(0(x1))))))))))) | → | 0(0(3(2(2(3(4(4(1(4(x1)))))))))) | (22) |
1(1(3(1(1(5(4(2(2(5(4(x1))))))))))) | → | 2(4(2(2(4(3(4(1(2(1(x1)))))))))) | (23) |
1(3(0(0(3(3(4(1(2(5(3(x1))))))))))) | → | 5(2(2(1(0(0(3(4(3(4(x1)))))))))) | (24) |
1(5(1(2(1(3(3(1(4(0(1(x1))))))))))) | → | 1(5(1(2(3(1(3(1(4(0(1(x1))))))))))) | (25) |
1(5(2(2(0(5(5(4(1(3(4(x1))))))))))) | → | 1(5(1(1(3(2(2(3(0(4(x1)))))))))) | (26) |
2(1(0(1(0(3(3(5(5(4(0(x1))))))))))) | → | 0(1(5(0(2(0(3(0(1(2(x1)))))))))) | (27) |
2(1(5(0(3(1(1(1(4(5(0(x1))))))))))) | → | 3(2(4(5(4(5(2(3(5(4(x1)))))))))) | (28) |
2(1(5(1(1(5(2(2(5(2(2(x1))))))))))) | → | 4(3(4(2(2(1(1(2(2(4(x1)))))))))) | (29) |
2(1(5(3(1(2(2(0(5(4(2(x1))))))))))) | → | 5(4(5(3(1(1(0(1(2(1(x1)))))))))) | (30) |
2(2(2(5(5(4(3(1(1(2(4(x1))))))))))) | → | 2(2(4(0(3(1(3(4(3(4(x1)))))))))) | (31) |
2(3(1(3(0(5(2(1(2(0(1(x1))))))))))) | → | 3(0(1(0(2(3(4(0(1(3(x1)))))))))) | (32) |
2(3(4(4(1(1(4(2(5(5(2(x1))))))))))) | → | 5(1(5(5(1(5(3(4(3(5(x1)))))))))) | (33) |
2(3(5(1(5(4(5(5(0(3(2(x1))))))))))) | → | 5(0(2(0(3(1(3(2(0(0(x1)))))))))) | (34) |
2(4(1(3(5(2(0(1(1(4(2(x1))))))))))) | → | 5(5(1(4(5(5(2(3(4(4(x1)))))))))) | (35) |
2(5(5(0(5(3(3(1(2(1(1(x1))))))))))) | → | 3(1(4(2(4(5(2(1(5(1(x1)))))))))) | (36) |
3(0(1(4(1(0(2(5(2(4(5(x1))))))))))) | → | 5(1(2(4(4(4(0(2(3(2(x1)))))))))) | (37) |
3(0(4(1(1(3(0(2(0(3(5(x1))))))))))) | → | 5(3(0(2(0(3(4(1(0(4(x1)))))))))) | (38) |
3(0(5(1(3(2(3(5(0(0(5(x1))))))))))) | → | 4(5(1(5(1(5(0(1(0(3(x1)))))))))) | (39) |
3(1(1(0(1(5(5(2(0(3(2(x1))))))))))) | → | 1(5(0(0(0(1(5(5(3(0(x1)))))))))) | (40) |
3(1(4(4(4(0(0(0(1(1(1(x1))))))))))) | → | 0(4(0(1(2(1(5(0(0(4(x1)))))))))) | (41) |
3(2(1(4(0(3(1(1(5(4(2(x1))))))))))) | → | 5(0(3(0(1(5(3(4(2(0(x1)))))))))) | (42) |
3(4(2(1(2(2(0(3(4(5(5(x1))))))))))) | → | 0(4(1(4(2(0(2(1(1(4(x1)))))))))) | (43) |
4(0(2(3(2(0(5(4(5(5(3(x1))))))))))) | → | 2(2(4(1(4(0(2(4(5(4(x1)))))))))) | (44) |
4(1(0(5(5(1(2(5(4(2(4(x1))))))))))) | → | 4(3(1(1(1(1(4(2(5(1(x1)))))))))) | (45) |
4(1(3(1(3(2(5(3(2(4(2(x1))))))))))) | → | 2(0(3(3(5(1(0(4(2(0(x1)))))))))) | (46) |
5(0(0(2(5(2(0(1(1(5(3(x1))))))))))) | → | 5(0(2(0(5(2(0(1(1(5(3(x1))))))))))) | (47) |
5(0(1(0(3(1(2(4(0(3(3(x1))))))))))) | → | 1(3(4(4(5(1(1(5(5(1(x1)))))))))) | (48) |
5(0(4(0(0(3(1(0(5(3(0(x1))))))))))) | → | 0(2(3(3(3(1(3(0(2(2(x1)))))))))) | (49) |
5(1(2(2(2(1(2(3(0(3(1(x1))))))))))) | → | 1(5(5(5(1(3(5(1(0(5(x1)))))))))) | (50) |
5(1(5(4(2(3(2(2(1(0(0(x1))))))))))) | → | 2(2(4(1(3(4(2(5(5(2(x1)))))))))) | (51) |
5(2(3(3(5(4(5(0(5(1(4(x1))))))))))) | → | 5(2(3(3(5(0(4(5(5(1(4(x1))))))))))) | (52) |
5(3(2(1(1(3(3(2(4(1(0(x1))))))))))) | → | 4(3(0(0(1(5(4(3(4(0(x1)))))))))) | (53) |
5(3(4(2(0(2(3(0(4(3(4(x1))))))))))) | → | 3(4(3(1(5(0(4(4(5(2(x1)))))))))) | (54) |
5(4(3(5(0(2(1(0(4(5(3(x1))))))))))) | → | 0(2(2(0(1(3(5(5(5(4(x1)))))))))) | (55) |
0(1(1(2(0(5(2(4(0(3(3(4(x1)))))))))))) | → | 3(1(4(1(3(4(4(3(2(3(x1)))))))))) | (56) |
0(4(1(4(3(2(2(0(3(0(4(0(x1)))))))))))) | → | 2(3(4(3(5(5(1(3(1(3(x1)))))))))) | (57) |
2(1(2(4(0(2(1(4(0(5(5(1(x1)))))))))))) | → | 2(1(2(4(0(2(4(1(0(5(5(1(x1)))))))))))) | (58) |
3(4(0(4(3(1(2(2(2(0(5(3(x1)))))))))))) | → | 5(3(4(5(5(0(5(3(1(4(x1)))))))))) | (59) |
3(4(3(5(2(0(5(5(1(0(1(5(x1)))))))))))) | → | 2(4(3(4(5(4(1(2(3(5(x1)))))))))) | (60) |
4(0(1(5(5(4(2(0(1(1(0(0(x1)))))))))))) | → | 4(1(2(5(3(3(3(2(5(5(x1)))))))))) | (61) |
4(0(4(2(0(5(2(1(0(0(5(5(x1)))))))))))) | → | 2(5(4(3(2(1(4(3(1(0(x1)))))))))) | (62) |
4(1(1(4(0(5(4(0(5(4(4(2(x1)))))))))))) | → | 4(3(5(3(3(1(5(4(1(1(x1)))))))))) | (63) |
4(5(5(0(5(2(5(1(4(5(2(4(x1)))))))))))) | → | 0(0(4(5(0(4(2(1(5(0(x1)))))))))) | (64) |
2(0(5(2(1(1(1(2(5(4(2(1(3(x1))))))))))))) | → | 1(0(5(2(1(2(2(1(4(2(5(1(3(x1))))))))))))) | (65) |
5(0(4(5(3(4(5(3(5(3(5(0(0(3(x1)))))))))))))) | → | 5(0(5(4(3(5(3(4(3(5(5(0(0(3(x1)))))))))))))) | (66) |
5(4(2(3(4(4(5(1(4(4(3(2(4(2(x1)))))))))))))) | → | 5(4(2(3(4(4(5(4(1(4(3(2(4(2(x1)))))))))))))) | (67) |
2(1(1(0(5(5(3(3(1(0(3(0(5(0(2(x1))))))))))))))) | → | 2(1(1(0(5(5(3(1(3(0(3(0(5(0(2(x1))))))))))))))) | (68) |
2(4(1(4(5(0(0(1(1(4(4(5(5(1(3(x1))))))))))))))) | → | 2(4(1(4(0(5(0(1(1(4(4(5(5(1(3(x1))))))))))))))) | (69) |
1(1(0(5(2(2(0(5(3(3(4(1(2(4(1(5(x1)))))))))))))))) | → | 1(1(0(5(2(2(0(5(3(3(1(4(2(4(1(5(x1)))))))))))))))) | (70) |
4(5(2(5(2(4(4(2(0(1(2(0(3(0(4(3(x1)))))))))))))))) | → | 4(5(2(5(4(2(4(2(0(1(2(0(3(0(4(3(x1)))))))))))))))) | (71) |
4(5(4(1(4(0(0(2(5(3(0(5(3(3(0(1(x1)))))))))))))))) | → | 4(5(4(1(4(0(0(5(2(3(0(5(3(3(0(1(x1)))))))))))))))) | (72) |
5(3(0(2(4(0(1(4(5(3(4(5(4(2(1(4(x1)))))))))))))))) | → | 5(2(0(3(4(0(4(1(3(5(5(2(4(4(1(4(x1)))))))))))))))) | (73) |
2(1(3(2(4(5(0(5(3(5(0(2(0(3(5(1(1(5(x1)))))))))))))))))) | → | 2(1(3(2(4(5(0(5(3(5(0(2(0(3(1(5(1(5(x1)))))))))))))))))) | (74) |
3(2(3(4(5(3(1(1(3(2(5(4(0(5(1(0(3(3(x1)))))))))))))))))) | → | 3(3(5(2(1(4(2(3(3(1(5(4(0(5(0(1(3(3(x1)))))))))))))))))) | (75) |
2(3(2(1(5(0(0(1(5(2(1(2(5(0(1(4(4(1(1(3(x1)))))))))))))))))))) | → | 2(3(2(1(5(0(0(1(5(2(2(1(5(0(1(4(4(1(1(3(x1)))))))))))))))))))) | (76) |
4(4(3(3(4(3(0(0(0(5(1(1(0(4(0(3(3(4(1(0(x1)))))))))))))))))))) | → | 4(4(3(4(3(3(0(0(0(5(1(1(0(4(0(3(3(4(1(0(x1)))))))))))))))))))) | (77) |
1(4(4(0(0(0(0(4(3(3(0(2(3(0(2(4(5(1(5(0(0(x1))))))))))))))))))))) | → | 1(4(4(0(0(0(0(4(3(3(0(2(3(0(4(2(5(1(5(0(0(x1))))))))))))))))))))) | (78) |
5(5(3(3(1(3(2(0(0(3(5(0(2(0(4(3(3(2(4(5(4(3(x1)))))))))))))))))))))) | → | 5(5(3(2(0(1(3(3(0(5(0(3(0(4(2(4(3(3(5(2(4(3(x1)))))))))))))))))))))) | (79) |
1(0(5(0(4(2(4(5(4(3(0(5(2(0(5(5(5(4(4(3(3(3(4(1(x1)))))))))))))))))))))))) | → | 1(0(5(0(4(4(2(5(4(3(0(5(2(0(5(5(5(4(4(3(3(3(4(1(x1)))))))))))))))))))))))) | (80) |
3(4(4(1(0(2(2(4(1(5(3(5(1(1(0(3(3(1(1(3(1(4(1(3(x1)))))))))))))))))))))))) | → | 3(4(4(1(0(2(2(4(1(3(5(5(1(1(0(3(3(1(1(3(1(4(1(3(x1)))))))))))))))))))))))) | (81) |
5(5(5(3(1(1(4(1(0(3(2(0(3(3(0(2(0(0(4(0(1(4(2(5(x1)))))))))))))))))))))))) | → | 5(5(5(3(1(1(4(1(0(3(2(0(3(3(2(0(0(0(4(0(1(4(2(5(x1)))))))))))))))))))))))) | (82) |
1(1(4(5(0(0(0(5(0(1(2(5(4(1(0(4(4(2(4(5(3(0(5(2(4(x1))))))))))))))))))))))))) | → | 1(1(4(5(0(0(0(0(5(1(2(5(4(1(0(4(4(2(4(5(3(0(5(2(4(x1))))))))))))))))))))))))) | (83) |
2(2(1(3(5(0(1(1(3(3(2(0(1(5(3(1(1(1(3(4(5(1(2(2(1(x1))))))))))))))))))))))))) | → | 2(1(2(3(5(1(0(1(3(2(3(0(5(1(3(1(1(1(3(4(5(1(2(2(1(x1))))))))))))))))))))))))) | (84) |
1(1(4(2(4(1(4(2(5(1(2(3(0(2(2(0(5(4(2(1(3(3(1(4(2(1(x1)))))))))))))))))))))))))) | → | 1(1(4(2(4(1(4(2(5(1(2(0(3(2(2(0(5(4(2(1(3(3(1(4(2(1(x1)))))))))))))))))))))))))) | (85) |
4(0(2(0(5(2(3(2(2(2(2(5(0(5(1(1(0(0(1(1(2(0(2(5(3(1(x1)))))))))))))))))))))))))) | → | 4(0(2(0(5(2(3(2(2(2(2(5(5(1(0(1(0(0(1(1(2(0(2(3(5(1(x1)))))))))))))))))))))))))) | (86) |
0(5(2(0(4(2(4(3(4(3(5(0(5(3(5(1(0(2(0(4(2(0(5(5(5(1(2(x1))))))))))))))))))))))))))) | → | 0(5(2(0(4(2(4(3(4(3(5(0(5(5(3(1(0(2(0(4(2(0(5(5(5(1(2(x1))))))))))))))))))))))))))) | (87) |
3(1(4(0(1(3(5(3(4(1(2(1(3(0(5(1(1(4(4(0(2(3(4(5(1(4(4(x1))))))))))))))))))))))))))) | → | 3(1(4(0(1(3(5(3(4(1(2(1(3(0(5(1(1(4(4(0(3(2(4(5(1(4(4(x1))))))))))))))))))))))))))) | (88) |
2(2(1(4(3(4(4(2(1(5(5(2(1(1(0(1(0(0(0(5(2(4(2(0(3(5(5(4(0(x1))))))))))))))))))))))))))))) | → | 2(2(1(4(3(4(4(1(2(5(5(2(1(1(0(1(0(0(0(5(2(4(2(0(3(5(5(4(0(x1))))))))))))))))))))))))))))) | (89) |
3(0(2(4(0(1(1(2(0(2(0(1(1(2(0(4(5(0(2(0(3(0(5(0(5(5(3(0(1(x1))))))))))))))))))))))))))))) | → | 3(0(2(4(0(1(1(2(0(2(0(1(1(2(0(4(5(0(2(0(3(0(0(5(5(5(3(0(1(x1))))))))))))))))))))))))))))) | (90) |
5(3(4(0(1(0(1(4(4(3(5(4(1(3(2(2(5(2(2(3(4(2(1(3(1(3(4(5(1(x1))))))))))))))))))))))))))))) | → | 5(3(4(1(0(0(1(4(4(3(5(4(1(3(2(2(5(2(2(3(4(2(1(3(1(3(4(5(1(x1))))))))))))))))))))))))))))) | (91) |
0(5(2(1(0(0(2(5(0(0(1(3(2(2(5(4(5(1(1(5(1(3(5(0(4(0(4(1(2(0(x1)))))))))))))))))))))))))))))) | → | 0(5(2(0(1(0(2(5(0(0(1(3(2(2(5(4(5(1(1(5(1(3(5(0(4(0(4(1(2(0(x1)))))))))))))))))))))))))))))) | (92) |
[5(x1)] | = |
x1 +
|
||||
[4(x1)] | = |
x1 +
|
||||
[3(x1)] | = |
x1 +
|
||||
[2(x1)] | = |
x1 +
|
||||
[1(x1)] | = |
x1 +
|
||||
[0(x1)] | = |
x1 +
|
4(0(0(3(3(4(1(1(5(0(x1)))))))))) | → | 4(2(4(3(2(5(1(0(5(1(x1)))))))))) | (9) |
5(1(0(1(0(3(3(3(3(4(x1)))))))))) | → | 4(0(4(1(4(2(0(4(2(4(x1)))))))))) | (10) |
0(1(0(0(1(5(1(0(3(0(5(x1))))))))))) | → | 4(3(4(4(0(0(4(4(0(5(x1)))))))))) | (11) |
0(1(1(3(1(0(5(2(4(2(4(x1))))))))))) | → | 0(2(5(4(1(3(0(2(0(1(x1)))))))))) | (12) |
0(2(2(0(0(3(3(5(1(2(1(x1))))))))))) | → | 2(0(0(1(3(3(3(4(4(1(x1)))))))))) | (13) |
0(2(3(5(5(5(5(5(5(4(5(x1))))))))))) | → | 1(2(5(5(3(5(0(1(5(2(x1)))))))))) | (14) |
0(2(5(4(5(0(1(1(2(5(5(x1))))))))))) | → | 3(0(3(0(1(5(5(5(0(0(x1)))))))))) | (15) |
0(4(0(0(1(2(1(3(0(1(1(x1))))))))))) | → | 5(4(1(1(3(2(1(1(5(3(x1)))))))))) | (17) |
0(4(1(5(5(5(3(1(0(3(2(x1))))))))))) | → | 3(4(5(4(4(0(5(5(5(5(x1)))))))))) | (18) |
0(4(4(4(3(4(2(0(4(5(4(x1))))))))))) | → | 1(2(5(0(2(4(2(0(5(0(x1)))))))))) | (19) |
1(1(0(3(4(2(2(0(0(2(2(x1))))))))))) | → | 2(5(2(5(5(0(4(3(3(1(x1)))))))))) | (21) |
1(1(2(2(4(5(2(5(4(3(0(x1))))))))))) | → | 0(0(3(2(2(3(4(4(1(4(x1)))))))))) | (22) |
1(1(3(1(1(5(4(2(2(5(4(x1))))))))))) | → | 2(4(2(2(4(3(4(1(2(1(x1)))))))))) | (23) |
1(3(0(0(3(3(4(1(2(5(3(x1))))))))))) | → | 5(2(2(1(0(0(3(4(3(4(x1)))))))))) | (24) |
1(5(2(2(0(5(5(4(1(3(4(x1))))))))))) | → | 1(5(1(1(3(2(2(3(0(4(x1)))))))))) | (26) |
2(1(0(1(0(3(3(5(5(4(0(x1))))))))))) | → | 0(1(5(0(2(0(3(0(1(2(x1)))))))))) | (27) |
2(1(5(0(3(1(1(1(4(5(0(x1))))))))))) | → | 3(2(4(5(4(5(2(3(5(4(x1)))))))))) | (28) |
2(1(5(1(1(5(2(2(5(2(2(x1))))))))))) | → | 4(3(4(2(2(1(1(2(2(4(x1)))))))))) | (29) |
2(1(5(3(1(2(2(0(5(4(2(x1))))))))))) | → | 5(4(5(3(1(1(0(1(2(1(x1)))))))))) | (30) |
2(2(2(5(5(4(3(1(1(2(4(x1))))))))))) | → | 2(2(4(0(3(1(3(4(3(4(x1)))))))))) | (31) |
2(3(1(3(0(5(2(1(2(0(1(x1))))))))))) | → | 3(0(1(0(2(3(4(0(1(3(x1)))))))))) | (32) |
2(3(4(4(1(1(4(2(5(5(2(x1))))))))))) | → | 5(1(5(5(1(5(3(4(3(5(x1)))))))))) | (33) |
2(3(5(1(5(4(5(5(0(3(2(x1))))))))))) | → | 5(0(2(0(3(1(3(2(0(0(x1)))))))))) | (34) |
2(4(1(3(5(2(0(1(1(4(2(x1))))))))))) | → | 5(5(1(4(5(5(2(3(4(4(x1)))))))))) | (35) |
2(5(5(0(5(3(3(1(2(1(1(x1))))))))))) | → | 3(1(4(2(4(5(2(1(5(1(x1)))))))))) | (36) |
3(0(1(4(1(0(2(5(2(4(5(x1))))))))))) | → | 5(1(2(4(4(4(0(2(3(2(x1)))))))))) | (37) |
3(0(4(1(1(3(0(2(0(3(5(x1))))))))))) | → | 5(3(0(2(0(3(4(1(0(4(x1)))))))))) | (38) |
3(0(5(1(3(2(3(5(0(0(5(x1))))))))))) | → | 4(5(1(5(1(5(0(1(0(3(x1)))))))))) | (39) |
3(1(1(0(1(5(5(2(0(3(2(x1))))))))))) | → | 1(5(0(0(0(1(5(5(3(0(x1)))))))))) | (40) |
3(1(4(4(4(0(0(0(1(1(1(x1))))))))))) | → | 0(4(0(1(2(1(5(0(0(4(x1)))))))))) | (41) |
3(2(1(4(0(3(1(1(5(4(2(x1))))))))))) | → | 5(0(3(0(1(5(3(4(2(0(x1)))))))))) | (42) |
3(4(2(1(2(2(0(3(4(5(5(x1))))))))))) | → | 0(4(1(4(2(0(2(1(1(4(x1)))))))))) | (43) |
4(0(2(3(2(0(5(4(5(5(3(x1))))))))))) | → | 2(2(4(1(4(0(2(4(5(4(x1)))))))))) | (44) |
4(1(0(5(5(1(2(5(4(2(4(x1))))))))))) | → | 4(3(1(1(1(1(4(2(5(1(x1)))))))))) | (45) |
4(1(3(1(3(2(5(3(2(4(2(x1))))))))))) | → | 2(0(3(3(5(1(0(4(2(0(x1)))))))))) | (46) |
5(0(1(0(3(1(2(4(0(3(3(x1))))))))))) | → | 1(3(4(4(5(1(1(5(5(1(x1)))))))))) | (48) |
5(0(4(0(0(3(1(0(5(3(0(x1))))))))))) | → | 0(2(3(3(3(1(3(0(2(2(x1)))))))))) | (49) |
5(1(2(2(2(1(2(3(0(3(1(x1))))))))))) | → | 1(5(5(5(1(3(5(1(0(5(x1)))))))))) | (50) |
5(1(5(4(2(3(2(2(1(0(0(x1))))))))))) | → | 2(2(4(1(3(4(2(5(5(2(x1)))))))))) | (51) |
5(3(2(1(1(3(3(2(4(1(0(x1))))))))))) | → | 4(3(0(0(1(5(4(3(4(0(x1)))))))))) | (53) |
5(3(4(2(0(2(3(0(4(3(4(x1))))))))))) | → | 3(4(3(1(5(0(4(4(5(2(x1)))))))))) | (54) |
5(4(3(5(0(2(1(0(4(5(3(x1))))))))))) | → | 0(2(2(0(1(3(5(5(5(4(x1)))))))))) | (55) |
0(1(1(2(0(5(2(4(0(3(3(4(x1)))))))))))) | → | 3(1(4(1(3(4(4(3(2(3(x1)))))))))) | (56) |
0(4(1(4(3(2(2(0(3(0(4(0(x1)))))))))))) | → | 2(3(4(3(5(5(1(3(1(3(x1)))))))))) | (57) |
3(4(0(4(3(1(2(2(2(0(5(3(x1)))))))))))) | → | 5(3(4(5(5(0(5(3(1(4(x1)))))))))) | (59) |
3(4(3(5(2(0(5(5(1(0(1(5(x1)))))))))))) | → | 2(4(3(4(5(4(1(2(3(5(x1)))))))))) | (60) |
4(0(1(5(5(4(2(0(1(1(0(0(x1)))))))))))) | → | 4(1(2(5(3(3(3(2(5(5(x1)))))))))) | (61) |
4(0(4(2(0(5(2(1(0(0(5(5(x1)))))))))))) | → | 2(5(4(3(2(1(4(3(1(0(x1)))))))))) | (62) |
4(1(1(4(0(5(4(0(5(4(4(2(x1)))))))))))) | → | 4(3(5(3(3(1(5(4(1(1(x1)))))))))) | (63) |
4(5(5(0(5(2(5(1(4(5(2(4(x1)))))))))))) | → | 0(0(4(5(0(4(2(1(5(0(x1)))))))))) | (64) |
{5(☐), 4(☐), 3(☐), 2(☐), 1(☐), 0(☐)}
We obtain the transformed TRSThere are 252 ruless (increase limit for explicit display).
As carrier we take the set {0,...,5}. Symbols are labeled by the interpretation of their arguments using the interpretations (modulo 6):
[5(x1)] | = | 6x1 + 0 |
[4(x1)] | = | 6x1 + 1 |
[3(x1)] | = | 6x1 + 2 |
[2(x1)] | = | 6x1 + 3 |
[1(x1)] | = | 6x1 + 4 |
[0(x1)] | = | 6x1 + 5 |
There are 1512 ruless (increase limit for explicit display).
[50(x1)] | = |
x1 +
|
||||
[51(x1)] | = |
x1 +
|
||||
[52(x1)] | = |
x1 +
|
||||
[53(x1)] | = |
x1 +
|
||||
[54(x1)] | = |
x1 +
|
||||
[55(x1)] | = |
x1 +
|
||||
[40(x1)] | = |
x1 +
|
||||
[41(x1)] | = |
x1 +
|
||||
[42(x1)] | = |
x1 +
|
||||
[43(x1)] | = |
x1 +
|
||||
[44(x1)] | = |
x1 +
|
||||
[45(x1)] | = |
x1 +
|
||||
[30(x1)] | = |
x1 +
|
||||
[31(x1)] | = |
x1 +
|
||||
[32(x1)] | = |
x1 +
|
||||
[33(x1)] | = |
x1 +
|
||||
[34(x1)] | = |
x1 +
|
||||
[35(x1)] | = |
x1 +
|
||||
[20(x1)] | = |
x1 +
|
||||
[21(x1)] | = |
x1 +
|
||||
[22(x1)] | = |
x1 +
|
||||
[23(x1)] | = |
x1 +
|
||||
[24(x1)] | = |
x1 +
|
||||
[25(x1)] | = |
x1 +
|
||||
[10(x1)] | = |
x1 +
|
||||
[11(x1)] | = |
x1 +
|
||||
[12(x1)] | = |
x1 +
|
||||
[13(x1)] | = |
x1 +
|
||||
[14(x1)] | = |
x1 +
|
||||
[15(x1)] | = |
x1 +
|
||||
[00(x1)] | = |
x1 +
|
||||
[01(x1)] | = |
x1 +
|
||||
[02(x1)] | = |
x1 +
|
||||
[03(x1)] | = |
x1 +
|
||||
[04(x1)] | = |
x1 +
|
||||
[05(x1)] | = |
x1 +
|
There are 1476 ruless (increase limit for explicit display).
There are 108 ruless (increase limit for explicit display).
[51(x1)] | = |
x1 +
|
||||
[54(x1)] | = |
x1 +
|
||||
[41(x1)] | = |
x1 +
|
||||
[42(x1)] | = |
x1 +
|
||||
[44(x1)] | = |
x1 +
|
||||
[45(x1)] | = |
x1 +
|
||||
[31(x1)] | = |
x1 +
|
||||
[32(x1)] | = |
x1 +
|
||||
[35(x1)] | = |
x1 +
|
||||
[21(x1)] | = |
x1 +
|
||||
[11(x1)] | = |
x1 +
|
||||
[14(x1)] | = |
x1 +
|
||||
[15(x1)] | = |
x1 +
|
||||
[00(x1)] | = |
x1 +
|
||||
[01(x1)] | = |
x1 +
|
||||
[02(x1)] | = |
x1 +
|
||||
[03(x1)] | = |
x1 +
|
||||
[04(x1)] | = |
x1 +
|
||||
[05(x1)] | = |
x1 +
|
||||
[51#(x1)] | = |
x1 +
|
||||
[41#(x1)] | = |
x1 +
|
||||
[31#(x1)] | = |
x1 +
|
||||
[21#(x1)] | = |
x1 +
|
||||
[11#(x1)] | = |
x1 +
|
||||
[01#(x1)] | = |
x1 +
|
01(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1))))))))))))))))))))) | → | 01(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1))))))))))))))))))))) | (1281) |
01(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1))))))))))))))))))))) | → | 01(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1))))))))))))))))))))) | (1282) |
01(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1))))))))))))))))))))) | → | 01(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1))))))))))))))))))))) | (1283) |
01(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1))))))))))))))))))))) | → | 01(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1))))))))))))))))))))) | (1284) |
01(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1))))))))))))))))))))) | → | 01(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1))))))))))))))))))))) | (1285) |
01(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1))))))))))))))))))))) | → | 01(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1))))))))))))))))))))) | (1286) |
11(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1))))))))))))))))))))) | → | 11(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1))))))))))))))))))))) | (1287) |
11(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1))))))))))))))))))))) | → | 11(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1))))))))))))))))))))) | (1288) |
11(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1))))))))))))))))))))) | → | 11(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1))))))))))))))))))))) | (1289) |
11(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1))))))))))))))))))))) | → | 11(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1))))))))))))))))))))) | (1290) |
11(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1))))))))))))))))))))) | → | 11(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1))))))))))))))))))))) | (1291) |
11(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1))))))))))))))))))))) | → | 11(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1))))))))))))))))))))) | (1292) |
21(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1))))))))))))))))))))) | → | 21(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1))))))))))))))))))))) | (1293) |
21(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1))))))))))))))))))))) | → | 21(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1))))))))))))))))))))) | (1294) |
21(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1))))))))))))))))))))) | → | 21(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1))))))))))))))))))))) | (1295) |
21(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1))))))))))))))))))))) | → | 21(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1))))))))))))))))))))) | (1296) |
21(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1))))))))))))))))))))) | → | 21(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1))))))))))))))))))))) | (1297) |
21(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1))))))))))))))))))))) | → | 21(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1))))))))))))))))))))) | (1298) |
31(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1))))))))))))))))))))) | → | 31(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1))))))))))))))))))))) | (1299) |
31(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1))))))))))))))))))))) | → | 31(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1))))))))))))))))))))) | (1300) |
31(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1))))))))))))))))))))) | → | 31(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1))))))))))))))))))))) | (1301) |
31(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1))))))))))))))))))))) | → | 31(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1))))))))))))))))))))) | (1302) |
31(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1))))))))))))))))))))) | → | 31(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1))))))))))))))))))))) | (1303) |
31(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1))))))))))))))))))))) | → | 31(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1))))))))))))))))))))) | (1304) |
41(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1))))))))))))))))))))) | → | 41(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1))))))))))))))))))))) | (1305) |
41(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1))))))))))))))))))))) | → | 41(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1))))))))))))))))))))) | (1306) |
41(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1))))))))))))))))))))) | → | 41(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1))))))))))))))))))))) | (1307) |
41(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1))))))))))))))))))))) | → | 41(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1))))))))))))))))))))) | (1308) |
41(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1))))))))))))))))))))) | → | 41(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1))))))))))))))))))))) | (1309) |
41(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1))))))))))))))))))))) | → | 41(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1))))))))))))))))))))) | (1310) |
51(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1))))))))))))))))))))) | → | 51(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1))))))))))))))))))))) | (1311) |
51(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1))))))))))))))))))))) | → | 51(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1))))))))))))))))))))) | (1312) |
51(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1))))))))))))))))))))) | → | 51(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1))))))))))))))))))))) | (1313) |
51(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1))))))))))))))))))))) | → | 51(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1))))))))))))))))))))) | (1314) |
51(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1))))))))))))))))))))) | → | 51(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1))))))))))))))))))))) | (1315) |
51(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1))))))))))))))))))))) | → | 51(41(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1))))))))))))))))))))) | (1316) |
51#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1)))))))))))))))))))) | (1858) |
51#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1)))))))))))))))))) | (1859) |
51#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1)))))))))))))))))))) | (1861) |
51#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1)))))))))))))))))) | (1862) |
51#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1)))))))))))))))))))) | (1864) |
51#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1)))))))))))))))))) | (1865) |
51#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1)))))))))))))))))))) | (1867) |
51#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1)))))))))))))))))) | (1868) |
51#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1)))))))))))))))))))) | (1870) |
51#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1)))))))))))))))))) | (1871) |
51#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1)))))))))))))))))))) | (1873) |
51#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1)))))))))))))))))) | (1874) |
41#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1)))))))))))))))))))) | (1876) |
41#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1)))))))))))))))))) | (1877) |
41#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1)))))))))))))))))))) | (1879) |
41#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1)))))))))))))))))) | (1880) |
41#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1)))))))))))))))))))) | (1882) |
41#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1)))))))))))))))))) | (1883) |
41#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1)))))))))))))))))))) | (1885) |
41#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1)))))))))))))))))) | (1886) |
41#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1)))))))))))))))))))) | (1888) |
41#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1)))))))))))))))))) | (1889) |
41#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1)))))))))))))))))))) | (1891) |
41#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1)))))))))))))))))) | (1892) |
31#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1)))))))))))))))))))) | (1893) |
31#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1)))))))))))))))))) | (1895) |
31#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1)))))))))))))))))))) | (1896) |
31#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1)))))))))))))))))) | (1898) |
31#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1)))))))))))))))))))) | (1899) |
31#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1)))))))))))))))))) | (1901) |
31#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1)))))))))))))))))))) | (1902) |
31#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1)))))))))))))))))) | (1904) |
31#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1)))))))))))))))))))) | (1905) |
31#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1)))))))))))))))))) | (1907) |
31#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1)))))))))))))))))))) | (1908) |
31#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1)))))))))))))))))) | (1910) |
21#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1)))))))))))))))))))) | (1911) |
21#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1)))))))))))))))))) | (1912) |
21#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1)))))))))))))))))))) | (1914) |
21#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1)))))))))))))))))) | (1915) |
21#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1)))))))))))))))))))) | (1917) |
21#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1)))))))))))))))))) | (1918) |
21#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1)))))))))))))))))))) | (1920) |
21#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1)))))))))))))))))) | (1921) |
21#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1)))))))))))))))))))) | (1923) |
21#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1)))))))))))))))))) | (1924) |
21#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1)))))))))))))))))))) | (1926) |
21#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1)))))))))))))))))) | (1927) |
11#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1)))))))))))))))))))) | (1929) |
11#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1)))))))))))))))))) | (1930) |
11#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1)))))))))))))))))))) | (1932) |
11#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1)))))))))))))))))) | (1933) |
11#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1)))))))))))))))))))) | (1935) |
11#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1)))))))))))))))))) | (1936) |
11#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1)))))))))))))))))))) | (1938) |
11#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1)))))))))))))))))) | (1939) |
11#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1)))))))))))))))))))) | (1941) |
11#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1)))))))))))))))))) | (1942) |
11#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1)))))))))))))))))))) | (1944) |
11#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1)))))))))))))))))) | (1945) |
01#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1)))))))))))))))))))) | (1947) |
01#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(00(x1)))))))))))))))))) | (1948) |
01#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1)))))))))))))))))))) | (1950) |
01#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(01(x1)))))))))))))))))) | (1951) |
01#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1)))))))))))))))))))) | (1953) |
01#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(02(x1)))))))))))))))))) | (1954) |
01#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1)))))))))))))))))))) | (1956) |
01#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(03(x1)))))))))))))))))) | (1957) |
01#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1)))))))))))))))))))) | (1959) |
01#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(04(x1)))))))))))))))))) | (1960) |
01#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1))))))))))))))))))))) | → | 41#(42(31(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1)))))))))))))))))))) | (1962) |
01#(41(42(32(31(42(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1))))))))))))))))))))) | → | 31#(42(32(35(05(05(00(54(14(15(01(45(02(32(31(44(15(05(x1)))))))))))))))))) | (1963) |
The dependency pairs are split into 0 components.