/* Defining polynomial */ x^2 - x + 81 /* Minimal vectors */ [ <4*w + 49, -6*w + 6>, <-4*w + 61, -3*w - 52>, <7*w + 104, -12*w + 3>, <8*w, -4*w + 53>, , <-4*w + 49, -2*w - 47>, <-3*w + 55, -3*w - 43>, <4*w + 61, -7*w + 1>, <7*w + 6, -4*w + 44>, <14*w, -7*w + 93>, <-w + 7, -10>, <2*w + 11, -2*w + 7>, <-w + 20, -w - 16>, , <3*w + 5, -2*w + 17>, <3*w + 18, -3*w + 11>, <-3*w + 33, -w - 34>, <-4*w + 65, -3*w - 55>, <13, -w - 6>, <-5*w + 34, -47>, <-2*w + 13, -18>, , <-w + 32, -2*w - 20>, <-3*w + 77, -5*w - 64>, <-4*w + 84, -5*w - 75>, <7*w + 84, -12*w + 5>, <11*w, -7*w + 80>, , <-4*w + 73, -4*w - 69>, <-5*w + 69, -3*w - 74>, <7*w + 73, -11*w + 11>, <-12*w + 7, 7*w - 91>, <-5*w + 80, -4*w - 80>, <18*w + 73, -18*w + 91>, <-9*w + 164, -9*w - 155>, <-22*w + 11, 13*w - 166>, <-13*w + 248, -14*w - 230>, <13*w + 153, -22*w + 11>, <-14*w + 244, -13*w - 235>, <-2*w + 2, w - 15>, , <-w + 18, -w - 16>, <-6*w + 29, w - 57>, , <23, -2*w - 11>, <3*w + 13, -3*w + 14>, , <2*w + 20, -3*w + 3>, <35, -3*w - 19>, <1, -1>, , , <-w + 8, -12>, <12, -w - 7>, <-4*w + 8, 2*w - 31>, <-w + 8, -11>, , <13, -w - 7>, , <2*w + 22, -3*w + 1>, , <-2*w + 3, w - 15>, , <3*w + 14, -3*w + 12>, <-3*w + 23, -32>, <37, -3*w - 20>, <4*w + 6, -3*w + 23>, <-w + 6, -9>, <3*w + 55, -6*w - 3>, <-7*w + 6, 3*w - 49>, <12, -w - 5>, <1, 0>, <-w + 7, -9>, , , <3*w + 19, -3*w + 11>, <-w + 19, -w - 15>, <38, -3*w - 17>, <-3*w + 20, -28>, <6*w + 80, -11*w>, <-11*w + 11, 6*w - 86>, <-6*w + 76, -3*w - 85>, <-w + 7, -11>, <6*w + 58, -9*w + 12>, <7*w + 62, -10*w + 17>, <6*w + 69, -10*w + 6>, <2*w + 10, -2*w + 9>, <12, -w - 6>, , <2*w + 9, -2*w + 9>, <3*w + 14, -3*w + 13>, <-3*w + 22, -32>, <5*w + 22, -5*w + 23>, <-2*w + 26, -w - 28>, , <5*w + 4, -3*w + 30>, <-3*w + 8, w - 23>, <-5*w + 9, 2*w - 36>, <4*w + 36, -5*w + 9>, <-172*w + 3, 109*w - 1253>, <33*w + 134, -33*w + 167>, <-139*w + 137, 76*w - 1086>, <-31*w + 197, 2*w - 333>, <2*w + 331, -31*w - 166>, <-170*w + 334, 78*w - 1419>, <76*w + 1010, -139*w + 2>, <109*w + 1144, -172*w + 169>, <-63*w + 1147, -63*w - 1084>, <78*w + 1341, -170*w - 164>, <-94*w + 1344, -61*w - 1417>, <-61*w + 1478, -94*w - 1250>, <-5*w + 91, -5*w - 86>, <28*w + 225, -38*w + 81>, <-w + 31, -2*w - 23>, <-w + 6, -10>, <-w + 18, -w - 15>, , <2*w + 24, -3*w + 2>, <-2*w + 26, -w - 25>, <11, -w - 6>, , <-w + 5, -10>, , <-w + 6, -11>, <10, -w - 5>, <10, -w - 4>, <11, -w - 5>, <0, 1> ] /* Voronoi top cells */ [ { 1, 2, 3, 4 }, { 4, 5, 6, 7, 8 }, { 2, 8, 9, 10 }, { 11, 12, 13, 14 }, { 15, 16, 17, 18 }, { 16, 17, 19, 20 }, { 5, 21, 22, 23 }, { 24, 25, 26, 27 }, { 24, 27, 28, 29 }, { 28, 29, 30, 31 }, { 30, 31, 32, 33 }, { 27, 31, 34, 35 }, { 25, 35, 36, 37 }, { 33, 35, 38, 39 }, { 40, 41, 42, 43 }, { 40, 42, 44, 45 }, { 28, 46, 47, 48, 49 }, { 50, 51, 52, 53, 54 }, { 52, 54, 55, 56 }, { 50, 52, 56, 57 }, { 56, 57, 58, 59 }, { 56, 58, 60, 61 }, { 62, 63, 64, 65, 66 }, { 56, 62, 64, 67 }, { 56, 60, 63, 64 }, { 1, 4, 5, 68 }, { 1, 2, 4, 68 }, { 1, 2, 68, 69 }, { 2, 9, 70, 71 }, { 5, 8, 9, 71 }, { 2, 4, 5, 8 }, { 2, 8, 9, 71 }, { 72, 73, 74, 75 }, { 5, 21, 68, 76 }, { 11, 12, 13, 19 }, { 15, 16, 77, 78 }, { 5, 16, 77, 78, 79 }, { 15, 16, 17, 19 }, { 5, 16, 19, 79 }, { 5, 19, 21, 22 }, { 24, 25, 27, 28 }, { 27, 28, 29, 31 }, { 28, 30, 31, 33 }, { 25, 27, 31, 33, 35 }, { 25, 35, 36, 80 }, { 33, 35, 38, 81 }, { 35, 36, 38, 80, 81 }, { 28, 30, 33, 82 }, { 83, 84, 85, 86 }, { 40, 41, 42, 44 }, { 40, 44, 45, 87 }, { 40, 87, 88, 89 }, { 62, 63, 90, 91, 92 }, { 46, 90, 93, 94 }, { 28, 46, 47, 49, 90 }, { 28, 50, 53, 54 }, { 50, 52, 54, 56 }, { 50, 56, 57, 58 }, { 56, 58, 60, 63 }, { 28, 47, 54, 56 }, { 56, 62, 63, 64 }, { 2, 4, 5, 68 }, { 2, 68, 69, 70, 71 }, { 2, 5, 8, 71 }, { 68, 72, 73, 74 }, { 5, 21, 68, 73 }, { 11, 12, 19, 95 }, { 15, 19, 96, 97, 98, 99 }, { 5, 15, 16, 19, 77 }, { 5, 19, 21, 73 }, { 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111 }, { 80, 101, 103, 112, 113 }, { 25, 27, 28, 31, 33 }, { 25, 33, 35, 80, 81 }, { 28, 33, 82, 83, 85, 86 }, { 40, 41, 44, 83 }, { 40, 44, 87, 88 }, { 63, 88, 90, 91, 114 }, { 28, 47, 62, 63, 90 }, { 28, 46, 83, 90, 94 }, { 28, 50, 54, 56 }, { 50, 56, 58, 63 }, { 28, 47, 56, 62, 63 }, { 5, 71, 115, 116 }, { 2, 5, 68, 71 }, { 5, 68, 72, 73 }, { 11, 19, 50, 95 }, { 5, 11, 15, 19, 77, 97, 117, 118, 119 }, { 19, 50, 72, 73, 95 }, { 5, 19, 72, 73 }, { 80, 81, 101, 103, 104, 112 }, { 25, 28, 33, 80, 81 }, { 28, 33, 81, 83, 86 }, { 40, 44, 83, 88 }, { 28, 63, 83, 88, 90 }, { 28, 50, 56, 63 }, { 5, 68, 71, 72, 115 }, { 5, 11, 19, 50, 72 }, { 28, 80, 81, 83, 112, 120 }, { 28, 44, 50, 63, 83, 88 }, { 5, 11, 44, 50, 72, 115 }, { 28, 44, 50, 83, 120, 121 }, { 44, 50, 72, 115, 121, 122, 123, 124, 125, 126, 127, 128 } ] /* Faces of top cells */ [ [ { 2, 3, 4 }, { 1, 3, 4 }, { 1, 2, 4 }, { 1, 2, 3 } ], [ { 4, 6, 7, 8 }, { 5, 7, 8 }, { 5, 6, 7 }, { 4, 5, 8 }, { 4, 5, 6 } ], [ { 2, 8, 10 }, { 8, 9, 10 }, { 2, 9, 10 }, { 2, 8, 9 } ], [ { 12, 13, 14 }, { 11, 13, 14 }, { 11, 12, 14 }, { 11, 12, 13 } ], [ { 16, 17, 18 }, { 15, 17, 18 }, { 15, 16, 18 }, { 15, 16, 17 } ], [ { 16, 17, 20 }, { 17, 19, 20 }, { 16, 19, 20 }, { 16, 17, 19 } ], [ { 21, 22, 23 }, { 5, 22, 23 }, { 5, 21, 23 }, { 5, 21, 22 } ], [ { 25, 26, 27 }, { 24, 26, 27 }, { 24, 25, 27 }, { 24, 25, 26 } ], [ { 24, 27, 29 }, { 24, 27, 28 }, { 27, 28, 29 }, { 24, 28, 29 } ], [ { 29, 30, 31 }, { 28, 29, 31 }, { 28, 30, 31 }, { 28, 29, 30 } ], [ { 30, 31, 33 }, { 31, 32, 33 }, { 30, 32, 33 }, { 30, 31, 32 } ], [ { 27, 34, 35 }, { 27, 31, 35 }, { 27, 31, 34 }, { 31, 34, 35 } ], [ { 25, 35, 37 }, { 35, 36, 37 }, { 25, 36, 37 }, { 25, 35, 36 } ], [ { 35, 38, 39 }, { 33, 35, 39 }, { 33, 38, 39 }, { 33, 35, 38 } ], [ { 41, 42, 43 }, { 40, 42, 43 }, { 40, 41, 43 }, { 40, 41, 42 } ], [ { 42, 44, 45 }, { 40, 42, 45 }, { 40, 44, 45 }, { 40, 42, 44 } ], [ { 28, 47, 48 }, { 28, 46, 48 }, { 28, 46, 47, 49 }, { 47, 48, 49 }, { 46, 48, 49 } ], [ { 51, 52, 53, 54 }, { 50, 51, 53 }, { 50, 51, 52 }, { 50, 52, 54 }, { 50, 53, 54 } ], [ { 54, 55, 56 }, { 52, 54, 56 }, { 52, 54, 55 }, { 52, 55, 56 } ], [ { 52, 56, 57 }, { 50, 56, 57 }, { 50, 52, 56 }, { 50, 52, 57 } ], [ { 56, 58, 59 }, { 57, 58, 59 }, { 56, 57, 59 }, { 56, 57, 58 } ], [ { 58, 60, 61 }, { 56, 60, 61 }, { 56, 58, 61 }, { 56, 58, 60 } ], [ { 63, 64, 65 }, { 62, 63, 65, 66 }, { 62, 63, 64 }, { 64, 65, 66 }, { 62, 64, 66 } ], [ { 56, 64, 67 }, { 56, 62, 64 }, { 62, 64, 67 }, { 56, 62, 67 } ], [ { 56, 60, 64 }, { 60, 63, 64 }, { 56, 60, 63 }, { 56, 63, 64 } ], [ { 1, 4, 5 }, { 1, 4, 68 }, { 4, 5, 68 }, { 1, 5, 68 } ], [ { 1, 2, 4 }, { 2, 4, 68 }, { 1, 4, 68 }, { 1, 2, 68 } ], [ { 1, 2, 69 }, { 2, 68, 69 }, { 1, 2, 68 }, { 1, 68, 69 } ], [ { 2, 9, 71 }, { 2, 70, 71 }, { 2, 9, 70 }, { 9, 70, 71 } ], [ { 8, 9, 71 }, { 5, 8, 71 }, { 5, 8, 9 }, { 5, 9, 71 } ], [ { 2, 4, 8 }, { 4, 5, 8 }, { 2, 4, 5 }, { 2, 5, 8 } ], [ { 2, 8, 71 }, { 2, 8, 9 }, { 8, 9, 71 }, { 2, 9, 71 } ], [ { 73, 74, 75 }, { 72, 74, 75 }, { 72, 73, 75 }, { 72, 73, 74 } ], [ { 5, 21, 76 }, { 21, 68, 76 }, { 5, 68, 76 }, { 5, 21, 68 } ], [ { 12, 13, 19 }, { 11, 13, 19 }, { 11, 12, 13 }, { 11, 12, 19 } ], [ { 16, 77, 78 }, { 15, 77, 78 }, { 15, 16, 78 }, { 15, 16, 77 } ], [ { 5, 77, 78, 79 }, { 5, 16, 79 }, { 5, 16, 77 }, { 16, 77, 78 }, { 16, 78, 79 } ], [ { 16, 17, 19 }, { 15, 16, 17 }, { 15, 17, 19 }, { 15, 16, 19 } ], [ { 16, 19, 79 }, { 5, 16, 79 }, { 5, 19, 79 }, { 5, 16, 19 } ], [ { 19, 21, 22 }, { 5, 19, 22 }, { 5, 21, 22 }, { 5, 19, 21 } ], [ { 24, 25, 27 }, { 25, 27, 28 }, { 24, 27, 28 }, { 24, 25, 28 } ], [ { 27, 29, 31 }, { 27, 28, 31 }, { 27, 28, 29 }, { 28, 29, 31 } ], [ { 30, 31, 33 }, { 28, 31, 33 }, { 28, 30, 33 }, { 28, 30, 31 } ], [ { 25, 33, 35 }, { 31, 33, 35 }, { 25, 27, 31, 33 }, { 27, 31, 35 }, { 25, 27, 35 } ], [ { 25, 35, 80 }, { 25, 35, 36 }, { 35, 36, 80 }, { 25, 36, 80 } ], [ { 33, 35, 38 }, { 35, 38, 81 }, { 33, 35, 81 }, { 33, 38, 81 } ], [ { 35, 80, 81 }, { 35, 36, 80 }, { 36, 38, 80, 81 }, { 35, 36, 38 }, { 35, 38, 81 } ], [ { 30, 33, 82 }, { 28, 33, 82 }, { 28, 30, 33 }, { 28, 30, 82 } ], [ { 84, 85, 86 }, { 83, 85, 86 }, { 83, 84, 86 }, { 83, 84, 85 } ], [ { 41, 42, 44 }, { 40, 41, 42 }, { 40, 42, 44 }, { 40, 41, 44 } ], [ { 44, 45, 87 }, { 40, 45, 87 }, { 40, 44, 45 }, { 40, 44, 87 } ], [ { 87, 88, 89 }, { 40, 88, 89 }, { 40, 87, 89 }, { 40, 87, 88 } ], [ { 63, 90, 91 }, { 62, 63, 91, 92 }, { 62, 63, 90 }, { 90, 91, 92 }, { 62, 90, 92 } ], [ { 46, 93, 94 }, { 90, 93, 94 }, { 46, 90, 94 }, { 46, 90, 93 } ], [ { 28, 46, 47, 49 }, { 28, 47, 90 }, { 28, 46, 90 }, { 46, 49, 90 }, { 47, 49, 90 } ], [ { 28, 53, 54 }, { 50, 53, 54 }, { 28, 50, 54 }, { 28, 50, 53 } ], [ { 52, 54, 56 }, { 50, 54, 56 }, { 50, 52, 54 }, { 50, 52, 56 } ], [ { 56, 57, 58 }, { 50, 56, 58 }, { 50, 57, 58 }, { 50, 56, 57 } ], [ { 56, 58, 60 }, { 58, 60, 63 }, { 56, 60, 63 }, { 56, 58, 63 } ], [ { 47, 54, 56 }, { 28, 47, 54 }, { 28, 47, 56 }, { 28, 54, 56 } ], [ { 56, 63, 64 }, { 56, 62, 64 }, { 62, 63, 64 }, { 56, 62, 63 } ], [ { 2, 4, 5 }, { 2, 4, 68 }, { 4, 5, 68 }, { 2, 5, 68 } ], [ { 2, 68, 71 }, { 2, 70, 71 }, { 68, 69, 70, 71 }, { 2, 69, 70 }, { 2, 68, 69 } ], [ { 2, 8, 71 }, { 2, 5, 8 }, { 5, 8, 71 }, { 2, 5, 71 } ], [ { 68, 73, 74 }, { 72, 73, 74 }, { 68, 72, 74 }, { 68, 72, 73 } ], [ { 5, 21, 73 }, { 21, 68, 73 }, { 5, 21, 68 }, { 5, 68, 73 } ], [ { 11, 12, 19 }, { 12, 19, 95 }, { 11, 19, 95 }, { 11, 12, 95 } ], [ { 15, 19, 97 }, { 15, 19, 96 }, { 19, 96, 98 }, { 19, 97, 98 }, { 97, 98, 99 }, { 15, 96, 99 }, { 96, 98, 99 }, { 15, 97, 99 } ], [ { 5, 16, 19 }, { 15, 16, 19 }, { 5, 15, 19, 77 }, { 5, 16, 77 }, { 15, 16, 77 } ], [ { 19, 21, 73 }, { 5, 19, 21 }, { 5, 19, 73 }, { 5, 21, 73 } ], [ { 100, 101, 102, 104, 108, 111 }, { 101, 103, 104 }, { 102, 103, 104, 105, 106, 109 }, { 101, 103, 106, 107, 108, 110 }, { 100, 105, 107, 109, 110, 111 }, { 100, 107, 108 }, { 105, 106, 110 }, { 102, 109, 111 } ], [ { 101, 112, 113 }, { 80, 112, 113 }, { 80, 101, 103, 112 }, { 101, 103, 113 }, { 80, 103, 113 } ], [ { 25, 27, 31, 33 }, { 25, 28, 33 }, { 28, 31, 33 }, { 27, 28, 31 }, { 25, 27, 28 } ], [ { 35, 80, 81 }, { 33, 35, 81 }, { 25, 33, 80, 81 }, { 25, 35, 80 }, { 25, 33, 35 } ], [ { 83, 85, 86 }, { 28, 33, 83, 86 }, { 28, 82, 83, 85 }, { 33, 82, 85, 86 }, { 28, 33, 82 } ], [ { 41, 44, 83 }, { 40, 41, 83 }, { 40, 41, 44 }, { 40, 44, 83 } ], [ { 44, 87, 88 }, { 40, 87, 88 }, { 40, 44, 88 }, { 40, 44, 87 } ], [ { 63, 88, 91, 114 }, { 63, 90, 91 }, { 63, 88, 90 }, { 88, 90, 114 }, { 90, 91, 114 } ], [ { 28, 63, 90 }, { 62, 63, 90 }, { 28, 47, 62, 63 }, { 28, 47, 90 }, { 47, 62, 90 } ], [ { 28, 46, 90 }, { 28, 46, 83, 94 }, { 28, 83, 90 }, { 83, 90, 94 }, { 46, 90, 94 } ], [ { 28, 54, 56 }, { 50, 54, 56 }, { 28, 50, 54 }, { 28, 50, 56 } ], [ { 56, 58, 63 }, { 50, 56, 58 }, { 50, 58, 63 }, { 50, 56, 63 } ], [ { 28, 56, 63 }, { 56, 62, 63 }, { 28, 47, 62, 63 }, { 47, 56, 62 }, { 28, 47, 56 } ], [ { 5, 71, 116 }, { 71, 115, 116 }, { 5, 115, 116 }, { 5, 71, 115 } ], [ { 2, 5, 71 }, { 2, 68, 71 }, { 2, 5, 68 }, { 5, 68, 71 } ], [ { 5, 68, 73 }, { 5, 72, 73 }, { 68, 72, 73 }, { 5, 68, 72 } ], [ { 11, 19, 95 }, { 11, 19, 50 }, { 19, 50, 95 }, { 11, 50, 95 } ], [ { 5, 11, 19 }, { 5, 15, 19, 77 }, { 15, 19, 97 }, { 11, 19, 97, 117 }, { 5, 11, 77, 117, 118, 119 }, { 15, 77, 118 }, { 15, 97, 118, 119 }, { 97, 117, 119 } ], [ { 19, 50, 95 }, { 19, 50, 72 }, { 50, 72, 73, 95 }, { 19, 72, 73 }, { 19, 73, 95 } ], [ { 5, 19, 73 }, { 19, 72, 73 }, { 5, 19, 72 }, { 5, 72, 73 } ], [ { 80, 101, 103, 112 }, { 81, 101, 104, 112 }, { 80, 81, 112 }, { 80, 81, 103, 104 }, { 101, 103, 104 } ], [ { 25, 33, 80, 81 }, { 28, 80, 81 }, { 28, 33, 81 }, { 25, 28, 33 }, { 25, 28, 80 } ], [ { 81, 83, 86 }, { 28, 33, 83, 86 }, { 28, 81, 83 }, { 28, 33, 81 }, { 33, 81, 86 } ], [ { 44, 83, 88 }, { 40, 83, 88 }, { 40, 44, 88 }, { 40, 44, 83 } ], [ { 28, 83, 90 }, { 28, 63, 90 }, { 28, 63, 83, 88 }, { 63, 88, 90 }, { 83, 88, 90 } ], [ { 28, 56, 63 }, { 50, 56, 63 }, { 28, 50, 56 }, { 28, 50, 63 } ], [ { 5, 68, 72 }, { 5, 72, 115 }, { 68, 71, 72, 115 }, { 5, 68, 71 }, { 5, 71, 115 } ], [ { 5, 19, 72 }, { 19, 50, 72 }, { 5, 11, 50, 72 }, { 5, 11, 19 }, { 11, 19, 50 } ], [ { 28, 83, 120 }, { 28, 81, 83 }, { 28, 80, 81 }, { 28, 80, 120 }, { 80, 112, 120 }, { 80, 81, 112 }, { 83, 112, 120 }, { 81, 83, 112 } ], [ { 44, 50, 63, 88 }, { 28, 44, 50, 83 }, { 28, 50, 63 }, { 28, 63, 83, 88 }, { 44, 83, 88 } ], [ { 5, 11, 50, 72 }, { 44, 50, 72, 115 }, { 5, 72, 115 }, { 5, 11, 44, 115 }, { 11, 44, 50 } ], [ { 44, 50, 121 }, { 28, 44, 50, 83 }, { 28, 50, 120, 121 }, { 44, 83, 120, 121 }, { 28, 83, 120 } ], [ { 44, 50, 121 }, { 44, 50, 72, 115 }, { 44, 121, 124, 127 }, { 72, 115, 122 }, { 115, 122, 123, 127 }, { 50, 121, 125, 128 }, { 123, 124, 125, 126 }, { 121, 124, 125 }, { 72, 122, 126, 128 }, { 122, 123, 126 }, { 44, 115, 127 }, { 123, 124, 127 }, { 125, 126, 128 }, { 50, 72, 128 } ] ] /* Order of PGL_2(O) stabilizers of Voronoi top cells */ [ 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, 3, 1, 1, 12, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 3, 1, 2, 3, 12 ] /* GAP id of GL_2(O) stabilizers of Voronoi top cells */ [ <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>, <6, 2>, <2, 1>, <2, 1>, <24, 3>, <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>, <6, 2>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <4, 1>, <6, 2>, <24, 3> ]