# Automatically generated by makepoly.
polytope H0100_cup {
dimension 4
vertices {
<4.23606797749978980505e+00, -7.47213595499957961010e+00, -1, -1>
<4.23606797749978980505e+00, -7.47213595499957961010e+00, -1, 1>
<4.23606797749978980505e+00, -7.47213595499957961010e+00, 1, -1>
<4.23606797749978980505e+00, -7.47213595499957961010e+00, 1, 1>
<4.23606797749978980505e+00, -6.85410196624968470758e+00, -2, -2.61803398874989490253e+00>
<4.23606797749978980505e+00, -6.85410196624968470758e+00, -2, 2.61803398874989490253e+00>
<4.23606797749978980505e+00, -6.85410196624968470758e+00, 2, -2.61803398874989490253e+00>
<4.23606797749978980505e+00, -6.85410196624968470758e+00, 2, 2.61803398874989490253e+00>
<4.23606797749978980505e+00, -6.23606797749978980505e+00, -1, -4.23606797749978980505e+00>
<4.23606797749978980505e+00, -6.23606797749978980505e+00, -1, 4.23606797749978980505e+00>
<4.23606797749978980505e+00, -6.23606797749978980505e+00, 1, -4.23606797749978980505e+00>
<4.23606797749978980505e+00, -6.23606797749978980505e+00, 1, 4.23606797749978980505e+00>
<4.23606797749978980505e+00, -5.85410196624968470758e+00, -3.61803398874989490253e+00, -3.23606797749978980505e+00>
<4.23606797749978980505e+00, -5.85410196624968470758e+00, -3.61803398874989490253e+00, 3.23606797749978980505e+00>
<4.23606797749978980505e+00, -5.85410196624968470758e+00, 3.61803398874989490253e+00, -3.23606797749978980505e+00>
<4.23606797749978980505e+00, -5.85410196624968470758e+00, 3.61803398874989490253e+00, 3.23606797749978980505e+00>
<4.23606797749978980505e+00, -5.23606797749978980505e+00, -2.61803398874989490253e+00, -4.85410196624968470758e+00>
<4.23606797749978980505e+00, -5.23606797749978980505e+00, -2.61803398874989490253e+00, 4.85410196624968470758e+00>
<4.23606797749978980505e+00, -5.23606797749978980505e+00, 2.61803398874989490253e+00, -4.85410196624968470758e+00>
<4.23606797749978980505e+00, -5.23606797749978980505e+00, 2.61803398874989490253e+00, 4.85410196624968470758e+00>
<4.23606797749978980505e+00, -4.85410196624968470758e+00, -5.23606797749978980505e+00, -2.61803398874989490253e+00>
<4.23606797749978980505e+00, -4.85410196624968470758e+00, -5.23606797749978980505e+00, 2.61803398874989490253e+00>
<4.23606797749978980505e+00, -4.85410196624968470758e+00, 5.23606797749978980505e+00, -2.61803398874989490253e+00>
<4.23606797749978980505e+00, -4.85410196624968470758e+00, 5.23606797749978980505e+00, 2.61803398874989490253e+00>
<4.23606797749978980505e+00, -4.23606797749978980505e+00, -6.23606797749978980505e+00, -1>
<4.23606797749978980505e+00, -4.23606797749978980505e+00, -6.23606797749978980505e+00, 1>
<4.23606797749978980505e+00, -4.23606797749978980505e+00, 6.23606797749978980505e+00, -1>
<4.23606797749978980505e+00, -4.23606797749978980505e+00, 6.23606797749978980505e+00, 1>
<4.23606797749978980505e+00, -3.61803398874989490253e+00, -3.23606797749978980505e+00, -5.85410196624968470758e+00>
<4.23606797749978980505e+00, -3.61803398874989490253e+00, -3.23606797749978980505e+00, 5.85410196624968470758e+00>
<4.23606797749978980505e+00, -3.61803398874989490253e+00, 3.23606797749978980505e+00, -5.85410196624968470758e+00>
<4.23606797749978980505e+00, -3.61803398874989490253e+00, 3.23606797749978980505e+00, 5.85410196624968470758e+00>
<4.23606797749978980505e+00, -3.23606797749978980505e+00, -5.85410196624968470758e+00, -3.61803398874989490253e+00>
<4.23606797749978980505e+00, -3.23606797749978980505e+00, -5.85410196624968470758e+00, 3.61803398874989490253e+00>
<4.23606797749978980505e+00, -3.23606797749978980505e+00, 5.85410196624968470758e+00, -3.61803398874989490253e+00>
<4.23606797749978980505e+00, -3.23606797749978980505e+00, 5.85410196624968470758e+00, 3.61803398874989490253e+00>
<4.23606797749978980505e+00, -2.61803398874989490253e+00, -6.85410196624968470758e+00, -2>
<4.23606797749978980505e+00, -2.61803398874989490253e+00, -6.85410196624968470758e+00, 2>
<4.23606797749978980505e+00, -2.61803398874989490253e+00, -4.85410196624968470758e+00, -5.23606797749978980505e+00>
<4.23606797749978980505e+00, -2.61803398874989490253e+00, -4.85410196624968470758e+00, 5.23606797749978980505e+00>
<4.23606797749978980505e+00, -2.61803398874989490253e+00, 4.85410196624968470758e+00, -5.23606797749978980505e+00>
<4.23606797749978980505e+00, -2.61803398874989490253e+00, 4.85410196624968470758e+00, 5.23606797749978980505e+00>
<4.23606797749978980505e+00, -2.61803398874989490253e+00, 6.85410196624968470758e+00, -2>
<4.23606797749978980505e+00, -2.61803398874989490253e+00, 6.85410196624968470758e+00, 2>
<4.23606797749978980505e+00, -2, -2.61803398874989490253e+00, -6.85410196624968470758e+00>
<4.23606797749978980505e+00, -2, -2.61803398874989490253e+00, 6.85410196624968470758e+00>
<4.23606797749978980505e+00, -2, 2.61803398874989490253e+00, -6.85410196624968470758e+00>
<4.23606797749978980505e+00, -2, 2.61803398874989490253e+00, 6.85410196624968470758e+00>
<4.23606797749978980505e+00, -1, -7.47213595499957961010e+00, -1>
<4.23606797749978980505e+00, -1, -7.47213595499957961010e+00, 1>
<4.23606797749978980505e+00, -1, -4.23606797749978980505e+00, -6.23606797749978980505e+00>
<4.23606797749978980505e+00, -1, -4.23606797749978980505e+00, 6.23606797749978980505e+00>
<4.23606797749978980505e+00, -1, -1, -7.47213595499957961010e+00>
<4.23606797749978980505e+00, -1, -1, 7.47213595499957961010e+00>
<4.23606797749978980505e+00, -1, 1, -7.47213595499957961010e+00>
<4.23606797749978980505e+00, -1, 1, 7.47213595499957961010e+00>
<4.23606797749978980505e+00, -1, 4.23606797749978980505e+00, -6.23606797749978980505e+00>
<4.23606797749978980505e+00, -1, 4.23606797749978980505e+00, 6.23606797749978980505e+00>
<4.23606797749978980505e+00, -1, 7.47213595499957961010e+00, -1>
<4.23606797749978980505e+00, -1, 7.47213595499957961010e+00, 1>
<4.23606797749978980505e+00, 1, -7.47213595499957961010e+00, -1>
<4.23606797749978980505e+00, 1, -7.47213595499957961010e+00, 1>
<4.23606797749978980505e+00, 1, -4.23606797749978980505e+00, -6.23606797749978980505e+00>
<4.23606797749978980505e+00, 1, -4.23606797749978980505e+00, 6.23606797749978980505e+00>
<4.23606797749978980505e+00, 1, -1, -7.47213595499957961010e+00>
<4.23606797749978980505e+00, 1, -1, 7.47213595499957961010e+00>
<4.23606797749978980505e+00, 1, 1, -7.47213595499957961010e+00>
<4.23606797749978980505e+00, 1, 1, 7.47213595499957961010e+00>
<4.23606797749978980505e+00, 1, 4.23606797749978980505e+00, -6.23606797749978980505e+00>
<4.23606797749978980505e+00, 1, 4.23606797749978980505e+00, 6.23606797749978980505e+00>
<4.23606797749978980505e+00, 1, 7.47213595499957961010e+00, -1>
<4.23606797749978980505e+00, 1, 7.47213595499957961010e+00, 1>
<4.23606797749978980505e+00, 2, -2.61803398874989490253e+00, -6.85410196624968470758e+00>
<4.23606797749978980505e+00, 2, -2.61803398874989490253e+00, 6.85410196624968470758e+00>
<4.23606797749978980505e+00, 2, 2.61803398874989490253e+00, -6.85410196624968470758e+00>
<4.23606797749978980505e+00, 2, 2.61803398874989490253e+00, 6.85410196624968470758e+00>
<4.23606797749978980505e+00, 2.61803398874989490253e+00, -6.85410196624968470758e+00, -2>
<4.23606797749978980505e+00, 2.61803398874989490253e+00, -6.85410196624968470758e+00, 2>
<4.23606797749978980505e+00, 2.61803398874989490253e+00, -4.85410196624968470758e+00, -5.23606797749978980505e+00>
<4.23606797749978980505e+00, 2.61803398874989490253e+00, -4.85410196624968470758e+00, 5.23606797749978980505e+00>
<4.23606797749978980505e+00, 2.61803398874989490253e+00, 4.85410196624968470758e+00, -5.23606797749978980505e+00>
<4.23606797749978980505e+00, 2.61803398874989490253e+00, 4.85410196624968470758e+00, 5.23606797749978980505e+00>
<4.23606797749978980505e+00, 2.61803398874989490253e+00, 6.85410196624968470758e+00, -2>
<4.23606797749978980505e+00, 2.61803398874989490253e+00, 6.85410196624968470758e+00, 2>
<4.23606797749978980505e+00, 3.23606797749978980505e+00, -5.85410196624968470758e+00, -3.61803398874989490253e+00>
<4.23606797749978980505e+00, 3.23606797749978980505e+00, -5.85410196624968470758e+00, 3.61803398874989490253e+00>
<4.23606797749978980505e+00, 3.23606797749978980505e+00, 5.85410196624968470758e+00, -3.61803398874989490253e+00>
<4.23606797749978980505e+00, 3.23606797749978980505e+00, 5.85410196624968470758e+00, 3.61803398874989490253e+00>
<4.23606797749978980505e+00, 3.61803398874989490253e+00, -3.23606797749978980505e+00, -5.85410196624968470758e+00>
<4.23606797749978980505e+00, 3.61803398874989490253e+00, -3.23606797749978980505e+00, 5.85410196624968470758e+00>
<4.23606797749978980505e+00, 3.61803398874989490253e+00, 3.23606797749978980505e+00, -5.85410196624968470758e+00>
<4.23606797749978980505e+00, 3.61803398874989490253e+00, 3.23606797749978980505e+00, 5.85410196624968470758e+00>
<4.23606797749978980505e+00, 4.23606797749978980505e+00, -6.23606797749978980505e+00, -1>
<4.23606797749978980505e+00, 4.23606797749978980505e+00, -6.23606797749978980505e+00, 1>
<4.23606797749978980505e+00, 4.23606797749978980505e+00, 6.23606797749978980505e+00, -1>
<4.23606797749978980505e+00, 4.23606797749978980505e+00, 6.23606797749978980505e+00, 1>
<4.23606797749978980505e+00, 4.85410196624968470758e+00, -5.23606797749978980505e+00, -2.61803398874989490253e+00>
<4.23606797749978980505e+00, 4.85410196624968470758e+00, -5.23606797749978980505e+00, 2.61803398874989490253e+00>
<4.23606797749978980505e+00, 4.85410196624968470758e+00, 5.23606797749978980505e+00, -2.61803398874989490253e+00>
<4.23606797749978980505e+00, 4.85410196624968470758e+00, 5.23606797749978980505e+00, 2.61803398874989490253e+00>
<4.23606797749978980505e+00, 5.23606797749978980505e+00, -2.61803398874989490253e+00, -4.85410196624968470758e+00>
<4.23606797749978980505e+00, 5.23606797749978980505e+00, -2.61803398874989490253e+00, 4.85410196624968470758e+00>
<4.23606797749978980505e+00, 5.23606797749978980505e+00, 2.61803398874989490253e+00, -4.85410196624968470758e+00>
<4.23606797749978980505e+00, 5.23606797749978980505e+00, 2.61803398874989490253e+00, 4.85410196624968470758e+00>
<4.23606797749978980505e+00, 5.85410196624968470758e+00, -3.61803398874989490253e+00, -3.23606797749978980505e+00>
<4.23606797749978980505e+00, 5.85410196624968470758e+00, -3.61803398874989490253e+00, 3.23606797749978980505e+00>
<4.23606797749978980505e+00, 5.85410196624968470758e+00, 3.61803398874989490253e+00, -3.23606797749978980505e+00>
<4.23606797749978980505e+00, 5.85410196624968470758e+00, 3.61803398874989490253e+00, 3.23606797749978980505e+00>
<4.23606797749978980505e+00, 6.23606797749978980505e+00, -1, -4.23606797749978980505e+00>
<4.23606797749978980505e+00, 6.23606797749978980505e+00, -1, 4.23606797749978980505e+00>
<4.23606797749978980505e+00, 6.23606797749978980505e+00, 1, -4.23606797749978980505e+00>
<4.23606797749978980505e+00, 6.23606797749978980505e+00, 1, 4.23606797749978980505e+00>
<4.23606797749978980505e+00, 6.85410196624968470758e+00, -2, -2.61803398874989490253e+00>
<4.23606797749978980505e+00, 6.85410196624968470758e+00, -2, 2.61803398874989490253e+00>
<4.23606797749978980505e+00, 6.85410196624968470758e+00, 2, -2.61803398874989490253e+00>
<4.23606797749978980505e+00, 6.85410196624968470758e+00, 2, 2.61803398874989490253e+00>
<4.23606797749978980505e+00, 7.47213595499957961010e+00, -1, -1>
<4.23606797749978980505e+00, 7.47213595499957961010e+00, -1, 1>
<4.23606797749978980505e+00, 7.47213595499957961010e+00, 1, -1>
<4.23606797749978980505e+00, 7.47213595499957961010e+00, 1, 1>
<5.23606797749978980505e+00, -6.85410196624968470758e+00, -2.61803398874989490253e+00, -1>
<5.23606797749978980505e+00, -6.85410196624968470758e+00, -2.61803398874989490253e+00, 1>
<5.23606797749978980505e+00, -6.85410196624968470758e+00, 2.61803398874989490253e+00, -1>
<5.23606797749978980505e+00, -6.85410196624968470758e+00, 2.61803398874989490253e+00, 1>
<5.23606797749978980505e+00, -5.85410196624968470758e+00, -4.23606797749978980505e+00, -1.61803398874989490253e+00>
<5.23606797749978980505e+00, -5.85410196624968470758e+00, -4.23606797749978980505e+00, 1.61803398874989490253e+00>
<5.23606797749978980505e+00, -5.85410196624968470758e+00, 4.23606797749978980505e+00, -1.61803398874989490253e+00>
<5.23606797749978980505e+00, -5.85410196624968470758e+00, 4.23606797749978980505e+00, 1.61803398874989490253e+00>
<5.23606797749978980505e+00, -5.23606797749978980505e+00, -5.23606797749978980505e+00, 0>
<5.23606797749978980505e+00, -5.23606797749978980505e+00, 0, -5.23606797749978980505e+00>
<5.23606797749978980505e+00, -5.23606797749978980505e+00, 0, 5.23606797749978980505e+00>
<5.23606797749978980505e+00, -5.23606797749978980505e+00, 5.23606797749978980505e+00, 0>
<5.23606797749978980505e+00, -4.23606797749978980505e+00, -1.61803398874989490253e+00, -5.85410196624968470758e+00>
<5.23606797749978980505e+00, -4.23606797749978980505e+00, -1.61803398874989490253e+00, 5.85410196624968470758e+00>
<5.23606797749978980505e+00, -4.23606797749978980505e+00, 1.61803398874989490253e+00, -5.85410196624968470758e+00>
<5.23606797749978980505e+00, -4.23606797749978980505e+00, 1.61803398874989490253e+00, 5.85410196624968470758e+00>
<5.23606797749978980505e+00, -2.61803398874989490253e+00, -1, -6.85410196624968470758e+00>
<5.23606797749978980505e+00, -2.61803398874989490253e+00, -1, 6.85410196624968470758e+00>
<5.23606797749978980505e+00, -2.61803398874989490253e+00, 1, -6.85410196624968470758e+00>
<5.23606797749978980505e+00, -2.61803398874989490253e+00, 1, 6.85410196624968470758e+00>
<5.23606797749978980505e+00, -1.61803398874989490253e+00, -5.85410196624968470758e+00, -4.23606797749978980505e+00>
<5.23606797749978980505e+00, -1.61803398874989490253e+00, -5.85410196624968470758e+00, 4.23606797749978980505e+00>
<5.23606797749978980505e+00, -1.61803398874989490253e+00, 5.85410196624968470758e+00, -4.23606797749978980505e+00>
<5.23606797749978980505e+00, -1.61803398874989490253e+00, 5.85410196624968470758e+00, 4.23606797749978980505e+00>
<5.23606797749978980505e+00, -1, -6.85410196624968470758e+00, -2.61803398874989490253e+00>
<5.23606797749978980505e+00, -1, -6.85410196624968470758e+00, 2.61803398874989490253e+00>
<5.23606797749978980505e+00, -1, 6.85410196624968470758e+00, -2.61803398874989490253e+00>
<5.23606797749978980505e+00, -1, 6.85410196624968470758e+00, 2.61803398874989490253e+00>
<5.23606797749978980505e+00, 0, -5.23606797749978980505e+00, -5.23606797749978980505e+00>
<5.23606797749978980505e+00, 0, -5.23606797749978980505e+00, 5.23606797749978980505e+00>
<5.23606797749978980505e+00, 0, 5.23606797749978980505e+00, -5.23606797749978980505e+00>
<5.23606797749978980505e+00, 0, 5.23606797749978980505e+00, 5.23606797749978980505e+00>
<5.23606797749978980505e+00, 1, -6.85410196624968470758e+00, -2.61803398874989490253e+00>
<5.23606797749978980505e+00, 1, -6.85410196624968470758e+00, 2.61803398874989490253e+00>
<5.23606797749978980505e+00, 1, 6.85410196624968470758e+00, -2.61803398874989490253e+00>
<5.23606797749978980505e+00, 1, 6.85410196624968470758e+00, 2.61803398874989490253e+00>
<5.23606797749978980505e+00, 1.61803398874989490253e+00, -5.85410196624968470758e+00, -4.23606797749978980505e+00>
<5.23606797749978980505e+00, 1.61803398874989490253e+00, -5.85410196624968470758e+00, 4.23606797749978980505e+00>
<5.23606797749978980505e+00, 1.61803398874989490253e+00, 5.85410196624968470758e+00, -4.23606797749978980505e+00>
<5.23606797749978980505e+00, 1.61803398874989490253e+00, 5.85410196624968470758e+00, 4.23606797749978980505e+00>
<5.23606797749978980505e+00, 2.61803398874989490253e+00, -1, -6.85410196624968470758e+00>
<5.23606797749978980505e+00, 2.61803398874989490253e+00, -1, 6.85410196624968470758e+00>
<5.23606797749978980505e+00, 2.61803398874989490253e+00, 1, -6.85410196624968470758e+00>
<5.23606797749978980505e+00, 2.61803398874989490253e+00, 1, 6.85410196624968470758e+00>
<5.23606797749978980505e+00, 4.23606797749978980505e+00, -1.61803398874989490253e+00, -5.85410196624968470758e+00>
<5.23606797749978980505e+00, 4.23606797749978980505e+00, -1.61803398874989490253e+00, 5.85410196624968470758e+00>
<5.23606797749978980505e+00, 4.23606797749978980505e+00, 1.61803398874989490253e+00, -5.85410196624968470758e+00>
<5.23606797749978980505e+00, 4.23606797749978980505e+00, 1.61803398874989490253e+00, 5.85410196624968470758e+00>
<5.23606797749978980505e+00, 5.23606797749978980505e+00, -5.23606797749978980505e+00, 0>
<5.23606797749978980505e+00, 5.23606797749978980505e+00, 0, -5.23606797749978980505e+00>
<5.23606797749978980505e+00, 5.23606797749978980505e+00, 0, 5.23606797749978980505e+00>
<5.23606797749978980505e+00, 5.23606797749978980505e+00, 5.23606797749978980505e+00, 0>
<5.23606797749978980505e+00, 5.85410196624968470758e+00, -4.23606797749978980505e+00, -1.61803398874989490253e+00>
<5.23606797749978980505e+00, 5.85410196624968470758e+00, -4.23606797749978980505e+00, 1.61803398874989490253e+00>
<5.23606797749978980505e+00, 5.85410196624968470758e+00, 4.23606797749978980505e+00, -1.61803398874989490253e+00>
<5.23606797749978980505e+00, 5.85410196624968470758e+00, 4.23606797749978980505e+00, 1.61803398874989490253e+00>
<5.23606797749978980505e+00, 6.85410196624968470758e+00, -2.61803398874989490253e+00, -1>
<5.23606797749978980505e+00, 6.85410196624968470758e+00, -2.61803398874989490253e+00, 1>
<5.23606797749978980505e+00, 6.85410196624968470758e+00, 2.61803398874989490253e+00, -1>
<5.23606797749978980505e+00, 6.85410196624968470758e+00, 2.61803398874989490253e+00, 1>
<5.85410196624968470758e+00, -6.85410196624968470758e+00, -1, 0>
<5.85410196624968470758e+00, -6.85410196624968470758e+00, 1, 0>
<5.85410196624968470758e+00, -5.85410196624968470758e+00, -2.61803398874989490253e+00, -2.61803398874989490253e+00>
<5.85410196624968470758e+00, -5.85410196624968470758e+00, -2.61803398874989490253e+00, 2.61803398874989490253e+00>
<5.85410196624968470758e+00, -5.85410196624968470758e+00, 2.61803398874989490253e+00, -2.61803398874989490253e+00>
<5.85410196624968470758e+00, -5.85410196624968470758e+00, 2.61803398874989490253e+00, 2.61803398874989490253e+00>
<5.85410196624968470758e+00, -5.23606797749978980505e+00, -1.61803398874989490253e+00, -4.23606797749978980505e+00>
<5.85410196624968470758e+00, -5.23606797749978980505e+00, -1.61803398874989490253e+00, 4.23606797749978980505e+00>
<5.85410196624968470758e+00, -5.23606797749978980505e+00, 1.61803398874989490253e+00, -4.23606797749978980505e+00>
<5.85410196624968470758e+00, -5.23606797749978980505e+00, 1.61803398874989490253e+00, 4.23606797749978980505e+00>
<5.85410196624968470758e+00, -4.23606797749978980505e+00, -5.23606797749978980505e+00, -1.61803398874989490253e+00>
<5.85410196624968470758e+00, -4.23606797749978980505e+00, -5.23606797749978980505e+00, 1.61803398874989490253e+00>
<5.85410196624968470758e+00, -4.23606797749978980505e+00, 5.23606797749978980505e+00, -1.61803398874989490253e+00>
<5.85410196624968470758e+00, -4.23606797749978980505e+00, 5.23606797749978980505e+00, 1.61803398874989490253e+00>
<5.85410196624968470758e+00, -2.61803398874989490253e+00, -5.85410196624968470758e+00, -2.61803398874989490253e+00>
<5.85410196624968470758e+00, -2.61803398874989490253e+00, -5.85410196624968470758e+00, 2.61803398874989490253e+00>
<5.85410196624968470758e+00, -2.61803398874989490253e+00, -2.61803398874989490253e+00, -5.85410196624968470758e+00>
<5.85410196624968470758e+00, -2.61803398874989490253e+00, -2.61803398874989490253e+00, 5.85410196624968470758e+00>
<5.85410196624968470758e+00, -2.61803398874989490253e+00, 2.61803398874989490253e+00, -5.85410196624968470758e+00>
<5.85410196624968470758e+00, -2.61803398874989490253e+00, 2.61803398874989490253e+00, 5.85410196624968470758e+00>
<5.85410196624968470758e+00, -2.61803398874989490253e+00, 5.85410196624968470758e+00, -2.61803398874989490253e+00>
<5.85410196624968470758e+00, -2.61803398874989490253e+00, 5.85410196624968470758e+00, 2.61803398874989490253e+00>
<5.85410196624968470758e+00, -1.61803398874989490253e+00, -4.23606797749978980505e+00, -5.23606797749978980505e+00>
<5.85410196624968470758e+00, -1.61803398874989490253e+00, -4.23606797749978980505e+00, 5.23606797749978980505e+00>
<5.85410196624968470758e+00, -1.61803398874989490253e+00, 4.23606797749978980505e+00, -5.23606797749978980505e+00>
<5.85410196624968470758e+00, -1.61803398874989490253e+00, 4.23606797749978980505e+00, 5.23606797749978980505e+00>
<5.85410196624968470758e+00, -1, 0, -6.85410196624968470758e+00>
<5.85410196624968470758e+00, -1, 0, 6.85410196624968470758e+00>
<5.85410196624968470758e+00, 0, -6.85410196624968470758e+00, -1>
<5.85410196624968470758e+00, 0, -6.85410196624968470758e+00, 1>
<5.85410196624968470758e+00, 0, 6.85410196624968470758e+00, -1>
<5.85410196624968470758e+00, 0, 6.85410196624968470758e+00, 1>
<5.85410196624968470758e+00, 1, 0, -6.85410196624968470758e+00>
<5.85410196624968470758e+00, 1, 0, 6.85410196624968470758e+00>
<5.85410196624968470758e+00, 1.61803398874989490253e+00, -4.23606797749978980505e+00, -5.23606797749978980505e+00>
<5.85410196624968470758e+00, 1.61803398874989490253e+00, -4.23606797749978980505e+00, 5.23606797749978980505e+00>
<5.85410196624968470758e+00, 1.61803398874989490253e+00, 4.23606797749978980505e+00, -5.23606797749978980505e+00>
<5.85410196624968470758e+00, 1.61803398874989490253e+00, 4.23606797749978980505e+00, 5.23606797749978980505e+00>
<5.85410196624968470758e+00, 2.61803398874989490253e+00, -5.85410196624968470758e+00, -2.61803398874989490253e+00>
<5.85410196624968470758e+00, 2.61803398874989490253e+00, -5.85410196624968470758e+00, 2.61803398874989490253e+00>
<5.85410196624968470758e+00, 2.61803398874989490253e+00, -2.61803398874989490253e+00, -5.85410196624968470758e+00>
<5.85410196624968470758e+00, 2.61803398874989490253e+00, -2.61803398874989490253e+00, 5.85410196624968470758e+00>
<5.85410196624968470758e+00, 2.61803398874989490253e+00, 2.61803398874989490253e+00, -5.85410196624968470758e+00>
<5.85410196624968470758e+00, 2.61803398874989490253e+00, 2.61803398874989490253e+00, 5.85410196624968470758e+00>
<5.85410196624968470758e+00, 2.61803398874989490253e+00, 5.85410196624968470758e+00, -2.61803398874989490253e+00>
<5.85410196624968470758e+00, 2.61803398874989490253e+00, 5.85410196624968470758e+00, 2.61803398874989490253e+00>
<5.85410196624968470758e+00, 4.23606797749978980505e+00, -5.23606797749978980505e+00, -1.61803398874989490253e+00>
<5.85410196624968470758e+00, 4.23606797749978980505e+00, -5.23606797749978980505e+00, 1.61803398874989490253e+00>
<5.85410196624968470758e+00, 4.23606797749978980505e+00, 5.23606797749978980505e+00, -1.61803398874989490253e+00>
<5.85410196624968470758e+00, 4.23606797749978980505e+00, 5.23606797749978980505e+00, 1.61803398874989490253e+00>
<5.85410196624968470758e+00, 5.23606797749978980505e+00, -1.61803398874989490253e+00, -4.23606797749978980505e+00>
<5.85410196624968470758e+00, 5.23606797749978980505e+00, -1.61803398874989490253e+00, 4.23606797749978980505e+00>
<5.85410196624968470758e+00, 5.23606797749978980505e+00, 1.61803398874989490253e+00, -4.23606797749978980505e+00>
<5.85410196624968470758e+00, 5.23606797749978980505e+00, 1.61803398874989490253e+00, 4.23606797749978980505e+00>
<5.85410196624968470758e+00, 5.85410196624968470758e+00, -2.61803398874989490253e+00, -2.61803398874989490253e+00>
<5.85410196624968470758e+00, 5.85410196624968470758e+00, -2.61803398874989490253e+00, 2.61803398874989490253e+00>
<5.85410196624968470758e+00, 5.85410196624968470758e+00, 2.61803398874989490253e+00, -2.61803398874989490253e+00>
<5.85410196624968470758e+00, 5.85410196624968470758e+00, 2.61803398874989490253e+00, 2.61803398874989490253e+00>
<5.85410196624968470758e+00, 6.85410196624968470758e+00, -1, 0>
<5.85410196624968470758e+00, 6.85410196624968470758e+00, 1, 0>
<6.85410196624968470758e+00, -5.85410196624968470758e+00, 0, -1>
<6.85410196624968470758e+00, -5.85410196624968470758e+00, 0, 1>
<6.85410196624968470758e+00, -5.23606797749978980505e+00, -1, -2.61803398874989490253e+00>
<6.85410196624968470758e+00, -5.23606797749978980505e+00, -1, 2.61803398874989490253e+00>
<6.85410196624968470758e+00, -5.23606797749978980505e+00, 1, -2.61803398874989490253e+00>
<6.85410196624968470758e+00, -5.23606797749978980505e+00, 1, 2.61803398874989490253e+00>
<6.85410196624968470758e+00, -4.23606797749978980505e+00, -2.61803398874989490253e+00, -3.23606797749978980505e+00>
<6.85410196624968470758e+00, -4.23606797749978980505e+00, -2.61803398874989490253e+00, 3.23606797749978980505e+00>
<6.85410196624968470758e+00, -4.23606797749978980505e+00, 2.61803398874989490253e+00, -3.23606797749978980505e+00>
<6.85410196624968470758e+00, -4.23606797749978980505e+00, 2.61803398874989490253e+00, 3.23606797749978980505e+00>
<6.85410196624968470758e+00, -3.23606797749978980505e+00, -4.23606797749978980505e+00, -2.61803398874989490253e+00>
<6.85410196624968470758e+00, -3.23606797749978980505e+00, -4.23606797749978980505e+00, 2.61803398874989490253e+00>
<6.85410196624968470758e+00, -3.23606797749978980505e+00, 4.23606797749978980505e+00, -2.61803398874989490253e+00>
<6.85410196624968470758e+00, -3.23606797749978980505e+00, 4.23606797749978980505e+00, 2.61803398874989490253e+00>
<6.85410196624968470758e+00, -2.61803398874989490253e+00, -5.23606797749978980505e+00, -1>
<6.85410196624968470758e+00, -2.61803398874989490253e+00, -5.23606797749978980505e+00, 1>
<6.85410196624968470758e+00, -2.61803398874989490253e+00, -3.23606797749978980505e+00, -4.23606797749978980505e+00>
<6.85410196624968470758e+00, -2.61803398874989490253e+00, -3.23606797749978980505e+00, 4.23606797749978980505e+00>
<6.85410196624968470758e+00, -2.61803398874989490253e+00, 3.23606797749978980505e+00, -4.23606797749978980505e+00>
<6.85410196624968470758e+00, -2.61803398874989490253e+00, 3.23606797749978980505e+00, 4.23606797749978980505e+00>
<6.85410196624968470758e+00, -2.61803398874989490253e+00, 5.23606797749978980505e+00, -1>
<6.85410196624968470758e+00, -2.61803398874989490253e+00, 5.23606797749978980505e+00, 1>
<6.85410196624968470758e+00, -1, -5.85410196624968470758e+00, 0>
<6.85410196624968470758e+00, -1, -2.61803398874989490253e+00, -5.23606797749978980505e+00>
<6.85410196624968470758e+00, -1, -2.61803398874989490253e+00, 5.23606797749978980505e+00>
<6.85410196624968470758e+00, -1, 2.61803398874989490253e+00, -5.23606797749978980505e+00>
<6.85410196624968470758e+00, -1, 2.61803398874989490253e+00, 5.23606797749978980505e+00>
<6.85410196624968470758e+00, -1, 5.85410196624968470758e+00, 0>
<6.85410196624968470758e+00, 0, -1, -5.85410196624968470758e+00>
<6.85410196624968470758e+00, 0, -1, 5.85410196624968470758e+00>
<6.85410196624968470758e+00, 0, 1, -5.85410196624968470758e+00>
<6.85410196624968470758e+00, 0, 1, 5.85410196624968470758e+00>
<6.85410196624968470758e+00, 1, -5.85410196624968470758e+00, 0>
<6.85410196624968470758e+00, 1, -2.61803398874989490253e+00, -5.23606797749978980505e+00>
<6.85410196624968470758e+00, 1, -2.61803398874989490253e+00, 5.23606797749978980505e+00>
<6.85410196624968470758e+00, 1, 2.61803398874989490253e+00, -5.23606797749978980505e+00>
<6.85410196624968470758e+00, 1, 2.61803398874989490253e+00, 5.23606797749978980505e+00>
<6.85410196624968470758e+00, 1, 5.85410196624968470758e+00, 0>
<6.85410196624968470758e+00, 2.61803398874989490253e+00, -5.23606797749978980505e+00, -1>
<6.85410196624968470758e+00, 2.61803398874989490253e+00, -5.23606797749978980505e+00, 1>
<6.85410196624968470758e+00, 2.61803398874989490253e+00, -3.23606797749978980505e+00, -4.23606797749978980505e+00>
<6.85410196624968470758e+00, 2.61803398874989490253e+00, -3.23606797749978980505e+00, 4.23606797749978980505e+00>
<6.85410196624968470758e+00, 2.61803398874989490253e+00, 3.23606797749978980505e+00, -4.23606797749978980505e+00>
<6.85410196624968470758e+00, 2.61803398874989490253e+00, 3.23606797749978980505e+00, 4.23606797749978980505e+00>
<6.85410196624968470758e+00, 2.61803398874989490253e+00, 5.23606797749978980505e+00, -1>
<6.85410196624968470758e+00, 2.61803398874989490253e+00, 5.23606797749978980505e+00, 1>
<6.85410196624968470758e+00, 3.23606797749978980505e+00, -4.23606797749978980505e+00, -2.61803398874989490253e+00>
<6.85410196624968470758e+00, 3.23606797749978980505e+00, -4.23606797749978980505e+00, 2.61803398874989490253e+00>
<6.85410196624968470758e+00, 3.23606797749978980505e+00, 4.23606797749978980505e+00, -2.61803398874989490253e+00>
<6.85410196624968470758e+00, 3.23606797749978980505e+00, 4.23606797749978980505e+00, 2.61803398874989490253e+00>
<6.85410196624968470758e+00, 4.23606797749978980505e+00, -2.61803398874989490253e+00, -3.23606797749978980505e+00>
<6.85410196624968470758e+00, 4.23606797749978980505e+00, -2.61803398874989490253e+00, 3.23606797749978980505e+00>
<6.85410196624968470758e+00, 4.23606797749978980505e+00, 2.61803398874989490253e+00, -3.23606797749978980505e+00>
<6.85410196624968470758e+00, 4.23606797749978980505e+00, 2.61803398874989490253e+00, 3.23606797749978980505e+00>
<6.85410196624968470758e+00, 5.23606797749978980505e+00, -1, -2.61803398874989490253e+00>
<6.85410196624968470758e+00, 5.23606797749978980505e+00, -1, 2.61803398874989490253e+00>
<6.85410196624968470758e+00, 5.23606797749978980505e+00, 1, -2.61803398874989490253e+00>
<6.85410196624968470758e+00, 5.23606797749978980505e+00, 1, 2.61803398874989490253e+00>
<6.85410196624968470758e+00, 5.85410196624968470758e+00, 0, -1>
<6.85410196624968470758e+00, 5.85410196624968470758e+00, 0, 1>
}
lattice {
1, { 0,1 }
2, { 0,1,2,3 }
3, { 0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119 }, <-1,-0,-0,-0,4.23606797749978980505e+00>
3, { 0,1,2,3,180,181 }, <1,-2.61803398874989445844e+00,-0,-0,-2.37983738762488385987e+01>
2, { 0,1,4,5,12,13,20,21,24,25 }
3, { 0,1,4,5,12,13,20,21,24,25,120,121,124,125,128 }, <-1,-2.61803398874989445844e+00,-1.61803398874989468048e+00,-0,-1.69442719099991556675e+01>
2, { 0,1,120,121 }
3, { 0,1,120,121,180 }, <2.61803398874989312617e+00,-6.85410196624968115486e+00,-1,-0,-6.33049516849970217436e+01>
2, { 0,1,180 }
1, { 0,2 }
2, { 0,2,4,6,8,10 }
3, { 0,2,4,6,8,10,120,122,129,180,181,182,184,186,188,240,242,244 }, <1.61803398874989667888e+00,-2.61803398874989490253e+00,-0,-1,-2.74164078649987494884e+01>
2, { 0,2,180,181 }
1, { 0,4 }
2, { 0,4,120 }
1, { 0,120 }
2, { 0,120,180 }
1, { 0,180 }
1, { 1,3 }
2, { 1,3,5,7,9,11 }
3, { 1,3,5,7,9,11,121,123,130,180,181,183,185,187,189,241,243,245 }, <1.61803398874989867728e+00,-2.61803398874987625078e+00,3.15631559583086378899e-15,1,-2.74164078649986251435e+01>
2, { 1,3,180,181 }
1, { 1,5 }
2, { 1,5,121 }
1, { 1,121 }
2, { 1,121,180 }
1, { 1,180 }
1, { 2,3 }
2, { 2,3,6,7,14,15,22,23,26,27 }
3, { 2,3,6,7,14,15,22,23,26,27,122,123,126,127,131 }, <-1,-2.61803398874983894729e+00,1.61803398874987136580e+00,5.74841148459579357854e-15,-1.69442719099987115783e+01>
2, { 2,3,122,123 }
3, { 2,3,122,123,181 }, <2.61803398874988246803e+00,-6.85410196624966783219e+00,1,3.55271367880049422404e-15,-6.33049516849968654242e+01>
2, { 2,3,181 }
1, { 2,6 }
2, { 2,6,122 }
1, { 2,122 }
2, { 2,122,181 }
1, { 2,181 }
1, { 3,7 }
2, { 3,7,123 }
1, { 3,123 }
2, { 3,123,181 }
1, { 3,181 }
1, { 4,8 }
2, { 4,8,12,16 }
3, { 4,8,12,16,182,186 }, <1.23606797749978492007e+00,-2.61803398874989134981e+00,-1,-1.61803398874989179390e+00,-2.94164078649986819869e+01>
2, { 4,8,182,186 }
1, { 4,12 }
2, { 4,12,120,124 }
3, { 4,12,120,124,182 }, <1,-2.23606797749979557821e+00,-1.00000000000000466294e+00,-9.99999999999999333866e-01,-2.41803398874989952105e+01>
2, { 4,12,182 }
1, { 4,120 }
2, { 4,120,182 }
1, { 4,182 }
1, { 5,9 }
2, { 5,9,13,17 }
3, { 5,9,13,17,183,187 }, <1.23606797749980112933e+00,-2.61803398874992954148e+00,-1,1.61803398874992820922e+00,-2.94164078649990941017e+01>
2, { 5,9,183,187 }
1, { 5,13 }
2, { 5,13,121,125 }
3, { 5,13,121,125,183 }, <1,-2.23606797749979913092e+00,-9.99999999999998334665e-01,1.00000000000000599520e+00,-2.41803398874990165268e+01>
2, { 5,13,183 }
1, { 5,121 }
2, { 5,121,183 }
1, { 5,183 }
1, { 6,10 }
2, { 6,10,14,18 }
3, { 6,10,14,18,184,188 }, <1.23606797749978003509e+00,-2.61803398874989756706e+00,1,-1.61803398874989179390e+00,-2.94164078649986926450e+01>
2, { 6,10,184,188 }
1, { 6,14 }
2, { 6,14,122,126 }
3, { 6,14,122,126,184 }, <1,-2.23606797749980579226e+00,1.00000000000000688338e+00,-1.00000000000000821565e+00,-2.41803398874990840284e+01>
2, { 6,14,184 }
1, { 6,122 }
2, { 6,122,184 }
1, { 6,184 }
1, { 7,11 }
2, { 7,11,15,19 }
3, { 7,11,15,19,185,189 }, <1.23606797749981378587e+00,-2.61803398874999215806e+00,1,1.61803398874994996959e+00,-2.94164078649995879289e+01>
2, { 7,11,185,189 }
1, { 7,15 }
2, { 7,15,123,127 }
3, { 7,15,123,127,185 }, <1,-2.23606797749982932899e+00,9.99999999999994226840e-01,1.00000000000002442491e+00,-2.41803398874992296896e+01>
2, { 7,15,185 }
1, { 7,123 }
2, { 7,123,185 }
1, { 7,185 }
1, { 8,10 }
2, { 8,10,16,18,28,30,44,46,52,54 }
3, { 8,10,16,18,28,30,44,46,52,54,129,132,134,136,138 }, <-1,-1.61803398874990400635e+00,-8.88178419700130754365e-16,-2.61803398874990111977e+00,-1.69442719099992373799e+01>
2, { 8,10,129 }
1, { 8,16 }
2, { 8,16,129,132 }
3, { 8,16,129,132,186 }, <1.61803398874989357026e+00,-3.23606797749979202550e+00,-1,-2.61803398874989934342e+00,-3.91246117974981331145e+01>
2, { 8,16,186 }
1, { 8,129 }
2, { 8,129,186 }
1, { 8,186 }
1, { 9,11 }
2, { 9,11,17,19,29,31,45,47,53,55 }
3, { 9,11,17,19,29,31,45,47,53,55,130,133,135,137,139 }, <-1,-1.61803398875001569479e+00,7.37516308940641762183e-15,2.61803398874988291212e+00,-1.69442719099997276544e+01>
2, { 9,11,130 }
1, { 9,17 }
2, { 9,17,130,133 }
3, { 9,17,130,133,187 }, <1.61803398874991377632e+00,-3.23606797749991592639e+00,-1,2.61803398874998949353e+00,-3.91246117974992770883e+01>
2, { 9,17,187 }
1, { 9,130 }
2, { 9,130,187 }
1, { 9,187 }
1, { 10,18 }
2, { 10,18,129,134 }
3, { 10,18,129,134,188 }, <1.61803398874988513256e+00,-3.23606797749978447598e+00,1,-2.61803398874987447442e+00,-3.91246117974979412679e+01>
2, { 10,18,188 }
1, { 10,129 }
2, { 10,129,188 }
1, { 10,188 }
1, { 11,19 }
2, { 11,19,130,135 }
3, { 11,19,130,135,189 }, <1.61803398874990356227e+00,-3.23606797749994834490e+00,1,2.61803398874997839130e+00,-3.91246117974993481425e+01>
2, { 11,19,189 }
1, { 11,130 }
2, { 11,130,189 }
1, { 11,189 }
1, { 12,16 }
2, { 12,16,20,28,32,38 }
3, { 12,16,20,28,32,38,124,132,140,182,186,190,194,196,202,246,250,256 }, <1,-1.00000000000000754952e+00,-1.00000000000000444089e+00,-1.00000000000000532907e+00,-1.69442719099992302745e+01>
2, { 12,16,182,186 }
1, { 12,20 }
2, { 12,20,124 }
1, { 12,124 }
2, { 12,124,182 }
1, { 12,182 }
1, { 13,17 }
2, { 13,17,21,29,33,39 }
3, { 13,17,21,29,33,39,125,133,141,183,187,191,195,197,203,247,251,257 }, <1,-9.99999999999994670929e-01,-9.99999999999985900168e-01,1.00000000000000954792e+00,-1.69442719099990846132e+01>
2, { 13,17,183,187 }
1, { 13,21 }
2, { 13,21,125 }
1, { 13,125 }
2, { 13,125,183 }
1, { 13,183 }
1, { 14,18 }
2, { 14,18,22,30,34,40 }
3, { 14,18,22,30,34,40,126,134,142,184,188,192,198,200,204,248,252,258 }, <1,-1.00000000000001509903e+00,1.00000000000000555112e+00,-1.00000000000000421885e+00,-1.69442719099992764598e+01>
2, { 14,18,184,188 }
1, { 14,22 }
2, { 14,22,126 }
1, { 14,126 }
2, { 14,126,184 }
1, { 14,184 }
1, { 15,19 }
2, { 15,19,23,31,35,41 }
3, { 15,19,23,31,35,41,127,135,143,185,189,193,199,201,205,249,253,259 }, <1,-1.00000000000001976197e+00,9.99999999999996558309e-01,1.00000000000002375877e+00,-1.69442719099992977760e+01>
2, { 15,19,185,189 }
1, { 15,23 }
2, { 15,23,127 }
1, { 15,127 }
2, { 15,127,185 }
1, { 15,185 }
1, { 16,28 }
2, { 16,28,132 }
1, { 16,132 }
2, { 16,132,186 }
1, { 16,186 }
1, { 17,29 }
2, { 17,29,133 }
1, { 17,133 }
2, { 17,133,187 }
1, { 17,187 }
1, { 18,30 }
2, { 18,30,134 }
1, { 18,134 }
2, { 18,134,188 }
1, { 18,188 }
1, { 19,31 }
2, { 19,31,135 }
1, { 19,135 }
2, { 19,135,189 }
1, { 19,189 }
1, { 20,24 }
2, { 20,24,32,36 }
3, { 20,24,32,36,190,194 }, <1.23606797749979313572e+00,-1.61803398874989490253e+00,-2.61803398874989268208e+00,-1,-2.94164078649987494884e+01>
2, { 20,24,124,128 }
3, { 20,24,124,128,190 }, <1.61803398874989823319e+00,-2.61803398874989534661e+00,-3.23606797749978758461e+00,-1,-3.91246117974981260090e+01>
2, { 20,24,190 }
1, { 20,32 }
2, { 20,32,190,194 }
1, { 20,124 }
2, { 20,124,190 }
1, { 20,190 }
1, { 21,25 }
2, { 21,25,33,37 }
3, { 21,25,33,37,191,195 }, <1.23606797749978558620e+00,-1.61803398874989290412e+00,-2.61803398874989357026e+00,1,-2.94164078649986961977e+01>
2, { 21,25,125,128 }
3, { 21,25,125,128,191 }, <1.61803398874989001754e+00,-2.61803398874989179390e+00,-3.23606797749978758461e+00,1,-3.91246117974980549548e+01>
2, { 21,25,191 }
1, { 21,33 }
2, { 21,33,191,195 }
1, { 21,125 }
2, { 21,125,191 }
1, { 21,191 }
1, { 22,26 }
2, { 22,26,34,42 }
3, { 22,26,34,42,192,200 }, <1.23606797749977137535e+00,-1.61803398874994197598e+00,2.61803398874996018364e+00,-1,-2.94164078649991758141e+01>
2, { 22,26,126,131 }
3, { 22,26,126,131,192 }, <1.61803398874986315015e+00,-2.61803398874993042966e+00,3.23606797749985597434e+00,-1,-3.91246117974984244370e+01>
2, { 22,26,192 }
1, { 22,34 }
2, { 22,34,192,200 }
1, { 22,126 }
2, { 22,126,192 }
1, { 22,192 }
1, { 23,27 }
2, { 23,27,35,43 }
3, { 23,27,35,43,193,201 }, <1.23606797749976471401e+00,-1.61803398874996395840e+00,2.61803398874993442647e+00,1,-2.94164078649990905490e+01>
2, { 23,27,127,131 }
3, { 23,27,127,131,193 }, <1.61803398874981096967e+00,-2.61803398874985182587e+00,3.23606797749976049516e+00,1,-3.91246117974972875686e+01>
2, { 23,27,193 }
1, { 23,35 }
2, { 23,35,193,201 }
1, { 23,127 }
2, { 23,127,193 }
1, { 23,193 }
1, { 24,25 }
2, { 24,25,36,37,48,49 }
3, { 24,25,36,37,48,49,128,144,145,190,191,194,195,208,209,254,255,262 }, <1.61803398874988957346e+00,-1,-2.61803398874991044565e+00,1.86022503267929092933e-14,-2.74164078649987921210e+01>
2, { 24,25,128 }
1, { 24,36 }
2, { 24,36,190,194 }
1, { 24,128 }
2, { 24,128,190 }
1, { 24,190 }
1, { 25,37 }
2, { 25,37,191,195 }
1, { 25,128 }
2, { 25,128,191 }
1, { 25,191 }
1, { 26,27 }
2, { 26,27,42,43,58,59 }
3, { 26,27,42,43,58,59,131,146,147,192,193,200,201,210,211,260,261,267 }, <1.61803398874963999532e+00,-1,2.61803398874976611665e+00,2.79033754901873255234e-14,-2.74164078649967350998e+01>
2, { 26,27,131 }
1, { 26,42 }
2, { 26,42,192,200 }
1, { 26,131 }
2, { 26,131,192 }
1, { 26,192 }
1, { 27,43 }
2, { 27,43,193,201 }
1, { 27,131 }
2, { 27,131,193 }
1, { 27,193 }
1, { 28,38 }
2, { 28,38,44,50 }
3, { 28,38,44,50,196,202 }, <1.23606797749978825074e+00,-1,-1.61803398874988735301e+00,-2.61803398874988735301e+00,-2.94164078649986606706e+01>
2, { 28,38,196,202 }
1, { 28,44 }
2, { 28,44,132,136 }
3, { 28,44,132,136,196 }, <1,-9.99999999999998112621e-01,-9.99999999999998778755e-01,-2.23606797749978181145e+00,-2.41803398874988957346e+01>
2, { 28,44,196 }
1, { 28,132 }
2, { 28,132,196 }
1, { 28,196 }
1, { 29,39 }
2, { 29,39,45,51 }
3, { 29,39,45,51,197,203 }, <1.23606797749966790256e+00,-1,-1.61803398874979764699e+00,2.61803398874972037547e+00,-2.94164078649967457579e+01>
2, { 29,39,197,203 }
1, { 29,45 }
2, { 29,45,133,137 }
3, { 29,45,133,137,197 }, <1,-1.00000000000000621725e+00,-1.00000000000004152234e+00,2.23606797749970631628e+00,-2.41803398874985830957e+01>
2, { 29,45,197 }
1, { 29,133 }
2, { 29,133,197 }
1, { 29,197 }
1, { 30,40 }
2, { 30,40,46,56 }
3, { 30,40,46,56,198,204 }, <1.23606797749982977308e+00,-1,1.61803398874990644885e+00,-2.61803398874995174594e+00,-2.94164078649993427916e+01>
2, { 30,40,198,204 }
1, { 30,46 }
2, { 30,46,134,138 }
3, { 30,46,134,138,198 }, <1,-9.99999999999979460874e-01,9.99999999999970801134e-01,-2.23606797749976760059e+00,-2.41803398874986896772e+01>
2, { 30,46,198 }
1, { 30,134 }
2, { 30,134,198 }
1, { 30,198 }
1, { 31,41 }
2, { 31,41,47,57 }
3, { 31,41,47,57,199,205 }, <1.23606797749968100320e+00,-1,1.61803398874978054955e+00,2.61803398874970527643e+00,-2.94164078649966924672e+01>
2, { 31,41,199,205 }
1, { 31,47 }
2, { 31,47,135,139 }
3, { 31,47,135,139,199 }, <1,-1.00000000000000222045e+00,1.00000000000003286260e+00,2.23606797749969032907e+00,-2.41803398874984587508e+01>
2, { 31,47,199 }
1, { 31,135 }
2, { 31,135,199 }
1, { 31,199 }
1, { 32,36 }
2, { 32,36,38,48,50,60,62,76,78,84 }
3, { 32,36,38,48,50,60,62,76,78,84,140,144,148,152,156 }, <-1,3.55271367880039640529e-15,-2.61803398874984694089e+00,-1.61803398874986670286e+00,-1.69442719099987577636e+01>
2, { 32,36,140,144 }
3, { 32,36,140,144,194 }, <1,-9.99999999999997779554e-01,-2.23606797749977603829e+00,-9.99999999999993449684e-01,-2.41803398874988424438e+01>
2, { 32,36,194 }
1, { 32,38 }
2, { 32,38,140 }
1, { 32,140 }
2, { 32,140,194 }
1, { 32,194 }
1, { 33,37 }
2, { 33,37,39,49,51,61,63,77,79,85 }
3, { 33,37,39,49,51,61,63,77,79,85,141,145,149,153,157 }, <-1,-2.88657986402479090473e-15,-2.61803398874986736899e+00,1.61803398874987847122e+00,-1.69442719099989353992e+01>
2, { 33,37,141,145 }
3, { 33,37,141,145,195 }, <1,-1.00000000000000377476e+00,-2.23606797749979513412e+00,1.00000000000000244249e+00,-2.41803398874989916578e+01>
2, { 33,37,195 }
1, { 33,39 }
2, { 33,39,141 }
1, { 33,141 }
2, { 33,141,195 }
1, { 33,195 }
1, { 34,40 }
2, { 34,40,42,56,58,68,70,80,82,86 }
3, { 34,40,42,56,58,68,70,80,82,86,142,146,150,154,158 }, <-1,2.01194401960853315619e-14,2.61803398874992687695e+00,-1.61803398874989934342e+00,-1.69442719099993333032e+01>
2, { 34,40,142 }
1, { 34,42 }
2, { 34,42,142,146 }
3, { 34,42,142,146,200 }, <1,-1.00000000000003197442e+00,2.23606797749982044721e+00,-9.99999999999987565502e-01,-2.41803398874991799516e+01>
2, { 34,42,200 }
1, { 34,142 }
2, { 34,142,200 }
1, { 34,200 }
1, { 35,41 }
2, { 35,41,43,57,59,69,71,81,83,87 }
3, { 35,41,43,57,59,69,71,81,83,87,143,147,151,155,159 }, <-1,-3.04653070554081141951e-14,2.61803398874953341391e+00,1.61803398874976211985e+00,-1.69442719099965266594e+01>
2, { 35,41,143 }
1, { 35,43 }
2, { 35,43,143,147 }
3, { 35,43,143,147,201 }, <1,-1.00000000000009370282e+00,2.23606797749975916290e+00,9.99999999999970801134e-01,-2.41803398874989419198e+01>
2, { 35,43,201 }
1, { 35,143 }
2, { 35,143,201 }
1, { 35,201 }
1, { 36,48 }
2, { 36,48,144 }
1, { 36,144 }
2, { 36,144,194 }
1, { 36,194 }
1, { 37,49 }
2, { 37,49,145 }
1, { 37,145 }
2, { 37,145,195 }
1, { 37,195 }
1, { 38,50 }
2, { 38,50,140,148 }
3, { 38,50,140,148,202 }, <1.61803398874988690892e+00,-1,-2.61803398874986736899e+00,-3.23606797749977204148e+00,-3.91246117974978488974e+01>
2, { 38,50,202 }
1, { 38,140 }
2, { 38,140,202 }
1, { 38,202 }
1, { 39,51 }
2, { 39,51,141,149 }
3, { 39,51,141,149,203 }, <1.61803398874969706078e+00,-1,-2.61803398874953074937e+00,3.23606797749944830045e+00,-3.91246117974936140627e+01>
2, { 39,51,203 }
1, { 39,141 }
2, { 39,141,203 }
1, { 39,203 }
1, { 40,56 }
2, { 40,56,142,150 }
3, { 40,56,142,150,204 }, <1.61803398874997172996e+00,-1,2.61803398874995751910e+00,-3.23606797749988484014e+00,-3.91246117974993268263e+01>
2, { 40,56,204 }
1, { 40,142 }
2, { 40,142,204 }
1, { 40,204 }
1, { 41,57 }
2, { 41,57,143,151 }
3, { 41,57,143,151,205 }, <1.61803398874964265985e+00,-1,2.61803398874945658648e+00,3.23606797749941588194e+00,-3.91246117974928182548e+01>
2, { 41,57,205 }
1, { 41,143 }
2, { 41,143,205 }
1, { 41,205 }
1, { 42,58 }
2, { 42,58,146 }
1, { 42,146 }
2, { 42,146,200 }
1, { 42,200 }
1, { 43,59 }
2, { 43,59,147 }
1, { 43,147 }
2, { 43,147,201 }
1, { 43,201 }
1, { 44,50 }
2, { 44,50,52,62,64,72 }
3, { 44,50,52,62,64,72,136,148,160,196,202,206,212,214,220,263,268,273 }, <1.61803398874990556067e+00,2.19569780579540387857e-15,-1,-2.61803398874990378431e+00,-2.74164078649988489644e+01>
2, { 44,50,196,202 }
1, { 44,52 }
2, { 44,52,136 }
1, { 44,136 }
2, { 44,136,196 }
1, { 44,196 }
1, { 45,51 }
2, { 45,51,53,63,65,73 }
3, { 45,51,53,63,65,73,137,149,161,197,203,207,213,215,221,264,269,274 }, <1.61803398874987180989e+00,-2.08591291550574846391e-14,-1,2.61803398874991044565e+00,-2.74164078649987779102e+01>
2, { 45,51,197,203 }
1, { 45,53 }
2, { 45,53,137 }
1, { 45,137 }
2, { 45,137,197 }
1, { 45,197 }
1, { 46,54 }
2, { 46,54,56,66,68,74 }
3, { 46,54,56,66,68,74,138,150,162,198,204,206,212,216,222,265,270,275 }, <1.61803398874990200795e+00,6.66133814775138100465e-15,1,-2.61803398874988646483e+00,-2.74164078649987033032e+01>
2, { 46,54,138 }
1, { 46,56 }
2, { 46,56,198,204 }
1, { 46,138 }
2, { 46,138,198 }
1, { 46,198 }
1, { 47,55 }
2, { 47,55,57,67,69,75 }
3, { 47,55,57,67,69,75,139,151,163,199,205,207,213,217,223,266,271,276 }, <1.61803398875013293434e+00,6.52811138479649474843e-14,1,2.61803398874963910714e+00,-2.74164078649980638147e+01>
2, { 47,55,139 }
1, { 47,57 }
2, { 47,57,199,205 }
1, { 47,139 }
2, { 47,139,199 }
1, { 47,199 }
1, { 48,49 }
2, { 48,49,60,61 }
3, { 48,49,60,61,208,209 }, <1,-1.22124532708768418515e-14,-2.61803398874991755108e+00,3.00990732959846274013e-14,-2.37983738762489736018e+01>
2, { 48,49,208,209 }
1, { 48,60 }
2, { 48,60,144,152 }
3, { 48,60,144,152,208 }, <2.61803398874992421241e+00,-2.22292087359581835834e-14,-6.85410196624982503977e+00,-1,-6.33049516849982012445e+01>
2, { 48,60,208 }
1, { 48,144 }
2, { 48,144,208 }
1, { 48,208 }
1, { 49,61 }
2, { 49,61,145,153 }
3, { 49,61,145,153,209 }, <2.61803398874942239161e+00,-2.62089110089575754759e-14,-6.85410196624869261228e+00,1,-6.33049516849874933655e+01>
2, { 49,61,209 }
1, { 49,145 }
2, { 49,145,209 }
1, { 49,209 }
1, { 50,62 }
2, { 50,62,148 }
1, { 50,148 }
2, { 50,148,202 }
1, { 50,202 }
1, { 51,63 }
2, { 51,63,149 }
1, { 51,149 }
2, { 51,149,203 }
1, { 51,203 }
1, { 52,54 }
2, { 52,54,64,66 }
3, { 52,54,64,66,206,212 }, <1,-3.16162631652789429360e-14,2.96188768855489087099e-14,-2.61803398875006232416e+00,-2.37983738762500252051e+01>
2, { 52,54,136,138 }
3, { 52,54,136,138,206 }, <2.61803398874979853517e+00,-1,5.86888293196470980330e-14,-6.85410196624974332735e+00,-6.33049516849968867405e+01>
2, { 52,54,206 }
1, { 52,64 }
2, { 52,64,206,212 }
1, { 52,136 }
2, { 52,136,206 }
1, { 52,206 }
1, { 53,55 }
2, { 53,55,65,67 }
3, { 53,55,65,67,207,213 }, <1,8.26334150910539048616e-14,3.78822183946548141644e-14,2.61803398874970305599e+00,-2.37983738762474494877e+01>
2, { 53,55,137,139 }
3, { 53,55,137,139,207 }, <2.61803398875010673308e+00,-1,8.03225382511350960338e-14,6.85410196624931611353e+00,-6.33049516849957711884e+01>
2, { 53,55,207 }
1, { 53,65 }
2, { 53,65,207,213 }
1, { 53,137 }
2, { 53,137,207 }
1, { 53,207 }
1, { 54,66 }
2, { 54,66,206,212 }
1, { 54,138 }
2, { 54,138,206 }
1, { 54,206 }
1, { 55,67 }
2, { 55,67,207,213 }
1, { 55,139 }
2, { 55,139,207 }
1, { 55,207 }
1, { 56,68 }
2, { 56,68,150 }
1, { 56,150 }
2, { 56,150,204 }
1, { 56,204 }
1, { 57,69 }
2, { 57,69,151 }
1, { 57,151 }
2, { 57,151,205 }
1, { 57,205 }
1, { 58,59 }
2, { 58,59,70,71 }
3, { 58,59,70,71,210,211 }, <1,-1.01696429055669072268e-13,2.61803398875004500468e+00,3.94001984593816405615e-14,-2.37983738762498369113e+01>
2, { 58,59,210,211 }
1, { 58,70 }
2, { 58,70,146,154 }
3, { 58,70,146,154,210 }, <2.61803398875018711323e+00,-1.90958360235562619331e-13,6.85410196625082335231e+00,-1,-6.33049516850065785434e+01>
2, { 58,70,210 }
1, { 58,146 }
2, { 58,146,210 }
1, { 58,210 }
1, { 59,71 }
2, { 59,71,147,155 }
3, { 59,71,147,155,211 }, <2.61803398874977988342e+00,-2.22221453349281023259e-13,6.85410196624973089286e+00,1,-6.33049516849967019994e+01>
2, { 59,71,211 }
1, { 59,147 }
2, { 59,147,211 }
1, { 59,211 }
1, { 60,61 }
2, { 60,61,76,77,92,93 }
3, { 60,61,76,77,92,93,152,153,168,208,209,218,219,226,227,272,278,279 }, <1.61803398874991533063e+00,1,-2.61803398874981585465e+00,4.51486099439759250491e-14,-2.74164078649981881597e+01>
2, { 60,61,208,209 }
1, { 60,76 }
2, { 60,76,152 }
1, { 60,152 }
2, { 60,152,208 }
1, { 60,208 }
1, { 61,77 }
2, { 61,77,153 }
1, { 61,153 }
2, { 61,153,209 }
1, { 61,209 }
1, { 62,72 }
2, { 62,72,78,88 }
3, { 62,72,78,88,214,220 }, <1.23606797749980401591e+00,1,-1.61803398874990134182e+00,-2.61803398874991177792e+00,-2.94164078649989342296e+01>
2, { 62,72,214,220 }
1, { 62,78 }
2, { 62,78,148,156 }
3, { 62,78,148,156,214 }, <1.61803398874989978751e+00,1,-2.61803398874989845524e+00,-3.23606797749980268364e+00,-3.91246117974982183796e+01>
2, { 62,78,214 }
1, { 62,148 }
2, { 62,148,214 }
1, { 62,214 }
1, { 63,73 }
2, { 63,73,79,89 }
3, { 63,73,79,89,215,221 }, <1.23606797749987307178e+00,1,-1.61803398875011184010e+00,2.61803398875014936564e+00,-2.94164078650014744198e+01>
2, { 63,73,215,221 }
1, { 63,79 }
2, { 63,79,149,157 }
3, { 63,79,149,157,215 }, <1.61803398874989157186e+00,1,-2.61803398874988513256e+00,3.23606797749990615642e+00,-3.91246117974986518107e+01>
2, { 63,79,215 }
1, { 63,149 }
2, { 63,149,215 }
1, { 63,215 }
1, { 64,66 }
2, { 64,66,72,74,88,90,100,102,108,110 }
3, { 64,66,72,74,88,90,100,102,108,110,160,162,164,166,169 }, <-1,1.61803398874969017740e+00,7.08948865965970926554e-14,-2.61803398874956050335e+00,-1.69442719099962566531e+01>
2, { 64,66,160,162 }
3, { 64,66,160,162,212 }, <2.61803398875026616111e+00,1,1.03053203316382092262e-13,-6.85410196625096723722e+00,-6.33049516850080209451e+01>
2, { 64,66,212 }
1, { 64,72 }
2, { 64,72,160 }
1, { 64,160 }
2, { 64,160,212 }
1, { 64,212 }
1, { 65,67 }
2, { 65,67,73,75,89,91,101,103,109,111 }
3, { 65,67,73,75,89,91,101,103,109,111,161,163,165,167,170 }, <-1,1.61803398874969706078e+00,7.91582281057113032376e-14,2.61803398875011783531e+00,-1.69442719100000900312e+01>
2, { 65,67,161,163 }
3, { 65,67,161,163,213 }, <2.61803398874827975007e+00,1,1.24686912247807789184e-13,6.85410196624615686289e+00,-6.33049516849634130722e+01>
2, { 65,67,213 }
1, { 65,73 }
2, { 65,73,161 }
1, { 65,161 }
2, { 65,161,213 }
1, { 65,213 }
1, { 66,74 }
2, { 66,74,162 }
1, { 66,162 }
2, { 66,162,212 }
1, { 66,212 }
1, { 67,75 }
2, { 67,75,163 }
1, { 67,163 }
2, { 67,163,213 }
1, { 67,213 }
1, { 68,74 }
2, { 68,74,80,90 }
3, { 68,74,80,90,216,222 }, <1.23606797749990127144e+00,1,1.61803398875019066594e+00,-2.61803398875032122817e+00,-2.94164078650028777417e+01>
2, { 68,74,216,222 }
1, { 68,80 }
2, { 68,80,150,158 }
3, { 68,80,150,158,216 }, <1.61803398874987847122e+00,1,2.61803398874989134981e+00,-3.23606797750001273783e+00,-3.91246117974991562960e+01>
2, { 68,80,216 }
1, { 68,150 }
2, { 68,150,216 }
1, { 68,216 }
1, { 69,75 }
2, { 69,75,81,91 }
3, { 69,75,81,91,217,223 }, <1.23606797750006003334e+00,1,1.61803398875064385898e+00,2.61803398875096426934e+00,-2.94164078650090914380e+01>
2, { 69,75,217,223 }
1, { 69,81 }
2, { 69,81,151,159 }
3, { 69,81,151,159,217 }, <1.61803398874985027156e+00,1,2.61803398874988424438e+00,3.23606797750044306028e+00,-3.91246117975012168699e+01>
2, { 69,81,217 }
1, { 69,151 }
2, { 69,151,217 }
1, { 69,217 }
1, { 70,71 }
2, { 70,71,82,83,94,95 }
3, { 70,71,82,83,94,95,154,155,171,210,211,224,225,228,229,277,284,285 }, <1.61803398874991355427e+00,1,2.61803398875040427285e+00,5.44497351073801831079e-14,-2.74164078650021849626e+01>
2, { 70,71,210,211 }
1, { 70,82 }
2, { 70,82,154 }
1, { 70,154 }
2, { 70,154,210 }
1, { 70,210 }
1, { 71,83 }
2, { 71,83,155 }
1, { 71,155 }
2, { 71,155,211 }
1, { 71,211 }
1, { 72,88 }
2, { 72,88,160,164 }
3, { 72,88,160,164,220 }, <1,9.99999999999989674926e-01,-9.99999999999996447286e-01,-2.23606797749978847278e+00,-2.41803398874989028400e+01>
2, { 72,88,220 }
1, { 72,160 }
2, { 72,160,220 }
1, { 72,220 }
1, { 73,89 }
2, { 73,89,161,165 }
3, { 73,89,161,165,221 }, <1,9.99999999999707456233e-01,-1.00000000000005573320e+00,2.23606797749956465182e+00,-2.41803398874970092436e+01>
2, { 73,89,221 }
1, { 73,161 }
2, { 73,161,221 }
1, { 73,221 }
1, { 74,90 }
2, { 74,90,162,166 }
3, { 74,90,162,166,222 }, <1,9.99999999999844457754e-01,1.00000000000020272672e+00,-2.23606797749980268364e+00,-2.41803398874991444245e+01>
2, { 74,90,222 }
1, { 74,162 }
2, { 74,162,222 }
1, { 74,222 }
1, { 75,91 }
2, { 75,91,163,167 }
3, { 75,91,163,167,223 }, <1,9.99999999999412025886e-01,1.00000000000039435122e+00,2.23606797749957353361e+00,-2.41803398874971762211e+01>
2, { 75,91,223 }
1, { 75,163 }
2, { 75,163,223 }
1, { 75,223 }
1, { 76,84 }
2, { 76,84,92,96 }
3, { 76,84,92,96,218,226 }, <1.23606797749976715650e+00,1.61803398874987225398e+00,-2.61803398874987180989e+00,-1,-2.94164078649984119807e+01>
2, { 76,84,152,156 }
3, { 76,84,152,156,218 }, <1,1.00000000000001465494e+00,-2.23606797749981289769e+00,-1.00000000000001287859e+00,-2.41803398874991550827e+01>
2, { 76,84,218 }
1, { 76,92 }
2, { 76,92,218,226 }
1, { 76,152 }
2, { 76,152,218 }
1, { 76,218 }
1, { 77,85 }
2, { 77,85,93,97 }
3, { 77,85,93,97,219,227 }, <1.23606797749953689625e+00,1.61803398874970882915e+00,-2.61803398874964710075e+00,1,-2.94164078649953246725e+01>
2, { 77,85,153,157 }
3, { 77,85,153,157,219 }, <1,1.00000000000010680345e+00,-2.23606797749995944713e+00,1.00000000000011479706e+00,-2.41803398875005228774e+01>
2, { 77,85,219 }
1, { 77,93 }
2, { 77,93,219,227 }
1, { 77,153 }
2, { 77,153,219 }
1, { 77,219 }
1, { 78,84 }
2, { 78,84,88,96,100,104 }
3, { 78,84,88,96,100,104,156,164,172,214,218,220,226,230,234,280,286,290 }, <1,9.99999999999986677324e-01,-9.99999999999996003197e-01,-9.99999999999995337063e-01,-1.69442719099990917186e+01>
2, { 78,84,156 }
1, { 78,88 }
2, { 78,88,214,220 }
1, { 78,156 }
2, { 78,156,214 }
1, { 78,214 }
1, { 79,85 }
2, { 79,85,89,97,101,105 }
3, { 79,85,89,97,101,105,157,165,173,215,219,221,227,231,235,281,287,291 }, <1,9.99999999999880095913e-01,-9.99999999999924060745e-01,1.00000000000001865175e+00,-1.69442719099985978914e+01>
2, { 79,85,157 }
1, { 79,89 }
2, { 79,89,215,221 }
1, { 79,157 }
2, { 79,157,215 }
1, { 79,215 }
1, { 80,86 }
2, { 80,86,90,98,102,106 }
3, { 80,86,90,98,102,106,158,166,174,216,222,224,228,232,236,282,288,292 }, <1,1.00000000000017941204e+00,1.00000000000025424107e+00,-1.00000000000020872193e+00,-1.69442719100018237555e+01>
2, { 80,86,158 }
1, { 80,90 }
2, { 80,90,216,222 }
1, { 80,158 }
2, { 80,158,216 }
1, { 80,216 }
1, { 81,87 }
2, { 81,87,91,99,103,107 }
3, { 81,87,91,99,103,107,159,167,175,217,223,225,229,233,237,283,289,293 }, <1,1.00000000000002753353e+00,1.00000000000020516921e+00,1.00000000000027466918e+00,-1.69442719100015679601e+01>
2, { 81,87,159 }
1, { 81,91 }
2, { 81,91,217,223 }
1, { 81,159 }
2, { 81,159,217 }
1, { 81,217 }
1, { 82,86 }
2, { 82,86,94,98 }
3, { 82,86,94,98,224,228 }, <1.23606797749966634825e+00,1.61803398874968151766e+00,2.61803398875027282244e+00,-1,-2.94164078649996696413e+01>
2, { 82,86,154,158 }
3, { 82,86,154,158,224 }, <1,1.00000000000020139446e+00,2.23606797750013575055e+00,-9.99999999999940492046e-01,-2.41803398875013506597e+01>
2, { 82,86,224 }
1, { 82,94 }
2, { 82,94,224,228 }
1, { 82,154 }
2, { 82,154,224 }
1, { 82,224 }
1, { 83,87 }
2, { 83,87,95,99 }
3, { 83,87,95,99,225,229 }, <1.23606797749945007681e+00,1.61803398874957982123e+00,2.61803398874998505264e+00,1,-2.94164078649964508827e+01>
2, { 83,87,155,159 }
3, { 83,87,155,159,225 }, <1,1.00000000000026445512e+00,2.23606797750016683679e+00,1.00000000000004196643e+00,-2.41803398875019581737e+01>
2, { 83,87,225 }
1, { 83,95 }
2, { 83,95,225,229 }
1, { 83,155 }
2, { 83,155,225 }
1, { 83,225 }
1, { 84,96 }
2, { 84,96,218,226 }
1, { 84,156 }
2, { 84,156,218 }
1, { 84,218 }
1, { 85,97 }
2, { 85,97,219,227 }
1, { 85,157 }
2, { 85,157,219 }
1, { 85,219 }
1, { 86,98 }
2, { 86,98,224,228 }
1, { 86,158 }
2, { 86,158,224 }
1, { 86,224 }
1, { 87,99 }
2, { 87,99,225,229 }
1, { 87,159 }
2, { 87,159,225 }
1, { 87,225 }
1, { 88,100 }
2, { 88,100,164 }
1, { 88,164 }
2, { 88,164,220 }
1, { 88,220 }
1, { 89,101 }
2, { 89,101,165 }
1, { 89,165 }
2, { 89,165,221 }
1, { 89,221 }
1, { 90,102 }
2, { 90,102,166 }
1, { 90,166 }
2, { 90,166,222 }
1, { 90,222 }
1, { 91,103 }
2, { 91,103,167 }
1, { 91,167 }
2, { 91,167,223 }
1, { 91,223 }
1, { 92,93 }
2, { 92,93,96,97,104,105,112,113,116,117 }
3, { 92,93,96,97,104,105,112,113,116,117,168,172,173,176,177 }, <-1,2.61803398874940640439e+00,-1.61803398874954118547e+00,6.94992717553520053576e-14,-1.69442719099947503025e+01>
2, { 92,93,168 }
1, { 92,96 }
2, { 92,96,168,172 }
3, { 92,96,168,172,226 }, <1.61803398874986403833e+00,2.61803398874980874922e+00,-3.23606797749975028111e+00,-1,-3.91246117974973586229e+01>
2, { 92,96,226 }
1, { 92,168 }
2, { 92,168,226 }
1, { 92,226 }
1, { 93,97 }
2, { 93,97,168,173 }
3, { 93,97,168,173,227 }, <1.61803398874946480213e+00,2.61803398874925186135e+00,-3.23606797749919694596e+00,1,-3.91246117974897700265e+01>
2, { 93,97,227 }
1, { 93,168 }
2, { 93,168,227 }
1, { 93,227 }
1, { 94,95 }
2, { 94,95,98,99,106,107,114,115,118,119 }
3, { 94,95,98,99,106,107,114,115,118,119,171,174,175,178,179 }, <-1,2.61803398874928117124e+00,1.61803398874925763451e+00,7.52476832399407678189e-14,-1.69442719099926115689e+01>
2, { 94,95,171 }
1, { 94,98 }
2, { 94,98,171,174 }
3, { 94,98,171,174,228 }, <1.61803398874954029729e+00,2.61803398874816428687e+00,3.23606797749917740603e+00,-1,-3.91246117974854996646e+01>
2, { 94,98,228 }
1, { 94,171 }
2, { 94,171,228 }
1, { 94,228 }
1, { 95,99 }
2, { 95,99,171,175 }
3, { 95,99,171,175,229 }, <1.61803398874919257544e+00,2.61803398874798221030e+00,3.23606797749874708359e+00,1,-3.91246117974804334949e+01>
2, { 95,99,229 }
1, { 95,171 }
2, { 95,171,229 }
1, { 95,229 }
1, { 96,104 }
2, { 96,104,172 }
1, { 96,172 }
2, { 96,172,226 }
1, { 96,226 }
1, { 97,105 }
2, { 97,105,173 }
1, { 97,173 }
2, { 97,173,227 }
1, { 97,227 }
1, { 98,106 }
2, { 98,106,174 }
1, { 98,174 }
2, { 98,174,228 }
1, { 98,228 }
1, { 99,107 }
2, { 99,107,175 }
1, { 99,175 }
2, { 99,175,229 }
1, { 99,229 }
1, { 100,104 }
2, { 100,104,108,112 }
3, { 100,104,108,112,230,234 }, <1.23606797749981489609e+00,2.61803398874993265011e+00,-1,-1.61803398874989912137e+00,-2.94164078649991012071e+01>
2, { 100,104,230,234 }
1, { 100,108 }
2, { 100,108,164,169 }
3, { 100,108,164,169,230 }, <1.61803398874995285617e+00,3.23606797749993413404e+00,-1,-2.61803398875000015167e+00,-3.91246117974996536759e+01>
2, { 100,108,230 }
1, { 100,164 }
2, { 100,164,230 }
1, { 100,230 }
1, { 101,105 }
2, { 101,105,109,113 }
3, { 101,105,109,113,231,235 }, <1.23606797750000096947e+00,2.61803398875020842951e+00,-1,1.61803398875012116598e+00,-2.94164078650025722084e+01>
2, { 101,105,231,235 }
1, { 101,109 }
2, { 101,109,165,170 }
3, { 101,109,165,170,231 }, <1.61803398875032811155e+00,3.23606797749996566438e+00,-1,2.61803398875002724111e+00,-3.91246117975021263646e+01>
2, { 101,109,231 }
1, { 101,165 }
2, { 101,165,231 }
1, { 101,231 }
1, { 102,106 }
2, { 102,106,110,114 }
3, { 102,106,110,114,232,236 }, <1.23606797749969721245e+00,2.61803398874982251598e+00,1,-1.61803398874981385624e+00,-2.94164078649974740642e+01>
2, { 102,106,232,236 }
1, { 102,110 }
2, { 102,110,166,169 }
3, { 102,110,166,169,232 }, <1.61803398874969572852e+00,3.23606797749965391375e+00,1,-2.61803398874977988342e+00,-3.91246117974957527963e+01>
2, { 102,110,232 }
1, { 102,166 }
2, { 102,166,232 }
1, { 102,232 }
1, { 103,107 }
2, { 103,107,111,115 }
3, { 103,107,111,115,233,237 }, <1.23606797750006403014e+00,2.61803398875031323456e+00,1,1.61803398875016113401e+00,-2.94164078650036628915e+01>
2, { 103,107,233,237 }
1, { 103,111 }
2, { 103,111,167,170 }
3, { 103,111,167,170,233 }, <1.61803398875030302051e+00,3.23606797749998831293e+00,1,2.61803398875009163405e+00,-3.91246117975023750546e+01>
2, { 103,111,233 }
1, { 103,167 }
2, { 103,167,233 }
1, { 103,233 }
1, { 104,112 }
2, { 104,112,172,176 }
3, { 104,112,172,176,234 }, <1,2.23606797749983776669e+00,-1.00000000000000155431e+00,-9.99999999999990230037e-01,-2.41803398874992083734e+01>
2, { 104,112,234 }
1, { 104,172 }
2, { 104,172,234 }
1, { 104,234 }
1, { 105,113 }
2, { 105,113,173,177 }
3, { 105,113,173,177,235 }, <1,2.23606797749970764855e+00,-9.99999999999866329148e-01,1.00000000000002819966e+00,-2.41803398874981922972e+01>
2, { 105,113,235 }
1, { 105,173 }
2, { 105,173,235 }
1, { 105,235 }
1, { 106,114 }
2, { 106,114,174,178 }
3, { 106,114,174,178,236 }, <1,2.23606797750019303805e+00,1.00000000000015787371e+00,-1.00000000000008526513e+00,-2.41803398875019475156e+01>
2, { 106,114,236 }
1, { 106,174 }
2, { 106,174,236 }
1, { 106,236 }
1, { 107,115 }
2, { 107,115,175,179 }
3, { 107,115,175,179,237 }, <1,2.23606797749991104141e+00,9.99999999999908184556e-01,1.00000000000004107825e+00,-2.41803398874995281176e+01>
2, { 107,115,237 }
1, { 107,175 }
2, { 107,175,237 }
1, { 107,237 }
1, { 108,110 }
2, { 108,110,112,114,116,118 }
3, { 108,110,112,114,116,118,169,176,178,230,232,234,236,238,239,294,296,298 }, <1.61803398874982873323e+00,2.61803398874989978751e+00,3.15919975393959639269e-14,-1,-2.74164078649984190861e+01>
2, { 108,110,169 }
1, { 108,112 }
2, { 108,112,230,234 }
1, { 108,169 }
2, { 108,169,230 }
1, { 108,230 }
1, { 109,111 }
2, { 109,111,113,115,117,119 }
3, { 109,111,113,115,117,119,170,177,179,231,233,235,237,238,239,295,297,299 }, <1.61803398875008275226e+00,2.61803398875006676505e+00,3.47483131352217127418e-14,1,-2.74164078650006253213e+01>
2, { 109,111,170 }
1, { 109,113 }
2, { 109,113,231,235 }
1, { 109,170 }
2, { 109,170,231 }
1, { 109,231 }
1, { 110,114 }
2, { 110,114,232,236 }
1, { 110,169 }
2, { 110,169,232 }
1, { 110,232 }
1, { 111,115 }
2, { 111,115,233,237 }
1, { 111,170 }
2, { 111,170,233 }
1, { 111,233 }
1, { 112,116 }
2, { 112,116,176 }
1, { 112,176 }
2, { 112,176,234 }
1, { 112,234 }
1, { 113,117 }
2, { 113,117,177 }
1, { 113,177 }
2, { 113,177,235 }
1, { 113,235 }
1, { 114,118 }
2, { 114,118,178 }
1, { 114,178 }
2, { 114,178,236 }
1, { 114,236 }
1, { 115,119 }
2, { 115,119,179 }
1, { 115,179 }
2, { 115,179,237 }
1, { 115,237 }
1, { 116,117 }
2, { 116,117,118,119 }
3, { 116,117,118,119,238,239 }, <1,2.61803398875010762126e+00,-3.96550573507803222706e-14,6.94992717553711021024e-14,-2.37983738762503413966e+01>
2, { 116,117,176,177 }
3, { 116,117,176,177,238 }, <2.61803398874951342989e+00,6.85410196624951950639e+00,-1,1.81951455648907659710e-13,-6.33049516849936964036e+01>
2, { 116,117,238 }
1, { 116,118 }
2, { 116,118,238,239 }
1, { 116,176 }
2, { 116,176,238 }
1, { 116,238 }
1, { 117,119 }
2, { 117,119,238,239 }
1, { 117,177 }
2, { 117,177,238 }
1, { 117,238 }
1, { 118,119 }
2, { 118,119,178,179 }
3, { 118,119,178,179,239 }, <2.61803398874963733078e+00,6.85410196625051781893e+00,1,1.85504169327733984790e-13,-6.33049516850012636837e+01>
2, { 118,119,239 }
1, { 118,178 }
2, { 118,178,239 }
1, { 118,239 }
1, { 119,179 }
2, { 119,179,239 }
1, { 119,239 }
1, { 120,121 }
2, { 120,121,124,125,128 }
3, { 120,121,124,125,128,180,182,183,190,191,240,241,242,243,246,247,250,251,254,255 }, <2.61803398874985582268e+00,-1.61803398874990689293e+00,-1,5.74841148459578332335e-15,-2.74164078649985931690e+01>
2, { 120,121,180 }
1, { 120,124 }
2, { 120,124,182 }
1, { 120,180 }
2, { 120,180,182,240,242 }
1, { 120,182 }
1, { 121,125 }
2, { 121,125,183 }
1, { 121,180 }
2, { 121,180,183,241,243 }
1, { 121,183 }
1, { 122,123 }
2, { 122,123,126,127,131 }
3, { 122,123,126,127,131,181,184,185,192,193,240,241,244,245,248,249,252,253,260,261 }, <2.61803398874988424438e+00,-1.61803398874990622680e+00,1,9.30112516339636313880e-15,-2.74164078649987530412e+01>
2, { 122,123,181 }
1, { 122,126 }
2, { 122,126,184 }
1, { 122,181 }
2, { 122,181,184,240,244 }
1, { 122,184 }
1, { 123,127 }
2, { 123,127,185 }
1, { 123,181 }
2, { 123,181,185,241,245 }
1, { 123,185 }
1, { 124,128 }
2, { 124,128,190 }
1, { 124,182 }
2, { 124,182,190,246,250 }
1, { 124,190 }
1, { 125,128 }
2, { 125,128,191 }
1, { 125,183 }
2, { 125,183,191,247,251 }
1, { 125,191 }
1, { 126,131 }
2, { 126,131,192 }
1, { 126,184 }
2, { 126,184,192,248,252 }
1, { 126,192 }
1, { 127,131 }
2, { 127,131,193 }
1, { 127,185 }
2, { 127,185,193,249,253 }
1, { 127,193 }
1, { 128,190 }
2, { 128,190,191,254,255 }
1, { 128,191 }
1, { 129,132 }
2, { 129,132,134,136,138 }
3, { 129,132,134,136,138,186,188,196,198,206,242,244,246,248,256,258,263,265,268,270 }, <2.61803398874989223799e+00,-1,-3.82886654781929033077e-15,-1.61803398874985582268e+00,-2.74164078649985647473e+01>
2, { 129,132,186 }
1, { 129,134 }
2, { 129,134,188 }
1, { 129,186 }
2, { 129,186,188,242,244 }
1, { 129,188 }
1, { 130,133 }
2, { 130,133,135,137,139 }
3, { 130,133,135,137,139,187,189,197,199,207,243,245,247,249,257,259,264,266,269,271 }, <2.61803398874961645859e+00,-1,1.27815936545629643768e-15,1.61803398874974457833e+00,-2.74164078649964686463e+01>
2, { 130,133,187 }
1, { 130,135 }
2, { 130,135,189 }
1, { 130,187 }
2, { 130,187,189,243,245 }
1, { 130,189 }
1, { 131,192 }
2, { 131,192,193,260,261 }
1, { 131,193 }
1, { 132,136 }
2, { 132,136,196 }
1, { 132,186 }
2, { 132,186,196,246,256 }
1, { 132,196 }
1, { 133,137 }
2, { 133,137,197 }
1, { 133,187 }
2, { 133,187,197,247,257 }
1, { 133,197 }
1, { 134,138 }
2, { 134,138,198 }
1, { 134,188 }
2, { 134,188,198,248,258 }
1, { 134,198 }
1, { 135,139 }
2, { 135,139,199 }
1, { 135,189 }
2, { 135,189,199,249,259 }
1, { 135,199 }
1, { 136,138 }
2, { 136,138,206 }
1, { 136,196 }
2, { 136,196,206,263,268 }
1, { 136,206 }
1, { 137,139 }
2, { 137,139,207 }
1, { 137,197 }
2, { 137,197,207,264,269 }
1, { 137,207 }
1, { 138,198 }
2, { 138,198,206,265,270 }
1, { 138,206 }
1, { 139,199 }
2, { 139,199,207,266,271 }
1, { 139,207 }
1, { 140,144 }
2, { 140,144,148,152,156 }
3, { 140,144,148,152,156,194,202,208,214,218,250,254,256,262,263,272,273,278,280,286 }, <2.61803398875001214208e+00,-1.50695013605994875273e-14,-1.61803398874990600476e+00,-1,-2.74164078649995275327e+01>
2, { 140,144,194 }
1, { 140,148 }
2, { 140,148,202 }
1, { 140,194 }
2, { 140,194,202,250,256 }
1, { 140,202 }
1, { 141,145 }
2, { 141,145,149,153,157 }
3, { 141,145,149,153,157,195,203,209,215,219,251,255,257,262,264,272,274,279,281,287 }, <2.61803398874991222200e+00,-1.90492036336026470194e-14,-1.61803398874988824119e+00,1,-2.74164078649988525171e+01>
2, { 141,145,195 }
1, { 141,149 }
2, { 141,149,203 }
1, { 141,195 }
2, { 141,195,203,251,257 }
1, { 141,203 }
1, { 142,146 }
2, { 142,146,150,154,158 }
3, { 142,146,150,154,158,200,204,210,216,224,252,258,260,265,267,275,277,282,284,288 }, <2.61803398875007475866e+00,-4.83070129059350102910e-15,1.61803398874991644085e+00,-1,-2.74164078649999325421e+01>
2, { 142,146,200 }
1, { 142,150 }
2, { 142,150,204 }
1, { 142,200 }
2, { 142,200,204,252,258 }
1, { 142,204 }
1, { 143,147 }
2, { 143,147,151,155,159 }
3, { 143,147,151,155,159,201,205,211,217,225,253,259,261,266,267,276,277,283,285,289 }, <2.61803398874993664691e+00,-3.60937944043402676616e-14,1.61803398874979165178e+00,1,-2.74164078649984759295e+01>
2, { 143,147,201 }
1, { 143,151 }
2, { 143,151,205 }
1, { 143,201 }
2, { 143,201,205,253,259 }
1, { 143,205 }
1, { 144,152 }
2, { 144,152,208 }
1, { 144,194 }
2, { 144,194,208,254,262 }
1, { 144,208 }
1, { 145,153 }
2, { 145,153,209 }
1, { 145,195 }
2, { 145,195,209,255,262 }
1, { 145,209 }
1, { 146,154 }
2, { 146,154,210 }
1, { 146,200 }
2, { 146,200,210,260,267 }
1, { 146,210 }
1, { 147,155 }
2, { 147,155,211 }
1, { 147,201 }
2, { 147,201,211,261,267 }
1, { 147,211 }
1, { 148,156 }
2, { 148,156,214 }
1, { 148,202 }
2, { 148,202,214,263,273 }
1, { 148,214 }
1, { 149,157 }
2, { 149,157,215 }
1, { 149,203 }
2, { 149,203,215,264,274 }
1, { 149,215 }
1, { 150,158 }
2, { 150,158,216 }
1, { 150,204 }
2, { 150,204,216,265,275 }
1, { 150,216 }
1, { 151,159 }
2, { 151,159,217 }
1, { 151,205 }
2, { 151,205,217,266,276 }
1, { 151,217 }
1, { 152,156 }
2, { 152,156,218 }
1, { 152,208 }
2, { 152,208,218,272,278 }
1, { 152,218 }
1, { 153,157 }
2, { 153,157,219 }
1, { 153,209 }
2, { 153,209,219,272,279 }
1, { 153,219 }
1, { 154,158 }
2, { 154,158,224 }
1, { 154,210 }
2, { 154,210,224,277,284 }
1, { 154,224 }
1, { 155,159 }
2, { 155,159,225 }
1, { 155,211 }
2, { 155,211,225,277,285 }
1, { 155,225 }
1, { 156,214 }
2, { 156,214,218,280,286 }
1, { 156,218 }
1, { 157,215 }
2, { 157,215,219,281,287 }
1, { 157,219 }
1, { 158,216 }
2, { 158,216,224,282,288 }
1, { 158,224 }
1, { 159,217 }
2, { 159,217,225,283,289 }
1, { 159,225 }
1, { 160,162 }
2, { 160,162,164,166,169 }
3, { 160,162,164,166,169,212,220,222,230,232,268,270,273,275,280,282,290,292,294,296 }, <2.61803398875010584490e+00,1,4.05355074489018830548e-14,-1.61803398874991488654e+00,-2.74164078650001137305e+01>
2, { 160,162,212 }
1, { 160,164 }
2, { 160,164,220 }
1, { 160,212 }
2, { 160,212,220,268,273 }
1, { 160,220 }
1, { 161,163 }
2, { 161,163,165,167,170 }
3, { 161,163,165,167,170,213,221,223,231,233,269,271,274,276,281,283,291,293,295,297 }, <2.61803398874999349033e+00,1,4.56425333621829610840e-14,1.61803398875026438475e+00,-2.74164078650018510075e+01>
2, { 161,163,213 }
1, { 161,165 }
2, { 161,165,221 }
1, { 161,213 }
2, { 161,213,221,269,274 }
1, { 161,221 }
1, { 162,166 }
2, { 162,166,222 }
1, { 162,212 }
2, { 162,212,222,270,275 }
1, { 162,222 }
1, { 163,167 }
2, { 163,167,223 }
1, { 163,213 }
2, { 163,213,223,271,276 }
1, { 163,223 }
1, { 164,169 }
2, { 164,169,230 }
1, { 164,220 }
2, { 164,220,230,280,290 }
1, { 164,230 }
1, { 165,170 }
2, { 165,170,231 }
1, { 165,221 }
2, { 165,221,231,281,291 }
1, { 165,231 }
1, { 166,169 }
2, { 166,169,232 }
1, { 166,222 }
2, { 166,222,232,282,292 }
1, { 166,232 }
1, { 167,170 }
2, { 167,170,233 }
1, { 167,223 }
2, { 167,223,233,283,293 }
1, { 167,233 }
1, { 168,172 }
2, { 168,172,173,176,177 }
3, { 168,172,173,176,177,226,227,234,235,238,278,279,286,287,290,291,294,295,298,299 }, <2.61803398875034654125e+00,1.61803398874992376832e+00,-1,4.87013236227792469451e-14,-2.74164078650014282346e+01>
2, { 168,172,226 }
1, { 168,173 }
2, { 168,173,227 }
1, { 168,226 }
2, { 168,226,227,278,279 }
1, { 168,227 }
1, { 169,230 }
2, { 169,230,232,294,296 }
1, { 169,232 }
1, { 170,231 }
2, { 170,231,233,295,297 }
1, { 170,233 }
1, { 171,174 }
2, { 171,174,175,178,179 }
3, { 171,174,175,178,179,228,229,236,237,239,284,285,288,289,292,293,296,297,298,299 }, <2.61803398875078663366e+00,1.61803398875014092795e+00,1,5.22540373015855412689e-14,-2.74164078650049169994e+01>
2, { 171,174,228 }
1, { 171,175 }
2, { 171,175,229 }
1, { 171,228 }
2, { 171,228,229,284,285 }
1, { 171,229 }
1, { 172,176 }
2, { 172,176,234 }
1, { 172,226 }
2, { 172,226,234,286,290 }
1, { 172,234 }
1, { 173,177 }
2, { 173,177,235 }
1, { 173,227 }
2, { 173,227,235,287,291 }
1, { 173,235 }
1, { 174,178 }
2, { 174,178,236 }
1, { 174,228 }
2, { 174,228,236,288,292 }
1, { 174,236 }
1, { 175,179 }
2, { 175,179,237 }
1, { 175,229 }
2, { 175,229,237,289,293 }
1, { 175,237 }
1, { 176,177 }
2, { 176,177,238 }
1, { 176,234 }
2, { 176,234,238,294,298 }
1, { 176,238 }
1, { 177,235 }
2, { 177,235,238,295,299 }
1, { 177,238 }
1, { 178,179 }
2, { 178,179,239 }
1, { 178,236 }
2, { 178,236,239,296,298 }
1, { 178,239 }
1, { 179,237 }
2, { 179,237,239,297,299 }
1, { 179,239 }
1, { 180,181 }
2, { 180,181,240 }
3, { 180,181,240,241 }, <1,-1.00000000000000177636e+00,4.52596452695976661457e-16,-0,-1.27082039324993800733e+01>
2, { 180,181,241 }
1, { 180,240 }
2, { 180,240,241 }
1, { 180,241 }
1, { 181,240 }
2, { 181,240,241 }
1, { 181,241 }
1, { 182,186 }
2, { 182,186,242 }
3, { 182,186,242,246 }, <3.23606797749979646639e+00,-2.61803398874989268208e+00,-1,-1.61803398874989046163e+00,-4.11246117974981331145e+01>
2, { 182,186,246 }
1, { 182,242 }
2, { 182,242,246 }
1, { 182,246 }
1, { 183,187 }
2, { 183,187,243 }
3, { 183,187,243,247 }, <3.23606797749980401591e+00,-2.61803398874994996959e+00,-1,1.61803398874994108780e+00,-4.11246117974985878618e+01>
2, { 183,187,247 }
1, { 183,243 }
2, { 183,243,247 }
1, { 183,247 }
1, { 184,188 }
2, { 184,188,244 }
3, { 184,188,244,248 }, <3.23606797749980135137e+00,-2.61803398874989223799e+00,1,-1.61803398874988579870e+00,-4.11246117974981473253e+01>
2, { 184,188,248 }
1, { 184,244 }
2, { 184,244,248 }
1, { 184,248 }
1, { 185,189 }
2, { 185,189,245 }
3, { 185,189,245,249 }, <3.23606797749979691048e+00,-2.61803398874994597278e+00,1,1.61803398874993553669e+00,-4.11246117974985097021e+01>
2, { 185,189,249 }
1, { 185,245 }
2, { 185,245,249 }
1, { 185,249 }
1, { 186,242 }
2, { 186,242,246 }
1, { 186,246 }
1, { 187,243 }
2, { 187,243,247 }
1, { 187,247 }
1, { 188,244 }
2, { 188,244,248 }
1, { 188,248 }
1, { 189,245 }
2, { 189,245,249 }
1, { 189,249 }
1, { 190,194 }
2, { 190,194,250 }
3, { 190,194,250,254 }, <3.23606797749986796475e+00,-1.61803398874991777312e+00,-2.61803398874992554468e+00,-1,-4.11246117974988649735e+01>
2, { 190,194,254 }
1, { 190,250 }
2, { 190,250,254 }
1, { 190,254 }
1, { 191,195 }
2, { 191,195,251 }
3, { 191,195,251,255 }, <3.23606797749969210543e+00,-1.61803398874983450639e+00,-2.61803398874977144573e+00,1,-4.11246117974966338693e+01>
2, { 191,195,255 }
1, { 191,251 }
2, { 191,251,255 }
1, { 191,255 }
1, { 192,200 }
2, { 192,200,252 }
3, { 192,200,252,260 }, <3.23606797750009711478e+00,-1.61803398874998571877e+00,2.61803398874998283219e+00,-1,-4.11246117975009113366e+01>
2, { 192,200,260 }
1, { 192,252 }
2, { 192,252,260 }
1, { 192,260 }
1, { 193,201 }
2, { 193,201,253 }
3, { 193,201,253,261 }, <3.23606797749991459412e+00,-1.61803398874989867728e+00,2.61803398874982606870e+00,1,-4.11246117974986162835e+01>
2, { 193,201,261 }
1, { 193,253 }
2, { 193,253,261 }
1, { 193,261 }
1, { 194,250 }
2, { 194,250,254 }
1, { 194,254 }
1, { 195,251 }
2, { 195,251,255 }
1, { 195,255 }
1, { 196,202 }
2, { 196,202,256 }
3, { 196,202,256,263 }, <3.23606797749983732260e+00,-1,-1.61803398874989579070e+00,-2.61803398874991177792e+00,-4.11246117974985168075e+01>
2, { 196,202,263 }
1, { 196,256 }
2, { 196,256,263 }
1, { 196,263 }
1, { 197,203 }
2, { 197,203,257 }
3, { 197,203,257,264 }, <3.23606797749967611821e+00,-1,-1.61803398874982762301e+00,2.61803398874979542654e+00,-4.11246117974966338693e+01>
2, { 197,203,264 }
1, { 197,257 }
2, { 197,257,264 }
1, { 197,264 }
1, { 198,204 }
2, { 198,204,258 }
3, { 198,204,258,265 }, <3.23606797749988839286e+00,-1,1.61803398874991288814e+00,-2.61803398874995130186e+00,-4.11246117974991278743e+01>
2, { 198,204,265 }
1, { 198,258 }
2, { 198,258,265 }
1, { 198,265 }
1, { 199,205 }
2, { 199,205,259 }
3, { 199,205,259,266 }, <3.23606797749953933874e+00,-1,1.61803398874996817725e+00,2.61803398874993886736e+00,-4.11246117974968186104e+01>
2, { 199,205,266 }
1, { 199,259 }
2, { 199,259,266 }
1, { 199,266 }
1, { 200,252 }
2, { 200,252,260 }
1, { 200,260 }
1, { 201,253 }
2, { 201,253,261 }
1, { 201,261 }
1, { 202,256 }
2, { 202,256,263 }
1, { 202,263 }
1, { 203,257 }
2, { 203,257,264 }
1, { 203,264 }
1, { 204,258 }
2, { 204,258,265 }
1, { 204,265 }
1, { 205,259 }
2, { 205,259,266 }
1, { 205,266 }
1, { 206,212 }
2, { 206,212,268 }
3, { 206,212,268,270 }, <1,2.30940480668372976604e-16,-1.25802289918540857130e-15,-9.99999999999992228439e-01,-1.27082039324993232299e+01>
2, { 206,212,270 }
1, { 206,268 }
2, { 206,268,270 }
1, { 206,270 }
1, { 207,213 }
2, { 207,213,269 }
3, { 207,213,269,271 }, <1,7.02324128581386057386e-15,6.70945546232348093036e-15,1.00000000000004596323e+00,-1.27082039324996429741e+01>
2, { 207,213,271 }
1, { 207,269 }
2, { 207,269,271 }
1, { 207,271 }
1, { 208,209 }
2, { 208,209,262 }
3, { 208,209,262,272 }, <1,-8.48134920628221352695e-16,-1.00000000000002176037e+00,1.25885694880879386797e-14,-1.27082039324994937601e+01>
2, { 208,209,272 }
1, { 208,262 }
2, { 208,262,272 }
1, { 208,272 }
1, { 209,262 }
2, { 209,262,272 }
1, { 209,272 }
1, { 210,211 }
2, { 210,211,267 }
3, { 210,211,267,277 }, <1,4.74955555551692538795e-14,9.99999999999994448885e-01,1.61412831668886936222e-14,-1.27082039324993836260e+01>
2, { 210,211,277 }
1, { 210,267 }
2, { 210,267,277 }
1, { 210,277 }
1, { 211,267 }
2, { 211,267,277 }
1, { 211,277 }
1, { 212,268 }
2, { 212,268,270 }
1, { 212,270 }
1, { 213,269 }
2, { 213,269,271 }
1, { 213,271 }
1, { 214,220 }
2, { 214,220,273 }
3, { 214,220,273,280 }, <3.23606797749984886892e+00,1,-1.61803398874990533862e+00,-2.61803398874990378431e+00,-4.11246117974985878618e+01>
2, { 214,220,280 }
1, { 214,273 }
2, { 214,273,280 }
1, { 214,280 }
1, { 215,221 }
2, { 215,221,274 }
3, { 215,221,274,281 }, <3.23606797749959884669e+00,1,-1.61803398874985093769e+00,2.61803398874978432431e+00,-4.11246117974961933328e+01>
2, { 215,221,281 }
1, { 215,274 }
2, { 215,274,281 }
1, { 215,281 }
1, { 216,222 }
2, { 216,222,275 }
3, { 216,222,275,282 }, <3.23606797750020547255e+00,1,1.61803398874999437851e+00,-2.61803398874998283219e+00,-4.11246117975016431956e+01>
2, { 216,222,282 }
1, { 216,275 }
2, { 216,275,282 }
1, { 216,282 }
1, { 217,223 }
2, { 217,223,276 }
3, { 217,223,276,283 }, <3.23606797750077612719e+00,1,1.61803398875037340865e+00,2.61803398875083237485e+00,-4.11246117975103899767e+01>
2, { 217,223,283 }
1, { 217,276 }
2, { 217,276,283 }
1, { 217,283 }
1, { 218,226 }
2, { 218,226,278 }
3, { 218,226,278,286 }, <3.23606797750002339598e+00,1.61803398874998816126e+00,-2.61803398875007875546e+00,-1,-4.11246117975007834389e+01>
2, { 218,226,286 }
1, { 218,278 }
2, { 218,278,286 }
1, { 218,286 }
1, { 219,227 }
2, { 219,227,279 }
3, { 219,227,279,287 }, <3.23606797749920849228e+00,1.61803398874961468223e+00,-2.61803398874944059926e+00,1,-4.11246117974912976933e+01>
2, { 219,227,287 }
1, { 219,279 }
2, { 219,279,287 }
1, { 219,287 }
1, { 220,273 }
2, { 220,273,280 }
1, { 220,280 }
1, { 221,274 }
2, { 221,274,281 }
1, { 221,281 }
1, { 222,275 }
2, { 222,275,282 }
1, { 222,282 }
1, { 223,276 }
2, { 223,276,283 }
1, { 223,283 }
1, { 224,228 }
2, { 224,228,284 }
3, { 224,228,284,288 }, <3.23606797749974450795e+00,1.61803398874956383402e+00,2.61803398874941972707e+00,-1,-4.11246117974947154039e+01>
2, { 224,228,288 }
1, { 224,284 }
2, { 224,284,288 }
1, { 224,288 }
1, { 225,229 }
2, { 225,229,285 }
3, { 225,229,285,289 }, <3.23606797749978358780e+00,1.61803398874930137730e+00,2.61803398874930204343e+00,1,-4.11246117974936353789e+01>
2, { 225,229,289 }
1, { 225,285 }
2, { 225,285,289 }
1, { 225,289 }
1, { 226,278 }
2, { 226,278,286 }
1, { 226,286 }
1, { 227,279 }
2, { 227,279,287 }
1, { 227,287 }
1, { 228,284 }
2, { 228,284,288 }
1, { 228,288 }
1, { 229,285 }
2, { 229,285,289 }
1, { 229,289 }
1, { 230,234 }
2, { 230,234,290 }
3, { 230,234,290,294 }, <3.23606797749998342795e+00,2.61803398874992732104e+00,-1,-1.61803398874992110379e+00,-4.11246117974996749922e+01>
2, { 230,234,294 }
1, { 230,290 }
2, { 230,290,294 }
1, { 230,294 }
1, { 231,235 }
2, { 231,235,291 }
3, { 231,235,291,295 }, <3.23606797750016372817e+00,2.61803398875007120594e+00,-1,1.61803398875004944557e+00,-4.11246117975019984669e+01>
2, { 231,235,295 }
1, { 231,291 }
2, { 231,291,295 }
1, { 231,295 }
1, { 232,236 }
2, { 232,236,292 }
3, { 232,236,292,296 }, <3.23606797750058472474e+00,2.61803398875047266259e+00,1,-1.61803398875008630498e+00,-4.11246117975070859529e+01>
2, { 232,236,296 }
1, { 232,292 }
2, { 232,292,296 }
1, { 232,296 }
1, { 233,237 }
2, { 233,237,293 }
3, { 233,237,293,297 }, <3.23606797750129704383e+00,2.61803398875095005849e+00,1,1.61803398875038495497e+00,-4.11246117975152429835e+01>
2, { 233,237,297 }
1, { 233,293 }
2, { 233,293,297 }
1, { 233,297 }
1, { 234,290 }
2, { 234,290,294 }
1, { 234,294 }
1, { 235,291 }
2, { 235,291,295 }
1, { 235,295 }
1, { 236,292 }
2, { 236,292,296 }
1, { 236,296 }
1, { 237,293 }
2, { 237,293,297 }
1, { 237,297 }
1, { 238,239 }
2, { 238,239,298 }
3, { 238,239,298,299 }, <1,1.00000000000005484502e+00,1.25196657402415193754e-14,7.02396118711913246610e-15,-1.27082039324996980412e+01>
2, { 238,239,299 }
1, { 238,298 }
2, { 238,298,299 }
1, { 238,299 }
1, { 239,298 }
2, { 239,298,299 }
1, { 239,299 }
1, { 240,241 }
2, { 240,241,242,243,246,247,250,251,254,255 }
3, { 240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,277,278,279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299 }, <1,9.85320562874718378749e-15,1.64373141430172017675e-15,3.24634553872922317920e-15,-6.85410196624962697598e+00>
2, { 240,241,244,245,248,249,252,253,260,261 }
1, { 240,242 }
2, { 240,242,244 }
1, { 240,244 }
1, { 241,243 }
2, { 241,243,245 }
1, { 241,245 }
1, { 242,244 }
2, { 242,244,246,248,256,258,263,265,268,270 }
1, { 242,246 }
1, { 243,245 }
2, { 243,245,247,249,257,259,264,266,269,271 }
1, { 243,247 }
1, { 244,248 }
1, { 245,249 }
1, { 246,250 }
2, { 246,250,256 }
1, { 246,256 }
1, { 247,251 }
2, { 247,251,257 }
1, { 247,257 }
1, { 248,252 }
2, { 248,252,258 }
1, { 248,258 }
1, { 249,253 }
2, { 249,253,259 }
1, { 249,259 }
1, { 250,254 }
2, { 250,254,256,262,263,272,273,278,280,286 }
1, { 250,256 }
1, { 251,255 }
2, { 251,255,257,262,264,272,274,279,281,287 }
1, { 251,257 }
1, { 252,258 }
2, { 252,258,260,265,267,275,277,282,284,288 }
1, { 252,260 }
1, { 253,259 }
2, { 253,259,261,266,267,276,277,283,285,289 }
1, { 253,261 }
1, { 254,255 }
2, { 254,255,262 }
1, { 254,262 }
1, { 255,262 }
1, { 256,263 }
1, { 257,264 }
1, { 258,265 }
1, { 259,266 }
1, { 260,261 }
2, { 260,261,267 }
1, { 260,267 }
1, { 261,267 }
1, { 262,272 }
1, { 263,268 }
2, { 263,268,273 }
1, { 263,273 }
1, { 264,269 }
2, { 264,269,274 }
1, { 264,274 }
1, { 265,270 }
2, { 265,270,275 }
1, { 265,275 }
1, { 266,271 }
2, { 266,271,276 }
1, { 266,276 }
1, { 267,277 }
1, { 268,270 }
2, { 268,270,273,275,280,282,290,292,294,296 }
1, { 268,273 }
1, { 269,271 }
2, { 269,271,274,276,281,283,291,293,295,297 }
1, { 269,274 }
1, { 270,275 }
1, { 271,276 }
1, { 272,278 }
2, { 272,278,279 }
1, { 272,279 }
1, { 273,280 }
1, { 274,281 }
1, { 275,282 }
1, { 276,283 }
1, { 277,284 }
2, { 277,284,285 }
1, { 277,285 }
1, { 278,279 }
2, { 278,279,286,287,290,291,294,295,298,299 }
1, { 278,286 }
1, { 279,287 }
1, { 280,286 }
2, { 280,286,290 }
1, { 280,290 }
1, { 281,287 }
2, { 281,287,291 }
1, { 281,291 }
1, { 282,288 }
2, { 282,288,292 }
1, { 282,292 }
1, { 283,289 }
2, { 283,289,293 }
1, { 283,293 }
1, { 284,285 }
2, { 284,285,288,289,292,293,296,297,298,299 }
1, { 284,288 }
1, { 285,289 }
1, { 286,290 }
1, { 287,291 }
1, { 288,292 }
1, { 289,293 }
1, { 290,294 }
1, { 291,295 }
1, { 292,296 }
1, { 293,297 }
1, { 294,296 }
2, { 294,296,298 }
1, { 294,298 }
1, { 295,297 }
2, { 295,297,299 }
1, { 295,299 }
1, { 296,298 }
1, { 297,299 }
1, { 298,299 }
}
}