# Automatically generated by makepoly.
polytope runci_snub24cell {
	dimension 4
	vertices {
		<-4.61803398874989490253e+00, -1.61803398874989490253e+00, -1, 0>
		<-4.61803398874989490253e+00, -1.61803398874989490253e+00, 1, 0>
		<-4.61803398874989490253e+00, -1, 0, -1.61803398874989490253e+00>
		<-4.61803398874989490253e+00, -1, 0, 1.61803398874989490253e+00>
		<-4.61803398874989490253e+00, 0, -1.61803398874989490253e+00, -1>
		<-4.61803398874989490253e+00, 0, -1.61803398874989490253e+00, 1>
		<-4.61803398874989490253e+00, 0, 1.61803398874989490253e+00, -1>
		<-4.61803398874989490253e+00, 0, 1.61803398874989490253e+00, 1>
		<-4.61803398874989490253e+00, 1, 0, -1.61803398874989490253e+00>
		<-4.61803398874989490253e+00, 1, 0, 1.61803398874989490253e+00>
		<-4.61803398874989490253e+00, 1.61803398874989490253e+00, -1, 0>
		<-4.61803398874989490253e+00, 1.61803398874989490253e+00, 1, 0>
		<-3.61803398874989490253e+00, -2.61803398874989490253e+00, -2, -1>
		<-3.61803398874989490253e+00, -2.61803398874989490253e+00, -2, 1>
		<-3.61803398874989490253e+00, -2.61803398874989490253e+00, 2, -1>
		<-3.61803398874989490253e+00, -2.61803398874989490253e+00, 2, 1>
		<-3.61803398874989490253e+00, -2, -1, -2.61803398874989490253e+00>
		<-3.61803398874989490253e+00, -2, -1, 2.61803398874989490253e+00>
		<-3.61803398874989490253e+00, -2, 1, -2.61803398874989490253e+00>
		<-3.61803398874989490253e+00, -2, 1, 2.61803398874989490253e+00>
		<-3.61803398874989490253e+00, -1, -2.61803398874989490253e+00, -2>
		<-3.61803398874989490253e+00, -1, -2.61803398874989490253e+00, 2>
		<-3.61803398874989490253e+00, -1, 2.61803398874989490253e+00, -2>
		<-3.61803398874989490253e+00, -1, 2.61803398874989490253e+00, 2>
		<-3.61803398874989490253e+00, 1, -2.61803398874989490253e+00, -2>
		<-3.61803398874989490253e+00, 1, -2.61803398874989490253e+00, 2>
		<-3.61803398874989490253e+00, 1, 2.61803398874989490253e+00, -2>
		<-3.61803398874989490253e+00, 1, 2.61803398874989490253e+00, 2>
		<-3.61803398874989490253e+00, 2, -1, -2.61803398874989490253e+00>
		<-3.61803398874989490253e+00, 2, -1, 2.61803398874989490253e+00>
		<-3.61803398874989490253e+00, 2, 1, -2.61803398874989490253e+00>
		<-3.61803398874989490253e+00, 2, 1, 2.61803398874989490253e+00>
		<-3.61803398874989490253e+00, 2.61803398874989490253e+00, -2, -1>
		<-3.61803398874989490253e+00, 2.61803398874989490253e+00, -2, 1>
		<-3.61803398874989490253e+00, 2.61803398874989490253e+00, 2, -1>
		<-3.61803398874989490253e+00, 2.61803398874989490253e+00, 2, 1>
		<-2.61803398874989490253e+00, -3.61803398874989490253e+00, -1, -2>
		<-2.61803398874989490253e+00, -3.61803398874989490253e+00, -1, 2>
		<-2.61803398874989490253e+00, -3.61803398874989490253e+00, 1, -2>
		<-2.61803398874989490253e+00, -3.61803398874989490253e+00, 1, 2>
		<-2.61803398874989490253e+00, -2, -3.61803398874989490253e+00, -1>
		<-2.61803398874989490253e+00, -2, -3.61803398874989490253e+00, 1>
		<-2.61803398874989490253e+00, -2, 3.61803398874989490253e+00, -1>
		<-2.61803398874989490253e+00, -2, 3.61803398874989490253e+00, 1>
		<-2.61803398874989490253e+00, -1, -2, -3.61803398874989490253e+00>
		<-2.61803398874989490253e+00, -1, -2, 3.61803398874989490253e+00>
		<-2.61803398874989490253e+00, -1, 2, -3.61803398874989490253e+00>
		<-2.61803398874989490253e+00, -1, 2, 3.61803398874989490253e+00>
		<-2.61803398874989490253e+00, 1, -2, -3.61803398874989490253e+00>
		<-2.61803398874989490253e+00, 1, -2, 3.61803398874989490253e+00>
		<-2.61803398874989490253e+00, 1, 2, -3.61803398874989490253e+00>
		<-2.61803398874989490253e+00, 1, 2, 3.61803398874989490253e+00>
		<-2.61803398874989490253e+00, 2, -3.61803398874989490253e+00, -1>
		<-2.61803398874989490253e+00, 2, -3.61803398874989490253e+00, 1>
		<-2.61803398874989490253e+00, 2, 3.61803398874989490253e+00, -1>
		<-2.61803398874989490253e+00, 2, 3.61803398874989490253e+00, 1>
		<-2.61803398874989490253e+00, 3.61803398874989490253e+00, -1, -2>
		<-2.61803398874989490253e+00, 3.61803398874989490253e+00, -1, 2>
		<-2.61803398874989490253e+00, 3.61803398874989490253e+00, 1, -2>
		<-2.61803398874989490253e+00, 3.61803398874989490253e+00, 1, 2>
		<-2, -3.61803398874989490253e+00, -2.61803398874989490253e+00, -1>
		<-2, -3.61803398874989490253e+00, -2.61803398874989490253e+00, 1>
		<-2, -3.61803398874989490253e+00, 2.61803398874989490253e+00, -1>
		<-2, -3.61803398874989490253e+00, 2.61803398874989490253e+00, 1>
		<-2, -2.61803398874989490253e+00, -1, -3.61803398874989490253e+00>
		<-2, -2.61803398874989490253e+00, -1, 3.61803398874989490253e+00>
		<-2, -2.61803398874989490253e+00, 1, -3.61803398874989490253e+00>
		<-2, -2.61803398874989490253e+00, 1, 3.61803398874989490253e+00>
		<-2, -1, -3.61803398874989490253e+00, -2.61803398874989490253e+00>
		<-2, -1, -3.61803398874989490253e+00, 2.61803398874989490253e+00>
		<-2, -1, 3.61803398874989490253e+00, -2.61803398874989490253e+00>
		<-2, -1, 3.61803398874989490253e+00, 2.61803398874989490253e+00>
		<-2, 1, -3.61803398874989490253e+00, -2.61803398874989490253e+00>
		<-2, 1, -3.61803398874989490253e+00, 2.61803398874989490253e+00>
		<-2, 1, 3.61803398874989490253e+00, -2.61803398874989490253e+00>
		<-2, 1, 3.61803398874989490253e+00, 2.61803398874989490253e+00>
		<-2, 2.61803398874989490253e+00, -1, -3.61803398874989490253e+00>
		<-2, 2.61803398874989490253e+00, -1, 3.61803398874989490253e+00>
		<-2, 2.61803398874989490253e+00, 1, -3.61803398874989490253e+00>
		<-2, 2.61803398874989490253e+00, 1, 3.61803398874989490253e+00>
		<-2, 3.61803398874989490253e+00, -2.61803398874989490253e+00, -1>
		<-2, 3.61803398874989490253e+00, -2.61803398874989490253e+00, 1>
		<-2, 3.61803398874989490253e+00, 2.61803398874989490253e+00, -1>
		<-2, 3.61803398874989490253e+00, 2.61803398874989490253e+00, 1>
		<-1.61803398874989490253e+00, -4.61803398874989490253e+00, 0, -1>
		<-1.61803398874989490253e+00, -4.61803398874989490253e+00, 0, 1>
		<-1.61803398874989490253e+00, -1, -4.61803398874989490253e+00, 0>
		<-1.61803398874989490253e+00, -1, 4.61803398874989490253e+00, 0>
		<-1.61803398874989490253e+00, 0, -1, -4.61803398874989490253e+00>
		<-1.61803398874989490253e+00, 0, -1, 4.61803398874989490253e+00>
		<-1.61803398874989490253e+00, 0, 1, -4.61803398874989490253e+00>
		<-1.61803398874989490253e+00, 0, 1, 4.61803398874989490253e+00>
		<-1.61803398874989490253e+00, 1, -4.61803398874989490253e+00, 0>
		<-1.61803398874989490253e+00, 1, 4.61803398874989490253e+00, 0>
		<-1.61803398874989490253e+00, 4.61803398874989490253e+00, 0, -1>
		<-1.61803398874989490253e+00, 4.61803398874989490253e+00, 0, 1>
		<-1, -4.61803398874989490253e+00, -1.61803398874989490253e+00, 0>
		<-1, -4.61803398874989490253e+00, 1.61803398874989490253e+00, 0>
		<-1, -3.61803398874989490253e+00, -2, -2.61803398874989490253e+00>
		<-1, -3.61803398874989490253e+00, -2, 2.61803398874989490253e+00>
		<-1, -3.61803398874989490253e+00, 2, -2.61803398874989490253e+00>
		<-1, -3.61803398874989490253e+00, 2, 2.61803398874989490253e+00>
		<-1, -2.61803398874989490253e+00, -3.61803398874989490253e+00, -2>
		<-1, -2.61803398874989490253e+00, -3.61803398874989490253e+00, 2>
		<-1, -2.61803398874989490253e+00, 3.61803398874989490253e+00, -2>
		<-1, -2.61803398874989490253e+00, 3.61803398874989490253e+00, 2>
		<-1, -2, -2.61803398874989490253e+00, -3.61803398874989490253e+00>
		<-1, -2, -2.61803398874989490253e+00, 3.61803398874989490253e+00>
		<-1, -2, 2.61803398874989490253e+00, -3.61803398874989490253e+00>
		<-1, -2, 2.61803398874989490253e+00, 3.61803398874989490253e+00>
		<-1, -1.61803398874989490253e+00, 0, -4.61803398874989490253e+00>
		<-1, -1.61803398874989490253e+00, 0, 4.61803398874989490253e+00>
		<-1, 0, -4.61803398874989490253e+00, -1.61803398874989490253e+00>
		<-1, 0, -4.61803398874989490253e+00, 1.61803398874989490253e+00>
		<-1, 0, 4.61803398874989490253e+00, -1.61803398874989490253e+00>
		<-1, 0, 4.61803398874989490253e+00, 1.61803398874989490253e+00>
		<-1, 1.61803398874989490253e+00, 0, -4.61803398874989490253e+00>
		<-1, 1.61803398874989490253e+00, 0, 4.61803398874989490253e+00>
		<-1, 2, -2.61803398874989490253e+00, -3.61803398874989490253e+00>
		<-1, 2, -2.61803398874989490253e+00, 3.61803398874989490253e+00>
		<-1, 2, 2.61803398874989490253e+00, -3.61803398874989490253e+00>
		<-1, 2, 2.61803398874989490253e+00, 3.61803398874989490253e+00>
		<-1, 2.61803398874989490253e+00, -3.61803398874989490253e+00, -2>
		<-1, 2.61803398874989490253e+00, -3.61803398874989490253e+00, 2>
		<-1, 2.61803398874989490253e+00, 3.61803398874989490253e+00, -2>
		<-1, 2.61803398874989490253e+00, 3.61803398874989490253e+00, 2>
		<-1, 3.61803398874989490253e+00, -2, -2.61803398874989490253e+00>
		<-1, 3.61803398874989490253e+00, -2, 2.61803398874989490253e+00>
		<-1, 3.61803398874989490253e+00, 2, -2.61803398874989490253e+00>
		<-1, 3.61803398874989490253e+00, 2, 2.61803398874989490253e+00>
		<-1, 4.61803398874989490253e+00, -1.61803398874989490253e+00, 0>
		<-1, 4.61803398874989490253e+00, 1.61803398874989490253e+00, 0>
		<0, -4.61803398874989490253e+00, -1, -1.61803398874989490253e+00>
		<0, -4.61803398874989490253e+00, -1, 1.61803398874989490253e+00>
		<0, -4.61803398874989490253e+00, 1, -1.61803398874989490253e+00>
		<0, -4.61803398874989490253e+00, 1, 1.61803398874989490253e+00>
		<0, -1.61803398874989490253e+00, -4.61803398874989490253e+00, -1>
		<0, -1.61803398874989490253e+00, -4.61803398874989490253e+00, 1>
		<0, -1.61803398874989490253e+00, 4.61803398874989490253e+00, -1>
		<0, -1.61803398874989490253e+00, 4.61803398874989490253e+00, 1>
		<0, -1, -1.61803398874989490253e+00, -4.61803398874989490253e+00>
		<0, -1, -1.61803398874989490253e+00, 4.61803398874989490253e+00>
		<0, -1, 1.61803398874989490253e+00, -4.61803398874989490253e+00>
		<0, -1, 1.61803398874989490253e+00, 4.61803398874989490253e+00>
		<0, 1, -1.61803398874989490253e+00, -4.61803398874989490253e+00>
		<0, 1, -1.61803398874989490253e+00, 4.61803398874989490253e+00>
		<0, 1, 1.61803398874989490253e+00, -4.61803398874989490253e+00>
		<0, 1, 1.61803398874989490253e+00, 4.61803398874989490253e+00>
		<0, 1.61803398874989490253e+00, -4.61803398874989490253e+00, -1>
		<0, 1.61803398874989490253e+00, -4.61803398874989490253e+00, 1>
		<0, 1.61803398874989490253e+00, 4.61803398874989490253e+00, -1>
		<0, 1.61803398874989490253e+00, 4.61803398874989490253e+00, 1>
		<0, 4.61803398874989490253e+00, -1, -1.61803398874989490253e+00>
		<0, 4.61803398874989490253e+00, -1, 1.61803398874989490253e+00>
		<0, 4.61803398874989490253e+00, 1, -1.61803398874989490253e+00>
		<0, 4.61803398874989490253e+00, 1, 1.61803398874989490253e+00>
		<1, -4.61803398874989490253e+00, -1.61803398874989490253e+00, 0>
		<1, -4.61803398874989490253e+00, 1.61803398874989490253e+00, 0>
		<1, -3.61803398874989490253e+00, -2, -2.61803398874989490253e+00>
		<1, -3.61803398874989490253e+00, -2, 2.61803398874989490253e+00>
		<1, -3.61803398874989490253e+00, 2, -2.61803398874989490253e+00>
		<1, -3.61803398874989490253e+00, 2, 2.61803398874989490253e+00>
		<1, -2.61803398874989490253e+00, -3.61803398874989490253e+00, -2>
		<1, -2.61803398874989490253e+00, -3.61803398874989490253e+00, 2>
		<1, -2.61803398874989490253e+00, 3.61803398874989490253e+00, -2>
		<1, -2.61803398874989490253e+00, 3.61803398874989490253e+00, 2>
		<1, -2, -2.61803398874989490253e+00, -3.61803398874989490253e+00>
		<1, -2, -2.61803398874989490253e+00, 3.61803398874989490253e+00>
		<1, -2, 2.61803398874989490253e+00, -3.61803398874989490253e+00>
		<1, -2, 2.61803398874989490253e+00, 3.61803398874989490253e+00>
		<1, -1.61803398874989490253e+00, 0, -4.61803398874989490253e+00>
		<1, -1.61803398874989490253e+00, 0, 4.61803398874989490253e+00>
		<1, 0, -4.61803398874989490253e+00, -1.61803398874989490253e+00>
		<1, 0, -4.61803398874989490253e+00, 1.61803398874989490253e+00>
		<1, 0, 4.61803398874989490253e+00, -1.61803398874989490253e+00>
		<1, 0, 4.61803398874989490253e+00, 1.61803398874989490253e+00>
		<1, 1.61803398874989490253e+00, 0, -4.61803398874989490253e+00>
		<1, 1.61803398874989490253e+00, 0, 4.61803398874989490253e+00>
		<1, 2, -2.61803398874989490253e+00, -3.61803398874989490253e+00>
		<1, 2, -2.61803398874989490253e+00, 3.61803398874989490253e+00>
		<1, 2, 2.61803398874989490253e+00, -3.61803398874989490253e+00>
		<1, 2, 2.61803398874989490253e+00, 3.61803398874989490253e+00>
		<1, 2.61803398874989490253e+00, -3.61803398874989490253e+00, -2>
		<1, 2.61803398874989490253e+00, -3.61803398874989490253e+00, 2>
		<1, 2.61803398874989490253e+00, 3.61803398874989490253e+00, -2>
		<1, 2.61803398874989490253e+00, 3.61803398874989490253e+00, 2>
		<1, 3.61803398874989490253e+00, -2, -2.61803398874989490253e+00>
		<1, 3.61803398874989490253e+00, -2, 2.61803398874989490253e+00>
		<1, 3.61803398874989490253e+00, 2, -2.61803398874989490253e+00>
		<1, 3.61803398874989490253e+00, 2, 2.61803398874989490253e+00>
		<1, 4.61803398874989490253e+00, -1.61803398874989490253e+00, 0>
		<1, 4.61803398874989490253e+00, 1.61803398874989490253e+00, 0>
		<1.61803398874989490253e+00, -4.61803398874989490253e+00, 0, -1>
		<1.61803398874989490253e+00, -4.61803398874989490253e+00, 0, 1>
		<1.61803398874989490253e+00, -1, -4.61803398874989490253e+00, 0>
		<1.61803398874989490253e+00, -1, 4.61803398874989490253e+00, 0>
		<1.61803398874989490253e+00, 0, -1, -4.61803398874989490253e+00>
		<1.61803398874989490253e+00, 0, -1, 4.61803398874989490253e+00>
		<1.61803398874989490253e+00, 0, 1, -4.61803398874989490253e+00>
		<1.61803398874989490253e+00, 0, 1, 4.61803398874989490253e+00>
		<1.61803398874989490253e+00, 1, -4.61803398874989490253e+00, 0>
		<1.61803398874989490253e+00, 1, 4.61803398874989490253e+00, 0>
		<1.61803398874989490253e+00, 4.61803398874989490253e+00, 0, -1>
		<1.61803398874989490253e+00, 4.61803398874989490253e+00, 0, 1>
		<2, -3.61803398874989490253e+00, -2.61803398874989490253e+00, -1>
		<2, -3.61803398874989490253e+00, -2.61803398874989490253e+00, 1>
		<2, -3.61803398874989490253e+00, 2.61803398874989490253e+00, -1>
		<2, -3.61803398874989490253e+00, 2.61803398874989490253e+00, 1>
		<2, -2.61803398874989490253e+00, -1, -3.61803398874989490253e+00>
		<2, -2.61803398874989490253e+00, -1, 3.61803398874989490253e+00>
		<2, -2.61803398874989490253e+00, 1, -3.61803398874989490253e+00>
		<2, -2.61803398874989490253e+00, 1, 3.61803398874989490253e+00>
		<2, -1, -3.61803398874989490253e+00, -2.61803398874989490253e+00>
		<2, -1, -3.61803398874989490253e+00, 2.61803398874989490253e+00>
		<2, -1, 3.61803398874989490253e+00, -2.61803398874989490253e+00>
		<2, -1, 3.61803398874989490253e+00, 2.61803398874989490253e+00>
		<2, 1, -3.61803398874989490253e+00, -2.61803398874989490253e+00>
		<2, 1, -3.61803398874989490253e+00, 2.61803398874989490253e+00>
		<2, 1, 3.61803398874989490253e+00, -2.61803398874989490253e+00>
		<2, 1, 3.61803398874989490253e+00, 2.61803398874989490253e+00>
		<2, 2.61803398874989490253e+00, -1, -3.61803398874989490253e+00>
		<2, 2.61803398874989490253e+00, -1, 3.61803398874989490253e+00>
		<2, 2.61803398874989490253e+00, 1, -3.61803398874989490253e+00>
		<2, 2.61803398874989490253e+00, 1, 3.61803398874989490253e+00>
		<2, 3.61803398874989490253e+00, -2.61803398874989490253e+00, -1>
		<2, 3.61803398874989490253e+00, -2.61803398874989490253e+00, 1>
		<2, 3.61803398874989490253e+00, 2.61803398874989490253e+00, -1>
		<2, 3.61803398874989490253e+00, 2.61803398874989490253e+00, 1>
		<2.61803398874989490253e+00, -3.61803398874989490253e+00, -1, -2>
		<2.61803398874989490253e+00, -3.61803398874989490253e+00, -1, 2>
		<2.61803398874989490253e+00, -3.61803398874989490253e+00, 1, -2>
		<2.61803398874989490253e+00, -3.61803398874989490253e+00, 1, 2>
		<2.61803398874989490253e+00, -2, -3.61803398874989490253e+00, -1>
		<2.61803398874989490253e+00, -2, -3.61803398874989490253e+00, 1>
		<2.61803398874989490253e+00, -2, 3.61803398874989490253e+00, -1>
		<2.61803398874989490253e+00, -2, 3.61803398874989490253e+00, 1>
		<2.61803398874989490253e+00, -1, -2, -3.61803398874989490253e+00>
		<2.61803398874989490253e+00, -1, -2, 3.61803398874989490253e+00>
		<2.61803398874989490253e+00, -1, 2, -3.61803398874989490253e+00>
		<2.61803398874989490253e+00, -1, 2, 3.61803398874989490253e+00>
		<2.61803398874989490253e+00, 1, -2, -3.61803398874989490253e+00>
		<2.61803398874989490253e+00, 1, -2, 3.61803398874989490253e+00>
		<2.61803398874989490253e+00, 1, 2, -3.61803398874989490253e+00>
		<2.61803398874989490253e+00, 1, 2, 3.61803398874989490253e+00>
		<2.61803398874989490253e+00, 2, -3.61803398874989490253e+00, -1>
		<2.61803398874989490253e+00, 2, -3.61803398874989490253e+00, 1>
		<2.61803398874989490253e+00, 2, 3.61803398874989490253e+00, -1>
		<2.61803398874989490253e+00, 2, 3.61803398874989490253e+00, 1>
		<2.61803398874989490253e+00, 3.61803398874989490253e+00, -1, -2>
		<2.61803398874989490253e+00, 3.61803398874989490253e+00, -1, 2>
		<2.61803398874989490253e+00, 3.61803398874989490253e+00, 1, -2>
		<2.61803398874989490253e+00, 3.61803398874989490253e+00, 1, 2>
		<3.61803398874989490253e+00, -2.61803398874989490253e+00, -2, -1>
		<3.61803398874989490253e+00, -2.61803398874989490253e+00, -2, 1>
		<3.61803398874989490253e+00, -2.61803398874989490253e+00, 2, -1>
		<3.61803398874989490253e+00, -2.61803398874989490253e+00, 2, 1>
		<3.61803398874989490253e+00, -2, -1, -2.61803398874989490253e+00>
		<3.61803398874989490253e+00, -2, -1, 2.61803398874989490253e+00>
		<3.61803398874989490253e+00, -2, 1, -2.61803398874989490253e+00>
		<3.61803398874989490253e+00, -2, 1, 2.61803398874989490253e+00>
		<3.61803398874989490253e+00, -1, -2.61803398874989490253e+00, -2>
		<3.61803398874989490253e+00, -1, -2.61803398874989490253e+00, 2>
		<3.61803398874989490253e+00, -1, 2.61803398874989490253e+00, -2>
		<3.61803398874989490253e+00, -1, 2.61803398874989490253e+00, 2>
		<3.61803398874989490253e+00, 1, -2.61803398874989490253e+00, -2>
		<3.61803398874989490253e+00, 1, -2.61803398874989490253e+00, 2>
		<3.61803398874989490253e+00, 1, 2.61803398874989490253e+00, -2>
		<3.61803398874989490253e+00, 1, 2.61803398874989490253e+00, 2>
		<3.61803398874989490253e+00, 2, -1, -2.61803398874989490253e+00>
		<3.61803398874989490253e+00, 2, -1, 2.61803398874989490253e+00>
		<3.61803398874989490253e+00, 2, 1, -2.61803398874989490253e+00>
		<3.61803398874989490253e+00, 2, 1, 2.61803398874989490253e+00>
		<3.61803398874989490253e+00, 2.61803398874989490253e+00, -2, -1>
		<3.61803398874989490253e+00, 2.61803398874989490253e+00, -2, 1>
		<3.61803398874989490253e+00, 2.61803398874989490253e+00, 2, -1>
		<3.61803398874989490253e+00, 2.61803398874989490253e+00, 2, 1>
		<4.61803398874989490253e+00, -1.61803398874989490253e+00, -1, 0>
		<4.61803398874989490253e+00, -1.61803398874989490253e+00, 1, 0>
		<4.61803398874989490253e+00, -1, 0, -1.61803398874989490253e+00>
		<4.61803398874989490253e+00, -1, 0, 1.61803398874989490253e+00>
		<4.61803398874989490253e+00, 0, -1.61803398874989490253e+00, -1>
		<4.61803398874989490253e+00, 0, -1.61803398874989490253e+00, 1>
		<4.61803398874989490253e+00, 0, 1.61803398874989490253e+00, -1>
		<4.61803398874989490253e+00, 0, 1.61803398874989490253e+00, 1>
		<4.61803398874989490253e+00, 1, 0, -1.61803398874989490253e+00>
		<4.61803398874989490253e+00, 1, 0, 1.61803398874989490253e+00>
		<4.61803398874989490253e+00, 1.61803398874989490253e+00, -1, 0>
		<4.61803398874989490253e+00, 1.61803398874989490253e+00, 1, 0>
	}
	lattice {
		1, { 0,1 }
		2, { 0,1,2 }
		3, { 0,1,2,3,4,5,6,7,8,9,10,11 }, <-1,-0,-0,-0,-4.61803398874989490253e+00>
		3, { 0,1,2,12,14,16,18,36,38 }, <-3.61803398874989534661e+00,-2.61803398874989534661e+00,-0,-1,-2.09442719099991627729e+01>
		2, { 0,1,3 }
		3, { 0,1,3,13,15,17,19,37,39 }, <-3.61803398874989312617e+00,-2.61803398874989268208e+00,-0,1,-2.09442719099991450094e+01>
		2, { 0,1,12,14,36,38 }
		3, { 0,1,12,13,14,15,36,37,38,39,84,85 }, <-1,-1.00000000000000022204e+00,-0,8.48134920628196750095e-17,-6.23606797749978980505e+00>
		2, { 0,1,13,15,37,39 }
		1, { 0,2 }
		2, { 0,2,4 }
		3, { 0,2,4,12,16,20 }, <-2.99999999999999911182e+00,-1,-9.99999999999999777955e-01,-9.99999999999999666933e-01,-1.64721359549995796101e+01>
		2, { 0,2,12,16 }
		1, { 0,3 }
		2, { 0,3,5 }
		3, { 0,3,5,13,17,21 }, <-3.00000000000000088818e+00,-1,-9.99999999999999555911e-01,1.00000000000000044409e+00,-1.64721359549995831628e+01>
		2, { 0,3,13,17 }
		1, { 0,4 }
		2, { 0,4,5 }
		3, { 0,4,5,12,13,20,21,40,41 }, <-3.61803398874989445844e+00,-1,-2.61803398874989712297e+00,2.19569780579538179047e-15,-2.09442719099991627729e+01>
		2, { 0,4,12,20 }
		1, { 0,5 }
		2, { 0,5,13,21 }
		1, { 0,12 }
		2, { 0,12,13 }
		1, { 0,13 }
		1, { 1,2 }
		2, { 1,2,6 }
		3, { 1,2,6,14,18,22 }, <-3.00000000000000355271e+00,-1,1.00000000000000111022e+00,-1.00000000000000066613e+00,-1.64721359549995973737e+01>
		2, { 1,2,14,18 }
		1, { 1,3 }
		2, { 1,3,7 }
		3, { 1,3,7,15,19,23 }, <-3.00000000000000222045e+00,-1,1.00000000000000022204e+00,1.00000000000000111022e+00,-1.64721359549995902682e+01>
		2, { 1,3,15,19 }
		1, { 1,6 }
		2, { 1,6,7 }
		3, { 1,6,7,14,15,22,23,42,43 }, <-3.61803398874989756706e+00,-1,2.61803398874989934342e+00,-1.99840144432529045023e-15,-2.09442719099991769838e+01>
		2, { 1,6,14,22 }
		1, { 1,7 }
		2, { 1,7,15,23 }
		1, { 1,14 }
		2, { 1,14,15 }
		1, { 1,15 }
		1, { 2,4 }
		2, { 2,4,8 }
		3, { 2,4,8,16,20,24,28,44,48 }, <-3.61803398874988513256e+00,7.99360577730120282170e-15,-1,-2.61803398874990822520e+00,-2.09442719099991414566e+01>
		2, { 2,4,16,20 }
		1, { 2,6 }
		2, { 2,6,8 }
		3, { 2,6,8,18,22,26,30,46,50 }, <-3.61803398874986914535e+00,5.44009282066329071390e-15,1,-2.61803398874988424438e+00,-2.09442719099990277698e+01>
		2, { 2,6,18,22 }
		1, { 2,8 }
		2, { 2,8,16,28,44,48 }
		3, { 2,8,16,18,28,30,44,46,48,50,88,90 }, <-1,2.56560813490033120396e-15,-8.48134920628202543293e-17,-1.00000000000000732747e+00,-6.23606797749980401591e+00>
		2, { 2,8,18,30,46,50 }
		1, { 2,16 }
		2, { 2,16,18 }
		1, { 2,18 }
		1, { 3,5 }
		2, { 3,5,9 }
		3, { 3,5,9,17,21,25,29,45,49 }, <-3.61803398874989046163e+00,4.44089209850063799461e-16,-1,2.61803398874990023160e+00,-2.09442719099991592202e+01>
		2, { 3,5,17,21 }
		1, { 3,7 }
		2, { 3,7,9 }
		3, { 3,7,9,19,23,27,31,47,51 }, <-3.61803398874989667888e+00,6.66133814775093825647e-16,1,2.61803398874989179390e+00,-2.09442719099991556675e+01>
		2, { 3,7,19,23 }
		1, { 3,9 }
		2, { 3,9,17,29,45,49 }
		3, { 3,9,17,19,29,31,45,47,49,51,89,91 }, <-1,2.12033730157049569628e-16,8.48134920628196750095e-17,1.00000000000000111022e+00,-6.23606797749979424594e+00>
		2, { 3,9,19,31,47,51 }
		1, { 3,17 }
		2, { 3,17,19 }
		1, { 3,19 }
		1, { 4,5 }
		2, { 4,5,10 }
		3, { 4,5,10,24,25,32,33,52,53 }, <-3.61803398874988291212e+00,1,-2.61803398874988824119e+00,3.66373598126299765074e-15,-2.09442719099990917186e+01>
		2, { 4,5,20,21,40,41 }
		3, { 4,5,20,21,24,25,40,41,52,53,86,92 }, <-1,2.54440476188459394807e-16,-1.00000000000000199840e+00,1.11905227591339689251e-15,-6.23606797749979246959e+00>
		2, { 4,5,24,25,52,53 }
		1, { 4,8 }
		2, { 4,8,10 }
		3, { 4,8,10,24,28,32 }, <-2.99999999999998090416e+00,1,-9.99999999999993338662e-01,-9.99999999999995559108e-01,-1.64721359549994836868e+01>
		2, { 4,8,24,28 }
		1, { 4,10 }
		2, { 4,10,24,32 }
		1, { 4,20 }
		2, { 4,20,24 }
		1, { 4,24 }
		1, { 5,9 }
		2, { 5,9,10 }
		3, { 5,9,10,25,29,33 }, <-2.99999999999999378275e+00,1,-9.99999999999996669331e-01,9.99999999999999111822e-01,-1.64721359549995440830e+01>
		2, { 5,9,25,29 }
		1, { 5,10 }
		2, { 5,10,25,33 }
		1, { 5,21 }
		2, { 5,21,25 }
		1, { 5,25 }
		1, { 6,7 }
		2, { 6,7,11 }
		3, { 6,7,11,26,27,34,35,54,55 }, <-3.61803398874991621881e+00,1,2.61803398874990911338e+00,-5.30363268857670842875e-16,-2.09442719099992729070e+01>
		2, { 6,7,22,23,42,43 }
		3, { 6,7,22,23,26,27,42,43,54,55,87,93 }, <-1,-6.36101190471145208315e-16,9.99999999999998334665e-01,-4.82951085442253853560e-16,-6.23606797749978625234e+00>
		2, { 6,7,26,27,54,55 }
		1, { 6,8 }
		2, { 6,8,11 }
		3, { 6,8,11,26,30,34 }, <-3.00000000000000932587e+00,1,1.00000000000000399680e+00,-1.00000000000000399680e+00,-1.64721359549996329008e+01>
		2, { 6,8,26,30 }
		1, { 6,11 }
		2, { 6,11,26,34 }
		1, { 6,22 }
		2, { 6,22,26 }
		1, { 6,26 }
		1, { 7,9 }
		2, { 7,9,11 }
		3, { 7,9,11,27,31,35 }, <-3.00000000000002264855e+00,1,1.00000000000000466294e+00,1.00000000000000621725e+00,-1.64721359549996861915e+01>
		2, { 7,9,27,31 }
		1, { 7,11 }
		2, { 7,11,27,35 }
		1, { 7,23 }
		2, { 7,23,27 }
		1, { 7,27 }
		1, { 8,10 }
		2, { 8,10,11 }
		3, { 8,10,11,28,30,32,34,56,58 }, <-3.61803398874988868528e+00,2.61803398874989134981e+00,-2.22044604925032442072e-16,-1,-2.09442719099991307985e+01>
		2, { 8,10,28,32 }
		1, { 8,11 }
		2, { 8,11,30,34 }
		1, { 8,28 }
		2, { 8,28,30 }
		1, { 8,30 }
		1, { 9,10 }
		2, { 9,10,11 }
		3, { 9,10,11,29,31,33,35,57,59 }, <-3.61803398874988557665e+00,2.61803398874988291212e+00,-9.99200722162641280812e-16,1,-2.09442719099991023768e+01>
		2, { 9,10,29,33 }
		1, { 9,11 }
		2, { 9,11,31,35 }
		1, { 9,29 }
		2, { 9,29,31 }
		1, { 9,31 }
		1, { 10,11 }
		2, { 10,11,32,34,56,58 }
		3, { 10,11,32,33,34,35,56,57,58,59,94,95 }, <-1,1.00000000000000155431e+00,-2.33237103172755418990e-16,7.86264311990880357061e-17,-6.23606797749979513412e+00>
		2, { 10,11,33,35,57,59 }
		1, { 10,32 }
		2, { 10,32,33 }
		1, { 10,33 }
		1, { 11,34 }
		2, { 11,34,35 }
		1, { 11,35 }
		1, { 12,13 }
		2, { 12,13,40,41 }
		3, { 12,13,40,41,60,61 }, <-1,-1.00000000000000111022e+00,-1.00000000000000111022e+00,1.68391606818046971586e-15,-8.23606797749979513412e+00>
		2, { 12,13,60,61 }
		2, { 12,13,36,37,84,85 }
		3, { 12,13,36,37,60,61,84,85,96 }, <-2.61803398874990200795e+00,-3.61803398874990778111e+00,-1,2.69877718769631134768e-15,-2.09442719099992160636e+01>
		1, { 12,16 }
		2, { 12,16,20 }
		3, { 12,16,20,36,40,44,60,64,68,98,102,106 }, <-1,-1.00000000000000621725e+00,-1.00000000000001199041e+00,-1.00000000000001021405e+00,-9.23606797749984487211e+00>
		2, { 12,16,36 }
		1, { 12,20 }
		2, { 12,20,40 }
		1, { 12,36 }
		2, { 12,36,60 }
		1, { 12,40 }
		2, { 12,40,60 }
		1, { 12,60 }
		1, { 13,17 }
		2, { 13,17,21 }
		3, { 13,17,21,37,41,45,61,65,69,99,103,107 }, <-1,-9.99999999999996447286e-01,-1.00000000000000222045e+00,1.00000000000000466294e+00,-9.23606797749978802869e+00>
		2, { 13,17,37 }
		1, { 13,21 }
		2, { 13,21,41 }
		1, { 13,37 }
		2, { 13,37,61 }
		1, { 13,41 }
		2, { 13,41,61 }
		1, { 13,61 }
		1, { 14,15 }
		2, { 14,15,42,43 }
		3, { 14,15,42,43,62,63 }, <-1,-9.99999999999998778755e-01,1,8.19127068248186493158e-17,-8.23606797749978625234e+00>
		2, { 14,15,62,63 }
		2, { 14,15,38,39,84,85 }
		3, { 14,15,38,39,62,63,84,85,97 }, <-2.61803398874990023160e+00,-3.61803398874990200795e+00,1,1.09677382634065922111e-15,-2.09442719099991911946e+01>
		1, { 14,18 }
		2, { 14,18,22 }
		3, { 14,18,22,38,42,46,62,66,70,100,104,108 }, <-1,-1.00000000000000599520e+00,1.00000000000001287859e+00,-1.00000000000001110223e+00,-9.23606797749984664847e+00>
		2, { 14,18,38 }
		1, { 14,22 }
		2, { 14,22,42 }
		1, { 14,38 }
		2, { 14,38,62 }
		1, { 14,42 }
		2, { 14,42,62 }
		1, { 14,62 }
		1, { 15,19 }
		2, { 15,19,23 }
		3, { 15,19,23,39,43,47,63,67,71,101,105,109 }, <-1,-9.99999999999997002398e-01,1.00000000000000310862e+00,1.00000000000000577316e+00,-9.23606797749979335777e+00>
		2, { 15,19,39 }
		1, { 15,23 }
		2, { 15,23,43 }
		1, { 15,39 }
		2, { 15,39,63 }
		1, { 15,43 }
		2, { 15,43,63 }
		1, { 15,63 }
		1, { 16,18 }
		2, { 16,18,36,38 }
		3, { 16,18,36,38,64,66 }, <-1,-1.00000000000000088818e+00,-1.24491849398556584496e-16,-1.00000000000000133227e+00,-8.23606797749979691048e+00>
		2, { 16,18,64,66 }
		2, { 16,18,44,46,88,90 }
		3, { 16,18,44,46,64,66,88,90,110 }, <-2.61803398874992199197e+00,-1,-4.18610682922756660531e-16,-3.61803398874994330825e+00,-2.09442719099993830412e+01>
		1, { 16,20 }
		2, { 16,20,44 }
		1, { 16,36 }
		2, { 16,36,64 }
		1, { 16,44 }
		2, { 16,44,64 }
		1, { 16,64 }
		1, { 17,19 }
		2, { 17,19,37,39 }
		3, { 17,19,37,39,65,67 }, <-1,-9.99999999999997335465e-01,-1.96566077997725266165e-17,9.99999999999997779554e-01,-8.23606797749977381784e+00>
		2, { 17,19,65,67 }
		2, { 17,19,45,47,89,91 }
		3, { 17,19,45,47,65,67,89,91,111 }, <-2.61803398874989223799e+00,-1,1.30313768526093520251e-16,3.61803398874988957346e+00,-2.09442719099991343512e+01>
		1, { 17,21 }
		2, { 17,21,45 }
		1, { 17,37 }
		2, { 17,37,65 }
		1, { 17,45 }
		2, { 17,45,65 }
		1, { 17,65 }
		1, { 18,22 }
		2, { 18,22,46 }
		1, { 18,38 }
		2, { 18,38,66 }
		1, { 18,46 }
		2, { 18,46,66 }
		1, { 18,66 }
		1, { 19,23 }
		2, { 19,23,47 }
		1, { 19,39 }
		2, { 19,39,67 }
		1, { 19,47 }
		2, { 19,47,67 }
		1, { 19,67 }
		1, { 20,24 }
		2, { 20,24,44,48 }
		3, { 20,24,44,48,68,72 }, <-1,6.20814074314757611741e-15,-9.99999999999996114219e-01,-9.99999999999999666933e-01,-8.23606797749976671241e+00>
		2, { 20,24,68,72 }
		2, { 20,24,40,52,86,92 }
		3, { 20,24,40,52,68,72,86,92,112 }, <-2.61803398874994552870e+00,9.87187672441069130842e-15,-3.61803398874996817725e+00,-1,-2.09442719099995180443e+01>
		1, { 20,40 }
		2, { 20,40,68 }
		1, { 20,44 }
		2, { 20,44,68 }
		1, { 20,68 }
		1, { 21,25 }
		2, { 21,25,45,49 }
		3, { 21,25,45,49,69,73 }, <-1,3.32448201301167960626e-15,-9.99999999999995781153e-01,9.99999999999994559907e-01,-8.23606797749975605427e+00>
		2, { 21,25,69,73 }
		2, { 21,25,41,53,86,92 }
		3, { 21,25,41,53,69,73,86,92,113 }, <-2.61803398874994286416e+00,6.98821799427471433346e-15,-3.61803398874994597278e+00,1,-2.09442719099994292264e+01>
		1, { 21,41 }
		2, { 21,41,69 }
		1, { 21,45 }
		2, { 21,45,69 }
		1, { 21,69 }
		1, { 22,26 }
		2, { 22,26,46,50 }
		3, { 22,26,46,50,70,74 }, <-1,4.68240056603152676396e-15,9.99999999999994892974e-01,-9.99999999999995226041e-01,-8.23606797749975427791e+00>
		2, { 22,26,70,74 }
		2, { 22,26,42,54,87,93 }
		3, { 22,26,42,54,70,74,87,93,114 }, <-2.61803398874992909739e+00,6.01466819558175563323e-15,3.61803398874993753509e+00,-1,-2.09442719099993759357e+01>
		1, { 22,42 }
		2, { 22,42,70 }
		1, { 22,46 }
		2, { 22,46,70 }
		1, { 22,70 }
		1, { 23,27 }
		2, { 23,27,47,51 }
		3, { 23,27,47,51,71,75 }, <-1,2.85891048668091157823e-15,9.99999999999996225242e-01,9.99999999999993560706e-01,-8.23606797749975783063e+00>
		2, { 23,27,71,75 }
		2, { 23,27,43,55,87,93 }
		3, { 23,27,43,55,71,75,87,93,115 }, <-2.61803398874990911338e+00,4.19117811623112545915e-15,3.61803398874990644885e+00,1,-2.09442719099992267218e+01>
		1, { 23,43 }
		2, { 23,43,71 }
		1, { 23,47 }
		2, { 23,47,71 }
		1, { 23,71 }
		1, { 24,28 }
		2, { 24,28,32 }
		3, { 24,28,32,48,52,56,72,76,80,118,122,126 }, <-1,9.99999999999992006394e-01,-9.99999999999979571896e-01,-9.99999999999980015986e-01,-9.23606797749966723643e+00>
		2, { 24,28,48 }
		1, { 24,32 }
		2, { 24,32,52 }
		1, { 24,48 }
		2, { 24,48,72 }
		1, { 24,52 }
		2, { 24,52,72 }
		1, { 24,72 }
		1, { 25,29 }
		2, { 25,29,33 }
		3, { 25,29,33,49,53,57,73,77,81,119,123,127 }, <-1,9.99999999999976019183e-01,-9.99999999999966693309e-01,9.99999999999970690112e-01,-9.23606797749959262944e+00>
		2, { 25,29,49 }
		1, { 25,33 }
		2, { 25,33,53 }
		1, { 25,49 }
		2, { 25,49,73 }
		1, { 25,53 }
		2, { 25,53,73 }
		1, { 25,73 }
		1, { 26,30 }
		2, { 26,30,34 }
		3, { 26,30,34,50,54,58,74,78,82,120,124,128 }, <-1,9.99999999999986677324e-01,9.99999999999984678922e-01,-9.99999999999983124610e-01,-9.23606797749968500000e+00>
		2, { 26,30,50 }
		1, { 26,34 }
		2, { 26,34,54 }
		1, { 26,50 }
		2, { 26,50,74 }
		1, { 26,54 }
		2, { 26,54,74 }
		1, { 26,74 }
		1, { 27,31 }
		2, { 27,31,35 }
		3, { 27,31,35,51,55,59,75,79,83,121,125,129 }, <-1,9.99999999999974242826e-01,9.99999999999972910558e-01,9.99999999999976019183e-01,-9.23606797749962282751e+00>
		2, { 27,31,51 }
		1, { 27,35 }
		2, { 27,35,55 }
		1, { 27,51 }
		2, { 27,51,75 }
		1, { 27,55 }
		2, { 27,55,75 }
		1, { 27,75 }
		1, { 28,30 }
		2, { 28,30,56,58 }
		3, { 28,30,56,58,76,78 }, <-1,9.99999999999985123011e-01,-2.09305341461372364505e-16,-9.99999999999990785149e-01,-8.23606797749971875078e+00>
		2, { 28,30,76,78 }
		2, { 28,30,48,50,88,90 }
		3, { 28,30,48,50,76,78,88,90,116 }, <-2.61803398874997395041e+00,1,-5.03424174985574042914e-16,-3.61803398874996506862e+00,-2.09442719099995713350e+01>
		1, { 28,32 }
		2, { 28,32,56 }
		1, { 28,48 }
		2, { 28,48,76 }
		1, { 28,56 }
		2, { 28,56,76 }
		1, { 28,76 }
		1, { 29,31 }
		2, { 29,31,57,59 }
		3, { 29,31,57,59,77,79 }, <-1,9.99999999999986122212e-01,-4.01317322082454907347e-16,9.99999999999992561506e-01,-8.23606797749972763256e+00>
		2, { 29,31,77,79 }
		2, { 29,31,49,51,89,91 }
		3, { 29,31,49,51,77,79,89,91,117 }, <-2.61803398874989357026e+00,1,-2.51346945756593328636e-16,3.61803398874986292810e+00,-2.09442719099990419807e+01>
		1, { 29,33 }
		2, { 29,33,57 }
		1, { 29,49 }
		2, { 29,49,77 }
		1, { 29,57 }
		2, { 29,57,77 }
		1, { 29,77 }
		1, { 30,34 }
		2, { 30,34,58 }
		1, { 30,50 }
		2, { 30,50,78 }
		1, { 30,58 }
		2, { 30,58,78 }
		1, { 30,78 }
		1, { 31,35 }
		2, { 31,35,59 }
		1, { 31,51 }
		2, { 31,51,79 }
		1, { 31,59 }
		2, { 31,59,79 }
		1, { 31,79 }
		1, { 32,33 }
		2, { 32,33,52,53 }
		3, { 32,33,52,53,80,81 }, <-1,9.99999999999990785149e-01,-9.99999999999988342658e-01,2.24083294052242789861e-15,-8.23606797749972407985e+00>
		2, { 32,33,80,81 }
		2, { 32,33,56,57,94,95 }
		3, { 32,33,56,57,80,81,94,95,130 }, <-2.61803398874990111977e+00,3.61803398874987580669e+00,-1,3.23949612440655432844e-15,-2.09442719099990988241e+01>
		1, { 32,52 }
		2, { 32,52,80 }
		1, { 32,56 }
		2, { 32,56,80 }
		1, { 32,80 }
		1, { 33,53 }
		2, { 33,53,81 }
		1, { 33,57 }
		2, { 33,57,81 }
		1, { 33,81 }
		1, { 34,35 }
		2, { 34,35,54,55 }
		3, { 34,35,54,55,82,83 }, <-1,9.99999999999996447286e-01,9.99999999999990007993e-01,6.38829579166806241790e-16,-8.23606797749975072520e+00>
		2, { 34,35,82,83 }
		2, { 34,35,58,59,94,95 }
		3, { 34,35,58,59,82,83,94,95,131 }, <-2.61803398874989490253e+00,3.61803398874987669487e+00,1,1.63749276305091541528e-15,-2.09442719099990917186e+01>
		1, { 34,54 }
		2, { 34,54,82 }
		1, { 34,58 }
		2, { 34,58,82 }
		1, { 34,82 }
		1, { 35,55 }
		2, { 35,55,83 }
		1, { 35,59 }
		2, { 35,59,83 }
		1, { 35,83 }
		1, { 36,38 }
		2, { 36,38,64,66 }
		3, { 36,38,64,66,84,98,100,132,134 }, <-1,-3.61803398874989978751e+00,-7.00441592990651571851e-16,-2.61803398874989934342e+00,-2.09442719099991876419e+01>
		2, { 36,38,84 }
		1, { 36,60 }
		2, { 36,60,84,96 }
		3, { 36,60,84,96,98,132 }, <-1,-3.00000000000000088818e+00,-1.00000000000000088818e+00,-9.99999999999997113420e-01,-1.64721359549995760574e+01>
		2, { 36,60,98 }
		1, { 36,64 }
		2, { 36,64,98 }
		1, { 36,84 }
		2, { 36,84,98,132 }
		1, { 36,98 }
		1, { 37,39 }
		2, { 37,39,65,67 }
		3, { 37,39,65,67,85,99,101,133,135 }, <-1,-3.61803398874982740097e+00,-4.10684111649216125480e-16,2.61803398874984338818e+00,-2.09442719099987968434e+01>
		2, { 37,39,85 }
		1, { 37,61 }
		2, { 37,61,85,96 }
		3, { 37,61,85,96,99,133 }, <-1,-2.99999999999997468692e+00,-9.99999999999989452881e-01,9.99999999999992894573e-01,-1.64721359549994481597e+01>
		2, { 37,61,99 }
		1, { 37,65 }
		2, { 37,65,99 }
		1, { 37,85 }
		2, { 37,85,99,133 }
		1, { 37,99 }
		1, { 38,62 }
		2, { 38,62,84,97 }
		3, { 38,62,84,97,100,134 }, <-1,-2.99999999999999733546e+00,1.00000000000000022204e+00,-9.99999999999996780353e-01,-1.64721359549995618465e+01>
		2, { 38,62,100 }
		1, { 38,66 }
		2, { 38,66,100 }
		1, { 38,84 }
		2, { 38,84,100,134 }
		1, { 38,100 }
		1, { 39,63 }
		2, { 39,63,85,97 }
		3, { 39,63,85,97,101,135 }, <-1,-2.99999999999997779554e+00,9.99999999999990785149e-01,9.99999999999994559907e-01,-1.64721359549994659233e+01>
		2, { 39,63,101 }
		1, { 39,67 }
		2, { 39,67,101 }
		1, { 39,85 }
		2, { 39,85,101,135 }
		1, { 39,101 }
		1, { 40,41 }
		2, { 40,41,60,61 }
		3, { 40,41,60,61,86,102,103,136,137 }, <-1,-2.61803398874987314215e+00,-3.61803398874986248401e+00,8.47775883487457204302e-15,-2.09442719099989886899e+01>
		2, { 40,41,86 }
		1, { 40,60 }
		2, { 40,60,102 }
		1, { 40,68 }
		2, { 40,68,102 }
		2, { 40,68,86,112 }
		3, { 40,68,86,102,112,136 }, <-1,-9.99999999999988675725e-01,-2.99999999999998268052e+00,-9.99999999999990785149e-01,-1.64721359549994694760e+01>
		1, { 40,86 }
		2, { 40,86,102,136 }
		1, { 40,102 }
		1, { 41,61 }
		2, { 41,61,103 }
		1, { 41,69 }
		2, { 41,69,103 }
		2, { 41,69,86,113 }
		3, { 41,69,86,103,113,137 }, <-1,-9.99999999999978461673e-01,-2.99999999999996047606e+00,9.99999999999991007194e-01,-1.64721359549993628946e+01>
		1, { 41,86 }
		2, { 41,86,103,137 }
		1, { 41,103 }
		1, { 42,43 }
		2, { 42,43,62,63 }
		3, { 42,43,62,63,87,104,105,138,139 }, <-1,-2.61803398874988069167e+00,3.61803398874987580669e+00,2.68165622339832813956e-15,-2.09442719099990561915e+01>
		2, { 42,43,87 }
		1, { 42,62 }
		2, { 42,62,104 }
		1, { 42,70 }
		2, { 42,70,104 }
		2, { 42,70,87,114 }
		3, { 42,70,87,104,114,138 }, <-1,-9.99999999999988120614e-01,2.99999999999998001599e+00,-9.99999999999993560706e-01,-1.64721359549994623706e+01>
		1, { 42,87 }
		2, { 42,87,104,138 }
		1, { 42,104 }
		1, { 43,63 }
		2, { 43,63,105 }
		1, { 43,71 }
		2, { 43,71,105 }
		2, { 43,71,87,115 }
		3, { 43,71,87,105,115,139 }, <-1,-9.99999999999986566301e-01,2.99999999999997779554e+00,9.99999999999998112621e-01,-1.64721359549994623706e+01>
		1, { 43,87 }
		2, { 43,87,105,139 }
		1, { 43,105 }
		1, { 44,48 }
		2, { 44,48,68,72 }
		3, { 44,48,68,72,88,106,118,140,144 }, <-1,1.72201414172475139685e-14,-2.61803398874981452238e+00,-3.61803398874977988342e+00,-2.09442719099985446007e+01>
		2, { 44,48,88 }
		1, { 44,64 }
		2, { 44,64,106 }
		2, { 44,64,88,110 }
		3, { 44,64,88,106,110,140 }, <-1,-9.99999999999986788346e-01,-9.99999999999995115019e-01,-2.99999999999998090416e+00,-1.64721359549994730287e+01>
		1, { 44,68 }
		2, { 44,68,106 }
		1, { 44,88 }
		2, { 44,88,106,140 }
		1, { 44,106 }
		1, { 45,49 }
		2, { 45,49,69,73 }
		3, { 45,49,69,73,89,107,119,141,145 }, <-1,7.44218637965321379309e-15,-2.61803398874983006550e+00,3.61803398874980519651e+00,-2.09442719099986796039e+01>
		2, { 45,49,89 }
		1, { 45,65 }
		2, { 45,65,107 }
		2, { 45,65,89,111 }
		3, { 45,65,89,107,111,141 }, <-1,-9.99999999999986122212e-01,-9.99999999999990119015e-01,2.99999999999995603517e+00,-1.64721359549993664473e+01>
		1, { 45,69 }
		2, { 45,69,107 }
		1, { 45,89 }
		2, { 45,89,107,141 }
		1, { 45,107 }
		1, { 46,50 }
		2, { 46,50,70,74 }
		3, { 46,50,70,74,90,108,120,142,146 }, <-1,1.33756518032310441018e-14,2.61803398874984694089e+00,-3.61803398874982651279e+00,-2.09442719099987932907e+01>
		2, { 46,50,90 }
		1, { 46,66 }
		2, { 46,66,108 }
		2, { 46,66,90,110 }
		3, { 46,66,90,108,110,142 }, <-1,-9.99999999999985567101e-01,9.99999999999993005595e-01,-2.99999999999997735145e+00,-1.64721359549994517124e+01>
		1, { 46,70 }
		2, { 46,70,108 }
		1, { 46,90 }
		2, { 46,90,108,142 }
		1, { 46,108 }
		1, { 47,51 }
		2, { 47,51,71,75 }
		3, { 47,51,71,75,91,109,121,143,147 }, <-1,6.12298245799995470222e-15,2.61803398874985626676e+00,3.61803398874984250000e+00,-2.09442719099988785558e+01>
		2, { 47,51,91 }
		1, { 47,67 }
		2, { 47,67,109 }
		2, { 47,67,91,111 }
		3, { 47,67,91,109,111,143 }, <-1,-9.99999999999987121413e-01,9.99999999999989119814e-01,2.99999999999995647926e+00,-1.64721359549993700000e+01>
		1, { 47,71 }
		2, { 47,71,109 }
		1, { 47,91 }
		2, { 47,91,109,143 }
		1, { 47,109 }
		1, { 48,72 }
		2, { 48,72,118 }
		1, { 48,76 }
		2, { 48,76,88,116 }
		3, { 48,76,88,116,118,144 }, <-1,9.99999999999981903365e-01,-9.99999999999984012788e-01,-2.99999999999995425881e+00,-1.64721359549993344729e+01>
		2, { 48,76,118 }
		1, { 48,88 }
		2, { 48,88,118,144 }
		1, { 48,118 }
		1, { 49,73 }
		2, { 49,73,119 }
		1, { 49,77 }
		2, { 49,77,89,117 }
		3, { 49,77,89,117,119,145 }, <-1,9.99999999999993227640e-01,-9.99999999999998778755e-01,2.99999999999997113420e+00,-1.64721359549994552651e+01>
		2, { 49,77,119 }
		1, { 49,89 }
		2, { 49,89,119,145 }
		1, { 49,119 }
		1, { 50,74 }
		2, { 50,74,120 }
		1, { 50,78 }
		2, { 50,78,90,116 }
		3, { 50,78,90,116,120,146 }, <-1,9.99999999999981015186e-01,9.99999999999991895372e-01,-2.99999999999996402877e+00,-1.64721359549993913163e+01>
		2, { 50,78,120 }
		1, { 50,90 }
		2, { 50,90,120,146 }
		1, { 50,120 }
		1, { 51,75 }
		2, { 51,75,121 }
		1, { 51,79 }
		2, { 51,79,91,117 }
		3, { 51,79,91,117,121,147 }, <-1,9.99999999999992339461e-01,1.00000000000000133227e+00,2.99999999999997468692e+00,-1.64721359549994765814e+01>
		2, { 51,79,121 }
		1, { 51,91 }
		2, { 51,91,121,147 }
		1, { 51,121 }
		1, { 52,53 }
		2, { 52,53,80,81 }
		3, { 52,53,80,81,92,122,123,148,149 }, <-1,2.61803398874986203992e+00,-3.61803398874984782907e+00,9.82795316914469817651e-15,-2.09442719099989105302e+01>
		2, { 52,53,92 }
		1, { 52,72 }
		2, { 52,72,92,112 }
		3, { 52,72,92,112,122,148 }, <-1,9.99999999999989119814e-01,-2.99999999999995869970e+00,-9.99999999999973909759e-01,-1.64721359549993522364e+01>
		2, { 52,72,122 }
		1, { 52,80 }
		2, { 52,80,122 }
		1, { 52,92 }
		2, { 52,92,122,148 }
		1, { 52,122 }
		1, { 53,73 }
		2, { 53,73,92,113 }
		3, { 53,73,92,113,123,149 }, <-1,9.99999999999986788346e-01,-2.99999999999995914379e+00,9.99999999999980127008e-01,-1.64721359549993593419e+01>
		2, { 53,73,123 }
		1, { 53,81 }
		2, { 53,81,123 }
		1, { 53,92 }
		2, { 53,92,123,149 }
		1, { 53,123 }
		1, { 54,55 }
		2, { 54,55,82,83 }
		3, { 54,55,82,83,93,124,125,150,151 }, <-1,2.61803398874996684498e+00,3.61803398874998727308e+00,4.03185055766866687106e-15,-2.09442719099996601528e+01>
		2, { 54,55,93 }
		1, { 54,74 }
		2, { 54,74,93,114 }
		3, { 54,74,93,114,124,150 }, <-1,9.99999999999999111822e-01,2.99999999999999777955e+00,-9.99999999999992228439e-01,-1.64721359549995511884e+01>
		2, { 54,74,124 }
		1, { 54,82 }
		2, { 54,82,124 }
		1, { 54,93 }
		2, { 54,93,124,150 }
		1, { 54,124 }
		1, { 55,75 }
		2, { 55,75,93,115 }
		3, { 55,75,93,115,125,151 }, <-1,1.00000000000000155431e+00,3.00000000000000976996e+00,1.00000000000000088818e+00,-1.64721359549996186900e+01>
		2, { 55,75,125 }
		1, { 55,83 }
		2, { 55,83,125 }
		1, { 55,93 }
		2, { 55,93,125,151 }
		1, { 55,125 }
		1, { 56,58 }
		2, { 56,58,76,78 }
		3, { 56,58,76,78,94,126,128,152,154 }, <-1,3.61803398874996551271e+00,-1.15859116151665485160e-15,-2.61803398874994730505e+00,-2.09442719099995358079e+01>
		2, { 56,58,94 }
		1, { 56,76 }
		2, { 56,76,126 }
		1, { 56,80 }
		2, { 56,80,126 }
		2, { 56,80,94,130 }
		3, { 56,80,94,126,130,152 }, <-1,2.99999999999996447286e+00,-9.99999999999993893773e-01,-9.99999999999989452881e-01,-1.64721359549994126326e+01>
		1, { 56,94 }
		2, { 56,94,126,152 }
		1, { 56,126 }
		1, { 57,59 }
		2, { 57,59,77,79 }
		3, { 57,59,77,79,95,127,129,153,155 }, <-1,3.61803398874997306223e+00,-1.66128505302985353900e-15,2.61803398874996151591e+00,-2.09442719099995855458e+01>
		2, { 57,59,95 }
		1, { 57,77 }
		2, { 57,77,127 }
		1, { 57,81 }
		2, { 57,81,127 }
		2, { 57,81,95,130 }
		3, { 57,81,95,127,130,153 }, <-1,2.99999999999996802558e+00,-9.99999999999989008792e-01,9.99999999999997335465e-01,-1.64721359549994339488e+01>
		1, { 57,95 }
		2, { 57,95,127,153 }
		1, { 57,127 }
		1, { 58,78 }
		2, { 58,78,128 }
		1, { 58,82 }
		2, { 58,82,128 }
		2, { 58,82,94,131 }
		3, { 58,82,94,128,131,154 }, <-1,3.00000000000000444089e+00,1.00000000000000333067e+00,-1.00000000000000199840e+00,-1.64721359549996080318e+01>
		1, { 58,94 }
		2, { 58,94,128,154 }
		1, { 58,128 }
		1, { 59,79 }
		2, { 59,79,129 }
		1, { 59,83 }
		2, { 59,83,129 }
		2, { 59,83,95,131 }
		3, { 59,83,95,129,131,155 }, <-1,2.99999999999999866773e+00,9.99999999999996447286e-01,1.00000000000000643929e+00,-1.64721359549995867155e+01>
		1, { 59,95 }
		2, { 59,95,129,155 }
		1, { 59,129 }
		1, { 60,61 }
		2, { 60,61,96 }
		3, { 60,61,96,102,103,136,137,156,162,163,204,205 }, <9.71876137902816076226e-16,-1,-1.00000000000000244249e+00,3.04661091261595806827e-15,-6.23606797749979069323e+00>
		2, { 60,61,102,103,136,137 }
		1, { 60,96 }
		2, { 60,96,98,132 }
		3, { 60,96,98,102,132,156,158,162,204 }, <-3.92778364144447712193e-15,-3.61803398874990334022e+00,-2.61803398874989801115e+00,-1,-2.09442719099991983001e+01>
		2, { 60,96,102,156,162,204 }
		1, { 60,98 }
		2, { 60,98,102 }
		1, { 60,102 }
		1, { 61,96 }
		2, { 61,96,99,133 }
		3, { 61,96,99,103,133,156,159,163,205 }, <-1.52470628715189216699e-14,-3.61803398874989268208e+00,-2.61803398874989357026e+00,1,-2.09442719099991627729e+01>
		2, { 61,96,103,156,163,205 }
		1, { 61,99 }
		2, { 61,99,103 }
		1, { 61,103 }
		1, { 62,63 }
		2, { 62,63,97 }
		3, { 62,63,97,104,105,138,139,157,164,165,206,207 }, <4.53542197687985818544e-16,-1,1.00000000000000088818e+00,1.44460755126030673056e-15,-6.23606797749978891687e+00>
		2, { 62,63,104,105,138,139 }
		1, { 62,97 }
		2, { 62,97,100,134 }
		3, { 62,97,100,104,134,157,160,164,206 }, <-1.71840534313196307958e-15,-3.61803398874990156386e+00,2.61803398874990023160e+00,-1,-2.09442719099991983001e+01>
		2, { 62,97,104,157,164,206 }
		1, { 62,100 }
		2, { 62,100,104 }
		1, { 62,104 }
		1, { 63,97 }
		2, { 63,97,101,135 }
		3, { 63,97,101,105,135,157,161,165,207 }, <-8.06762064560952029570e-15,-3.61803398874989179390e+00,2.61803398874989312617e+00,1,-2.09442719099991521148e+01>
		2, { 63,97,105,157,165,207 }
		1, { 63,101 }
		2, { 63,101,105 }
		1, { 63,105 }
		1, { 64,66 }
		2, { 64,66,110 }
		2, { 64,66,98,100,132,134 }
		3, { 64,66,98,100,110,132,134,158,160,170,208,210 }, <-3.39253968251277713962e-16,-1,-3.09336991063652479373e-16,-1,-6.23606797749978980505e+00>
		1, { 64,98 }
		2, { 64,98,106 }
		3, { 64,98,106,110,140,158,166,170,208 }, <-1.77635683940022600999e-15,-2.61803398874987269807e+00,-1,-3.61803398874986337219e+00,-2.09442719099989780318e+01>
		2, { 64,98,110,158,170,208 }
		1, { 64,106 }
		2, { 64,106,110,140 }
		1, { 64,110 }
		1, { 65,67 }
		2, { 65,67,111 }
		2, { 65,67,99,101,133,135 }
		3, { 65,67,99,101,111,133,135,159,161,171,209,211 }, <-5.93694444439732977110e-15,-1,-1.83981010689157415729e-16,1.00000000000000222045e+00,-6.23606797749980579226e+00>
		1, { 65,99 }
		2, { 65,99,107 }
		3, { 65,99,107,111,141,159,167,171,209 }, <-3.19744231092036879489e-14,-2.61803398874987003353e+00,-1,3.61803398874987092171e+00,-2.09442719099990384279e+01>
		2, { 65,99,111,159,171,209 }
		1, { 65,107 }
		2, { 65,107,111,141 }
		1, { 65,111 }
		1, { 66,100 }
		2, { 66,100,108 }
		3, { 66,100,108,110,142,160,168,170,210 }, <-3.10862446895039847571e-15,-2.61803398874987269807e+00,1,-3.61803398874986381628e+00,-2.09442719099989815845e+01>
		2, { 66,100,110,160,170,210 }
		1, { 66,108 }
		2, { 66,108,110,142 }
		1, { 66,110 }
		1, { 67,101 }
		2, { 67,101,109 }
		3, { 67,101,109,111,143,161,169,171,211 }, <-3.19744231092036879489e-14,-2.61803398874987092171e+00,1,3.61803398874987180989e+00,-2.09442719099990419807e+01>
		2, { 67,101,111,161,171,211 }
		1, { 67,109 }
		2, { 67,109,111,143 }
		1, { 67,111 }
		1, { 68,72 }
		2, { 68,72,112 }
		2, { 68,72,106,118,140,144 }
		3, { 68,72,106,112,118,140,144,166,172,178,212,216 }, <-8.69338293643923997309e-15,6.86379414276008654972e-15,-1,-1.00000000000000244249e+00,-6.23606797749980223955e+00>
		1, { 68,102 }
		2, { 68,102,106 }
		3, { 68,102,106,112,136,162,166,172,212 }, <-2.48689957516034023758e-14,-1,-3.61803398874986381628e+00,-2.61803398874987580669e+00,-2.09442719099990100062e+01>
		2, { 68,102,112,136 }
		1, { 68,106 }
		2, { 68,106,112,166,172,212 }
		1, { 68,112 }
		1, { 69,73 }
		2, { 69,73,113 }
		2, { 69,73,107,119,141,145 }
		3, { 69,73,107,113,119,141,145,167,173,179,213,217 }, <-1.06016865078523967357e-14,4.16123383846256381022e-15,-1,1.00000000000000177636e+00,-6.23606797749980312773e+00>
		1, { 69,103 }
		2, { 69,103,107 }
		3, { 69,103,107,113,137,163,167,173,213 }, <-4.72955008490307535434e-14,-1,-3.61803398874988335621e+00,2.61803398874989312617e+00,-2.09442719099991521148e+01>
		2, { 69,103,113,137 }
		1, { 69,107 }
		2, { 69,107,113,167,173,213 }
		1, { 69,113 }
		1, { 70,74 }
		2, { 70,74,114 }
		2, { 70,74,108,120,142,146 }
		3, { 70,74,108,114,120,142,146,168,174,180,214,218 }, <-6.27619841264873380142e-15,5.55506368433993415855e-15,1,-1.00000000000000244249e+00,-6.23606797749980046319e+00>
		1, { 70,104 }
		2, { 70,104,108 }
		3, { 70,104,108,114,138,164,168,174,214 }, <-2.63122856836160459250e-14,-1,3.61803398874985893130e+00,-2.61803398874987358624e+00,-2.09442719099989851372e+01>
		2, { 70,104,114,138 }
		1, { 70,108 }
		2, { 70,108,114,168,174,214 }
		1, { 70,114 }
		1, { 71,75 }
		2, { 71,75,115 }
		2, { 71,75,109,121,143,147 }
		3, { 71,75,109,115,121,143,147,169,175,181,215,219 }, <-7.67562103168509809077e-15,3.55047517915089984167e-15,1,1.00000000000000111022e+00,-6.23606797749979957501e+00>
		1, { 71,105 }
		2, { 71,105,109 }
		3, { 71,105,109,115,139,165,169,175,215 }, <-4.08562073062051359098e-14,-1,3.61803398874988380030e+00,2.61803398874989268208e+00,-2.09442719099991450094e+01>
		2, { 71,105,115,139 }
		1, { 71,109 }
		2, { 71,109,115,169,175,215 }
		1, { 71,115 }
		1, { 72,112 }
		2, { 72,112,122,148 }
		2, { 72,112,118,172,178,216 }
		3, { 72,112,118,122,148,172,178,182,216 }, <-2.48300680263921655030e-14,1,-3.61803398874988424438e+00,-2.61803398874990511658e+00,-2.09442719099991698783e+01>
		1, { 72,118 }
		2, { 72,118,122 }
		1, { 72,122 }
		1, { 73,113 }
		2, { 73,113,123,149 }
		2, { 73,113,119,173,179,217 }
		3, { 73,113,119,123,149,173,179,183,217 }, <-2.74934875116323108277e-14,1,-3.61803398874989623479e+00,2.61803398874990822520e+00,-2.09442719099992196163e+01>
		1, { 73,119 }
		2, { 73,119,123 }
		1, { 73,123 }
		1, { 74,114 }
		2, { 74,114,124,150 }
		2, { 74,114,120,174,180,218 }
		3, { 74,114,120,124,150,174,180,184,218 }, <-7.31063474535843883757e-15,1,3.61803398874989934342e+00,-2.61803398874991488654e+00,-2.09442719099992196163e+01>
		1, { 74,120 }
		2, { 74,120,124 }
		1, { 74,124 }
		1, { 75,115 }
		2, { 75,115,125,151 }
		2, { 75,115,121,175,181,219 }
		3, { 75,115,121,125,151,175,181,185,219 }, <-8.74662184264670701196e-15,1,3.61803398874990422840e+00,2.61803398874991000156e+00,-2.09442719099992302745e+01>
		1, { 75,121 }
		2, { 75,121,125 }
		1, { 75,125 }
		1, { 76,78 }
		2, { 76,78,116 }
		3, { 76,78,116,126,128,152,154,176,186,188,220,222 }, <-9.55678202271040408037e-15,1,-4.35663649336787032293e-16,-1,-6.23606797749980046319e+00>
		2, { 76,78,126,128,152,154 }
		1, { 76,116 }
		2, { 76,116,118,144 }
		3, { 76,116,118,126,144,176,178,186,220 }, <-3.67002283997474768186e-14,2.61803398874989490253e+00,-1,-3.61803398874989623479e+00,-2.09442719099992018528e+01>
		2, { 76,116,126,176,186,220 }
		1, { 76,118 }
		2, { 76,118,126 }
		1, { 76,126 }
		1, { 77,79 }
		2, { 77,79,117 }
		3, { 77,79,117,127,129,153,155,177,187,189,221,223 }, <-2.02474195396400487300e-14,1,-5.27721078433139154521e-16,9.99999999999999222844e-01,-6.23606797749980845680e+00>
		2, { 77,79,127,129,153,155 }
		1, { 77,117 }
		2, { 77,117,119,145 }
		3, { 77,117,119,127,145,177,179,187,221 }, <-5.40070250698625259923e-14,2.61803398874987935940e+00,-1,3.61803398874987136580e+00,-2.09442719099990952714e+01>
		2, { 77,117,127,177,187,221 }
		1, { 77,119 }
		2, { 77,119,127 }
		1, { 77,127 }
		1, { 78,116 }
		2, { 78,116,120,146 }
		3, { 78,116,120,128,146,176,180,188,222 }, <-2.36107429903618096804e-14,2.61803398874989134981e+00,1,-3.61803398874988735301e+00,-2.09442719099991521148e+01>
		2, { 78,116,128,176,188,222 }
		1, { 78,120 }
		2, { 78,120,128 }
		1, { 78,128 }
		1, { 79,117 }
		2, { 79,117,121,147 }
		3, { 79,117,121,129,147,177,181,189,223 }, <-4.74435305856484360987e-14,2.61803398874987847122e+00,1,3.61803398874986958944e+00,-2.09442719099990810605e+01>
		2, { 79,117,129,177,189,223 }
		1, { 79,121 }
		2, { 79,121,129 }
		1, { 79,129 }
		1, { 80,81 }
		2, { 80,81,130 }
		2, { 80,81,122,123,148,149 }
		3, { 80,81,122,123,130,148,149,182,183,190,224,225 }, <-1.50543948411497272794e-14,1,-1.00000000000000044409e+00,3.42946961592882707751e-15,-6.23606797749980668044e+00>
		1, { 80,122 }
		2, { 80,122,126 }
		3, { 80,122,126,130,152,182,186,190,224 }, <-9.42579347906720289932e-14,3.61803398874988868528e+00,-2.61803398874988069167e+00,-1,-2.09442719099992018528e+01>
		2, { 80,122,130,182,190,224 }
		1, { 80,126 }
		2, { 80,126,130,152 }
		1, { 80,130 }
		1, { 81,123 }
		2, { 81,123,127 }
		3, { 81,123,127,130,153,183,187,190,225 }, <-8.42659275690454181810e-14,3.61803398874987358624e+00,-2.61803398874986559264e+00,1,-2.09442719099990952714e+01>
		2, { 81,123,130,183,190,225 }
		1, { 81,127 }
		2, { 81,127,130,153 }
		1, { 81,130 }
		1, { 82,83 }
		2, { 82,83,131 }
		2, { 82,83,124,125,150,151 }
		3, { 82,83,124,125,131,150,151,184,185,191,226,227 }, <-9.71114484119211652252e-15,1,1.00000000000000333067e+00,1.82746625457318638942e-15,-6.23606797749980401591e+00>
		1, { 82,124 }
		2, { 82,124,128 }
		3, { 82,124,128,131,154,184,188,191,226 }, <-6.99440505513821862305e-14,3.61803398874991932743e+00,2.61803398874991088974e+00,-1,-2.09442719099993688303e+01>
		2, { 82,124,131,184,191,226 }
		1, { 82,128 }
		2, { 82,128,131,154 }
		1, { 82,131 }
		1, { 83,125 }
		2, { 83,125,129 }
		3, { 83,125,129,131,155,185,189,191,227 }, <-6.27276008913186939613e-14,3.61803398874991088974e+00,2.61803398874990023160e+00,1,-2.09442719099993048815e+01>
		2, { 83,125,131,185,191,227 }
		1, { 83,129 }
		2, { 83,129,131,155 }
		1, { 83,131 }
		1, { 84,85 }
		2, { 84,85,96 }
		3, { 84,85,96,97,132,133,134,135,156,157,192,193 }, <-5.24176207993917864884e-15,-1,-5.24176207993917805719e-16,1.60313319578815832234e-15,-4.61803398874989845524e+00>
		2, { 84,85,97 }
		1, { 84,96 }
		2, { 84,96,132 }
		1, { 84,97 }
		2, { 84,97,134 }
		1, { 84,132 }
		2, { 84,132,134 }
		1, { 84,134 }
		1, { 85,96 }
		2, { 85,96,133 }
		1, { 85,97 }
		2, { 85,97,135 }
		1, { 85,133 }
		2, { 85,133,135 }
		1, { 85,135 }
		1, { 86,92 }
		2, { 86,92,112 }
		3, { 86,92,112,113,136,137,148,149,172,173,194,200 }, <-2.27578480393924839878e-14,4.55325336057899685501e-15,-1,-1.36547088236354907082e-15,-4.61803398874991533063e+00>
		2, { 86,92,113 }
		1, { 86,112 }
		2, { 86,112,136 }
		1, { 86,113 }
		2, { 86,113,137 }
		1, { 86,136 }
		2, { 86,136,137 }
		1, { 86,137 }
		1, { 87,93 }
		2, { 87,93,114 }
		3, { 87,93,114,115,138,139,150,151,174,175,195,201 }, <-1.24409569282012360868e-14,3.60749530262109646474e-15,1,-5.31016454252491721663e-16,-4.61803398874990556067e+00>
		2, { 87,93,115 }
		1, { 87,114 }
		2, { 87,114,138 }
		1, { 87,115 }
		2, { 87,115,139 }
		1, { 87,138 }
		2, { 87,138,139 }
		1, { 87,139 }
		1, { 88,90 }
		2, { 88,90,110 }
		3, { 88,90,110,116,140,142,144,146,170,176,196,198 }, <-1.34189109246443649306e-14,-1.46769338238297738964e-15,-2.87271225054334035529e-16,-1,-4.61803398874990644885e+00>
		2, { 88,90,116 }
		1, { 88,110 }
		2, { 88,110,140 }
		1, { 88,116 }
		2, { 88,116,144 }
		1, { 88,140 }
		2, { 88,140,144 }
		1, { 88,144 }
		1, { 89,91 }
		2, { 89,91,111 }
		3, { 89,91,111,117,141,143,145,147,171,177,197,199 }, <5.13692683834054136223e-15,2.09670483197573107770e-16,-1.72704052152601815154e-16,1,-4.61803398874988957346e+00>
		2, { 89,91,117 }
		1, { 89,111 }
		2, { 89,111,141 }
		1, { 89,117 }
		2, { 89,117,145 }
		1, { 89,141 }
		2, { 89,141,145 }
		1, { 89,145 }
		1, { 90,110 }
		2, { 90,110,142 }
		1, { 90,116 }
		2, { 90,116,146 }
		1, { 90,142 }
		2, { 90,142,146 }
		1, { 90,146 }
		1, { 91,111 }
		2, { 91,111,143 }
		1, { 91,117 }
		2, { 91,117,147 }
		1, { 91,143 }
		2, { 91,143,147 }
		1, { 91,147 }
		1, { 92,112 }
		2, { 92,112,148 }
		1, { 92,113 }
		2, { 92,113,149 }
		1, { 92,148 }
		2, { 92,148,149 }
		1, { 92,149 }
		1, { 93,114 }
		2, { 93,114,150 }
		1, { 93,115 }
		2, { 93,115,151 }
		1, { 93,150 }
		2, { 93,150,151 }
		1, { 93,151 }
		1, { 94,95 }
		2, { 94,95,130 }
		3, { 94,95,130,131,152,153,154,155,190,191,202,203 }, <3.11023923205030783842e-15,1,1.06203290850498324611e-15,1.77356357461583925164e-15,-4.61803398874989401435e+00>
		2, { 94,95,131 }
		1, { 94,130 }
		2, { 94,130,152 }
		1, { 94,131 }
		2, { 94,131,154 }
		1, { 94,152 }
		2, { 94,152,154 }
		1, { 94,154 }
		1, { 95,130 }
		2, { 95,130,153 }
		1, { 95,131 }
		2, { 95,131,155 }
		1, { 95,153 }
		2, { 95,153,155 }
		1, { 95,155 }
		1, { 96,132 }
		2, { 96,132,156 }
		1, { 96,133 }
		2, { 96,133,156 }
		1, { 96,156 }
		1, { 97,134 }
		2, { 97,134,157 }
		1, { 97,135 }
		2, { 97,135,157 }
		1, { 97,157 }
		1, { 98,102 }
		2, { 98,102,106 }
		3, { 98,102,106,158,162,166 }, <-9.32587340685124867524e-15,-1,-1.00000000000000577316e+00,-1.00000000000000399680e+00,-8.23606797749980223955e+00>
		2, { 98,102,158,162 }
		1, { 98,106 }
		2, { 98,106,158,166 }
		1, { 98,132 }
		2, { 98,132,158 }
		1, { 98,158 }
		1, { 99,103 }
		2, { 99,103,107 }
		3, { 99,103,107,159,163,167 }, <-2.99760216648794001408e-15,-1,-1.00000000000000577316e+00,1.00000000000000821565e+00,-8.23606797749982000312e+00>
		2, { 99,103,159,163 }
		1, { 99,107 }
		2, { 99,107,159,167 }
		1, { 99,133 }
		2, { 99,133,159 }
		1, { 99,159 }
		1, { 100,104 }
		2, { 100,104,108 }
		3, { 100,104,108,160,164,168 }, <-9.43689570931376748473e-15,-1,1.00000000000000666134e+00,-1.00000000000000488498e+00,-8.23606797749980579226e+00>
		2, { 100,104,160,164 }
		1, { 100,108 }
		2, { 100,108,160,168 }
		1, { 100,134 }
		2, { 100,134,160 }
		1, { 100,160 }
		1, { 101,105 }
		2, { 101,105,109 }
		3, { 101,105,109,161,165,169 }, <-3.55271367880052065088e-15,-1,1.00000000000000599520e+00,1.00000000000000865974e+00,-8.23606797749982177947e+00>
		2, { 101,105,161,165 }
		1, { 101,109 }
		2, { 101,109,161,169 }
		1, { 101,135 }
		2, { 101,135,161 }
		1, { 101,161 }
		1, { 102,106 }
		2, { 102,106,162,166 }
		1, { 102,136 }
		2, { 102,136,162 }
		1, { 102,162 }
		1, { 103,107 }
		2, { 103,107,163,167 }
		1, { 103,137 }
		2, { 103,137,163 }
		1, { 103,163 }
		1, { 104,108 }
		2, { 104,108,164,168 }
		1, { 104,138 }
		2, { 104,138,164 }
		1, { 104,164 }
		1, { 105,109 }
		2, { 105,109,165,169 }
		1, { 105,139 }
		2, { 105,139,165 }
		1, { 105,165 }
		1, { 106,140 }
		2, { 106,140,166 }
		1, { 106,166 }
		1, { 107,141 }
		2, { 107,141,167 }
		1, { 107,167 }
		1, { 108,142 }
		2, { 108,142,168 }
		1, { 108,168 }
		1, { 109,143 }
		2, { 109,143,169 }
		1, { 109,169 }
		1, { 110,140 }
		2, { 110,140,170 }
		1, { 110,142 }
		2, { 110,142,170 }
		1, { 110,170 }
		1, { 111,141 }
		2, { 111,141,171 }
		1, { 111,143 }
		2, { 111,143,171 }
		1, { 111,171 }
		1, { 112,136 }
		2, { 112,136,172 }
		1, { 112,148 }
		2, { 112,148,172 }
		1, { 112,172 }
		1, { 113,137 }
		2, { 113,137,173 }
		1, { 113,149 }
		2, { 113,149,173 }
		1, { 113,173 }
		1, { 114,138 }
		2, { 114,138,174 }
		1, { 114,150 }
		2, { 114,150,174 }
		1, { 114,174 }
		1, { 115,139 }
		2, { 115,139,175 }
		1, { 115,151 }
		2, { 115,151,175 }
		1, { 115,175 }
		1, { 116,144 }
		2, { 116,144,176 }
		1, { 116,146 }
		2, { 116,146,176 }
		1, { 116,176 }
		1, { 117,145 }
		2, { 117,145,177 }
		1, { 117,147 }
		2, { 117,147,177 }
		1, { 117,177 }
		1, { 118,122 }
		2, { 118,122,126 }
		3, { 118,122,126,178,182,186 }, <9.65894031423900074120e-15,1,-9.99999999999987676524e-01,-9.99999999999988120614e-01,-8.23606797749972407985e+00>
		2, { 118,122,178,182 }
		1, { 118,126 }
		2, { 118,126,178,186 }
		1, { 118,144 }
		2, { 118,144,178 }
		1, { 118,178 }
		1, { 119,123 }
		2, { 119,123,127 }
		3, { 119,123,127,179,183,187 }, <2.23154827949663722145e-14,1,-9.99999999999990785149e-01,9.99999999999994781952e-01,-8.23606797749977026513e+00>
		2, { 119,123,179,183 }
		1, { 119,127 }
		2, { 119,127,179,187 }
		1, { 119,145 }
		2, { 119,145,179 }
		1, { 119,179 }
		1, { 120,124 }
		2, { 120,124,128 }
		3, { 120,124,128,180,184,188 }, <1.17683640610268912536e-14,1,9.99999999999998001599e-01,-9.99999999999996447286e-01,-8.23606797749978447598e+00>
		2, { 120,124,180,184 }
		1, { 120,128 }
		2, { 120,128,180,188 }
		1, { 120,146 }
		2, { 120,146,180 }
		1, { 120,180 }
		1, { 121,125 }
		2, { 121,125,129 }
		3, { 121,125,129,181,185,189 }, <2.15383266777287437036e-14,1,9.99999999999998667732e-01,1.00000000000000199840e+00,-8.23606797749981467405e+00>
		2, { 121,125,181,185 }
		1, { 121,129 }
		2, { 121,129,181,189 }
		1, { 121,147 }
		2, { 121,147,181 }
		1, { 121,181 }
		1, { 122,126 }
		2, { 122,126,182,186 }
		1, { 122,148 }
		2, { 122,148,182 }
		1, { 122,182 }
		1, { 123,127 }
		2, { 123,127,183,187 }
		1, { 123,149 }
		2, { 123,149,183 }
		1, { 123,183 }
		1, { 124,128 }
		2, { 124,128,184,188 }
		1, { 124,150 }
		2, { 124,150,184 }
		1, { 124,184 }
		1, { 125,129 }
		2, { 125,129,185,189 }
		1, { 125,151 }
		2, { 125,151,185 }
		1, { 125,185 }
		1, { 126,152 }
		2, { 126,152,186 }
		1, { 126,186 }
		1, { 127,153 }
		2, { 127,153,187 }
		1, { 127,187 }
		1, { 128,154 }
		2, { 128,154,188 }
		1, { 128,188 }
		1, { 129,155 }
		2, { 129,155,189 }
		1, { 129,189 }
		1, { 130,152 }
		2, { 130,152,190 }
		1, { 130,153 }
		2, { 130,153,190 }
		1, { 130,190 }
		1, { 131,154 }
		2, { 131,154,191 }
		1, { 131,155 }
		2, { 131,155,191 }
		1, { 131,191 }
		1, { 132,134 }
		2, { 132,134,192 }
		2, { 132,134,158,160,208,210 }
		3, { 132,134,158,160,192,208,210,228,230 }, <1,-3.61803398874987491851e+00,-1.41236059330965964682e-15,-2.61803398874987980349e+00,-2.09442719099990490861e+01>
		1, { 132,156 }
		2, { 132,156,192 }
		2, { 132,156,158,204 }
		3, { 132,156,158,192,204,228 }, <1,-2.99999999999999067413e+00,-9.99999999999993671729e-01,-9.99999999999999666933e-01,-1.64721359549995369775e+01>
		1, { 132,158 }
		2, { 132,158,192,228 }
		1, { 132,192 }
		1, { 133,135 }
		2, { 133,135,193 }
		2, { 133,135,159,161,209,211 }
		3, { 133,135,159,161,193,209,211,229,231 }, <1,-3.61803398874984294409e+00,-1.11531655616562065281e-15,2.61803398874984161182e+00,-2.09442719099988643450e+01>
		1, { 133,156 }
		2, { 133,156,193 }
		2, { 133,156,159,205 }
		3, { 133,156,159,193,205,229 }, <1,-2.99999999999998534506e+00,-9.99999999999987121413e-01,9.99999999999999777955e-01,-1.64721359549995085558e+01>
		1, { 133,159 }
		2, { 133,159,193,229 }
		1, { 133,193 }
		1, { 134,157 }
		2, { 134,157,192 }
		2, { 134,157,160,206 }
		3, { 134,157,160,192,206,230 }, <1,-2.99999999999998534506e+00,9.99999999999990785149e-01,-9.99999999999998334665e-01,-1.64721359549995085558e+01>
		1, { 134,160 }
		2, { 134,160,192,230 }
		1, { 134,192 }
		1, { 135,157 }
		2, { 135,157,193 }
		2, { 135,157,161,207 }
		3, { 135,157,161,193,207,231 }, <1,-2.99999999999998445688e+00,9.99999999999988453681e-01,9.99999999999999333866e-01,-1.64721359549995085558e+01>
		1, { 135,161 }
		2, { 135,161,193,231 }
		1, { 135,193 }
		1, { 136,137 }
		2, { 136,137,194 }
		2, { 136,137,162,163,204,205 }
		3, { 136,137,162,163,194,204,205,232,233 }, <1,-2.61803398874989756706e+00,-3.61803398874987580669e+00,6.85517463613682318743e-15,-2.09442719099990739551e+01>
		1, { 136,162 }
		2, { 136,162,172,212 }
		3, { 136,162,172,194,212,232 }, <1,-9.99999999999988786747e-01,-2.99999999999995292654e+00,-9.99999999999982347454e-01,-1.64721359549993522364e+01>
		2, { 136,162,194,232 }
		1, { 136,172 }
		2, { 136,172,194 }
		1, { 136,194 }
		1, { 137,163 }
		2, { 137,163,173,213 }
		3, { 137,163,173,194,213,233 }, <1,-9.99999999999986233234e-01,-2.99999999999994582112e+00,9.99999999999970135001e-01,-1.64721359549993167093e+01>
		2, { 137,163,194,233 }
		1, { 137,173 }
		2, { 137,173,194 }
		1, { 137,194 }
		1, { 138,139 }
		2, { 138,139,195 }
		2, { 138,139,164,165,206,207 }
		3, { 138,139,164,165,195,206,207,234,235 }, <1,-2.61803398874989312617e+00,3.61803398874987802714e+00,3.49552981412715130069e-15,-2.09442719099990810605e+01>
		1, { 138,164 }
		2, { 138,164,174,214 }
		3, { 138,164,174,195,214,234 }, <1,-9.99999999999995115019e-01,2.99999999999996891376e+00,-9.99999999999984900967e-01,-1.64721359549994339488e+01>
		2, { 138,164,195,234 }
		1, { 138,174 }
		2, { 138,174,195 }
		1, { 138,195 }
		1, { 139,165 }
		2, { 139,165,175,215 }
		3, { 139,165,175,195,215,235 }, <1,-9.99999999999992672528e-01,2.99999999999996669331e+00,9.99999999999978239629e-01,-1.64721359549994161853e+01>
		2, { 139,165,195,235 }
		1, { 139,175 }
		2, { 139,175,195 }
		1, { 139,195 }
		1, { 140,144 }
		2, { 140,144,196 }
		2, { 140,144,166,178,212,216 }
		3, { 140,144,166,178,196,212,216,236,240 }, <1,1.65660623935588730008e-14,-2.61803398874987047762e+00,-3.61803398874989001754e+00,-2.09442719099991130349e+01>
		1, { 140,166 }
		2, { 140,166,170,208 }
		3, { 140,166,170,196,208,236 }, <1,-9.99999999999994115818e-01,-9.99999999999991673327e-01,-2.99999999999998312461e+00,-1.64721359549994907923e+01>
		2, { 140,166,196,236 }
		1, { 140,170 }
		2, { 140,170,196 }
		1, { 140,196 }
		1, { 141,145 }
		2, { 141,145,197 }
		2, { 141,145,167,179,213,217 }
		3, { 141,145,167,179,197,213,217,237,241 }, <1,1.11680315258424039313e-14,-2.61803398874988513256e+00,3.61803398874992465650e+00,-2.09442719099992871179e+01>
		1, { 141,167 }
		2, { 141,167,171,209 }
		3, { 141,167,171,197,209,237 }, <1,-9.99999999999990452082e-01,-1.00000000000000821565e+00,3.00000000000002886580e+00,-1.64721359549997217187e+01>
		2, { 141,167,197,237 }
		1, { 141,171 }
		2, { 141,171,197 }
		1, { 141,197 }
		1, { 142,146 }
		2, { 142,146,198 }
		2, { 142,146,168,180,214,218 }
		3, { 142,146,168,180,198,214,218,238,242 }, <1,1.31397615713027754499e-14,2.61803398874987935940e+00,-3.61803398874989357026e+00,-2.09442719099991414566e+01>
		1, { 142,168 }
		2, { 142,168,170,210 }
		3, { 142,168,170,198,210,238 }, <1,-9.99999999999995448086e-01,9.99999999999993227640e-01,-2.99999999999998490097e+00,-1.64721359549995050031e+01>
		2, { 142,168,198,238 }
		1, { 142,170 }
		2, { 142,170,198 }
		1, { 142,198 }
		1, { 143,147 }
		2, { 143,147,199 }
		2, { 143,147,169,181,215,219 }
		3, { 143,147,169,181,199,215,219,239,243 }, <1,9.56904459684115061261e-15,2.61803398874988335621e+00,3.61803398874991399836e+00,-2.09442719099992338272e+01>
		1, { 143,169 }
		2, { 143,169,171,211 }
		3, { 143,169,171,199,211,239 }, <1,-9.99999999999989008792e-01,1.00000000000000777156e+00,3.00000000000002486900e+00,-1.64721359549997039551e+01>
		2, { 143,169,199,239 }
		1, { 143,171 }
		2, { 143,171,199 }
		1, { 143,199 }
		1, { 144,176 }
		2, { 144,176,196 }
		2, { 144,176,178,220 }
		3, { 144,176,178,196,220,240 }, <1,9.99999999999982236432e-01,-9.99999999999990007993e-01,-2.99999999999998134825e+00,-1.64721359549994836868e+01>
		1, { 144,178 }
		2, { 144,178,196,240 }
		1, { 144,196 }
		1, { 145,177 }
		2, { 145,177,197 }
		2, { 145,177,179,221 }
		3, { 145,177,179,197,221,241 }, <1,9.99999999999979793941e-01,-1.00000000000000599520e+00,3.00000000000001554312e+00,-1.64721359549996577698e+01>
		1, { 145,179 }
		2, { 145,179,197,241 }
		1, { 145,197 }
		1, { 146,176 }
		2, { 146,176,198 }
		2, { 146,176,180,222 }
		3, { 146,176,180,198,222,242 }, <1,9.99999999999983679722e-01,9.99999999999989341859e-01,-2.99999999999997557509e+00,-1.64721359549994552651e+01>
		1, { 146,180 }
		2, { 146,180,198,242 }
		1, { 146,198 }
		1, { 147,177 }
		2, { 147,177,199 }
		2, { 147,177,181,223 }
		3, { 147,177,181,199,223,243 }, <1,9.99999999999979793941e-01,1.00000000000000488498e+00,3.00000000000001021405e+00,-1.64721359549996257954e+01>
		1, { 147,181 }
		2, { 147,181,199,243 }
		1, { 147,199 }
		1, { 148,149 }
		2, { 148,149,200 }
		2, { 148,149,182,183,224,225 }
		3, { 148,149,182,183,200,224,225,244,245 }, <1,2.61803398874981230193e+00,-3.61803398874982073963e+00,7.27071687929311802336e-15,-2.09442719099987328946e+01>
		1, { 148,172 }
		2, { 148,172,200 }
		2, { 148,172,182,216 }
		3, { 148,172,182,200,216,244 }, <1,1.00000000000000244249e+00,-2.99999999999993871569e+00,-9.99999999999957811525e-01,-1.64721359549992989457e+01>
		1, { 148,182 }
		2, { 148,182,200,244 }
		1, { 148,200 }
		1, { 149,173 }
		2, { 149,173,200 }
		2, { 149,173,183,217 }
		3, { 149,173,183,200,217,245 }, <1,1.00000000000000333067e+00,-2.99999999999994670929e+00,9.99999999999960698105e-01,-1.64721359549993344729e+01>
		1, { 149,183 }
		2, { 149,183,200,245 }
		1, { 149,200 }
		1, { 150,151 }
		2, { 150,151,201 }
		2, { 150,151,184,185,226,227 }
		3, { 150,151,184,185,201,226,227,246,247 }, <1,2.61803398874988424438e+00,3.61803398874990378431e+00,4.16829575012796298577e-15,-2.09442719099991876419e+01>
		1, { 150,174 }
		2, { 150,174,201 }
		2, { 150,174,184,218 }
		3, { 150,174,184,201,218,246 }, <1,1.00000000000000333067e+00,2.99999999999997690736e+00,-9.99999999999982680521e-01,-1.64721359549994730287e+01>
		1, { 150,184 }
		2, { 150,184,201,246 }
		1, { 150,201 }
		1, { 151,175 }
		2, { 151,175,201 }
		2, { 151,175,185,219 }
		3, { 151,175,185,201,219,247 }, <1,1.00000000000000466294e+00,2.99999999999998356870e+00,9.99999999999984678922e-01,-1.64721359549995085558e+01>
		1, { 151,185 }
		2, { 151,185,201,247 }
		1, { 151,201 }
		1, { 152,154 }
		2, { 152,154,202 }
		2, { 152,154,186,188,220,222 }
		3, { 152,154,186,188,202,220,222,248,250 }, <1,3.61803398874986825717e+00,-1.99305472572292845347e-16,-2.61803398874984694089e+00,-2.09442719099989886899e+01>
		1, { 152,186 }
		2, { 152,186,190,224 }
		3, { 152,186,190,202,224,248 }, <1,3,-9.99999999999956701302e-01,-1.00000000000000177636e+00,-1.64721359549995831628e+01>
		2, { 152,186,202,248 }
		1, { 152,190 }
		2, { 152,190,202 }
		1, { 152,202 }
		1, { 153,155 }
		2, { 153,155,203 }
		2, { 153,155,187,189,221,223 }
		3, { 153,155,187,189,203,221,223,249,251 }, <1,3.61803398874986203992e+00,-4.40314950863428126247e-16,2.61803398874981541056e+00,-2.09442719099989282938e+01>
		1, { 153,187 }
		2, { 153,187,190,225 }
		3, { 153,187,190,203,225,249 }, <1,3.00000000000000932587e+00,-9.99999999999963584685e-01,1.00000000000000466294e+00,-1.64721359549996257954e+01>
		2, { 153,187,203,249 }
		1, { 153,190 }
		2, { 153,190,203 }
		1, { 153,203 }
		1, { 154,188 }
		2, { 154,188,191,226 }
		3, { 154,188,191,202,226,250 }, <1,2.99999999999998978595e+00,9.99999999999964694908e-01,-9.99999999999994115818e-01,-1.64721359549995263194e+01>
		2, { 154,188,202,250 }
		1, { 154,191 }
		2, { 154,191,202 }
		1, { 154,202 }
		1, { 155,189 }
		2, { 155,189,191,227 }
		3, { 155,189,191,203,227,251 }, <1,2.99999999999999733546e+00,9.99999999999968802733e-01,9.99999999999996114219e-01,-1.64721359549995618465e+01>
		2, { 155,189,203,251 }
		1, { 155,191 }
		2, { 155,191,203 }
		1, { 155,203 }
		1, { 156,192 }
		2, { 156,192,193 }
		3, { 156,192,193,204,205,228,229,252,253 }, <2.61803398874987802714e+00,-3.61803398874985315814e+00,-1,7.32465778584109512303e-15,-2.09442719099989638210e+01>
		2, { 156,192,204,228 }
		1, { 156,193 }
		2, { 156,193,205,229 }
		1, { 156,204 }
		2, { 156,204,205 }
		1, { 156,205 }
		1, { 157,192 }
		2, { 157,192,193 }
		3, { 157,192,193,206,207,230,231,254,255 }, <2.61803398874988690892e+00,-3.61803398874985671085e+00,1,5.72265442448545522380e-15,-2.09442719099989993481e+01>
		2, { 157,192,206,230 }
		1, { 157,193 }
		2, { 157,193,207,231 }
		1, { 157,206 }
		2, { 157,206,207 }
		1, { 157,207 }
		1, { 158,162 }
		2, { 158,162,166 }
		3, { 158,162,166,204,208,212,228,232,236,252,256,260 }, <1,-9.99999999999997446487e-01,-1.00000000000000377476e+00,-1.00000000000000177636e+00,-9.23606797749979335777e+00>
		2, { 158,162,204 }
		1, { 158,166 }
		2, { 158,166,208 }
		1, { 158,204 }
		2, { 158,204,228 }
		1, { 158,208 }
		2, { 158,208,228 }
		1, { 158,228 }
		1, { 159,163 }
		2, { 159,163,167 }
		3, { 159,163,167,205,209,213,229,233,237,253,257,261 }, <1,-9.99999999999989896970e-01,-9.99999999999996447286e-01,9.99999999999998778755e-01,-9.23606797749974361977e+00>
		2, { 159,163,205 }
		1, { 159,167 }
		2, { 159,167,209 }
		1, { 159,205 }
		2, { 159,205,229 }
		1, { 159,209 }
		2, { 159,209,229 }
		1, { 159,229 }
		1, { 160,164 }
		2, { 160,164,168 }
		3, { 160,164,168,206,210,214,230,234,238,254,258,262 }, <1,-9.99999999999995003996e-01,1.00000000000000199840e+00,-1.00000000000000044409e+00,-9.23606797749977559420e+00>
		2, { 160,164,206 }
		1, { 160,168 }
		2, { 160,168,210 }
		1, { 160,206 }
		2, { 160,206,230 }
		1, { 160,210 }
		2, { 160,210,230 }
		1, { 160,230 }
		1, { 161,165 }
		2, { 161,165,169 }
		3, { 161,165,169,207,211,215,231,235,239,255,259,263 }, <1,-9.99999999999987454480e-01,9.99999999999993782751e-01,9.99999999999996558309e-01,-9.23606797749972407985e+00>
		2, { 161,165,207 }
		1, { 161,169 }
		2, { 161,169,211 }
		1, { 161,207 }
		2, { 161,207,231 }
		1, { 161,211 }
		2, { 161,211,231 }
		1, { 161,231 }
		1, { 162,166 }
		2, { 162,166,212 }
		1, { 162,204 }
		2, { 162,204,232 }
		1, { 162,212 }
		2, { 162,212,232 }
		1, { 162,232 }
		1, { 163,167 }
		2, { 163,167,213 }
		1, { 163,205 }
		2, { 163,205,233 }
		1, { 163,213 }
		2, { 163,213,233 }
		1, { 163,233 }
		1, { 164,168 }
		2, { 164,168,214 }
		1, { 164,206 }
		2, { 164,206,234 }
		1, { 164,214 }
		2, { 164,214,234 }
		1, { 164,234 }
		1, { 165,169 }
		2, { 165,169,215 }
		1, { 165,207 }
		2, { 165,207,235 }
		1, { 165,215 }
		2, { 165,215,235 }
		1, { 165,235 }
		1, { 166,208 }
		2, { 166,208,236 }
		1, { 166,212 }
		2, { 166,212,236 }
		1, { 166,236 }
		1, { 167,209 }
		2, { 167,209,237 }
		1, { 167,213 }
		2, { 167,213,237 }
		1, { 167,237 }
		1, { 168,210 }
		2, { 168,210,238 }
		1, { 168,214 }
		2, { 168,214,238 }
		1, { 168,238 }
		1, { 169,211 }
		2, { 169,211,239 }
		1, { 169,215 }
		2, { 169,215,239 }
		1, { 169,239 }
		1, { 170,196 }
		2, { 170,196,198 }
		3, { 170,196,198,208,210,236,238,256,258 }, <2.61803398874985626676e+00,-1,-1.04091573376040915776e-15,-3.61803398874980386424e+00,-2.09442719099987542108e+01>
		2, { 170,196,208,236 }
		1, { 170,198 }
		2, { 170,198,210,238 }
		1, { 170,208 }
		2, { 170,208,210 }
		1, { 170,210 }
		1, { 171,197 }
		2, { 171,197,199 }
		3, { 171,197,199,209,211,237,239,257,259 }, <2.61803398874994197598e+00,-1,-3.84122153877821641641e-15,3.61803398874995219003e+00,-2.09442719099994647536e+01>
		2, { 171,197,209,237 }
		1, { 171,199 }
		2, { 171,199,211,239 }
		1, { 171,209 }
		2, { 171,209,211 }
		1, { 171,211 }
		1, { 172,194 }
		2, { 172,194,200 }
		3, { 172,194,200,212,216,232,244,260,264 }, <2.61803398874986159584e+00,1.15212864519646878159e-14,-3.61803398874973725086e+00,-1,-2.09442719099985090736e+01>
		2, { 172,194,212,232 }
		1, { 172,200 }
		2, { 172,200,216,244 }
		1, { 172,212 }
		2, { 172,212,216 }
		1, { 172,216 }
		1, { 173,194 }
		2, { 173,194,200 }
		3, { 173,194,200,213,217,233,245,261,265 }, <2.61803398874988513256e+00,1.06620837803987084454e-14,-3.61803398874974568855e+00,1,-2.09442719099985907860e+01>
		2, { 173,194,213,233 }
		1, { 173,200 }
		2, { 173,200,217,245 }
		1, { 173,213 }
		2, { 173,213,217 }
		1, { 173,217 }
		1, { 174,195 }
		2, { 174,195,201 }
		3, { 174,195,201,214,218,234,246,262,266 }, <2.61803398874987935940e+00,8.93843109290451897498e-15,3.61803398874980519651e+00,-1,-2.09442719099987932907e+01>
		2, { 174,195,214,234 }
		1, { 174,201 }
		2, { 174,201,218,246 }
		1, { 174,214 }
		2, { 174,214,218 }
		1, { 174,218 }
		1, { 175,195 }
		2, { 175,195,201 }
		3, { 175,195,201,215,219,235,247,263,267 }, <2.61803398874989268208e+00,7.95648518254341704944e-15,3.61803398874981585465e+00,1,-2.09442719099988607923e+01>
		2, { 175,195,215,235 }
		1, { 175,201 }
		2, { 175,201,219,247 }
		1, { 175,215 }
		2, { 175,215,219 }
		1, { 175,219 }
		1, { 176,196 }
		2, { 176,196,198 }
		3, { 176,196,198,220,222,240,242,268,270 }, <2.61803398874989134981e+00,1,-1.46710098107682505034e-15,-3.61803398874980652877e+00,-2.09442719099988323705e+01>
		2, { 176,196,220,240 }
		1, { 176,198 }
		2, { 176,198,222,242 }
		1, { 176,220 }
		2, { 176,220,222 }
		1, { 176,222 }
		1, { 177,197 }
		2, { 177,197,199 }
		3, { 177,197,199,221,223,241,243,269,271 }, <2.61803398874996551271e+00,1,-1.25921765752149626851e-15,3.61803398874996240409e+00,-2.09442719099995464660e+01>
		2, { 177,197,221,241 }
		1, { 177,199 }
		2, { 177,199,223,243 }
		1, { 177,221 }
		2, { 177,221,223 }
		1, { 177,223 }
		1, { 178,182 }
		2, { 178,182,186 }
		3, { 178,182,186,216,220,224,240,244,248,264,268,272 }, <1,1.00000000000000222045e+00,-9.99999999999989452881e-01,-9.99999999999989785948e-01,-9.23606797749972763256e+00>
		2, { 178,182,216 }
		1, { 178,186 }
		2, { 178,186,220 }
		1, { 178,216 }
		2, { 178,216,240 }
		1, { 178,220 }
		2, { 178,220,240 }
		1, { 178,240 }
		1, { 179,183 }
		2, { 179,183,187 }
		3, { 179,183,187,217,221,225,241,245,249,265,269,273 }, <1,9.99999999999997224442e-01,-9.99999999999987565502e-01,9.99999999999991562305e-01,-9.23606797749971875078e+00>
		2, { 179,183,217 }
		1, { 179,187 }
		2, { 179,187,221 }
		1, { 179,217 }
		2, { 179,217,241 }
		1, { 179,221 }
		2, { 179,221,241 }
		1, { 179,241 }
		1, { 180,184 }
		2, { 180,184,188 }
		3, { 180,184,188,218,222,226,242,246,250,266,270,274 }, <1,1.00000000000000199840e+00,9.99999999999999555911e-01,-9.99999999999998112621e-01,-9.23606797749978447598e+00>
		2, { 180,184,218 }
		1, { 180,188 }
		2, { 180,188,222 }
		1, { 180,218 }
		2, { 180,218,242 }
		1, { 180,222 }
		2, { 180,222,242 }
		1, { 180,242 }
		1, { 181,185 }
		2, { 181,185,189 }
		3, { 181,185,189,219,223,227,243,247,251,267,271,275 }, <1,9.99999999999998778755e-01,9.99999999999996891376e-01,1.00000000000000022204e+00,-9.23606797749977914691e+00>
		2, { 181,185,219 }
		1, { 181,189 }
		2, { 181,189,223 }
		1, { 181,219 }
		2, { 181,219,243 }
		1, { 181,223 }
		2, { 181,223,243 }
		1, { 181,243 }
		1, { 182,186 }
		2, { 182,186,224 }
		1, { 182,216 }
		2, { 182,216,244 }
		1, { 182,224 }
		2, { 182,224,244 }
		1, { 182,244 }
		1, { 183,187 }
		2, { 183,187,225 }
		1, { 183,217 }
		2, { 183,217,245 }
		1, { 183,225 }
		2, { 183,225,245 }
		1, { 183,245 }
		1, { 184,188 }
		2, { 184,188,226 }
		1, { 184,218 }
		2, { 184,218,246 }
		1, { 184,226 }
		2, { 184,226,246 }
		1, { 184,246 }
		1, { 185,189 }
		2, { 185,189,227 }
		1, { 185,219 }
		2, { 185,219,247 }
		1, { 185,227 }
		2, { 185,227,247 }
		1, { 185,247 }
		1, { 186,220 }
		2, { 186,220,248 }
		1, { 186,224 }
		2, { 186,224,248 }
		1, { 186,248 }
		1, { 187,221 }
		2, { 187,221,249 }
		1, { 187,225 }
		2, { 187,225,249 }
		1, { 187,249 }
		1, { 188,222 }
		2, { 188,222,250 }
		1, { 188,226 }
		2, { 188,226,250 }
		1, { 188,250 }
		1, { 189,223 }
		2, { 189,223,251 }
		1, { 189,227 }
		2, { 189,227,251 }
		1, { 189,251 }
		1, { 190,202 }
		2, { 190,202,203 }
		3, { 190,202,203,224,225,248,249,272,273 }, <2.61803398874999437851e+00,3.61803398874995174594e+00,-1,-2.65707792853903399694e-16,-2.09442719099995606769e+01>
		2, { 190,202,224,248 }
		1, { 190,203 }
		2, { 190,203,225,249 }
		1, { 190,224 }
		2, { 190,224,225 }
		1, { 190,225 }
		1, { 191,202 }
		2, { 191,202,203 }
		3, { 191,202,203,226,227,250,251,274,275 }, <2.61803398874995219003e+00,3.61803398874993398238e+00,1,1.02521923531503252653e-16,-2.09442719099994185683e+01>
		2, { 191,202,226,250 }
		1, { 191,203 }
		2, { 191,203,227,251 }
		1, { 191,226 }
		2, { 191,226,227 }
		1, { 191,227 }
		1, { 192,193 }
		2, { 192,193,228,229,252,253 }
		3, { 192,193,228,229,230,231,252,253,254,255,276,277 }, <1,-9.99999999999990119015e-01,6.02802639193004633482e-16,1.87356375935562186026e-15,-6.23606797749975161338e+00>
		2, { 192,193,230,231,254,255 }
		1, { 192,228 }
		2, { 192,228,230 }
		1, { 192,230 }
		1, { 193,229 }
		2, { 193,229,231 }
		1, { 193,231 }
		1, { 194,200 }
		2, { 194,200,232,244,260,264 }
		3, { 194,200,232,233,244,245,260,261,264,265,280,281 }, <1,2.86374083776983984590e-15,-9.99999999999962030373e-01,1.36285814078417661160e-15,-6.23606797749964769650e+00>
		2, { 194,200,233,245,261,265 }
		1, { 194,232 }
		2, { 194,232,233 }
		1, { 194,233 }
		1, { 195,201 }
		2, { 195,201,234,246,262,266 }
		3, { 195,201,234,235,246,247,262,263,266,267,282,283 }, <1,2.16165622432646345427e-15,9.99999999999978239629e-01,1.25802289918540127433e-15,-6.23606797749970809264e+00>
		2, { 195,201,235,247,263,267 }
		1, { 195,234 }
		2, { 195,234,235 }
		1, { 195,235 }
		1, { 196,198 }
		2, { 196,198,236,238,256,258 }
		3, { 196,198,236,238,240,242,256,258,268,270,278,284 }, <1,1.57252862398175686842e-15,-3.50740609568603815671e-16,-9.99999999999979682919e-01,-6.23606797749971875078e+00>
		2, { 196,198,240,242,268,270 }
		1, { 196,236 }
		2, { 196,236,240 }
		1, { 196,240 }
		1, { 197,199 }
		2, { 197,199,237,239,257,259 }
		3, { 197,199,237,239,241,243,257,259,269,271,279,285 }, <1,-1.99186959037690653523e-15,-7.42009143055985771927e-16,1.00000000000000976996e+00,-6.23606797749982533219e+00>
		2, { 197,199,241,243,269,271 }
		1, { 197,237 }
		2, { 197,237,241 }
		1, { 197,241 }
		1, { 198,238 }
		2, { 198,238,242 }
		1, { 198,242 }
		1, { 199,239 }
		2, { 199,239,243 }
		1, { 199,243 }
		1, { 200,244 }
		2, { 200,244,245 }
		1, { 200,245 }
		1, { 201,246 }
		2, { 201,246,247 }
		1, { 201,247 }
		1, { 202,203 }
		2, { 202,203,248,249,272,273 }
		3, { 202,203,248,249,250,251,272,273,274,275,286,287 }, <1,1.00000000000000177636e+00,-3.87890393915504877724e-15,-2.18006193248003246709e-16,-6.23606797749979246959e+00>
		2, { 202,203,250,251,274,275 }
		1, { 202,248 }
		2, { 202,248,250 }
		1, { 202,250 }
		1, { 203,249 }
		2, { 203,249,251 }
		1, { 203,251 }
		1, { 204,205 }
		2, { 204,205,232,233 }
		3, { 204,205,232,233,252,253 }, <1,-1.00000000000000688338e+00,-1.00000000000000466294e+00,2.37263642160533597312e-15,-8.23606797749981467405e+00>
		2, { 204,205,252,253 }
		1, { 204,228 }
		2, { 204,228,252 }
		1, { 204,232 }
		2, { 204,232,252 }
		1, { 204,252 }
		1, { 205,229 }
		2, { 205,229,253 }
		1, { 205,233 }
		2, { 205,233,253 }
		1, { 205,253 }
		1, { 206,207 }
		2, { 206,207,234,235 }
		3, { 206,207,234,235,254,255 }, <1,-1.00000000000000399680e+00,1.00000000000000310862e+00,1.36986625169364649474e-15,-8.23606797749980401591e+00>
		2, { 206,207,254,255 }
		1, { 206,230 }
		2, { 206,230,254 }
		1, { 206,234 }
		2, { 206,234,254 }
		1, { 206,254 }
		1, { 207,231 }
		2, { 207,231,255 }
		1, { 207,235 }
		2, { 207,235,255 }
		1, { 207,255 }
		1, { 208,210 }
		2, { 208,210,228,230 }
		3, { 208,210,228,230,256,258 }, <1,-1.00000000000000643929e+00,-4.94009828563069790283e-16,-9.99999999999997779554e-01,-8.23606797749979868684e+00>
		2, { 208,210,256,258 }
		1, { 208,228 }
		2, { 208,228,256 }
		1, { 208,236 }
		2, { 208,236,256 }
		1, { 208,256 }
		1, { 209,211 }
		2, { 209,211,229,231 }
		3, { 209,211,229,231,257,259 }, <1,-9.99999999999995781153e-01,-5.73455335253840357942e-16,9.99999999999994781952e-01,-8.23606797749976848877e+00>
		2, { 209,211,257,259 }
		1, { 209,229 }
		2, { 209,229,257 }
		1, { 209,237 }
		2, { 209,237,257 }
		1, { 209,257 }
		1, { 210,230 }
		2, { 210,230,258 }
		1, { 210,238 }
		2, { 210,238,258 }
		1, { 210,258 }
		1, { 211,231 }
		2, { 211,231,259 }
		1, { 211,239 }
		2, { 211,239,259 }
		1, { 211,259 }
		1, { 212,216 }
		2, { 212,216,236,240 }
		3, { 212,216,236,240,260,264 }, <1,4.60472946090814878412e-15,-9.99999999999991895372e-01,-9.99999999999993338662e-01,-8.23606797749975072520e+00>
		2, { 212,216,260,264 }
		1, { 212,232 }
		2, { 212,232,260 }
		1, { 212,236 }
		2, { 212,236,260 }
		1, { 212,260 }
		1, { 213,217 }
		2, { 213,217,237,241 }
		3, { 213,217,237,241,261,265 }, <1,3.29420489091646080500e-15,-9.99999999999987787547e-01,9.99999999999989341859e-01,-8.23606797749973296163e+00>
		2, { 213,217,261,265 }
		1, { 213,233 }
		2, { 213,233,261 }
		1, { 213,237 }
		2, { 213,237,261 }
		1, { 213,261 }
		1, { 214,218 }
		2, { 214,218,238,242 }
		3, { 214,218,238,242,262,266 }, <1,3.68251227564094035638e-15,9.99999999999992894573e-01,-9.99999999999993560706e-01,-8.23606797749975427791e+00>
		2, { 214,218,262,266 }
		1, { 214,234 }
		2, { 214,234,262 }
		1, { 214,238 }
		2, { 214,238,262 }
		1, { 214,262 }
		1, { 215,219 }
		2, { 215,219,239,243 }
		3, { 215,219,239,243,263,267 }, <1,2.87286277883573852874e-15,9.99999999999990007993e-01,9.99999999999991229238e-01,-8.23606797749974361977e+00>
		2, { 215,219,263,267 }
		1, { 215,235 }
		2, { 215,235,263 }
		1, { 215,239 }
		2, { 215,239,263 }
		1, { 215,263 }
		1, { 216,240 }
		2, { 216,240,264 }
		1, { 216,244 }
		2, { 216,244,264 }
		1, { 216,264 }
		1, { 217,241 }
		2, { 217,241,265 }
		1, { 217,245 }
		2, { 217,245,265 }
		1, { 217,265 }
		1, { 218,242 }
		2, { 218,242,266 }
		1, { 218,246 }
		2, { 218,246,266 }
		1, { 218,266 }
		1, { 219,243 }
		2, { 219,243,267 }
		1, { 219,247 }
		2, { 219,247,267 }
		1, { 219,267 }
		1, { 220,222 }
		2, { 220,222,248,250 }
		3, { 220,222,248,250,268,270 }, <1,9.99999999999992894573e-01,-1.89923199746814011125e-16,-9.99999999999988675725e-01,-8.23606797749974539613e+00>
		2, { 220,222,268,270 }
		1, { 220,240 }
		2, { 220,240,268 }
		1, { 220,248 }
		2, { 220,248,268 }
		1, { 220,268 }
		1, { 221,223 }
		2, { 221,223,249,251 }
		3, { 221,223,249,251,269,271 }, <1,9.99999999999985234034e-01,-2.18130115369783144954e-16,9.99999999999976130205e-01,-8.23606797749969921085e+00>
		2, { 221,223,269,271 }
		1, { 221,241 }
		2, { 221,241,269 }
		1, { 221,249 }
		2, { 221,249,269 }
		1, { 221,269 }
		1, { 222,242 }
		2, { 222,242,270 }
		1, { 222,250 }
		2, { 222,250,270 }
		1, { 222,270 }
		1, { 223,243 }
		2, { 223,243,271 }
		1, { 223,251 }
		2, { 223,251,271 }
		1, { 223,271 }
		1, { 224,225 }
		2, { 224,225,244,245 }
		3, { 224,225,244,245,272,273 }, <1,9.99999999999985456078e-01,-9.99999999999990341060e-01,1.63306933030294255700e-15,-8.23606797749973118528e+00>
		2, { 224,225,272,273 }
		1, { 224,244 }
		2, { 224,244,272 }
		1, { 224,248 }
		2, { 224,248,272 }
		1, { 224,272 }
		1, { 225,245 }
		2, { 225,245,273 }
		1, { 225,249 }
		2, { 225,249,273 }
		1, { 225,273 }
		1, { 226,227 }
		2, { 226,227,246,247 }
		3, { 226,227,246,247,274,275 }, <1,9.99999999999992006394e-01,9.99999999999991673327e-01,7.75581219684822211593e-16,-8.23606797749975072520e+00>
		2, { 226,227,274,275 }
		1, { 226,246 }
		2, { 226,246,274 }
		1, { 226,250 }
		2, { 226,250,274 }
		1, { 226,274 }
		1, { 227,247 }
		2, { 227,247,275 }
		1, { 227,251 }
		2, { 227,251,275 }
		1, { 227,275 }
		1, { 228,230 }
		2, { 228,230,256,258 }
		2, { 228,230,252,254,276,277 }
		3, { 228,230,252,254,256,258,276,277,278 }, <3.61803398875000636892e+00,-2.61803398874997306223e+00,7.57059363533245710264e-16,-1,-2.09442719099997205490e+01>
		1, { 228,252 }
		2, { 228,252,256 }
		1, { 228,256 }
		1, { 229,231 }
		2, { 229,231,257,259 }
		2, { 229,231,253,255,276,277 }
		3, { 229,231,253,255,257,259,276,277,279 }, <3.61803398874994508461e+00,-2.61803398874992732104e+00,4.84707624118156035304e-16,1,-2.09442719099994079102e+01>
		1, { 229,253 }
		2, { 229,253,257 }
		1, { 229,257 }
		1, { 230,254 }
		2, { 230,254,258 }
		1, { 230,258 }
		1, { 231,255 }
		2, { 231,255,259 }
		1, { 231,259 }
		1, { 232,233 }
		2, { 232,233,252,253 }
		3, { 232,233,252,253,260,261,276,280,281 }, <3.61803398874991000156e+00,-1,-2.61803398874990378431e+00,4.73190798561302339344e-15,-2.09442719099992267218e+01>
		2, { 232,233,260,261,280,281 }
		1, { 232,252 }
		2, { 232,252,260 }
		1, { 232,260 }
		1, { 233,253 }
		2, { 233,253,261 }
		1, { 233,261 }
		1, { 234,235 }
		2, { 234,235,254,255 }
		3, { 234,235,254,255,262,263,277,282,283 }, <3.61803398874990067569e+00,-1,2.61803398874989756706e+00,3.55951083157566838472e-15,-2.09442719099991805365e+01>
		2, { 234,235,262,263,282,283 }
		1, { 234,254 }
		2, { 234,254,262 }
		1, { 234,262 }
		1, { 235,255 }
		2, { 235,255,263 }
		1, { 235,263 }
		1, { 236,240 }
		2, { 236,240,260,264 }
		2, { 236,240,256,268,278,284 }
		3, { 236,240,256,260,264,268,278,280,284 }, <3.61803398874998904944e+00,6.02684339519196073350e-15,-1,-2.61803398874994996959e+00,-2.09442719099996068621e+01>
		1, { 236,256 }
		2, { 236,256,260 }
		1, { 236,260 }
		1, { 237,241 }
		2, { 237,241,261,265 }
		2, { 237,241,257,269,279,285 }
		3, { 237,241,257,261,265,269,279,281,285 }, <3.61803398874982429234e+00,-1.66113785436210991554e-15,-1,2.61803398874985493450e+00,-2.09442719099988252651e+01>
		1, { 237,257 }
		2, { 237,257,261 }
		1, { 237,261 }
		1, { 238,242 }
		2, { 238,242,262,266 }
		2, { 238,242,258,270,278,284 }
		3, { 238,242,258,262,266,270,278,282,284 }, <3.61803398874999393442e+00,5.49113948307765367069e-15,1,-2.61803398874994996959e+00,-2.09442719099996210730e+01>
		1, { 238,258 }
		2, { 238,258,262 }
		1, { 238,262 }
		1, { 239,243 }
		2, { 239,243,263,267 }
		2, { 239,243,259,271,279,285 }
		3, { 239,243,259,263,267,271,279,283,285 }, <3.61803398874982606870e+00,-1.89306341921191475698e-15,1,2.61803398874985182587e+00,-2.09442719099988288178e+01>
		1, { 239,259 }
		2, { 239,259,263 }
		1, { 239,263 }
		1, { 240,264 }
		2, { 240,264,268 }
		1, { 240,268 }
		1, { 241,265 }
		2, { 241,265,269 }
		1, { 241,269 }
		1, { 242,266 }
		2, { 242,266,270 }
		1, { 242,270 }
		1, { 243,267 }
		2, { 243,267,271 }
		1, { 243,271 }
		1, { 244,245 }
		2, { 244,245,272,273 }
		2, { 244,245,264,265,280,281 }
		3, { 244,245,264,265,272,273,280,281,286 }, <3.61803398875013959568e+00,1,-2.61803398875005255420e+00,3.21468821686212559854e-15,-2.09442719100003564847e+01>
		1, { 244,264 }
		2, { 244,264,272 }
		1, { 244,272 }
		1, { 245,265 }
		2, { 245,265,273 }
		1, { 245,273 }
		1, { 246,247 }
		2, { 246,247,274,275 }
		2, { 246,247,266,267,282,283 }
		3, { 246,247,266,267,274,275,282,283,287 }, <3.61803398875002280022e+00,1,2.61803398874997617085e+00,2.47506093635348835383e-15,-2.09442719099997809451e+01>
		1, { 246,266 }
		2, { 246,266,274 }
		1, { 246,274 }
		1, { 247,267 }
		2, { 247,267,275 }
		1, { 247,275 }
		1, { 248,250 }
		2, { 248,250,268,270 }
		3, { 248,250,268,270,272,274,284,286,287 }, <3.61803398874986736899e+00,2.61803398874988157985e+00,-6.42627180130076050367e-15,-1,-2.09442719099990348752e+01>
		2, { 248,250,272,274,286,287 }
		1, { 248,268 }
		2, { 248,268,272 }
		1, { 248,272 }
		1, { 249,251 }
		2, { 249,251,269,271 }
		3, { 249,251,269,271,273,275,285,286,287 }, <3.61803398874987713896e+00,2.61803398874988513256e+00,-6.45447871692372581645e-15,1,-2.09442719099990810605e+01>
		2, { 249,251,273,275,286,287 }
		1, { 249,269 }
		2, { 249,269,273 }
		1, { 249,273 }
		1, { 250,270 }
		2, { 250,270,274 }
		1, { 250,274 }
		1, { 251,271 }
		2, { 251,271,275 }
		1, { 251,275 }
		1, { 252,253 }
		2, { 252,253,276 }
		1, { 252,256 }
		2, { 252,256,260 }
		3, { 252,256,260,276,278,280 }, <3.00000000000000621725e+00,-1,-1.00000000000000555112e+00,-1.00000000000000199840e+00,-1.64721359549996115845e+01>
		2, { 252,256,276,278 }
		1, { 252,260 }
		2, { 252,260,276,280 }
		1, { 252,276 }
		1, { 253,257 }
		2, { 253,257,261 }
		3, { 253,257,261,276,279,281 }, <2.99999999999999822364e+00,-1,-1.00000000000000577316e+00,1.00000000000000799361e+00,-1.64721359549995760574e+01>
		2, { 253,257,276,279 }
		1, { 253,261 }
		2, { 253,261,276,281 }
		1, { 253,276 }
		1, { 254,255 }
		2, { 254,255,277 }
		1, { 254,258 }
		2, { 254,258,262 }
		3, { 254,258,262,277,278,282 }, <3.00000000000000133227e+00,-1,1.00000000000000466294e+00,-1.00000000000000333067e+00,-1.64721359549995902682e+01>
		2, { 254,258,277,278 }
		1, { 254,262 }
		2, { 254,262,277,282 }
		1, { 254,277 }
		1, { 255,259 }
		2, { 255,259,263 }
		3, { 255,259,263,277,279,283 }, <2.99999999999999555911e+00,-1,1.00000000000000399680e+00,1.00000000000000821565e+00,-1.64721359549995618465e+01>
		2, { 255,259,277,279 }
		1, { 255,263 }
		2, { 255,263,277,283 }
		1, { 255,277 }
		1, { 256,258 }
		2, { 256,258,278 }
		1, { 256,260 }
		2, { 256,260,278,280 }
		1, { 256,278 }
		1, { 257,259 }
		2, { 257,259,279 }
		1, { 257,261 }
		2, { 257,261,279,281 }
		1, { 257,279 }
		1, { 258,262 }
		2, { 258,262,278,282 }
		1, { 258,278 }
		1, { 259,263 }
		2, { 259,263,279,283 }
		1, { 259,279 }
		1, { 260,264 }
		2, { 260,264,280 }
		1, { 260,280 }
		1, { 261,265 }
		2, { 261,265,281 }
		1, { 261,281 }
		1, { 262,266 }
		2, { 262,266,282 }
		1, { 262,282 }
		1, { 263,267 }
		2, { 263,267,283 }
		1, { 263,283 }
		1, { 264,268 }
		2, { 264,268,272 }
		3, { 264,268,272,280,284,286 }, <2.99999999999996402877e+00,1,-9.99999999999989674926e-01,-9.99999999999988564703e-01,-1.64721359549993877636e+01>
		2, { 264,268,280,284 }
		1, { 264,272 }
		2, { 264,272,280,286 }
		1, { 264,280 }
		1, { 265,269 }
		2, { 265,269,273 }
		3, { 265,269,273,281,285,286 }, <2.99999999999997024602e+00,1,-9.99999999999992894573e-01,9.99999999999996669331e-01,-1.64721359549994303961e+01>
		2, { 265,269,281,285 }
		1, { 265,273 }
		2, { 265,273,281,286 }
		1, { 265,281 }
		1, { 266,270 }
		2, { 266,270,274 }
		3, { 266,270,274,282,284,287 }, <2.99999999999999955591e+00,1,9.99999999999998334665e-01,-9.99999999999997113420e-01,-1.64721359549995760574e+01>
		2, { 266,270,282,284 }
		1, { 266,274 }
		2, { 266,274,282,287 }
		1, { 266,282 }
		1, { 267,271 }
		2, { 267,271,275 }
		3, { 267,271,275,283,285,287 }, <3.00000000000000532907e+00,1,9.99999999999999000799e-01,1.00000000000000377476e+00,-1.64721359549996080318e+01>
		2, { 267,271,283,285 }
		1, { 267,275 }
		2, { 267,275,283,287 }
		1, { 267,283 }
		1, { 268,270 }
		2, { 268,270,284 }
		1, { 268,272 }
		2, { 268,272,284,286 }
		1, { 268,284 }
		1, { 269,271 }
		2, { 269,271,285 }
		1, { 269,273 }
		2, { 269,273,285,286 }
		1, { 269,285 }
		1, { 270,274 }
		2, { 270,274,284,287 }
		1, { 270,284 }
		1, { 271,275 }
		2, { 271,275,285,287 }
		1, { 271,285 }
		1, { 272,273 }
		2, { 272,273,286 }
		1, { 272,286 }
		1, { 273,286 }
		1, { 274,275 }
		2, { 274,275,287 }
		1, { 274,287 }
		1, { 275,287 }
		1, { 276,277 }
		2, { 276,277,278 }
		3, { 276,277,278,279,280,281,282,283,284,285,286,287 }, <1,-6.32505957646001622090e-15,-5.91337273903021027951e-16,7.86264311990886026998e-17,-4.61803398874990200795e+00>
		2, { 276,277,279 }
		1, { 276,278 }
		2, { 276,278,280 }
		1, { 276,279 }
		2, { 276,279,281 }
		1, { 276,280 }
		2, { 276,280,281 }
		1, { 276,281 }
		1, { 277,278 }
		2, { 277,278,282 }
		1, { 277,279 }
		2, { 277,279,283 }
		1, { 277,282 }
		2, { 277,282,283 }
		1, { 277,283 }
		1, { 278,280 }
		2, { 278,280,284 }
		1, { 278,282 }
		2, { 278,282,284 }
		1, { 278,284 }
		1, { 279,281 }
		2, { 279,281,285 }
		1, { 279,283 }
		2, { 279,283,285 }
		1, { 279,285 }
		1, { 280,281 }
		2, { 280,281,286 }
		1, { 280,284 }
		2, { 280,284,286 }
		1, { 280,286 }
		1, { 281,285 }
		2, { 281,285,286 }
		1, { 281,286 }
		1, { 282,283 }
		2, { 282,283,287 }
		1, { 282,284 }
		2, { 282,284,287 }
		1, { 282,287 }
		1, { 283,285 }
		2, { 283,285,287 }
		1, { 283,287 }
		1, { 284,286 }
		2, { 284,286,287 }
		1, { 284,287 }
		1, { 285,286 }
		2, { 285,286,287 }
		1, { 285,287 }
		1, { 286,287 }
	}
}