/* Defining polynomial */ x^2 - x + 68 /* Minimal vectors */ [ <-2*w + 12, -21>, <7*w + 14, -6*w + 43>, <-4*w + 15, w - 37>, <3*w + 29, -5*w + 6>, <-2*w + 31, -2*w - 31>, <-4*w + 43, -2*w - 52>, <-2*w + 3, w - 16>, <8*w + 13, -6*w + 53>, <2*w + 17, -3*w + 7>, <-w + 42, -4*w - 27>, <-5*w + 54, -3*w - 62>, <3*w + 67, -9*w - 9>, <-2*w + 2, w - 16>, <-3*w + 17, -31>, <6*w + 21, -6*w + 34>, <3*w + 38, -6*w + 3>, <-w + 15, -w - 15>, <55, -6*w - 28>, <3*w + 3, -2*w + 21>, <-8*w + 4, 4*w - 61>, <-3*w + 6, w - 25>, <4*w + 44, -7*w + 10>, <-4*w + 48, -3*w - 51>, <5*w + 2, -3*w + 36>, , <-10*w + 5, 5*w - 76>, <5*w + 85, -12*w - 1>, <-5*w + 90, -7*w - 77>, <-5*w + 7, 2*w - 40>, <-w + 51, -5*w - 30>, <-4*w + 4, 2*w - 33>, <-2*w + 11, -21>, , <-w + 14, -w - 15>, <-w + 5, -10>, <2*w + 7, -2*w + 13>, <17, -2*w - 8>, <-w + 22, -2*w - 18>, <5*w + 69, -10*w>, <-4*w + 73, -5*w - 64>, <-24*w + 83, 6*w - 207>, <-9*w + 142, -9*w - 133>, <-10*w + 10, 5*w - 74>, <-5*w + 69, -4*w - 69>, <6*w + 201, -24*w - 59>, <10, -w - 5>, <-2*w + 13, -20>, , <2*w + 18, -3*w + 4>, , <-w + 17, -w - 16>, <2*w + 18, -3*w + 3>, <-2*w + 3, w - 15>, , <3*w, -2*w + 20>, <3*w + 1, -2*w + 20>, <-w + 6, -10>, <20, -2*w - 11>, <2*w + 7, -2*w + 10>, , <-4*w + 13, w - 35>, <2*w + 17, -3*w + 6>, , <-2*w + 30, -2*w - 29>, <-4*w + 3, 2*w - 31>, <-3*w + 25, -w - 34>, <6*w + 5, -4*w + 42>, <2*w + 8, -2*w + 11>, <9, -w - 4>, , , <3*w + 11, -3*w + 17>, , <2*w + 35, -5*w - 2>, <5*w + 8, -4*w + 33>, <-w + 24, -2*w - 20>, <2*w + 25, -4*w + 2>, <-3*w + 63, -5*w - 55>, <3*w + 1, -2*w + 22>, <-w + 42, -4*w - 29>, <8*w, -5*w + 60>, <28, -3*w - 14>, <3*w + 30, -5*w + 7>, <-2*w + 1, w - 15>, <4*w + 26, -5*w + 18>, <-3*w + 43, -3*w - 41>, <-5*w + 44, -2*w - 56>, <-w + 33, -3*w - 22>, <-w + 42, -4*w - 26>, <-5*w + 16, w - 44>, <-5*w + 25, -48>, <2*w + 36, -5*w - 1>, , <-2*w + 2, w - 17>, <8, -w - 4>, <1, -1>, , , <2*w + 6, -2*w + 11>, <9, -w - 5>, <-w + 16, -w - 16>, , <19, -2*w - 9>, <48, -5*w - 23>, <5*w + 20, -5*w + 28>, <-3*w + 7, w - 26>, <3*w + 10, -3*w + 17>, <-4*w + 14, w - 37>, <-3*w + 26, -w - 36>, <27, -3*w - 14>, <-2*w + 21, -w - 25>, <-2*w + 10, -19>, , <83, -9*w - 37>, <4*w + 6, -3*w + 26>, <-3*w + 7, w - 25>, <3*w + 12, -3*w + 16>, <-2*w + 20, -w - 24>, <28, -3*w - 13>, <-w + 33, -3*w - 23>, <4*w + 4, -3*w + 28>, <-w + 33, -3*w - 25>, <2*w + 7, -2*w + 11>, <5*w + 18, -5*w + 28>, <46, -5*w - 23>, <0, 1>, <-w + 5, -9>, , <19, -2*w - 8>, <-w + 15, -w - 14>, <1, 0> ] /* Voronoi top cells */ [ { 1, 2, 3, 4, 5, 6 }, { 1, 3, 4, 5, 7 }, { 8, 9, 10, 11, 12 }, { 13, 14, 15, 16 }, { 14, 16, 17, 18 }, { 19, 20, 21, 22, 23 }, { 19, 23, 24, 25 }, { 22, 23, 26, 27, 28 }, { 21, 22, 29, 30 }, { 31, 32, 33, 34 }, { 35, 36, 37, 38 }, { 39, 40, 41, 42 }, { 42, 43, 44, 45 }, { 46, 47, 48, 49 }, { 48, 50, 51, 52 }, { 51, 53, 54, 55 }, { 53, 56, 57, 58 }, { 56, 57, 58, 59 }, { 1, 5, 7, 60 }, { 61, 62, 63, 64 }, { 9, 10, 65, 66 }, { 8, 9, 10, 67, 68 }, { 9, 69, 70, 71 }, { 70, 72, 73, 74 }, { 75, 76, 77, 78 }, { 77, 79, 80, 81 }, { 13, 14, 16, 17 }, { 13, 14, 77, 80 }, { 14, 17, 75, 77 }, { 62, 73, 82, 83 }, { 84, 85, 86, 87 }, { 84, 86, 88, 89 }, { 19, 21, 22, 23, 69 }, { 19, 23, 24, 69 }, { 22, 23, 24, 26, 29 }, { 21, 22, 29, 69 }, { 21, 29, 69, 90 }, { 69, 90, 91, 92 }, { 32, 33, 34, 93 }, { 33, 34, 94, 95 }, { 35, 36, 37, 95 }, { 39, 40, 42, 43, 44 }, { 50, 96, 97, 98 }, { 46, 47, 48, 50 }, { 48, 50, 51, 53, 54 }, { 53, 54, 57, 58 }, { 54, 57, 58, 59 }, { 7, 54, 99, 100 }, { 7, 54, 60, 101 }, { 1, 7, 60, 100 }, { 63, 102, 103, 104 }, { 62, 63, 64, 102 }, { 9, 10, 65, 67, 68 }, { 9, 68, 69, 105 }, { 9, 65, 69, 70 }, { 70, 72, 73, 106 }, { 17, 76, 107, 108 }, { 17, 75, 76, 77 }, { 13, 77, 79, 80 }, { 13, 14, 17, 77 }, { 13, 79, 109, 110 }, { 62, 73, 82, 111 }, { 84, 85, 87, 112 }, { 84, 85, 86, 89 }, { 24, 26, 29, 89, 113, 114 }, { 22, 23, 24, 29, 69 }, { 29, 69, 90, 92 }, { 69, 91, 92, 112 }, { 33, 34, 93, 95 }, { 33, 35, 37, 95 }, { 39, 40, 46, 102 }, { 39, 40, 43, 44, 102 }, { 43, 44, 57, 102 }, { 50, 54, 96, 97 }, { 46, 48, 50, 53, 54, 57 }, { 54, 57, 59, 60 }, { 7, 54, 60, 100 }, { 62, 64, 73, 102 }, { 63, 64, 102, 103 }, { 64, 73, 103, 115 }, { 68, 103, 116, 117, 118, 119 }, { 9, 65, 68, 69 }, { 65, 68, 73, 120 }, { 65, 69, 70, 73 }, { 13, 72, 73, 106 }, { 69, 70, 73, 106 }, { 17, 76, 100, 107 }, { 13, 17, 76, 77, 79 }, { 13, 79, 93, 110 }, { 76, 79, 93, 100, 121, 122 }, { 62, 73, 102, 111 }, { 17, 73, 82, 111 }, { 84, 85, 89, 112 }, { 24, 29, 69, 84, 89, 113 }, { 29, 69, 92, 112 }, { 33, 35, 93, 95 }, { 39, 43, 46, 57, 102 }, { 46, 50, 54, 57, 96 }, { 54, 57, 60, 100 }, { 17, 57, 102, 111 }, { 17, 57, 100, 123 }, { 64, 73, 102, 103 }, { 68, 73, 103, 116, 118 }, { 65, 68, 69, 73 }, { 13, 69, 73, 106 }, { 13, 17, 73, 124, 125 }, { 13, 17, 76, 79, 93, 100 }, { 17, 73, 102, 111 }, { 29, 69, 84, 89, 112 }, { 13, 35, 69, 93 }, { 35, 93, 95, 126 }, { 46, 57, 96, 102 }, { 54, 57, 96, 100 }, { 17, 57, 100, 102 }, { 68, 69, 73, 102, 103 }, { 13, 69, 73, 93 }, { 13, 17, 73, 93, 100 }, { 17, 73, 100, 102 }, { 69, 84, 112, 127, 128, 129 }, { 35, 69, 93, 126 }, { 57, 96, 100, 102 }, { 69, 73, 93, 100, 102 }, { 69, 84, 102, 127, 128, 130 }, { 69, 93, 96, 100, 102, 126 }, { 69, 96, 102, 126, 127, 131 } ] /* Faces of top cells */ [ [ { 2, 3, 4 }, { 1, 3, 4, 5 }, { 1, 2, 3, 6 }, { 2, 4, 5, 6 }, { 1, 5, 6 } ], [ { 1, 3, 4, 5 }, { 3, 4, 7 }, { 1, 3, 7 }, { 1, 5, 7 }, { 4, 5, 7 } ], [ { 9, 10, 11, 12 }, { 8, 9, 11 }, { 8, 9, 10 }, { 8, 10, 12 }, { 8, 11, 12 } ], [ { 14, 15, 16 }, { 13, 15, 16 }, { 13, 14, 16 }, { 13, 14, 15 } ], [ { 14, 16, 18 }, { 16, 17, 18 }, { 14, 17, 18 }, { 14, 16, 17 } ], [ { 20, 21, 22 }, { 19, 21, 22, 23 }, { 19, 20, 21 }, { 19, 20, 23 }, { 20, 22, 23 } ], [ { 19, 23, 25 }, { 23, 24, 25 }, { 19, 24, 25 }, { 19, 23, 24 } ], [ { 22, 23, 27, 28 }, { 23, 26, 27 }, { 22, 23, 26 }, { 26, 27, 28 }, { 22, 26, 28 } ], [ { 22, 29, 30 }, { 21, 22, 30 }, { 21, 29, 30 }, { 21, 22, 29 } ], [ { 32, 33, 34 }, { 31, 33, 34 }, { 31, 32, 34 }, { 31, 32, 33 } ], [ { 36, 37, 38 }, { 35, 37, 38 }, { 35, 36, 38 }, { 35, 36, 37 } ], [ { 40, 41, 42 }, { 39, 41, 42 }, { 39, 40, 42 }, { 39, 40, 41 } ], [ { 42, 44, 45 }, { 42, 43, 45 }, { 43, 44, 45 }, { 42, 43, 44 } ], [ { 47, 48, 49 }, { 46, 48, 49 }, { 46, 47, 49 }, { 46, 47, 48 } ], [ { 48, 51, 52 }, { 50, 51, 52 }, { 48, 50, 52 }, { 48, 50, 51 } ], [ { 51, 54, 55 }, { 51, 53, 55 }, { 53, 54, 55 }, { 51, 53, 54 } ], [ { 53, 57, 58 }, { 56, 57, 58 }, { 53, 56, 58 }, { 53, 56, 57 } ], [ { 57, 58, 59 }, { 56, 58, 59 }, { 56, 57, 58 }, { 56, 57, 59 } ], [ { 1, 5, 60 }, { 5, 7, 60 }, { 1, 5, 7 }, { 1, 7, 60 } ], [ { 62, 63, 64 }, { 61, 63, 64 }, { 61, 62, 64 }, { 61, 62, 63 } ], [ { 9, 10, 66 }, { 10, 65, 66 }, { 9, 10, 65 }, { 9, 65, 66 } ], [ { 8, 9, 68 }, { 9, 10, 67, 68 }, { 8, 67, 68 }, { 8, 10, 67 }, { 8, 9, 10 } ], [ { 9, 70, 71 }, { 69, 70, 71 }, { 9, 69, 71 }, { 9, 69, 70 } ], [ { 70, 73, 74 }, { 70, 72, 74 }, { 72, 73, 74 }, { 70, 72, 73 } ], [ { 76, 77, 78 }, { 75, 77, 78 }, { 75, 76, 78 }, { 75, 76, 77 } ], [ { 77, 80, 81 }, { 79, 80, 81 }, { 77, 79, 81 }, { 77, 79, 80 } ], [ { 14, 16, 17 }, { 13, 14, 16 }, { 13, 16, 17 }, { 13, 14, 17 } ], [ { 14, 77, 80 }, { 13, 77, 80 }, { 13, 14, 80 }, { 13, 14, 77 } ], [ { 14, 17, 77 }, { 14, 75, 77 }, { 17, 75, 77 }, { 14, 17, 75 } ], [ { 62, 82, 83 }, { 73, 82, 83 }, { 62, 73, 83 }, { 62, 73, 82 } ], [ { 85, 86, 87 }, { 84, 86, 87 }, { 84, 85, 87 }, { 84, 85, 86 } ], [ { 86, 88, 89 }, { 84, 86, 89 }, { 84, 86, 88 }, { 84, 88, 89 } ], [ { 21, 22, 69 }, { 19, 21, 22, 23 }, { 19, 21, 69 }, { 22, 23, 69 }, { 19, 23, 69 } ], [ { 19, 23, 69 }, { 23, 24, 69 }, { 19, 23, 24 }, { 19, 24, 69 } ], [ { 22, 26, 29 }, { 22, 23, 24, 29 }, { 24, 26, 29 }, { 22, 23, 26 }, { 23, 24, 26 } ], [ { 22, 29, 69 }, { 21, 22, 69 }, { 21, 22, 29 }, { 21, 29, 69 } ], [ { 29, 69, 90 }, { 21, 69, 90 }, { 21, 29, 90 }, { 21, 29, 69 } ], [ { 90, 91, 92 }, { 69, 91, 92 }, { 69, 90, 92 }, { 69, 90, 91 } ], [ { 32, 33, 34 }, { 33, 34, 93 }, { 32, 34, 93 }, { 32, 33, 93 } ], [ { 33, 34, 95 }, { 33, 34, 94 }, { 34, 94, 95 }, { 33, 94, 95 } ], [ { 36, 37, 95 }, { 35, 37, 95 }, { 35, 36, 37 }, { 35, 36, 95 } ], [ { 39, 42, 43 }, { 42, 43, 44 }, { 39, 40, 43, 44 }, { 40, 42, 44 }, { 39, 40, 42 } ], [ { 50, 97, 98 }, { 50, 96, 98 }, { 50, 96, 97 }, { 96, 97, 98 } ], [ { 46, 47, 48 }, { 47, 48, 50 }, { 46, 48, 50 }, { 46, 47, 50 } ], [ { 50, 51, 54 }, { 51, 53, 54 }, { 48, 50, 53, 54 }, { 48, 51, 53 }, { 48, 50, 51 } ], [ { 54, 57, 58 }, { 53, 57, 58 }, { 53, 54, 58 }, { 53, 54, 57 } ], [ { 57, 58, 59 }, { 54, 58, 59 }, { 54, 57, 58 }, { 54, 57, 59 } ], [ { 54, 99, 100 }, { 7, 99, 100 }, { 7, 54, 100 }, { 7, 54, 99 } ], [ { 54, 60, 101 }, { 7, 60, 101 }, { 7, 54, 101 }, { 7, 54, 60 } ], [ { 1, 60, 100 }, { 1, 7, 60 }, { 7, 60, 100 }, { 1, 7, 100 } ], [ { 63, 103, 104 }, { 63, 102, 104 }, { 102, 103, 104 }, { 63, 102, 103 } ], [ { 62, 63, 64 }, { 63, 64, 102 }, { 62, 64, 102 }, { 62, 63, 102 } ], [ { 9, 10, 67, 68 }, { 9, 65, 68 }, { 65, 67, 68 }, { 9, 10, 65 }, { 10, 65, 67 } ], [ { 9, 69, 105 }, { 9, 68, 105 }, { 68, 69, 105 }, { 9, 68, 69 } ], [ { 9, 69, 70 }, { 9, 65, 70 }, { 65, 69, 70 }, { 9, 65, 69 } ], [ { 70, 72, 73 }, { 70, 73, 106 }, { 70, 72, 106 }, { 72, 73, 106 } ], [ { 17, 76, 108 }, { 17, 76, 107 }, { 76, 107, 108 }, { 17, 107, 108 } ], [ { 17, 76, 77 }, { 75, 76, 77 }, { 17, 75, 77 }, { 17, 75, 76 } ], [ { 13, 77, 80 }, { 77, 79, 80 }, { 13, 79, 80 }, { 13, 77, 79 } ], [ { 14, 17, 77 }, { 13, 14, 77 }, { 13, 17, 77 }, { 13, 14, 17 } ], [ { 13, 109, 110 }, { 79, 109, 110 }, { 13, 79, 110 }, { 13, 79, 109 } ], [ { 62, 82, 111 }, { 73, 82, 111 }, { 62, 73, 82 }, { 62, 73, 111 } ], [ { 85, 87, 112 }, { 84, 85, 87 }, { 84, 87, 112 }, { 84, 85, 112 } ], [ { 85, 86, 89 }, { 84, 86, 89 }, { 84, 85, 86 }, { 84, 85, 89 } ], [ { 24, 29, 89, 113 }, { 24, 26, 113, 114 }, { 24, 26, 29 }, { 26, 29, 89, 114 }, { 89, 113, 114 } ], [ { 22, 29, 69 }, { 22, 23, 24, 29 }, { 24, 29, 69 }, { 23, 24, 69 }, { 22, 23, 69 } ], [ { 69, 90, 92 }, { 29, 90, 92 }, { 29, 69, 92 }, { 29, 69, 90 } ], [ { 91, 92, 112 }, { 69, 91, 92 }, { 69, 92, 112 }, { 69, 91, 112 } ], [ { 33, 34, 95 }, { 33, 34, 93 }, { 34, 93, 95 }, { 33, 93, 95 } ], [ { 33, 37, 95 }, { 33, 35, 37 }, { 35, 37, 95 }, { 33, 35, 95 } ], [ { 39, 40, 46 }, { 39, 40, 102 }, { 40, 46, 102 }, { 39, 46, 102 } ], [ { 39, 40, 43, 44 }, { 39, 43, 102 }, { 43, 44, 102 }, { 39, 40, 102 }, { 40, 44, 102 } ], [ { 43, 44, 57 }, { 43, 44, 102 }, { 44, 57, 102 }, { 43, 57, 102 } ], [ { 50, 54, 97 }, { 50, 54, 96 }, { 50, 96, 97 }, { 54, 96, 97 } ], [ { 46, 50, 54, 57 }, { 53, 54, 57 }, { 48, 50, 53, 54 }, { 46, 48, 53, 57 }, { 46, 48, 50 } ], [ { 57, 59, 60 }, { 54, 59, 60 }, { 54, 57, 60 }, { 54, 57, 59 } ], [ { 54, 60, 100 }, { 7, 60, 100 }, { 7, 54, 60 }, { 7, 54, 100 } ], [ { 62, 64, 73 }, { 62, 64, 102 }, { 64, 73, 102 }, { 62, 73, 102 } ], [ { 63, 64, 103 }, { 63, 64, 102 }, { 64, 102, 103 }, { 63, 102, 103 } ], [ { 64, 73, 103 }, { 64, 103, 115 }, { 64, 73, 115 }, { 73, 103, 115 } ], [ { 68, 103, 117, 119 }, { 103, 116, 117 }, { 68, 103, 116, 118 }, { 116, 117, 118, 119 }, { 68, 118, 119 } ], [ { 9, 68, 69 }, { 9, 65, 69 }, { 9, 65, 68 }, { 65, 68, 69 } ], [ { 68, 73, 120 }, { 65, 73, 120 }, { 65, 68, 120 }, { 65, 68, 73 } ], [ { 69, 70, 73 }, { 65, 70, 73 }, { 65, 69, 70 }, { 65, 69, 73 } ], [ { 72, 73, 106 }, { 13, 72, 73 }, { 13, 73, 106 }, { 13, 72, 106 } ], [ { 69, 70, 73 }, { 70, 73, 106 }, { 69, 70, 106 }, { 69, 73, 106 } ], [ { 17, 76, 107 }, { 17, 76, 100 }, { 76, 100, 107 }, { 17, 100, 107 } ], [ { 13, 17, 77 }, { 13, 77, 79 }, { 13, 17, 76, 79 }, { 76, 77, 79 }, { 17, 76, 77 } ], [ { 13, 93, 110 }, { 79, 93, 110 }, { 13, 79, 110 }, { 13, 79, 93 } ], [ { 93, 100, 121, 122 }, { 76, 79, 93, 100 }, { 79, 93, 121 }, { 76, 79, 121, 122 }, { 76, 100, 122 } ], [ { 62, 73, 111 }, { 62, 102, 111 }, { 73, 102, 111 }, { 62, 73, 102 } ], [ { 17, 82, 111 }, { 73, 82, 111 }, { 17, 73, 82 }, { 17, 73, 111 } ], [ { 85, 89, 112 }, { 84, 85, 89 }, { 84, 89, 112 }, { 84, 85, 112 } ], [ { 24, 29, 69 }, { 29, 69, 84, 89 }, { 24, 69, 84, 113 }, { 24, 29, 89, 113 }, { 84, 89, 113 } ], [ { 69, 92, 112 }, { 29, 92, 112 }, { 29, 69, 92 }, { 29, 69, 112 } ], [ { 33, 35, 95 }, { 33, 93, 95 }, { 33, 35, 93 }, { 35, 93, 95 } ], [ { 39, 43, 46, 57 }, { 46, 57, 102 }, { 43, 57, 102 }, { 39, 43, 102 }, { 39, 46, 102 } ], [ { 46, 50, 54, 57 }, { 54, 57, 96 }, { 50, 54, 96 }, { 46, 50, 96 }, { 46, 57, 96 } ], [ { 57, 60, 100 }, { 54, 60, 100 }, { 54, 57, 60 }, { 54, 57, 100 } ], [ { 17, 57, 111 }, { 17, 102, 111 }, { 57, 102, 111 }, { 17, 57, 102 } ], [ { 17, 100, 123 }, { 17, 57, 100 }, { 17, 57, 123 }, { 57, 100, 123 } ], [ { 64, 73, 103 }, { 64, 102, 103 }, { 64, 73, 102 }, { 73, 102, 103 } ], [ { 68, 73, 103 }, { 73, 103, 116 }, { 68, 103, 116, 118 }, { 68, 73, 118 }, { 73, 116, 118 } ], [ { 68, 69, 73 }, { 65, 69, 73 }, { 65, 68, 73 }, { 65, 68, 69 } ], [ { 69, 73, 106 }, { 13, 69, 73 }, { 13, 73, 106 }, { 13, 69, 106 } ], [ { 13, 17, 124, 125 }, { 13, 73, 124 }, { 13, 17, 73 }, { 17, 73, 125 }, { 73, 124, 125 } ], [ { 13, 17, 93, 100 }, { 76, 79, 93, 100 }, { 13, 79, 93 }, { 13, 17, 76, 79 }, { 17, 76, 100 } ], [ { 17, 73, 111 }, { 17, 102, 111 }, { 73, 102, 111 }, { 17, 73, 102 } ], [ { 29, 69, 112 }, { 69, 84, 112 }, { 29, 69, 84, 89 }, { 84, 89, 112 }, { 29, 89, 112 } ], [ { 35, 69, 93 }, { 13, 35, 69 }, { 13, 69, 93 }, { 13, 35, 93 } ], [ { 35, 95, 126 }, { 93, 95, 126 }, { 35, 93, 126 }, { 35, 93, 95 } ], [ { 46, 57, 102 }, { 46, 57, 96 }, { 46, 96, 102 }, { 57, 96, 102 } ], [ { 54, 57, 100 }, { 57, 96, 100 }, { 54, 96, 100 }, { 54, 57, 96 } ], [ { 17, 57, 100 }, { 17, 100, 102 }, { 17, 57, 102 }, { 57, 100, 102 } ], [ { 68, 69, 73 }, { 69, 73, 102 }, { 68, 69, 102, 103 }, { 68, 73, 103 }, { 73, 102, 103 } ], [ { 69, 73, 93 }, { 13, 69, 73 }, { 13, 73, 93 }, { 13, 69, 93 } ], [ { 73, 93, 100 }, { 13, 73, 93 }, { 13, 17, 93, 100 }, { 13, 17, 73 }, { 17, 73, 100 } ], [ { 17, 73, 100 }, { 17, 73, 102 }, { 17, 100, 102 }, { 73, 100, 102 } ], [ { 69, 112, 127, 129 }, { 69, 84, 112 }, { 69, 84, 127, 128 }, { 84, 112, 128, 129 }, { 127, 128, 129 } ], [ { 35, 69, 126 }, { 69, 93, 126 }, { 35, 93, 126 }, { 35, 69, 93 } ], [ { 57, 100, 102 }, { 57, 96, 100 }, { 96, 100, 102 }, { 57, 96, 102 } ], [ { 73, 100, 102 }, { 73, 93, 100 }, { 69, 93, 100, 102 }, { 69, 73, 93 }, { 69, 73, 102 } ], [ { 69, 102, 127 }, { 69, 84, 127, 128 }, { 69, 84, 102, 130 }, { 102, 127, 128, 130 }, { 84, 128, 130 } ], [ { 69, 93, 100, 102 }, { 96, 100, 102 }, { 93, 96, 100, 126 }, { 69, 96, 102, 126 }, { 69, 93, 126 } ], [ { 69, 96, 102, 126 }, { 96, 102, 127, 131 }, { 69, 102, 127 }, { 69, 126, 127, 131 }, { 96, 126, 131 } ] ] /* Order of PGL_2(O) stabilizers of Voronoi top cells */ [ 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 6, 1, 3 ] /* GAP id of GL_2(O) stabilizers of Voronoi top cells */ [ <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <12, 1>, <2, 1>, <6, 2> ]