U-tiling: UQC4524

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