:name snub dodecahedron (laevo) :number 21 :symbol @"s" left { pile { 3 above 5 } right }@ @sB sub 5 @ :dual pentagonal hexacontahedron (dextro) :sfaces 92 80{3} 12{5} :svertices 60 60(@3 sup 4@.@5@) :net 92 5 5 26 17 16 24 28 3 10 9 16 3 16 9 15 3 16 15 24 3 9 8 15 3 9 5 8 3 5 2 4 3 5 4 8 3 8 4 7 3 35 34 45 3 45 34 44 3 45 44 57 3 34 33 44 3 34 24 33 3 24 15 23 3 24 23 33 3 33 23 32 5 15 11 12 18 23 5 47 36 32 43 49 3 23 22 32 3 32 22 31 3 32 31 43 3 22 21 31 3 22 14 21 3 14 6 13 3 14 13 21 3 21 13 20 3 56 55 67 3 67 55 66 3 67 66 79 3 55 54 66 3 55 43 54 3 43 31 42 3 43 42 54 3 54 42 53 5 31 25 27 37 42 5 69 58 53 65 71 3 42 41 53 3 53 41 52 3 53 52 65 3 41 40 52 3 41 30 40 3 30 19 29 3 30 29 40 3 40 29 39 3 78 77 88 3 88 77 87 3 88 87 98 3 77 76 87 3 77 65 76 3 65 52 64 3 65 64 76 3 76 64 75 5 52 46 48 59 64 5 90 80 75 86 92 3 64 63 75 3 75 63 74 3 75 74 86 3 63 62 74 3 63 51 62 3 51 38 50 3 51 50 62 3 62 50 61 3 97 96 104 3 104 96 103 3 104 103 111 3 96 95 103 3 96 86 95 3 86 74 85 3 86 85 95 3 95 85 94 5 74 68 70 81 85 5 105 99 94 102 106 3 85 84 94 3 94 84 93 3 94 93 102 3 84 83 93 3 84 73 83 3 73 60 72 3 73 72 83 3 83 72 82 3 110 109 113 3 113 109 112 3 113 112 115 3 109 108 112 3 109 102 108 3 102 93 101 3 102 101 108 3 108 101 107 5 93 89 91 100 101 5 2 0 1 3 4 5 116 114 113 115 117 :hinges 91 0 2 3 2 2.6691306336257561 1 1 2 0 2.8654006883447286 2 2 3 0 2.8654006883447286 4 2 2 1 2.8654006883447286 5 2 4 0 2.8654006883447286 7 2 5 1 2.8654006883447286 6 2 7 0 2.8654006883447286 8 0 7 1 2.8654006883447286 9 1 10 0 2.8654006883447286 10 2 11 0 2.8654006883447286 10 1 12 2 2.8654006883447286 12 0 13 2 2.8654006883447286 13 1 15 2 2.8654006883447286 14 2 15 0 2.8654006883447286 15 1 16 0 2.8654006883447286 14 1 17 4 2.6691306336257561 3 1 14 0 2.8654006883447286 18 2 21 2 2.6691306336257561 19 1 20 0 2.8654006883447286 20 2 21 0 2.8654006883447286 22 2 20 1 2.8654006883447286 23 2 22 0 2.8654006883447286 25 2 23 1 2.8654006883447286 24 2 25 0 2.8654006883447286 26 0 25 1 2.8654006883447286 27 1 28 0 2.8654006883447286 28 2 29 0 2.8654006883447286 28 1 30 2 2.8654006883447286 30 0 31 2 2.8654006883447286 31 1 33 2 2.8654006883447286 32 2 33 0 2.8654006883447286 33 1 34 0 2.8654006883447286 32 1 35 4 2.6691306336257561 21 1 32 0 2.8654006883447286 19 2 16 1 2.8654006883447286 36 2 39 2 2.6691306336257561 37 1 38 0 2.8654006883447286 38 2 39 0 2.8654006883447286 40 2 38 1 2.8654006883447286 41 2 40 0 2.8654006883447286 43 2 41 1 2.8654006883447286 42 2 43 0 2.8654006883447286 44 0 43 1 2.8654006883447286 45 1 46 0 2.8654006883447286 46 2 47 0 2.8654006883447286 46 1 48 2 2.8654006883447286 48 0 49 2 2.8654006883447286 49 1 51 2 2.8654006883447286 50 2 51 0 2.8654006883447286 51 1 52 0 2.8654006883447286 50 1 53 4 2.6691306336257561 39 1 50 0 2.8654006883447286 37 2 34 1 2.8654006883447286 54 2 57 2 2.6691306336257561 55 1 56 0 2.8654006883447286 56 2 57 0 2.8654006883447286 58 2 56 1 2.8654006883447286 59 2 58 0 2.8654006883447286 61 2 59 1 2.8654006883447286 60 2 61 0 2.8654006883447286 62 0 61 1 2.8654006883447286 63 1 64 0 2.8654006883447286 64 2 65 0 2.8654006883447286 64 1 66 2 2.8654006883447286 66 0 67 2 2.8654006883447286 67 1 69 2 2.8654006883447286 68 2 69 0 2.8654006883447286 69 1 70 0 2.8654006883447286 68 1 71 4 2.6691306336257561 57 1 68 0 2.8654006883447286 55 2 52 1 2.8654006883447286 72 2 75 2 2.6691306336257561 73 1 74 0 2.8654006883447286 74 2 75 0 2.8654006883447286 76 2 74 1 2.8654006883447286 77 2 76 0 2.8654006883447286 79 2 77 1 2.8654006883447286 78 2 79 0 2.8654006883447286 80 0 79 1 2.8654006883447286 81 1 82 0 2.8654006883447286 82 2 83 0 2.8654006883447286 82 1 84 2 2.8654006883447286 84 0 85 2 2.8654006883447286 85 1 87 2 2.8654006883447286 86 2 87 0 2.8654006883447286 87 1 88 0 2.8654006883447286 86 1 89 4 2.6691306336257561 75 1 86 0 2.8654006883447286 73 2 70 1 2.8654006883447286 90 4 6 1 2.6691306336257561 91 2 83 2 2.6691306336257561 :dih 2 90 3 3 2.8654006883447286 60 3 5 2.6691306336257561 :vertices 118 -2.76387076764108[((-25/24)*sqrt(3)+(-1/8)*sqrt(15))+(-1/16+(-1/16)*sqrt(5))*sqrt(10-2*sqrt(5))] -2.16913060635886[(-13/8+(1/8)*sqrt(5))+((-1/16)*sqrt(3)+(-1/16)*sqrt(15))*sqrt(10-2*sqrt(5))] 0[0] -2.35713412456528[(-11/12)*sqrt(3)+(-1/32+(-1/32)*sqrt(5))*sqrt(10+2*sqrt(5))+(-3/32+(-1/32)*sqrt(5))*sqrt(10-2*sqrt(5))] -3.08267606400146[-7/4+((-1/32)*sqrt(3)+(-1/32)*sqrt(15))*sqrt(10+2*sqrt(5))+((-3/32)*sqrt(3)+(-1/32)*sqrt(15))*sqrt(10-2*sqrt(5))] 0[0] -2.02072594216369[(-7/6)*sqrt(3)] -1.5[-3/2] 0[0] -1.36261222919701[((-19/24)*sqrt(3)+(1/8)*sqrt(15))+(-1/32+(-1/32)*sqrt(5))*sqrt(10+2*sqrt(5))+(1/32+(-1/32)*sqrt(5))*sqrt(10-2*sqrt(5))] -2.97814760073381[(-15/8+(-1/8)*sqrt(5))+((-1/32)*sqrt(3)+(-1/32)*sqrt(15))*sqrt(10+2*sqrt(5))+((1/32)*sqrt(3)+(-1/32)*sqrt(15))*sqrt(10-2*sqrt(5))] 0[0] -1.15470053837925[(-2/3)*sqrt(3)] -2[-2] 0[0] -1.15470053837925[(-2/3)*sqrt(3)] -1[-1] 0[0] -.288675134594813[(-1/6)*sqrt(3)] -3.5[-7/2] 0[0] -.288675134594813[(-1/6)*sqrt(3)] -2.5[-5/2] 0[0] -.288675134594813[(-1/6)*sqrt(3)] -1.5[-3/2] 0[0] -.288675134594813[(-1/6)*sqrt(3)] -.5[-1/2] 0[0] -.288675134594813[(-1/6)*sqrt(3)] .5[1/2] 0[0] -.165794556287769[((11/24)*sqrt(3)+(-1/8)*sqrt(15))+(-1/16+(-1/16)*sqrt(5))*sqrt(10-2*sqrt(5))] -1.66913060635886[(-9/8+(1/8)*sqrt(5))+((-1/16)*sqrt(3)+(-1/16)*sqrt(15))*sqrt(10-2*sqrt(5))] 0[0] .240942086788032[(7/12)*sqrt(3)+(-1/32+(-1/32)*sqrt(5))*sqrt(10+2*sqrt(5))+(-3/32+(-1/32)*sqrt(5))*sqrt(10-2*sqrt(5))] -2.58267606400146[-5/4+((-1/32)*sqrt(3)+(-1/32)*sqrt(15))*sqrt(10+2*sqrt(5))+((-3/32)*sqrt(3)+(-1/32)*sqrt(15))*sqrt(10-2*sqrt(5))] 0[0] .577350269189626[(1/3)*sqrt(3)] -4[-4] 0[0] .577350269189626[(1/3)*sqrt(3)] -3[-3] 0[0] .577350269189626[(1/3)*sqrt(3)] -1[-1] 0[0] .577350269189626[(1/3)*sqrt(3)] 0[0] 0[0] .78526196000738501[((11/24)*sqrt(3)+(-1/8)*sqrt(15))+1/8*sqrt(10+2*sqrt(5))] .978147600733806[(-1/8+(1/8)*sqrt(5))+(1/8)*sqrt(3)*sqrt(10+2*sqrt(5))] 0[0] 1.2354639821563[((17/24)*sqrt(3)+(1/8)*sqrt(15))+(-1/32+(-1/32)*sqrt(5))*sqrt(10+2*sqrt(5))+(1/32+(-1/32)*sqrt(5))*sqrt(10-2*sqrt(5))] -2.47814760073381[(-11/8+(-1/8)*sqrt(5))+((-1/32)*sqrt(3)+(-1/32)*sqrt(15))*sqrt(10+2*sqrt(5))+((1/32)*sqrt(3)+(-1/32)*sqrt(15))*sqrt(10-2*sqrt(5))] 0[0] 1.44337567297406[(5/6)*sqrt(3)] -5.5[-11/2] 0[0] 1.44337567297406[(5/6)*sqrt(3)] -4.5[-9/2] 0[0] 1.44337567297406[(5/6)*sqrt(3)] -3.5[-7/2] 0[0] 1.44337567297406[(5/6)*sqrt(3)] -2.5[-5/2] 0[0] 1.44337567297406[(5/6)*sqrt(3)] -1.5[-3/2] 0[0] 1.44337567297406[(5/6)*sqrt(3)] -.5[-1/2] 0[0] 1.56625625128111[((35/24)*sqrt(3)+(-1/8)*sqrt(15))+(-1/16+(-1/16)*sqrt(5))*sqrt(10-2*sqrt(5))] -3.66913060635886[(-25/8+(1/8)*sqrt(5))+((-1/16)*sqrt(3)+(-1/16)*sqrt(15))*sqrt(10-2*sqrt(5))] 0[0] 1.77978385537566[(7/12)*sqrt(3)+(1/16+(1/16)*sqrt(5))*sqrt(10+2*sqrt(5))] 1.08267606400146[-1/4+((1/16)*sqrt(3)+(1/16)*sqrt(15))*sqrt(10+2*sqrt(5))] 0[0] 1.97299289435691[(19/12)*sqrt(3)+(-1/32+(-1/32)*sqrt(5))*sqrt(10+2*sqrt(5))+(-3/32+(-1/32)*sqrt(5))*sqrt(10-2*sqrt(5))] -4.58267606400146[-13/4+((-1/32)*sqrt(3)+(-1/32)*sqrt(15))*sqrt(10+2*sqrt(5))+((-3/32)*sqrt(3)+(-1/32)*sqrt(15))*sqrt(10-2*sqrt(5))] 0[0] 2.18652049845146[((17/24)*sqrt(3)+(1/8)*sqrt(15))+1/8*sqrt(10+2*sqrt(5))] .169130606358858[(-3/8+(-1/8)*sqrt(5))+(1/8)*sqrt(3)*sqrt(10+2*sqrt(5))] 0[0] 2.3094010767585[(4/3)*sqrt(3)] -6[-6] 0[0] 2.3094010767585[(4/3)*sqrt(3)] -5[-5] 0[0] 2.3094010767585[(4/3)*sqrt(3)] -3[-3] 0[0] 2.3094010767585[(4/3)*sqrt(3)] -2[-2] 0[0] 2.3094010767585[(4/3)*sqrt(3)] -1[-1] 0[0] 2.3094010767585[(4/3)*sqrt(3)] 0[0] 0[0] 2.3094010767585[(4/3)*sqrt(3)] 1[1] 0[0] 2.51731276757626[((35/24)*sqrt(3)+(-1/8)*sqrt(15))+1/8*sqrt(10+2*sqrt(5))] -1.02185239926619[(-17/8+(1/8)*sqrt(5))+(1/8)*sqrt(3)*sqrt(10+2*sqrt(5))] 0[0] 2.96751478972518[((41/24)*sqrt(3)+(1/8)*sqrt(15))+(-1/32+(-1/32)*sqrt(5))*sqrt(10+2*sqrt(5))+(1/32+(-1/32)*sqrt(5))*sqrt(10-2*sqrt(5))] -4.47814760073381[(-27/8+(-1/8)*sqrt(5))+((-1/32)*sqrt(3)+(-1/32)*sqrt(15))*sqrt(10+2*sqrt(5))+((1/32)*sqrt(3)+(-1/32)*sqrt(15))*sqrt(10-2*sqrt(5))] 0[0] 3.17542648054294[(11/6)*sqrt(3)] -7.5[-15/2] 0[0] 3.17542648054294[(11/6)*sqrt(3)] -6.5[-13/2] 0[0] 3.17542648054294[(11/6)*sqrt(3)] -5.5[-11/2] 0[0] 3.17542648054294[(11/6)*sqrt(3)] -4.5[-9/2] 0[0] 3.17542648054294[(11/6)*sqrt(3)] -3.5[-7/2] 0[0] 3.17542648054294[(11/6)*sqrt(3)] -2.5[-5/2] 0[0] 3.17542648054294[(11/6)*sqrt(3)] -.5[-1/2] 0[0] 3.17542648054294[(11/6)*sqrt(3)] .5[1/2] 0[0] 3.29830705884999[((59/24)*sqrt(3)+(-1/8)*sqrt(15))+(-1/16+(-1/16)*sqrt(5))*sqrt(10-2*sqrt(5))] -5.66913060635886[(-41/8+(1/8)*sqrt(5))+((-1/16)*sqrt(3)+(-1/16)*sqrt(15))*sqrt(10-2*sqrt(5))] 0[0] 3.51183466294454[(19/12)*sqrt(3)+(1/16+(1/16)*sqrt(5))*sqrt(10+2*sqrt(5))] -.91732393599854098[-9/4+((1/16)*sqrt(3)+(1/16)*sqrt(15))*sqrt(10+2*sqrt(5))] 0[0] 3.70504370192579[(31/12)*sqrt(3)+(-1/32+(-1/32)*sqrt(5))*sqrt(10+2*sqrt(5))+(-3/32+(-1/32)*sqrt(5))*sqrt(10-2*sqrt(5))] -6.58267606400146[-21/4+((-1/32)*sqrt(3)+(-1/32)*sqrt(15))*sqrt(10+2*sqrt(5))+((-3/32)*sqrt(3)+(-1/32)*sqrt(15))*sqrt(10-2*sqrt(5))] 0[0] 3.91857130602034[((41/24)*sqrt(3)+(1/8)*sqrt(15))+1/8*sqrt(10+2*sqrt(5))] -1.83086939364114[(-19/8+(-1/8)*sqrt(5))+(1/8)*sqrt(3)*sqrt(10+2*sqrt(5))] 0[0] 4.04145188432738[(7/3)*sqrt(3)] -8[-8] 0[0] 4.04145188432738[(7/3)*sqrt(3)] -7[-7] 0[0] 4.04145188432738[(7/3)*sqrt(3)] -5[-5] 0[0] 4.04145188432738[(7/3)*sqrt(3)] -4[-4] 0[0] 4.04145188432738[(7/3)*sqrt(3)] -3[-3] 0[0] 4.04145188432738[(7/3)*sqrt(3)] -2[-2] 0[0] 4.04145188432738[(7/3)*sqrt(3)] -1[-1] 0[0] 4.04145188432738[(7/3)*sqrt(3)] 0[0] 0[0] 4.24936357514514[((59/24)*sqrt(3)+(-1/8)*sqrt(15))+1/8*sqrt(10+2*sqrt(5))] -3.02185239926619[(-33/8+(1/8)*sqrt(5))+(1/8)*sqrt(3)*sqrt(10+2*sqrt(5))] 0[0] 4.69956559729406[((65/24)*sqrt(3)+(1/8)*sqrt(15))+(-1/32+(-1/32)*sqrt(5))*sqrt(10+2*sqrt(5))+(1/32+(-1/32)*sqrt(5))*sqrt(10-2*sqrt(5))] -6.47814760073381[(-43/8+(-1/8)*sqrt(5))+((-1/32)*sqrt(3)+(-1/32)*sqrt(15))*sqrt(10+2*sqrt(5))+((1/32)*sqrt(3)+(-1/32)*sqrt(15))*sqrt(10-2*sqrt(5))] 0[0] 4.90747728811182[(17/6)*sqrt(3)] -9.5[-19/2] 0[0] 4.90747728811182[(17/6)*sqrt(3)] -8.5[-17/2] 0[0] 4.90747728811182[(17/6)*sqrt(3)] -7.5[-15/2] 0[0] 4.90747728811182[(17/6)*sqrt(3)] -6.5[-13/2] 0[0] 4.90747728811182[(17/6)*sqrt(3)] -5.5[-11/2] 0[0] 4.90747728811182[(17/6)*sqrt(3)] -4.5[-9/2] 0[0] 4.90747728811182[(17/6)*sqrt(3)] -2.5[-5/2] 0[0] 4.90747728811182[(17/6)*sqrt(3)] -1.5[-3/2] 0[0] 5.03035786641886[((83/24)*sqrt(3)+(-1/8)*sqrt(15))+(-1/16+(-1/16)*sqrt(5))*sqrt(10-2*sqrt(5))] -7.66913060635886[(-57/8+(1/8)*sqrt(5))+((-1/16)*sqrt(3)+(-1/16)*sqrt(15))*sqrt(10-2*sqrt(5))] 0[0] 5.24388547051341[(31/12)*sqrt(3)+(1/16+(1/16)*sqrt(5))*sqrt(10+2*sqrt(5))] -2.91732393599854[-17/4+((1/16)*sqrt(3)+(1/16)*sqrt(15))*sqrt(10+2*sqrt(5))] 0[0] 5.43709450949466[(43/12)*sqrt(3)+(-1/32+(-1/32)*sqrt(5))*sqrt(10+2*sqrt(5))+(-3/32+(-1/32)*sqrt(5))*sqrt(10-2*sqrt(5))] -8.5826760640014601[-29/4+((-1/32)*sqrt(3)+(-1/32)*sqrt(15))*sqrt(10+2*sqrt(5))+((-3/32)*sqrt(3)+(-1/32)*sqrt(15))*sqrt(10-2*sqrt(5))] 0[0] 5.65062211358921[((65/24)*sqrt(3)+(1/8)*sqrt(15))+1/8*sqrt(10+2*sqrt(5))] -3.83086939364114[(-35/8+(-1/8)*sqrt(5))+(1/8)*sqrt(3)*sqrt(10+2*sqrt(5))] 0[0] 5.77350269189626[(10/3)*sqrt(3)] -10[-10] 0[0] 5.77350269189626[(10/3)*sqrt(3)] -9[-9] 0[0] 5.77350269189626[(10/3)*sqrt(3)] -7[-7] 0[0] 5.77350269189626[(10/3)*sqrt(3)] -6[-6] 0[0] 5.77350269189626[(10/3)*sqrt(3)] -5[-5] 0[0] 5.77350269189626[(10/3)*sqrt(3)] -4[-4] 0[0] 5.77350269189626[(10/3)*sqrt(3)] -3[-3] 0[0] 5.77350269189626[(10/3)*sqrt(3)] -2[-2] 0[0] 5.98141438271402[((83/24)*sqrt(3)+(-1/8)*sqrt(15))+1/8*sqrt(10+2*sqrt(5))] -5.02185239926619[(-49/8+(1/8)*sqrt(5))+(1/8)*sqrt(3)*sqrt(10+2*sqrt(5))] 0[0] 6.4316164048629401[((89/24)*sqrt(3)+(1/8)*sqrt(15))+(-1/32+(-1/32)*sqrt(5))*sqrt(10+2*sqrt(5))+(1/32+(-1/32)*sqrt(5))*sqrt(10-2*sqrt(5))] -8.4781476007337999[(-59/8+(-1/8)*sqrt(5))+((-1/32)*sqrt(3)+(-1/32)*sqrt(15))*sqrt(10+2*sqrt(5))+((1/32)*sqrt(3)+(-1/32)*sqrt(15))*sqrt(10-2*sqrt(5))] 0[0] 6.6395280956807[(23/6)*sqrt(3)] -10.5[-21/2] 0[0] 6.6395280956807[(23/6)*sqrt(3)] -9.5[-19/2] 0[0] 6.6395280956807[(23/6)*sqrt(3)] -8.5[-17/2] 0[0] 6.6395280956807[(23/6)*sqrt(3)] -7.5[-15/2] 0[0] 6.6395280956807[(23/6)*sqrt(3)] -6.5[-13/2] 0[0] 6.6395280956807[(23/6)*sqrt(3)] -4.5[-9/2] 0[0] 6.6395280956807[(23/6)*sqrt(3)] -3.5[-7/2] 0[0] 6.76240867398774[((107/24)*sqrt(3)+(-1/8)*sqrt(15))+(-1/16+(-1/16)*sqrt(5))*sqrt(10-2*sqrt(5))] -9.66913060635886[(-73/8+(1/8)*sqrt(5))+((-1/16)*sqrt(3)+(-1/16)*sqrt(15))*sqrt(10-2*sqrt(5))] 0[0] 6.97593627808229[(43/12)*sqrt(3)+(1/16+(1/16)*sqrt(5))*sqrt(10+2*sqrt(5))] -4.91732393599854[-25/4+((1/16)*sqrt(3)+(1/16)*sqrt(15))*sqrt(10+2*sqrt(5))] 0[0] 7.16914531706354[(55/12)*sqrt(3)+(-1/32+(-1/32)*sqrt(5))*sqrt(10+2*sqrt(5))+(-3/32+(-1/32)*sqrt(5))*sqrt(10-2*sqrt(5))] -10.5826760640015[-37/4+((-1/32)*sqrt(3)+(-1/32)*sqrt(15))*sqrt(10+2*sqrt(5))+((-3/32)*sqrt(3)+(-1/32)*sqrt(15))*sqrt(10-2*sqrt(5))] 0[0] 7.38267292115809[((89/24)*sqrt(3)+(1/8)*sqrt(15))+1/8*sqrt(10+2*sqrt(5))] -5.83086939364114[(-51/8+(-1/8)*sqrt(5))+(1/8)*sqrt(3)*sqrt(10+2*sqrt(5))] 0[0] 7.50555349946513[(13/3)*sqrt(3)] -9[-9] 0[0] 7.50555349946513[(13/3)*sqrt(3)] -8[-8] 0[0] 7.50555349946513[(13/3)*sqrt(3)] -7[-7] 0[0] 7.50555349946513[(13/3)*sqrt(3)] -6[-6] 0[0] 7.50555349946513[(13/3)*sqrt(3)] -5[-5] 0[0] 7.50555349946513[(13/3)*sqrt(3)] -4[-4] 0[0] 7.71346519028289[((107/24)*sqrt(3)+(-1/8)*sqrt(15))+1/8*sqrt(10+2*sqrt(5))] -7.02185239926619[(-65/8+(1/8)*sqrt(5))+(1/8)*sqrt(3)*sqrt(10+2*sqrt(5))] 0[0] 8.1636672124318099[((113/24)*sqrt(3)+(1/8)*sqrt(15))+(-1/32+(-1/32)*sqrt(5))*sqrt(10+2*sqrt(5))+(1/32+(-1/32)*sqrt(5))*sqrt(10-2*sqrt(5))] -10.4781476007338[(-75/8+(-1/8)*sqrt(5))+((-1/32)*sqrt(3)+(-1/32)*sqrt(15))*sqrt(10+2*sqrt(5))+((1/32)*sqrt(3)+(-1/32)*sqrt(15))*sqrt(10-2*sqrt(5))] 0[0] 8.37157890324957[(29/6)*sqrt(3)] -9.5[-19/2] 0[0] 8.37157890324957[(29/6)*sqrt(3)] -8.5[-17/2] 0[0] 8.37157890324957[(29/6)*sqrt(3)] -6.5[-13/2] 0[0] 8.37157890324957[(29/6)*sqrt(3)] -5.5[-11/2] 0[0] 8.7079870856511701[(55/12)*sqrt(3)+(1/16+(1/16)*sqrt(5))*sqrt(10+2*sqrt(5))] -6.91732393599854[-33/4+((1/16)*sqrt(3)+(1/16)*sqrt(15))*sqrt(10+2*sqrt(5))] 0[0] 9.11472372872697[((113/24)*sqrt(3)+(1/8)*sqrt(15))+1/8*sqrt(10+2*sqrt(5))] -7.83086939364114[(-67/8+(-1/8)*sqrt(5))+(1/8)*sqrt(3)*sqrt(10+2*sqrt(5))] 0[0] 9.2376043070340099[(16/3)*sqrt(3)] -10[-10] 0[0] 9.2376043070340099[(16/3)*sqrt(3)] -9[-9] 0[0] 9.2376043070340099[(16/3)*sqrt(3)] -8[-8] 0[0] 9.2376043070340099[(16/3)*sqrt(3)] -7[-7] 0[0] 9.2376043070340099[(16/3)*sqrt(3)] -6[-6] 0[0] 10.1036297108184[(35/6)*sqrt(3)] -8.5[-17/2] 0[0] 10.1036297108184[(35/6)*sqrt(3)] -7.5[-15/2] 0[0] 10.3115414016362[((143/24)*sqrt(3)+(-1/8)*sqrt(15))+1/8*sqrt(10+2*sqrt(5))] -6.52185239926619[(-61/8+(1/8)*sqrt(5))+(1/8)*sqrt(3)*sqrt(10+2*sqrt(5))] 0[0] 10.9696551146029[(19/3)*sqrt(3)] -8[-8] 0[0] 11.3060632970045[(73/12)*sqrt(3)+(1/16+(1/16)*sqrt(5))*sqrt(10+2*sqrt(5))] -6.41732393599854[-31/4+((1/16)*sqrt(3)+(1/16)*sqrt(15))*sqrt(10+2*sqrt(5))] 0[0] 11.7127999400803[((149/24)*sqrt(3)+(1/8)*sqrt(15))+1/8*sqrt(10+2*sqrt(5))] -7.33086939364114[(-63/8+(-1/8)*sqrt(5))+(1/8)*sqrt(3)*sqrt(10+2*sqrt(5))] 0[0] :EOF