# Automatically generated by makepoly. polytope rect_snub24cell { dimension 4 vertices { <-5.23606797749978980505e+00, -3.23606797749978980505e+00, 0, 0> <-5.23606797749978980505e+00, -2.61803398874989490253e+00, -1, -1.61803398874989490253e+00> <-5.23606797749978980505e+00, -2.61803398874989490253e+00, -1, 1.61803398874989490253e+00> <-5.23606797749978980505e+00, -2.61803398874989490253e+00, 1, -1.61803398874989490253e+00> <-5.23606797749978980505e+00, -2.61803398874989490253e+00, 1, 1.61803398874989490253e+00> <-5.23606797749978980505e+00, -1.61803398874989490253e+00, -2.61803398874989490253e+00, -1> <-5.23606797749978980505e+00, -1.61803398874989490253e+00, -2.61803398874989490253e+00, 1> <-5.23606797749978980505e+00, -1.61803398874989490253e+00, 2.61803398874989490253e+00, -1> <-5.23606797749978980505e+00, -1.61803398874989490253e+00, 2.61803398874989490253e+00, 1> <-5.23606797749978980505e+00, -1, -1.61803398874989490253e+00, -2.61803398874989490253e+00> <-5.23606797749978980505e+00, -1, -1.61803398874989490253e+00, 2.61803398874989490253e+00> <-5.23606797749978980505e+00, -1, 1.61803398874989490253e+00, -2.61803398874989490253e+00> <-5.23606797749978980505e+00, -1, 1.61803398874989490253e+00, 2.61803398874989490253e+00> <-5.23606797749978980505e+00, 0, -3.23606797749978980505e+00, 0> <-5.23606797749978980505e+00, 0, 0, -3.23606797749978980505e+00> <-5.23606797749978980505e+00, 0, 0, 3.23606797749978980505e+00> <-5.23606797749978980505e+00, 0, 3.23606797749978980505e+00, 0> <-5.23606797749978980505e+00, 1, -1.61803398874989490253e+00, -2.61803398874989490253e+00> <-5.23606797749978980505e+00, 1, -1.61803398874989490253e+00, 2.61803398874989490253e+00> <-5.23606797749978980505e+00, 1, 1.61803398874989490253e+00, -2.61803398874989490253e+00> <-5.23606797749978980505e+00, 1, 1.61803398874989490253e+00, 2.61803398874989490253e+00> <-5.23606797749978980505e+00, 1.61803398874989490253e+00, -2.61803398874989490253e+00, -1> <-5.23606797749978980505e+00, 1.61803398874989490253e+00, -2.61803398874989490253e+00, 1> <-5.23606797749978980505e+00, 1.61803398874989490253e+00, 2.61803398874989490253e+00, -1> <-5.23606797749978980505e+00, 1.61803398874989490253e+00, 2.61803398874989490253e+00, 1> <-5.23606797749978980505e+00, 2.61803398874989490253e+00, -1, -1.61803398874989490253e+00> <-5.23606797749978980505e+00, 2.61803398874989490253e+00, -1, 1.61803398874989490253e+00> <-5.23606797749978980505e+00, 2.61803398874989490253e+00, 1, -1.61803398874989490253e+00> <-5.23606797749978980505e+00, 2.61803398874989490253e+00, 1, 1.61803398874989490253e+00> <-5.23606797749978980505e+00, 3.23606797749978980505e+00, 0, 0> <-4.23606797749978980505e+00, -4.23606797749978980505e+00, -1, -1> <-4.23606797749978980505e+00, -4.23606797749978980505e+00, -1, 1> <-4.23606797749978980505e+00, -4.23606797749978980505e+00, 1, -1> <-4.23606797749978980505e+00, -4.23606797749978980505e+00, 1, 1> <-4.23606797749978980505e+00, -3.61803398874989490253e+00, 0, -2.61803398874989490253e+00> <-4.23606797749978980505e+00, -3.61803398874989490253e+00, 0, 2.61803398874989490253e+00> <-4.23606797749978980505e+00, -2.61803398874989490253e+00, -3.61803398874989490253e+00, 0> <-4.23606797749978980505e+00, -2.61803398874989490253e+00, 3.61803398874989490253e+00, 0> <-4.23606797749978980505e+00, -1, -4.23606797749978980505e+00, -1> <-4.23606797749978980505e+00, -1, -4.23606797749978980505e+00, 1> <-4.23606797749978980505e+00, -1, -1, -4.23606797749978980505e+00> <-4.23606797749978980505e+00, -1, -1, 4.23606797749978980505e+00> <-4.23606797749978980505e+00, -1, 1, -4.23606797749978980505e+00> <-4.23606797749978980505e+00, -1, 1, 4.23606797749978980505e+00> <-4.23606797749978980505e+00, -1, 4.23606797749978980505e+00, -1> <-4.23606797749978980505e+00, -1, 4.23606797749978980505e+00, 1> <-4.23606797749978980505e+00, 0, -2.61803398874989490253e+00, -3.61803398874989490253e+00> <-4.23606797749978980505e+00, 0, -2.61803398874989490253e+00, 3.61803398874989490253e+00> <-4.23606797749978980505e+00, 0, 2.61803398874989490253e+00, -3.61803398874989490253e+00> <-4.23606797749978980505e+00, 0, 2.61803398874989490253e+00, 3.61803398874989490253e+00> <-4.23606797749978980505e+00, 1, -4.23606797749978980505e+00, -1> <-4.23606797749978980505e+00, 1, -4.23606797749978980505e+00, 1> <-4.23606797749978980505e+00, 1, -1, -4.23606797749978980505e+00> <-4.23606797749978980505e+00, 1, -1, 4.23606797749978980505e+00> <-4.23606797749978980505e+00, 1, 1, -4.23606797749978980505e+00> <-4.23606797749978980505e+00, 1, 1, 4.23606797749978980505e+00> <-4.23606797749978980505e+00, 1, 4.23606797749978980505e+00, -1> <-4.23606797749978980505e+00, 1, 4.23606797749978980505e+00, 1> <-4.23606797749978980505e+00, 2.61803398874989490253e+00, -3.61803398874989490253e+00, 0> <-4.23606797749978980505e+00, 2.61803398874989490253e+00, 3.61803398874989490253e+00, 0> <-4.23606797749978980505e+00, 3.61803398874989490253e+00, 0, -2.61803398874989490253e+00> <-4.23606797749978980505e+00, 3.61803398874989490253e+00, 0, 2.61803398874989490253e+00> <-4.23606797749978980505e+00, 4.23606797749978980505e+00, -1, -1> <-4.23606797749978980505e+00, 4.23606797749978980505e+00, -1, 1> <-4.23606797749978980505e+00, 4.23606797749978980505e+00, 1, -1> <-4.23606797749978980505e+00, 4.23606797749978980505e+00, 1, 1> <-3.61803398874989490253e+00, -4.23606797749978980505e+00, -2.61803398874989490253e+00, 0> <-3.61803398874989490253e+00, -4.23606797749978980505e+00, 2.61803398874989490253e+00, 0> <-3.61803398874989490253e+00, -2.61803398874989490253e+00, 0, -4.23606797749978980505e+00> <-3.61803398874989490253e+00, -2.61803398874989490253e+00, 0, 4.23606797749978980505e+00> <-3.61803398874989490253e+00, 0, -4.23606797749978980505e+00, -2.61803398874989490253e+00> <-3.61803398874989490253e+00, 0, -4.23606797749978980505e+00, 2.61803398874989490253e+00> <-3.61803398874989490253e+00, 0, 4.23606797749978980505e+00, -2.61803398874989490253e+00> <-3.61803398874989490253e+00, 0, 4.23606797749978980505e+00, 2.61803398874989490253e+00> <-3.61803398874989490253e+00, 2.61803398874989490253e+00, 0, -4.23606797749978980505e+00> <-3.61803398874989490253e+00, 2.61803398874989490253e+00, 0, 4.23606797749978980505e+00> <-3.61803398874989490253e+00, 4.23606797749978980505e+00, -2.61803398874989490253e+00, 0> <-3.61803398874989490253e+00, 4.23606797749978980505e+00, 2.61803398874989490253e+00, 0> <-3.23606797749978980505e+00, -5.23606797749978980505e+00, 0, 0> <-3.23606797749978980505e+00, 0, -5.23606797749978980505e+00, 0> <-3.23606797749978980505e+00, 0, 0, -5.23606797749978980505e+00> <-3.23606797749978980505e+00, 0, 0, 5.23606797749978980505e+00> <-3.23606797749978980505e+00, 0, 5.23606797749978980505e+00, 0> <-3.23606797749978980505e+00, 5.23606797749978980505e+00, 0, 0> <-2.61803398874989490253e+00, -5.23606797749978980505e+00, -1.61803398874989490253e+00, -1> <-2.61803398874989490253e+00, -5.23606797749978980505e+00, -1.61803398874989490253e+00, 1> <-2.61803398874989490253e+00, -5.23606797749978980505e+00, 1.61803398874989490253e+00, -1> <-2.61803398874989490253e+00, -5.23606797749978980505e+00, 1.61803398874989490253e+00, 1> <-2.61803398874989490253e+00, -4.23606797749978980505e+00, 0, -3.61803398874989490253e+00> <-2.61803398874989490253e+00, -4.23606797749978980505e+00, 0, 3.61803398874989490253e+00> <-2.61803398874989490253e+00, -3.61803398874989490253e+00, -4.23606797749978980505e+00, 0> <-2.61803398874989490253e+00, -3.61803398874989490253e+00, 4.23606797749978980505e+00, 0> <-2.61803398874989490253e+00, -1.61803398874989490253e+00, -1, -5.23606797749978980505e+00> <-2.61803398874989490253e+00, -1.61803398874989490253e+00, -1, 5.23606797749978980505e+00> <-2.61803398874989490253e+00, -1.61803398874989490253e+00, 1, -5.23606797749978980505e+00> <-2.61803398874989490253e+00, -1.61803398874989490253e+00, 1, 5.23606797749978980505e+00> <-2.61803398874989490253e+00, -1, -5.23606797749978980505e+00, -1.61803398874989490253e+00> <-2.61803398874989490253e+00, -1, -5.23606797749978980505e+00, 1.61803398874989490253e+00> <-2.61803398874989490253e+00, -1, 5.23606797749978980505e+00, -1.61803398874989490253e+00> <-2.61803398874989490253e+00, -1, 5.23606797749978980505e+00, 1.61803398874989490253e+00> <-2.61803398874989490253e+00, 0, -3.61803398874989490253e+00, -4.23606797749978980505e+00> <-2.61803398874989490253e+00, 0, -3.61803398874989490253e+00, 4.23606797749978980505e+00> <-2.61803398874989490253e+00, 0, 3.61803398874989490253e+00, -4.23606797749978980505e+00> <-2.61803398874989490253e+00, 0, 3.61803398874989490253e+00, 4.23606797749978980505e+00> <-2.61803398874989490253e+00, 1, -5.23606797749978980505e+00, -1.61803398874989490253e+00> <-2.61803398874989490253e+00, 1, -5.23606797749978980505e+00, 1.61803398874989490253e+00> <-2.61803398874989490253e+00, 1, 5.23606797749978980505e+00, -1.61803398874989490253e+00> <-2.61803398874989490253e+00, 1, 5.23606797749978980505e+00, 1.61803398874989490253e+00> <-2.61803398874989490253e+00, 1.61803398874989490253e+00, -1, -5.23606797749978980505e+00> <-2.61803398874989490253e+00, 1.61803398874989490253e+00, -1, 5.23606797749978980505e+00> <-2.61803398874989490253e+00, 1.61803398874989490253e+00, 1, -5.23606797749978980505e+00> <-2.61803398874989490253e+00, 1.61803398874989490253e+00, 1, 5.23606797749978980505e+00> <-2.61803398874989490253e+00, 3.61803398874989490253e+00, -4.23606797749978980505e+00, 0> <-2.61803398874989490253e+00, 3.61803398874989490253e+00, 4.23606797749978980505e+00, 0> <-2.61803398874989490253e+00, 4.23606797749978980505e+00, 0, -3.61803398874989490253e+00> <-2.61803398874989490253e+00, 4.23606797749978980505e+00, 0, 3.61803398874989490253e+00> <-2.61803398874989490253e+00, 5.23606797749978980505e+00, -1.61803398874989490253e+00, -1> <-2.61803398874989490253e+00, 5.23606797749978980505e+00, -1.61803398874989490253e+00, 1> <-2.61803398874989490253e+00, 5.23606797749978980505e+00, 1.61803398874989490253e+00, -1> <-2.61803398874989490253e+00, 5.23606797749978980505e+00, 1.61803398874989490253e+00, 1> <-1.61803398874989490253e+00, -5.23606797749978980505e+00, -1, -2.61803398874989490253e+00> <-1.61803398874989490253e+00, -5.23606797749978980505e+00, -1, 2.61803398874989490253e+00> <-1.61803398874989490253e+00, -5.23606797749978980505e+00, 1, -2.61803398874989490253e+00> <-1.61803398874989490253e+00, -5.23606797749978980505e+00, 1, 2.61803398874989490253e+00> <-1.61803398874989490253e+00, -2.61803398874989490253e+00, -5.23606797749978980505e+00, -1> <-1.61803398874989490253e+00, -2.61803398874989490253e+00, -5.23606797749978980505e+00, 1> <-1.61803398874989490253e+00, -2.61803398874989490253e+00, 5.23606797749978980505e+00, -1> <-1.61803398874989490253e+00, -2.61803398874989490253e+00, 5.23606797749978980505e+00, 1> <-1.61803398874989490253e+00, -1, -2.61803398874989490253e+00, -5.23606797749978980505e+00> <-1.61803398874989490253e+00, -1, -2.61803398874989490253e+00, 5.23606797749978980505e+00> <-1.61803398874989490253e+00, -1, 2.61803398874989490253e+00, -5.23606797749978980505e+00> <-1.61803398874989490253e+00, -1, 2.61803398874989490253e+00, 5.23606797749978980505e+00> <-1.61803398874989490253e+00, 1, -2.61803398874989490253e+00, -5.23606797749978980505e+00> <-1.61803398874989490253e+00, 1, -2.61803398874989490253e+00, 5.23606797749978980505e+00> <-1.61803398874989490253e+00, 1, 2.61803398874989490253e+00, -5.23606797749978980505e+00> <-1.61803398874989490253e+00, 1, 2.61803398874989490253e+00, 5.23606797749978980505e+00> <-1.61803398874989490253e+00, 2.61803398874989490253e+00, -5.23606797749978980505e+00, -1> <-1.61803398874989490253e+00, 2.61803398874989490253e+00, -5.23606797749978980505e+00, 1> <-1.61803398874989490253e+00, 2.61803398874989490253e+00, 5.23606797749978980505e+00, -1> <-1.61803398874989490253e+00, 2.61803398874989490253e+00, 5.23606797749978980505e+00, 1> <-1.61803398874989490253e+00, 5.23606797749978980505e+00, -1, -2.61803398874989490253e+00> <-1.61803398874989490253e+00, 5.23606797749978980505e+00, -1, 2.61803398874989490253e+00> <-1.61803398874989490253e+00, 5.23606797749978980505e+00, 1, -2.61803398874989490253e+00> <-1.61803398874989490253e+00, 5.23606797749978980505e+00, 1, 2.61803398874989490253e+00> <-1, -5.23606797749978980505e+00, -2.61803398874989490253e+00, -1.61803398874989490253e+00> <-1, -5.23606797749978980505e+00, -2.61803398874989490253e+00, 1.61803398874989490253e+00> <-1, -5.23606797749978980505e+00, 2.61803398874989490253e+00, -1.61803398874989490253e+00> <-1, -5.23606797749978980505e+00, 2.61803398874989490253e+00, 1.61803398874989490253e+00> <-1, -4.23606797749978980505e+00, -4.23606797749978980505e+00, -1> <-1, -4.23606797749978980505e+00, -4.23606797749978980505e+00, 1> <-1, -4.23606797749978980505e+00, -1, -4.23606797749978980505e+00> <-1, -4.23606797749978980505e+00, -1, 4.23606797749978980505e+00> <-1, -4.23606797749978980505e+00, 1, -4.23606797749978980505e+00> <-1, -4.23606797749978980505e+00, 1, 4.23606797749978980505e+00> <-1, -4.23606797749978980505e+00, 4.23606797749978980505e+00, -1> <-1, -4.23606797749978980505e+00, 4.23606797749978980505e+00, 1> <-1, -2.61803398874989490253e+00, -1.61803398874989490253e+00, -5.23606797749978980505e+00> <-1, -2.61803398874989490253e+00, -1.61803398874989490253e+00, 5.23606797749978980505e+00> <-1, -2.61803398874989490253e+00, 1.61803398874989490253e+00, -5.23606797749978980505e+00> <-1, -2.61803398874989490253e+00, 1.61803398874989490253e+00, 5.23606797749978980505e+00> <-1, -1.61803398874989490253e+00, -5.23606797749978980505e+00, -2.61803398874989490253e+00> <-1, -1.61803398874989490253e+00, -5.23606797749978980505e+00, 2.61803398874989490253e+00> <-1, -1.61803398874989490253e+00, 5.23606797749978980505e+00, -2.61803398874989490253e+00> <-1, -1.61803398874989490253e+00, 5.23606797749978980505e+00, 2.61803398874989490253e+00> <-1, -1, -4.23606797749978980505e+00, -4.23606797749978980505e+00> <-1, -1, -4.23606797749978980505e+00, 4.23606797749978980505e+00> <-1, -1, 4.23606797749978980505e+00, -4.23606797749978980505e+00> <-1, -1, 4.23606797749978980505e+00, 4.23606797749978980505e+00> <-1, 1, -4.23606797749978980505e+00, -4.23606797749978980505e+00> <-1, 1, -4.23606797749978980505e+00, 4.23606797749978980505e+00> <-1, 1, 4.23606797749978980505e+00, -4.23606797749978980505e+00> <-1, 1, 4.23606797749978980505e+00, 4.23606797749978980505e+00> <-1, 1.61803398874989490253e+00, -5.23606797749978980505e+00, -2.61803398874989490253e+00> <-1, 1.61803398874989490253e+00, -5.23606797749978980505e+00, 2.61803398874989490253e+00> <-1, 1.61803398874989490253e+00, 5.23606797749978980505e+00, -2.61803398874989490253e+00> <-1, 1.61803398874989490253e+00, 5.23606797749978980505e+00, 2.61803398874989490253e+00> <-1, 2.61803398874989490253e+00, -1.61803398874989490253e+00, -5.23606797749978980505e+00> <-1, 2.61803398874989490253e+00, -1.61803398874989490253e+00, 5.23606797749978980505e+00> <-1, 2.61803398874989490253e+00, 1.61803398874989490253e+00, -5.23606797749978980505e+00> <-1, 2.61803398874989490253e+00, 1.61803398874989490253e+00, 5.23606797749978980505e+00> <-1, 4.23606797749978980505e+00, -4.23606797749978980505e+00, -1> <-1, 4.23606797749978980505e+00, -4.23606797749978980505e+00, 1> <-1, 4.23606797749978980505e+00, -1, -4.23606797749978980505e+00> <-1, 4.23606797749978980505e+00, -1, 4.23606797749978980505e+00> <-1, 4.23606797749978980505e+00, 1, -4.23606797749978980505e+00> <-1, 4.23606797749978980505e+00, 1, 4.23606797749978980505e+00> <-1, 4.23606797749978980505e+00, 4.23606797749978980505e+00, -1> <-1, 4.23606797749978980505e+00, 4.23606797749978980505e+00, 1> <-1, 5.23606797749978980505e+00, -2.61803398874989490253e+00, -1.61803398874989490253e+00> <-1, 5.23606797749978980505e+00, -2.61803398874989490253e+00, 1.61803398874989490253e+00> <-1, 5.23606797749978980505e+00, 2.61803398874989490253e+00, -1.61803398874989490253e+00> <-1, 5.23606797749978980505e+00, 2.61803398874989490253e+00, 1.61803398874989490253e+00> <0, -5.23606797749978980505e+00, -3.23606797749978980505e+00, 0> <0, -5.23606797749978980505e+00, 0, -3.23606797749978980505e+00> <0, -5.23606797749978980505e+00, 0, 3.23606797749978980505e+00> <0, -5.23606797749978980505e+00, 3.23606797749978980505e+00, 0> <0, -4.23606797749978980505e+00, -3.61803398874989490253e+00, -2.61803398874989490253e+00> <0, -4.23606797749978980505e+00, -3.61803398874989490253e+00, 2.61803398874989490253e+00> <0, -4.23606797749978980505e+00, 3.61803398874989490253e+00, -2.61803398874989490253e+00> <0, -4.23606797749978980505e+00, 3.61803398874989490253e+00, 2.61803398874989490253e+00> <0, -3.61803398874989490253e+00, -2.61803398874989490253e+00, -4.23606797749978980505e+00> <0, -3.61803398874989490253e+00, -2.61803398874989490253e+00, 4.23606797749978980505e+00> <0, -3.61803398874989490253e+00, 2.61803398874989490253e+00, -4.23606797749978980505e+00> <0, -3.61803398874989490253e+00, 2.61803398874989490253e+00, 4.23606797749978980505e+00> <0, -3.23606797749978980505e+00, -5.23606797749978980505e+00, 0> <0, -3.23606797749978980505e+00, 0, -5.23606797749978980505e+00> <0, -3.23606797749978980505e+00, 0, 5.23606797749978980505e+00> <0, -3.23606797749978980505e+00, 5.23606797749978980505e+00, 0> <0, -2.61803398874989490253e+00, -4.23606797749978980505e+00, -3.61803398874989490253e+00> <0, -2.61803398874989490253e+00, -4.23606797749978980505e+00, 3.61803398874989490253e+00> <0, -2.61803398874989490253e+00, 4.23606797749978980505e+00, -3.61803398874989490253e+00> <0, -2.61803398874989490253e+00, 4.23606797749978980505e+00, 3.61803398874989490253e+00> <0, 0, -5.23606797749978980505e+00, -3.23606797749978980505e+00> <0, 0, -5.23606797749978980505e+00, 3.23606797749978980505e+00> <0, 0, -3.23606797749978980505e+00, -5.23606797749978980505e+00> <0, 0, -3.23606797749978980505e+00, 5.23606797749978980505e+00> <0, 0, 3.23606797749978980505e+00, -5.23606797749978980505e+00> <0, 0, 3.23606797749978980505e+00, 5.23606797749978980505e+00> <0, 0, 5.23606797749978980505e+00, -3.23606797749978980505e+00> <0, 0, 5.23606797749978980505e+00, 3.23606797749978980505e+00> <0, 2.61803398874989490253e+00, -4.23606797749978980505e+00, -3.61803398874989490253e+00> <0, 2.61803398874989490253e+00, -4.23606797749978980505e+00, 3.61803398874989490253e+00> <0, 2.61803398874989490253e+00, 4.23606797749978980505e+00, -3.61803398874989490253e+00> <0, 2.61803398874989490253e+00, 4.23606797749978980505e+00, 3.61803398874989490253e+00> <0, 3.23606797749978980505e+00, -5.23606797749978980505e+00, 0> <0, 3.23606797749978980505e+00, 0, -5.23606797749978980505e+00> <0, 3.23606797749978980505e+00, 0, 5.23606797749978980505e+00> <0, 3.23606797749978980505e+00, 5.23606797749978980505e+00, 0> <0, 3.61803398874989490253e+00, -2.61803398874989490253e+00, -4.23606797749978980505e+00> <0, 3.61803398874989490253e+00, -2.61803398874989490253e+00, 4.23606797749978980505e+00> <0, 3.61803398874989490253e+00, 2.61803398874989490253e+00, -4.23606797749978980505e+00> <0, 3.61803398874989490253e+00, 2.61803398874989490253e+00, 4.23606797749978980505e+00> <0, 4.23606797749978980505e+00, -3.61803398874989490253e+00, -2.61803398874989490253e+00> <0, 4.23606797749978980505e+00, -3.61803398874989490253e+00, 2.61803398874989490253e+00> <0, 4.23606797749978980505e+00, 3.61803398874989490253e+00, -2.61803398874989490253e+00> <0, 4.23606797749978980505e+00, 3.61803398874989490253e+00, 2.61803398874989490253e+00> <0, 5.23606797749978980505e+00, -3.23606797749978980505e+00, 0> <0, 5.23606797749978980505e+00, 0, -3.23606797749978980505e+00> <0, 5.23606797749978980505e+00, 0, 3.23606797749978980505e+00> <0, 5.23606797749978980505e+00, 3.23606797749978980505e+00, 0> <1, -5.23606797749978980505e+00, -2.61803398874989490253e+00, -1.61803398874989490253e+00> <1, -5.23606797749978980505e+00, -2.61803398874989490253e+00, 1.61803398874989490253e+00> <1, -5.23606797749978980505e+00, 2.61803398874989490253e+00, -1.61803398874989490253e+00> <1, -5.23606797749978980505e+00, 2.61803398874989490253e+00, 1.61803398874989490253e+00> <1, -4.23606797749978980505e+00, -4.23606797749978980505e+00, -1> <1, -4.23606797749978980505e+00, -4.23606797749978980505e+00, 1> <1, -4.23606797749978980505e+00, -1, -4.23606797749978980505e+00> <1, -4.23606797749978980505e+00, -1, 4.23606797749978980505e+00> <1, -4.23606797749978980505e+00, 1, -4.23606797749978980505e+00> <1, -4.23606797749978980505e+00, 1, 4.23606797749978980505e+00> <1, -4.23606797749978980505e+00, 4.23606797749978980505e+00, -1> <1, -4.23606797749978980505e+00, 4.23606797749978980505e+00, 1> <1, -2.61803398874989490253e+00, -1.61803398874989490253e+00, -5.23606797749978980505e+00> <1, -2.61803398874989490253e+00, -1.61803398874989490253e+00, 5.23606797749978980505e+00> <1, -2.61803398874989490253e+00, 1.61803398874989490253e+00, -5.23606797749978980505e+00> <1, -2.61803398874989490253e+00, 1.61803398874989490253e+00, 5.23606797749978980505e+00> <1, -1.61803398874989490253e+00, -5.23606797749978980505e+00, -2.61803398874989490253e+00> <1, -1.61803398874989490253e+00, -5.23606797749978980505e+00, 2.61803398874989490253e+00> <1, -1.61803398874989490253e+00, 5.23606797749978980505e+00, -2.61803398874989490253e+00> <1, -1.61803398874989490253e+00, 5.23606797749978980505e+00, 2.61803398874989490253e+00> <1, -1, -4.23606797749978980505e+00, -4.23606797749978980505e+00> <1, -1, -4.23606797749978980505e+00, 4.23606797749978980505e+00> <1, -1, 4.23606797749978980505e+00, -4.23606797749978980505e+00> <1, -1, 4.23606797749978980505e+00, 4.23606797749978980505e+00> <1, 1, -4.23606797749978980505e+00, -4.23606797749978980505e+00> <1, 1, -4.23606797749978980505e+00, 4.23606797749978980505e+00> <1, 1, 4.23606797749978980505e+00, -4.23606797749978980505e+00> <1, 1, 4.23606797749978980505e+00, 4.23606797749978980505e+00> <1, 1.61803398874989490253e+00, -5.23606797749978980505e+00, -2.61803398874989490253e+00> <1, 1.61803398874989490253e+00, -5.23606797749978980505e+00, 2.61803398874989490253e+00> <1, 1.61803398874989490253e+00, 5.23606797749978980505e+00, -2.61803398874989490253e+00> <1, 1.61803398874989490253e+00, 5.23606797749978980505e+00, 2.61803398874989490253e+00> <1, 2.61803398874989490253e+00, -1.61803398874989490253e+00, -5.23606797749978980505e+00> <1, 2.61803398874989490253e+00, -1.61803398874989490253e+00, 5.23606797749978980505e+00> <1, 2.61803398874989490253e+00, 1.61803398874989490253e+00, -5.23606797749978980505e+00> <1, 2.61803398874989490253e+00, 1.61803398874989490253e+00, 5.23606797749978980505e+00> <1, 4.23606797749978980505e+00, -4.23606797749978980505e+00, -1> <1, 4.23606797749978980505e+00, -4.23606797749978980505e+00, 1> <1, 4.23606797749978980505e+00, -1, -4.23606797749978980505e+00> <1, 4.23606797749978980505e+00, -1, 4.23606797749978980505e+00> <1, 4.23606797749978980505e+00, 1, -4.23606797749978980505e+00> <1, 4.23606797749978980505e+00, 1, 4.23606797749978980505e+00> <1, 4.23606797749978980505e+00, 4.23606797749978980505e+00, -1> <1, 4.23606797749978980505e+00, 4.23606797749978980505e+00, 1> <1, 5.23606797749978980505e+00, -2.61803398874989490253e+00, -1.61803398874989490253e+00> <1, 5.23606797749978980505e+00, -2.61803398874989490253e+00, 1.61803398874989490253e+00> <1, 5.23606797749978980505e+00, 2.61803398874989490253e+00, -1.61803398874989490253e+00> <1, 5.23606797749978980505e+00, 2.61803398874989490253e+00, 1.61803398874989490253e+00> <1.61803398874989490253e+00, -5.23606797749978980505e+00, -1, -2.61803398874989490253e+00> <1.61803398874989490253e+00, -5.23606797749978980505e+00, -1, 2.61803398874989490253e+00> <1.61803398874989490253e+00, -5.23606797749978980505e+00, 1, -2.61803398874989490253e+00> <1.61803398874989490253e+00, -5.23606797749978980505e+00, 1, 2.61803398874989490253e+00> <1.61803398874989490253e+00, -2.61803398874989490253e+00, -5.23606797749978980505e+00, -1> <1.61803398874989490253e+00, -2.61803398874989490253e+00, -5.23606797749978980505e+00, 1> <1.61803398874989490253e+00, -2.61803398874989490253e+00, 5.23606797749978980505e+00, -1> <1.61803398874989490253e+00, -2.61803398874989490253e+00, 5.23606797749978980505e+00, 1> <1.61803398874989490253e+00, -1, -2.61803398874989490253e+00, -5.23606797749978980505e+00> <1.61803398874989490253e+00, -1, -2.61803398874989490253e+00, 5.23606797749978980505e+00> <1.61803398874989490253e+00, -1, 2.61803398874989490253e+00, -5.23606797749978980505e+00> <1.61803398874989490253e+00, -1, 2.61803398874989490253e+00, 5.23606797749978980505e+00> <1.61803398874989490253e+00, 1, -2.61803398874989490253e+00, -5.23606797749978980505e+00> <1.61803398874989490253e+00, 1, -2.61803398874989490253e+00, 5.23606797749978980505e+00> <1.61803398874989490253e+00, 1, 2.61803398874989490253e+00, -5.23606797749978980505e+00> <1.61803398874989490253e+00, 1, 2.61803398874989490253e+00, 5.23606797749978980505e+00> <1.61803398874989490253e+00, 2.61803398874989490253e+00, -5.23606797749978980505e+00, -1> <1.61803398874989490253e+00, 2.61803398874989490253e+00, -5.23606797749978980505e+00, 1> <1.61803398874989490253e+00, 2.61803398874989490253e+00, 5.23606797749978980505e+00, -1> <1.61803398874989490253e+00, 2.61803398874989490253e+00, 5.23606797749978980505e+00, 1> <1.61803398874989490253e+00, 5.23606797749978980505e+00, -1, -2.61803398874989490253e+00> <1.61803398874989490253e+00, 5.23606797749978980505e+00, -1, 2.61803398874989490253e+00> <1.61803398874989490253e+00, 5.23606797749978980505e+00, 1, -2.61803398874989490253e+00> <1.61803398874989490253e+00, 5.23606797749978980505e+00, 1, 2.61803398874989490253e+00> <2.61803398874989490253e+00, -5.23606797749978980505e+00, -1.61803398874989490253e+00, -1> <2.61803398874989490253e+00, -5.23606797749978980505e+00, -1.61803398874989490253e+00, 1> <2.61803398874989490253e+00, -5.23606797749978980505e+00, 1.61803398874989490253e+00, -1> <2.61803398874989490253e+00, -5.23606797749978980505e+00, 1.61803398874989490253e+00, 1> <2.61803398874989490253e+00, -4.23606797749978980505e+00, 0, -3.61803398874989490253e+00> <2.61803398874989490253e+00, -4.23606797749978980505e+00, 0, 3.61803398874989490253e+00> <2.61803398874989490253e+00, -3.61803398874989490253e+00, -4.23606797749978980505e+00, 0> <2.61803398874989490253e+00, -3.61803398874989490253e+00, 4.23606797749978980505e+00, 0> <2.61803398874989490253e+00, -1.61803398874989490253e+00, -1, -5.23606797749978980505e+00> <2.61803398874989490253e+00, -1.61803398874989490253e+00, -1, 5.23606797749978980505e+00> <2.61803398874989490253e+00, -1.61803398874989490253e+00, 1, -5.23606797749978980505e+00> <2.61803398874989490253e+00, -1.61803398874989490253e+00, 1, 5.23606797749978980505e+00> <2.61803398874989490253e+00, -1, -5.23606797749978980505e+00, -1.61803398874989490253e+00> <2.61803398874989490253e+00, -1, -5.23606797749978980505e+00, 1.61803398874989490253e+00> <2.61803398874989490253e+00, -1, 5.23606797749978980505e+00, -1.61803398874989490253e+00> <2.61803398874989490253e+00, -1, 5.23606797749978980505e+00, 1.61803398874989490253e+00> <2.61803398874989490253e+00, 0, -3.61803398874989490253e+00, -4.23606797749978980505e+00> <2.61803398874989490253e+00, 0, -3.61803398874989490253e+00, 4.23606797749978980505e+00> <2.61803398874989490253e+00, 0, 3.61803398874989490253e+00, -4.23606797749978980505e+00> <2.61803398874989490253e+00, 0, 3.61803398874989490253e+00, 4.23606797749978980505e+00> <2.61803398874989490253e+00, 1, -5.23606797749978980505e+00, -1.61803398874989490253e+00> <2.61803398874989490253e+00, 1, -5.23606797749978980505e+00, 1.61803398874989490253e+00> <2.61803398874989490253e+00, 1, 5.23606797749978980505e+00, -1.61803398874989490253e+00> <2.61803398874989490253e+00, 1, 5.23606797749978980505e+00, 1.61803398874989490253e+00> <2.61803398874989490253e+00, 1.61803398874989490253e+00, -1, -5.23606797749978980505e+00> <2.61803398874989490253e+00, 1.61803398874989490253e+00, -1, 5.23606797749978980505e+00> <2.61803398874989490253e+00, 1.61803398874989490253e+00, 1, -5.23606797749978980505e+00> <2.61803398874989490253e+00, 1.61803398874989490253e+00, 1, 5.23606797749978980505e+00> <2.61803398874989490253e+00, 3.61803398874989490253e+00, -4.23606797749978980505e+00, 0> <2.61803398874989490253e+00, 3.61803398874989490253e+00, 4.23606797749978980505e+00, 0> <2.61803398874989490253e+00, 4.23606797749978980505e+00, 0, -3.61803398874989490253e+00> <2.61803398874989490253e+00, 4.23606797749978980505e+00, 0, 3.61803398874989490253e+00> <2.61803398874989490253e+00, 5.23606797749978980505e+00, -1.61803398874989490253e+00, -1> <2.61803398874989490253e+00, 5.23606797749978980505e+00, -1.61803398874989490253e+00, 1> <2.61803398874989490253e+00, 5.23606797749978980505e+00, 1.61803398874989490253e+00, -1> <2.61803398874989490253e+00, 5.23606797749978980505e+00, 1.61803398874989490253e+00, 1> <3.23606797749978980505e+00, -5.23606797749978980505e+00, 0, 0> <3.23606797749978980505e+00, 0, -5.23606797749978980505e+00, 0> <3.23606797749978980505e+00, 0, 0, -5.23606797749978980505e+00> <3.23606797749978980505e+00, 0, 0, 5.23606797749978980505e+00> <3.23606797749978980505e+00, 0, 5.23606797749978980505e+00, 0> <3.23606797749978980505e+00, 5.23606797749978980505e+00, 0, 0> <3.61803398874989490253e+00, -4.23606797749978980505e+00, -2.61803398874989490253e+00, 0> <3.61803398874989490253e+00, -4.23606797749978980505e+00, 2.61803398874989490253e+00, 0> <3.61803398874989490253e+00, -2.61803398874989490253e+00, 0, -4.23606797749978980505e+00> <3.61803398874989490253e+00, -2.61803398874989490253e+00, 0, 4.23606797749978980505e+00> <3.61803398874989490253e+00, 0, -4.23606797749978980505e+00, -2.61803398874989490253e+00> <3.61803398874989490253e+00, 0, -4.23606797749978980505e+00, 2.61803398874989490253e+00> <3.61803398874989490253e+00, 0, 4.23606797749978980505e+00, -2.61803398874989490253e+00> <3.61803398874989490253e+00, 0, 4.23606797749978980505e+00, 2.61803398874989490253e+00> <3.61803398874989490253e+00, 2.61803398874989490253e+00, 0, -4.23606797749978980505e+00> <3.61803398874989490253e+00, 2.61803398874989490253e+00, 0, 4.23606797749978980505e+00> <3.61803398874989490253e+00, 4.23606797749978980505e+00, -2.61803398874989490253e+00, 0> <3.61803398874989490253e+00, 4.23606797749978980505e+00, 2.61803398874989490253e+00, 0> <4.23606797749978980505e+00, -4.23606797749978980505e+00, -1, -1> <4.23606797749978980505e+00, -4.23606797749978980505e+00, -1, 1> <4.23606797749978980505e+00, -4.23606797749978980505e+00, 1, -1> <4.23606797749978980505e+00, -4.23606797749978980505e+00, 1, 1> <4.23606797749978980505e+00, -3.61803398874989490253e+00, 0, -2.61803398874989490253e+00> <4.23606797749978980505e+00, -3.61803398874989490253e+00, 0, 2.61803398874989490253e+00> <4.23606797749978980505e+00, -2.61803398874989490253e+00, -3.61803398874989490253e+00, 0> <4.23606797749978980505e+00, -2.61803398874989490253e+00, 3.61803398874989490253e+00, 0> <4.23606797749978980505e+00, -1, -4.23606797749978980505e+00, -1> <4.23606797749978980505e+00, -1, -4.23606797749978980505e+00, 1> <4.23606797749978980505e+00, -1, -1, -4.23606797749978980505e+00> <4.23606797749978980505e+00, -1, -1, 4.23606797749978980505e+00> <4.23606797749978980505e+00, -1, 1, -4.23606797749978980505e+00> <4.23606797749978980505e+00, -1, 1, 4.23606797749978980505e+00> <4.23606797749978980505e+00, -1, 4.23606797749978980505e+00, -1> <4.23606797749978980505e+00, -1, 4.23606797749978980505e+00, 1> <4.23606797749978980505e+00, 0, -2.61803398874989490253e+00, -3.61803398874989490253e+00> <4.23606797749978980505e+00, 0, -2.61803398874989490253e+00, 3.61803398874989490253e+00> <4.23606797749978980505e+00, 0, 2.61803398874989490253e+00, -3.61803398874989490253e+00> <4.23606797749978980505e+00, 0, 2.61803398874989490253e+00, 3.61803398874989490253e+00> <4.23606797749978980505e+00, 1, -4.23606797749978980505e+00, -1> <4.23606797749978980505e+00, 1, -4.23606797749978980505e+00, 1> <4.23606797749978980505e+00, 1, -1, -4.23606797749978980505e+00> <4.23606797749978980505e+00, 1, -1, 4.23606797749978980505e+00> <4.23606797749978980505e+00, 1, 1, -4.23606797749978980505e+00> <4.23606797749978980505e+00, 1, 1, 4.23606797749978980505e+00> <4.23606797749978980505e+00, 1, 4.23606797749978980505e+00, -1> <4.23606797749978980505e+00, 1, 4.23606797749978980505e+00, 1> <4.23606797749978980505e+00, 2.61803398874989490253e+00, -3.61803398874989490253e+00, 0> <4.23606797749978980505e+00, 2.61803398874989490253e+00, 3.61803398874989490253e+00, 0> <4.23606797749978980505e+00, 3.61803398874989490253e+00, 0, -2.61803398874989490253e+00> <4.23606797749978980505e+00, 3.61803398874989490253e+00, 0, 2.61803398874989490253e+00> <4.23606797749978980505e+00, 4.23606797749978980505e+00, -1, -1> <4.23606797749978980505e+00, 4.23606797749978980505e+00, -1, 1> <4.23606797749978980505e+00, 4.23606797749978980505e+00, 1, -1> <4.23606797749978980505e+00, 4.23606797749978980505e+00, 1, 1> <5.23606797749978980505e+00, -3.23606797749978980505e+00, 0, 0> <5.23606797749978980505e+00, -2.61803398874989490253e+00, -1, -1.61803398874989490253e+00> <5.23606797749978980505e+00, -2.61803398874989490253e+00, -1, 1.61803398874989490253e+00> <5.23606797749978980505e+00, -2.61803398874989490253e+00, 1, -1.61803398874989490253e+00> <5.23606797749978980505e+00, -2.61803398874989490253e+00, 1, 1.61803398874989490253e+00> <5.23606797749978980505e+00, -1.61803398874989490253e+00, -2.61803398874989490253e+00, -1> <5.23606797749978980505e+00, -1.61803398874989490253e+00, -2.61803398874989490253e+00, 1> <5.23606797749978980505e+00, -1.61803398874989490253e+00, 2.61803398874989490253e+00, -1> <5.23606797749978980505e+00, -1.61803398874989490253e+00, 2.61803398874989490253e+00, 1> <5.23606797749978980505e+00, -1, -1.61803398874989490253e+00, -2.61803398874989490253e+00> <5.23606797749978980505e+00, -1, -1.61803398874989490253e+00, 2.61803398874989490253e+00> <5.23606797749978980505e+00, -1, 1.61803398874989490253e+00, -2.61803398874989490253e+00> <5.23606797749978980505e+00, -1, 1.61803398874989490253e+00, 2.61803398874989490253e+00> <5.23606797749978980505e+00, 0, -3.23606797749978980505e+00, 0> <5.23606797749978980505e+00, 0, 0, -3.23606797749978980505e+00> <5.23606797749978980505e+00, 0, 0, 3.23606797749978980505e+00> <5.23606797749978980505e+00, 0, 3.23606797749978980505e+00, 0> <5.23606797749978980505e+00, 1, -1.61803398874989490253e+00, -2.61803398874989490253e+00> <5.23606797749978980505e+00, 1, -1.61803398874989490253e+00, 2.61803398874989490253e+00> <5.23606797749978980505e+00, 1, 1.61803398874989490253e+00, -2.61803398874989490253e+00> <5.23606797749978980505e+00, 1, 1.61803398874989490253e+00, 2.61803398874989490253e+00> <5.23606797749978980505e+00, 1.61803398874989490253e+00, -2.61803398874989490253e+00, -1> <5.23606797749978980505e+00, 1.61803398874989490253e+00, -2.61803398874989490253e+00, 1> <5.23606797749978980505e+00, 1.61803398874989490253e+00, 2.61803398874989490253e+00, -1> <5.23606797749978980505e+00, 1.61803398874989490253e+00, 2.61803398874989490253e+00, 1> <5.23606797749978980505e+00, 2.61803398874989490253e+00, -1, -1.61803398874989490253e+00> <5.23606797749978980505e+00, 2.61803398874989490253e+00, -1, 1.61803398874989490253e+00> <5.23606797749978980505e+00, 2.61803398874989490253e+00, 1, -1.61803398874989490253e+00> <5.23606797749978980505e+00, 2.61803398874989490253e+00, 1, 1.61803398874989490253e+00> <5.23606797749978980505e+00, 3.23606797749978980505e+00, 0, 0> } lattice { 1, { 0,1 } 2, { 0,1,3 } 3, { 0,1,3,30,32,34 }, <-3.61803398874989534661e+00,-2.61803398874989534661e+00,8.98189294468107414530e-17,-1,-2.74164078649987423830e+01> 2, { 0,1,2,5,6 } 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 }, <-1,-0,-0,-0,-5.23606797749978980505e+00> 3, { 0,1,2,5,6,30,31,36,66 }, <-2.61803398874989490253e+00,-1.61803398874989468048e+00,-1,-0,-1.89442719099991592202e+01> 2, { 0,1,30 } 1, { 0,2 } 2, { 0,2,4 } 3, { 0,2,4,31,33,35 }, <-3.61803398874988957346e+00,-2.61803398874989179390e+00,-1.33226762955018725686e-15,1,-2.74164078649987033032e+01> 2, { 0,2,31 } 1, { 0,3 } 2, { 0,3,4,7,8 } 3, { 0,3,4,7,8,32,33,37,67 }, <-2.61803398874989667888e+00,-1.61803398874989534661e+00,1,-6.78507936502557695899e-16,-1.89442719099991698783e+01> 2, { 0,3,32 } 1, { 0,4 } 2, { 0,4,33 } 1, { 0,30 } 2, { 0,30,31 } 3, { 0,30,31,32,33,78 }, <-1,-1,-1.69626984125639202108e-16,-2.09670483197567955522e-16,-8.47213595499957961010e+00> 2, { 0,30,32 } 1, { 0,31 } 2, { 0,31,33 } 1, { 0,32 } 2, { 0,32,33 } 1, { 0,33 } 1, { 1,3 } 2, { 1,3,9,11,14 } 3, { 1,3,9,11,14,34,40,42,68 }, <-2.61803398874989445844e+00,-1,1.45330080678067779613e-16,-1.61803398874988646483e+00,-1.89442719099991343512e+01> 2, { 1,3,34 } 1, { 1,5 } 2, { 1,5,9 } 3, { 1,5,9,30,34,36,38,40,46,66,68,70,84,88,90,92,96,100,120,124,128,144,148,150,156,160,164,196,200,208 }, <-1,-9.99999999999996669331e-01,-9.99999999999993560706e-01,-9.99999999999990785149e-01,-1.04721359549995405303e+01> 2, { 1,5,30,36,66 } 1, { 1,9 } 2, { 1,9,34,40,68 } 1, { 1,30 } 2, { 1,30,34 } 1, { 1,34 } 1, { 2,4 } 2, { 2,4,10,12,15 } 3, { 2,4,10,12,15,35,41,43,69 }, <-2.61803398874989268208e+00,-1,-2.15565430672345306171e-15,1.61803398874989179390e+00,-1.89442719099991414566e+01> 2, { 2,4,35 } 1, { 2,6 } 2, { 2,6,10 } 3, { 2,6,10,31,35,36,39,41,47,66,69,71,85,89,90,93,97,101,121,125,129,145,149,151,157,161,165,197,201,209 }, <-1,-9.99999999999996225242e-01,-9.99999999999994448885e-01,9.99999999999995115019e-01,-1.04721359549995547411e+01> 2, { 2,6,31,36,66 } 1, { 2,10 } 2, { 2,10,35,41,69 } 1, { 2,31 } 2, { 2,31,35 } 1, { 2,35 } 1, { 3,7 } 2, { 3,7,11 } 3, { 3,7,11,32,34,37,42,44,48,67,68,72,86,88,91,94,98,102,122,126,130,146,152,154,158,162,166,198,202,210 }, <-1,-9.99999999999984456878e-01,9.99999999999980460075e-01,-9.99999999999977351450e-01,-1.04721359549994712523e+01> 2, { 3,7,32,37,67 } 1, { 3,11 } 2, { 3,11,34,42,68 } 1, { 3,32 } 2, { 3,32,34 } 1, { 3,34 } 1, { 4,8 } 2, { 4,8,12 } 3, { 4,8,12,33,35,37,43,45,49,67,69,73,87,89,91,95,99,103,123,127,131,147,153,155,159,163,167,199,203,211 }, <-1,-9.99999999999997779554e-01,9.99999999999993782751e-01,9.99999999999998223643e-01,-1.04721359549995636229e+01> 2, { 4,8,33,37,67 } 1, { 4,12 } 2, { 4,12,35,43,69 } 1, { 4,33 } 2, { 4,33,35 } 1, { 4,35 } 1, { 5,6 } 2, { 5,6,13 } 3, { 5,6,13,36,38,39 }, <-3.61803398874989179390e+00,-1,-2.61803398874988069167e+00,-1.09784890289768714814e-15,-2.74164078649986748815e+01> 2, { 5,6,36 } 1, { 5,9 } 2, { 5,9,13,17,21 } 3, { 5,9,13,17,21,38,46,50,70 }, <-2.61803398874991266609e+00,-1.07040268032526694415e-14,-1.61803398874990067569e+00,-1,-1.89442719099992693543e+01> 2, { 5,9,38,46,70 } 1, { 5,13 } 2, { 5,13,38 } 1, { 5,36 } 2, { 5,36,38 } 1, { 5,38 } 1, { 6,10 } 2, { 6,10,13,18,22 } 3, { 6,10,13,18,22,39,47,51,71 }, <-2.61803398874990556067e+00,-5.62647562735069966049e-15,-1.61803398874989934342e+00,1,-1.89442719099992267218e+01> 2, { 6,10,39,47,71 } 1, { 6,13 } 2, { 6,13,39 } 1, { 6,36 } 2, { 6,36,39 } 1, { 6,39 } 1, { 7,8 } 2, { 7,8,16 } 3, { 7,8,16,37,44,45 }, <-3.61803398874989934342e+00,-1,2.61803398874989667888e+00,-2.87420574229795122067e-15,-2.74164078649987636993e+01> 2, { 7,8,37 } 1, { 7,11 } 2, { 7,11,16,19,23 } 3, { 7,11,16,19,23,44,48,56,72 }, <-2.61803398874990023160e+00,-7.13601786883498253598e-15,1.61803398874989778911e+00,-1,-1.89442719099992018528e+01> 2, { 7,11,44,48,72 } 1, { 7,16 } 2, { 7,16,44 } 1, { 7,37 } 2, { 7,37,44 } 1, { 7,44 } 1, { 8,12 } 2, { 8,12,16,20,24 } 3, { 8,12,16,20,24,45,49,57,73 }, <-2.61803398874989756706e+00,3.56800893441751256724e-15,1.61803398874989556866e+00,1,-1.89442719099991698783e+01> 2, { 8,12,45,49,73 } 1, { 8,16 } 2, { 8,16,45 } 1, { 8,37 } 2, { 8,37,45 } 1, { 8,45 } 1, { 9,14 } 2, { 9,14,17 } 3, { 9,14,17,40,46,52 }, <-3.61803398874987935940e+00,-4.11693338586637980713e-16,-1,-2.61803398874988779710e+00,-2.74164078649986429070e+01> 2, { 9,14,40 } 1, { 9,17 } 2, { 9,17,46 } 1, { 9,40 } 2, { 9,40,46 } 1, { 9,46 } 1, { 10,15 } 2, { 10,15,18 } 3, { 10,15,18,41,47,53 }, <-3.61803398874986248401e+00,8.99280649946381846453e-15,-1,2.61803398874988468847e+00,-2.74164078649985505365e+01> 2, { 10,15,41 } 1, { 10,18 } 2, { 10,18,47 } 1, { 10,41 } 2, { 10,41,47 } 1, { 10,47 } 1, { 11,14 } 2, { 11,14,19 } 3, { 11,14,19,42,48,54 }, <-3.61803398874987891531e+00,-3.15631559583087128317e-15,1,-2.61803398874988069167e+00,-2.74164078649986144853e+01> 2, { 11,14,42 } 1, { 11,19 } 2, { 11,19,48 } 1, { 11,42 } 2, { 11,42,48 } 1, { 11,48 } 1, { 12,15 } 2, { 12,15,20 } 3, { 12,15,20,43,49,55 }, <-3.61803398874984516453e+00,1.09912079437890229289e-14,1,2.61803398874987358624e+00,-2.74164078649984261915e+01> 2, { 12,15,43 } 1, { 12,20 } 2, { 12,20,49 } 1, { 12,43 } 2, { 12,43,49 } 1, { 12,49 } 1, { 13,21 } 2, { 13,21,22 } 3, { 13,21,22,50,51,58 }, <-3.61803398874991000156e+00,1,-2.61803398874991399836e+00,4.11693338586633001029e-15,-2.74164078649988809389e+01> 2, { 13,21,50 } 1, { 13,22 } 2, { 13,22,51 } 1, { 13,38 } 2, { 13,38,39 } 3, { 13,38,39,50,51,79 }, <-1,9.96558531738128032082e-16,-9.99999999999999333866e-01,5.76593828793310897772e-16,-8.47213595499957605739e+00> 2, { 13,38,50 } 1, { 13,39 } 2, { 13,39,51 } 1, { 13,50 } 2, { 13,50,51 } 1, { 13,51 } 1, { 14,17 } 2, { 14,17,19,25,27 } 3, { 14,17,19,25,27,52,54,60,74 }, <-2.61803398874989312617e+00,1,3.68229716385421702333e-16,-1.61803398874989468048e+00,-1.89442719099991521148e+01> 2, { 14,17,52 } 1, { 14,19 } 2, { 14,19,54 } 1, { 14,40 } 2, { 14,40,42 } 3, { 14,40,42,52,54,80 }, <-1,1.52664285713074207074e-15,1.58698704920368121987e-16,-1.00000000000000044409e+00,-8.47213595499958316282e+00> 2, { 14,40,52 } 1, { 14,42 } 2, { 14,42,54 } 1, { 14,52 } 2, { 14,52,54 } 1, { 14,54 } 1, { 15,18 } 2, { 15,18,20,26,28 } 3, { 15,18,20,26,28,53,55,61,75 }, <-2.61803398874984116773e+00,1,1.35017562674653447471e-15,1.61803398874987136580e+00,-1.89442719099988323705e+01> 2, { 15,18,53 } 1, { 15,20 } 2, { 15,20,55 } 1, { 15,41 } 2, { 15,41,43 } 3, { 15,41,43,53,55,81 }, <-1,6.36101190471104483371e-16,-2.48906600719570870309e-16,1.00000000000000932587e+00,-8.47213595499961868995e+00> 2, { 15,41,53 } 1, { 15,43 } 2, { 15,43,55 } 1, { 15,53 } 2, { 15,53,55 } 1, { 15,55 } 1, { 16,23 } 2, { 16,23,24 } 3, { 16,23,24,56,57,59 }, <-3.61803398874988779710e+00,1,2.61803398874989357026e+00,1.07040268032524895812e-14,-2.74164078649986926450e+01> 2, { 16,23,56 } 1, { 16,24 } 2, { 16,24,57 } 1, { 16,44 } 2, { 16,44,45 } 3, { 16,44,45,56,57,82 }, <-1,-4.45270833329803756023e-16,1.00000000000000022204e+00,1.49536275972743258460e-15,-8.47213595499957783375e+00> 2, { 16,44,56 } 1, { 16,45 } 2, { 16,45,57 } 1, { 16,56 } 2, { 16,56,57 } 1, { 16,57 } 1, { 17,21 } 2, { 17,21,25 } 3, { 17,21,25,46,50,52,58,60,62,70,74,76,100,104,108,112,114,116,132,136,140,168,172,176,180,182,188,220,228,232 }, <-1,1.00000000000003019807e+00,-1.00000000000002153833e+00,-1.00000000000002331468e+00,-1.04721359549997199423e+01> 2, { 17,21,46,50,70 } 1, { 17,25 } 2, { 17,25,52,60,74 } 1, { 17,46 } 2, { 17,46,52 } 1, { 17,52 } 1, { 18,22 } 2, { 18,22,26 } 3, { 18,22,26,47,51,53,58,61,63,71,75,76,101,105,109,112,115,117,133,137,141,169,173,177,181,183,189,221,229,233 }, <-1,1.00000000000002398082e+00,-1.00000000000002042810e+00,1.00000000000002087219e+00,-1.04721359549997075078e+01> 2, { 18,22,47,51,71 } 1, { 18,26 } 2, { 18,26,53,61,75 } 1, { 18,47 } 2, { 18,47,53 } 1, { 18,53 } 1, { 19,23 } 2, { 19,23,27 } 3, { 19,23,27,48,54,56,59,60,64,72,74,77,102,106,110,113,114,118,134,138,142,170,174,178,184,186,190,222,230,234 }, <-1,1.00000000000000621725e+00,1.00000000000000666134e+00,-1.00000000000000377476e+00,-1.04721359549996115845e+01> 2, { 19,23,48,56,72 } 1, { 19,27 } 2, { 19,27,54,60,74 } 1, { 19,48 } 2, { 19,48,54 } 1, { 19,54 } 1, { 20,24 } 2, { 20,24,28 } 3, { 20,24,28,49,55,57,59,61,65,73,75,77,103,107,111,113,115,119,135,139,143,171,175,179,185,187,191,223,231,235 }, <-1,9.99999999999985345056e-01,9.99999999999994670929e-01,9.99999999999988009591e-01,-1.04721359549995209903e+01> 2, { 20,24,49,57,73 } 1, { 20,28 } 2, { 20,28,55,61,75 } 1, { 20,49 } 2, { 20,49,55 } 1, { 20,55 } 1, { 21,22 } 2, { 21,22,25,26,29 } 3, { 21,22,25,26,29,58,62,63,76 }, <-2.61803398874990200795e+00,1.61803398874989290412e+00,-1,2.09105316112614129519e-15,-1.89442719099991840892e+01> 2, { 21,22,58 } 1, { 21,25 } 2, { 21,25,58,62,76 } 1, { 21,50 } 2, { 21,50,58 } 1, { 21,58 } 1, { 22,26 } 2, { 22,26,58,63,76 } 1, { 22,51 } 2, { 22,51,58 } 1, { 22,58 } 1, { 23,24 } 2, { 23,24,27,28,29 } 3, { 23,24,27,28,29,59,64,65,77 }, <-2.61803398874988868528e+00,1.61803398874989667888e+00,1,4.60709895949697382058e-15,-1.89442719099991379039e+01> 2, { 23,24,59 } 1, { 23,27 } 2, { 23,27,59,64,77 } 1, { 23,56 } 2, { 23,56,59 } 1, { 23,59 } 1, { 24,28 } 2, { 24,28,59,65,77 } 1, { 24,57 } 2, { 24,57,59 } 1, { 24,59 } 1, { 25,27 } 2, { 25,27,29 } 3, { 25,27,29,60,62,64 }, <-3.61803398874990822520e+00,2.61803398874990023160e+00,-8.32590170391328015559e-16,-1,-2.74164078649988134373e+01> 2, { 25,27,60 } 1, { 25,29 } 2, { 25,29,62 } 1, { 25,60 } 2, { 25,60,62 } 1, { 25,62 } 1, { 26,28 } 2, { 26,28,29 } 3, { 26,28,29,61,63,65 }, <-3.61803398874987180989e+00,2.61803398874986603673e+00,-2.25714222674172700309e-16,1,-2.74164078649985363256e+01> 2, { 26,28,61 } 1, { 26,29 } 2, { 26,29,63 } 1, { 26,61 } 2, { 26,61,63 } 1, { 26,63 } 1, { 27,29 } 2, { 27,29,64 } 1, { 27,60 } 2, { 27,60,64 } 1, { 27,64 } 1, { 28,29 } 2, { 28,29,65 } 1, { 28,61 } 2, { 28,61,65 } 1, { 28,65 } 1, { 29,62 } 2, { 29,62,63 } 3, { 29,62,63,64,65,83 }, <-1,9.99999999999999000799e-01,-2.48253415324726079174e-16,-2.93039687236859748709e-16,-8.47213595499957605739e+00> 2, { 29,62,64 } 1, { 29,63 } 2, { 29,63,65 } 1, { 29,64 } 2, { 29,64,65 } 1, { 29,65 } 1, { 30,31 } 2, { 30,31,66 } 3, { 30,31,66,78,84,85 }, <-2.61803398874990511658e+00,-3.61803398874990111977e+00,-1,1.55483903143210189853e-16,-2.74164078649988063319e+01> 2, { 30,31,78 } 1, { 30,32 } 2, { 30,32,34 } 3, { 30,32,34,78,84,86,88,120,122 }, <-1.61803398874989978751e+00,-2.61803398874989801115e+00,-3.17490970323188326391e-15,-1,-1.89442719099991911946e+01> 2, { 30,32,78 } 1, { 30,34 } 2, { 30,34,84,88,120 } 1, { 30,66 } 2, { 30,66,84 } 1, { 30,78 } 2, { 30,78,84 } 1, { 30,84 } 1, { 31,33 } 2, { 31,33,35 } 3, { 31,33,35,78,85,87,89,121,123 }, <-1.61803398874989512457e+00,-2.61803398874989179390e+00,-4.59699626222887228893e-15,1,-1.89442719099991414566e+01> 2, { 31,33,78 } 1, { 31,35 } 2, { 31,35,85,89,121 } 1, { 31,66 } 2, { 31,66,85 } 1, { 31,78 } 2, { 31,78,85 } 1, { 31,85 } 1, { 32,33 } 2, { 32,33,67 } 3, { 32,33,67,78,86,87 }, <-2.61803398874992554468e+00,-3.61803398874992909739e+00,1,-5.23024033359348713989e-16,-2.74164078649990194947e+01> 2, { 32,33,78 } 1, { 32,34 } 2, { 32,34,86,88,122 } 1, { 32,67 } 2, { 32,67,86 } 1, { 32,78 } 2, { 32,78,86 } 1, { 32,86 } 1, { 33,35 } 2, { 33,35,87,89,123 } 1, { 33,67 } 2, { 33,67,87 } 1, { 33,78 } 2, { 33,78,87 } 1, { 33,87 } 1, { 34,68 } 2, { 34,68,88 } 1, { 34,88 } 1, { 35,69 } 2, { 35,69,89 } 1, { 35,89 } 1, { 36,38 } 2, { 36,38,39 } 3, { 36,38,39,79,90,96,97,124,125 }, <-1.61803398874988557665e+00,-1,-2.61803398874988113576e+00,-5.23024033359334415886e-16,-1.89442719099990561915e+01> 2, { 36,38,90,96,124 } 1, { 36,39 } 2, { 36,39,90,97,125 } 1, { 36,66 } 2, { 36,66,90 } 1, { 36,90 } 1, { 37,44 } 2, { 37,44,45 } 3, { 37,44,45,82,91,98,99,126,127 }, <-1.61803398874987625078e+00,-1,2.61803398874989046163e+00,-2.29938087275959217753e-15,-1.89442719099990775078e+01> 2, { 37,44,91,98,126 } 1, { 37,45 } 2, { 37,45,91,99,127 } 1, { 37,67 } 2, { 37,67,91 } 1, { 37,91 } 1, { 38,39 } 2, { 38,39,79 } 1, { 38,50 } 2, { 38,50,70 } 3, { 38,50,70,79,96,104 }, <-2.61803398874993398238e+00,-9.82113276440156834001e-15,-3.61803398874993220602e+00,-1,-2.74164078649990585745e+01> 2, { 38,50,79 } 1, { 38,70 } 2, { 38,70,96 } 1, { 38,79 } 2, { 38,79,96 } 1, { 38,96 } 1, { 39,51 } 2, { 39,51,71 } 3, { 39,51,71,79,97,105 }, <-2.61803398874991755108e+00,-4.74358158849957883750e-15,-3.61803398874990378431e+00,1,-2.74164078649988560699e+01> 2, { 39,51,79 } 1, { 39,71 } 2, { 39,71,97 } 1, { 39,79 } 2, { 39,79,97 } 1, { 39,97 } 1, { 40,42 } 2, { 40,42,68 } 3, { 40,42,68,80,92,94 }, <-2.61803398874987891531e+00,-1,-2.80200114215994806166e-15,-3.61803398874990422840e+00,-2.74164078649987352776e+01> 2, { 40,42,80 } 1, { 40,46 } 2, { 40,46,52 } 3, { 40,46,52,80,92,100,108,128,132 }, <-1.61803398874987713896e+00,-1.52191636321178737209e-15,-1,-2.61803398874987891531e+00,-1.89442719099990206644e+01> 2, { 40,46,92,100,128 } 1, { 40,52 } 2, { 40,52,80 } 1, { 40,68 } 2, { 40,68,92 } 1, { 40,80 } 2, { 40,80,92 } 1, { 40,92 } 1, { 41,43 } 2, { 41,43,69 } 3, { 41,43,69,81,93,95 }, <-2.61803398874989223799e+00,-1,-5.91819614084127017085e-15,3.61803398874989756706e+00,-2.74164078649987423830e+01> 2, { 41,43,81 } 1, { 41,47 } 2, { 41,47,53 } 3, { 41,47,53,81,93,101,109,129,133 }, <-1.61803398874988979550e+00,7.88258347483865403550e-15,-1,2.61803398874987669487e+00,-1.89442719099990455334e+01> 2, { 41,47,93,101,129 } 1, { 41,53 } 2, { 41,53,81 } 1, { 41,69 } 2, { 41,69,93 } 1, { 41,81 } 2, { 41,81,93 } 1, { 41,93 } 1, { 42,48 } 2, { 42,48,54 } 3, { 42,48,54,80,94,102,110,130,134 }, <-1.61803398874987935940e+00,-4.26653862045604399524e-15,1,-2.61803398874988868528e+00,-1.89442719099990775078e+01> 2, { 42,48,94,102,130 } 1, { 42,54 } 2, { 42,54,80 } 1, { 42,68 } 2, { 42,68,94 } 1, { 42,80 } 2, { 42,80,94 } 1, { 42,94 } 1, { 43,49 } 2, { 43,49,55 } 3, { 43,49,55,81,95,103,111,131,135 }, <-1.61803398874989246004e+00,9.88098491916392160876e-15,1,2.61803398874988291212e+00,-1.89442719099990881659e+01> 2, { 43,49,95,103,131 } 1, { 43,55 } 2, { 43,55,81 } 1, { 43,69 } 2, { 43,69,95 } 1, { 43,81 } 2, { 43,81,95 } 1, { 43,95 } 1, { 44,45 } 2, { 44,45,82 } 1, { 44,56 } 2, { 44,56,72 } 3, { 44,56,72,82,98,106 }, <-2.61803398874987980349e+00,-9.13678256011978662314e-15,3.61803398874989845524e+00,-1,-2.74164078649987068559e+01> 2, { 44,56,82 } 1, { 44,72 } 2, { 44,72,98 } 1, { 44,82 } 2, { 44,82,98 } 1, { 44,98 } 1, { 45,57 } 2, { 45,57,73 } 3, { 45,57,73,82,99,107 }, <-2.61803398874985848721e+00,1.56724424313274693704e-15,3.61803398874985937539e+00,1,-2.74164078649984368496e+01> 2, { 45,57,82 } 1, { 45,73 } 2, { 45,73,99 } 1, { 45,82 } 2, { 45,82,99 } 1, { 45,99 } 1, { 46,52 } 2, { 46,52,100,108,132 } 1, { 46,70 } 2, { 46,70,100 } 1, { 46,100 } 1, { 47,53 } 2, { 47,53,101,109,133 } 1, { 47,71 } 2, { 47,71,101 } 1, { 47,101 } 1, { 48,54 } 2, { 48,54,102,110,134 } 1, { 48,72 } 2, { 48,72,102 } 1, { 48,102 } 1, { 49,55 } 2, { 49,55,103,111,135 } 1, { 49,73 } 2, { 49,73,103 } 1, { 49,103 } 1, { 50,51 } 2, { 50,51,58 } 3, { 50,51,58,79,104,105,112,136,137 }, <-1.61803398874993376033e+00,1,-2.61803398874992021561e+00,4.69175825540467919267e-15,-1.89442719099994185683e+01> 2, { 50,51,79 } 1, { 50,58 } 2, { 50,58,104,112,136 } 1, { 50,70 } 2, { 50,70,104 } 1, { 50,79 } 2, { 50,79,104 } 1, { 50,104 } 1, { 51,58 } 2, { 51,58,105,112,137 } 1, { 51,71 } 2, { 51,71,105 } 1, { 51,79 } 2, { 51,79,105 } 1, { 51,105 } 1, { 52,54 } 2, { 52,54,74 } 3, { 52,54,74,80,108,110 }, <-2.61803398874986736899e+00,1,-2.57910150645255183627e-15,-3.61803398874987669487e+00,-2.74164078649985505365e+01> 2, { 52,54,80 } 1, { 52,74 } 2, { 52,74,108 } 1, { 52,80 } 2, { 52,80,108 } 1, { 52,108 } 1, { 53,55 } 2, { 53,55,75 } 3, { 53,55,75,81,109,111 }, <-2.61803398874983983546e+00,1,-2.41236620737121459517e-15,3.61803398874984027955e+00,-2.74164078649982734248e+01> 2, { 53,55,81 } 1, { 53,75 } 2, { 53,75,109 } 1, { 53,81 } 2, { 53,81,109 } 1, { 53,109 } 1, { 54,74 } 2, { 54,74,110 } 1, { 54,80 } 2, { 54,80,110 } 1, { 54,110 } 1, { 55,75 } 2, { 55,75,111 } 1, { 55,81 } 2, { 55,81,111 } 1, { 55,111 } 1, { 56,57 } 2, { 56,57,59 } 3, { 56,57,59,82,106,107,113,138,139 }, <-1.61803398874988579870e+00,1,2.61803398874989268208e+00,1.12788516727908545408e-14,-1.89442719099991201404e+01> 2, { 56,57,82 } 1, { 56,59 } 2, { 56,59,106,113,138 } 1, { 56,72 } 2, { 56,72,106 } 1, { 56,82 } 2, { 56,82,106 } 1, { 56,106 } 1, { 57,59 } 2, { 57,59,107,113,139 } 1, { 57,73 } 2, { 57,73,107 } 1, { 57,82 } 2, { 57,82,107 } 1, { 57,107 } 1, { 58,76 } 2, { 58,76,112 } 1, { 58,112 } 1, { 59,77 } 2, { 59,77,113 } 1, { 59,113 } 1, { 60,62 } 2, { 60,62,64 } 3, { 60,62,64,83,114,116,118,140,142 }, <-1.61803398874989534661e+00,2.61803398874990067569e+00,-4.09731880307005051852e-15,-1,-1.89442719099991911946e+01> 2, { 60,62,114,116,140 } 1, { 60,64 } 2, { 60,64,114,118,142 } 1, { 60,74 } 2, { 60,74,114 } 1, { 60,114 } 1, { 61,63 } 2, { 61,63,65 } 3, { 61,63,65,83,115,117,119,141,143 }, <-1.61803398874984250000e+00,2.61803398874986337219e+00,-3.49044285535291571366e-15,1,-1.89442719099988217124e+01> 2, { 61,63,115,117,141 } 1, { 61,65 } 2, { 61,65,115,119,143 } 1, { 61,75 } 2, { 61,75,115 } 1, { 61,115 } 1, { 62,63 } 2, { 62,63,76 } 3, { 62,63,76,83,116,117 }, <-2.61803398874989712297e+00,3.61803398874990245204e+00,-1,2.07979865619076328877e-15,-2.74164078649987885683e+01> 2, { 62,63,83 } 1, { 62,64 } 2, { 62,64,83 } 1, { 62,76 } 2, { 62,76,116 } 1, { 62,83 } 2, { 62,83,116 } 1, { 62,116 } 1, { 63,65 } 2, { 63,65,83 } 1, { 63,76 } 2, { 63,76,117 } 1, { 63,83 } 2, { 63,83,117 } 1, { 63,117 } 1, { 64,65 } 2, { 64,65,77 } 3, { 64,65,77,83,118,119 }, <-2.61803398874990378431e+00,3.61803398874991000156e+00,1,4.59584445456162145213e-15,-2.74164078649988489644e+01> 2, { 64,65,83 } 1, { 64,77 } 2, { 64,77,118 } 1, { 64,83 } 2, { 64,83,118 } 1, { 64,118 } 1, { 65,77 } 2, { 65,77,119 } 1, { 65,83 } 2, { 65,83,119 } 1, { 65,119 } 1, { 66,84 } 2, { 66,84,85 } 3, { 66,84,85,90,144,145,148,149,192 }, <-1,-2.61803398874988291212e+00,-1.61803398874989023959e+00,4.27548402599690312113e-15,-1.89442719099990952714e+01> 2, { 66,84,90,144,148 } 1, { 66,85 } 2, { 66,85,90,145,149 } 1, { 66,90 } 1, { 67,86 } 2, { 67,86,87 } 3, { 67,86,87,91,146,147,154,155,195 }, <-1,-2.61803398874993220602e+00,1.61803398874992221401e+00,1.95673005313033377145e-16,-1.89442719099994114629e+01> 2, { 67,86,91,146,154 } 1, { 67,87 } 2, { 67,87,91,147,155 } 1, { 67,91 } 1, { 68,88 } 2, { 68,88,92,150,156 } 3, { 68,88,92,94,150,152,156,158,205 }, <-1,-1.61803398874990178591e+00,9.33171567463041481355e-15,-2.61803398874991843925e+00,-1.89442719099993048815e+01> 2, { 68,88,94,152,158 } 1, { 68,92 } 2, { 68,92,94 } 1, { 68,94 } 1, { 69,89 } 2, { 69,89,93,151,157 } 3, { 69,89,93,95,151,153,157,159,206 }, <-1,-1.61803398874989490253e+00,5.76370674021290697948e-15,2.61803398874989445844e+00,-1.89442719099991627729e+01> 2, { 69,89,95,153,159 } 1, { 69,93 } 2, { 69,93,95 } 1, { 69,95 } 1, { 70,96 } 2, { 70,96,104 } 2, { 70,96,100,160,164 } 3, { 70,96,100,104,160,164,168,172,212 }, <-1,9.60617790035476160949e-15,-2.61803398874987092171e+00,-1.61803398874987469647e+00,-1.89442719099990100062e+01> 1, { 70,100 } 2, { 70,100,104,168,172 } 1, { 70,104 } 1, { 71,97 } 2, { 71,97,105 } 2, { 71,97,101,161,165 } 3, { 71,97,101,105,161,165,169,173,213 }, <-1,7.54771120742162421448e-15,-2.61803398874986692491e+00,1.61803398874988002554e+00,-1.89442719099989957954e+01> 1, { 71,101 } 2, { 71,101,105,169,173 } 1, { 71,105 } 1, { 72,98 } 2, { 72,98,106 } 2, { 72,98,102,162,166 } 3, { 72,98,102,106,162,166,170,174,218 }, <-1,1.34486490604969893707e-14,2.61803398874992998557e+00,-1.61803398874991488654e+00,-1.89442719099993901466e+01> 1, { 72,102 } 2, { 72,102,106,170,174 } 1, { 72,106 } 1, { 73,99 } 2, { 73,99,107 } 2, { 73,99,103,163,167 } 3, { 73,99,103,107,163,167,171,175,219 }, <-1,-3.56800893441758119813e-15,2.61803398874992288015e+00,1.61803398874993042966e+00,-1.89442719099993617249e+01> 1, { 73,103 } 2, { 73,103,107,171,175 } 1, { 73,107 } 1, { 74,108 } 2, { 74,108,110 } 3, { 74,108,110,114,176,178,182,184,225 }, <-1,1.61803398874989112777e+00,-1.33126324959242916409e-14,-2.61803398874990289613e+00,-1.89442719099991698783e+01> 2, { 74,108,114,176,182 } 1, { 74,110 } 2, { 74,110,114,178,184 } 1, { 74,114 } 1, { 75,109 } 2, { 75,109,111 } 3, { 75,109,111,115,177,179,183,185,226 }, <-1,1.61803398874988579870e+00,-1.11279140945307396425e-14,2.61803398874989845524e+00,-1.89442719099991343512e+01> 2, { 75,109,115,177,183 } 1, { 75,111 } 2, { 75,111,115,179,185 } 1, { 75,115 } 1, { 76,112 } 2, { 76,112,116,180,188 } 3, { 76,112,116,117,180,181,188,189,236 }, <-1,2.61803398874988690892e+00,-1.61803398874991022360e+00,-2.66352828185454677682e-14,-1.89442719099991165876e+01> 2, { 76,112,117,181,189 } 1, { 76,116 } 2, { 76,116,117 } 1, { 76,117 } 1, { 77,113 } 2, { 77,113,118,186,190 } 3, { 77,113,118,119,186,187,190,191,239 }, <-1,2.61803398874994419643e+00,1.61803398874991222200e+00,-5.89167546216656579933e-15,-1.89442719099994398846e+01> 2, { 77,113,119,187,191 } 1, { 77,118 } 2, { 77,118,119 } 1, { 77,119 } 1, { 78,84 } 2, { 78,84,85 } 3, { 78,84,85,86,87,120,121,122,123,144,145,146,147,192,193,194,195,240,241,242,243,288,289,290,291,312,313,314,315,348 }, <-5.24176207993911100402e-16,-1,-1.36285814078416892021e-15,-3.03171505124523467929e-15,-5.23606797749979158141e+00> 2, { 78,84,86,120,122 } 1, { 78,85 } 2, { 78,85,87,121,123 } 1, { 78,86 } 2, { 78,86,87 } 1, { 78,87 } 1, { 79,96 } 2, { 79,96,104 } 2, { 79,96,97,124,125 } 3, { 79,96,97,104,105,124,125,136,137,160,161,172,173,204,212,213,224,256,257,268,269,292,293,304,305,324,325,332,333,349 }, <3.33066907387549476621e-16,-7.21644966006357174694e-16,-1,8.02208456474104862060e-17,-5.23606797749978891687e+00> 1, { 79,97 } 2, { 79,97,105 } 1, { 79,104 } 2, { 79,104,105,136,137 } 1, { 79,105 } 1, { 80,92 } 2, { 80,92,94 } 3, { 80,92,94,108,110,128,130,132,134,156,158,176,178,205,214,216,225,252,254,272,274,296,298,300,302,320,322,336,338,350 }, <1.46769338238296003470e-15,-3.77406869755618350983e-15,-5.57269258135742665008e-15,-1,-5.23606797749978536416e+00> 2, { 80,92,108,128,132 } 1, { 80,94 } 2, { 80,94,110,130,134 } 1, { 80,108 } 2, { 80,108,110 } 1, { 80,110 } 1, { 81,93 } 2, { 81,93,95 } 3, { 81,93,95,109,111,129,131,133,135,157,159,177,179,206,215,217,226,253,255,273,275,297,299,301,303,321,323,337,339,351 }, <-1.25802289918540462699e-15,-1.72978148637993151003e-15,-2.81486019255468395073e-15,1,-5.23606797749979335777e+00> 2, { 81,93,109,129,133 } 1, { 81,95 } 2, { 81,95,111,131,135 } 1, { 81,109 } 2, { 81,109,111 } 1, { 81,111 } 1, { 82,98 } 2, { 82,98,106 } 2, { 82,98,99,126,127 } 3, { 82,98,99,106,107,126,127,138,139,162,163,174,175,207,218,219,227,258,259,270,271,294,295,306,307,326,327,334,335,352 }, <8.10462807976365694459e-15,-2.80331313717852539217e-15,1,-1.37186888880838314956e-15,-5.23606797749976671241e+00> 1, { 82,99 } 2, { 82,99,107 } 1, { 82,106 } 2, { 82,106,107,138,139 } 1, { 82,107 } 1, { 83,116 } 2, { 83,116,117 } 3, { 83,116,117,118,119,140,141,142,143,188,189,190,191,236,237,238,239,284,285,286,287,308,309,310,311,344,345,346,347,353 }, <2.80680125819171065649e-15,1,3.98262340689364353905e-16,2.70458406897361102234e-16,-5.23606797749978269962e+00> 2, { 83,116,118,140,142 } 1, { 83,117 } 2, { 83,117,119,141,143 } 1, { 83,118 } 2, { 83,118,119 } 1, { 83,119 } 1, { 84,85 } 2, { 84,85,144,145,192 } 1, { 84,120 } 2, { 84,120,144 } 1, { 84,144 } 1, { 85,121 } 2, { 85,121,145 } 1, { 85,145 } 1, { 86,87 } 2, { 86,87,146,147,195 } 1, { 86,122 } 2, { 86,122,146 } 1, { 86,146 } 1, { 87,123 } 2, { 87,123,147 } 1, { 87,147 } 1, { 88,120 } 2, { 88,120,122 } 3, { 88,120,122,150,152,193 }, <-1,-3.61803398874996196000e+00,2.59309734320914725662e-15,-2.61803398874993931145e+00,-2.74164078649992113412e+01> 2, { 88,120,150 } 1, { 88,122 } 2, { 88,122,152 } 1, { 88,150 } 2, { 88,150,152 } 1, { 88,152 } 1, { 89,121 } 2, { 89,121,123 } 3, { 89,121,123,151,153,194 }, <-1,-3.61803398874989401435e+00,-1.03414000942115129720e-15,2.61803398874988912937e+00,-2.74164078649987139613e+01> 2, { 89,121,151 } 1, { 89,123 } 2, { 89,123,153 } 1, { 89,151 } 2, { 89,151,153 } 1, { 89,153 } 1, { 90,124 } 2, { 90,124,125 } 3, { 90,124,125,148,149,204 }, <-1,-2.61803398874986870126e+00,-3.61803398874987669487e+00,1.80912113465556665709e-15,-2.74164078649985505365e+01> 2, { 90,124,148 } 1, { 90,125 } 2, { 90,125,149 } 1, { 90,148 } 2, { 90,148,149 } 1, { 90,149 } 1, { 91,126 } 2, { 91,126,127 } 3, { 91,126,127,154,155,207 }, <-1,-2.61803398874987625078e+00,3.61803398874990067569e+00,-2.48869758320370143009e-15,-2.74164078649986890923e+01> 2, { 91,126,154 } 1, { 91,127 } 2, { 91,127,155 } 1, { 91,154 } 2, { 91,154,155 } 1, { 91,155 } 1, { 92,94 } 2, { 92,94,156,158,205 } 1, { 92,128 } 2, { 92,128,156 } 1, { 92,156 } 1, { 93,95 } 2, { 93,95,157,159,206 } 1, { 93,129 } 2, { 93,129,157 } 1, { 93,157 } 1, { 94,130 } 2, { 94,130,158 } 1, { 94,158 } 1, { 95,131 } 2, { 95,131,159 } 1, { 95,159 } 1, { 96,104 } 2, { 96,104,160,172,212 } 1, { 96,124 } 2, { 96,124,160 } 1, { 96,160 } 1, { 97,105 } 2, { 97,105,161,173,213 } 1, { 97,125 } 2, { 97,125,161 } 1, { 97,161 } 1, { 98,106 } 2, { 98,106,162,174,218 } 1, { 98,126 } 2, { 98,126,162 } 1, { 98,162 } 1, { 99,107 } 2, { 99,107,163,175,219 } 1, { 99,127 } 2, { 99,127,163 } 1, { 99,163 } 1, { 100,128 } 2, { 100,128,132 } 3, { 100,128,132,164,168,214 }, <-1,3.03010458467394212898e-15,-2.61803398874989268208e+00,-3.61803398874991577472e+00,-2.74164078649988134373e+01> 2, { 100,128,164 } 1, { 100,132 } 2, { 100,132,168 } 1, { 100,164 } 2, { 100,164,168 } 1, { 100,168 } 1, { 101,129 } 2, { 101,129,133 } 3, { 101,129,133,165,169,215 }, <-1,1.11624020417822621334e-14,-2.61803398874988779710e+00,3.61803398874989801115e+00,-2.74164078649987139613e+01> 2, { 101,129,165 } 1, { 101,133 } 2, { 101,133,169 } 1, { 101,165 } 2, { 101,165,169 } 1, { 101,169 } 1, { 102,130 } 2, { 102,130,134 } 3, { 102,130,134,166,170,216 }, <-1,2.66026010518859015912e-15,2.61803398874990955747e+00,-3.61803398874995041368e+00,-2.74164078649990337055e+01> 2, { 102,130,166 } 1, { 102,134 } 2, { 102,134,170 } 1, { 102,166 } 2, { 102,166,170 } 1, { 102,170 } 1, { 103,131 } 2, { 103,131,135 } 3, { 103,131,135,167,171,217 }, <-1,6.29091062901907767982e-15,2.61803398874984338818e+00,3.61803398874984782907e+00,-2.74164078649983196101e+01> 2, { 103,131,167 } 1, { 103,135 } 2, { 103,135,171 } 1, { 103,167 } 2, { 103,167,171 } 1, { 103,171 } 1, { 104,136 } 2, { 104,136,172 } 1, { 104,172 } 1, { 105,137 } 2, { 105,137,173 } 1, { 105,173 } 1, { 106,138 } 2, { 106,138,174 } 1, { 106,174 } 1, { 107,139 } 2, { 107,139,175 } 1, { 107,175 } 1, { 108,110 } 2, { 108,110,176,178,225 } 1, { 108,132 } 2, { 108,132,176 } 1, { 108,176 } 1, { 109,111 } 2, { 109,111,177,179,226 } 1, { 109,133 } 2, { 109,133,177 } 1, { 109,177 } 1, { 110,134 } 2, { 110,134,178 } 1, { 110,178 } 1, { 111,135 } 2, { 111,135,179 } 1, { 111,179 } 1, { 112,136 } 2, { 112,136,137 } 3, { 112,136,137,180,181,224 }, <-1,2.61803398874989845524e+00,-3.61803398874983184186e+00,-1.20800011048317624571e-14,-2.74164078649984972458e+01> 2, { 112,136,180 } 1, { 112,137 } 2, { 112,137,181 } 1, { 112,180 } 2, { 112,180,181 } 1, { 112,181 } 1, { 113,138 } 2, { 113,138,139 } 3, { 113,138,139,186,187,227 }, <-1,2.61803398874994686096e+00,3.61803398874997839130e+00,7.32734670808013662933e-15,-2.74164078649993037118e+01> 2, { 113,138,186 } 1, { 113,139 } 2, { 113,139,187 } 1, { 113,186 } 2, { 113,186,187 } 1, { 113,187 } 1, { 114,140 } 2, { 114,140,142 } 3, { 114,140,142,182,184,237 }, <-1,3.61803398874986337219e+00,-1.23242885791183098826e-14,-2.61803398874989934342e+00,-2.74164078649986358016e+01> 2, { 114,140,182 } 1, { 114,142 } 2, { 114,142,184 } 1, { 114,182 } 2, { 114,182,184 } 1, { 114,184 } 1, { 115,141 } 2, { 115,141,143 } 3, { 115,141,143,183,185,238 }, <-1,3.61803398874977188981e+00,-1.03671824034921642958e-14,2.61803398874979009747e+00,-2.74164078649977867030e+01> 2, { 115,141,183 } 1, { 115,143 } 2, { 115,143,185 } 1, { 115,183 } 2, { 115,183,185 } 1, { 115,185 } 1, { 116,117 } 2, { 116,117,188,189,236 } 1, { 116,140 } 2, { 116,140,188 } 1, { 116,188 } 1, { 117,141 } 2, { 117,141,189 } 1, { 117,189 } 1, { 118,119 } 2, { 118,119,190,191,239 } 1, { 118,142 } 2, { 118,142,190 } 1, { 118,190 } 1, { 119,143 } 2, { 119,143,191 } 1, { 119,191 } 1, { 120,122 } 2, { 120,122,193 } 1, { 120,144 } 2, { 120,144,150,196,200 } 3, { 120,144,150,193,196,200,240,246,288 }, <-5.48924451448848208630e-16,-2.61803398874992021561e+00,-1,-1.61803398874989690093e+00,-1.89442719099993013288e+01> 2, { 120,144,193,240,288 } 1, { 120,150 } 2, { 120,150,193 } 1, { 120,193 } 1, { 121,123 } 2, { 121,123,194 } 1, { 121,145 } 2, { 121,145,151,197,201 } 3, { 121,145,151,194,197,201,241,247,289 }, <1.37231112862211815499e-14,-2.61803398874990245204e+00,-1,1.61803398874989912137e+00,-1.89442719099992160636e+01> 2, { 121,145,194,241,289 } 1, { 121,151 } 2, { 121,151,194 } 1, { 121,194 } 1, { 122,146 } 2, { 122,146,152,198,202 } 3, { 122,146,152,193,198,202,242,248,290 }, <1.85262002363988534443e-14,-2.61803398874997084178e+00,1,-1.61803398874991510858e+00,-1.89442719099996246257e+01> 2, { 122,146,193,242,290 } 1, { 122,152 } 2, { 122,152,193 } 1, { 122,193 } 1, { 123,147 } 2, { 123,147,153,199,203 } 3, { 123,147,153,194,199,203,243,249,291 }, <9.05725344890599386468e-15,-2.61803398874990111977e+00,1,1.61803398874990178591e+00,-1.89442719099992125109e+01> 2, { 123,147,194,243,291 } 1, { 123,153 } 2, { 123,153,194 } 1, { 123,194 } 1, { 124,125 } 2, { 124,125,204 } 1, { 124,148 } 2, { 124,148,204 } 2, { 124,148,160,196,208 } 3, { 124,148,160,196,204,208,244,256,292 }, <-2.19569780579542044465e-15,-1.61803398874991199996e+00,-2.61803398874992687695e+00,-1,-1.89442719099993830412e+01> 1, { 124,160 } 2, { 124,160,204,256,292 } 1, { 124,204 } 1, { 125,149 } 2, { 125,149,204 } 2, { 125,149,161,197,209 } 3, { 125,149,161,197,204,209,245,257,293 }, <3.56800893441754412167e-15,-1.61803398874990844725e+00,-2.61803398874992687695e+00,1,-1.89442719099993688303e+01> 1, { 125,161 } 2, { 125,161,204,257,293 } 1, { 125,204 } 1, { 126,127 } 2, { 126,127,207 } 1, { 126,154 } 2, { 126,154,207 } 2, { 126,154,162,198,210 } 3, { 126,154,162,198,207,210,250,258,294 }, <6.03816896593757720839e-15,-1.61803398874993997758e+00,2.61803398874999881940e+00,-1,-1.89442719099998484467e+01> 1, { 126,162 } 2, { 126,162,207,258,294 } 1, { 126,207 } 1, { 127,155 } 2, { 127,155,207 } 2, { 127,155,163,199,211 } 3, { 127,155,163,199,207,211,251,259,295 }, <-3.84247116014203212372e-15,-1.61803398874992132583e+00,2.61803398874995352230e+00,1,-1.89442719099995535714e+01> 1, { 127,163 } 2, { 127,163,207,259,295 } 1, { 127,207 } 1, { 128,132 } 2, { 128,132,214 } 1, { 128,156 } 2, { 128,156,164,200,208 } 3, { 128,156,164,200,208,214,252,260,296 }, <3.56800893441748180166e-15,-1,-1.61803398874989423639e+00,-2.61803398874992199197e+00,-1.89442719099993013288e+01> 2, { 128,156,214,252,296 } 1, { 128,164 } 2, { 128,164,214 } 1, { 128,214 } 1, { 129,133 } 2, { 129,133,215 } 1, { 129,157 } 2, { 129,157,165,201,209 } 3, { 129,157,165,201,209,215,253,261,297 }, <3.29354670869307820773e-15,-1,-1.61803398874989778911e+00,2.61803398874991666290e+00,-1.89442719099992835652e+01> 2, { 129,157,215,253,297 } 1, { 129,165 } 2, { 129,165,215 } 1, { 129,215 } 1, { 130,134 } 2, { 130,134,216 } 1, { 130,158 } 2, { 130,158,166,202,210 } 3, { 130,158,166,202,210,216,254,262,298 }, <4.55607294702542782540e-14,-1,1.61803398874991177792e+00,-2.61803398874994996959e+00,-1.89442719099995038334e+01> 2, { 130,158,216,254,298 } 1, { 130,166 } 2, { 130,166,216 } 1, { 130,216 } 1, { 131,135 } 2, { 131,135,217 } 1, { 131,159 } 2, { 131,159,167,203,211 } 3, { 131,159,167,203,211,217,255,263,299 }, <6.72432453024834243520e-15,-1,1.61803398874988868528e+00,2.61803398874989978751e+00,-1.89442719099991663256e+01> 2, { 131,159,217,255,299 } 1, { 131,167 } 2, { 131,167,217 } 1, { 131,217 } 1, { 132,168 } 2, { 132,168,214 } 2, { 132,168,176,220,228 } 3, { 132,168,176,214,220,228,264,272,300 }, <-3.67779382470715015365e-14,1,-1.61803398874985315814e+00,-2.61803398874981763100e+00,-1.89442719099986192077e+01> 1, { 132,176 } 2, { 132,176,214,272,300 } 1, { 132,214 } 1, { 133,169 } 2, { 133,169,215 } 2, { 133,169,177,221,229 } 3, { 133,169,177,215,221,229,265,273,301 }, <-2.96419203782369323636e-14,1,-1.61803398874986159584e+00,2.61803398874982162781e+00,-1.89442719099986653930e+01> 1, { 133,177 } 2, { 133,177,215,273,301 } 1, { 133,215 } 1, { 134,170 } 2, { 134,170,216 } 2, { 134,170,178,222,230 } 3, { 134,170,178,216,222,230,266,274,302 }, <4.25416449872848763104e-15,1,1.61803398874988380030e+00,-2.61803398874986381628e+00,-1.89442719099989602682e+01> 1, { 134,178 } 2, { 134,178,216,274,302 } 1, { 134,216 } 1, { 135,171 } 2, { 135,171,217 } 2, { 135,171,179,223,231 } 3, { 135,171,179,217,223,231,267,275,303 }, <1.16646445932881703727e-14,1,1.61803398874992421241e+00,2.61803398874994863732e+00,-1.89442719099995393606e+01> 1, { 135,179 } 2, { 135,179,217,275,303 } 1, { 135,217 } 1, { 136,137 } 2, { 136,137,224 } 1, { 136,172 } 2, { 136,172,180,220,232 } 3, { 136,172,180,220,224,232,268,276,304 }, <-3.36216226512414108312e-14,1.61803398874986514855e+00,-2.61803398874979720290e+00,-1,-1.89442719099985517062e+01> 2, { 136,172,224,268,304 } 1, { 136,180 } 2, { 136,180,224 } 1, { 136,224 } 1, { 137,173 } 2, { 137,173,181,221,233 } 3, { 137,173,181,221,224,233,269,277,305 }, <-2.68972981209935590674e-14,1.61803398874988912937e+00,-2.61803398874984871725e+00,1,-1.89442719099988963194e+01> 2, { 137,173,224,269,305 } 1, { 137,181 } 2, { 137,181,224 } 1, { 137,224 } 1, { 138,139 } 2, { 138,139,227 } 1, { 138,174 } 2, { 138,174,186,222,234 } 3, { 138,174,186,222,227,234,270,282,306 }, <-9.05725344890579191628e-15,1.61803398874987491851e+00,2.61803398874985715494e+00,-1,-1.89442719099988927667e+01> 2, { 138,174,227,270,306 } 1, { 138,186 } 2, { 138,186,227 } 1, { 138,227 } 1, { 139,175 } 2, { 139,175,187,223,235 } 3, { 139,175,187,223,227,235,271,283,307 }, <1.04295645775281206971e-14,1.61803398874990311818e+00,2.61803398874993620282e+00,1,-1.89442719099994008047e+01> 2, { 139,175,227,271,307 } 1, { 139,187 } 2, { 139,187,227 } 1, { 139,227 } 1, { 140,142 } 2, { 140,142,237 } 1, { 140,182 } 2, { 140,182,188,228,232 } 3, { 140,182,188,228,232,237,278,284,308 }, <-3.96597916171782204779e-14,2.61803398874978032751e+00,-1,-1.61803398874985027156e+00,-1.89442719099984167030e+01> 2, { 140,182,237 } 1, { 140,188 } 2, { 140,188,237,284,308 } 1, { 140,237 } 1, { 141,143 } 2, { 141,143,238 } 1, { 141,183 } 2, { 141,183,189,229,233 } 3, { 141,183,189,229,233,238,279,285,309 }, <-3.89736360528677778952e-14,2.61803398874982828914e+00,-1,1.61803398874986781308e+00,-1.89442719099987222364e+01> 2, { 141,183,238 } 1, { 141,189 } 2, { 141,189,238,285,309 } 1, { 141,238 } 1, { 142,184 } 2, { 142,184,190,230,234 } 3, { 142,184,190,230,234,237,280,286,310 }, <2.74462225724422329378e-16,2.61803398874987447442e+00,1,-1.61803398874988846323e+00,-1.89442719099990313225e+01> 2, { 142,184,237 } 1, { 142,190 } 2, { 142,190,237,286,310 } 1, { 142,237 } 1, { 143,185 } 2, { 143,185,191,231,235 } 3, { 143,185,191,231,235,238,281,287,311 }, <2.15452847193676968744e-14,2.61803398874996684498e+00,1,1.61803398874992132583e+00,-1.89442719099996210730e+01> 2, { 143,185,238 } 1, { 143,191 } 2, { 143,191,238,287,311 } 1, { 143,238 } 1, { 144,148 } 2, { 144,148,192 } 3, { 144,148,192,196,240,244 }, <1.62092561595273801535e-14,-3.61803398874988291212e+00,-2.61803398874989046163e+00,-1,-2.74164078649986748815e+01> 2, { 144,148,196 } 1, { 144,192 } 2, { 144,192,240 } 1, { 144,196 } 2, { 144,196,240 } 1, { 144,240 } 1, { 145,149 } 2, { 145,149,192 } 3, { 145,149,192,197,241,245 }, <1.62092561595276010345e-14,-3.61803398874987891531e+00,-2.61803398874988557665e+00,1,-2.74164078649986393543e+01> 2, { 145,149,197 } 1, { 145,192 } 2, { 145,192,241 } 1, { 145,197 } 2, { 145,197,241 } 1, { 145,241 } 1, { 146,154 } 2, { 146,154,195 } 3, { 146,154,195,198,242,250 }, <6.41708908233384025487e-14,-3.61803398874994330825e+00,2.61803398874992687695e+00,-1,-2.74164078649990550218e+01> 2, { 146,154,198 } 1, { 146,195 } 2, { 146,195,242 } 1, { 146,198 } 2, { 146,198,242 } 1, { 146,242 } 1, { 147,155 } 2, { 147,155,195 } 3, { 147,155,195,199,243,251 }, <1.50990331349023308982e-14,-3.61803398874992288015e+00,2.61803398874991222200e+00,1,-2.74164078649989129133e+01> 2, { 147,155,199 } 1, { 147,195 } 2, { 147,195,243 } 1, { 147,199 } 2, { 147,199,243 } 1, { 147,243 } 1, { 148,149 } 2, { 148,149,192 } 3, { 148,149,192,204,244,245 }, <-1.48423611109935748911e-15,-1,-1.00000000000000421885e+00,1.27552062588482815451e-15,-8.47213595499960092639e+00> 2, { 148,149,204 } 1, { 148,192 } 2, { 148,192,244 } 1, { 148,196 } 2, { 148,196,244 } 1, { 148,204 } 2, { 148,204,244 } 1, { 148,244 } 1, { 149,192 } 2, { 149,192,245 } 1, { 149,197 } 2, { 149,197,245 } 1, { 149,204 } 2, { 149,204,245 } 1, { 149,245 } 1, { 150,152 } 2, { 150,152,193 } 3, { 150,152,193,205,246,248 }, <4.41030158726662102974e-15,-1,2.22072218060082281808e-15,-9.99999999999997668532e-01,-8.47213595499956717561e+00> 2, { 150,152,205 } 1, { 150,156 } 2, { 150,156,200 } 3, { 150,156,200,205,246,252 }, <2.13162820728035798669e-14,-2.61803398874992376832e+00,-1,-3.61803398874994197598e+00,-2.74164078649990798908e+01> 2, { 150,156,205 } 1, { 150,193 } 2, { 150,193,246 } 1, { 150,200 } 2, { 150,200,246 } 1, { 150,205 } 2, { 150,205,246 } 1, { 150,246 } 1, { 151,153 } 2, { 151,153,194 } 3, { 151,153,194,206,247,249 }, <2.88365873013589887774e-15,-1,8.46552418487976279263e-16,9.99999999999999444888e-01,-8.47213595499957783375e+00> 2, { 151,153,206 } 1, { 151,157 } 2, { 151,157,201 } 3, { 151,157,201,206,247,253 }, <1.82076576038529774706e-14,-2.61803398874993176193e+00,-1,3.61803398874994641687e+00,-2.74164078649991296288e+01> 2, { 151,157,206 } 1, { 151,194 } 2, { 151,194,247 } 1, { 151,201 } 2, { 151,201,247 } 1, { 151,206 } 2, { 151,206,247 } 1, { 151,247 } 1, { 152,158 } 2, { 152,158,202 } 3, { 152,158,202,205,248,254 }, <4.17443857259068073095e-14,-2.61803398874993176193e+00,1,-3.61803398874996418044e+00,-2.74164078649992219994e+01> 2, { 152,158,205 } 1, { 152,193 } 2, { 152,193,248 } 1, { 152,202 } 2, { 152,202,248 } 1, { 152,205 } 2, { 152,205,248 } 1, { 152,248 } 1, { 153,159 } 2, { 153,159,203 } 3, { 153,159,203,206,249,255 }, <1.15463194561017700154e-14,-2.61803398874989579070e+00,1,3.61803398874989490253e+00,-2.74164078649987423830e+01> 2, { 153,159,206 } 1, { 153,194 } 2, { 153,194,249 } 1, { 153,203 } 2, { 153,203,249 } 1, { 153,206 } 2, { 153,206,249 } 1, { 153,249 } 1, { 154,155 } 2, { 154,155,195 } 3, { 154,155,195,207,250,251 }, <-6.78507936502563119318e-15,-1,1.00000000000000111022e+00,-6.41523850281356724483e-16,-8.47213595499958671553e+00> 2, { 154,155,207 } 1, { 154,195 } 2, { 154,195,250 } 1, { 154,198 } 2, { 154,198,250 } 1, { 154,207 } 2, { 154,207,250 } 1, { 154,250 } 1, { 155,195 } 2, { 155,195,251 } 1, { 155,199 } 2, { 155,199,251 } 1, { 155,207 } 2, { 155,207,251 } 1, { 155,251 } 1, { 156,200 } 2, { 156,200,252 } 1, { 156,205 } 2, { 156,205,252 } 1, { 156,252 } 1, { 157,201 } 2, { 157,201,253 } 1, { 157,206 } 2, { 157,206,253 } 1, { 157,253 } 1, { 158,202 } 2, { 158,202,254 } 1, { 158,205 } 2, { 158,205,254 } 1, { 158,254 } 1, { 159,203 } 2, { 159,203,255 } 1, { 159,206 } 2, { 159,206,255 } 1, { 159,255 } 1, { 160,164 } 2, { 160,164,208 } 3, { 160,164,208,212,256,260 }, <5.57331958361859822185e-14,-1,-3.61803398874993087375e+00,-2.61803398874991266609e+00,-2.74164078649989839676e+01> 2, { 160,164,212 } 1, { 160,208 } 2, { 160,208,256 } 1, { 160,212 } 2, { 160,212,256 } 1, { 160,256 } 1, { 161,165 } 2, { 161,165,209 } 3, { 161,165,209,213,257,261 }, <4.70734562441088839898e-14,-1,-3.61803398874992998557e+00,2.61803398874992021561e+00,-2.74164078649990017311e+01> 2, { 161,165,213 } 1, { 161,209 } 2, { 161,209,257 } 1, { 161,213 } 2, { 161,213,257 } 1, { 161,257 } 1, { 162,166 } 2, { 162,166,210 } 3, { 162,166,210,218,258,262 }, <4.77395900588837696548e-14,-1,3.61803398875002235613e+00,-2.61803398874997395041e+00,-2.74164078649996625359e+01> 2, { 162,166,218 } 1, { 162,210 } 2, { 162,210,258 } 1, { 162,218 } 2, { 162,218,258 } 1, { 162,258 } 1, { 163,167 } 2, { 163,167,211 } 3, { 163,167,211,219,259,263 }, <-3.66373598126283419876e-14,-1,3.61803398874993442647e+00,2.61803398874993797918e+00,-2.74164078649990834435e+01> 2, { 163,167,219 } 1, { 163,211 } 2, { 163,211,259 } 1, { 163,219 } 2, { 163,219,259 } 1, { 163,259 } 1, { 164,168 } 2, { 164,168,212 } 3, { 164,168,212,214,260,264 }, <1.65386309522498219590e-15,2.04508037544001007052e-15,-1,-1.00000000000001110223e+00,-8.47213595499963822988e+00> 2, { 164,168,214 } 1, { 164,208 } 2, { 164,208,260 } 1, { 164,212 } 2, { 164,212,260 } 1, { 164,214 } 2, { 164,214,260 } 1, { 164,260 } 1, { 165,169 } 2, { 165,169,213 } 3, { 165,169,213,215,261,265 }, <-1.06016865078525154593e-15,2.03966429535178434706e-15,-1,1.00000000000000688338e+00,-8.47213595499961513724e+00> 2, { 165,169,215 } 1, { 165,209 } 2, { 165,209,261 } 1, { 165,213 } 2, { 165,213,261 } 1, { 165,215 } 2, { 165,215,261 } 1, { 165,261 } 1, { 166,170 } 2, { 166,170,216 } 3, { 166,170,216,218,262,266 }, <6.44582539677435969150e-15,2.99894361035168830803e-15,1,-1.00000000000000754952e+00,-8.47213595499960447910e+00> 2, { 166,170,218 } 1, { 166,210 } 2, { 166,210,262 } 1, { 166,216 } 2, { 166,216,262 } 1, { 166,218 } 2, { 166,218,262 } 1, { 166,262 } 1, { 167,171 } 2, { 167,171,217 } 3, { 167,171,217,219,263,267 }, <-8.82060317453286340624e-15,4.42443670204684483605e-16,1,1.00000000000000222045e+00,-8.47213595499958671553e+00> 2, { 167,171,219 } 1, { 167,211 } 2, { 167,211,263 } 1, { 167,217 } 2, { 167,217,263 } 1, { 167,219 } 2, { 167,219,263 } 1, { 167,263 } 1, { 168,172 } 2, { 168,172,212 } 3, { 168,172,212,220,264,268 }, <-8.26005930321042754912e-14,1,-3.61803398874983583866e+00,-2.61803398874984916134e+00,-2.74164078649983231628e+01> 2, { 168,172,220 } 1, { 168,212 } 2, { 168,212,264 } 1, { 168,214 } 2, { 168,214,264 } 1, { 168,220 } 2, { 168,220,264 } 1, { 168,264 } 1, { 169,173 } 2, { 169,173,213 } 3, { 169,173,213,221,265,269 }, <-7.03881397612303555805e-14,1,-3.61803398874985493450e+00,2.61803398874986736899e+00,-2.74164078649984688241e+01> 2, { 169,173,221 } 1, { 169,213 } 2, { 169,213,265 } 1, { 169,215 } 2, { 169,215,265 } 1, { 169,221 } 2, { 169,221,265 } 1, { 169,265 } 1, { 170,174 } 2, { 170,174,218 } 3, { 170,174,218,222,266,270 }, <-3.08642000845788469528e-14,1,3.61803398874991977152e+00,-2.61803398874990245204e+00,-2.74164078649988738334e+01> 2, { 170,174,222 } 1, { 170,216 } 2, { 170,216,266 } 1, { 170,218 } 2, { 170,218,266 } 1, { 170,222 } 2, { 170,222,266 } 1, { 170,266 } 1, { 171,175 } 2, { 171,175,219 } 3, { 171,175,219,223,267,271 }, <2.86437540353310392942e-14,1,3.61803398874999881940e+00,2.61803398874997439449e+00,-2.74164078649994671366e+01> 2, { 171,175,223 } 1, { 171,217 } 2, { 171,217,267 } 1, { 171,219 } 2, { 171,219,267 } 1, { 171,223 } 2, { 171,223,267 } 1, { 171,267 } 1, { 172,212 } 2, { 172,212,268 } 1, { 172,220 } 2, { 172,220,268 } 1, { 172,268 } 1, { 173,213 } 2, { 173,213,269 } 1, { 173,221 } 2, { 173,221,269 } 1, { 173,269 } 1, { 174,218 } 2, { 174,218,270 } 1, { 174,222 } 2, { 174,222,270 } 1, { 174,270 } 1, { 175,219 } 2, { 175,219,271 } 1, { 175,223 } 2, { 175,223,271 } 1, { 175,271 } 1, { 176,182 } 2, { 176,182,225 } 3, { 176,182,225,228,272,278 }, <-1.27350472736115315866e-13,2.61803398874989579070e+00,-1,-3.61803398874990866929e+00,-2.74164078649988027792e+01> 2, { 176,182,228 } 1, { 176,225 } 2, { 176,225,272 } 1, { 176,228 } 2, { 176,228,272 } 1, { 176,272 } 1, { 177,183 } 2, { 177,183,226 } 3, { 177,183,226,229,273,279 }, <-9.05725344890515262341e-14,2.61803398874988646483e+00,-1,3.61803398874990067569e+00,-2.74164078649987317249e+01> 2, { 177,183,229 } 1, { 177,226 } 2, { 177,226,273 } 1, { 177,229 } 2, { 177,229,273 } 1, { 177,273 } 1, { 178,184 } 2, { 178,184,225 } 3, { 178,184,225,230,274,280 }, <-5.48924451448828092677e-15,2.61803398874990067569e+00,1,-3.61803398874991044565e+00,-2.74164078649988276482e+01> 2, { 178,184,230 } 1, { 178,225 } 2, { 178,225,274 } 1, { 178,230 } 2, { 178,230,274 } 1, { 178,274 } 1, { 179,185 } 2, { 179,185,226 } 3, { 179,185,226,231,275,281 }, <7.46537253970488342238e-14,2.61803398874988824119e+00,1,3.61803398874990334022e+00,-2.74164078649987530412e+01> 2, { 179,185,231 } 1, { 179,226 } 2, { 179,226,275 } 1, { 179,231 } 2, { 179,231,275 } 1, { 179,275 } 1, { 180,181 } 2, { 180,181,224 } 3, { 180,181,224,236,276,277 }, <-1.86589682538190782562e-14,1,-9.99999999999992561506e-01,-7.65279465468186995390e-15,-8.47213595499955474111e+00> 2, { 180,181,236 } 1, { 180,188 } 2, { 180,188,232 } 3, { 180,188,232,236,276,284 }, <-1.13020703906827304299e-13,3.61803398874968307197e+00,-2.61803398874976833710e+00,-1,-2.74164078649972182689e+01> 2, { 180,188,236 } 1, { 180,224 } 2, { 180,224,276 } 1, { 180,232 } 2, { 180,232,276 } 1, { 180,236 } 2, { 180,236,276 } 1, { 180,276 } 1, { 181,189 } 2, { 181,189,233 } 3, { 181,189,233,236,277,285 }, <-1.01030295240882959535e-13,3.61803398874991932743e+00,-2.61803398874993931145e+00,1,-2.74164078649990123893e+01> 2, { 181,189,236 } 1, { 181,224 } 2, { 181,224,277 } 1, { 181,233 } 2, { 181,233,277 } 1, { 181,236 } 2, { 181,236,277 } 1, { 181,277 } 1, { 182,184 } 2, { 182,184,225 } 3, { 182,184,225,237,278,280 }, <2.71403174601023591119e-15,1,-4.95382749516434095930e-15,-1.00000000000000488498e+00,-8.47213595499959559731e+00> 2, { 182,184,237 } 1, { 182,225 } 2, { 182,225,278 } 1, { 182,228 } 2, { 182,228,278 } 1, { 182,237 } 2, { 182,237,278 } 1, { 182,278 } 1, { 183,185 } 2, { 183,185,226 } 3, { 183,185,226,238,279,281 }, <-3.81660714282691434142e-16,1,-4.13594340977784817911e-15,9.99999999999998445688e-01,-8.47213595499957428103e+00> 2, { 183,185,238 } 1, { 183,226 } 2, { 183,226,279 } 1, { 183,229 } 2, { 183,229,279 } 1, { 183,238 } 2, { 183,238,279 } 1, { 183,279 } 1, { 184,225 } 2, { 184,225,280 } 1, { 184,230 } 2, { 184,230,280 } 1, { 184,237 } 2, { 184,237,280 } 1, { 184,280 } 1, { 185,226 } 2, { 185,226,281 } 1, { 185,231 } 2, { 185,231,281 } 1, { 185,238 } 2, { 185,238,281 } 1, { 185,281 } 1, { 186,187 } 2, { 186,187,227 } 3, { 186,187,227,239,282,283 }, <3.47735317457559422618e-15,1,1.00000000000000355271e+00,1.53554422660397768089e-17,-8.47213595499959204460e+00> 2, { 186,187,239 } 1, { 186,190 } 2, { 186,190,234 } 3, { 186,190,234,239,282,286 }, <-4.66293670342563695940e-15,3.61803398874980208788e+00,2.61803398874982296007e+00,-1,-2.74164078649980211821e+01> 2, { 186,190,239 } 1, { 186,227 } 2, { 186,227,282 } 1, { 186,234 } 2, { 186,234,282 } 1, { 186,239 } 2, { 186,239,282 } 1, { 186,282 } 1, { 187,191 } 2, { 187,191,235 } 3, { 187,191,235,239,283,287 }, <2.42028619368290373591e-14,3.61803398874996640089e+00,2.61803398874993709100e+00,1,-2.74164078649992539738e+01> 2, { 187,191,239 } 1, { 187,227 } 2, { 187,227,283 } 1, { 187,235 } 2, { 187,235,283 } 1, { 187,239 } 2, { 187,239,283 } 1, { 187,283 } 1, { 188,232 } 2, { 188,232,284 } 1, { 188,236 } 2, { 188,236,284 } 1, { 188,284 } 1, { 189,233 } 2, { 189,233,285 } 1, { 189,236 } 2, { 189,236,285 } 1, { 189,285 } 1, { 190,234 } 2, { 190,234,286 } 1, { 190,239 } 2, { 190,239,286 } 1, { 190,286 } 1, { 191,235 } 2, { 191,235,287 } 1, { 191,239 } 2, { 191,239,287 } 1, { 191,287 } 1, { 192,240 } 2, { 192,240,244 } 2, { 192,240,241,312,313 } 3, { 192,240,241,244,245,312,313,318,354 }, <1,-2.61803398874987269807e+00,-1.61803398874988202394e+00,-1.30193356486529271686e-15,-1.89442719099990135589e+01> 1, { 192,241 } 2, { 192,241,245 } 1, { 192,244 } 2, { 192,244,245 } 1, { 192,245 } 1, { 193,246 } 2, { 193,246,248 } 3, { 193,246,248,288,290,316 }, <1,-3.61803398874992776513e+00,3.20232743769217497747e-15,-2.61803398874992154788e+00,-2.74164078649989768621e+01> 2, { 193,246,288 } 1, { 193,248 } 2, { 193,248,290 } 1, { 193,288 } 2, { 193,288,290 } 1, { 193,290 } 1, { 194,247 } 2, { 194,247,249 } 3, { 194,247,249,289,291,317 }, <1,-3.61803398874985626676e+00,3.54994939646736819586e-16,2.61803398874987491851e+00,-2.74164078649984865876e+01> 2, { 194,247,289 } 1, { 194,249 } 2, { 194,249,291 } 1, { 194,289 } 2, { 194,289,291 } 1, { 194,291 } 1, { 195,242 } 2, { 195,242,250 } 2, { 195,242,243,314,315 } 3, { 195,242,243,250,251,314,315,319,355 }, <1,-2.61803398874988557665e+00,1.61803398874989046163e+00,-3.79177055283641996944e-15,-1.89442719099991059295e+01> 1, { 195,243 } 2, { 195,243,251 } 1, { 195,250 } 2, { 195,250,251 } 1, { 195,251 } 1, { 196,200 } 2, { 196,200,208 } 3, { 196,200,208,240,244,246,252,256,260,288,292,296,312,316,318,320,324,328,354,356,358,366,370,372,374,376,382,403,407,411 }, <1,-9.99999999999994670929e-01,-9.99999999999986455279e-01,-9.99999999999985123011e-01,-1.04721359549994907923e+01> 2, { 196,200,240,246,288 } 1, { 196,208 } 2, { 196,208,244,256,292 } 1, { 196,240 } 2, { 196,240,244 } 1, { 196,244 } 1, { 197,201 } 2, { 197,201,209 } 3, { 197,201,209,241,245,247,253,257,261,289,293,297,313,317,318,321,325,329,354,357,359,367,371,372,375,377,383,404,408,412 }, <1,-9.99999999999981348253e-01,-9.99999999999974575893e-01,9.99999999999972910558e-01,-1.04721359549993717764e+01> 2, { 197,201,241,247,289 } 1, { 197,209 } 2, { 197,209,245,257,293 } 1, { 197,241 } 2, { 197,241,245 } 1, { 197,245 } 1, { 198,202 } 2, { 198,202,210 } 3, { 198,202,210,242,248,250,254,258,262,290,294,298,314,316,319,322,326,330,355,356,360,368,370,373,378,380,384,405,409,413 }, <1,-9.99999999999929944927e-01,9.99999999999919841898e-01,-9.99999999999918953719e-01,-1.04721359549988708437e+01> 2, { 198,202,242,248,290 } 1, { 198,210 } 2, { 198,210,250,258,294 } 1, { 198,242 } 2, { 198,242,250 } 1, { 198,250 } 1, { 199,203 } 2, { 199,203,211 } 3, { 199,203,211,243,249,251,255,259,263,291,295,299,315,317,319,323,327,331,355,357,361,369,371,373,379,381,385,406,410,414 }, <1,-9.99999999999983235632e-01,9.99999999999973243625e-01,9.99999999999976130205e-01,-1.04721359549993824345e+01> 2, { 199,203,243,249,291 } 1, { 199,211 } 2, { 199,211,251,259,295 } 1, { 199,243 } 2, { 199,243,251 } 1, { 199,251 } 1, { 200,208 } 2, { 200,208,252,260,296 } 1, { 200,246 } 2, { 200,246,252 } 1, { 200,252 } 1, { 201,209 } 2, { 201,209,253,261,297 } 1, { 201,247 } 2, { 201,247,253 } 1, { 201,253 } 1, { 202,210 } 2, { 202,210,254,262,298 } 1, { 202,248 } 2, { 202,248,254 } 1, { 202,254 } 1, { 203,211 } 2, { 203,211,255,263,299 } 1, { 203,249 } 2, { 203,249,255 } 1, { 203,255 } 1, { 204,244 } 2, { 204,244,245 } 3, { 204,244,245,292,293,318 }, <1,-2.61803398874989445844e+00,-3.61803398874990822520e+00,2.47826609775350267003e-15,-2.74164078649988027792e+01> 2, { 204,244,292 } 1, { 204,245 } 2, { 204,245,293 } 1, { 204,292 } 2, { 204,292,293 } 1, { 204,293 } 1, { 205,246 } 2, { 205,246,248 } 3, { 205,246,248,252,254,316,320,322,356 }, <1,-1.61803398874992399037e+00,-2.22007967666821562986e-15,-2.61803398874993398238e+00,-1.89442719099994469900e+01> 2, { 205,246,252 } 1, { 205,248 } 2, { 205,248,254 } 1, { 205,252 } 2, { 205,252,254,320,322 } 1, { 205,254 } 1, { 206,247 } 2, { 206,247,249 } 3, { 206,247,249,253,255,317,321,323,357 }, <1,-1.61803398874988246803e+00,-1.68570066927635840282e-15,2.61803398874987136580e+00,-1.89442719099990029008e+01> 2, { 206,247,253 } 1, { 206,249 } 2, { 206,249,255 } 1, { 206,253 } 2, { 206,253,255,321,323 } 1, { 206,255 } 1, { 207,250 } 2, { 207,250,251 } 3, { 207,250,251,294,295,319 }, <1,-2.61803398874993931145e+00,3.61803398874998771717e+00,-3.99271123325069613416e-15,-2.74164078649993498971e+01> 2, { 207,250,294 } 1, { 207,251 } 2, { 207,251,295 } 1, { 207,294 } 2, { 207,294,295 } 1, { 207,295 } 1, { 208,256 } 2, { 208,256,260 } 1, { 208,260 } 1, { 209,257 } 2, { 209,257,261 } 1, { 209,261 } 1, { 210,258 } 2, { 210,258,262 } 1, { 210,262 } 1, { 211,259 } 2, { 211,259,263 } 1, { 211,263 } 1, { 212,256 } 2, { 212,256,260 } 3, { 212,256,260,264,268,324,328,332,358 }, <1,-8.14209523803054443937e-15,-2.61803398874982828914e+00,-1.61803398874985604472e+00,-1.89442719099987080256e+01> 2, { 212,256,268,324,332 } 1, { 212,260 } 2, { 212,260,264 } 1, { 212,264 } 2, { 212,264,268 } 1, { 212,268 } 1, { 213,257 } 2, { 213,257,261 } 3, { 213,257,261,265,269,325,329,333,359 }, <1,-7.29396031740227930490e-15,-2.61803398874979942335e+00,1.61803398874984005751e+00,-1.89442719099985161790e+01> 2, { 213,257,269,325,333 } 1, { 213,261 } 2, { 213,261,265 } 1, { 213,265 } 2, { 213,265,269 } 1, { 213,269 } 1, { 214,260 } 2, { 214,260,264 } 3, { 214,260,264,296,300,328 }, <1,7.44488848204101158279e-15,-2.61803398874988779710e+00,-3.61803398874991399836e+00,-2.74164078649988134373e+01> 2, { 214,260,296 } 1, { 214,264 } 2, { 214,264,300 } 1, { 214,296 } 2, { 214,296,300 } 1, { 214,300 } 1, { 215,261 } 2, { 215,261,265 } 3, { 215,261,265,297,301,329 }, <1,6.59537438907428091821e-15,-2.61803398874986736899e+00,3.61803398874987314215e+00,-2.74164078649985434311e+01> 2, { 215,261,297 } 1, { 215,265 } 2, { 215,265,301 } 1, { 215,297 } 2, { 215,297,301 } 1, { 215,301 } 1, { 216,262 } 2, { 216,262,266 } 3, { 216,262,266,298,302,330 }, <1,5.36887577111077981271e-15,2.61803398874989756706e+00,-3.61803398874987891531e+00,-2.74164078649986571179e+01> 2, { 216,262,298 } 1, { 216,266 } 2, { 216,266,302 } 1, { 216,298 } 2, { 216,298,302 } 1, { 216,302 } 1, { 217,263 } 2, { 217,263,267 } 3, { 217,263,267,299,303,331 }, <1,1.51389879000205402437e-15,2.61803398874986159584e+00,3.61803398874985671085e+00,-2.74164078649984510605e+01> 2, { 217,263,299 } 1, { 217,267 } 2, { 217,267,303 } 1, { 217,299 } 2, { 217,299,303 } 1, { 217,303 } 1, { 218,258 } 2, { 218,258,262 } 3, { 218,258,262,266,270,326,330,334,360 }, <1,1.69626984125636243879e-16,2.61803398874991133383e+00,-1.61803398874990445044e+00,-1.89442719099992693543e+01> 2, { 218,258,270,326,334 } 1, { 218,262 } 2, { 218,262,266 } 1, { 218,266 } 2, { 218,266,270 } 1, { 218,270 } 1, { 219,259 } 2, { 219,259,263 } 3, { 219,259,263,267,271,327,331,335,361 }, <1,5.42806349202041108010e-15,2.61803398874993176193e+00,1.61803398874992288015e+00,-1.89442719099994398846e+01> 2, { 219,259,271,327,335 } 1, { 219,263 } 2, { 219,263,267 } 1, { 219,267 } 2, { 219,267,271 } 1, { 219,271 } 1, { 220,228 } 2, { 220,228,232 } 3, { 220,228,232,264,268,272,276,278,284,300,304,308,328,332,336,340,342,344,358,362,364,382,386,388,394,396,398,419,423,427 }, <1,1.00000000000007882583e+00,-1.00000000000007638334e+00,-1.00000000000007949197e+00,-1.04721359550003185745e+01> 2, { 220,228,264,272,300 } 1, { 220,232 } 2, { 220,232,268,276,304 } 1, { 220,264 } 2, { 220,264,268 } 1, { 220,268 } 1, { 221,229 } 2, { 221,229,233 } 3, { 221,229,233,265,269,273,277,279,285,301,305,309,329,333,337,340,343,345,359,363,364,383,387,389,394,397,399,420,424,428 }, <1,1.00000000000004707346e+00,-1.00000000000004973799e+00,1.00000000000004773959e+00,-1.04721359550000379102e+01> 2, { 221,229,265,273,301 } 1, { 221,233 } 2, { 221,233,269,277,305 } 1, { 221,265 } 2, { 221,265,269 } 1, { 221,269 } 1, { 222,230 } 2, { 222,230,234 } 3, { 222,230,234,266,270,274,280,282,286,302,306,310,330,334,338,341,342,346,360,362,365,384,390,392,395,396,400,421,425,429 }, <1,9.99999999999988675725e-01,9.99999999999994226840e-01,-9.99999999999993560706e-01,-1.04721359549995156613e+01> 2, { 222,230,266,274,302 } 1, { 222,234 } 2, { 222,234,270,282,306 } 1, { 222,266 } 2, { 222,266,270 } 1, { 222,270 } 1, { 223,231 } 2, { 223,231,235 } 3, { 223,231,235,267,271,275,281,283,287,303,307,311,331,335,339,341,343,347,361,363,365,385,391,393,395,397,401,422,426,430 }, <1,9.99999999999905631043e-01,9.99999999999920063942e-01,9.99999999999912070336e-01,-1.04721359549987731441e+01> 2, { 223,231,267,275,303 } 1, { 223,235 } 2, { 223,235,271,283,307 } 1, { 223,267 } 2, { 223,267,271 } 1, { 223,271 } 1, { 224,276 } 2, { 224,276,277 } 3, { 224,276,277,304,305,340 }, <1,2.61803398874984072364e+00,-3.61803398874984205591e+00,-1.71557314532002001799e-14,-2.74164078649983409264e+01> 2, { 224,276,304 } 1, { 224,277 } 2, { 224,277,305 } 1, { 224,304 } 2, { 224,304,305 } 1, { 224,305 } 1, { 225,272 } 2, { 225,272,278 } 2, { 225,272,274,336,338 } 3, { 225,272,274,278,280,336,338,342,362 }, <1,1.61803398874989712297e+00,-4.26335870221695486420e-17,-2.61803398874988957346e+00,-1.89442719099991450094e+01> 1, { 225,274 } 2, { 225,274,280 } 1, { 225,278 } 2, { 225,278,280 } 1, { 225,280 } 1, { 226,273 } 2, { 226,273,279 } 2, { 226,273,275,337,339 } 3, { 226,273,275,279,281,337,339,343,363 }, <1,1.61803398874987358624e+00,4.65465077135784090685e-15,2.61803398874983761502e+00,-1.89442719099988252651e+01> 1, { 226,275 } 2, { 226,275,281 } 1, { 226,279 } 2, { 226,279,281 } 1, { 226,281 } 1, { 227,282 } 2, { 227,282,283 } 3, { 227,282,283,306,307,341 }, <1,2.61803398874990733702e+00,3.61803398874990511658e+00,-4.11296127122792298658e-15,-2.74164078649988276482e+01> 2, { 227,282,306 } 1, { 227,283 } 2, { 227,283,307 } 1, { 227,306 } 2, { 227,306,307 } 1, { 227,307 } 1, { 228,232 } 2, { 228,232,278,284,308 } 1, { 228,272 } 2, { 228,272,278 } 1, { 228,278 } 1, { 229,233 } 2, { 229,233,279,285,309 } 1, { 229,273 } 2, { 229,273,279 } 1, { 229,279 } 1, { 230,234 } 2, { 230,234,280,286,310 } 1, { 230,274 } 2, { 230,274,280 } 1, { 230,280 } 1, { 231,235 } 2, { 231,235,281,287,311 } 1, { 231,275 } 2, { 231,275,281 } 1, { 231,281 } 1, { 232,276 } 2, { 232,276,284 } 1, { 232,284 } 1, { 233,277 } 2, { 233,277,285 } 1, { 233,285 } 1, { 234,282 } 2, { 234,282,286 } 1, { 234,286 } 1, { 235,283 } 2, { 235,283,287 } 1, { 235,287 } 1, { 236,276 } 2, { 236,276,277 } 3, { 236,276,277,284,285,340,344,345,364 }, <1,2.61803398874991000156e+00,-1.61803398874989046163e+00,-1.30533345531134204231e-14,-1.89442719099992480380e+01> 2, { 236,276,284 } 1, { 236,277 } 2, { 236,277,285 } 1, { 236,284 } 2, { 236,284,285,344,345 } 1, { 236,285 } 1, { 237,278 } 2, { 237,278,280 } 3, { 237,278,280,308,310,342 }, <1,3.61803398874983805911e+00,-1.28116174791481581838e-14,-2.61803398874988157985e+00,-2.74164078649984226388e+01> 2, { 237,278,308 } 1, { 237,280 } 2, { 237,280,310 } 1, { 237,308 } 2, { 237,308,310 } 1, { 237,310 } 1, { 238,279 } 2, { 238,279,281 } 3, { 238,279,281,309,311,343 }, <1,3.61803398874985671085e+00,-1.06703691447487628187e-14,2.61803398874987447442e+00,-2.74164078649984972458e+01> 2, { 238,279,309 } 1, { 238,281 } 2, { 238,281,311 } 1, { 238,309 } 2, { 238,309,311 } 1, { 238,311 } 1, { 239,282 } 2, { 239,282,283 } 3, { 239,282,283,286,287,341,346,347,365 }, <1,2.61803398874982429234e+00,1.61803398874985893130e+00,-6.46007065415818301271e-16,-1.89442719099987009201e+01> 2, { 239,282,286 } 1, { 239,283 } 2, { 239,283,287 } 1, { 239,286 } 2, { 239,286,287,346,347 } 1, { 239,287 } 1, { 240,244 } 2, { 240,244,312,318,354 } 1, { 240,288 } 2, { 240,288,312 } 1, { 240,312 } 1, { 241,245 } 2, { 241,245,313,318,354 } 1, { 241,289 } 2, { 241,289,313 } 1, { 241,313 } 1, { 242,250 } 2, { 242,250,314,319,355 } 1, { 242,290 } 2, { 242,290,314 } 1, { 242,314 } 1, { 243,251 } 2, { 243,251,315,319,355 } 1, { 243,291 } 2, { 243,291,315 } 1, { 243,315 } 1, { 244,245 } 2, { 244,245,318 } 1, { 244,292 } 2, { 244,292,318 } 1, { 244,318 } 1, { 245,293 } 2, { 245,293,318 } 1, { 245,318 } 1, { 246,248 } 2, { 246,248,316 } 1, { 246,252 } 2, { 246,252,316,320,356 } 1, { 246,288 } 2, { 246,288,316 } 1, { 246,316 } 1, { 247,249 } 2, { 247,249,317 } 1, { 247,253 } 2, { 247,253,317,321,357 } 1, { 247,289 } 2, { 247,289,317 } 1, { 247,317 } 1, { 248,254 } 2, { 248,254,316,322,356 } 1, { 248,290 } 2, { 248,290,316 } 1, { 248,316 } 1, { 249,255 } 2, { 249,255,317,323,357 } 1, { 249,291 } 2, { 249,291,317 } 1, { 249,317 } 1, { 250,251 } 2, { 250,251,319 } 1, { 250,294 } 2, { 250,294,319 } 1, { 250,319 } 1, { 251,295 } 2, { 251,295,319 } 1, { 251,319 } 1, { 252,296 } 2, { 252,296,320 } 1, { 252,320 } 1, { 253,297 } 2, { 253,297,321 } 1, { 253,321 } 1, { 254,298 } 2, { 254,298,322 } 1, { 254,322 } 1, { 255,299 } 2, { 255,299,323 } 1, { 255,323 } 1, { 256,260 } 2, { 256,260,324,328,358 } 1, { 256,292 } 2, { 256,292,324 } 1, { 256,324 } 1, { 257,261 } 2, { 257,261,325,329,359 } 1, { 257,293 } 2, { 257,293,325 } 1, { 257,325 } 1, { 258,262 } 2, { 258,262,326,330,360 } 1, { 258,294 } 2, { 258,294,326 } 1, { 258,326 } 1, { 259,263 } 2, { 259,263,327,331,361 } 1, { 259,295 } 2, { 259,295,327 } 1, { 259,327 } 1, { 260,264 } 2, { 260,264,328 } 1, { 260,296 } 2, { 260,296,328 } 1, { 260,328 } 1, { 261,265 } 2, { 261,265,329 } 1, { 261,297 } 2, { 261,297,329 } 1, { 261,329 } 1, { 262,266 } 2, { 262,266,330 } 1, { 262,298 } 2, { 262,298,330 } 1, { 262,330 } 1, { 263,267 } 2, { 263,267,331 } 1, { 263,299 } 2, { 263,299,331 } 1, { 263,331 } 1, { 264,268 } 2, { 264,268,328,332,358 } 1, { 264,300 } 2, { 264,300,328 } 1, { 264,328 } 1, { 265,269 } 2, { 265,269,329,333,359 } 1, { 265,301 } 2, { 265,301,329 } 1, { 265,329 } 1, { 266,270 } 2, { 266,270,330,334,360 } 1, { 266,302 } 2, { 266,302,330 } 1, { 266,330 } 1, { 267,271 } 2, { 267,271,331,335,361 } 1, { 267,303 } 2, { 267,303,331 } 1, { 267,331 } 1, { 268,304 } 2, { 268,304,332 } 1, { 268,332 } 1, { 269,305 } 2, { 269,305,333 } 1, { 269,333 } 1, { 270,306 } 2, { 270,306,334 } 1, { 270,334 } 1, { 271,307 } 2, { 271,307,335 } 1, { 271,335 } 1, { 272,278 } 2, { 272,278,336,342,362 } 1, { 272,300 } 2, { 272,300,336 } 1, { 272,336 } 1, { 273,279 } 2, { 273,279,337,343,363 } 1, { 273,301 } 2, { 273,301,337 } 1, { 273,337 } 1, { 274,280 } 2, { 274,280,338,342,362 } 1, { 274,302 } 2, { 274,302,338 } 1, { 274,338 } 1, { 275,281 } 2, { 275,281,339,343,363 } 1, { 275,303 } 2, { 275,303,339 } 1, { 275,339 } 1, { 276,277 } 2, { 276,277,340 } 1, { 276,284 } 2, { 276,284,340,344,364 } 1, { 276,304 } 2, { 276,304,340 } 1, { 276,340 } 1, { 277,285 } 2, { 277,285,340,345,364 } 1, { 277,305 } 2, { 277,305,340 } 1, { 277,340 } 1, { 278,280 } 2, { 278,280,342 } 1, { 278,308 } 2, { 278,308,342 } 1, { 278,342 } 1, { 279,281 } 2, { 279,281,343 } 1, { 279,309 } 2, { 279,309,343 } 1, { 279,343 } 1, { 280,310 } 2, { 280,310,342 } 1, { 280,342 } 1, { 281,311 } 2, { 281,311,343 } 1, { 281,343 } 1, { 282,283 } 2, { 282,283,341 } 1, { 282,286 } 2, { 282,286,341,346,365 } 1, { 282,306 } 2, { 282,306,341 } 1, { 282,341 } 1, { 283,287 } 2, { 283,287,341,347,365 } 1, { 283,307 } 2, { 283,307,341 } 1, { 283,341 } 1, { 284,308 } 2, { 284,308,344 } 1, { 284,344 } 1, { 285,309 } 2, { 285,309,345 } 1, { 285,345 } 1, { 286,310 } 2, { 286,310,346 } 1, { 286,346 } 1, { 287,311 } 2, { 287,311,347 } 1, { 287,347 } 1, { 288,290 } 2, { 288,290,316 } 2, { 288,290,312,314,348 } 3, { 288,290,312,314,316,348,366,368,370 }, <1.61803398874987269807e+00,-2.61803398874988291212e+00,-3.98495325890195255911e-15,-1,-1.89442719099990490861e+01> 1, { 288,312 } 2, { 288,312,316,366,370 } 1, { 288,316 } 1, { 289,291 } 2, { 289,291,317 } 2, { 289,291,313,315,348 } 3, { 289,291,313,315,317,348,367,369,371 }, <1.61803398874991155587e+00,-2.61803398874988868528e+00,-3.78083864095272897739e-15,1,-1.89442719099991805365e+01> 1, { 289,313 } 2, { 289,313,317,367,371 } 1, { 289,317 } 1, { 290,314 } 2, { 290,314,316,368,370 } 1, { 290,316 } 1, { 291,315 } 2, { 291,315,317,369,371 } 1, { 291,317 } 1, { 292,293 } 2, { 292,293,318 } 3, { 292,293,318,324,325,349,372,374,375 }, <1.61803398874989068368e+00,-1,-2.61803398874989889933e+00,-6.45105765974322811924e-16,-1.89442719099991698783e+01> 2, { 292,293,324,325,349 } 1, { 292,318 } 2, { 292,318,324,372,374 } 1, { 292,324 } 1, { 293,318 } 2, { 293,318,325,372,375 } 1, { 293,325 } 1, { 294,295 } 2, { 294,295,319 } 3, { 294,295,319,326,327,352,373,380,381 }, <1.61803398874984227795e+00,-1,2.61803398874990822520e+00,-4.91168078720473688380e-15,-1.89442719099990988241e+01> 2, { 294,295,326,327,352 } 1, { 294,319 } 2, { 294,319,326,373,380 } 1, { 294,326 } 1, { 295,319 } 2, { 295,319,327,373,381 } 1, { 295,327 } 1, { 296,300 } 2, { 296,300,328 } 2, { 296,300,320,336,350 } 3, { 296,300,320,328,336,350,376,382,388 }, <1.61803398874986736899e+00,-1.11561084339956767654e-14,-1,-2.61803398874990733702e+00,-1.89442719099991379039e+01> 1, { 296,320 } 2, { 296,320,328,376,382 } 1, { 296,328 } 1, { 297,301 } 2, { 297,301,329 } 2, { 297,301,321,337,351 } 3, { 297,301,321,329,337,351,377,383,389 }, <1.61803398874988046963e+00,-6.74357529900882060527e-15,-1,2.61803398874987269807e+00,-1.89442719099990277698e+01> 1, { 297,321 } 2, { 297,321,329,377,383 } 1, { 297,329 } 1, { 298,302 } 2, { 298,302,330 } 2, { 298,302,322,338,350 } 3, { 298,302,322,330,338,350,378,384,390 }, <1.61803398874992065970e+00,-7.98131305017975591965e-15,1,-2.61803398874990911338e+00,-1.89442719099992835652e+01> 1, { 298,322 } 2, { 298,322,330,378,384 } 1, { 298,330 } 1, { 299,303 } 2, { 299,303,331 } 2, { 299,303,323,339,351 } 3, { 299,303,323,331,339,351,379,385,391 }, <1.61803398874993575873e+00,-1.88419460949478933073e-15,1,2.61803398874991710699e+00,-1.89442719099993581722e+01> 1, { 299,323 } 2, { 299,323,331,379,385 } 1, { 299,331 } 1, { 300,328 } 2, { 300,328,336,382,388 } 1, { 300,336 } 1, { 301,329 } 2, { 301,329,337,383,389 } 1, { 301,337 } 1, { 302,330 } 2, { 302,330,338,384,390 } 1, { 302,338 } 1, { 303,331 } 2, { 303,331,339,385,391 } 1, { 303,339 } 1, { 304,305 } 2, { 304,305,340 } 2, { 304,305,332,333,349 } 3, { 304,305,332,333,340,349,386,387,394 }, <1.61803398874992887535e+00,1,-2.61803398874992021561e+00,-6.31493508450824946967e-15,-1.89442719099993581722e+01> 1, { 304,332 } 2, { 304,332,340,386,394 } 1, { 304,340 } 1, { 305,333 } 2, { 305,333,340,387,394 } 1, { 305,340 } 1, { 306,307 } 2, { 306,307,341 } 2, { 306,307,334,335,352 } 3, { 306,307,334,335,341,352,392,393,395 }, <1.61803398874992243606e+00,1,2.61803398874997883539e+00,-4.47993716267028676721e-15,-1.89442719099995855458e+01> 1, { 306,334 } 2, { 306,334,341,392,395 } 1, { 306,341 } 1, { 307,335 } 2, { 307,335,341,393,395 } 1, { 307,341 } 1, { 308,310 } 2, { 308,310,342 } 3, { 308,310,342,344,346,353,396,398,400 }, <1.61803398874987625078e+00,2.61803398874987536260e+00,-4.88293141408021617772e-15,-1,-1.89442719099990171117e+01> 2, { 308,310,344,346,353 } 1, { 308,342 } 2, { 308,342,344,396,398 } 1, { 308,344 } 1, { 309,311 } 2, { 309,311,343 } 3, { 309,311,343,345,347,353,397,399,401 }, <1.61803398874988291212e+00,2.61803398874989445844e+00,-4.06504732869376599602e-15,1,-1.89442719099991272458e+01> 2, { 309,311,345,347,353 } 1, { 309,343 } 2, { 309,343,345,397,399 } 1, { 309,345 } 1, { 310,342 } 2, { 310,342,346,396,400 } 1, { 310,346 } 1, { 311,343 } 2, { 311,343,347,397,401 } 1, { 311,347 } 1, { 312,313 } 2, { 312,313,348 } 3, { 312,313,348,354,366,367 }, <2.61803398874988069167e+00,-3.61803398874988246803e+00,-1,-1.01313198184692540211e-14,-2.74164078649986322489e+01> 2, { 312,313,354 } 1, { 312,348 } 2, { 312,348,366 } 1, { 312,354 } 2, { 312,354,366 } 1, { 312,366 } 1, { 313,348 } 2, { 313,348,367 } 1, { 313,354 } 2, { 313,354,367 } 1, { 313,367 } 1, { 314,315 } 2, { 314,315,348 } 3, { 314,315,348,355,368,369 }, <2.61803398874991133383e+00,-3.61803398874989134981e+00,1,-1.16701237034821240583e-14,-2.74164078649987814629e+01> 2, { 314,315,355 } 1, { 314,348 } 2, { 314,348,368 } 1, { 314,355 } 2, { 314,355,368 } 1, { 314,368 } 1, { 315,348 } 2, { 315,348,369 } 1, { 315,355 } 2, { 315,355,369 } 1, { 315,369 } 1, { 316,356 } 2, { 316,356,370 } 1, { 316,370 } 1, { 317,357 } 2, { 317,357,371 } 1, { 317,371 } 1, { 318,354 } 2, { 318,354,372 } 1, { 318,372 } 1, { 319,355 } 2, { 319,355,373 } 1, { 319,373 } 1, { 320,322 } 2, { 320,322,350 } 3, { 320,322,350,356,376,378 }, <2.61803398874993842327e+00,-1,-1.34809498868637090344e-14,-3.61803398874993042966e+00,-2.74164078649990479164e+01> 2, { 320,322,356 } 1, { 320,350 } 2, { 320,350,376 } 1, { 320,356 } 2, { 320,356,376 } 1, { 320,376 } 1, { 321,323 } 2, { 321,323,351 } 3, { 321,323,351,357,377,379 }, <2.61803398874994996959e+00,-1,-7.63502071981541584937e-15,3.61803398874990289613e+00,-2.74164078649989733094e+01> 2, { 321,323,357 } 1, { 321,351 } 2, { 321,351,377 } 1, { 321,357 } 2, { 321,357,377 } 1, { 321,377 } 1, { 322,350 } 2, { 322,350,378 } 1, { 322,356 } 2, { 322,356,378 } 1, { 322,378 } 1, { 323,351 } 2, { 323,351,379 } 1, { 323,357 } 2, { 323,357,379 } 1, { 323,379 } 1, { 324,332 } 2, { 324,332,349 } 3, { 324,332,349,358,374,386 }, <2.61803398874991133383e+00,-1.42146126794867414220e-14,-3.61803398874990911338e+00,-1,-2.74164078649988560699e+01> 2, { 324,332,358 } 1, { 324,349 } 2, { 324,349,374 } 1, { 324,358 } 2, { 324,358,374 } 1, { 324,374 } 1, { 325,333 } 2, { 325,333,349 } 3, { 325,333,349,359,375,387 }, <2.61803398874991444245e+00,-1.36904364714928071488e-14,-3.61803398874990378431e+00,1,-2.74164078649988489644e+01> 2, { 325,333,359 } 1, { 325,349 } 2, { 325,349,375 } 1, { 325,359 } 2, { 325,359,375 } 1, { 325,375 } 1, { 326,334 } 2, { 326,334,352 } 3, { 326,334,352,360,380,392 }, <2.61803398874998327628e+00,-1.32410221834913291027e-14,3.61803398875002546475e+00,-1,-2.74164078649996092452e+01> 2, { 326,334,360 } 1, { 326,352 } 2, { 326,352,380 } 1, { 326,360 } 2, { 326,360,380 } 1, { 326,380 } 1, { 327,335 } 2, { 327,335,352 } 3, { 327,335,352,361,381,393 }, <2.61803398875004766921e+00,-9.99112969392937174461e-15,3.61803398875005255420e+00,1,-2.74164078649999538584e+01> 2, { 327,335,361 } 1, { 327,352 } 2, { 327,352,381 } 1, { 327,361 } 2, { 327,361,381 } 1, { 327,381 } 1, { 328,358 } 2, { 328,358,382 } 1, { 328,382 } 1, { 329,359 } 2, { 329,359,383 } 1, { 329,383 } 1, { 330,360 } 2, { 330,360,384 } 1, { 330,384 } 1, { 331,361 } 2, { 331,361,385 } 1, { 331,385 } 1, { 332,349 } 2, { 332,349,386 } 1, { 332,358 } 2, { 332,358,386 } 1, { 332,386 } 1, { 333,349 } 2, { 333,349,387 } 1, { 333,359 } 2, { 333,359,387 } 1, { 333,387 } 1, { 334,352 } 2, { 334,352,392 } 1, { 334,360 } 2, { 334,360,392 } 1, { 334,392 } 1, { 335,352 } 2, { 335,352,393 } 1, { 335,361 } 2, { 335,361,393 } 1, { 335,393 } 1, { 336,338 } 2, { 336,338,350 } 3, { 336,338,350,362,388,390 }, <2.61803398874998993762e+00,1,-1.21352141947917898885e-14,-3.61803398874994819323e+00,-2.74164078649993072645e+01> 2, { 336,338,362 } 1, { 336,350 } 2, { 336,350,388 } 1, { 336,362 } 2, { 336,362,388 } 1, { 336,388 } 1, { 337,339 } 2, { 337,339,351 } 3, { 337,339,351,363,389,391 }, <2.61803398875002191204e+00,1,-3.71646802888407793605e-15,3.61803398874992820922e+00,-2.74164078649993392389e+01> 2, { 337,339,363 } 1, { 337,351 } 2, { 337,351,389 } 1, { 337,363 } 2, { 337,363,389 } 1, { 337,389 } 1, { 338,350 } 2, { 338,350,390 } 1, { 338,362 } 2, { 338,362,390 } 1, { 338,390 } 1, { 339,351 } 2, { 339,351,391 } 1, { 339,363 } 2, { 339,363,391 } 1, { 339,391 } 1, { 340,364 } 2, { 340,364,394 } 1, { 340,394 } 1, { 341,365 } 2, { 341,365,395 } 1, { 341,395 } 1, { 342,362 } 2, { 342,362,396 } 1, { 342,396 } 1, { 343,363 } 2, { 343,363,397 } 1, { 343,397 } 1, { 344,345 } 2, { 344,345,353 } 3, { 344,345,353,364,398,399 }, <2.61803398875004988966e+00,3.61803398874998460855e+00,-1,-1.07897381283508093829e-14,-2.74164078649996802994e+01> 2, { 344,345,364 } 1, { 344,353 } 2, { 344,353,398 } 1, { 344,364 } 2, { 344,364,398 } 1, { 344,398 } 1, { 345,353 } 2, { 345,353,399 } 1, { 345,364 } 2, { 345,364,399 } 1, { 345,399 } 1, { 346,347 } 2, { 346,347,353 } 3, { 346,347,353,365,400,401 }, <2.61803398875000636892e+00,3.61803398874996728907e+00,1,-3.12158803140274641283e-15,-2.74164078649994493730e+01> 2, { 346,347,365 } 1, { 346,353 } 2, { 346,353,400 } 1, { 346,365 } 2, { 346,365,400 } 1, { 346,400 } 1, { 347,353 } 2, { 347,353,401 } 1, { 347,365 } 2, { 347,365,401 } 1, { 347,401 } 1, { 348,366 } 2, { 348,366,367 } 3, { 348,366,367,368,369,402 }, <1,-9.99999999999999111822e-01,-1.83461672797872790002e-16,-1.39382603711420395948e-15,-8.47213595499957605739e+00> 2, { 348,366,368 } 1, { 348,367 } 2, { 348,367,369 } 1, { 348,368 } 2, { 348,368,369 } 1, { 348,369 } 1, { 349,374 } 2, { 349,374,375 } 3, { 349,374,375,386,387,415 }, <1,-3.03437973858561407090e-15,-1.00000000000000577316e+00,-4.21962630498147377035e-15,-8.47213595499960447910e+00> 2, { 349,374,386 } 1, { 349,375 } 2, { 349,375,387 } 1, { 349,386 } 2, { 349,386,387 } 1, { 349,387 } 1, { 350,376 } 2, { 350,376,378 } 3, { 350,376,378,388,390,416 }, <1,-2.93538676476596937320e-15,-1.81394447837832131137e-15,-1.00000000000000555112e+00,-8.47213595499960270274e+00> 2, { 350,376,388 } 1, { 350,378 } 2, { 350,378,390 } 1, { 350,388 } 2, { 350,388,390 } 1, { 350,390 } 1, { 351,377 } 2, { 351,377,379 } 3, { 351,377,379,389,391,417 }, <1,-2.72571628156837333916e-15,-7.03206002108499053296e-16,9.99999999999995003996e-01,-8.47213595499955651746e+00> 2, { 351,377,389 } 1, { 351,379 } 2, { 351,379,391 } 1, { 351,389 } 2, { 351,389,391 } 1, { 351,391 } 1, { 352,380 } 2, { 352,380,381 } 3, { 352,380,381,392,393,418 }, <1,9.71949760015695245982e-15,1.00000000000001709743e+00,-2.21502041996901016356e-15,-8.47213595499966309887e+00> 2, { 352,380,392 } 1, { 352,381 } 2, { 352,381,393 } 1, { 352,392 } 2, { 352,392,393 } 1, { 352,393 } 1, { 353,398 } 2, { 353,398,399 } 3, { 353,398,399,400,401,431 }, <1,9.99999999999991784350e-01,-6.82739510912086713836e-15,-1.71403431864728023109e-15,-8.47213595499954053025e+00> 2, { 353,398,400 } 1, { 353,399 } 2, { 353,399,401 } 1, { 353,400 } 2, { 353,400,401 } 1, { 353,401 } 1, { 354,366 } 2, { 354,366,367 } 3, { 354,366,367,372,402,403,404,407,408 }, <2.61803398874994464052e+00,-1.61803398874991577472e+00,-1,-2.72267564848478505534e-15,-1.89442719099994292264e+01> 2, { 354,366,372,403,407 } 1, { 354,367 } 2, { 354,367,372,404,408 } 1, { 354,372 } 1, { 355,368 } 2, { 355,368,369 } 3, { 355,368,369,373,402,405,406,409,410 }, <2.61803398874994197598e+00,-1.61803398874991222200e+00,1,-3.79989461028332911872e-15,-1.89442719099994043574e+01> 2, { 355,368,373,405,409 } 1, { 355,369 } 2, { 355,369,373,406,410 } 1, { 355,373 } 1, { 356,370 } 2, { 356,370,376,403,411 } 3, { 356,370,376,378,403,405,411,413,416 }, <2.61803398874977055755e+00,-1,-3.47735317457577724191e-15,-1.61803398874981563260e+00,-1.89442719099982888054e+01> 2, { 356,370,378,405,413 } 1, { 356,376 } 2, { 356,376,378 } 1, { 356,378 } 1, { 357,371 } 2, { 357,371,377,404,412 } 3, { 357,371,377,379,404,406,412,414,417 }, <2.61803398874983939137e+00,-1,-1.56056825395596076822e-14,1.61803398874985182587e+00,-1.89442719099987257891e+01> 2, { 357,371,379,406,414 } 1, { 357,377 } 2, { 357,377,379 } 1, { 357,379 } 1, { 358,374 } 2, { 358,374,386 } 2, { 358,374,382,407,411 } 3, { 358,374,382,386,407,411,415,419,423 }, <2.61803398875001125390e+00,-1.96767301585740421316e-14,-1.61803398874990733702e+00,-1,-1.89442719099996850218e+01> 1, { 358,382 } 2, { 358,382,386,419,423 } 1, { 358,386 } 1, { 359,375 } 2, { 359,375,387 } 2, { 359,375,383,408,412 } 3, { 359,375,383,387,408,412,415,420,424 }, <2.61803398874996107182e+00,-3.25295346215170740126e-14,-1.61803398874989778911e+00,1,-1.89442719099994221210e+01> 1, { 359,383 } 2, { 359,383,387,420,424 } 1, { 359,387 } 1, { 360,380 } 2, { 360,380,392 } 2, { 360,380,384,409,413 } 3, { 360,380,384,392,409,413,418,421,425 }, <2.61803398874984560862e+00,-7.21762817454687548880e-14,1.61803398874986004152e+00,-1,-1.89442719099987293419e+01> 1, { 360,384 } 2, { 360,384,392,421,425 } 1, { 360,392 } 1, { 361,381 } 2, { 361,381,393 } 2, { 361,381,385,410,414 } 3, { 361,381,385,393,410,414,418,422,426 }, <2.61803398874981541056e+00,-1.99840144432530701631e-14,1.61803398874989157186e+00,1,-1.89442719099987861853e+01> 1, { 361,385 } 2, { 361,385,393,422,426 } 1, { 361,393 } 1, { 362,388 } 2, { 362,388,390 } 3, { 362,388,390,396,416,419,421,427,429 }, <2.61803398874998949353e+00,1,-3.38102840105622157366e-15,-1.61803398874993131784e+00,-1.89442719099996566001e+01> 2, { 362,388,396,419,427 } 1, { 362,390 } 2, { 362,390,396,421,429 } 1, { 362,396 } 1, { 363,389 } 2, { 363,389,391 } 3, { 363,389,391,397,417,420,422,428,430 }, <2.61803398875001658297e+00,1,-2.06196520484550546924e-15,1.61803398874994108780e+00,-1.89442719099997951560e+01> 2, { 363,389,397,420,428 } 1, { 363,391 } 2, { 363,391,397,422,430 } 1, { 363,397 } 1, { 364,394 } 2, { 364,394,398,423,427 } 3, { 364,394,398,399,423,424,427,428,431 }, <2.61803398875009696312e+00,1.61803398874996928747e+00,-1,4.71563015869195829766e-14,-1.89442719100003813537e+01> 2, { 364,394,399,424,428 } 1, { 364,398 } 2, { 364,398,399 } 1, { 364,399 } 1, { 365,395 } 2, { 365,395,400,425,429 } 3, { 365,395,400,401,425,426,429,430,431 }, <2.61803398874977899524e+00,1.61803398874980142175e+00,1,-1.14498214284809111502e-15,-1.89442719099982745945e+01> 2, { 365,395,401,426,430 } 1, { 365,400 } 2, { 365,400,401 } 1, { 365,401 } 1, { 366,367 } 2, { 366,367,402 } 1, { 366,368 } 2, { 366,368,370 } 3, { 366,368,370,402,403,405 }, <3.61803398874991888334e+00,-2.61803398874988424438e+00,-4.05055944648712842624e-15,-1,-2.74164078649988312009e+01> 2, { 366,368,402 } 1, { 366,370 } 2, { 366,370,403 } 1, { 366,402 } 2, { 366,402,403 } 1, { 366,403 } 1, { 367,369 } 2, { 367,369,371 } 3, { 367,369,371,402,404,406 }, <3.61803398874986958944e+00,-2.61803398874989179390e+00,-3.84644482853790484452e-15,1,-2.74164078649986002745e+01> 2, { 367,369,402 } 1, { 367,371 } 2, { 367,371,404 } 1, { 367,402 } 2, { 367,402,404 } 1, { 367,404 } 1, { 368,369 } 2, { 368,369,402 } 1, { 368,370 } 2, { 368,370,405 } 1, { 368,402 } 2, { 368,402,405 } 1, { 368,405 } 1, { 369,371 } 2, { 369,371,406 } 1, { 369,402 } 2, { 369,402,406 } 1, { 369,406 } 1, { 370,403 } 2, { 370,403,405 } 1, { 370,405 } 1, { 371,404 } 2, { 371,404,406 } 1, { 371,406 } 1, { 372,374 } 2, { 372,374,375 } 3, { 372,374,375,407,408,415 }, <3.61803398874991222200e+00,-1,-2.61803398874989268208e+00,-1.01627801101944769149e-15,-2.74164078649988205427e+01> 2, { 372,374,407 } 1, { 372,375 } 2, { 372,375,408 } 1, { 372,407 } 2, { 372,407,408 } 1, { 372,408 } 1, { 373,380 } 2, { 373,380,381 } 3, { 373,380,381,409,410,418 }, <3.61803398875001436252e+00,-1,2.61803398874990200795e+00,-5.28285303224987911831e-15,-2.74164078649993925296e+01> 2, { 373,380,409 } 1, { 373,381 } 2, { 373,381,410 } 1, { 373,409 } 2, { 373,409,410 } 1, { 373,410 } 1, { 374,375 } 2, { 374,375,415 } 1, { 374,386 } 2, { 374,386,415 } 1, { 374,407 } 2, { 374,407,415 } 1, { 374,415 } 1, { 375,387 } 2, { 375,387,415 } 1, { 375,408 } 2, { 375,408,415 } 1, { 375,415 } 1, { 376,378 } 2, { 376,378,416 } 1, { 376,382 } 2, { 376,382,388 } 3, { 376,382,388,411,416,419 }, <3.61803398874995707502e+00,-1.35010901235251939940e-14,-1,-2.61803398874990733702e+00,-2.74164078649991118652e+01> 2, { 376,382,411 } 1, { 376,388 } 2, { 376,388,416 } 1, { 376,411 } 2, { 376,411,416 } 1, { 376,416 } 1, { 377,379 } 2, { 377,379,417 } 1, { 377,383 } 2, { 377,383,389 } 3, { 377,383,389,412,417,420 }, <3.61803398874988157985e+00,-9.08855698853823449304e-15,-1,2.61803398874987225398e+00,-2.74164078649986215908e+01> 2, { 377,383,412 } 1, { 377,389 } 2, { 377,389,417 } 1, { 377,412 } 2, { 377,412,417 } 1, { 377,417 } 1, { 378,384 } 2, { 378,384,390 } 3, { 378,384,390,413,416,421 }, <3.61803398874987225398e+00,-1.03262947397091122206e-14,1,-2.61803398874990955747e+00,-2.74164078649986677760e+01> 2, { 378,384,413 } 1, { 378,390 } 2, { 378,390,416 } 1, { 378,413 } 2, { 378,413,416 } 1, { 378,416 } 1, { 379,385 } 2, { 379,385,391 } 3, { 379,385,391,414,417,422 }, <3.61803398874986781308e+00,-4.22917629902412117696e-15,1,2.61803398874991710699e+00,-2.74164078649986606706e+01> 2, { 379,385,414 } 1, { 379,391 } 2, { 379,391,417 } 1, { 379,414 } 2, { 379,414,417 } 1, { 379,417 } 1, { 380,381 } 2, { 380,381,418 } 1, { 380,392 } 2, { 380,392,418 } 1, { 380,409 } 2, { 380,409,418 } 1, { 380,418 } 1, { 381,393 } 2, { 381,393,418 } 1, { 381,410 } 2, { 381,410,418 } 1, { 381,418 } 1, { 382,388 } 2, { 382,388,419 } 1, { 382,411 } 2, { 382,411,419 } 1, { 382,419 } 1, { 383,389 } 2, { 383,389,420 } 1, { 383,412 } 2, { 383,412,420 } 1, { 383,420 } 1, { 384,390 } 2, { 384,390,421 } 1, { 384,413 } 2, { 384,413,421 } 1, { 384,421 } 1, { 385,391 } 2, { 385,391,422 } 1, { 385,414 } 2, { 385,414,422 } 1, { 385,422 } 1, { 386,387 } 2, { 386,387,394 } 3, { 386,387,394,415,423,424 }, <3.61803398874988779710e+00,1,-2.61803398874992643286e+00,-6.68610732955337750468e-15,-2.74164078649988027792e+01> 2, { 386,387,415 } 1, { 386,394 } 2, { 386,394,423 } 1, { 386,415 } 2, { 386,415,423 } 1, { 386,423 } 1, { 387,394 } 2, { 387,394,424 } 1, { 387,415 } 2, { 387,415,424 } 1, { 387,424 } 1, { 388,390 } 2, { 388,390,416 } 1, { 388,416 } 2, { 388,416,419 } 1, { 388,419 } 1, { 389,391 } 2, { 389,391,417 } 1, { 389,417 } 2, { 389,417,420 } 1, { 389,420 } 1, { 390,416 } 2, { 390,416,421 } 1, { 390,421 } 1, { 391,417 } 2, { 391,417,422 } 1, { 391,422 } 1, { 392,393 } 2, { 392,393,395 } 3, { 392,393,395,418,425,426 }, <3.61803398874995618684e+00,1,2.61803398874998505264e+00,-4.85110940771542505741e-15,-2.74164078649993498971e+01> 2, { 392,393,418 } 1, { 392,395 } 2, { 392,395,425 } 1, { 392,418 } 2, { 392,418,425 } 1, { 392,425 } 1, { 393,395 } 2, { 393,395,426 } 1, { 393,418 } 2, { 393,418,426 } 1, { 393,426 } 1, { 394,423 } 2, { 394,423,424 } 1, { 394,424 } 1, { 395,425 } 2, { 395,425,426 } 1, { 395,426 } 1, { 396,398 } 2, { 396,398,400 } 3, { 396,398,400,427,429,431 }, <3.61803398874989046163e+00,2.61803398874987180989e+00,-4.94853760166539046713e-15,-1,-2.74164078649986642233e+01> 2, { 396,398,427 } 1, { 396,400 } 2, { 396,400,429 } 1, { 396,427 } 2, { 396,427,429 } 1, { 396,429 } 1, { 397,399 } 2, { 397,399,401 } 3, { 397,399,401,428,430,431 }, <3.61803398874992909739e+00,2.61803398874989268208e+00,-4.13065351627894501860e-15,1,-2.74164078649989164660e+01> 2, { 397,399,428 } 1, { 397,401 } 2, { 397,401,430 } 1, { 397,428 } 2, { 397,428,430 } 1, { 397,430 } 1, { 398,399 } 2, { 398,399,431 } 1, { 398,400 } 2, { 398,400,431 } 1, { 398,427 } 2, { 398,427,431 } 1, { 398,431 } 1, { 399,401 } 2, { 399,401,431 } 1, { 399,428 } 2, { 399,428,431 } 1, { 399,431 } 1, { 400,401 } 2, { 400,401,431 } 1, { 400,429 } 2, { 400,429,431 } 1, { 400,431 } 1, { 401,430 } 2, { 401,430,431 } 1, { 401,431 } 1, { 402,403 } 2, { 402,403,405 } 2, { 402,403,404,407,408 } 3, { 402,403,404,405,406,407,408,409,410,411,412,413,414,415,416,417,418,419,420,421,422,423,424,425,426,427,428,429,430,431 }, <1,-7.63321428565427103658e-15,2.33237103172769371967e-16,-3.69943051587683344092e-16,-5.23606797749981112133e+00> 1, { 402,404 } 2, { 402,404,406 } 1, { 402,405 } 2, { 402,405,406,409,410 } 1, { 402,406 } 1, { 403,405 } 2, { 403,405,411,413,416 } 1, { 403,407 } 2, { 403,407,411 } 1, { 403,411 } 1, { 404,406 } 2, { 404,406,412,414,417 } 1, { 404,408 } 2, { 404,408,412 } 1, { 404,412 } 1, { 405,409 } 2, { 405,409,413 } 1, { 405,413 } 1, { 406,410 } 2, { 406,410,414 } 1, { 406,414 } 1, { 407,408 } 2, { 407,408,415 } 1, { 407,411 } 2, { 407,411,415,419,423 } 1, { 407,415 } 1, { 408,412 } 2, { 408,412,415,420,424 } 1, { 408,415 } 1, { 409,410 } 2, { 409,410,418 } 1, { 409,413 } 2, { 409,413,418,421,425 } 1, { 409,418 } 1, { 410,414 } 2, { 410,414,418,422,426 } 1, { 410,418 } 1, { 411,416 } 2, { 411,416,419 } 1, { 411,419 } 1, { 412,417 } 2, { 412,417,420 } 1, { 412,420 } 1, { 413,416 } 2, { 413,416,421 } 1, { 413,421 } 1, { 414,417 } 2, { 414,417,422 } 1, { 414,422 } 1, { 415,423 } 2, { 415,423,424 } 1, { 415,424 } 1, { 416,419 } 2, { 416,419,421,427,429 } 1, { 416,421 } 1, { 417,420 } 2, { 417,420,422,428,430 } 1, { 417,422 } 1, { 418,425 } 2, { 418,425,426 } 1, { 418,426 } 1, { 419,423 } 2, { 419,423,427 } 1, { 419,427 } 1, { 420,424 } 2, { 420,424,428 } 1, { 420,428 } 1, { 421,425 } 2, { 421,425,429 } 1, { 421,429 } 1, { 422,426 } 2, { 422,426,430 } 1, { 422,430 } 1, { 423,424 } 2, { 423,424,427,428,431 } 1, { 423,427 } 1, { 424,428 } 1, { 425,426 } 2, { 425,426,429,430,431 } 1, { 425,429 } 1, { 426,430 } 1, { 427,429 } 2, { 427,429,431 } 1, { 427,431 } 1, { 428,430 } 2, { 428,430,431 } 1, { 428,431 } 1, { 429,431 } 1, { 430,431 } } }