U-tiling: UQC6056

<48.1:128:2 4 6 8 10 12 14 16 18 20 22 24 26 28 30 32 34 36 38 40 42 44 46 48 50 52 54 56 58 60 62 64 66 68 70 72 74 76 78 80 82 84 86 88 90 92 94 96 98 100 102 104 106 108 110 112 114 116 118 120 122 124 126 128,17 34 5 16 7 9 11 13 15 50 21 32 23 25 27 29 31 49 37 48 39 41 43 45 47 53 64 55 57 59 61 63 97 114 69 80 71 73 75 77 79 113 98 85 96 87 89 91 93 95 101 112 103 105 107 109 111 117 128 119 121 123 125 127,3 4 21 22 39 40 73 74 91 92 77 78 47 48 19 20 55 56 105 106 123 124 109 110 63 64 35 36 53 54 121 122 107 108 125 126 51 52 89 90 75 76 93 94 67 68 101 102 119 120 127 128 83 84 117 118 103 104 111 112 99 100 115 116:4 7 7 7 7 4 7 7 7 7,3 3 4 4 4 4 4 3 4 4 4 4 3 3 3 4 3 3> {(2, 60): 'tau2*t3', (2, 61): 'tau2*t3', (2, 62): 't1', (2, 63): 't1', (2, 58): 't3^-1', (2, 59): 't3^-1', (1, 113): 't2^-1*tau3*t1*tau2^-1*t3^-1', (1, 112): 'tau1', (2, 44): 'tau3^-1*t2', (2, 45): 'tau3^-1*t2', (2, 46): 't1', (2, 47): 't1', (2, 42): 't2^-1', (2, 43): 't2^-1', (1, 97): 't2*tau3^-1*t1^-1*tau2*t3', (1, 96): 'tau1^-1', (2, 28): 'tau3*t2^-1', (2, 29): 'tau3*t2^-1', (2, 26): 't2', (2, 27): 't2', (2, 12): 'tau2^-1*t3^-1', (2, 13): 'tau2^-1*t3^-1', (2, 10): 't3', (2, 11): 't3', (2, 126): 't2^-1*tau3*t1*tau2^-1*t3^-1', (2, 127): 't2^-1*tau3*t1*tau2^-1*t3^-1', (2, 116): 'tau1', (2, 117): 'tau1', (1, 1): 't1^-1', (2, 110): 't2*tau3^-1*t1^-1*tau2*t3', (2, 111): 't2*tau3^-1*t1^-1*tau2*t3', (2, 100): 'tau1^-1', (2, 101): 'tau1^-1', (1, 49): 't1'}