# Automatically generated by makepoly.
polytope tetra_J92 {
dimension 4
vertices {
<-3.61803398874989490253e+00, -9.34172358962715665420e-01, -3.56822089773089934361e-01, 0>
<-3.61803398874989490253e+00, 9.34172358962715665420e-01, 3.56822089773089934361e-01, 0>
<-2.61803398874989490253e+00, -2.66622316653159296962e+00, -3.56822089773089934361e-01, 0>
<-2.61803398874989490253e+00, -1.51152262815234150750e+00, -5.77350269189625731059e-01, -1.61803398874989490253e+00>
<-2.61803398874989490253e+00, -1.51152262815234150750e+00, -5.77350269189625731059e-01, 1.61803398874989490253e+00>
<-2.61803398874989490253e+00, -3.56822089773089934361e-01, 9.34172358962715665420e-01, -1>
<-2.61803398874989490253e+00, -3.56822089773089934361e-01, 9.34172358962715665420e-01, 1>
<-2.61803398874989490253e+00, 3.56822089773089934361e-01, -9.34172358962715665420e-01, -1>
<-2.61803398874989490253e+00, 3.56822089773089934361e-01, -9.34172358962715665420e-01, 1>
<-2.61803398874989490253e+00, 1.51152262815234150750e+00, 5.77350269189625731059e-01, -1.61803398874989490253e+00>
<-2.61803398874989490253e+00, 1.51152262815234150750e+00, 5.77350269189625731059e-01, 1.61803398874989490253e+00>
<-2.61803398874989490253e+00, 2.66622316653159296962e+00, 3.56822089773089934361e-01, 0>
<-2, 0, 0, -2.61803398874989490253e+00>
<-2, 0, 0, 2.61803398874989490253e+00>
<-1.61803398874989490253e+00, -2.08887289734196723856e+00, 9.34172358962715665420e-01, -1>
<-1.61803398874989490253e+00, -2.08887289734196723856e+00, 9.34172358962715665420e-01, 1>
<-1.61803398874989490253e+00, 2.08887289734196723856e+00, -9.34172358962715665420e-01, -1>
<-1.61803398874989490253e+00, 2.08887289734196723856e+00, -9.34172358962715665420e-01, 1>
<-1, -3.60039552549430874606e+00, 3.56822089773089934361e-01, 0>
<-1, -2.44569498711505728394e+00, -9.34172358962715665420e-01, -1>
<-1, -2.44569498711505728394e+00, -9.34172358962715665420e-01, 1>
<-1, -1.73205080756887719318e+00, 0, -2.61803398874989490253e+00>
<-1, -1.73205080756887719318e+00, 0, 2.61803398874989490253e+00>
<-1, -5.77350269189625731059e-01, 1.51152262815234150750e+00, 0>
<-1, 5.77350269189625731059e-01, -1.51152262815234150750e+00, 0>
<-1, 1.73205080756887719318e+00, 0, -2.61803398874989490253e+00>
<-1, 1.73205080756887719318e+00, 0, 2.61803398874989490253e+00>
<-1, 2.44569498711505728394e+00, 9.34172358962715665420e-01, -1>
<-1, 2.44569498711505728394e+00, 9.34172358962715665420e-01, 1>
<-1, 3.60039552549430874606e+00, -3.56822089773089934361e-01, 0>
<0, -3.02304525630468301500e+00, 5.77350269189625731059e-01, -1.61803398874989490253e+00>
<0, -3.02304525630468301500e+00, 5.77350269189625731059e-01, 1.61803398874989490253e+00>
<0, -1.15470053837925146212e+00, -1.51152262815234150750e+00, 0>
<0, 1.15470053837925146212e+00, 1.51152262815234150750e+00, 0>
<0, 3.02304525630468301500e+00, -5.77350269189625731059e-01, -1.61803398874989490253e+00>
<0, 3.02304525630468301500e+00, -5.77350269189625731059e-01, 1.61803398874989490253e+00>
<1, -3.60039552549430874606e+00, 3.56822089773089934361e-01, 0>
<1, -2.44569498711505728394e+00, -9.34172358962715665420e-01, -1>
<1, -2.44569498711505728394e+00, -9.34172358962715665420e-01, 1>
<1, -1.73205080756887719318e+00, 0, -2.61803398874989490253e+00>
<1, -1.73205080756887719318e+00, 0, 2.61803398874989490253e+00>
<1, -5.77350269189625731059e-01, 1.51152262815234150750e+00, 0>
<1, 5.77350269189625731059e-01, -1.51152262815234150750e+00, 0>
<1, 1.73205080756887719318e+00, 0, -2.61803398874989490253e+00>
<1, 1.73205080756887719318e+00, 0, 2.61803398874989490253e+00>
<1, 2.44569498711505728394e+00, 9.34172358962715665420e-01, -1>
<1, 2.44569498711505728394e+00, 9.34172358962715665420e-01, 1>
<1, 3.60039552549430874606e+00, -3.56822089773089934361e-01, 0>
<1.61803398874989490253e+00, -2.08887289734196723856e+00, 9.34172358962715665420e-01, -1>
<1.61803398874989490253e+00, -2.08887289734196723856e+00, 9.34172358962715665420e-01, 1>
<1.61803398874989490253e+00, 2.08887289734196723856e+00, -9.34172358962715665420e-01, -1>
<1.61803398874989490253e+00, 2.08887289734196723856e+00, -9.34172358962715665420e-01, 1>
<2, 0, 0, -2.61803398874989490253e+00>
<2, 0, 0, 2.61803398874989490253e+00>
<2.61803398874989490253e+00, -2.66622316653159296962e+00, -3.56822089773089934361e-01, 0>
<2.61803398874989490253e+00, -1.51152262815234150750e+00, -5.77350269189625731059e-01, -1.61803398874989490253e+00>
<2.61803398874989490253e+00, -1.51152262815234150750e+00, -5.77350269189625731059e-01, 1.61803398874989490253e+00>
<2.61803398874989490253e+00, -3.56822089773089934361e-01, 9.34172358962715665420e-01, -1>
<2.61803398874989490253e+00, -3.56822089773089934361e-01, 9.34172358962715665420e-01, 1>
<2.61803398874989490253e+00, 3.56822089773089934361e-01, -9.34172358962715665420e-01, -1>
<2.61803398874989490253e+00, 3.56822089773089934361e-01, -9.34172358962715665420e-01, 1>
<2.61803398874989490253e+00, 1.51152262815234150750e+00, 5.77350269189625731059e-01, -1.61803398874989490253e+00>
<2.61803398874989490253e+00, 1.51152262815234150750e+00, 5.77350269189625731059e-01, 1.61803398874989490253e+00>
<2.61803398874989490253e+00, 2.66622316653159296962e+00, 3.56822089773089934361e-01, 0>
<3.61803398874989490253e+00, -9.34172358962715665420e-01, -3.56822089773089934361e-01, 0>
<3.61803398874989490253e+00, 9.34172358962715665420e-01, 3.56822089773089934361e-01, 0>
}
lattice {
1, { 0,1 }
2, { 0,1,5 }
3, { 0,1,5,6 }, <-2.80251707688814777342e+00,-1,2.61803398874989490253e+00,-9.50765039426278395709e-16,-1.01396020382333187371e+01>
2, { 0,1,6 }
2, { 0,1,7 }
3, { 0,1,7,8 }, <-2.80251707688814688524e+00,1,-2.61803398874989445844e+00,9.50765039426276620772e-16,-1.01396020382333187371e+01>
2, { 0,1,8 }
2, { 0,1,3,9,12 }
3, { 0,1,3,5,9,12 }, <-7.33708496134517051956e+00,-1,2.61803398874989534661e+00,-4.53456788445702230206e+00,-2.65458227684925311962e+01>
3, { 0,1,3,7,9,12 }, <-7.33708496134517584863e+00,1,-2.61803398874989445844e+00,-4.53456788445702674295e+00,-2.65458227684925596179e+01>
2, { 0,1,4,10,13 }
3, { 0,1,4,6,10,13 }, <-7.33708496134517051956e+00,-1,2.61803398874989534661e+00,4.53456788445702230206e+00,-2.65458227684925311962e+01>
3, { 0,1,4,8,10,13 }, <-7.33708496134517584863e+00,1,-2.61803398874989490253e+00,4.53456788445702585477e+00,-2.65458227684925525125e+01>
1, { 0,2 }
2, { 0,2,3 }
3, { 0,2,3,5,14 }, <-2.00000000000000088818e+00,-1.15470053837925212825e+00,1.29099444873580626592e+00,-1,-7.85410196624968826029e+00>
3, { 0,2,3,4,7,8,19,20,24,32 }, <-1.73205080756887741522e+00,-1,-5.23606797749978802869e+00,-3.84592537276712615367e-16,-9.06913576891404815683e+00>
2, { 0,2,4 }
3, { 0,2,4,6,15 }, <-2.00000000000000088818e+00,-1.15470053837925212825e+00,1.29099444873580626592e+00,1,-7.85410196624968826029e+00>
2, { 0,2,5,14 }
3, { 0,2,5,6,14,15 }, <-1.73205080756887697113e+00,-1,1.78885438199983126673e+00,-2.97904098389672616351e-16,-6.56248829210368711529e+00>
2, { 0,2,6,15 }
1, { 0,3 }
2, { 0,3,5 }
2, { 0,3,7 }
1, { 0,4 }
2, { 0,4,6 }
2, { 0,4,8 }
1, { 0,5 }
2, { 0,5,6 }
1, { 0,6 }
1, { 0,7 }
2, { 0,7,8 }
1, { 0,8 }
1, { 1,5 }
2, { 1,5,6 }
3, { 1,5,6,9,10,11,23,27,28,33 }, <-1.73205080756890028582e+00,1,5.23606797749982799672e+00,-2.69214776093700876865e-15,-9.06913576891413342196e+00>
2, { 1,5,9 }
1, { 1,6 }
2, { 1,6,10 }
1, { 1,7 }
2, { 1,7,8 }
3, { 1,7,8,11,16,17 }, <-1.73205080756887785931e+00,1,-1.78885438199983148877e+00,5.66172502149564153317e-16,-6.56248829210368977982e+00>
2, { 1,7,9 }
3, { 1,7,9,11,16 }, <-2.00000000000000266454e+00,1.15470053837925279439e+00,-1.29099444873580648796e+00,-1,-7.85410196624969447754e+00>
2, { 1,7,11,16 }
1, { 1,8 }
2, { 1,8,10 }
3, { 1,8,10,11,17 }, <-2.00000000000000177636e+00,1.15470053837925168416e+00,-1.29099444873580559978e+00,1,-7.85410196624968914847e+00>
2, { 1,8,11,17 }
1, { 1,9 }
2, { 1,9,11 }
1, { 1,10 }
2, { 1,10,11 }
1, { 1,11 }
1, { 2,3 }
2, { 2,3,14 }
3, { 2,3,14,18,21,30 }, <-1.73205080756887608295e+00,-2.23606797749978802869e+00,1,-1.73205080756887497273e+00,-1.01396020382333080789e+01>
2, { 2,3,19 }
2, { 2,3,18,21,30 }
3, { 2,3,18,19,21,30 }, <-1.07046626931927457704e+00,-2.61803398874990556067e+00,-1,-1.73205080756888407656e+00,-1.01396020382333578169e+01>
1, { 2,4 }
2, { 2,4,15 }
3, { 2,4,15,18,22,31 }, <-1.73205080756887586091e+00,-2.23606797749978758461e+00,1,1.73205080756887452864e+00,-1.01396020382333098553e+01>
2, { 2,4,20 }
2, { 2,4,18,22,31 }
3, { 2,4,18,20,22,31 }, <-1.07046626931926724957e+00,-2.61803398874989223799e+00,-1,1.73205080756887408455e+00,-1.01396020382333063026e+01>
1, { 2,14 }
2, { 2,14,15 }
3, { 2,14,15,18 }, <-1.17655628319286087446e+00,-1,1.35857017363628718165e+00,-3.22271643403572481413e-16,-5.26171965714745848430e+00>
2, { 2,14,18 }
1, { 2,15 }
2, { 2,15,18 }
1, { 2,18 }
2, { 2,18,19 }
3, { 2,18,19,20 }, <-1,-5.46874024341974518393e+00,-4.89138997423011367971e+00,1.03713966188879982836e-15,-1.89442719099991734311e+01>
2, { 2,18,20 }
1, { 2,19 }
2, { 2,19,20 }
1, { 2,20 }
1, { 3,5 }
2, { 3,5,12 }
3, { 3,5,12,14,21 }, <-1.73205080756887763727e+00,-1,1.47213595499958027624e+00,-1.73205080756887785931e+00,-7.99866949959478112930e+00>
2, { 3,5,14 }
1, { 3,7 }
2, { 3,7,12 }
3, { 3,7,12,16,19,21,24,25,32,34,37,39,42,43,50,52,55,59 }, <2.51604579837081438158e-15,-4.89231127460991674351e-16,-1.73205080756887808136e+00,-1,-2.61803398874989090572e+00>
2, { 3,7,19,24,32 }
1, { 3,12 }
2, { 3,12,21 }
1, { 3,14 }
2, { 3,14,21 }
1, { 3,19 }
2, { 3,19,21 }
1, { 3,21 }
1, { 4,6 }
2, { 4,6,13 }
3, { 4,6,13,15,22 }, <-1.73205080756887919158e+00,-1,1.47213595499958027624e+00,1.73205080756887785931e+00,-7.99866949959478379384e+00>
2, { 4,6,15 }
1, { 4,8 }
2, { 4,8,13 }
3, { 4,8,13,17,20,22,24,26,32,35,38,40,42,44,51,53,56,60 }, <1.03666788042968694221e-15,-3.02361465125325325274e-16,-1.73205080756887808136e+00,1,-2.61803398874989312617e+00>
2, { 4,8,20,24,32 }
1, { 4,13 }
2, { 4,13,22 }
1, { 4,15 }
2, { 4,15,22 }
1, { 4,20 }
2, { 4,20,22 }
1, { 4,22 }
1, { 5,6 }
2, { 5,6,14,15 }
3, { 5,6,14,15,23 }, <-1.73205080756888252225e+00,-1,4.47213595499958671553e+00,-1.48539727174585561643e-15,-9.06913576891406592040e+00>
2, { 5,6,23 }
1, { 5,9 }
2, { 5,9,12 }
3, { 5,9,12,14,21,23,25,27,30,33,39,41,43,45,48,52,57,61 }, <-7.26857675084896191302e-15,-1.99186959037687931953e-15,1.73205080756887541682e+00,-1,-2.61803398874990955747e+00>
2, { 5,9,23,27,33 }
1, { 5,12 }
2, { 5,12,14,21 }
1, { 5,14 }
2, { 5,14,23 }
1, { 5,23 }
1, { 6,10 }
2, { 6,10,13 }
3, { 6,10,13,15,22,23,26,28,31,33,40,41,44,46,49,53,58,62 }, <-5.01056142207676118757e-15,-1.68458530569822146095e-15,1.73205080756887919158e+00,1,-2.61803398874990866929e+00>
2, { 6,10,23,28,33 }
1, { 6,13 }
2, { 6,13,15,22 }
1, { 6,15 }
2, { 6,15,23 }
1, { 6,23 }
1, { 7,8 }
2, { 7,8,16,17 }
3, { 7,8,16,17,24 }, <-1.73205080756887763727e+00,1,-4.47213595499958227464e+00,5.90134885836768521392e-16,-9.06913576891405348590e+00>
2, { 7,8,24 }
1, { 7,9 }
2, { 7,9,12 }
3, { 7,9,12,16,25 }, <-1.73205080756887408455e+00,1,-1.47213595499957849988e+00,-1.73205080756887674909e+00,-7.99866949959477224752e+00>
2, { 7,9,16 }
1, { 7,12 }
2, { 7,12,16,25 }
1, { 7,16 }
2, { 7,16,24 }
1, { 7,24 }
1, { 8,10 }
2, { 8,10,13 }
3, { 8,10,13,17,26 }, <-1.73205080756887630500e+00,1,-1.47213595499957938806e+00,1.73205080756887719318e+00,-7.99866949959477757659e+00>
2, { 8,10,17 }
1, { 8,13 }
2, { 8,13,17,26 }
1, { 8,17 }
2, { 8,17,24 }
1, { 8,24 }
1, { 9,11 }
2, { 9,11,16 }
3, { 9,11,16,25,29,34 }, <-1.73205080756887785931e+00,2.23606797749979335777e+00,-1,-1.73205080756888030180e+00,-1.01396020382333347243e+01>
2, { 9,11,27 }
2, { 9,11,25,29,34 }
3, { 9,11,25,27,29,34 }, <-1.07046626931926347481e+00,2.61803398874988380030e+00,1,-1.73205080756887275228e+00,-1.01396020382332814336e+01>
1, { 9,12 }
2, { 9,12,25 }
1, { 9,16 }
2, { 9,16,25 }
1, { 9,25 }
2, { 9,25,27 }
1, { 9,27 }
1, { 10,11 }
2, { 10,11,17 }
3, { 10,11,17,26,29,35 }, <-1.73205080756887608295e+00,2.23606797749979158141e+00,-1,1.73205080756887896953e+00,-1.01396020382333258425e+01>
2, { 10,11,28 }
2, { 10,11,26,29,35 }
3, { 10,11,26,28,29,35 }, <-1.07046626931926169846e+00,2.61803398874988779710e+00,1,1.73205080756887386251e+00,-1.01396020382332920917e+01>
1, { 10,13 }
2, { 10,13,26 }
1, { 10,17 }
2, { 10,17,26 }
1, { 10,26 }
2, { 10,26,28 }
1, { 10,28 }
1, { 11,16 }
2, { 11,16,17 }
3, { 11,16,17,29 }, <-1.17655628319285932015e+00,1,-1.35857017363628607143e+00,3.47539025235240689567e-16,-5.26171965714745670795e+00>
2, { 11,16,29 }
1, { 11,17 }
2, { 11,17,29 }
1, { 11,27 }
2, { 11,27,28 }
3, { 11,27,28,29 }, <-1,5.46874024341977449382e+00,4.89138997423011900878e+00,-4.00062670255483361272e-15,-1.89442719099992800125e+01>
2, { 11,27,29 }
1, { 11,28 }
2, { 11,28,29 }
1, { 11,29 }
1, { 12,21 }
2, { 12,21,25,39,43,52 }
1, { 12,25 }
1, { 13,22 }
2, { 13,22,26,40,44,53 }
1, { 13,26 }
1, { 14,15 }
2, { 14,15,18 }
3, { 14,15,18,23,30,31,36,41,48,49 }, <-1.16637949941334004412e-15,-1,2.61803398874989357026e+00,-1.06190035087671111304e-15,-4.53456788445702319024e+00>
2, { 14,15,23 }
1, { 14,18 }
2, { 14,18,30 }
1, { 14,21 }
2, { 14,21,30 }
1, { 14,23 }
2, { 14,23,30,41,48 }
1, { 14,30 }
1, { 15,18 }
2, { 15,18,31 }
1, { 15,22 }
2, { 15,22,31 }
1, { 15,23 }
2, { 15,23,31,41,49 }
1, { 15,31 }
1, { 16,17 }
2, { 16,17,24 }
3, { 16,17,24,29,34,35,42,47,50,51 }, <2.53537343847007782552e-15,1,-2.61803398874989490253e+00,-8.32737073512242655711e-17,-4.53456788445702141388e+00>
2, { 16,17,29 }
1, { 16,24 }
2, { 16,24,34,42,50 }
1, { 16,25 }
2, { 16,25,34 }
1, { 16,29 }
2, { 16,29,34 }
1, { 16,34 }
1, { 17,24 }
2, { 17,24,35,42,51 }
1, { 17,26 }
2, { 17,26,35 }
1, { 17,29 }
2, { 17,29,35 }
1, { 17,35 }
1, { 18,19 }
2, { 18,19,20 }
3, { 18,19,20,36,37,38 }, <-5.50879790325537384006e-16,-1.11803398874989623479e+00,-1,1.37045909034133178499e-16,-3.66854248067259058885e+00>
2, { 18,19,30 }
3, { 18,19,30,36,37 }, <-1.66656766153241378977e-15,-2.30940107675850381241e+00,-1.29099444873580249116e+00,-1,-7.85410196624968648393e+00>
2, { 18,19,36,37 }
1, { 18,20 }
2, { 18,20,31 }
3, { 18,20,31,36,38 }, <-5.12790049702284276017e-16,-2.30940107675850603286e+00,-1.29099444873580648796e+00,1,-7.85410196624969358936e+00>
2, { 18,20,36,38 }
1, { 18,30 }
2, { 18,30,36 }
1, { 18,31 }
2, { 18,31,36 }
1, { 18,36 }
1, { 19,20 }
2, { 19,20,32 }
3, { 19,20,32,37,38 }, <2.12033730157048608204e-16,-1,-2.23606797749978492007e+00,-2.30467264568153505109e-16,-4.53456788445701963752e+00>
2, { 19,20,37,38 }
1, { 19,21 }
2, { 19,21,30 }
3, { 19,21,30,37,39 }, <-1.07640085391722238158e-16,-1.35857017363628918005e+00,-1,-1.17655628319286220673e+00,-5.43337690546188323282e+00>
2, { 19,21,37,39 }
1, { 19,30 }
2, { 19,30,37 }
1, { 19,32 }
2, { 19,32,37 }
1, { 19,37 }
1, { 20,22 }
2, { 20,22,31 }
3, { 20,22,31,38,40 }, <-3.22920256175168538714e-16,-1.35857017363628762574e+00,-1,1.17655628319285909811e+00,-5.43337690546187612739e+00>
2, { 20,22,38,40 }
1, { 20,31 }
2, { 20,31,38 }
1, { 20,32 }
2, { 20,32,38 }
1, { 20,38 }
1, { 21,30 }
2, { 21,30,39 }
1, { 21,39 }
1, { 22,31 }
2, { 22,31,40 }
1, { 22,40 }
1, { 23,33 }
2, { 23,33,41 }
1, { 23,41 }
1, { 24,32 }
2, { 24,32,42 }
1, { 24,42 }
1, { 25,27 }
2, { 25,27,34 }
3, { 25,27,34,43,45 }, <2.26044179322618844847e-15,1.35857017363628918005e+00,1,-1.17655628319286242878e+00,-5.43337690546188767371e+00>
2, { 25,27,43,45 }
1, { 25,34 }
2, { 25,34,43 }
1, { 25,43 }
1, { 26,28 }
2, { 26,28,35 }
3, { 26,28,35,44,46 }, <3.87504307410203666406e-15,1.35857017363629073436e+00,1,1.17655628319286176264e+00,-5.43337690546188945007e+00>
2, { 26,28,44,46 }
1, { 26,35 }
2, { 26,35,44 }
1, { 26,44 }
1, { 27,28 }
2, { 27,28,29 }
3, { 27,28,29,45,46,47 }, <3.28691608227572495905e-15,1.11803398874990067569e+00,1,-8.92879406874983467337e-16,-3.66854248067260435562e+00>
2, { 27,28,33 }
3, { 27,28,33,45,46 }, <6.58709341738615404887e-15,1,2.23606797749978980505e+00,-1.58006989524367210767e-15,-4.53456788445703296020e+00>
2, { 27,28,45,46 }
1, { 27,29 }
2, { 27,29,34 }
3, { 27,29,34,45,47 }, <3.71772786034158560372e-15,2.30940107675848782520e+00,1.29099444873579316528e+00,-1,-7.85410196624964029866e+00>
2, { 27,29,45,47 }
1, { 27,33 }
2, { 27,33,45 }
1, { 27,34 }
2, { 27,34,45 }
1, { 27,45 }
1, { 28,29 }
2, { 28,29,35 }
3, { 28,29,35,46,47 }, <5.22920771684461321793e-15,2.30940107675849315427e+00,1.29099444873579516369e+00,1,-7.85410196624965628587e+00>
2, { 28,29,46,47 }
1, { 28,33 }
2, { 28,33,46 }
1, { 28,35 }
2, { 28,35,46 }
1, { 28,46 }
1, { 29,34 }
2, { 29,34,47 }
1, { 29,35 }
2, { 29,35,47 }
1, { 29,47 }
1, { 30,36 }
2, { 30,36,37 }
3, { 30,36,37,39,54,55 }, <1.07046626931927346682e+00,-2.61803398874989801115e+00,-1,-1.73205080756887985771e+00,-1.01396020382333347243e+01>
2, { 30,36,48 }
2, { 30,36,39,54,55 }
3, { 30,36,39,48,54,55 }, <1.73205080756888452065e+00,-2.23606797749979513412e+00,1,-1.73205080756888185611e+00,-1.01396020382333471588e+01>
1, { 30,37 }
2, { 30,37,39 }
1, { 30,39 }
2, { 30,39,48 }
1, { 30,48 }
1, { 31,36 }
2, { 31,36,38 }
3, { 31,36,38,40,54,56 }, <1.07046626931927413295e+00,-2.61803398874989490253e+00,-1,1.73205080756887674909e+00,-1.01396020382333205134e+01>
2, { 31,36,49 }
2, { 31,36,40,54,56 }
3, { 31,36,40,49,54,56 }, <1.73205080756889251425e+00,-2.23606797749980312773e+00,1,1.73205080756888651905e+00,-1.01396020382333791332e+01>
1, { 31,38 }
2, { 31,38,40 }
1, { 31,40 }
2, { 31,40,49 }
1, { 31,49 }
1, { 32,37 }
2, { 32,37,38 }
3, { 32,37,38,42,54,55,56,59,60,64 }, <1.73205080756887674909e+00,-1,-5.23606797749979069323e+00,-1.88804620827979637598e-15,-9.06913576891405170954e+00>
2, { 32,37,42,55,59 }
1, { 32,38 }
2, { 32,38,42,56,60 }
1, { 32,42 }
1, { 33,41 }
2, { 33,41,45,57,61 }
3, { 33,41,45,46,57,58,61,62,63,65 }, <1.73205080756887186411e+00,1,5.23606797749973384981e+00,1.50990331349019490895e-14,-9.06913576891400730062e+00>
2, { 33,41,46,58,62 }
1, { 33,45 }
2, { 33,45,46 }
1, { 33,46 }
1, { 34,43 }
2, { 34,43,45 }
3, { 34,43,45,47,61,63 }, <1.07046626931927502113e+00,2.61803398874990822520e+00,1,-1.73205080756888674109e+00,-1.01396020382333702514e+01>
2, { 34,43,50 }
2, { 34,43,47,61,63 }
3, { 34,43,47,50,61,63 }, <1.73205080756886964366e+00,2.23606797749978669643e+00,-1,-1.73205080756887674909e+00,-1.01396020382332991971e+01>
1, { 34,45 }
2, { 34,45,47 }
1, { 34,47 }
2, { 34,47,50 }
1, { 34,50 }
1, { 35,44 }
2, { 35,44,46 }
3, { 35,44,46,47,62,63 }, <1.07046626931926947002e+00,2.61803398874990111977e+00,1,1.73205080756888007976e+00,-1.01396020382333400534e+01>
2, { 35,44,51 }
2, { 35,44,47,62,63 }
3, { 35,44,47,51,62,63 }, <1.73205080756886276028e+00,2.23606797749977648238e+00,-1,1.73205080756886586890e+00,-1.01396020382332547882e+01>
1, { 35,46 }
2, { 35,46,47 }
1, { 35,47 }
2, { 35,47,51 }
1, { 35,51 }
1, { 36,37 }
2, { 36,37,38 }
3, { 36,37,38,54 }, <1,-5.46874024341972031493e+00,-4.89138997423009058707e+00,9.75193030304147711010e-17,-1.89442719099990952714e+01>
2, { 36,37,54 }
1, { 36,38 }
2, { 36,38,54 }
1, { 36,48 }
2, { 36,48,49 }
3, { 36,48,49,54 }, <1.17655628319285976424e+00,-1,1.35857017363628540529e+00,-1.31114354669596613851e-15,-5.26171965714745670795e+00>
2, { 36,48,54 }
1, { 36,49 }
2, { 36,49,54 }
1, { 36,54 }
1, { 37,38 }
2, { 37,38,54 }
1, { 37,39 }
2, { 37,39,55 }
1, { 37,54 }
2, { 37,54,55 }
1, { 37,55 }
1, { 38,40 }
2, { 38,40,56 }
1, { 38,54 }
2, { 38,54,56 }
1, { 38,56 }
1, { 39,48 }
2, { 39,48,55 }
2, { 39,48,52,57 }
3, { 39,48,52,55,57 }, <1.73205080756886653504e+00,-1,1.47213595499954652546e+00,-1.73205080756885787530e+00,-7.99866949959473938492e+00>
1, { 39,52 }
2, { 39,52,55 }
1, { 39,55 }
1, { 40,49 }
2, { 40,49,56 }
2, { 40,49,53,58 }
3, { 40,49,53,56,58 }, <1.73205080756887230820e+00,-1,1.47213595499955696155e+00,1.73205080756886076188e+00,-7.99866949959475270759e+00>
1, { 40,53 }
2, { 40,53,56 }
1, { 40,56 }
1, { 41,48 }
2, { 41,48,49 }
3, { 41,48,49,57,58 }, <1.73205080756887896953e+00,-1,4.47213595499954674750e+00,1.49387196613028443741e-15,-9.06913576891402151148e+00>
2, { 41,48,57 }
1, { 41,49 }
2, { 41,49,58 }
1, { 41,57 }
2, { 41,57,58 }
1, { 41,58 }
1, { 42,50 }
2, { 42,50,51 }
3, { 42,50,51,59,60 }, <1.73205080756886986570e+00,1,-4.47213595499956628743e+00,-1.30658444205309472877e-15,-9.06913576891401795876e+00>
2, { 42,50,59 }
1, { 42,51 }
2, { 42,51,60 }
1, { 42,59 }
2, { 42,59,60 }
1, { 42,60 }
1, { 43,45 }
2, { 43,45,61 }
1, { 43,50 }
2, { 43,50,52,59 }
3, { 43,50,52,59,61 }, <1.73205080756888740723e+00,1,-1.47213595499959493118e+00,-1.73205080756888629701e+00,-7.99866949959481132737e+00>
2, { 43,50,61 }
1, { 43,52 }
2, { 43,52,61 }
1, { 43,61 }
1, { 44,46 }
2, { 44,46,62 }
1, { 44,51 }
2, { 44,51,53,60 }
3, { 44,51,53,60,62 }, <1.73205080756889007176e+00,1,-1.47213595499959248869e+00,1.73205080756888274429e+00,-7.99866949959481399191e+00>
2, { 44,51,62 }
1, { 44,53 }
2, { 44,53,62 }
1, { 44,62 }
1, { 45,46 }
2, { 45,46,47 }
3, { 45,46,47,63 }, <1,5.46874024341974873664e+00,4.89138997423009591614e+00,-4.94024706141319253896e-15,-1.89442719099991734311e+01>
2, { 45,46,63 }
1, { 45,47 }
2, { 45,47,63 }
1, { 45,61 }
2, { 45,61,63 }
1, { 45,63 }
1, { 46,47 }
2, { 46,47,63 }
1, { 46,62 }
2, { 46,62,63 }
1, { 46,63 }
1, { 47,50 }
2, { 47,50,51 }
3, { 47,50,51,63 }, <1.17655628319286398309e+00,1,-1.35857017363629251072e+00,-1.01373563694009786475e-15,-5.26171965714746647791e+00>
2, { 47,50,63 }
1, { 47,51 }
2, { 47,51,63 }
1, { 47,63 }
1, { 48,49 }
2, { 48,49,54 }
3, { 48,49,54,57,58,64 }, <1.73205080756887697113e+00,-1,1.78885438199982260699e+00,-6.21007968194365307045e-16,-6.56248829210368000986e+00>
2, { 48,49,57,58 }
1, { 48,54 }
2, { 48,54,55 }
3, { 48,54,55,57,64 }, <2.00000000000000621725e+00,-1.15470053837925479279e+00,1.29099444873579227711e+00,-1,-7.85410196624969003665e+00>
2, { 48,54,57,64 }
1, { 48,55 }
2, { 48,55,57 }
1, { 48,57 }
1, { 49,54 }
2, { 49,54,56 }
3, { 49,54,56,58,64 }, <1.99999999999999822364e+00,-1.15470053837925257234e+00,1.29099444873578406145e+00,1,-7.85410196624966072676e+00>
2, { 49,54,58,64 }
1, { 49,56 }
2, { 49,56,58 }
1, { 49,58 }
1, { 50,51 }
2, { 50,51,59,60 }
3, { 50,51,59,60,63,65 }, <1.73205080756887253024e+00,1,-1.78885438199983060059e+00,-1.41256080139330040448e-15,-6.56248829210367556897e+00>
2, { 50,51,63 }
1, { 50,59 }
2, { 50,59,61 }
3, { 50,59,61,63,65 }, <2.00000000000001643130e+00,1.15470053837925901163e+00,-1.29099444873582691606e+00,-1,-7.85410196624974155100e+00>
2, { 50,59,63,65 }
1, { 50,61 }
2, { 50,61,63 }
1, { 50,63 }
1, { 51,60 }
2, { 51,60,62 }
3, { 51,60,62,63,65 }, <2.00000000000002176037e+00,1.15470053837926123208e+00,-1.29099444873582869242e+00,1,-7.85410196624975931456e+00>
2, { 51,60,63,65 }
1, { 51,62 }
2, { 51,62,63 }
1, { 51,63 }
1, { 52,55 }
2, { 52,55,57 }
3, { 52,55,57,61,64,65 }, <7.33708496134548315837e+00,-1,2.61803398874987669487e+00,-4.53456788445714842339e+00,-2.65458227684935437196e+01>
2, { 52,55,59 }
3, { 52,55,59,61,64,65 }, <7.33708496134536414246e+00,1,-2.61803398874994552870e+00,-4.53456788445712355440e+00,-2.65458227684931706847e+01>
2, { 52,55,61,64,65 }
1, { 52,57 }
2, { 52,57,61 }
1, { 52,59 }
2, { 52,59,61 }
1, { 52,61 }
1, { 53,56 }
2, { 53,56,58 }
3, { 53,56,58,62,64,65 }, <7.33708496134541832134e+00,-1,2.61803398874988824119e+00,4.53456788445710667901e+00,-2.65458227684933127932e+01>
2, { 53,56,60 }
3, { 53,56,60,62,64,65 }, <7.33708496134530641086e+00,1,-2.61803398874991621881e+00,4.53456788445706671098e+00,-2.65458227684929504164e+01>
2, { 53,56,62,64,65 }
1, { 53,58 }
2, { 53,58,62 }
1, { 53,60 }
2, { 53,60,62 }
1, { 53,62 }
1, { 54,55 }
2, { 54,55,64 }
1, { 54,56 }
2, { 54,56,64 }
1, { 54,64 }
1, { 55,57 }
2, { 55,57,64 }
1, { 55,59 }
2, { 55,59,64 }
1, { 55,64 }
1, { 56,58 }
2, { 56,58,64 }
1, { 56,60 }
2, { 56,60,64 }
1, { 56,64 }
1, { 57,58 }
2, { 57,58,64 }
3, { 57,58,64,65 }, <2.80251707688813977981e+00,-1,2.61803398874987802714e+00,1.81740164306865512526e-15,-1.01396020382332867626e+01>
2, { 57,58,65 }
1, { 57,61 }
2, { 57,61,65 }
1, { 57,64 }
2, { 57,64,65 }
1, { 57,65 }
1, { 58,62 }
2, { 58,62,65 }
1, { 58,64 }
2, { 58,64,65 }
1, { 58,65 }
1, { 59,60 }
2, { 59,60,64 }
3, { 59,60,64,65 }, <2.80251707688813267438e+00,1,-2.61803398874989179390e+00,-1.07263406042572465975e-15,-1.01396020382332672227e+01>
2, { 59,60,65 }
1, { 59,61 }
2, { 59,61,65 }
1, { 59,64 }
2, { 59,64,65 }
1, { 59,65 }
1, { 60,62 }
2, { 60,62,65 }
1, { 60,64 }
2, { 60,64,65 }
1, { 60,65 }
1, { 61,63 }
2, { 61,63,65 }
1, { 61,65 }
1, { 62,63 }
2, { 62,63,65 }
1, { 62,65 }
1, { 63,65 }
1, { 64,65 }
}
}