:name augmented truncated dodecahedron (J68) :number 112 :symbol @Q sub 5 @ :sfaces 42 25{3} 5{4} 1{5} 11{10} :svertices 65 50(@3@.@10 sup 2@) 5(@3@.@4@.@5@.@4@) 10(@3@.@4@.@3@.@10@) :net 42 10 10 26 21 15 20 25 33 37 42 38 34 3 41 34 38 10 27 23 17 22 26 34 39 44 40 35 3 46 40 44 3 18 21 26 10 0 1 5 10 15 21 16 11 6 2 3 9 6 11 3 14 20 15 10 12 19 24 28 25 20 13 8 4 7 3 3 4 8 3 29 33 25 10 51 53 52 48 37 33 30 32 36 47 3 31 36 32 3 45 42 37 10 57 55 50 43 38 42 49 54 56 61 3 58 56 54 10 80 75 79 83 93 100 107 101 94 84 3 88 84 94 10 66 64 65 69 80 84 87 85 81 70 3 86 81 85 3 72 75 80 10 60 62 67 74 79 75 68 63 61 56 3 59 61 63 3 76 83 79 10 92 98 105 99 93 83 78 73 77 82 3 71 77 73 3 102 100 93 10 127 125 122 113 107 100 106 112 121 124 3 116 121 112 3 110 101 107 3 126 122 125 5 103 111 115 108 95 4 111 103 104 114 3 111 114 119 4 115 111 120 123 3 115 123 118 4 108 115 117 109 3 108 109 97 4 95 108 96 91 3 89 95 90 4 103 95 89 94 3 103 94 101 :solid 42 10 10 159 154 147 137 133 131 135 145 152 158 3 162 158 152 10 187 181 172 164 159 158 162 169 179 185 3 173 179 169 3 164 154 159 10 165 155 149 144 147 154 164 172 177 175 3 181 177 172 3 144 137 147 10 136 132 128 129 133 137 144 149 148 142 3 155 148 149 3 129 131 133 10 138 140 141 139 135 131 129 128 130 134 3 132 130 128 3 139 145 135 10 167 173 169 162 152 145 139 141 150 160 3 140 150 141 10 178 168 161 156 157 163 170 180 186 184 3 190 184 186 10 173 167 166 171 178 184 190 191 185 179 3 187 185 191 3 171 168 178 10 140 138 143 151 161 168 171 166 160 150 3 167 160 166 3 151 156 161 10 132 136 146 153 157 156 151 143 134 130 3 138 134 143 3 153 163 157 10 155 165 174 176 170 163 153 146 142 148 3 136 142 146 3 176 180 170 3 175 174 165 5 188 182 183 189 192 4 182 188 180 176 3 182 176 174 4 183 182 174 175 3 183 175 177 4 189 183 177 181 3 189 181 187 4 192 189 187 191 3 190 192 191 4 188 192 190 186 3 188 186 180 :hinges 41 1 1 0 8 2.489234513805425 2 4 0 9 2.0344439357957027 3 1 2 7 2.489234513805425 4 1 0 0 2.489234513805425 5 4 0 1 2.0344439357957027 6 1 5 7 2.489234513805425 7 1 0 2 2.489234513805425 8 4 0 3 2.0344439357957027 9 1 8 7 2.489234513805425 10 1 0 4 2.489234513805425 11 4 0 5 2.0344439357957027 12 1 11 7 2.489234513805425 13 1 0 6 2.489234513805425 14 4 0 7 2.0344439357957027 15 1 14 7 2.489234513805425 17 1 16 8 2.489234513805425 18 4 16 9 2.0344439357957027 19 1 18 7 2.489234513805425 20 1 16 0 2.489234513805425 21 4 16 1 2.0344439357957027 22 1 21 7 2.489234513805425 23 1 16 2 2.489234513805425 24 4 16 3 2.0344439357957027 25 1 24 7 2.489234513805425 26 1 16 4 2.489234513805425 27 4 16 5 2.0344439357957027 28 1 27 7 2.489234513805425 29 1 16 6 2.489234513805425 30 1 27 1 2.489234513805425 14 8 21 8 2.0344439357957027 31 0 32 0 2.588018294692748 32 3 33 0 2.7767288254763101 31 1 34 0 2.588018294692748 34 3 35 0 2.7767288254763101 31 2 36 0 2.588018294692748 36 3 37 0 2.7767288254763101 31 3 38 0 2.588018294692748 40 1 39 0 2.7767288254763101 31 4 40 0 2.588018294692748 40 3 41 0 2.7767288254763101 41 1 16 7 2.6868020755800709 :dih 6 -5 3 4 3.0428088727024702 10 3 4 2.7767288254763101 5 4 5 2.588018294692748 5 3 10 2.6868020755800709 55 3 10 2.489234513805425 25 10 10 2.0344439357957027 :vertices 193 128 -4.54508497187474[(-7/4+(-5/4)*sqrt(5))] .951056516295154[1/4*sqrt(10+2*sqrt(5))] 0[0] -4.23606797749979[(-2-sqrt(5))] 0[0] 0[0] -4.23606797749979[(-2-sqrt(5))] 1.90211303259031[1/2*sqrt(10+2*sqrt(5))] 0[0] -4.0961815894837[(-15/8+(-5/8)*sqrt(5))+(-1/8)*sqrt(3)*sqrt(10+2*sqrt(5))] -1.74675345940539[((-1/8)*sqrt(3)+(1/8)*sqrt(15))+(-1/4+(-1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] -3.42705098312484[(-7/4+(-3/4)*sqrt(5))] -2.48989828488278[(-3/8+(-1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] -3.42705098312484[(-7/4+(-3/4)*sqrt(5))] -.587785252292473[(1/8+(-1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] -3.42705098312484[(-7/4+(-3/4)*sqrt(5))] 2.48989828488278[(3/8+(1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] -3.11803398874989[(-2+(-1/2)*sqrt(5))] -3.44095480117793[(-5/8+(-1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] -3.11803398874989[(-2+(-1/2)*sqrt(5))] -1.53884176858763[(-1/8+(-1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] -2.92705098312484[(-5/4+(-3/4)*sqrt(5))] 3.35592368866722[(1/2)*sqrt(3)+(3/8+(1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] -2.42705098312484[(-3/4+(-3/4)*sqrt(5))] -.587785252292473[(1/8+(-1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] -2.42705098312484[(-3/4+(-3/4)*sqrt(5))] 2.48989828488278[(3/8+(1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] -2.30901699437495[(-7/4+(-1/4)*sqrt(5))] -4.02874005347041[(-1/2+(-1/4)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] -2.30901699437495[(-7/4+(-1/4)*sqrt(5))] -.951056516295154[-1/4*sqrt(10+2*sqrt(5))] 0[0] -2.28716459510875[(-5/8+(-3/8)*sqrt(5))+(-1/8)*sqrt(3)*sqrt(10+2*sqrt(5))] -.74314482547739401[((1/8)*sqrt(3)+(-1/8)*sqrt(15))-1/8*sqrt(10+2*sqrt(5))] 0[0] -1.61803398874989[(-1/2+(-1/2)*sqrt(5))] 0[0] 0[0] -1.61803398874989[(-1/2+(-1/2)*sqrt(5))] 1.90211303259031[1/2*sqrt(10+2*sqrt(5))] 0[0] -1.61803398874989[(-1/2+(-1/2)*sqrt(5))] 3.07768353717525[(1/4+(1/4)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] -1.4135454576426[(-5/8+(-1/8)*sqrt(5))+((1/16)*sqrt(3)+(-1/16)*sqrt(15))*sqrt(10+2*sqrt(5))] 1.94557841166343[((1/8)*sqrt(3)+(1/8)*sqrt(15))+(3/16+(1/16)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] -1.30901699437495[(-3/4+(-1/4)*sqrt(5))] -4.02874005347041[(-1/2+(-1/4)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] -1.30901699437495[(-3/4+(-1/4)*sqrt(5))] -.951056516295154[-1/4*sqrt(10+2*sqrt(5))] 0[0] -1.30901699437495[(-3/4+(-1/4)*sqrt(5))] .951056516295154[1/4*sqrt(10+2*sqrt(5))] 0[0] -1.30901699437495[(-3/4+(-1/4)*sqrt(5))] 2.1266270208801[(1/4)*sqrt(5)*sqrt(10+2*sqrt(5))] 0[0] -1.30901699437495[(-3/4+(-1/4)*sqrt(5))] 4.02874005347041[(1/2+(1/4)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] -.5[-1/2] -3.44095480117793[(-5/8+(-1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] -.5[-1/2] -1.53884176858763[(-1/8+(-1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] -.5[-1/2] 1.53884176858763[(1/8+(1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] -.5[-1/2] 4.61652530576288[(3/8+(3/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] -.190983005625053[(-3/4+(1/4)*sqrt(5))] -2.48989828488278[(-3/8+(-1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 0[0] -2.40486717237207[(-1/2)*sqrt(3)+(-1/8+(-1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] .190983005625053[(3/4+(-1/4)*sqrt(5))] -2.48989828488278[(-3/8+(-1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] .395471536732346[(5/8+(1/8)*sqrt(5))+((1/16)*sqrt(3)+(-1/16)*sqrt(15))*sqrt(10+2*sqrt(5))] -4.43547669654621[((-1/8)*sqrt(3)+(-1/8)*sqrt(15))+(-9/16+(-3/16)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] .5[1/2] -3.44095480117793[(-5/8+(-1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] .5[1/2] -1.53884176858763[(-1/8+(-1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] .5[1/2] 1.53884176858763[(1/8+(1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] .5[1/2] 4.61652530576288[(3/8+(3/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 1.30901699437495[(3/4+(1/4)*sqrt(5))] -4.02874005347041[(-1/2+(-1/4)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 1.30901699437495[(3/4+(1/4)*sqrt(5))] -.951056516295154[-1/4*sqrt(10+2*sqrt(5))] 0[0] 1.30901699437495[(3/4+(1/4)*sqrt(5))] .951056516295154[1/4*sqrt(10+2*sqrt(5))] 0[0] 1.30901699437495[(3/4+(1/4)*sqrt(5))] 2.1266270208801[(1/4)*sqrt(5)*sqrt(10+2*sqrt(5))] 0[0] 1.30901699437495[(3/4+(1/4)*sqrt(5))] 4.02874005347041[(1/2+(1/4)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 1.4135454576426[(5/8+(1/8)*sqrt(5))+((-1/16)*sqrt(3)+(1/16)*sqrt(15))*sqrt(10+2*sqrt(5))] 1.94557841166343[((1/8)*sqrt(3)+(1/8)*sqrt(15))+(3/16+(1/16)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 1.61803398874989[(1/2+(1/2)*sqrt(5))] 0[0] 0[0] 1.61803398874989[(1/2+(1/2)*sqrt(5))] 1.90211303259031[1/2*sqrt(10+2*sqrt(5))] 0[0] 1.61803398874989[(1/2+(1/2)*sqrt(5))] 3.07768353717525[(1/4+(1/4)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 2.28716459510875[(5/8+(3/8)*sqrt(5))+(1/8)*sqrt(3)*sqrt(10+2*sqrt(5))] -.74314482547739401[((1/8)*sqrt(3)+(-1/8)*sqrt(15))-1/8*sqrt(10+2*sqrt(5))] 0[0] 2.28716459510875[(5/8+(3/8)*sqrt(5))+(1/8)*sqrt(3)*sqrt(10+2*sqrt(5))] 3.82082836265265[((-1/8)*sqrt(3)+(1/8)*sqrt(15))+(3/8+(1/4)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 2.30901699437495[(7/4+(1/4)*sqrt(5))] -4.02874005347041[(-1/2+(-1/4)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 2.30901699437495[(7/4+(1/4)*sqrt(5))] -.951056516295154[-1/4*sqrt(10+2*sqrt(5))] 0[0] 2.42705098312484[(3/4+(3/4)*sqrt(5))] -.587785252292473[(1/8+(-1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 2.42705098312484[(3/4+(3/4)*sqrt(5))] 2.48989828488278[(3/8+(1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 3.11803398874989[(2+(1/2)*sqrt(5))] -3.44095480117793[(-5/8+(-1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 3.11803398874989[(2+(1/2)*sqrt(5))] -1.53884176858763[(-1/8+(-1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 3.42705098312484[(7/4+(3/4)*sqrt(5))] -2.48989828488278[(-3/8+(-1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 3.42705098312484[(7/4+(3/4)*sqrt(5))] -.587785252292473[(1/8+(-1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 3.42705098312484[(7/4+(3/4)*sqrt(5))] 2.48989828488278[(3/8+(1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 4.23606797749979[(2+sqrt(5))] 0[0] 0[0] 4.23606797749979[(2+sqrt(5))] 1.90211303259031[1/2*sqrt(10+2*sqrt(5))] 0[0] 4.34059644076744[(15/8+(7/8)*sqrt(5))+((-1/16)*sqrt(3)+(1/16)*sqrt(15))*sqrt(10+2*sqrt(5))] -.994521895368274[((-1/8)*sqrt(3)+(-1/8)*sqrt(15))+(1/16+(-1/16)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 4.44055650860708[(15/8+(11/8)*sqrt(5))+((1/16)*sqrt(3)+(-1/16)*sqrt(15))*sqrt(10+2*sqrt(5))] 1.94557841166343[((1/8)*sqrt(3)+(1/8)*sqrt(15))+(3/16+(1/16)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 4.54508497187474[(7/4+(5/4)*sqrt(5))] -.951056516295154[-1/4*sqrt(10+2*sqrt(5))] 0[0] 4.54508497187474[(7/4+(5/4)*sqrt(5))] .951056516295154[1/4*sqrt(10+2*sqrt(5))] 0[0] 5.35410196624968[(2+(3/2)*sqrt(5))] -1.53884176858763[(-1/8+(-1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 5.35410196624968[(2+(3/2)*sqrt(5))] 1.53884176858763[(1/8+(1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 5.35410196624968[(2+(3/2)*sqrt(5))] 3.44095480117793[(5/8+(1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 5.6631189606246299[(7/4+(7/4)*sqrt(5))] 2.48989828488278[(3/8+(1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 5.6631189606246299[(7/4+(7/4)*sqrt(5))] 4.39201131747309[(7/8+(1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 6.35410196624968[(3+(3/2)*sqrt(5))] -1.53884176858763[(-1/8+(-1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 6.35410196624968[(3+(3/2)*sqrt(5))] 1.53884176858763[(1/8+(1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 6.4721359549995802[(2+2*sqrt(5))] 1.90211303259031[1/2*sqrt(10+2*sqrt(5))] 0[0] 6.4721359549995802[(2+2*sqrt(5))] 4.97979656976556[(3/4+(1/4)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 6.49398835426577[(25/8+(15/8)*sqrt(5))+(-1/8)*sqrt(3)*sqrt(10+2*sqrt(5))] -2.86977184635749[((1/8)*sqrt(3)+(-1/8)*sqrt(15))+(-1/8+(-1/4)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 6.49398835426577[(25/8+(15/8)*sqrt(5))+(-1/8)*sqrt(3)*sqrt(10+2*sqrt(5))] 1.69420134177255[((-1/8)*sqrt(3)+(1/8)*sqrt(15))+3/8*sqrt(10+2*sqrt(5))] 0[0] 7.16311896062463[(13/4+(7/4)*sqrt(5))] -2.1266270208801[(-1/4)*sqrt(5)*sqrt(10+2*sqrt(5))] 0[0] 7.16311896062463[(13/4+(7/4)*sqrt(5))] -.951056516295154[-1/4*sqrt(10+2*sqrt(5))] 0[0] 7.16311896062463[(13/4+(7/4)*sqrt(5))] .951056516295154[1/4*sqrt(10+2*sqrt(5))] 0[0] 7.36760749173193[(25/8+(17/8)*sqrt(5))+((1/16)*sqrt(3)+(-1/16)*sqrt(15))*sqrt(10+2*sqrt(5))] -.994521895368274[((-1/8)*sqrt(3)+(-1/8)*sqrt(15))+(1/16+(-1/16)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 7.4721359549995801[(3+2*sqrt(5))] -3.07768353717525[(-1/4+(-1/4)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 7.4721359549995801[(3+2*sqrt(5))] -1.17557050458495[(1/4+(-1/4)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 7.4721359549995801[(3+2*sqrt(5))] 0[0] 0[0] 7.4721359549995801[(3+2*sqrt(5))] 1.90211303259031[1/2*sqrt(10+2*sqrt(5))] 0[0] 7.4721359549995801[(3+2*sqrt(5))] 4.97979656976556[(3/4+(1/4)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 8.2811529493745299[(13/4+(9/4)*sqrt(5))] -3.66546878946773[(-1/8+(-3/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 8.2811529493745299[(13/4+(9/4)*sqrt(5))] -.587785252292473[(1/8+(-1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 8.2811529493745299[(13/4+(9/4)*sqrt(5))] 2.48989828488278[(3/8+(1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 8.2811529493745299[(13/4+(9/4)*sqrt(5))] 4.39201131747309[(7/8+(1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 8.3856814126421799[(25/8+(17/8)*sqrt(5))+((-1/16)*sqrt(3)+(1/16)*sqrt(15))*sqrt(10+2*sqrt(5))] 5.38653321284136[((1/8)*sqrt(3)+(1/8)*sqrt(15))+(13/16+(3/16)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 8.5901699437494701[(3+(5/2)*sqrt(5))] 3.44095480117793[(5/8+(1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 8.7811529493745299[(15/4+(9/4)*sqrt(5))] 3.35592368866722[(1/2)*sqrt(3)+(3/8+(1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 8.87441630629873[(17/4+(-1/8)*sqrt(3)+(9/4)*sqrt(5)+(-1/8)*sqrt(15))+(-1/16+(1/16)*sqrt(5))*sqrt(10+2*sqrt(5))] 3.40344374252538[(1/8+(1/8)*sqrt(5))+(3/8+(-1/16)*sqrt(3)+(1/8)*sqrt(5)+(1/16)*sqrt(15))*sqrt(10+2*sqrt(5))] 0[0] 8.97894476956638[(33/8+(-1/8)*sqrt(3)+(17/8)*sqrt(5)+(-1/8)*sqrt(15))+(-1/16+(-1/16)*sqrt(3)+(1/16)*sqrt(5)+(1/16)*sqrt(15))*sqrt(10+2*sqrt(5))] 4.39796563789366[(1/8+(1/8)*sqrt(3)+(1/8)*sqrt(5)+(1/8)*sqrt(15))+(5/16+(-1/16)*sqrt(3)+(3/16)*sqrt(5)+(1/16)*sqrt(15))*sqrt(10+2*sqrt(5))] 0[0] 9.1188311575824701[(17/4+(-1/8)*sqrt(3)+(5/2)*sqrt(5)+(-1/8)*sqrt(15))+(-1/16+(-5/64)*sqrt(3)+(1/16)*sqrt(5)+(5/64)*sqrt(15))*sqrt(10+2*sqrt(5))+((-3/32)*sqrt(3)+(-1/16)*sqrt(15))*sqrt(10-2*sqrt(5))] 4.55332521107858[(1/8+(1/8)*sqrt(5)+(1/4)*sqrt(15))+(29/64+(-1/16)*sqrt(3)+(3/64)*sqrt(5)+(1/16)*sqrt(15))*sqrt(10+2*sqrt(5))+(3/32+(1/16)*sqrt(5))*sqrt(10-2*sqrt(5))] 0[0] 9.2811529493745299[(17/4+(9/4)*sqrt(5))] -3.66546878946773[(-1/8+(-3/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 9.2811529493745299[(17/4+(9/4)*sqrt(5))] -.587785252292473[(1/8+(-1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 9.2811529493745299[(17/4+(9/4)*sqrt(5))] 2.48989828488278[(3/8+(1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 9.7879617639413301[(35/8+(-1/8)*sqrt(3)+(19/8)*sqrt(5)+(-1/8)*sqrt(15))+(-1/16+(-1/16)*sqrt(3)+(1/16)*sqrt(5)+(1/16)*sqrt(15))*sqrt(10+2*sqrt(5))] 3.81018038560118[(1/8+(1/8)*sqrt(3)+(1/8)*sqrt(5)+(1/8)*sqrt(15))+(7/16+(-1/16)*sqrt(3)+(1/16)*sqrt(5)+(1/16)*sqrt(15))*sqrt(10+2*sqrt(5))] 0[0] 9.8619759830598599[(17/4+(-1/4)*sqrt(3)+(5/2)*sqrt(5))+(-3/64+(-5/64)*sqrt(3)+(3/64)*sqrt(5)+(5/64)*sqrt(15))*sqrt(10+2*sqrt(5))+(3/32+(-3/32)*sqrt(3)+(1/16)*sqrt(5)+(-1/16)*sqrt(15))*sqrt(10-2*sqrt(5))] 5.22245581743743[(1/4+(1/4)*sqrt(15))+(29/64+(-3/64)*sqrt(3)+(3/64)*sqrt(5)+(3/64)*sqrt(15))*sqrt(10+2*sqrt(5))+(3/32+(3/32)*sqrt(3)+(1/16)*sqrt(5)+(1/16)*sqrt(15))*sqrt(10-2*sqrt(5))] 0[0] 10.0311065894187[(31/8+(-1/4)*sqrt(3)+(19/8)*sqrt(5))+(5/64+(3/64)*sqrt(5)+(1/16)*sqrt(15))*sqrt(10+2*sqrt(5))+(1/32+(-1/32)*sqrt(3)+(-1/32)*sqrt(15))*sqrt(10-2*sqrt(5))] 5.3453363957444802[(1/4+(5/8)*sqrt(3)+(1/8)*sqrt(15))+(1/2+(5/64)*sqrt(3)+(1/16)*sqrt(5)+(3/64)*sqrt(15))*sqrt(10+2*sqrt(5))+(-1/32+(1/32)*sqrt(3)+(-1/32)*sqrt(5))*sqrt(10-2*sqrt(5))] 0[0] 10.0901699437495[(9/2+(5/2)*sqrt(5))] -3.07768353717525[(-1/4+(-1/4)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 10.0901699437495[(9/2+(5/2)*sqrt(5))] -1.17557050458495[(1/4+(-1/4)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 10.0901699437495[(9/2+(5/2)*sqrt(5))] 0[0] 0[0] 10.0901699437495[(9/2+(5/2)*sqrt(5))] 1.90211303259031[1/2*sqrt(10+2*sqrt(5))] 0[0] 10.1946984070171[(35/8+(19/8)*sqrt(5))+((-1/16)*sqrt(3)+(1/16)*sqrt(15))*sqrt(10+2*sqrt(5))] -.994521895368274[((-1/8)*sqrt(3)+(-1/8)*sqrt(15))+(1/16+(-1/16)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 10.1946984070171[(35/8+(19/8)*sqrt(5))+((-1/16)*sqrt(3)+(1/16)*sqrt(15))*sqrt(10+2*sqrt(5))] 2.89663492795858[((1/8)*sqrt(3)+(1/8)*sqrt(15))+(7/16+(1/16)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 10.2992268702848[(17/4+(9/4)*sqrt(5))+(-5/64+(-5/64)*sqrt(3)+(3/64)*sqrt(5)+(3/64)*sqrt(15))*sqrt(10+2*sqrt(5))+(-5/64+(11/64)*sqrt(3)+(1/64)*sqrt(5)+(1/64)*sqrt(15))*sqrt(10-2*sqrt(5))] 1.90211303259031[(29/64+(-5/64)*sqrt(3)+(5/64)*sqrt(5)+(3/64)*sqrt(15))*sqrt(10+2*sqrt(5))+(-11/64+(-5/64)*sqrt(3)+(-1/64)*sqrt(5)+(1/64)*sqrt(15))*sqrt(10-2*sqrt(5))] 0[0] 10.3991869381244[(17/4+(11/4)*sqrt(5))] -2.1266270208801[(-1/4)*sqrt(5)*sqrt(10+2*sqrt(5))] 0[0] 10.3991869381244[(17/4+(11/4)*sqrt(5))] -.951056516295154[-1/4*sqrt(10+2*sqrt(5))] 0[0] 10.3991869381244[(17/4+(11/4)*sqrt(5))] .951056516295154[1/4*sqrt(10+2*sqrt(5))] 0[0] 10.5311065894187[(35/8+(-1/4)*sqrt(3)+(19/8)*sqrt(5))+(5/64+(-1/16)*sqrt(3)+(3/64)*sqrt(5)+(1/16)*sqrt(15))*sqrt(10+2*sqrt(5))+1/32*sqrt(10-2*sqrt(5))] 4.47931099196004[(1/4+(1/8)*sqrt(3)+(1/8)*sqrt(15))+(7/16+(5/64)*sqrt(3)+(1/16)*sqrt(5)+(3/64)*sqrt(15))*sqrt(10+2*sqrt(5))+(1/32)*sqrt(3)*sqrt(10-2*sqrt(5))] 0[0] 11.0311065894187[(39/8+(-1/4)*sqrt(3)+(19/8)*sqrt(5))+(5/64+(3/64)*sqrt(5)+(1/16)*sqrt(15))*sqrt(10+2*sqrt(5))+(1/32+(-1/32)*sqrt(3)+(-1/32)*sqrt(15))*sqrt(10-2*sqrt(5))] 5.3453363957444802[(1/4+(5/8)*sqrt(3)+(1/8)*sqrt(15))+(3/8+(5/64)*sqrt(3)+(1/16)*sqrt(5)+(3/64)*sqrt(15))*sqrt(10+2*sqrt(5))+(1/32+(1/32)*sqrt(3)+(1/32)*sqrt(5))*sqrt(10-2*sqrt(5))] 0[0] 11.0683175444833[(35/8+(21/8)*sqrt(5))+(1/8)*sqrt(3)*sqrt(10+2*sqrt(5))] 1.69420134177255[((-1/8)*sqrt(3)+(1/8)*sqrt(15))+3/8*sqrt(10+2*sqrt(5))] 0[0] 11.1892203023854[(35/8+(1/8)*sqrt(3)+(19/8)*sqrt(5)+(1/8)*sqrt(15))+(-3/32+(-1/16)*sqrt(3)+(1/32)*sqrt(5)+(1/16)*sqrt(15))*sqrt(10+2*sqrt(5))+(3/32+(1/32)*sqrt(5))*sqrt(10-2*sqrt(5))] 3.00116339122623[(-1/8+(1/8)*sqrt(3)+(-1/8)*sqrt(5)+(1/8)*sqrt(15))+(7/16+(-3/32)*sqrt(3)+(1/16)*sqrt(5)+(1/32)*sqrt(15))*sqrt(10+2*sqrt(5))+((3/32)*sqrt(3)+(1/32)*sqrt(15))*sqrt(10-2*sqrt(5))] 0[0] 11.2082039324994[(9/2+3*sqrt(5))] -1.53884176858763[(-1/8+(-1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 11.2082039324994[(9/2+3*sqrt(5))] 1.53884176858763[(1/8+(1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 11.2937487656531[(17/4+(1/8)*sqrt(3)+(9/4)*sqrt(5)+(1/8)*sqrt(15))+(-3/32+(-5/64)*sqrt(3)+(1/32)*sqrt(5)+(3/64)*sqrt(15))*sqrt(10+2*sqrt(5))+(3/32+(11/64)*sqrt(3)+(1/32)*sqrt(5)+(1/64)*sqrt(15))*sqrt(10-2*sqrt(5))] 2.00664149585796[(-1/8+(-1/8)*sqrt(5))+(29/64+(-3/32)*sqrt(3)+(5/64)*sqrt(5)+(1/32)*sqrt(15))*sqrt(10+2*sqrt(5))+(-11/64+(3/32)*sqrt(3)+(-1/64)*sqrt(5)+(1/32)*sqrt(15))*sqrt(10-2*sqrt(5))] 0[0] 11.3971319932032[(35/8+(1/4)*sqrt(3)+(19/8)*sqrt(5))+(1/64+(-1/16)*sqrt(3)+(3/64)*sqrt(5)+(1/16)*sqrt(15))*sqrt(10+2*sqrt(5))+(1/16+(1/32)*sqrt(5))*sqrt(10-2*sqrt(5))] 3.97931099196004[(-1/4+(1/8)*sqrt(3)+(1/8)*sqrt(15))+(7/16+(1/64)*sqrt(3)+(1/16)*sqrt(5)+(3/64)*sqrt(15))*sqrt(10+2*sqrt(5))+((1/16)*sqrt(3)+(1/32)*sqrt(15))*sqrt(10-2*sqrt(5))] 0[0] 11.7082039324994[(5+3*sqrt(5))] -2.40486717237207[(-1/2)*sqrt(3)+(-1/8+(-1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 11.8971319932032[(39/8+(1/4)*sqrt(3)+(19/8)*sqrt(5))+(1/64+(3/64)*sqrt(5)+(1/16)*sqrt(15))*sqrt(10+2*sqrt(5))+(1/16+(-1/32)*sqrt(3)+(1/32)*sqrt(5)+(-1/32)*sqrt(15))*sqrt(10-2*sqrt(5))] 4.8453363957444799[(-1/4+(5/8)*sqrt(3)+(1/8)*sqrt(15))+(3/8+(1/64)*sqrt(3)+(1/16)*sqrt(5)+(3/64)*sqrt(15))*sqrt(10+2*sqrt(5))+(1/32+(1/16)*sqrt(3)+(1/32)*sqrt(5)+(1/32)*sqrt(15))*sqrt(10-2*sqrt(5))] 0[0] 12.066262599562[(9/2+(1/4)*sqrt(3)+(9/4)*sqrt(5))+(1/64+(-5/64)*sqrt(3)+(3/64)*sqrt(5)+(5/64)*sqrt(15))*sqrt(10+2*sqrt(5))+(1/16+(1/32)*sqrt(3)+(1/32)*sqrt(5)+(1/16)*sqrt(15))*sqrt(10-2*sqrt(5))] 4.72245581743743[(-1/4+(1/4)*sqrt(15))+(27/64+(1/64)*sqrt(3)+(5/64)*sqrt(5)+(3/64)*sqrt(15))*sqrt(10+2*sqrt(5))+(1/32+(1/16)*sqrt(3)+(1/16)*sqrt(5)+(1/32)*sqrt(15))*sqrt(10-2*sqrt(5))] 0[0] 12.102765760028[(9/2+(1/8)*sqrt(3)+(5/2)*sqrt(5)+(1/8)*sqrt(15))+(-3/32+(-5/64)*sqrt(3)+(1/32)*sqrt(5)+(3/64)*sqrt(15))*sqrt(10+2*sqrt(5))+(3/32+(11/64)*sqrt(3)+(1/32)*sqrt(5)+(1/64)*sqrt(15))*sqrt(10-2*sqrt(5))] 2.59442674815043[(-1/8+(-1/8)*sqrt(5))+(27/64+(-3/32)*sqrt(3)+(3/64)*sqrt(5)+(1/32)*sqrt(15))*sqrt(10+2*sqrt(5))+(11/64+(3/32)*sqrt(3)+(1/64)*sqrt(5)+(1/32)*sqrt(15))*sqrt(10-2*sqrt(5))] 0[0] 12.1673679031192[(17/4+(1/8)*sqrt(3)+(5/2)*sqrt(5)+(1/8)*sqrt(15))+(1/32+(-5/64)*sqrt(3)+(1/32)*sqrt(5)+(5/64)*sqrt(15))*sqrt(10+2*sqrt(5))+(1/32+(1/32)*sqrt(3)+(-1/32)*sqrt(5)+(1/16)*sqrt(15))*sqrt(10-2*sqrt(5))] 2.79325170040847[(-1/8+(-1/8)*sqrt(5)+(1/4)*sqrt(15))+(29/64+(1/32)*sqrt(3)+(3/64)*sqrt(5)+(1/32)*sqrt(15))*sqrt(10+2*sqrt(5))+(-1/32+(1/32)*sqrt(3)+(-1/16)*sqrt(5)+(-1/32)*sqrt(15))*sqrt(10-2*sqrt(5))] 0[0] 12.2082039324994[(11/2+3*sqrt(5))] -1.53884176858763[(-1/8+(-1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 12.2082039324994[(11/2+3*sqrt(5))] 1.53884176858763[(1/8+(1/8)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 12.375279593937[(17/4+(1/4)*sqrt(3)+(5/2)*sqrt(5))+(1/64+(-5/64)*sqrt(3)+(3/64)*sqrt(5)+(5/64)*sqrt(15))*sqrt(10+2*sqrt(5))+(1/16+(1/32)*sqrt(3)+(1/32)*sqrt(5)+(1/16)*sqrt(15))*sqrt(10-2*sqrt(5))] 3.77139930114228[(-1/4+(1/4)*sqrt(15))+(29/64+(1/64)*sqrt(3)+(3/64)*sqrt(5)+(3/64)*sqrt(15))*sqrt(10+2*sqrt(5))+(-1/32+(1/16)*sqrt(3)+(-1/16)*sqrt(5)+(1/32)*sqrt(15))*sqrt(10-2*sqrt(5))] 0[0] 13.0172209268743[(23/4+(13/4)*sqrt(5))] -.951056516295154[-1/4*sqrt(10+2*sqrt(5))] 0[0] 13.0172209268743[(23/4+(13/4)*sqrt(5))] .951056516295154[1/4*sqrt(10+2*sqrt(5))] 0[0] 13.121749390142[(45/8+(25/8)*sqrt(5))+((-1/16)*sqrt(3)+(1/16)*sqrt(15))*sqrt(10+2*sqrt(5))] 1.94557841166343[((1/8)*sqrt(3)+(1/8)*sqrt(15))+(3/16+(1/16)*sqrt(5))*sqrt(10+2*sqrt(5))] 0[0] 13.3262379212493[(11/2+(7/2)*sqrt(5))] 0[0] 0[0] -10.824185939968723 18.311025230784057 -10.223565303305448 -10.806340948135306 18.478005329400505 -11.209364067218497 -10.568259127494805 18.689692440063577 -9.3341201890497005 -10.521540332345961 19.12685201368626 -11.914974859041716 -10.492812744116789 17.706322802733357 -9.499323093419487 -10.446093948967946 18.14348237635604 -12.080177763411501 -10.136315854446168 19.469368953719368 -8.8807665269694389 -10.078568247815317 20.009727903731837 -12.070878339127361 -9.9387946584342788 16.894873819684171 -9.3132733456497092 -9.8810470518034188 17.43523276969666 -12.503385157807657 -9.6933437699155318 20.352244843764947 -9.0366700070550896 -9.6466249747666903 20.78940441738763 -11.617524677047101 -9.4085431541261915 21.001091528050703 -9.7422807988783093 -9.3906981622927777 21.168071626667154 -10.728079562791365 -9.3737477612697711 16.1866242130248 -9.7364807400458637 -9.361970574063593 19.747542415714253 -8.3124277971691374 -9.3270289661209105 16.623783786647514 -12.317335410037907 -9.2863779755993316 20.454881464343164 -12.48833837324011 -9.1178209487958262 16.565291422304321 -8.8470356257901273 -9.0422283503315672 17.272630470933271 -13.022946201861129 -9.013500762102415 15.85210125998037 -10.60729443623888 -8.9956557702689881 16.019081358596827 -11.593093200151955 -8.6163528819102049 21.44624508866204 -10.159740832991056 -8.5409968644251528 19.417960018334407 -7.8461900773095631 -8.4475592741274794 20.292279165579774 -13.007899417293581 -8.3434756684132392 16.843464884299227 -8.2786968959898333 -8.2500380781155813 17.717784031544598 -13.440406235973878 -8.1746820606305681 15.689498961216979 -11.126855480292379 -7.9869787787426372 18.606511035285254 -7.6601403295398204 -7.9115323953646201 17.623141397955038 -7.8253432339096064 -7.8825123769629521 19.584029558920394 -13.431106811689737 -7.8070659935849385 18.600659921590176 -13.596309716059522 -7.6193627116970556 21.517671995658464 -10.129594565306956 -7.5440066942120013 19.489386925330834 -7.8160438096254635 -7.4505691039143298 20.363706072576194 -12.977753149609484 -7.3464854982000948 16.91489179129564 -8.2485506283057699 -7.253047907902432 17.789210938541023 -13.410259968289779 -7.1776918904174273 15.760925868213432 -11.096709212608282 -6.798389002058618 21.188089598278625 -9.6633568454473848 -6.7805440102252078 21.355069696895077 -10.649155609360437 -6.7518164219960246 19.934540485942175 -8.2335038437382171 -6.6762238235317671 20.641879534571076 -12.409414419809179 -6.5076667967282483 16.752289492532296 -8.7681116723592429 -6.4670158062066857 20.583387170227935 -8.9391146355614406 -6.4320741982639992 17.459628541161176 -12.944022248430202 -6.4202970110578556 21.020546743850611 -11.519969305553444 -6.4033466100348398 16.039099330208302 -10.52837048280802 -6.3855016182014307 16.206079428824736 -11.514169246721065 -6.1474197975609192 16.417766539487802 -9.6389253685522855 -6.100701002412053 16.85492611311047 -12.219780038544268 -5.9129977205241729 19.77193818717878 -8.7530648877917006 -5.8552501138933329 20.312297137191236 -11.943176699949596 -5.7154765245122732 17.197443053143592 -9.1855717064720079 -5.6577289178814163 17.737802003156064 -12.375683518629903 -5.5453521410144901 16.542761769210845 -10.427525856433917 -5.5275071491810882 16.709741867827257 -11.413324620346991 -5.3479508233596517 19.063688580519404 -9.1762722821878588 -5.3012320282108281 19.500848154142085 -11.757126952179862 -5.2725044399816333 18.080318943189186 -9.3414751865576455 -5.2257856448327996 18.517478516811866 -11.92232985654965 -5.1134088679658576 17.322438282866669 -9.9741721943536552 -5.0845350646504222 17.592617757872881 -11.569228100432616 -4.9877038241923032 18.729165627474943 -10.047085978380871 -4.9698588323588929 18.896145726091393 -11.032884742293931 -4.8286082521765268 17.971284967152395 -10.679782986176889 :EOF .