# Automatically generated by makepoly.
polytope castellated_H101_prism {
	dimension 4
	vertices {
		<-4.23606797749978980505e+00, -2.61803398874989490253e+00, 0, -1>
		<-4.23606797749978980505e+00, -2.61803398874989490253e+00, 0, 1>
		<-4.23606797749978980505e+00, -1, -1, -1.61803398874989490253e+00>
		<-4.23606797749978980505e+00, -1, -1, 1.61803398874989490253e+00>
		<-4.23606797749978980505e+00, -1, 1, -1.61803398874989490253e+00>
		<-4.23606797749978980505e+00, -1, 1, 1.61803398874989490253e+00>
		<-4.23606797749978980505e+00, 0, -1.61803398874989490253e+00, 0>
		<-4.23606797749978980505e+00, 0, 1.61803398874989490253e+00, 0>
		<-4.23606797749978980505e+00, 1, -1, -1.61803398874989490253e+00>
		<-4.23606797749978980505e+00, 1, -1, 1.61803398874989490253e+00>
		<-4.23606797749978980505e+00, 1, 1, -1.61803398874989490253e+00>
		<-4.23606797749978980505e+00, 1, 1, 1.61803398874989490253e+00>
		<-4.23606797749978980505e+00, 2.61803398874989490253e+00, 0, -1>
		<-4.23606797749978980505e+00, 2.61803398874989490253e+00, 0, 1>
		<-3.61803398874989490253e+00, 0, -2.61803398874989490253e+00, -1.61803398874989490253e+00>
		<-3.61803398874989490253e+00, 0, -2.61803398874989490253e+00, 1.61803398874989490253e+00>
		<-3.61803398874989490253e+00, 0, 2.61803398874989490253e+00, -1.61803398874989490253e+00>
		<-3.61803398874989490253e+00, 0, 2.61803398874989490253e+00, 1.61803398874989490253e+00>
		<-3.23606797749978980505e+00, -2.61803398874989490253e+00, -1.61803398874989490253e+00, -1.61803398874989490253e+00>
		<-3.23606797749978980505e+00, -2.61803398874989490253e+00, -1.61803398874989490253e+00, 1.61803398874989490253e+00>
		<-3.23606797749978980505e+00, -2.61803398874989490253e+00, 1.61803398874989490253e+00, -1.61803398874989490253e+00>
		<-3.23606797749978980505e+00, -2.61803398874989490253e+00, 1.61803398874989490253e+00, 1.61803398874989490253e+00>
		<-3.23606797749978980505e+00, 2.61803398874989490253e+00, -1.61803398874989490253e+00, -1.61803398874989490253e+00>
		<-3.23606797749978980505e+00, 2.61803398874989490253e+00, -1.61803398874989490253e+00, 1.61803398874989490253e+00>
		<-3.23606797749978980505e+00, 2.61803398874989490253e+00, 1.61803398874989490253e+00, -1.61803398874989490253e+00>
		<-3.23606797749978980505e+00, 2.61803398874989490253e+00, 1.61803398874989490253e+00, 1.61803398874989490253e+00>
		<-2.61803398874989490253e+00, -3.61803398874989490253e+00, 0, -1.61803398874989490253e+00>
		<-2.61803398874989490253e+00, -3.61803398874989490253e+00, 0, 1.61803398874989490253e+00>
		<-2.61803398874989490253e+00, -2.61803398874989490253e+00, -2.61803398874989490253e+00, 0>
		<-2.61803398874989490253e+00, -2.61803398874989490253e+00, 2.61803398874989490253e+00, 0>
		<-2.61803398874989490253e+00, -1.61803398874989490253e+00, -3.23606797749978980505e+00, -1.61803398874989490253e+00>
		<-2.61803398874989490253e+00, -1.61803398874989490253e+00, -3.23606797749978980505e+00, 1.61803398874989490253e+00>
		<-2.61803398874989490253e+00, -1.61803398874989490253e+00, 3.23606797749978980505e+00, -1.61803398874989490253e+00>
		<-2.61803398874989490253e+00, -1.61803398874989490253e+00, 3.23606797749978980505e+00, 1.61803398874989490253e+00>
		<-2.61803398874989490253e+00, 0, -4.23606797749978980505e+00, -1>
		<-2.61803398874989490253e+00, 0, -4.23606797749978980505e+00, 1>
		<-2.61803398874989490253e+00, 0, 4.23606797749978980505e+00, -1>
		<-2.61803398874989490253e+00, 0, 4.23606797749978980505e+00, 1>
		<-2.61803398874989490253e+00, 1.61803398874989490253e+00, -3.23606797749978980505e+00, -1.61803398874989490253e+00>
		<-2.61803398874989490253e+00, 1.61803398874989490253e+00, -3.23606797749978980505e+00, 1.61803398874989490253e+00>
		<-2.61803398874989490253e+00, 1.61803398874989490253e+00, 3.23606797749978980505e+00, -1.61803398874989490253e+00>
		<-2.61803398874989490253e+00, 1.61803398874989490253e+00, 3.23606797749978980505e+00, 1.61803398874989490253e+00>
		<-2.61803398874989490253e+00, 2.61803398874989490253e+00, -2.61803398874989490253e+00, 0>
		<-2.61803398874989490253e+00, 2.61803398874989490253e+00, 2.61803398874989490253e+00, 0>
		<-2.61803398874989490253e+00, 3.61803398874989490253e+00, 0, -1.61803398874989490253e+00>
		<-2.61803398874989490253e+00, 3.61803398874989490253e+00, 0, 1.61803398874989490253e+00>
		<-1.61803398874989490253e+00, -4.23606797749978980505e+00, 0, 0>
		<-1.61803398874989490253e+00, -3.23606797749978980505e+00, -2.61803398874989490253e+00, -1.61803398874989490253e+00>
		<-1.61803398874989490253e+00, -3.23606797749978980505e+00, -2.61803398874989490253e+00, 1.61803398874989490253e+00>
		<-1.61803398874989490253e+00, -3.23606797749978980505e+00, 2.61803398874989490253e+00, -1.61803398874989490253e+00>
		<-1.61803398874989490253e+00, -3.23606797749978980505e+00, 2.61803398874989490253e+00, 1.61803398874989490253e+00>
		<-1.61803398874989490253e+00, 3.23606797749978980505e+00, -2.61803398874989490253e+00, -1.61803398874989490253e+00>
		<-1.61803398874989490253e+00, 3.23606797749978980505e+00, -2.61803398874989490253e+00, 1.61803398874989490253e+00>
		<-1.61803398874989490253e+00, 3.23606797749978980505e+00, 2.61803398874989490253e+00, -1.61803398874989490253e+00>
		<-1.61803398874989490253e+00, 3.23606797749978980505e+00, 2.61803398874989490253e+00, 1.61803398874989490253e+00>
		<-1.61803398874989490253e+00, 4.23606797749978980505e+00, 0, 0>
		<-1, -4.23606797749978980505e+00, -1, -1.61803398874989490253e+00>
		<-1, -4.23606797749978980505e+00, -1, 1.61803398874989490253e+00>
		<-1, -4.23606797749978980505e+00, 1, -1.61803398874989490253e+00>
		<-1, -4.23606797749978980505e+00, 1, 1.61803398874989490253e+00>
		<-1, -1, -4.23606797749978980505e+00, -1.61803398874989490253e+00>
		<-1, -1, -4.23606797749978980505e+00, 1.61803398874989490253e+00>
		<-1, -1, 4.23606797749978980505e+00, -1.61803398874989490253e+00>
		<-1, -1, 4.23606797749978980505e+00, 1.61803398874989490253e+00>
		<-1, 1, -4.23606797749978980505e+00, -1.61803398874989490253e+00>
		<-1, 1, -4.23606797749978980505e+00, 1.61803398874989490253e+00>
		<-1, 1, 4.23606797749978980505e+00, -1.61803398874989490253e+00>
		<-1, 1, 4.23606797749978980505e+00, 1.61803398874989490253e+00>
		<-1, 4.23606797749978980505e+00, -1, -1.61803398874989490253e+00>
		<-1, 4.23606797749978980505e+00, -1, 1.61803398874989490253e+00>
		<-1, 4.23606797749978980505e+00, 1, -1.61803398874989490253e+00>
		<-1, 4.23606797749978980505e+00, 1, 1.61803398874989490253e+00>
		<0, -4.23606797749978980505e+00, -2.61803398874989490253e+00, -1>
		<0, -4.23606797749978980505e+00, -2.61803398874989490253e+00, 1>
		<0, -4.23606797749978980505e+00, 2.61803398874989490253e+00, -1>
		<0, -4.23606797749978980505e+00, 2.61803398874989490253e+00, 1>
		<0, -2.61803398874989490253e+00, -3.61803398874989490253e+00, -1.61803398874989490253e+00>
		<0, -2.61803398874989490253e+00, -3.61803398874989490253e+00, 1.61803398874989490253e+00>
		<0, -2.61803398874989490253e+00, 3.61803398874989490253e+00, -1.61803398874989490253e+00>
		<0, -2.61803398874989490253e+00, 3.61803398874989490253e+00, 1.61803398874989490253e+00>
		<0, -1.61803398874989490253e+00, -4.23606797749978980505e+00, 0>
		<0, -1.61803398874989490253e+00, 4.23606797749978980505e+00, 0>
		<0, 1.61803398874989490253e+00, -4.23606797749978980505e+00, 0>
		<0, 1.61803398874989490253e+00, 4.23606797749978980505e+00, 0>
		<0, 2.61803398874989490253e+00, -3.61803398874989490253e+00, -1.61803398874989490253e+00>
		<0, 2.61803398874989490253e+00, -3.61803398874989490253e+00, 1.61803398874989490253e+00>
		<0, 2.61803398874989490253e+00, 3.61803398874989490253e+00, -1.61803398874989490253e+00>
		<0, 2.61803398874989490253e+00, 3.61803398874989490253e+00, 1.61803398874989490253e+00>
		<0, 4.23606797749978980505e+00, -2.61803398874989490253e+00, -1>
		<0, 4.23606797749978980505e+00, -2.61803398874989490253e+00, 1>
		<0, 4.23606797749978980505e+00, 2.61803398874989490253e+00, -1>
		<0, 4.23606797749978980505e+00, 2.61803398874989490253e+00, 1>
		<1, -4.23606797749978980505e+00, -1, -1.61803398874989490253e+00>
		<1, -4.23606797749978980505e+00, -1, 1.61803398874989490253e+00>
		<1, -4.23606797749978980505e+00, 1, -1.61803398874989490253e+00>
		<1, -4.23606797749978980505e+00, 1, 1.61803398874989490253e+00>
		<1, -1, -4.23606797749978980505e+00, -1.61803398874989490253e+00>
		<1, -1, -4.23606797749978980505e+00, 1.61803398874989490253e+00>
		<1, -1, 4.23606797749978980505e+00, -1.61803398874989490253e+00>
		<1, -1, 4.23606797749978980505e+00, 1.61803398874989490253e+00>
		<1, 1, -4.23606797749978980505e+00, -1.61803398874989490253e+00>
		<1, 1, -4.23606797749978980505e+00, 1.61803398874989490253e+00>
		<1, 1, 4.23606797749978980505e+00, -1.61803398874989490253e+00>
		<1, 1, 4.23606797749978980505e+00, 1.61803398874989490253e+00>
		<1, 4.23606797749978980505e+00, -1, -1.61803398874989490253e+00>
		<1, 4.23606797749978980505e+00, -1, 1.61803398874989490253e+00>
		<1, 4.23606797749978980505e+00, 1, -1.61803398874989490253e+00>
		<1, 4.23606797749978980505e+00, 1, 1.61803398874989490253e+00>
		<1.61803398874989490253e+00, -4.23606797749978980505e+00, 0, 0>
		<1.61803398874989490253e+00, -3.23606797749978980505e+00, -2.61803398874989490253e+00, -1.61803398874989490253e+00>
		<1.61803398874989490253e+00, -3.23606797749978980505e+00, -2.61803398874989490253e+00, 1.61803398874989490253e+00>
		<1.61803398874989490253e+00, -3.23606797749978980505e+00, 2.61803398874989490253e+00, -1.61803398874989490253e+00>
		<1.61803398874989490253e+00, -3.23606797749978980505e+00, 2.61803398874989490253e+00, 1.61803398874989490253e+00>
		<1.61803398874989490253e+00, 3.23606797749978980505e+00, -2.61803398874989490253e+00, -1.61803398874989490253e+00>
		<1.61803398874989490253e+00, 3.23606797749978980505e+00, -2.61803398874989490253e+00, 1.61803398874989490253e+00>
		<1.61803398874989490253e+00, 3.23606797749978980505e+00, 2.61803398874989490253e+00, -1.61803398874989490253e+00>
		<1.61803398874989490253e+00, 3.23606797749978980505e+00, 2.61803398874989490253e+00, 1.61803398874989490253e+00>
		<1.61803398874989490253e+00, 4.23606797749978980505e+00, 0, 0>
		<2.61803398874989490253e+00, -3.61803398874989490253e+00, 0, -1.61803398874989490253e+00>
		<2.61803398874989490253e+00, -3.61803398874989490253e+00, 0, 1.61803398874989490253e+00>
		<2.61803398874989490253e+00, -2.61803398874989490253e+00, -2.61803398874989490253e+00, 0>
		<2.61803398874989490253e+00, -2.61803398874989490253e+00, 2.61803398874989490253e+00, 0>
		<2.61803398874989490253e+00, -1.61803398874989490253e+00, -3.23606797749978980505e+00, -1.61803398874989490253e+00>
		<2.61803398874989490253e+00, -1.61803398874989490253e+00, -3.23606797749978980505e+00, 1.61803398874989490253e+00>
		<2.61803398874989490253e+00, -1.61803398874989490253e+00, 3.23606797749978980505e+00, -1.61803398874989490253e+00>
		<2.61803398874989490253e+00, -1.61803398874989490253e+00, 3.23606797749978980505e+00, 1.61803398874989490253e+00>
		<2.61803398874989490253e+00, 0, -4.23606797749978980505e+00, -1>
		<2.61803398874989490253e+00, 0, -4.23606797749978980505e+00, 1>
		<2.61803398874989490253e+00, 0, 4.23606797749978980505e+00, -1>
		<2.61803398874989490253e+00, 0, 4.23606797749978980505e+00, 1>
		<2.61803398874989490253e+00, 1.61803398874989490253e+00, -3.23606797749978980505e+00, -1.61803398874989490253e+00>
		<2.61803398874989490253e+00, 1.61803398874989490253e+00, -3.23606797749978980505e+00, 1.61803398874989490253e+00>
		<2.61803398874989490253e+00, 1.61803398874989490253e+00, 3.23606797749978980505e+00, -1.61803398874989490253e+00>
		<2.61803398874989490253e+00, 1.61803398874989490253e+00, 3.23606797749978980505e+00, 1.61803398874989490253e+00>
		<2.61803398874989490253e+00, 2.61803398874989490253e+00, -2.61803398874989490253e+00, 0>
		<2.61803398874989490253e+00, 2.61803398874989490253e+00, 2.61803398874989490253e+00, 0>
		<2.61803398874989490253e+00, 3.61803398874989490253e+00, 0, -1.61803398874989490253e+00>
		<2.61803398874989490253e+00, 3.61803398874989490253e+00, 0, 1.61803398874989490253e+00>
		<3.23606797749978980505e+00, -2.61803398874989490253e+00, -1.61803398874989490253e+00, -1.61803398874989490253e+00>
		<3.23606797749978980505e+00, -2.61803398874989490253e+00, -1.61803398874989490253e+00, 1.61803398874989490253e+00>
		<3.23606797749978980505e+00, -2.61803398874989490253e+00, 1.61803398874989490253e+00, -1.61803398874989490253e+00>
		<3.23606797749978980505e+00, -2.61803398874989490253e+00, 1.61803398874989490253e+00, 1.61803398874989490253e+00>
		<3.23606797749978980505e+00, 2.61803398874989490253e+00, -1.61803398874989490253e+00, -1.61803398874989490253e+00>
		<3.23606797749978980505e+00, 2.61803398874989490253e+00, -1.61803398874989490253e+00, 1.61803398874989490253e+00>
		<3.23606797749978980505e+00, 2.61803398874989490253e+00, 1.61803398874989490253e+00, -1.61803398874989490253e+00>
		<3.23606797749978980505e+00, 2.61803398874989490253e+00, 1.61803398874989490253e+00, 1.61803398874989490253e+00>
		<3.61803398874989490253e+00, 0, -2.61803398874989490253e+00, -1.61803398874989490253e+00>
		<3.61803398874989490253e+00, 0, -2.61803398874989490253e+00, 1.61803398874989490253e+00>
		<3.61803398874989490253e+00, 0, 2.61803398874989490253e+00, -1.61803398874989490253e+00>
		<3.61803398874989490253e+00, 0, 2.61803398874989490253e+00, 1.61803398874989490253e+00>
		<4.23606797749978980505e+00, -2.61803398874989490253e+00, 0, -1>
		<4.23606797749978980505e+00, -2.61803398874989490253e+00, 0, 1>
		<4.23606797749978980505e+00, -1, -1, -1.61803398874989490253e+00>
		<4.23606797749978980505e+00, -1, -1, 1.61803398874989490253e+00>
		<4.23606797749978980505e+00, -1, 1, -1.61803398874989490253e+00>
		<4.23606797749978980505e+00, -1, 1, 1.61803398874989490253e+00>
		<4.23606797749978980505e+00, 0, -1.61803398874989490253e+00, 0>
		<4.23606797749978980505e+00, 0, 1.61803398874989490253e+00, 0>
		<4.23606797749978980505e+00, 1, -1, -1.61803398874989490253e+00>
		<4.23606797749978980505e+00, 1, -1, 1.61803398874989490253e+00>
		<4.23606797749978980505e+00, 1, 1, -1.61803398874989490253e+00>
		<4.23606797749978980505e+00, 1, 1, 1.61803398874989490253e+00>
		<4.23606797749978980505e+00, 2.61803398874989490253e+00, 0, -1>
		<4.23606797749978980505e+00, 2.61803398874989490253e+00, 0, 1>
	}
	lattice {
		1, { 0,1 }
		2, { 0,1,2,3,6 }
		3, { 0,1,2,3,4,5,6,7,8,9,10,11,12,13 }, <-1,-0,-0,-0,-4.23606797749978980505e+00>
		3, { 0,1,2,3,6,14,15,18,19,28,30,31,34,35 }, <-2.61803398874989534661e+00,-1,-1.61803398874989490253e+00,-0,-1.37082039324993711915e+01>
		2, { 0,1,4,5,7 }
		3, { 0,1,4,5,7,16,17,20,21,29,32,33,36,37 }, <-2.61803398874988735301e+00,-1,1.61803398874989512457e+00,-0,-1.37082039324993392171e+01>
		2, { 0,1,18,19,28 }
		3, { 0,1,18,19,26,27,28,46,47,48,56,57,72,73 }, <-1.61803398874989157186e+00,-2.61803398874989223799e+00,-1,-0,-1.37082039324993516516e+01>
		2, { 0,1,20,21,29 }
		3, { 0,1,20,21,26,27,29,46,49,50,58,59,74,75 }, <-1.61803398874988801914e+00,-2.61803398874988779710e+00,1,-0,-1.37082039324993267826e+01>
		2, { 0,1,26,27,46 }
		1, { 0,2 }
		2, { 0,2,4 }
		3, { 0,2,4,18,20,26 }, <-1.61803398874989401435e+00,-1,-0,-2.61803398874989490253e+00,-1.20901699437494709599e+01>
		2, { 0,2,18 }
		1, { 0,4 }
		2, { 0,4,20 }
		1, { 0,18 }
		2, { 0,18,26 }
		1, { 0,20 }
		2, { 0,20,26 }
		1, { 0,26 }
		1, { 1,3 }
		2, { 1,3,5 }
		3, { 1,3,5,19,21,27 }, <-1.61803398874990578271e+00,-1,-3.55271367880047844682e-15,2.61803398874988069167e+00,-1.20901699437494922762e+01>
		2, { 1,3,19 }
		1, { 1,5 }
		2, { 1,5,21 }
		1, { 1,19 }
		2, { 1,19,27 }
		1, { 1,21 }
		2, { 1,21,27 }
		1, { 1,27 }
		1, { 2,4 }
		2, { 2,4,8,10 }
		3, { 2,4,8,10,14,16,18,20,22,24,26,30,32,38,40,44,47,49,51,53,56,58,60,62,64,66,68,70,76,78,84,86,92,94,96,98,100,102,104,106,109,111,113,115,118,122,124,130,132,136,138,140,142,144,146,148,152,154,158,160 }, <-9.32948412691016548365e-16,4.66474206345508274182e-16,-0,-1,-1.61803398874989912137e+00>
		2, { 2,4,18,20,26 }
		1, { 2,6 }
		2, { 2,6,8 }
		3, { 2,6,8,14 }, <-6.85410196624968559576e+00,2.44249065417534438893e-15,-2.61803398874989357026e+00,-1,-3.32705098312484324197e+01>
		2, { 2,6,14 }
		1, { 2,8 }
		2, { 2,8,14 }
		1, { 2,14 }
		2, { 2,14,18,30 }
		1, { 2,18 }
		1, { 3,5 }
		2, { 3,5,9,11 }
		3, { 3,5,9,11,15,17,19,21,23,25,27,31,33,39,41,45,48,50,52,54,57,59,61,63,65,67,69,71,77,79,85,87,93,95,97,99,101,103,105,107,110,112,114,116,119,123,125,131,133,137,139,141,143,145,147,149,153,155,159,161 }, <-1.58081315826386889180e-14,-1.18738888887948042982e-15,-1.35701587300511341965e-15,1,-1.61803398874995507661e+00>
		2, { 3,5,19,21,27 }
		1, { 3,6 }
		2, { 3,6,9 }
		3, { 3,6,9,15 }, <-6.85410196624970247115e+00,-1.99840144432528177276e-15,-2.61803398874989801115e+00,1,-3.32705098312484963685e+01>
		2, { 3,6,15 }
		1, { 3,9 }
		2, { 3,9,15 }
		1, { 3,15 }
		2, { 3,15,19,31 }
		1, { 3,19 }
		1, { 4,7 }
		2, { 4,7,10 }
		3, { 4,7,10,16 }, <-6.85410196624968737211e+00,4.44089209850063799461e-16,2.61803398874989667888e+00,-1,-3.32705098312484395251e+01>
		2, { 4,7,16 }
		1, { 4,10 }
		2, { 4,10,16 }
		1, { 4,16 }
		2, { 4,16,20,32 }
		1, { 4,20 }
		1, { 5,7 }
		2, { 5,7,11 }
		3, { 5,7,11,17 }, <-6.85410196624974155100e+00,-7.54951656745105816399e-15,2.61803398874990422840e+00,1,-3.32705098312486597933e+01>
		2, { 5,7,17 }
		1, { 5,11 }
		2, { 5,11,17 }
		1, { 5,17 }
		2, { 5,17,21,33 }
		1, { 5,21 }
		1, { 6,8 }
		2, { 6,8,9,12,13 }
		3, { 6,8,9,12,13,14,15,22,23,34,35,38,39,42 }, <-2.61803398874989357026e+00,1,-1.61803398874989312617e+00,8.48134920628195270981e-17,-1.37082039324993640861e+01>
		2, { 6,8,14 }
		1, { 6,9 }
		2, { 6,9,15 }
		1, { 6,14 }
		2, { 6,14,15,34,35 }
		1, { 6,15 }
		1, { 7,10 }
		2, { 7,10,11,12,13 }
		3, { 7,10,11,12,13,16,17,24,25,36,37,40,41,43 }, <-2.61803398874992776513e+00,1,1.61803398874990267409e+00,-4.19340966395137735285e-16,-1.37082039324995061946e+01>
		2, { 7,10,16 }
		1, { 7,11 }
		2, { 7,11,17 }
		1, { 7,16 }
		2, { 7,16,17,36,37 }
		1, { 7,17 }
		1, { 8,10 }
		2, { 8,10,12 }
		3, { 8,10,12,22,24,44 }, <-1.61803398874989934342e+00,1,-3.81660714282687539141e-16,-2.61803398874989845524e+00,-1.20901699437494976053e+01>
		2, { 8,10,22,24,44 }
		1, { 8,12 }
		2, { 8,12,22 }
		1, { 8,14 }
		2, { 8,14,22,38 }
		1, { 8,22 }
		1, { 9,11 }
		2, { 9,11,13 }
		3, { 9,11,13,23,25,45 }, <-1.61803398874991133383e+00,1,-3.93437439308321637445e-15,2.61803398874991621881e+00,-1.20901699437495686595e+01>
		2, { 9,11,23,25,45 }
		1, { 9,13 }
		2, { 9,13,23 }
		1, { 9,15 }
		2, { 9,15,23,39 }
		1, { 9,23 }
		1, { 10,12 }
		2, { 10,12,24 }
		1, { 10,16 }
		2, { 10,16,24,40 }
		1, { 10,24 }
		1, { 11,13 }
		2, { 11,13,25 }
		1, { 11,17 }
		2, { 11,17,25,41 }
		1, { 11,25 }
		1, { 12,13 }
		2, { 12,13,22,23,42 }
		3, { 12,13,22,23,42,44,45,51,52,55,68,69,88,89 }, <-1.61803398874989845524e+00,2.61803398874989712297e+00,-1,-2.82109853532925042178e-16,-1.37082039324993854024e+01>
		2, { 12,13,24,25,43 }
		3, { 12,13,24,25,43,44,45,53,54,55,70,71,90,91 }, <-1.61803398874991000156e+00,2.61803398874991355427e+00,1,-5.93694444439741792631e-16,-1.37082039324994759966e+01>
		2, { 12,13,44,45,55 }
		1, { 12,22 }
		2, { 12,22,44 }
		1, { 12,24 }
		2, { 12,24,44 }
		1, { 12,44 }
		1, { 13,23 }
		2, { 13,23,45 }
		1, { 13,25 }
		2, { 13,25,45 }
		1, { 13,45 }
		1, { 14,30 }
		2, { 14,30,34 }
		3, { 14,30,34,38,60,64 }, <-1,2.09670483197568897225e-15,-1.61803398874989601275e+00,-2.61803398874989046163e+00,-1.20901699437494745126e+01>
		2, { 14,30,38,60,64 }
		1, { 14,34 }
		2, { 14,34,38 }
		1, { 14,38 }
		1, { 15,31 }
		2, { 15,31,35 }
		3, { 15,31,35,39,61,65 }, <-1,1.02738536766806946049e-14,-1.61803398874986914535e+00,2.61803398874982695688e+00,-1.20901699437492951006e+01>
		2, { 15,31,39,61,65 }
		1, { 15,35 }
		2, { 15,35,39 }
		1, { 15,39 }
		1, { 16,32 }
		2, { 16,32,36 }
		3, { 16,32,36,40,62,66 }, <-1,5.24176207993919284833e-16,1.61803398874988979550e+00,-2.61803398874987625078e+00,-1.20901699437494301037e+01>
		2, { 16,32,40,62,66 }
		1, { 16,36 }
		2, { 16,36,40 }
		1, { 16,40 }
		1, { 17,33 }
		2, { 17,33,37 }
		3, { 17,33,37,41,63,67 }, <-1,1.62494624478115333286e-14,1.61803398874987580669e+00,2.61803398874981496647e+00,-1.20901699437493110878e+01>
		2, { 17,33,41,63,67 }
		1, { 17,37 }
		2, { 17,37,41 }
		1, { 17,41 }
		1, { 18,26 }
		2, { 18,26,47,56 }
		1, { 18,28 }
		2, { 18,28,30 }
		3, { 18,28,30,47 }, <-4.23606797749979602230e+00,-4.23606797749979779866e+00,-4.23606797749979957501e+00,-1,-3.32705098312484892631e+01>
		2, { 18,28,47 }
		1, { 18,30 }
		2, { 18,30,47 }
		1, { 18,47 }
		1, { 19,27 }
		2, { 19,27,48,57 }
		1, { 19,28 }
		2, { 19,28,31 }
		3, { 19,28,31,48 }, <-4.23606797749980135137e+00,-4.23606797749980135137e+00,-4.23606797749980401591e+00,1,-3.32705098312485176848e+01>
		2, { 19,28,48 }
		1, { 19,31 }
		2, { 19,31,48 }
		1, { 19,48 }
		1, { 20,26 }
		2, { 20,26,49,58 }
		1, { 20,29 }
		2, { 20,29,32 }
		3, { 20,29,32,49 }, <-4.23606797749983421397e+00,-4.23606797749982000312e+00,4.23606797749982977308e+00,-1,-3.32705098312487024259e+01>
		2, { 20,29,49 }
		1, { 20,32 }
		2, { 20,32,49 }
		1, { 20,49 }
		1, { 21,27 }
		2, { 21,27,50,59 }
		1, { 21,29 }
		2, { 21,29,33 }
		3, { 21,29,33,50 }, <-4.23606797749983687851e+00,-4.23606797749982533219e+00,4.23606797749983776669e+00,1,-3.32705098312487450585e+01>
		2, { 21,29,50 }
		1, { 21,33 }
		2, { 21,33,50 }
		1, { 21,50 }
		1, { 22,38 }
		2, { 22,38,42 }
		3, { 22,38,42,51 }, <-4.23606797749978447598e+00,4.23606797749979069323e+00,-4.23606797749978358780e+00,-1,-3.32705098312484039980e+01>
		2, { 22,38,51 }
		1, { 22,42 }
		2, { 22,42,51 }
		1, { 22,44 }
		2, { 22,44,51,68 }
		1, { 22,51 }
		1, { 23,39 }
		2, { 23,39,42 }
		3, { 23,39,42,52 }, <-4.23606797749980579226e+00,4.23606797749982089130e+00,-4.23606797749980668044e+00,1,-3.32705098312485958445e+01>
		2, { 23,39,52 }
		1, { 23,42 }
		2, { 23,42,52 }
		1, { 23,45 }
		2, { 23,45,52,69 }
		1, { 23,52 }
		1, { 24,40 }
		2, { 24,40,43 }
		3, { 24,40,43,53 }, <-4.23606797749965746647e+00,4.23606797749970542810e+00,4.23606797749967256550e+00,-1,-3.32705098312476224010e+01>
		2, { 24,40,53 }
		1, { 24,43 }
		2, { 24,43,53 }
		1, { 24,44 }
		2, { 24,44,53,70 }
		1, { 24,53 }
		1, { 25,41 }
		2, { 25,41,43 }
		3, { 25,41,43,54 }, <-4.23606797749967078914e+00,4.23606797749973917888e+00,4.23606797749969210543e+00,1,-3.32705098312478071421e+01>
		2, { 25,41,54 }
		1, { 25,43 }
		2, { 25,43,54 }
		1, { 25,45 }
		2, { 25,45,54,71 }
		1, { 25,54 }
		1, { 26,46 }
		2, { 26,46,56 }
		3, { 26,46,56,58 }, <-2.61803398874989401435e+00,-6.85410196624969714208e+00,-2.22044604925030617831e-16,-1,-3.32705098312484679468e+01>
		2, { 26,46,58 }
		1, { 26,56 }
		2, { 26,56,58 }
		1, { 26,58 }
		1, { 27,46 }
		2, { 27,46,57 }
		3, { 27,46,57,59 }, <-2.61803398874989179390e+00,-6.85410196624970868839e+00,-1.55431223447520357659e-15,1,-3.32705098312485176848e+01>
		2, { 27,46,59 }
		1, { 27,57 }
		2, { 27,57,59 }
		1, { 27,59 }
		1, { 28,30 }
		2, { 28,30,31,34,35 }
		3, { 28,30,31,34,35,47,48,60,61,72,73,76,77,80 }, <-1,-1.61803398874989423639e+00,-2.61803398874989667888e+00,-1.67263737166158376862e-16,-1.37082039324993765206e+01>
		2, { 28,30,47 }
		1, { 28,31 }
		2, { 28,31,48 }
		1, { 28,47 }
		2, { 28,47,48,72,73 }
		1, { 28,48 }
		1, { 29,32 }
		2, { 29,32,33,36,37 }
		3, { 29,32,33,36,37,49,50,62,63,74,75,78,79,81 }, <-1,-1.61803398874986315015e+00,2.61803398874984782907e+00,-1.67263737166153569741e-16,-1.37082039324991455942e+01>
		2, { 29,32,49 }
		1, { 29,33 }
		2, { 29,33,50 }
		1, { 29,49 }
		2, { 29,49,50,74,75 }
		1, { 29,50 }
		1, { 30,34 }
		2, { 30,34,60 }
		1, { 30,47 }
		2, { 30,47,60,76 }
		1, { 30,60 }
		1, { 31,35 }
		2, { 31,35,61 }
		1, { 31,48 }
		2, { 31,48,61,77 }
		1, { 31,61 }
		1, { 32,36 }
		2, { 32,36,62 }
		1, { 32,49 }
		2, { 32,49,62,78 }
		1, { 32,62 }
		1, { 33,37 }
		2, { 33,37,63 }
		1, { 33,50 }
		2, { 33,50,63,79 }
		1, { 33,63 }
		1, { 34,35 }
		2, { 34,35,38,39,42 }
		3, { 34,35,38,39,42,51,52,64,65,82,84,85,88,89 }, <-1,1.61803398874988180189e+00,-2.61803398874986692491e+00,-3.00326243039458748075e-17,-1.37082039324992521756e+01>
		2, { 34,35,60,61,80 }
		3, { 34,35,60,61,64,65,80,82,96,97,100,101,126,127 }, <-2.96847222219868332517e-16,-0,-1,-5.74230581833831970724e-17,-4.23606797749978980505e+00>
		2, { 34,35,64,65,82 }
		1, { 34,38 }
		2, { 34,38,64 }
		1, { 34,60 }
		2, { 34,60,64 }
		1, { 34,64 }
		1, { 35,39 }
		2, { 35,39,65 }
		1, { 35,61 }
		2, { 35,61,65 }
		1, { 35,65 }
		1, { 36,37 }
		2, { 36,37,40,41,43 }
		3, { 36,37,40,41,43,53,54,66,67,83,86,87,90,91 }, <-1,1.61803398874995085777e+00,2.61803398874999482260e+00,-8.45771673668751201724e-16,-1.37082039324998117280e+01>
		2, { 36,37,62,63,81 }
		3, { 36,37,62,63,66,67,81,83,98,99,102,103,128,129 }, <-1.71747321427214180013e-15,2.12033730157054549313e-16,1,-2.13215353636789969925e-16,-4.23606797749979246959e+00>
		2, { 36,37,66,67,83 }
		1, { 36,40 }
		2, { 36,40,66 }
		1, { 36,62 }
		2, { 36,62,66 }
		1, { 36,66 }
		1, { 37,41 }
		2, { 37,41,67 }
		1, { 37,63 }
		2, { 37,63,67 }
		1, { 37,67 }
		1, { 38,42 }
		2, { 38,42,51 }
		1, { 38,51 }
		2, { 38,51,64,84 }
		1, { 38,64 }
		1, { 39,42 }
		2, { 39,42,52 }
		1, { 39,52 }
		2, { 39,52,65,85 }
		1, { 39,65 }
		1, { 40,43 }
		2, { 40,43,53 }
		1, { 40,53 }
		2, { 40,53,66,86 }
		1, { 40,66 }
		1, { 41,43 }
		2, { 41,43,54 }
		1, { 41,54 }
		2, { 41,54,67,87 }
		1, { 41,67 }
		1, { 42,51 }
		2, { 42,51,52,88,89 }
		1, { 42,52 }
		1, { 43,53 }
		2, { 43,53,54,90,91 }
		1, { 43,54 }
		1, { 44,55 }
		2, { 44,55,68 }
		3, { 44,55,68,70 }, <-2.61803398874989312617e+00,6.85410196624965717405e+00,2.22044604925033516895e-15,-1,-3.32705098312483116274e+01>
		2, { 44,55,70 }
		1, { 44,68 }
		2, { 44,68,70 }
		1, { 44,70 }
		1, { 45,55 }
		2, { 45,55,69 }
		3, { 45,55,69,71 }, <-2.61803398874989179390e+00,6.85410196624969980661e+00,4.66293670342570874574e-15,1,-3.32705098312484821577e+01>
		2, { 45,55,71 }
		1, { 45,69 }
		2, { 45,69,71 }
		1, { 45,71 }
		1, { 46,56 }
		2, { 46,56,58 }
		2, { 46,56,57,72,73 }
		3, { 46,56,57,58,59,72,73,74,75,92,93,94,95,108 }, <-2.96847222219869614416e-16,-1,-3.81660714282689511293e-16,-5.67698727885443347208e-17,-4.23606797749979069323e+00>
		1, { 46,57 }
		2, { 46,57,59 }
		1, { 46,58 }
		2, { 46,58,59,74,75 }
		1, { 46,59 }
		1, { 47,56 }
		2, { 47,56,72 }
		3, { 47,56,72,76,92,109 }, <3.64698015870124772639e-15,-1.61803398874988890732e+00,-1,-2.61803398874987669487e+00,-1.20901699437494265510e+01>
		2, { 47,56,76,92,109 }
		1, { 47,72 }
		2, { 47,72,76 }
		1, { 47,76 }
		1, { 48,57 }
		2, { 48,57,73 }
		3, { 48,57,73,77,93,110 }, <2.56136746029708173334e-14,-1.61803398874985004952e+00,-1,2.61803398874977277799e+00,-1.20901699437491600975e+01>
		2, { 48,57,77,93,110 }
		1, { 48,73 }
		2, { 48,73,77 }
		1, { 48,77 }
		1, { 49,58 }
		2, { 49,58,74 }
		3, { 49,58,74,78,94,111 }, <1.61145634919357690667e-15,-1.61803398874988890732e+00,1,-2.61803398874987358624e+00,-1.20901699437494247746e+01>
		2, { 49,58,78,94,111 }
		1, { 49,74 }
		2, { 49,74,78 }
		1, { 49,78 }
		1, { 50,59 }
		2, { 50,59,75 }
		3, { 50,59,75,79,95,112 }, <3.59609206346350994559e-14,-1.61803398874985382427e+00,1,2.61803398874977988342e+00,-1.20901699437491814138e+01>
		2, { 50,59,79,95,112 }
		1, { 50,75 }
		2, { 50,75,79 }
		1, { 50,79 }
		1, { 51,68 }
		2, { 51,68,88 }
		2, { 51,68,84,104,113 }
		3, { 51,68,84,88,104,113 }, <-8.42184184460396112013e-15,1.61803398874989201595e+00,-1,-2.61803398874987314215e+00,-1.20901699437494407618e+01>
		1, { 51,84 }
		2, { 51,84,88 }
		1, { 51,88 }
		1, { 52,69 }
		2, { 52,69,89 }
		2, { 52,69,85,105,114 }
		3, { 52,69,85,89,105,114 }, <-4.73655769724028992816e-14,1.61803398874988202394e+00,-1,2.61803398874961201770e+00,-1.20901699437491370048e+01>
		1, { 52,85 }
		2, { 52,85,89 }
		1, { 52,89 }
		1, { 53,70 }
		2, { 53,70,90 }
		2, { 53,70,86,106,115 }
		3, { 53,70,86,90,106,115 }, <-5.34187082761923653737e-16,1.61803398874989423639e+00,1,-2.61803398874988246803e+00,-1.20901699437494620781e+01>
		1, { 53,86 }
		2, { 53,86,90 }
		1, { 53,90 }
		1, { 54,71 }
		2, { 54,71,91 }
		2, { 54,71,87,107,116 }
		3, { 54,71,87,91,107,116 }, <-3.94779222105608165543e-14,1.61803398874989623479e+00,1,2.61803398874960846499e+00,-1.20901699437491938482e+01>
		1, { 54,87 }
		2, { 54,87,91 }
		1, { 54,91 }
		1, { 55,68 }
		2, { 55,68,70 }
		2, { 55,68,69,88,89 }
		3, { 55,68,69,70,71,88,89,90,91,104,105,106,107,117 }, <-7.42118055549668055489e-15,1,5.08880952376915239740e-16,-2.24033609954702230871e-16,-4.23606797749979779866e+00>
		1, { 55,69 }
		2, { 55,69,71 }
		1, { 55,70 }
		2, { 55,70,71,90,91 }
		1, { 55,71 }
		1, { 56,58 }
		2, { 56,58,92,94 }
		1, { 56,72 }
		2, { 56,72,92 }
		1, { 56,92 }
		1, { 57,59 }
		2, { 57,59,93,95 }
		1, { 57,73 }
		2, { 57,73,93 }
		1, { 57,93 }
		1, { 58,74 }
		2, { 58,74,94 }
		1, { 58,94 }
		1, { 59,75 }
		2, { 59,75,95 }
		1, { 59,95 }
		1, { 60,64 }
		2, { 60,64,96,100 }
		1, { 60,76 }
		2, { 60,76,80 }
		3, { 60,76,80,96 }, <1.11022302462515634321e-15,-2.61803398874989445844e+00,-6.85410196624969536572e+00,-1,-3.32705098312484750522e+01>
		2, { 60,76,96 }
		1, { 60,80 }
		2, { 60,80,96 }
		1, { 60,96 }
		1, { 61,65 }
		2, { 61,65,97,101 }
		1, { 61,77 }
		2, { 61,77,80 }
		3, { 61,77,80,97 }, <1.82076576038525672629e-14,-2.61803398874992421241e+00,-6.85410196624982237523e+00,1,-3.32705098312490576973e+01>
		2, { 61,77,97 }
		1, { 61,80 }
		2, { 61,80,97 }
		1, { 61,97 }
		1, { 62,66 }
		2, { 62,66,98,102 }
		1, { 62,78 }
		2, { 62,78,81 }
		3, { 62,78,81,98 }, <7.99360577730109869206e-15,-2.61803398874984072364e+00,6.85410196624961098877e+00,-1,-3.32705098312480629374e+01>
		2, { 62,78,98 }
		1, { 62,81 }
		2, { 62,81,98 }
		1, { 62,98 }
		1, { 63,67 }
		2, { 63,67,99,103 }
		1, { 63,79 }
		2, { 63,79,81 }
		3, { 63,79,81,99 }, <3.33066907387545763059e-14,-2.61803398874987847122e+00,6.85410196624976908453e+00,1,-3.32705098312487947965e+01>
		2, { 63,79,99 }
		1, { 63,81 }
		2, { 63,81,99 }
		1, { 63,99 }
		1, { 64,82 }
		2, { 64,82,84 }
		3, { 64,82,84,100 }, <1.21014309684141289822e-14,2.61803398874985848721e+00,-6.85410196624962164691e+00,-1,-3.32705098312481339917e+01>
		2, { 64,82,100 }
		1, { 64,84 }
		2, { 64,84,100 }
		1, { 64,100 }
		1, { 65,82 }
		2, { 65,82,85 }
		3, { 65,82,85,101 }, <3.20854454116676803505e-14,2.61803398874987802714e+00,-6.85410196624973711010e+00,1,-3.32705098312486597933e+01>
		2, { 65,82,101 }
		1, { 65,85 }
		2, { 65,85,101 }
		1, { 65,101 }
		1, { 66,83 }
		2, { 66,83,86 }
		3, { 66,83,86,102 }, <-3.04201108747302673951e-14,2.61803398875004367241e+00,6.85410196624994227932e+00,-1,-3.32705098312496403423e+01>
		2, { 66,83,102 }
		1, { 66,86 }
		2, { 66,86,102 }
		1, { 66,102 }
		1, { 67,83 }
		2, { 67,83,87 }
		3, { 67,83,87,103 }, <-5.55111512312618403510e-16,2.61803398875007609092e+00,6.85410196625010303961e+00,1,-3.32705098312503722013e+01>
		2, { 67,83,103 }
		1, { 67,87 }
		2, { 67,87,103 }
		1, { 67,103 }
		1, { 68,70 }
		2, { 68,70,104,106 }
		1, { 68,88 }
		2, { 68,88,104 }
		1, { 68,104 }
		1, { 69,71 }
		2, { 69,71,105,107 }
		1, { 69,89 }
		2, { 69,89,105 }
		1, { 69,105 }
		1, { 70,90 }
		2, { 70,90,106 }
		1, { 70,106 }
		1, { 71,91 }
		2, { 71,91,107 }
		1, { 71,107 }
		1, { 72,73 }
		2, { 72,73,76,77,80 }
		3, { 72,73,76,77,80,96,97,109,110,120,122,123,126,127 }, <1,-1.61803398874989579070e+00,-2.61803398874989934342e+00,-4.58232290832480017378e-16,-1.37082039324993907314e+01>
		2, { 72,73,92,93,108 }
		3, { 72,73,92,93,108,109,110,118,119,120,138,139,150,151 }, <1.61803398874989490253e+00,-2.61803398874989268208e+00,-1,-4.68397361755553305038e-16,-1.37082039324993623097e+01>
		2, { 72,73,109,110,120 }
		1, { 72,76 }
		2, { 72,76,109 }
		1, { 72,92 }
		2, { 72,92,109 }
		1, { 72,109 }
		1, { 73,77 }
		2, { 73,77,110 }
		1, { 73,93 }
		2, { 73,93,110 }
		1, { 73,110 }
		1, { 74,75 }
		2, { 74,75,78,79,81 }
		3, { 74,75,78,79,81,98,99,111,112,121,124,125,128,129 }, <1,-1.61803398874985382427e+00,2.61803398874983273004e+00,-4.58232290832473016237e-16,-1.37082039324990656581e+01>
		2, { 74,75,94,95,108 }
		3, { 74,75,94,95,108,111,112,118,119,121,140,141,150,151 }, <1.61803398874990889134e+00,-2.61803398874989978751e+00,1,-4.68397361755556263267e-16,-1.37082039324994102714e+01>
		2, { 74,75,111,112,121 }
		1, { 74,78 }
		2, { 74,78,111 }
		1, { 74,94 }
		2, { 74,94,111 }
		1, { 74,111 }
		1, { 75,79 }
		2, { 75,79,112 }
		1, { 75,95 }
		2, { 75,95,112 }
		1, { 75,112 }
		1, { 76,80 }
		2, { 76,80,96 }
		1, { 76,96 }
		2, { 76,96,109,122 }
		1, { 76,109 }
		1, { 77,80 }
		2, { 77,80,97 }
		1, { 77,97 }
		2, { 77,97,110,123 }
		1, { 77,110 }
		1, { 78,81 }
		2, { 78,81,98 }
		1, { 78,98 }
		2, { 78,98,111,124 }
		1, { 78,111 }
		1, { 79,81 }
		2, { 79,81,99 }
		1, { 79,99 }
		2, { 79,99,112,125 }
		1, { 79,112 }
		1, { 80,96 }
		2, { 80,96,97,126,127 }
		1, { 80,97 }
		1, { 81,98 }
		2, { 81,98,99,128,129 }
		1, { 81,99 }
		1, { 82,84 }
		2, { 82,84,85,88,89 }
		3, { 82,84,85,88,89,100,101,113,114,126,127,130,131,134 }, <1,1.61803398874985870926e+00,-2.61803398874982917732e+00,-3.21001177970264711169e-16,-1.37082039324990567764e+01>
		2, { 82,84,100 }
		1, { 82,85 }
		2, { 82,85,101 }
		1, { 82,100 }
		2, { 82,100,101,126,127 }
		1, { 82,101 }
		1, { 83,86 }
		2, { 83,86,87,90,91 }
		3, { 83,86,87,90,91,102,103,115,116,128,129,132,133,135 }, <1,1.61803398875001391843e+00,2.61803398875009651903e+00,-1.13674022733511107734e-15,-1.37082039325003446351e+01>
		2, { 83,86,102 }
		1, { 83,87 }
		2, { 83,87,103 }
		1, { 83,102 }
		2, { 83,102,103,128,129 }
		1, { 83,103 }
		1, { 84,88 }
		2, { 84,88,113 }
		1, { 84,100 }
		2, { 84,100,113,130 }
		1, { 84,113 }
		1, { 85,89 }
		2, { 85,89,114 }
		1, { 85,101 }
		2, { 85,101,114,131 }
		1, { 85,114 }
		1, { 86,90 }
		2, { 86,90,115 }
		1, { 86,102 }
		2, { 86,102,115,132 }
		1, { 86,115 }
		1, { 87,91 }
		2, { 87,91,116 }
		1, { 87,103 }
		2, { 87,103,116,133 }
		1, { 87,116 }
		1, { 88,89 }
		2, { 88,89,104,105,117 }
		3, { 88,89,104,105,113,114,117,134,136,137,142,143,162,163 }, <1.61803398874989201595e+00,2.61803398874986692491e+00,-1,-7.50507215288472775886e-16,-1.37082039324992770446e+01>
		2, { 88,89,113,114,134 }
		1, { 88,104 }
		2, { 88,104,113 }
		1, { 88,113 }
		1, { 89,105 }
		2, { 89,105,114 }
		1, { 89,114 }
		1, { 90,91 }
		2, { 90,91,106,107,117 }
		3, { 90,91,106,107,115,116,117,135,136,137,144,145,162,163 }, <1.61803398874986226197e+00,2.61803398874985182587e+00,1,-1.06209180619527784134e-15,-1.37082039324991793450e+01>
		2, { 90,91,115,116,135 }
		1, { 90,106 }
		2, { 90,106,115 }
		1, { 90,115 }
		1, { 91,107 }
		2, { 91,107,116 }
		1, { 91,116 }
		1, { 92,94 }
		2, { 92,94,108 }
		3, { 92,94,108,118 }, <2.61803398874990378431e+00,-6.85410196624968293122e+00,-2.73978921640257973839e-15,-1,-3.32705098312484395251e+01>
		2, { 92,94,118 }
		1, { 92,108 }
		2, { 92,108,118 }
		1, { 92,109 }
		2, { 92,109,118,138 }
		1, { 92,118 }
		1, { 93,95 }
		2, { 93,95,108 }
		3, { 93,95,108,119 }, <2.61803398875001214208e+00,-6.85410196624985790237e+00,-4.09680508940776632488e-15,1,-3.32705098312493561252e+01>
		2, { 93,95,119 }
		1, { 93,108 }
		2, { 93,108,119 }
		1, { 93,110 }
		2, { 93,110,119,139 }
		1, { 93,119 }
		1, { 94,108 }
		2, { 94,108,118 }
		1, { 94,111 }
		2, { 94,111,118,140 }
		1, { 94,118 }
		1, { 95,108 }
		2, { 95,108,119 }
		1, { 95,112 }
		2, { 95,112,119,141 }
		1, { 95,119 }
		1, { 96,100 }
		2, { 96,100,126 }
		2, { 96,100,122,130,146 }
		3, { 96,100,122,126,130,146 }, <1,1.23744326271937654963e-15,-1.61803398874989934342e+00,-2.61803398874987358624e+00,-1.20901699437494709599e+01>
		1, { 96,122 }
		2, { 96,122,126 }
		1, { 96,126 }
		1, { 97,101 }
		2, { 97,101,127 }
		2, { 97,101,123,131,147 }
		3, { 97,101,123,127,131,147 }, <1,-3.09242653331838153441e-15,-1.61803398874996529067e+00,2.61803398874959469822e+00,-1.20901699437494709599e+01>
		1, { 97,123 }
		2, { 97,123,127 }
		1, { 97,127 }
		1, { 98,102 }
		2, { 98,102,128 }
		2, { 98,102,124,132,148 }
		3, { 98,102,124,128,132,148 }, <1,1.58052104487490786331e-15,1.61803398874989134981e+00,-2.61803398874986115175e+00,-1.20901699437494265510e+01>
		1, { 98,124 }
		2, { 98,124,128 }
		1, { 98,128 }
		1, { 99,103 }
		2, { 99,103,129 }
		2, { 99,103,125,133,149 }
		3, { 99,103,125,129,133,149 }, <1,-2.74934875116276107945e-15,1.61803398874995107981e+00,2.61803398874953607844e+00,-1.20901699437493537204e+01>
		1, { 99,125 }
		2, { 99,125,129 }
		1, { 99,129 }
		1, { 100,126 }
		2, { 100,126,130 }
		1, { 100,130 }
		1, { 101,127 }
		2, { 101,127,131 }
		1, { 101,131 }
		1, { 102,128 }
		2, { 102,128,132 }
		1, { 102,132 }
		1, { 103,129 }
		2, { 103,129,133 }
		1, { 103,133 }
		1, { 104,106 }
		2, { 104,106,117 }
		3, { 104,106,117,136 }, <2.61803398874989889933e+00,6.85410196624951595368e+00,3.36407417207620014941e-15,-1,-3.32705098312478284583e+01>
		2, { 104,106,136 }
		1, { 104,113 }
		2, { 104,113,136,142 }
		1, { 104,117 }
		2, { 104,117,136 }
		1, { 104,136 }
		1, { 105,107 }
		2, { 105,107,117 }
		3, { 105,107,117,137 }, <2.61803398875003567881e+00,6.85410196624974155100e+00,2.00705829907119184548e-15,1,-3.32705098312489937484e+01>
		2, { 105,107,137 }
		1, { 105,114 }
		2, { 105,114,137,143 }
		1, { 105,117 }
		2, { 105,117,137 }
		1, { 105,137 }
		1, { 106,115 }
		2, { 106,115,136,144 }
		1, { 106,117 }
		2, { 106,117,136 }
		1, { 106,136 }
		1, { 107,116 }
		2, { 107,116,137,145 }
		1, { 107,117 }
		2, { 107,117,137 }
		1, { 107,137 }
		1, { 108,118 }
		2, { 108,118,119,150,151 }
		1, { 108,119 }
		1, { 109,120 }
		2, { 109,120,122 }
		3, { 109,120,122,138 }, <4.23606797749979158141e+00,-4.23606797749978269962e+00,-4.23606797749978092327e+00,-1,-3.32705098312484039980e+01>
		2, { 109,120,138 }
		1, { 109,122 }
		2, { 109,122,138 }
		1, { 109,138 }
		1, { 110,120 }
		2, { 110,120,123 }
		3, { 110,120,123,139 }, <4.23606797749989105739e+00,-4.23606797749982355583e+00,-4.23606797749984487211e+00,1,-3.32705098312489369050e+01>
		2, { 110,120,139 }
		1, { 110,123 }
		2, { 110,123,139 }
		1, { 110,139 }
		1, { 111,121 }
		2, { 111,121,124 }
		3, { 111,121,124,140 }, <4.23606797749986974111e+00,-4.23606797749985108936e+00,4.23606797749987862289e+00,-1,-3.32705098312489866430e+01>
		2, { 111,121,140 }
		1, { 111,124 }
		2, { 111,124,140 }
		1, { 111,140 }
		1, { 112,121 }
		2, { 112,121,125 }
		3, { 112,121,125,141 }, <4.23606797749998076341e+00,-4.23606797749989638646e+00,4.23606797749995056535e+00,1,-3.32705098312495834989e+01>
		2, { 112,121,141 }
		1, { 112,125 }
		2, { 112,125,141 }
		1, { 112,141 }
		1, { 113,130 }
		2, { 113,130,134 }
		3, { 113,130,134,142 }, <4.23606797749996033531e+00,4.23606797749993368996e+00,-4.23606797750000918512e+00,-1,-3.32705098312497042912e+01>
		2, { 113,130,142 }
		1, { 113,134 }
		2, { 113,134,142 }
		1, { 113,142 }
		1, { 114,131 }
		2, { 114,131,134 }
		3, { 114,131,134,143 }, <4.23606797750012731285e+00,4.23606797750008112757e+00,-4.23606797750010333203e+00,1,-3.32705098312507843161e+01>
		2, { 114,131,143 }
		1, { 114,134 }
		2, { 114,134,143 }
		1, { 114,143 }
		1, { 115,132 }
		2, { 115,132,135 }
		3, { 115,132,135,144 }, <4.23606797749959085309e+00,4.23606797749959262944e+00,4.23606797749948693621e+00,-1,-3.32705098312467768551e+01>
		2, { 115,132,144 }
		1, { 115,135 }
		2, { 115,135,144 }
		1, { 115,144 }
		1, { 116,133 }
		2, { 116,133,135 }
		3, { 116,133,135,145 }, <4.23606797749976760059e+00,4.23606797749974717249e+00,4.23606797749958463584e+00,1,-3.32705098312479137235e+01>
		2, { 116,133,145 }
		1, { 116,135 }
		2, { 116,135,145 }
		1, { 116,145 }
		1, { 117,136 }
		2, { 117,136,137,162,163 }
		1, { 117,137 }
		1, { 118,138 }
		2, { 118,138,150 }
		2, { 118,138,140,152,154 }
		3, { 118,138,140,150,152,154 }, <1.61803398874989068368e+00,-1,-1.57252862398176219324e-16,-2.61803398874985271405e+00,-1.20901699437494158929e+01>
		1, { 118,140 }
		2, { 118,140,150 }
		1, { 118,150 }
		1, { 119,139 }
		2, { 119,139,151 }
		2, { 119,139,141,153,155 }
		3, { 119,139,141,151,153,155 }, <1.61803398874984449840e+00,-1,-3.70996654119793621107e-15,2.61803398874935178142e+00,-1.20901699437487177846e+01>
		1, { 119,141 }
		2, { 119,141,151 }
		1, { 119,151 }
		1, { 120,122 }
		2, { 120,122,123,126,127 }
		3, { 120,122,123,126,127,138,139,146,147,150,151,152,153,156 }, <2.61803398874990644885e+00,-1,-1.61803398874989290412e+00,-7.67925255568368565855e-16,-1.37082039324994049423e+01>
		2, { 120,122,138 }
		1, { 120,123 }
		2, { 120,123,139 }
		1, { 120,138 }
		2, { 120,138,139,150,151 }
		1, { 120,139 }
		1, { 121,124 }
		2, { 121,124,125,128,129 }
		3, { 121,124,125,128,129,140,141,148,149,150,151,154,155,157 }, <2.61803398874986159584e+00,-1,1.61803398874989601275e+00,-7.67925255568356930157e-16,-1.37082039324992646101e+01>
		2, { 121,124,140 }
		1, { 121,125 }
		2, { 121,125,141 }
		1, { 121,140 }
		2, { 121,140,141,150,151 }
		1, { 121,141 }
		1, { 122,126 }
		2, { 122,126,146 }
		1, { 122,138 }
		2, { 122,138,146,152 }
		1, { 122,146 }
		1, { 123,127 }
		2, { 123,127,147 }
		1, { 123,139 }
		2, { 123,139,147,153 }
		1, { 123,147 }
		1, { 124,128 }
		2, { 124,128,148 }
		1, { 124,140 }
		2, { 124,140,148,154 }
		1, { 124,148 }
		1, { 125,129 }
		2, { 125,129,149 }
		1, { 125,141 }
		2, { 125,141,149,155 }
		1, { 125,149 }
		1, { 126,127 }
		2, { 126,127,130,131,134 }
		3, { 126,127,130,131,134,142,143,146,147,156,158,159,162,163 }, <2.61803398874986292810e+00,1,-1.61803398874989223799e+00,-6.83111763505537575622e-16,-1.37082039324992610574e+01>
		2, { 126,127,146,147,156 }
		1, { 126,130 }
		2, { 126,130,146 }
		1, { 126,146 }
		1, { 127,131 }
		2, { 127,131,147 }
		1, { 127,147 }
		1, { 128,129 }
		2, { 128,129,132,133,135 }
		3, { 128,129,132,133,135,144,145,148,149,157,160,161,162,163 }, <2.61803398875005832735e+00,1,1.61803398874990400635e+00,-1.18726622196354712469e-15,-1.37082039324999129803e+01>
		2, { 128,129,148,149,157 }
		1, { 128,132 }
		2, { 128,132,148 }
		1, { 128,148 }
		1, { 129,133 }
		2, { 129,133,149 }
		1, { 129,149 }
		1, { 130,134 }
		2, { 130,134,142 }
		1, { 130,142 }
		2, { 130,142,146,158 }
		1, { 130,146 }
		1, { 131,134 }
		2, { 131,134,143 }
		1, { 131,143 }
		2, { 131,143,147,159 }
		1, { 131,147 }
		1, { 132,135 }
		2, { 132,135,144 }
		1, { 132,144 }
		2, { 132,144,148,160 }
		1, { 132,148 }
		1, { 133,135 }
		2, { 133,135,145 }
		1, { 133,145 }
		2, { 133,145,149,161 }
		1, { 133,149 }
		1, { 134,142 }
		2, { 134,142,143,162,163 }
		1, { 134,143 }
		1, { 135,144 }
		2, { 135,144,145,162,163 }
		1, { 135,145 }
		1, { 136,142 }
		2, { 136,142,144,158,160 }
		3, { 136,142,144,158,160,162 }, <1.61803398874992199197e+00,1,-1.07456122638755232272e-15,-2.61803398874991444245e+00,-1.20901699437496112921e+01>
		2, { 136,142,162 }
		1, { 136,144 }
		2, { 136,144,162 }
		1, { 136,162 }
		1, { 137,143 }
		2, { 137,143,145,159,161 }
		3, { 137,143,145,159,161,163 }, <1.61803398874989023959e+00,1,-4.62727490518738429803e-15,2.61803398874940018715e+00,-1.20901699437489575928e+01>
		2, { 137,143,163 }
		1, { 137,145 }
		2, { 137,145,163 }
		1, { 137,163 }
		1, { 138,150 }
		2, { 138,150,152 }
		1, { 138,152 }
		1, { 139,151 }
		2, { 139,151,153 }
		1, { 139,153 }
		1, { 140,150 }
		2, { 140,150,154 }
		1, { 140,154 }
		1, { 141,151 }
		2, { 141,151,155 }
		1, { 141,155 }
		1, { 142,158 }
		2, { 142,158,162 }
		1, { 142,162 }
		1, { 143,159 }
		2, { 143,159,163 }
		1, { 143,163 }
		1, { 144,160 }
		2, { 144,160,162 }
		1, { 144,162 }
		1, { 145,161 }
		2, { 145,161,163 }
		1, { 145,163 }
		1, { 146,152 }
		2, { 146,152,156 }
		3, { 146,152,156,158 }, <6.85410196624972911650e+00,-3.21964677141299222698e-15,-2.61803398874990511658e+00,-1,-3.32705098312486171608e+01>
		2, { 146,152,158 }
		1, { 146,156 }
		2, { 146,156,158 }
		1, { 146,158 }
		1, { 147,153 }
		2, { 147,153,156 }
		3, { 147,153,156,159 }, <6.85410196625006751248e+00,5.91748872125258796926e-14,-2.61803398875000237211e+00,1,-3.32705098312502158819e+01>
		2, { 147,153,159 }
		1, { 147,156 }
		2, { 147,156,159 }
		1, { 147,159 }
		1, { 148,154 }
		2, { 148,154,157 }
		3, { 148,154,157,160 }, <6.85410196624956746803e+00,2.20934381900401102835e-14,2.61803398874987935940e+00,-1,-3.32705098312479350398e+01>
		2, { 148,154,160 }
		1, { 148,157 }
		2, { 148,157,160 }
		1, { 148,160 }
		1, { 149,155 }
		2, { 149,155,157 }
		3, { 149,155,157,161 }, <6.85410196624992806846e+00,8.49320613838290318030e-14,2.61803398874998194401e+00,1,-3.32705098312496261315e+01>
		2, { 149,155,161 }
		1, { 149,157 }
		2, { 149,157,161 }
		1, { 149,161 }
		1, { 150,151 }
		2, { 150,151,152,153,156 }
		3, { 150,151,152,153,154,155,156,157,158,159,160,161,162,163 }, <1,4.10445865487274646715e-16,-4.80521988863150858822e-16,-3.00312862339256939307e-16,-4.23606797749978980505e+00>
		2, { 150,151,154,155,157 }
		1, { 150,152 }
		2, { 150,152,154 }
		1, { 150,154 }
		1, { 151,153 }
		2, { 151,153,155 }
		1, { 151,155 }
		1, { 152,154 }
		2, { 152,154,158,160 }
		1, { 152,156 }
		2, { 152,156,158 }
		1, { 152,158 }
		1, { 153,155 }
		2, { 153,155,159,161 }
		1, { 153,156 }
		2, { 153,156,159 }
		1, { 153,159 }
		1, { 154,157 }
		2, { 154,157,160 }
		1, { 154,160 }
		1, { 155,157 }
		2, { 155,157,161 }
		1, { 155,161 }
		1, { 156,158 }
		2, { 156,158,159,162,163 }
		1, { 156,159 }
		1, { 157,160 }
		2, { 157,160,161,162,163 }
		1, { 157,161 }
		1, { 158,160 }
		2, { 158,160,162 }
		1, { 158,162 }
		1, { 159,161 }
		2, { 159,161,163 }
		1, { 159,163 }
		1, { 160,162 }
		1, { 161,163 }
		1, { 162,163 }
	}
}
