U-tiling: UQC4513

<53.5:160:11 3 5 7 9 50 13 15 17 19 60 31 23 25 27 29 70 33 35 37 39 90 71 43 45 47 49 91 53 55 57 59 101 63 65 67 69 73 75 77 79 130 111 83 85 87 89 93 95 97 99 140 103 105 107 109 150 113 115 117 119 160 131 123 125 127 129 133 135 137 139 151 143 145 147 149 153 155 157 159,2 13 24 6 8 10 12 34 16 18 20 22 33 26 28 30 32 36 38 40 42 73 64 46 48 50 52 93 84 56 58 60 62 103 66 68 70 72 104 76 78 80 82 113 86 88 90 92 114 96 98 100 102 106 108 110 112 116 118 120 122 133 144 126 128 130 132 154 136 138 140 142 153 146 148 150 152 156 158 160,21 4 5 16 17 28 29 100 31 14 15 38 39 80 24 25 36 37 120 34 35 110 61 44 45 76 77 68 69 140 81 54 55 96 97 88 89 130 64 65 106 107 160 101 74 75 108 109 84 85 116 117 150 111 94 95 118 119 104 105 114 115 141 124 125 136 137 148 149 151 134 135 158 159 144 145 156 157 154 155:3 14 14 3 3 3 3 14 3 14 3 3,3 3 4 4 3 4 3 3 3 4 4 3 3 4 4 3 3 3 3 3 3 4 3 3> {(1, 123): 't3^-1*tau2^-1', (1, 122): 'tau1^-1', (2, 56): 't2', (2, 57): 't2*tau3^-1', (0, 60): 'tau2^-1', (0, 50): 't2', (1, 112): 'tau3^-1', (2, 55): 't2', (2, 48): 't3*tau2', (2, 45): 't3', (0, 40): 't3', (2, 47): 't3*tau2', (2, 36): 't1', (0, 39): 't1', (1, 103): 'tau2*t3', (1, 102): 'tau2', (2, 156): 't1^-1*tau3^-1*t2*tau1*t3^-1*tau2^-1', (2, 157): 'tau2^-1*t3^-1', (2, 158): 'tau2^-1*t3^-1', (1, 93): 't2^-1*tau3', (1, 92): 't2^-1', (2, 155): 't1^-1*tau3^-1*t2*tau1*t3^-1*tau2^-1', (2, 148): 't1*tau3*t2^-1', (2, 149): 't1', (2, 150): 't1^-1*tau3^-1*t2', (0, 150): 't1^-1*tau3^-1*t2*tau1*t3^-1*tau2^-1', (0, 20): 't1^-1', (2, 147): 't1*tau3*t2^-1', (2, 136): 'tau1', (2, 10): 't1^-1', (2, 135): 'tau1', (2, 35): 't1', (2, 28): 't1^-1', (0, 120): 'tau1^-1', (2, 120): 't3^-1*tau2^-1', (2, 29): 't1^-1', (2, 116): 'tau3^-1', (0, 119): 't1', (2, 58): 't2*tau3^-1', (2, 115): 'tau3^-1', (2, 110): 'tau3^-1*t2', (1, 42): 't3', (0, 110): 'tau3^-1', (2, 105): 'tau2', (2, 106): 'tau2', (1, 33): 't1', (1, 32): 't1', (1, 153): 't1^-1*tau3^-1*t2', (1, 152): 't1^-1*tau3^-1*t2*tau1*t3^-1*tau2^-1', (2, 27): 't1^-1', (2, 100): 'tau2*t3', (2, 46): 't3'}