# Automatically generated by makepoly. polytope augmented_dodecahedral_prism { dimension 4 vertices { <-2.61803398874989490253e+00, 0, -1, -1> <-2.61803398874989490253e+00, 0, -1, 1> <-2.61803398874989490253e+00, 0, 1, -1> <-2.61803398874989490253e+00, 0, 1, 1> <-2.17082039324993703033e+00, -1.34164078649987383862e+00, 0, 0> <-2.17082039324993703033e+00, 1.34164078649987383862e+00, 0, 0> <-1.61803398874989490253e+00, -1.61803398874989490253e+00, -1.61803398874989490253e+00, -1> <-1.61803398874989490253e+00, -1.61803398874989490253e+00, -1.61803398874989490253e+00, 1> <-1.61803398874989490253e+00, -1.61803398874989490253e+00, 1.61803398874989490253e+00, -1> <-1.61803398874989490253e+00, -1.61803398874989490253e+00, 1.61803398874989490253e+00, 1> <-1.61803398874989490253e+00, 1.61803398874989490253e+00, -1.61803398874989490253e+00, -1> <-1.61803398874989490253e+00, 1.61803398874989490253e+00, -1.61803398874989490253e+00, 1> <-1.61803398874989490253e+00, 1.61803398874989490253e+00, 1.61803398874989490253e+00, -1> <-1.61803398874989490253e+00, 1.61803398874989490253e+00, 1.61803398874989490253e+00, 1> <-1.34164078649987383862e+00, 0, -2.17082039324993703033e+00, 0> <-1.34164078649987383862e+00, 0, 2.17082039324993703033e+00, 0> <-1, -2.61803398874989490253e+00, 0, -1> <-1, -2.61803398874989490253e+00, 0, 1> <-1, 2.61803398874989490253e+00, 0, -1> <-1, 2.61803398874989490253e+00, 0, 1> <0, -2.17082039324993703033e+00, -1.34164078649987383862e+00, 0> <0, -2.17082039324993703033e+00, 1.34164078649987383862e+00, 0> <0, -1, -2.61803398874989490253e+00, -1> <0, -1, -2.61803398874989490253e+00, 1> <0, -1, 2.61803398874989490253e+00, -1> <0, -1, 2.61803398874989490253e+00, 1> <0, 1, -2.61803398874989490253e+00, -1> <0, 1, -2.61803398874989490253e+00, 1> <0, 1, 2.61803398874989490253e+00, -1> <0, 1, 2.61803398874989490253e+00, 1> <0, 2.17082039324993703033e+00, -1.34164078649987383862e+00, 0> <0, 2.17082039324993703033e+00, 1.34164078649987383862e+00, 0> <1, -2.61803398874989490253e+00, 0, -1> <1, -2.61803398874989490253e+00, 0, 1> <1, 2.61803398874989490253e+00, 0, -1> <1, 2.61803398874989490253e+00, 0, 1> <1.34164078649987383862e+00, 0, -2.17082039324993703033e+00, 0> <1.34164078649987383862e+00, 0, 2.17082039324993703033e+00, 0> <1.61803398874989490253e+00, -1.61803398874989490253e+00, -1.61803398874989490253e+00, -1> <1.61803398874989490253e+00, -1.61803398874989490253e+00, -1.61803398874989490253e+00, 1> <1.61803398874989490253e+00, -1.61803398874989490253e+00, 1.61803398874989490253e+00, -1> <1.61803398874989490253e+00, -1.61803398874989490253e+00, 1.61803398874989490253e+00, 1> <1.61803398874989490253e+00, 1.61803398874989490253e+00, -1.61803398874989490253e+00, -1> <1.61803398874989490253e+00, 1.61803398874989490253e+00, -1.61803398874989490253e+00, 1> <1.61803398874989490253e+00, 1.61803398874989490253e+00, 1.61803398874989490253e+00, -1> <1.61803398874989490253e+00, 1.61803398874989490253e+00, 1.61803398874989490253e+00, 1> <2.17082039324993703033e+00, -1.34164078649987383862e+00, 0, 0> <2.17082039324993703033e+00, 1.34164078649987383862e+00, 0, 0> <2.61803398874989490253e+00, 0, -1, -1> <2.61803398874989490253e+00, 0, -1, 1> <2.61803398874989490253e+00, 0, 1, -1> <2.61803398874989490253e+00, 0, 1, 1> } lattice { 1, { 0,1 } 2, { 0,1,2,3 } 3, { 0,1,2,3,4 }, <-3.00000000000000044409e+00,-1,-0,-0,-7.85410196624968559576e+00> 3, { 0,1,2,3,5 }, <-3.00000000000000044409e+00,1,-0,-0,-7.85410196624968381940e+00> 2, { 0,1,4 } 3, { 0,1,4,6,7 }, <-3.95967477524977073955e+00,-2.06524758424985321881e+00,-1,-0,-1.13665631459994997954e+01> 2, { 0,1,5 } 3, { 0,1,5,10,11 }, <-3.95967477524977606862e+00,2.06524758424985455108e+00,-1,-0,-1.13665631459995122299e+01> 2, { 0,1,6,7 } 3, { 0,1,6,7,14 }, <-4.95967477524977606862e+00,-1,-5.40688837074972639130e+00,-0,-1.83914855054991299710e+01> 2, { 0,1,10,11 } 3, { 0,1,10,11,14 }, <-4.95967477524977518044e+00,1,-5.40688837074972550312e+00,-0,-1.83914855054991264183e+01> 2, { 0,1,14 } 1, { 0,2 } 2, { 0,2,4 } 3, { 0,2,4,6,8,16 }, <-2.61803398874989623479e+00,-1.61803398874989534661e+00,-0,-1,-7.85410196624968737211e+00> 2, { 0,2,5 } 3, { 0,2,5,10,12,18 }, <-2.61803398874990111977e+00,1.61803398874989645684e+00,-0,-1,-7.85410196624969803025e+00> 2, { 0,2,6,8,16 } 3, { 0,2,6,8,10,12,16,18,22,24,26,28,32,34,38,40,42,44,48,50 }, <-1.13789240196961942678e-15,-1.89648733661603221362e-16,-0,-9.99999999999998334665e-01,-1> 2, { 0,2,10,12,18 } 1, { 0,4 } 2, { 0,4,6 } 1, { 0,5 } 2, { 0,5,10 } 1, { 0,6 } 2, { 0,6,14 } 2, { 0,6,10,22,26 } 3, { 0,6,10,14,22,26 }, <-1.61803398874989823319e+00,1.49233309969628609153e-17,-2.61803398874989357026e+00,-1,-7.85410196624968826029e+00> 1, { 0,10 } 2, { 0,10,14 } 1, { 0,14 } 1, { 1,3 } 2, { 1,3,4 } 3, { 1,3,4,7,9,17 }, <-2.61803398874989579070e+00,-1.61803398874989512457e+00,-0,1,-7.85410196624968648393e+00> 2, { 1,3,5 } 3, { 1,3,5,11,13,19 }, <-2.61803398874989934342e+00,1.61803398874989556866e+00,-0,1,-7.85410196624969270118e+00> 2, { 1,3,7,9,17 } 3, { 1,3,7,9,11,13,17,19,23,25,27,29,33,35,39,41,43,45,49,51 }, <-5.05729956430942350932e-16,-6.32162445538677938665e-17,-0,9.99999999999999000799e-01,-1> 2, { 1,3,11,13,19 } 1, { 1,4 } 2, { 1,4,7 } 1, { 1,5 } 2, { 1,5,11 } 1, { 1,7 } 2, { 1,7,14 } 2, { 1,7,11,23,27 } 3, { 1,7,11,14,23,27 }, <-1.61803398874989823319e+00,1.41355820104698611967e-16,-2.61803398874989445844e+00,1,-7.85410196624968914847e+00> 1, { 1,11 } 2, { 1,11,14 } 1, { 1,14 } 1, { 2,3 } 2, { 2,3,4 } 3, { 2,3,4,8,9 }, <-3.95967477524977073955e+00,-2.06524758424985321881e+00,1,-0,-1.13665631459994997954e+01> 2, { 2,3,5 } 3, { 2,3,5,12,13 }, <-3.95967477524977606862e+00,2.06524758424985455108e+00,1,-0,-1.13665631459995122299e+01> 2, { 2,3,8,9 } 3, { 2,3,8,9,15 }, <-4.95967477524977606862e+00,-1,5.40688837074972639130e+00,-0,-1.83914855054991299710e+01> 2, { 2,3,12,13 } 3, { 2,3,12,13,15 }, <-4.95967477524977518044e+00,1,5.40688837074972550312e+00,-0,-1.83914855054991264183e+01> 2, { 2,3,15 } 1, { 2,4 } 2, { 2,4,8 } 1, { 2,5 } 2, { 2,5,12 } 1, { 2,8 } 2, { 2,8,15 } 2, { 2,8,12,24,28 } 3, { 2,8,12,15,24,28 }, <-1.61803398874989823319e+00,1.49233309969628609153e-17,2.61803398874989357026e+00,-1,-7.85410196624968826029e+00> 1, { 2,12 } 2, { 2,12,15 } 1, { 2,15 } 1, { 3,4 } 2, { 3,4,9 } 1, { 3,5 } 2, { 3,5,13 } 1, { 3,9 } 2, { 3,9,15 } 2, { 3,9,13,25,29 } 3, { 3,9,13,15,25,29 }, <-1.61803398874989823319e+00,1.41355820104698611967e-16,2.61803398874989445844e+00,1,-7.85410196624968914847e+00> 1, { 3,13 } 2, { 3,13,15 } 1, { 3,15 } 1, { 4,6 } 2, { 4,6,7 } 3, { 4,6,7,16,17 }, <-5.40688837074973438490e+00,-4.95967477524977340408e+00,-1,-5.94326993679665245249e-16,-1.83914855054991406291e+01> 2, { 4,6,16 } 1, { 4,7 } 2, { 4,7,17 } 1, { 4,8 } 2, { 4,8,9 } 3, { 4,8,9,16,17 }, <-5.40688837074973438490e+00,-4.95967477524977340408e+00,1,-5.94326993679665245249e-16,-1.83914855054991406291e+01> 2, { 4,8,16 } 1, { 4,9 } 2, { 4,9,17 } 1, { 4,16 } 2, { 4,16,17 } 1, { 4,17 } 1, { 5,10 } 2, { 5,10,11 } 3, { 5,10,11,18,19 }, <-5.40688837074974948393e+00,4.95967477524978406223e+00,-1,-2.47482434549268776887e-16,-1.83914855054991832617e+01> 2, { 5,10,18 } 1, { 5,11 } 2, { 5,11,19 } 1, { 5,12 } 2, { 5,12,13 } 3, { 5,12,13,18,19 }, <-5.40688837074974770758e+00,4.95967477524978228587e+00,1,-2.47482434549268678279e-16,-1.83914855054991761563e+01> 2, { 5,12,18 } 1, { 5,13 } 2, { 5,13,19 } 1, { 5,18 } 2, { 5,18,19 } 1, { 5,19 } 1, { 6,7 } 2, { 6,7,14 } 3, { 6,7,14,22,23 }, <-2.06524758424985011018e+00,-1,-3.95967477524976496639e+00,-3.67314282525577942091e-16,-1.13665631459994855845e+01> 2, { 6,7,16,17 } 3, { 6,7,16,17,20 }, <-1,-3.95967477524977429226e+00,-2.06524758424985721561e+00,-1.22743238795140817250e-15,-1.13665631459995140062e+01> 2, { 6,7,20 } 3, { 6,7,20,22,23 }, <-1,-5.40688837074973349672e+00,-4.95967477524977340408e+00,-1.98602732259782480504e-15,-1.83914855054991370764e+01> 2, { 6,7,22,23 } 1, { 6,14 } 2, { 6,14,22 } 1, { 6,16 } 2, { 6,16,20 } 3, { 6,16,20,22,32,38 }, <-5.60764753491719047765e-16,-2.61803398874989667888e+00,-1.61803398874989690093e+00,-1,-7.85410196624969181300e+00> 2, { 6,16,22,32,38 } 1, { 6,20 } 2, { 6,20,22 } 1, { 6,22 } 1, { 7,14 } 2, { 7,14,23 } 1, { 7,17 } 2, { 7,17,20 } 3, { 7,17,20,23,33,39 }, <1.00937655628509373377e-15,-2.61803398874989712297e+00,-1.61803398874989756706e+00,1,-7.85410196624969358936e+00> 2, { 7,17,23,33,39 } 1, { 7,20 } 2, { 7,20,23 } 1, { 7,23 } 1, { 8,9 } 2, { 8,9,15 } 3, { 8,9,15,24,25 }, <-2.06524758424984922200e+00,-1,3.95967477524976407821e+00,-3.67314282525577991394e-16,-1.13665631459994802555e+01> 2, { 8,9,16,17 } 3, { 8,9,16,17,21 }, <-1,-3.95967477524977784498e+00,2.06524758424985854788e+00,-1.22743238795140935580e-15,-1.13665631459995246644e+01> 2, { 8,9,21 } 3, { 8,9,21,24,25 }, <-1,-5.40688837074974326669e+00,4.95967477524978406223e+00,-1.98602732259782874935e-15,-1.83914855054991761563e+01> 2, { 8,9,24,25 } 1, { 8,15 } 2, { 8,15,24 } 1, { 8,16 } 2, { 8,16,21 } 3, { 8,16,21,24,32,40 }, <8.97223605586748977588e-16,-2.61803398874989401435e+00,1.61803398874989534661e+00,-1,-7.85410196624968470758e+00> 2, { 8,16,24,32,40 } 1, { 8,21 } 2, { 8,21,24 } 1, { 8,24 } 1, { 9,15 } 2, { 9,15,25 } 1, { 9,17 } 2, { 9,17,21 } 3, { 9,17,21,25,33,41 }, <2.24305901396686988017e-15,-2.61803398874989401435e+00,1.61803398874989534661e+00,1,-7.85410196624968559576e+00> 2, { 9,17,25,33,41 } 1, { 9,21 } 2, { 9,21,25 } 1, { 9,25 } 1, { 10,11 } 2, { 10,11,14 } 3, { 10,11,14,26,27 }, <-2.06524758424984922200e+00,1,-3.95967477524976363412e+00,-3.35239960351038327905e-16,-1.13665631459994838082e+01> 2, { 10,11,18,19 } 3, { 10,11,18,19,30 }, <-1,3.95967477524977606862e+00,-2.06524758424985632743e+00,-9.37964120592612041624e-16,-1.13665631459995157826e+01> 2, { 10,11,26,27 } 3, { 10,11,26,27,30 }, <-1,5.40688837074974326669e+00,-4.95967477524978317405e+00,-1.60592201686630202300e-15,-1.83914855054991726035e+01> 2, { 10,11,30 } 1, { 10,14 } 2, { 10,14,26 } 1, { 10,18 } 2, { 10,18,30 } 2, { 10,18,26,34,42 } 3, { 10,18,26,30,34,42 }, <6.56554809203874091051e-16,2.61803398874989534661e+00,-1.61803398874989512457e+00,-1,-7.85410196624968737211e+00> 1, { 10,26 } 2, { 10,26,30 } 1, { 10,30 } 1, { 11,14 } 2, { 11,14,27 } 1, { 11,19 } 2, { 11,19,30 } 2, { 11,19,27,35,43 } 3, { 11,19,27,30,35,43 }, <1.28871725474255274462e-15,2.61803398874989756706e+00,-1.61803398874989623479e+00,1,-7.85410196624969270118e+00> 1, { 11,27 } 2, { 11,27,30 } 1, { 11,30 } 1, { 12,13 } 2, { 12,13,15 } 3, { 12,13,15,28,29 }, <-2.06524758424984922200e+00,1,3.95967477524976452230e+00,-3.35239960351038377208e-16,-1.13665631459994855845e+01> 2, { 12,13,18,19 } 3, { 12,13,18,19,31 }, <-1,3.95967477524977518044e+00,2.06524758424985499516e+00,-9.37964120592611252763e-16,-1.13665631459995104535e+01> 2, { 12,13,28,29 } 3, { 12,13,28,29,31 }, <-1,5.40688837074974326669e+00,4.95967477524978495040e+00,-1.60592201686630182579e-15,-1.83914855054991761563e+01> 2, { 12,13,31 } 1, { 12,15 } 2, { 12,15,28 } 1, { 12,18 } 2, { 12,18,31 } 2, { 12,18,28,34,44 } 3, { 12,18,28,31,34,44 }, <8.80860710600561236841e-16,2.61803398874989357026e+00,1.61803398874989401435e+00,-1,-7.85410196624968115486e+00> 1, { 12,28 } 2, { 12,28,31 } 1, { 12,31 } 1, { 13,15 } 2, { 13,15,29 } 1, { 13,19 } 2, { 13,19,31 } 2, { 13,19,29,35,45 } 3, { 13,19,29,31,35,45 }, <1.51302315613923969320e-15,2.61803398874989623479e+00,1.61803398874989512457e+00,1,-7.85410196624968737211e+00> 1, { 13,29 } 2, { 13,29,31 } 1, { 13,31 } 1, { 14,22 } 2, { 14,22,23 } 3, { 14,22,23,26,27 }, <-1,-1.04835241598783188900e-16,-3.00000000000000399680e+00,-3.88507040877328516693e-16,-7.85410196624969447754e+00> 2, { 14,22,26 } 1, { 14,23 } 2, { 14,23,27 } 1, { 14,26 } 2, { 14,26,27 } 1, { 14,27 } 1, { 15,24 } 2, { 15,24,25 } 3, { 15,24,25,28,29 }, <-1,-9.43517174389048244041e-16,3.00000000000000310862e+00,-3.88507040877328467389e-16,-7.85410196624969270118e+00> 2, { 15,24,28 } 1, { 15,25 } 2, { 15,25,29 } 1, { 15,28 } 2, { 15,28,29 } 1, { 15,29 } 1, { 16,17 } 2, { 16,17,20 } 3, { 16,17,20,32,33 }, <1.12890501337139818689e-15,-2.99999999999999866773e+00,-1,-1.10194284757673072013e-15,-7.85410196624968293122e+00> 2, { 16,17,21 } 3, { 16,17,21,32,33 }, <1.55896406608430928384e-15,-2.99999999999999644729e+00,1,-1.10194284757673012849e-15,-7.85410196624967760215e+00> 2, { 16,17,32,33 } 1, { 16,20 } 2, { 16,20,32 } 1, { 16,21 } 2, { 16,21,32 } 1, { 16,32 } 1, { 17,20 } 2, { 17,20,33 } 1, { 17,21 } 2, { 17,21,33 } 1, { 17,33 } 1, { 18,19 } 2, { 18,19,30 } 3, { 18,19,30,34,35 }, <-0,2.99999999999999822364e+00,-1,-8.52206872043408953257e-16,-7.85410196624968115486e+00> 2, { 18,19,31 } 3, { 18,19,31,34,35 }, <-8.60118105425826236805e-16,2.99999999999999777955e+00,1,-8.52206872043408361612e-16,-7.85410196624967937851e+00> 2, { 18,19,34,35 } 1, { 18,30 } 2, { 18,30,34 } 1, { 18,31 } 2, { 18,31,34 } 1, { 18,34 } 1, { 19,30 } 2, { 19,30,35 } 1, { 19,31 } 2, { 19,31,35 } 1, { 19,35 } 1, { 20,22 } 2, { 20,22,23 } 3, { 20,22,23,38,39 }, <1,-5.40688837074973616126e+00,-4.95967477524977606862e+00,-1.98602732259782598833e-15,-1.83914855054991477346e+01> 2, { 20,22,38 } 1, { 20,23 } 2, { 20,23,39 } 1, { 20,32 } 2, { 20,32,33 } 3, { 20,32,33,38,39 }, <1,-3.95967477524977207182e+00,-2.06524758424985410699e+00,-1.45444509910549552497e-15,-1.13665631459995033481e+01> 2, { 20,32,38 } 1, { 20,33 } 2, { 20,33,39 } 1, { 20,38 } 2, { 20,38,39 } 1, { 20,39 } 1, { 21,24 } 2, { 21,24,25 } 3, { 21,24,25,40,41 }, <1,-5.40688837074973172037e+00,4.95967477524977518044e+00,-1.98602732259782480504e-15,-1.83914855054991370764e+01> 2, { 21,24,40 } 1, { 21,25 } 2, { 21,25,41 } 1, { 21,32 } 2, { 21,32,33 } 3, { 21,32,33,40,41 }, <1,-3.95967477524977162773e+00,2.06524758424985366290e+00,-1.45444509910549572218e-15,-1.13665631459995015717e+01> 2, { 21,32,40 } 1, { 21,33 } 2, { 21,33,41 } 1, { 21,40 } 2, { 21,40,41 } 1, { 21,41 } 1, { 22,23 } 2, { 22,23,26,27 } 3, { 22,23,26,27,36 }, <1,6.45980365999876198291e-16,-3.00000000000000266454e+00,-3.88507040877328418086e-16,-7.85410196624969092483e+00> 2, { 22,23,36 } 3, { 22,23,36,38,39 }, <2.06524758424985233063e+00,-1,-3.95967477524976896319e+00,-7.61310487394131563626e-16,-1.13665631459994980190e+01> 2, { 22,23,38,39 } 1, { 22,26 } 2, { 22,26,36 } 3, { 22,26,36,38,42,48 }, <1.61803398874989423639e+00,6.53896573949055600405e-16,-2.61803398874989268208e+00,-1,-7.85410196624968026669e+00> 2, { 22,26,38,42,48 } 1, { 22,36 } 2, { 22,36,38 } 1, { 22,38 } 1, { 23,27 } 2, { 23,27,36 } 3, { 23,27,36,39,43,49 }, <1.61803398874989357026e+00,7.80329063056790621144e-16,-2.61803398874989134981e+00,1,-7.85410196624967671397e+00> 2, { 23,27,39,43,49 } 1, { 23,36 } 2, { 23,36,39 } 1, { 23,39 } 1, { 24,25 } 2, { 24,25,28,29 } 3, { 24,25,28,29,37 }, <1,-1.92701566790389214302e-16,3.00000000000000532907e+00,-3.88507040877328713908e-16,-7.85410196624969714208e+00> 2, { 24,25,37 } 3, { 24,25,37,40,41 }, <2.06524758424984922200e+00,-1,3.95967477524976585457e+00,-7.61310487394131070587e-16,-1.13665631459994873609e+01> 2, { 24,25,40,41 } 1, { 24,28 } 2, { 24,28,37 } 3, { 24,28,37,40,44,50 }, <1.61803398874989312617e+00,-7.80026946493997250189e-17,2.61803398874989357026e+00,-1,-7.85410196624968026669e+00> 2, { 24,28,40,44,50 } 1, { 24,37 } 2, { 24,37,40 } 1, { 24,40 } 1, { 25,29 } 2, { 25,29,37 } 3, { 25,29,37,41,45,51 }, <1.61803398874989290412e+00,4.84297944583356038692e-17,2.61803398874989268208e+00,1,-7.85410196624967849033e+00> 2, { 25,29,41,45,51 } 1, { 25,37 } 2, { 25,37,41 } 1, { 25,41 } 1, { 26,27 } 2, { 26,27,30 } 3, { 26,27,30,42,43 }, <1,5.40688837074973882579e+00,-4.95967477524977873315e+00,-1.60592201686630083971e-15,-1.83914855054991548400e+01> 2, { 26,27,36 } 3, { 26,27,36,42,43 }, <2.06524758424984966609e+00,1,-3.95967477524976629866e+00,-6.91010292593027613045e-16,-1.13665631459994873609e+01> 2, { 26,27,42,43 } 1, { 26,30 } 2, { 26,30,42 } 1, { 26,36 } 2, { 26,36,42 } 1, { 26,42 } 1, { 27,30 } 2, { 27,30,43 } 1, { 27,36 } 2, { 27,36,43 } 1, { 27,43 } 1, { 28,29 } 2, { 28,29,31 } 3, { 28,29,31,44,45 }, <1,5.40688837074974237851e+00,4.95967477524978406223e+00,-1.60592201686630123414e-15,-1.83914855054991690508e+01> 2, { 28,29,37 } 3, { 28,29,37,44,45 }, <2.06524758424984922200e+00,1,3.95967477524976763092e+00,-6.91010292593027810261e-16,-1.13665631459994909136e+01> 2, { 28,29,44,45 } 1, { 28,31 } 2, { 28,31,44 } 1, { 28,37 } 2, { 28,37,44 } 1, { 28,44 } 1, { 29,31 } 2, { 29,31,45 } 1, { 29,37 } 2, { 29,37,45 } 1, { 29,45 } 1, { 30,34 } 2, { 30,34,35 } 3, { 30,34,35,42,43 }, <1,3.95967477524977740089e+00,-2.06524758424985765970e+00,-1.14134376125662370725e-15,-1.13665631459995175589e+01> 2, { 30,34,42 } 1, { 30,35 } 2, { 30,35,43 } 1, { 30,42 } 2, { 30,42,43 } 1, { 30,43 } 1, { 31,34 } 2, { 31,34,35 } 3, { 31,34,35,44,45 }, <1,3.95967477524977606862e+00,2.06524758424985810379e+00,-1.14134376125662311560e-15,-1.13665631459995175589e+01> 2, { 31,34,44 } 1, { 31,35 } 2, { 31,35,45 } 1, { 31,44 } 2, { 31,44,45 } 1, { 31,45 } 1, { 32,33 } 2, { 32,33,38,39 } 3, { 32,33,38,39,46 }, <5.40688837074973349672e+00,-4.95967477524977429226e+00,-1,-1.99239312136897052734e-15,-1.83914855054991406291e+01> 2, { 32,33,40,41 } 3, { 32,33,40,41,46 }, <5.40688837074973438490e+00,-4.95967477524977518044e+00,1,-1.99239312136897092177e-15,-1.83914855054991441818e+01> 2, { 32,33,46 } 1, { 32,38 } 2, { 32,38,46 } 2, { 32,38,40,48,50 } 3, { 32,38,40,46,48,50 }, <2.61803398874990556067e+00,-1.61803398874990311818e+00,-0,-1,-7.85410196624971934654e+00> 1, { 32,40 } 2, { 32,40,46 } 1, { 32,46 } 1, { 33,39 } 2, { 33,39,46 } 2, { 33,39,41,49,51 } 3, { 33,39,41,46,49,51 }, <2.61803398874990556067e+00,-1.61803398874990223000e+00,-0,1,-7.85410196624971845836e+00> 1, { 33,41 } 2, { 33,41,46 } 1, { 33,46 } 1, { 34,35 } 2, { 34,35,42,43 } 3, { 34,35,42,43,47 }, <5.40688837074973260854e+00,4.95967477524977962133e+00,-1,-1.61186461945068862241e-15,-1.83914855054991441818e+01> 2, { 34,35,44,45 } 3, { 34,35,44,45,47 }, <5.40688837074972727947e+00,4.95967477524977340408e+00,1,-1.61186461945068684747e-15,-1.83914855054991264183e+01> 2, { 34,35,47 } 1, { 34,42 } 2, { 34,42,47 } 2, { 34,42,44,48,50 } 3, { 34,42,44,47,48,50 }, <2.61803398874990467249e+00,1.61803398874990445044e+00,3.16081222769340657988e-16,-1,-7.85410196624971934654e+00> 1, { 34,44 } 2, { 34,44,47 } 1, { 34,47 } 1, { 35,43 } 2, { 35,43,47 } 2, { 35,43,45,49,51 } 3, { 35,43,45,47,49,51 }, <2.61803398874990245204e+00,1.61803398874990311818e+00,3.16081222769340362165e-16,1,-7.85410196624971224111e+00> 1, { 35,45 } 2, { 35,45,47 } 1, { 35,47 } 1, { 36,38 } 2, { 36,38,39 } 3, { 36,38,39,48,49 }, <4.95967477524977518044e+00,-1,-5.40688837074973083219e+00,-1.22240191389834386763e-15,-1.83914855054991406291e+01> 2, { 36,38,48 } 1, { 36,39 } 2, { 36,39,49 } 1, { 36,42 } 2, { 36,42,43 } 3, { 36,42,43,48,49 }, <4.95967477524976807501e+00,1,-5.40688837074972372676e+00,-1.15210171909723902958e-15,-1.83914855054991157601e+01> 2, { 36,42,48 } 1, { 36,43 } 2, { 36,43,49 } 1, { 36,48 } 2, { 36,48,49 } 1, { 36,49 } 1, { 37,40 } 2, { 37,40,41 } 3, { 37,40,41,50,51 }, <4.95967477524976985137e+00,-1,5.40688837074972639130e+00,-1.22240191389834288155e-15,-1.83914855054991193128e+01> 2, { 37,40,50 } 1, { 37,41 } 2, { 37,41,51 } 1, { 37,44 } 2, { 37,44,45 } 3, { 37,44,45,50,51 }, <4.95967477524977162773e+00,1,5.40688837074972905583e+00,-1.15210171909724001565e-15,-1.83914855054991264183e+01> 2, { 37,44,50 } 1, { 37,45 } 2, { 37,45,51 } 1, { 37,50 } 2, { 37,50,51 } 1, { 37,51 } 1, { 38,39 } 2, { 38,39,46 } 3, { 38,39,46,48,49 }, <3.95967477524977384817e+00,-2.06524758424985543925e+00,-1,-1.08076498606201476501e-15,-1.13665631459995104535e+01> 2, { 38,39,48,49 } 1, { 38,46 } 2, { 38,46,48 } 1, { 38,48 } 1, { 39,46 } 2, { 39,46,49 } 1, { 39,49 } 1, { 40,41 } 2, { 40,41,46 } 3, { 40,41,46,50,51 }, <3.95967477524977207182e+00,-2.06524758424985410699e+00,1,-1.08076498606201417336e-15,-1.13665631459995033481e+01> 2, { 40,41,50,51 } 1, { 40,46 } 2, { 40,46,50 } 1, { 40,50 } 1, { 41,46 } 2, { 41,46,51 } 1, { 41,51 } 1, { 42,43 } 2, { 42,43,47 } 3, { 42,43,47,48,49 }, <3.95967477524977251591e+00,2.06524758424985632743e+00,-1,-9.22309925007054197601e-16,-1.13665631459995069008e+01> 2, { 42,43,48,49 } 1, { 42,47 } 2, { 42,47,48 } 1, { 42,48 } 1, { 43,47 } 2, { 43,47,49 } 1, { 43,49 } 1, { 44,45 } 2, { 44,45,47 } 3, { 44,45,47,50,51 }, <3.95967477524976896319e+00,2.06524758424985321881e+00,1,-9.22309925007053408740e-16,-1.13665631459994962427e+01> 2, { 44,45,50,51 } 1, { 44,47 } 2, { 44,47,50 } 1, { 44,50 } 1, { 45,47 } 2, { 45,47,51 } 1, { 45,51 } 1, { 46,48 } 2, { 46,48,49 } 3, { 46,48,49,50,51 }, <2.99999999999999777955e+00,-1,2.62088103996961170835e-16,-6.82475642129718250171e-16,-7.85410196624967937851e+00> 2, { 46,48,50 } 1, { 46,49 } 2, { 46,49,51 } 1, { 46,50 } 2, { 46,50,51 } 1, { 46,51 } 1, { 47,48 } 2, { 47,48,49 } 3, { 47,48,49,50,51 }, <2.99999999999999600320e+00,1,3.66923345595745777219e-16,-6.05751155311100039212e-16,-7.85410196624967404944e+00> 2, { 47,48,50 } 1, { 47,49 } 2, { 47,49,51 } 1, { 47,50 } 2, { 47,50,51 } 1, { 47,51 } 1, { 48,49 } 2, { 48,49,50,51 } 1, { 48,50 } 1, { 49,51 } 1, { 50,51 } } }