U-tiling: UQC1670

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