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