U-tiling: UQC4522

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