U-tiling: UQC4525

<56.3:80:41 3 5 7 9 50 61 13 15 17 19 70 71 23 25 27 29 80 51 33 35 37 39 60 43 45 47 49 53 55 57 59 63 65 67 69 73 75 77 79,2 43 54 6 8 10 12 63 74 16 18 20 22 73 64 26 28 30 32 53 44 36 38 40 42 46 48 50 52 56 58 60 62 66 68 70 72 76 78 80,51 4 5 26 27 18 19 30 71 14 15 36 37 40 61 24 25 38 39 41 34 35 44 45 76 77 68 69 80 54 55 66 67 78 79 70 64 65 74 75:3 14 3 14 3 3,3 6 4 4 3 6 3 3 4 4> {(2, 60): 't2', (2, 56): 't3^-1*tau2^-1*t1*tau3*t2^-1', (2, 57): 'tau1^-1', (2, 58): 'tau1^-1', (0, 50): 't3^-1*tau2^-1', (2, 55): 't3^-1*tau2^-1*t1*tau3*t2^-1', (2, 48): 'tau1', (2, 50): 't3^-1', (2, 45): 't3*tau2*t1^-1*tau3^-1*t2', (2, 46): 't3*tau2*t1^-1*tau3^-1*t2', (2, 47): 'tau1', (2, 40): 't3', (2, 36): 't1', (2, 35): 't1', (0, 60): 't2*tau3^-1', (2, 26): 't1', (0, 20): 'tau3^-1*t2', (1, 73): 't2^-1', (1, 72): 't2^-1*tau3', (2, 10): 't2', (2, 5): 't1^-1', (0, 0): 'tau2^-1*t3^-1', (1, 63): 't2', (1, 62): 't2*tau3^-1', (1, 53): 't3^-1', (1, 52): 't3^-1*tau2^-1', (1, 43): 't3', (1, 42): 't3*tau2'}