$ &TorusMap trunc(K4).antip[3] 12 150 500 150 550 -1 12 [0 1] 11 [0 2] 8 [-1 3] 10 [0 4] -2 11 [0 5] 12 [0 6] 4 [0 7] 6 [1 8] -3 7 [0 9] 9 [0 10] 11 [0 11] 8 [0 12] -4 7 [0 13] 8 [0 14] 6 [1 15] 2 [0 7] -5 7 [0 16] 12 [0 17] 10 [0 18] 9 [0 19] -6 10 [0 20] 2 [1 8] 4 [1 15] 9 [0 21] -7 12 [0 22] 5 [0 16] 3 [0 9] 4 [0 13] -8 4 [0 14] 3 [0 12] 10 [1 23] 1 [0 3] -9 6 [0 21] 11 [0 24] 3 [0 10] 5 [0 19] -10 1 [0 4] 8 [0 23] 6 [0 20] 5 [0 18] -11 9 [0 24] 1 [1 2] 2 [1 5] 3 [0 11] -12 2 [0 6] 1 [0 1] 5 [0 17] 7 [0 22] 0 &Coordinates -1 125 195 -2 197 231 -3 186 133 -4 222 206 -5 142 150 -6 83 91 -7 180 169 -8 239 169 -9 136 108 -10 100 144 -11 161 83 -12 161 188