# Automatically generated by makepoly.
polytope aug_runcitrunc16cell {
	dimension 4
	vertices {
		<0, 0, 1.41421356237309514547e+00, 4.82842712474618984686e+00>
		<0, 0, 1.41421356237309514547e+00, -4.82842712474618984686e+00>
		<0, 0, -1.41421356237309514547e+00, 4.82842712474618984686e+00>
		<0, 0, -1.41421356237309514547e+00, -4.82842712474618984686e+00>
		<0, 0, 4.82842712474618984686e+00, 1.41421356237309514547e+00>
		<0, 0, 4.82842712474618984686e+00, -1.41421356237309514547e+00>
		<0, 0, -4.82842712474618984686e+00, 1.41421356237309514547e+00>
		<0, 0, -4.82842712474618984686e+00, -1.41421356237309514547e+00>
		<0, 1.41421356237309514547e+00, 0, 4.82842712474618984686e+00>
		<0, 1.41421356237309514547e+00, 0, -4.82842712474618984686e+00>
		<0, -1.41421356237309514547e+00, 0, 4.82842712474618984686e+00>
		<0, -1.41421356237309514547e+00, 0, -4.82842712474618984686e+00>
		<0, 1.41421356237309514547e+00, 4.82842712474618984686e+00, 0>
		<0, 1.41421356237309514547e+00, -4.82842712474618984686e+00, 0>
		<0, -1.41421356237309514547e+00, 4.82842712474618984686e+00, 0>
		<0, -1.41421356237309514547e+00, -4.82842712474618984686e+00, 0>
		<0, 4.82842712474618984686e+00, 0, 1.41421356237309514547e+00>
		<0, 4.82842712474618984686e+00, 0, -1.41421356237309514547e+00>
		<0, -4.82842712474618984686e+00, 0, 1.41421356237309514547e+00>
		<0, -4.82842712474618984686e+00, 0, -1.41421356237309514547e+00>
		<0, 4.82842712474618984686e+00, 1.41421356237309514547e+00, 0>
		<0, 4.82842712474618984686e+00, -1.41421356237309514547e+00, 0>
		<0, -4.82842712474618984686e+00, 1.41421356237309514547e+00, 0>
		<0, -4.82842712474618984686e+00, -1.41421356237309514547e+00, 0>
		<1.41421356237309514547e+00, 0, 0, 4.82842712474618984686e+00>
		<1.41421356237309514547e+00, 0, 0, -4.82842712474618984686e+00>
		<-1.41421356237309514547e+00, 0, 0, 4.82842712474618984686e+00>
		<-1.41421356237309514547e+00, 0, 0, -4.82842712474618984686e+00>
		<1.41421356237309514547e+00, 0, 4.82842712474618984686e+00, 0>
		<1.41421356237309514547e+00, 0, -4.82842712474618984686e+00, 0>
		<-1.41421356237309514547e+00, 0, 4.82842712474618984686e+00, 0>
		<-1.41421356237309514547e+00, 0, -4.82842712474618984686e+00, 0>
		<1.41421356237309514547e+00, 4.82842712474618984686e+00, 0, 0>
		<1.41421356237309514547e+00, -4.82842712474618984686e+00, 0, 0>
		<-1.41421356237309514547e+00, 4.82842712474618984686e+00, 0, 0>
		<-1.41421356237309514547e+00, -4.82842712474618984686e+00, 0, 0>
		<4.82842712474618984686e+00, 0, 0, 1.41421356237309514547e+00>
		<4.82842712474618984686e+00, 0, 0, -1.41421356237309514547e+00>
		<-4.82842712474618984686e+00, 0, 0, 1.41421356237309514547e+00>
		<-4.82842712474618984686e+00, 0, 0, -1.41421356237309514547e+00>
		<4.82842712474618984686e+00, 0, 1.41421356237309514547e+00, 0>
		<4.82842712474618984686e+00, 0, -1.41421356237309514547e+00, 0>
		<-4.82842712474618984686e+00, 0, 1.41421356237309514547e+00, 0>
		<-4.82842712474618984686e+00, 0, -1.41421356237309514547e+00, 0>
		<4.82842712474618984686e+00, 1.41421356237309514547e+00, 0, 0>
		<4.82842712474618984686e+00, -1.41421356237309514547e+00, 0, 0>
		<-4.82842712474618984686e+00, 1.41421356237309514547e+00, 0, 0>
		<-4.82842712474618984686e+00, -1.41421356237309514547e+00, 0, 0>
		<1, 1, 2.41421356237309492343e+00, 3.82842712474619029095e+00>
		<1, 1, 2.41421356237309492343e+00, -3.82842712474619029095e+00>
		<1, 1, -2.41421356237309492343e+00, 3.82842712474619029095e+00>
		<1, 1, -2.41421356237309492343e+00, -3.82842712474619029095e+00>
		<1, -1, 2.41421356237309492343e+00, 3.82842712474619029095e+00>
		<1, -1, 2.41421356237309492343e+00, -3.82842712474619029095e+00>
		<1, -1, -2.41421356237309492343e+00, 3.82842712474619029095e+00>
		<1, -1, -2.41421356237309492343e+00, -3.82842712474619029095e+00>
		<-1, 1, 2.41421356237309492343e+00, 3.82842712474619029095e+00>
		<-1, 1, 2.41421356237309492343e+00, -3.82842712474619029095e+00>
		<-1, 1, -2.41421356237309492343e+00, 3.82842712474619029095e+00>
		<-1, 1, -2.41421356237309492343e+00, -3.82842712474619029095e+00>
		<-1, -1, 2.41421356237309492343e+00, 3.82842712474619029095e+00>
		<-1, -1, 2.41421356237309492343e+00, -3.82842712474619029095e+00>
		<-1, -1, -2.41421356237309492343e+00, 3.82842712474619029095e+00>
		<-1, -1, -2.41421356237309492343e+00, -3.82842712474619029095e+00>
		<1, 1, 3.82842712474619029095e+00, 2.41421356237309492343e+00>
		<1, 1, 3.82842712474619029095e+00, -2.41421356237309492343e+00>
		<1, 1, -3.82842712474619029095e+00, 2.41421356237309492343e+00>
		<1, 1, -3.82842712474619029095e+00, -2.41421356237309492343e+00>
		<1, -1, 3.82842712474619029095e+00, 2.41421356237309492343e+00>
		<1, -1, 3.82842712474619029095e+00, -2.41421356237309492343e+00>
		<1, -1, -3.82842712474619029095e+00, 2.41421356237309492343e+00>
		<1, -1, -3.82842712474619029095e+00, -2.41421356237309492343e+00>
		<-1, 1, 3.82842712474619029095e+00, 2.41421356237309492343e+00>
		<-1, 1, 3.82842712474619029095e+00, -2.41421356237309492343e+00>
		<-1, 1, -3.82842712474619029095e+00, 2.41421356237309492343e+00>
		<-1, 1, -3.82842712474619029095e+00, -2.41421356237309492343e+00>
		<-1, -1, 3.82842712474619029095e+00, 2.41421356237309492343e+00>
		<-1, -1, 3.82842712474619029095e+00, -2.41421356237309492343e+00>
		<-1, -1, -3.82842712474619029095e+00, 2.41421356237309492343e+00>
		<-1, -1, -3.82842712474619029095e+00, -2.41421356237309492343e+00>
		<1, 2.41421356237309492343e+00, 1, 3.82842712474619029095e+00>
		<1, 2.41421356237309492343e+00, 1, -3.82842712474619029095e+00>
		<1, 2.41421356237309492343e+00, -1, 3.82842712474619029095e+00>
		<1, 2.41421356237309492343e+00, -1, -3.82842712474619029095e+00>
		<1, -2.41421356237309492343e+00, 1, 3.82842712474619029095e+00>
		<1, -2.41421356237309492343e+00, 1, -3.82842712474619029095e+00>
		<1, -2.41421356237309492343e+00, -1, 3.82842712474619029095e+00>
		<1, -2.41421356237309492343e+00, -1, -3.82842712474619029095e+00>
		<-1, 2.41421356237309492343e+00, 1, 3.82842712474619029095e+00>
		<-1, 2.41421356237309492343e+00, 1, -3.82842712474619029095e+00>
		<-1, 2.41421356237309492343e+00, -1, 3.82842712474619029095e+00>
		<-1, 2.41421356237309492343e+00, -1, -3.82842712474619029095e+00>
		<-1, -2.41421356237309492343e+00, 1, 3.82842712474619029095e+00>
		<-1, -2.41421356237309492343e+00, 1, -3.82842712474619029095e+00>
		<-1, -2.41421356237309492343e+00, -1, 3.82842712474619029095e+00>
		<-1, -2.41421356237309492343e+00, -1, -3.82842712474619029095e+00>
		<1, 2.41421356237309492343e+00, 3.82842712474619029095e+00, 1>
		<1, 2.41421356237309492343e+00, 3.82842712474619029095e+00, -1>
		<1, 2.41421356237309492343e+00, -3.82842712474619029095e+00, 1>
		<1, 2.41421356237309492343e+00, -3.82842712474619029095e+00, -1>
		<1, -2.41421356237309492343e+00, 3.82842712474619029095e+00, 1>
		<1, -2.41421356237309492343e+00, 3.82842712474619029095e+00, -1>
		<1, -2.41421356237309492343e+00, -3.82842712474619029095e+00, 1>
		<1, -2.41421356237309492343e+00, -3.82842712474619029095e+00, -1>
		<-1, 2.41421356237309492343e+00, 3.82842712474619029095e+00, 1>
		<-1, 2.41421356237309492343e+00, 3.82842712474619029095e+00, -1>
		<-1, 2.41421356237309492343e+00, -3.82842712474619029095e+00, 1>
		<-1, 2.41421356237309492343e+00, -3.82842712474619029095e+00, -1>
		<-1, -2.41421356237309492343e+00, 3.82842712474619029095e+00, 1>
		<-1, -2.41421356237309492343e+00, 3.82842712474619029095e+00, -1>
		<-1, -2.41421356237309492343e+00, -3.82842712474619029095e+00, 1>
		<-1, -2.41421356237309492343e+00, -3.82842712474619029095e+00, -1>
		<1, 3.82842712474619029095e+00, 1, 2.41421356237309492343e+00>
		<1, 3.82842712474619029095e+00, 1, -2.41421356237309492343e+00>
		<1, 3.82842712474619029095e+00, -1, 2.41421356237309492343e+00>
		<1, 3.82842712474619029095e+00, -1, -2.41421356237309492343e+00>
		<1, -3.82842712474619029095e+00, 1, 2.41421356237309492343e+00>
		<1, -3.82842712474619029095e+00, 1, -2.41421356237309492343e+00>
		<1, -3.82842712474619029095e+00, -1, 2.41421356237309492343e+00>
		<1, -3.82842712474619029095e+00, -1, -2.41421356237309492343e+00>
		<-1, 3.82842712474619029095e+00, 1, 2.41421356237309492343e+00>
		<-1, 3.82842712474619029095e+00, 1, -2.41421356237309492343e+00>
		<-1, 3.82842712474619029095e+00, -1, 2.41421356237309492343e+00>
		<-1, 3.82842712474619029095e+00, -1, -2.41421356237309492343e+00>
		<-1, -3.82842712474619029095e+00, 1, 2.41421356237309492343e+00>
		<-1, -3.82842712474619029095e+00, 1, -2.41421356237309492343e+00>
		<-1, -3.82842712474619029095e+00, -1, 2.41421356237309492343e+00>
		<-1, -3.82842712474619029095e+00, -1, -2.41421356237309492343e+00>
		<1, 3.82842712474619029095e+00, 2.41421356237309492343e+00, 1>
		<1, 3.82842712474619029095e+00, 2.41421356237309492343e+00, -1>
		<1, 3.82842712474619029095e+00, -2.41421356237309492343e+00, 1>
		<1, 3.82842712474619029095e+00, -2.41421356237309492343e+00, -1>
		<1, -3.82842712474619029095e+00, 2.41421356237309492343e+00, 1>
		<1, -3.82842712474619029095e+00, 2.41421356237309492343e+00, -1>
		<1, -3.82842712474619029095e+00, -2.41421356237309492343e+00, 1>
		<1, -3.82842712474619029095e+00, -2.41421356237309492343e+00, -1>
		<-1, 3.82842712474619029095e+00, 2.41421356237309492343e+00, 1>
		<-1, 3.82842712474619029095e+00, 2.41421356237309492343e+00, -1>
		<-1, 3.82842712474619029095e+00, -2.41421356237309492343e+00, 1>
		<-1, 3.82842712474619029095e+00, -2.41421356237309492343e+00, -1>
		<-1, -3.82842712474619029095e+00, 2.41421356237309492343e+00, 1>
		<-1, -3.82842712474619029095e+00, 2.41421356237309492343e+00, -1>
		<-1, -3.82842712474619029095e+00, -2.41421356237309492343e+00, 1>
		<-1, -3.82842712474619029095e+00, -2.41421356237309492343e+00, -1>
		<2.41421356237309492343e+00, 1, 1, 3.82842712474619029095e+00>
		<2.41421356237309492343e+00, 1, 1, -3.82842712474619029095e+00>
		<2.41421356237309492343e+00, 1, -1, 3.82842712474619029095e+00>
		<2.41421356237309492343e+00, 1, -1, -3.82842712474619029095e+00>
		<2.41421356237309492343e+00, -1, 1, 3.82842712474619029095e+00>
		<2.41421356237309492343e+00, -1, 1, -3.82842712474619029095e+00>
		<2.41421356237309492343e+00, -1, -1, 3.82842712474619029095e+00>
		<2.41421356237309492343e+00, -1, -1, -3.82842712474619029095e+00>
		<-2.41421356237309492343e+00, 1, 1, 3.82842712474619029095e+00>
		<-2.41421356237309492343e+00, 1, 1, -3.82842712474619029095e+00>
		<-2.41421356237309492343e+00, 1, -1, 3.82842712474619029095e+00>
		<-2.41421356237309492343e+00, 1, -1, -3.82842712474619029095e+00>
		<-2.41421356237309492343e+00, -1, 1, 3.82842712474619029095e+00>
		<-2.41421356237309492343e+00, -1, 1, -3.82842712474619029095e+00>
		<-2.41421356237309492343e+00, -1, -1, 3.82842712474619029095e+00>
		<-2.41421356237309492343e+00, -1, -1, -3.82842712474619029095e+00>
		<2.41421356237309492343e+00, 1, 3.82842712474619029095e+00, 1>
		<2.41421356237309492343e+00, 1, 3.82842712474619029095e+00, -1>
		<2.41421356237309492343e+00, 1, -3.82842712474619029095e+00, 1>
		<2.41421356237309492343e+00, 1, -3.82842712474619029095e+00, -1>
		<2.41421356237309492343e+00, -1, 3.82842712474619029095e+00, 1>
		<2.41421356237309492343e+00, -1, 3.82842712474619029095e+00, -1>
		<2.41421356237309492343e+00, -1, -3.82842712474619029095e+00, 1>
		<2.41421356237309492343e+00, -1, -3.82842712474619029095e+00, -1>
		<-2.41421356237309492343e+00, 1, 3.82842712474619029095e+00, 1>
		<-2.41421356237309492343e+00, 1, 3.82842712474619029095e+00, -1>
		<-2.41421356237309492343e+00, 1, -3.82842712474619029095e+00, 1>
		<-2.41421356237309492343e+00, 1, -3.82842712474619029095e+00, -1>
		<-2.41421356237309492343e+00, -1, 3.82842712474619029095e+00, 1>
		<-2.41421356237309492343e+00, -1, 3.82842712474619029095e+00, -1>
		<-2.41421356237309492343e+00, -1, -3.82842712474619029095e+00, 1>
		<-2.41421356237309492343e+00, -1, -3.82842712474619029095e+00, -1>
		<2.41421356237309492343e+00, 3.82842712474619029095e+00, 1, 1>
		<2.41421356237309492343e+00, 3.82842712474619029095e+00, 1, -1>
		<2.41421356237309492343e+00, 3.82842712474619029095e+00, -1, 1>
		<2.41421356237309492343e+00, 3.82842712474619029095e+00, -1, -1>
		<2.41421356237309492343e+00, -3.82842712474619029095e+00, 1, 1>
		<2.41421356237309492343e+00, -3.82842712474619029095e+00, 1, -1>
		<2.41421356237309492343e+00, -3.82842712474619029095e+00, -1, 1>
		<2.41421356237309492343e+00, -3.82842712474619029095e+00, -1, -1>
		<-2.41421356237309492343e+00, 3.82842712474619029095e+00, 1, 1>
		<-2.41421356237309492343e+00, 3.82842712474619029095e+00, 1, -1>
		<-2.41421356237309492343e+00, 3.82842712474619029095e+00, -1, 1>
		<-2.41421356237309492343e+00, 3.82842712474619029095e+00, -1, -1>
		<-2.41421356237309492343e+00, -3.82842712474619029095e+00, 1, 1>
		<-2.41421356237309492343e+00, -3.82842712474619029095e+00, 1, -1>
		<-2.41421356237309492343e+00, -3.82842712474619029095e+00, -1, 1>
		<-2.41421356237309492343e+00, -3.82842712474619029095e+00, -1, -1>
		<3.82842712474619029095e+00, 1, 1, 2.41421356237309492343e+00>
		<3.82842712474619029095e+00, 1, 1, -2.41421356237309492343e+00>
		<3.82842712474619029095e+00, 1, -1, 2.41421356237309492343e+00>
		<3.82842712474619029095e+00, 1, -1, -2.41421356237309492343e+00>
		<3.82842712474619029095e+00, -1, 1, 2.41421356237309492343e+00>
		<3.82842712474619029095e+00, -1, 1, -2.41421356237309492343e+00>
		<3.82842712474619029095e+00, -1, -1, 2.41421356237309492343e+00>
		<3.82842712474619029095e+00, -1, -1, -2.41421356237309492343e+00>
		<-3.82842712474619029095e+00, 1, 1, 2.41421356237309492343e+00>
		<-3.82842712474619029095e+00, 1, 1, -2.41421356237309492343e+00>
		<-3.82842712474619029095e+00, 1, -1, 2.41421356237309492343e+00>
		<-3.82842712474619029095e+00, 1, -1, -2.41421356237309492343e+00>
		<-3.82842712474619029095e+00, -1, 1, 2.41421356237309492343e+00>
		<-3.82842712474619029095e+00, -1, 1, -2.41421356237309492343e+00>
		<-3.82842712474619029095e+00, -1, -1, 2.41421356237309492343e+00>
		<-3.82842712474619029095e+00, -1, -1, -2.41421356237309492343e+00>
		<3.82842712474619029095e+00, 1, 2.41421356237309492343e+00, 1>
		<3.82842712474619029095e+00, 1, 2.41421356237309492343e+00, -1>
		<3.82842712474619029095e+00, 1, -2.41421356237309492343e+00, 1>
		<3.82842712474619029095e+00, 1, -2.41421356237309492343e+00, -1>
		<3.82842712474619029095e+00, -1, 2.41421356237309492343e+00, 1>
		<3.82842712474619029095e+00, -1, 2.41421356237309492343e+00, -1>
		<3.82842712474619029095e+00, -1, -2.41421356237309492343e+00, 1>
		<3.82842712474619029095e+00, -1, -2.41421356237309492343e+00, -1>
		<-3.82842712474619029095e+00, 1, 2.41421356237309492343e+00, 1>
		<-3.82842712474619029095e+00, 1, 2.41421356237309492343e+00, -1>
		<-3.82842712474619029095e+00, 1, -2.41421356237309492343e+00, 1>
		<-3.82842712474619029095e+00, 1, -2.41421356237309492343e+00, -1>
		<-3.82842712474619029095e+00, -1, 2.41421356237309492343e+00, 1>
		<-3.82842712474619029095e+00, -1, 2.41421356237309492343e+00, -1>
		<-3.82842712474619029095e+00, -1, -2.41421356237309492343e+00, 1>
		<-3.82842712474619029095e+00, -1, -2.41421356237309492343e+00, -1>
		<3.82842712474619029095e+00, 2.41421356237309492343e+00, 1, 1>
		<3.82842712474619029095e+00, 2.41421356237309492343e+00, 1, -1>
		<3.82842712474619029095e+00, 2.41421356237309492343e+00, -1, 1>
		<3.82842712474619029095e+00, 2.41421356237309492343e+00, -1, -1>
		<3.82842712474619029095e+00, -2.41421356237309492343e+00, 1, 1>
		<3.82842712474619029095e+00, -2.41421356237309492343e+00, 1, -1>
		<3.82842712474619029095e+00, -2.41421356237309492343e+00, -1, 1>
		<3.82842712474619029095e+00, -2.41421356237309492343e+00, -1, -1>
		<-3.82842712474619029095e+00, 2.41421356237309492343e+00, 1, 1>
		<-3.82842712474619029095e+00, 2.41421356237309492343e+00, 1, -1>
		<-3.82842712474619029095e+00, 2.41421356237309492343e+00, -1, 1>
		<-3.82842712474619029095e+00, 2.41421356237309492343e+00, -1, -1>
		<-3.82842712474619029095e+00, -2.41421356237309492343e+00, 1, 1>
		<-3.82842712474619029095e+00, -2.41421356237309492343e+00, 1, -1>
		<-3.82842712474619029095e+00, -2.41421356237309492343e+00, -1, 1>
		<-3.82842712474619029095e+00, -2.41421356237309492343e+00, -1, -1>
	}
	lattice {
		1, { 0,8 }
		2, { 0,8,24 }
		3, { 0,2,8,10,24,26 }, <4.04685101971583385345e-15,1.14967358514654368147e-15,4.36875962355686573322e-16,1,-4.82842712474619073504e+00>
		3, { 0,8,24,48,80,144 }, <1,1.00000000000000199840e+00,1.00000000000000222045e+00,3.00000000000000532907e+00,-1.58994949366116902212e+01>
		2, { 0,8,26 }
		3, { 0,8,26,56,88,152 }, <-1,1.00000000000001310063e+00,1.00000000000001199041e+00,3.00000000000004218847e+00,-1.58994949366118731859e+01>
		2, { 0,8,48,80 }
		3, { 0,8,48,56,80,88 }, <-1.99840144432524982390e-15,1,1.00000000000000088818e+00,2.00000000000000532907e+00,-1.10710678118654968216e+01>
		2, { 0,8,56,88 }
		1, { 0,10 }
		2, { 0,10,24 }
		3, { 0,10,24,52,84,148 }, <1,-9.99999999999998001599e-01,9.99999999999995781153e-01,2.99999999999999156231e+00,-1.58994949366116244960e+01>
		2, { 0,10,26 }
		3, { 0,10,26,60,92,156 }, <-1,-1.00000000000001842970e+00,1.00000000000001265654e+00,3.00000000000003641532e+00,-1.58994949366118571987e+01>
		2, { 0,10,52,84 }
		3, { 0,10,52,60,84,92 }, <-5.20282872453225400920e-16,-1,9.99999999999996114219e-01,1.99999999999999578115e+00,-1.10710678118654559654e+01>
		2, { 0,10,60,92 }
		1, { 0,24 }
		2, { 0,24,48,144 }
		3, { 0,24,48,52,144,148 }, <1,2.24042812105585496574e-16,9.99999999999999888978e-01,2.00000000000000177636e+00,-1.10710678118654808344e+01>
		2, { 0,24,52,148 }
		1, { 0,26 }
		2, { 0,26,56,152 }
		3, { 0,26,56,60,152,156 }, <-1,-1.65879815405328013105e-15,1.00000000000000555112e+00,2.00000000000001243450e+00,-1.10710678118655376778e+01>
		2, { 0,26,60,156 }
		1, { 0,48 }
		2, { 0,48,52 }
		3, { 0,4,48,52,56,60,64,68,72,76 }, <-5.70238098232687619230e-15,-9.85731458285112513842e-16,1,1,-6.24264068711928477029e+00>
		2, { 0,48,56 }
		1, { 0,52 }
		2, { 0,52,60 }
		1, { 0,56 }
		2, { 0,56,60 }
		1, { 0,60 }
		1, { 1,9 }
		2, { 1,9,25 }
		3, { 1,3,9,11,25,27 }, <1.19566052855241370388e-15,-2.98915132138103425971e-16,-8.04771509602586158222e-16,-1,-4.82842712474618895868e+00>
		3, { 1,9,25,49,81,145 }, <1,1.00000000000000155431e+00,9.99999999999998112621e-01,-3.00000000000000133227e+00,-1.58994949366116706813e+01>
		2, { 1,9,27 }
		3, { 1,9,27,57,89,153 }, <-1,1.00000000000000777156e+00,9.99999999999999000799e-01,-3.00000000000001332268e+00,-1.58994949366117346301e+01>
		2, { 1,9,49,81 }
		3, { 1,9,49,57,81,89 }, <2.44249065417531638437e-15,1,9.99999999999996891376e-01,-1.99999999999999555911e+00,-1.10710678118654541890e+01>
		2, { 1,9,57,89 }
		1, { 1,11 }
		2, { 1,11,25 }
		3, { 1,11,25,53,85,149 }, <1,-1.00000000000000355271e+00,1.00000000000000177636e+00,-3.00000000000001110223e+00,-1.58994949366117204193e+01>
		2, { 1,11,27 }
		3, { 1,11,27,61,93,157 }, <-1,-1.00000000000000466294e+00,1.00000000000000488498e+00,-3.00000000000001065814e+00,-1.58994949366117221956e+01>
		2, { 1,11,53,85 }
		3, { 1,11,53,61,85,93 }, <-1.30070718113306803825e-15,-1,9.99999999999999444888e-01,-1.99999999999999955591e+00,-1.10710678118654719526e+01>
		2, { 1,11,61,93 }
		1, { 1,25 }
		2, { 1,25,49,145 }
		3, { 1,25,49,53,145,149 }, <1,-1.44659051010410223737e-15,1.00000000000000199840e+00,-2.00000000000000710543e+00,-1.10710678118655110325e+01>
		2, { 1,25,53,149 }
		1, { 1,27 }
		2, { 1,27,57,153 }
		3, { 1,27,57,61,153,157 }, <-1,-2.41419839720048800885e-15,1.00000000000000266454e+00,-2.00000000000000355271e+00,-1.10710678118654968216e+01>
		2, { 1,27,61,157 }
		1, { 1,49 }
		2, { 1,49,53 }
		3, { 1,5,49,53,57,61,65,69,73,77 }, <4.59869434058618576994e-16,-1.20777606321014500522e-15,1,-1.00000000000000066613e+00,-6.24264068711928832300e+00>
		2, { 1,49,57 }
		1, { 1,53 }
		2, { 1,53,61 }
		1, { 1,57 }
		2, { 1,57,61 }
		1, { 1,61 }
		1, { 2,8 }
		2, { 2,8,24 }
		3, { 2,8,24,50,82,146 }, <1,9.99999999999998889777e-01,-9.99999999999998112621e-01,2.99999999999999111822e+00,-1.58994949366116227196e+01>
		2, { 2,8,26 }
		3, { 2,8,26,58,90,154 }, <-1,1.00000000000001754152e+00,-1.00000000000001465494e+00,3.00000000000003863576e+00,-1.58994949366118696332e+01>
		2, { 2,8,50,82 }
		3, { 2,8,50,58,82,90 }, <1.04056574490645494336e-15,1,-1.00000000000000088818e+00,2.00000000000000044409e+00,-1.10710678118654790580e+01>
		2, { 2,8,58,90 }
		1, { 2,10 }
		2, { 2,10,24 }
		3, { 2,10,24,54,86,150 }, <1,-9.99999999999989119814e-01,-9.99999999999991007194e-01,2.99999999999996624922e+00,-1.58994949366115019274e+01>
		2, { 2,10,26 }
		3, { 2,10,26,62,94,158 }, <-1,-1.00000000000001154632e+00,-1.00000000000001465494e+00,3.00000000000001820766e+00,-1.58994949366117825917e+01>
		2, { 2,10,54,86 }
		3, { 2,10,54,62,86,94 }, <2.08113148981290752014e-15,-1,-1.00000000000000111022e+00,1.99999999999999111822e+00,-1.10710678118654453073e+01>
		2, { 2,10,62,94 }
		1, { 2,24 }
		2, { 2,24,50,146 }
		3, { 2,24,50,54,146,150 }, <1,3.90576265799357350612e-16,-9.99999999999995892175e-01,1.99999999999999000799e+00,-1.10710678118654257673e+01>
		2, { 2,24,54,150 }
		1, { 2,26 }
		2, { 2,26,58,154 }
		3, { 2,26,58,62,154,158 }, <-1,-1.49226470035949994467e-15,-1.00000000000000799361e+00,2.00000000000000444089e+00,-1.10710678118655145852e+01>
		2, { 2,26,62,158 }
		1, { 2,50 }
		2, { 2,50,54 }
		3, { 2,6,50,54,58,62,66,70,74,78 }, <1.74750384942275082924e-15,-8.19198004591333905182e-16,-1,9.99999999999998667732e-01,-6.24264068711928299393e+00>
		2, { 2,50,58 }
		1, { 2,54 }
		2, { 2,54,62 }
		1, { 2,58 }
		2, { 2,58,62 }
		1, { 2,62 }
		1, { 3,9 }
		2, { 3,9,25 }
		3, { 3,9,25,51,83,147 }, <1,1.00000000000000310862e+00,-1.00000000000000399680e+00,-3.00000000000001154632e+00,-1.58994949366117204193e+01>
		2, { 3,9,27 }
		3, { 3,9,27,59,91,155 }, <-1,1.00000000000000555112e+00,-1.00000000000000088818e+00,-3.00000000000000976996e+00,-1.58994949366117168665e+01>
		2, { 3,9,51,83 }
		3, { 3,9,51,59,83,91 }, <-2.60141436226613390713e-16,1,-9.99999999999999888978e-01,-2,-1.10710678118654737290e+01>
		2, { 3,9,59,91 }
		1, { 3,11 }
		2, { 3,11,25 }
		3, { 3,11,25,55,87,151 }, <1,-1.00000000000000754952e+00,-1.00000000000000532907e+00,-3.00000000000002220446e+00,-1.58994949366117719336e+01>
		2, { 3,11,27 }
		3, { 3,11,27,63,95,159 }, <-1,-1.00000000000000577316e+00,-1.00000000000000088818e+00,-3.00000000000000532907e+00,-1.58994949366116919975e+01>
		2, { 3,11,55,87 }
		3, { 3,11,55,63,87,95 }, <-2.86155579849275804607e-15,-1,-9.99999999999997446487e-01,-2.00000000000000044409e+00,-1.10710678118654701763e+01>
		2, { 3,11,63,95 }
		1, { 3,25 }
		2, { 3,25,51,147 }
		3, { 3,25,51,55,147,151 }, <1,-1.22454590517906698498e-15,-1.00000000000000355271e+00,-2.00000000000000621725e+00,-1.10710678118655074798e+01>
		2, { 3,25,55,151 }
		1, { 3,27 }
		2, { 3,27,59,155 }
		3, { 3,27,59,63,155,159 }, <-1,-2.19215379227545236203e-15,-1.00000000000000244249e+00,-2.00000000000000266454e+00,-1.10710678118654914925e+01>
		2, { 3,27,63,159 }
		1, { 3,51 }
		2, { 3,51,55 }
		3, { 3,7,51,55,59,63,67,71,75,79 }, <1.01171275492896082994e-15,-9.85731458285110541690e-16,-1,-1.00000000000000022204e+00,-6.24264068711928565847e+00>
		2, { 3,51,59 }
		1, { 3,55 }
		2, { 3,55,63 }
		1, { 3,59 }
		2, { 3,59,63 }
		1, { 3,63 }
		1, { 4,12 }
		2, { 4,12,28 }
		3, { 4,5,12,14,28,30 }, <3.90889018949823581635e-15,1.70151690601687922911e-15,1,3.21908603841031189516e-16,-4.82842712474619073504e+00>
		3, { 4,12,28,64,96,160 }, <1,1.00000000000000799361e+00,3.00000000000001554312e+00,1.00000000000000555112e+00,-1.58994949366117399592e+01>
		2, { 4,12,30 }
		3, { 4,12,30,72,104,168 }, <-1,1.00000000000001532108e+00,3.00000000000004529710e+00,1.00000000000001132427e+00,-1.58994949366118856204e+01>
		2, { 4,12,64,96 }
		3, { 4,12,64,72,96,104 }, <-1.82099005358628042296e-15,1,2.00000000000000488498e+00,9.99999999999999000799e-01,-1.10710678118654897162e+01>
		2, { 4,12,72,104 }
		1, { 4,14 }
		2, { 4,14,28 }
		3, { 4,14,28,68,100,164 }, <1,-1.00000000000000155431e+00,3.00000000000000355271e+00,1.00000000000000088818e+00,-1.58994949366116813394e+01>
		2, { 4,14,30 }
		3, { 4,14,30,76,108,172 }, <-1,-1.00000000000001776357e+00,3.00000000000003996803e+00,1.00000000000001532108e+00,-1.58994949366118714096e+01>
		2, { 4,14,68,100 }
		3, { 4,14,68,76,100,108 }, <-1.46329557877469799316e-15,-1,1.99999999999999955591e+00,9.99999999999997446487e-01,-1.10710678118654683999e+01>
		2, { 4,14,76,108 }
		1, { 4,28 }
		2, { 4,28,64,160 }
		3, { 4,28,64,68,160,164 }, <1,7.75886132975920156738e-16,2.00000000000000177636e+00,1.00000000000000022204e+00,-1.10710678118654826108e+01>
		2, { 4,28,68,164 }
		1, { 4,30 }
		2, { 4,30,72,168 }
		3, { 4,30,72,76,168,172 }, <-1,-1.88737914186279057341e-15,2.00000000000001332268e+00,1.00000000000000666134e+00,-1.10710678118655430069e+01>
		2, { 4,30,76,172 }
		1, { 4,64 }
		2, { 4,64,68 }
		2, { 4,64,72 }
		1, { 4,68 }
		2, { 4,68,76 }
		1, { 4,72 }
		2, { 4,72,76 }
		1, { 4,76 }
		1, { 5,12 }
		2, { 5,12,28 }
		3, { 5,12,28,65,97,161 }, <1,9.99999999999998001599e-01,2.99999999999999378275e+00,-9.99999999999998556710e-01,-1.58994949366116298251e+01>
		2, { 5,12,30 }
		3, { 5,12,30,73,105,169 }, <-1,1.00000000000001487699e+00,3.00000000000003641532e+00,-1.00000000000001554312e+00,-1.58994949366118536460e+01>
		2, { 5,12,65,97 }
		3, { 5,12,65,73,97,105 }, <-1.95106077169959771864e-15,1,2.00000000000000310862e+00,-1.00000000000000244249e+00,-1.10710678118654932689e+01>
		2, { 5,12,73,105 }
		1, { 5,14 }
		2, { 5,14,28 }
		3, { 5,14,28,69,101,165 }, <1,-9.99999999999991007194e-01,2.99999999999997335465e+00,-9.99999999999994670929e-01,-1.58994949366115356781e+01>
		2, { 5,14,30 }
		3, { 5,14,30,77,109,173 }, <-1,-1.00000000000001132427e+00,3.00000000000001865175e+00,-1.00000000000001532108e+00,-1.58994949366117861445e+01>
		2, { 5,14,69,101 }
		3, { 5,14,69,77,101,109 }, <1.56084861735967718884e-15,-1,1.99999999999999333866e+00,-1.00000000000000199840e+00,-1.10710678118654524127e+01>
		2, { 5,14,77,109 }
		1, { 5,28 }
		2, { 5,28,65,161 }
		3, { 5,28,65,69,161,165 }, <1,5.53841528050879776753e-16,1.99999999999999333866e+00,-9.99999999999998112621e-01,-1.10710678118654417545e+01>
		2, { 5,28,69,165 }
		1, { 5,30 }
		2, { 5,30,73,169 }
		3, { 5,30,73,77,169,173 }, <-1,-2.10942374678781557061e-15,2.00000000000000399680e+00,-1.00000000000000732747e+00,-1.10710678118655110325e+01>
		2, { 5,30,77,173 }
		1, { 5,65 }
		2, { 5,65,69 }
		2, { 5,65,73 }
		1, { 5,69 }
		2, { 5,69,77 }
		1, { 5,73 }
		2, { 5,73,77 }
		1, { 5,77 }
		1, { 6,13 }
		2, { 6,13,29 }
		3, { 6,7,13,15,29,31 }, <1.83947773623448298545e-15,-9.19738868117241443420e-17,-1,-3.67895547246896577368e-16,-4.82842712474618807050e+00>
		3, { 6,13,29,66,98,162 }, <1,1.00000000000000199840e+00,-3.00000000000000444089e+00,9.99999999999999111822e-01,-1.58994949366116831158e+01>
		2, { 6,13,31 }
		3, { 6,13,31,74,106,170 }, <-1,1.00000000000000821565e+00,-3.00000000000001643130e+00,1.00000000000000111022e+00,-1.58994949366117488410e+01>
		2, { 6,13,66,98 }
		3, { 6,13,66,74,98,106 }, <1.77635683940023508189e-15,1,-1.99999999999999866773e+00,9.99999999999997557509e-01,-1.10710678118654666235e+01>
		2, { 6,13,74,106 }
		1, { 6,15 }
		2, { 6,15,29 }
		3, { 6,15,29,70,102,166 }, <1,-1.00000000000000088818e+00,-3.00000000000000310862e+00,9.99999999999999555911e-01,-1.58994949366116777867e+01>
		2, { 6,15,31 }
		3, { 6,15,31,78,110,174 }, <-1,-1.00000000000000643929e+00,-3.00000000000001776357e+00,1.00000000000000710543e+00,-1.58994949366117594991e+01>
		2, { 6,15,70,102 }
		3, { 6,15,70,78,102,110 }, <5.20282872453227570287e-16,-1,-1.99999999999999888978e+00,9.99999999999999222844e-01,-1.10710678118654701763e+01>
		2, { 6,15,78,110 }
		1, { 6,29 }
		2, { 6,29,66,162 }
		3, { 6,29,66,70,162,166 }, <1,-8.51071206158910351943e-16,-2.00000000000000488498e+00,1.00000000000000155431e+00,-1.10710678118654968216e+01>
		2, { 6,29,70,166 }
		1, { 6,31 }
		2, { 6,31,74,170 }
		3, { 6,31,74,78,170,174 }, <-1,-1.84601411911895620326e-15,-2.00000000000000621725e+00,1.00000000000000399680e+00,-1.10710678118655110325e+01>
		2, { 6,31,78,174 }
		1, { 6,66 }
		2, { 6,66,70 }
		2, { 6,66,74 }
		1, { 6,70 }
		2, { 6,70,78 }
		1, { 6,74 }
		2, { 6,74,78 }
		1, { 6,78 }
		1, { 7,13 }
		2, { 7,13,29 }
		3, { 7,13,29,67,99,163 }, <1,9.99999999999999888978e-01,-3.00000000000000266454e+00,-1.00000000000000088818e+00,-1.58994949366116777867e+01>
		2, { 7,13,31 }
		3, { 7,13,31,75,107,171 }, <-1,1.00000000000000466294e+00,-3.00000000000000976996e+00,-1.00000000000000066613e+00,-1.58994949366117150902e+01>
		2, { 7,13,67,99 }
		3, { 7,13,67,75,99,107 }, <1.11022302462514815878e-16,1,-2,-1.00000000000000044409e+00,-1.10710678118654772817e+01>
		2, { 7,13,75,107 }
		1, { 7,15 }
		2, { 7,15,29 }
		3, { 7,15,29,71,103,167 }, <1,-1.00000000000000377476e+00,-3.00000000000001376677e+00,-1.00000000000000177636e+00,-1.58994949366117293010e+01>
		2, { 7,15,31 }
		3, { 7,15,31,79,111,175 }, <-1,-1.00000000000000821565e+00,-3.00000000000001065814e+00,-1.00000000000000310862e+00,-1.58994949366117204193e+01>
		2, { 7,15,71,103 }
		3, { 7,15,71,79,103,111 }, <-2.47134364415284008007e-15,-1,-2.00000000000000044409e+00,-9.99999999999997668532e-01,-1.10710678118654737290e+01>
		2, { 7,15,79,111 }
		1, { 7,29 }
		2, { 7,29,67,163 }
		3, { 7,29,67,71,163,167 }, <1,-1.01760465985268590377e-15,-2.00000000000000355271e+00,-1.00000000000000222045e+00,-1.10710678118654932689e+01>
		2, { 7,29,71,167 }
		1, { 7,31 }
		2, { 7,31,75,171 }
		3, { 7,31,75,79,171,175 }, <-1,-2.01254757281272574002e-15,-2.00000000000000310862e+00,-1.00000000000000244249e+00,-1.10710678118654932689e+01>
		2, { 7,31,79,175 }
		1, { 7,67 }
		2, { 7,67,71 }
		2, { 7,67,75 }
		1, { 7,71 }
		2, { 7,71,79 }
		1, { 7,75 }
		2, { 7,75,79 }
		1, { 7,79 }
		1, { 8,24 }
		2, { 8,24,80,144 }
		3, { 8,24,80,82,144,146 }, <1,1.00000000000000022204e+00,1.08440269282611089557e-15,2.00000000000000399680e+00,-1.10710678118654932689e+01>
		2, { 8,24,82,146 }
		1, { 8,26 }
		2, { 8,26,88,152 }
		3, { 8,26,88,90,152,154 }, <-1,1.00000000000000732747e+00,-3.82718540344236565735e-16,2.00000000000001465494e+00,-1.10710678118655501123e+01>
		2, { 8,26,90,154 }
		1, { 8,80 }
		2, { 8,80,82 }
		3, { 8,16,80,82,88,90,112,114,120,122 }, <-5.97830264276204228979e-15,1,5.38341015483759485646e-16,1.00000000000000244249e+00,-6.24264068711929631661e+00>
		2, { 8,80,88 }
		1, { 8,82 }
		2, { 8,82,90 }
		1, { 8,88 }
		2, { 8,88,90 }
		1, { 8,90 }
		1, { 9,25 }
		2, { 9,25,81,145 }
		3, { 9,25,81,83,145,147 }, <1,1.00000000000000222045e+00,-1.04542319883229727420e-15,-2.00000000000001065814e+00,-1.10710678118655270197e+01>
		2, { 9,25,83,147 }
		1, { 9,27 }
		2, { 9,27,89,153 }
		3, { 9,27,89,91,153,155 }, <-1,1.00000000000000310862e+00,-1.10436350635059260644e-15,-2.00000000000000266454e+00,-1.10710678118654950453e+01>
		2, { 9,27,91,155 }
		1, { 9,81 }
		2, { 9,81,83 }
		3, { 9,17,81,83,89,91,113,115,121,123 }, <-6.43817207682066717767e-16,1,-3.49837404216370331947e-16,-1.00000000000000333067e+00,-6.24264068711930075750e+00>
		2, { 9,81,89 }
		1, { 9,83 }
		2, { 9,83,91 }
		1, { 9,89 }
		2, { 9,89,91 }
		1, { 9,91 }
		1, { 10,24 }
		2, { 10,24,84,148 }
		3, { 10,24,84,86,148,150 }, <1,-9.99999999999995559108e-01,-3.58887239186593247931e-16,1.99999999999999111822e+00,-1.10710678118654310964e+01>
		2, { 10,24,86,150 }
		1, { 10,26 }
		2, { 10,26,92,156 }
		3, { 10,26,92,94,156,158 }, <-1,-1.00000000000000843769e+00,-1.82600847235694889367e-15,2.00000000000000577316e+00,-1.10710678118655181379e+01>
		2, { 10,26,94,158 }
		1, { 10,84 }
		2, { 10,84,86 }
		3, { 10,18,84,86,92,94,116,118,124,126 }, <1.28763441536413185781e-15,-1,-9.04948916528944214120e-16,9.99999999999998889777e-01,-6.24264068711928299393e+00>
		2, { 10,84,92 }
		1, { 10,86 }
		2, { 10,86,94 }
		1, { 10,92 }
		2, { 10,92,94 }
		1, { 10,94 }
		1, { 11,25 }
		2, { 11,25,85,149 }
		3, { 11,25,85,87,149,151 }, <1,-1.00000000000000288658e+00,-1.26746780375732148254e-15,-2.00000000000000488498e+00,-1.10710678118654985980e+01>
		2, { 11,25,87,151 }
		1, { 11,27 }
		2, { 11,27,93,157 }
		3, { 11,27,93,95,157,159 }, <-1,-1.00000000000000088818e+00,-1.32640811127561582870e-15,-1.99999999999999911182e+00,-1.10710678118654755053e+01>
		2, { 11,27,95,159 }
		1, { 11,85 }
		2, { 11,85,87 }
		3, { 11,19,85,87,93,95,117,119,125,127 }, <1.93145162304619699786e-15,-1,-5.71882009141395674271e-16,-1,-6.24264068711928477029e+00>
		2, { 11,85,93 }
		1, { 11,87 }
		2, { 11,87,95 }
		1, { 11,93 }
		2, { 11,93,95 }
		1, { 11,95 }
		1, { 12,28 }
		2, { 12,28,96,160 }
		3, { 12,28,96,97,160,161 }, <1,1.00000000000000177636e+00,1.99999999999999711342e+00,-6.83701137930781201450e-16,-1.10710678118654595181e+01>
		2, { 12,28,97,161 }
		1, { 12,30 }
		2, { 12,30,104,168 }
		3, { 12,30,104,105,168,169 }, <-1,1.00000000000000643929e+00,2.00000000000001243450e+00,-2.08110743816956943415e-15,-1.10710678118655412305e+01>
		2, { 12,30,105,169 }
		1, { 12,96 }
		2, { 12,96,97 }
		3, { 12,20,96,97,104,105,128,129,136,137 }, <1.10368664174068509755e-15,1,1.00000000000000199840e+00,-8.91990965831937984905e-16,-6.24264068711929454025e+00>
		2, { 12,96,104 }
		1, { 12,97 }
		2, { 12,97,105 }
		1, { 12,104 }
		2, { 12,104,105 }
		1, { 12,105 }
		1, { 13,29 }
		2, { 13,29,98,162 }
		3, { 13,29,98,99,162,163 }, <1,1.00000000000000199840e+00,-2.00000000000001021405e+00,-1.04638922804049211214e-16,-1.10710678118655252433e+01>
		2, { 13,29,99,163 }
		1, { 13,31 }
		2, { 13,31,106,170 }
		3, { 13,31,106,107,170,171 }, <-1,1.00000000000000288658e+00,-2.00000000000000355271e+00,-7.79723392426563121426e-16,-1.10710678118654968216e+01>
		2, { 13,31,107,171 }
		1, { 13,98 }
		2, { 13,98,99 }
		3, { 13,21,98,99,106,107,130,131,138,139 }, <-1.47158218898758177352e-15,1,-1.00000000000000377476e+00,3.76875400382721402437e-16,-6.24264068711930342204e+00>
		2, { 13,98,106 }
		1, { 13,99 }
		2, { 13,99,107 }
		1, { 13,106 }
		2, { 13,106,107 }
		1, { 13,107 }
		1, { 14,28 }
		2, { 14,28,100,164 }
		3, { 14,28,100,101,164,165 }, <1,-9.99999999999996891376e-01,1.99999999999999333866e+00,-9.13635854960083784630e-16,-1.10710678118654417545e+01>
		2, { 14,28,101,165 }
		1, { 14,30 }
		2, { 14,30,108,172 }
		3, { 14,30,108,109,172,173 }, <-1,-1.00000000000000777156e+00,2.00000000000000488498e+00,-2.31104215519886688973e-15,-1.10710678118655163615e+01>
		2, { 14,30,109,173 }
		1, { 14,100 }
		2, { 14,100,101 }
		3, { 14,22,100,101,108,109,132,133,140,141 }, <7.35791094493789900685e-16,-1,9.99999999999999666933e-01,-1.12192568286124214581e-15,-6.24264068711928477029e+00>
		2, { 14,100,108 }
		1, { 14,101 }
		2, { 14,101,109 }
		1, { 14,108 }
		2, { 14,108,109 }
		1, { 14,109 }
		1, { 15,29 }
		2, { 15,29,102,166 }
		3, { 15,29,102,103,166,167 }, <1,-1.00000000000000133227e+00,-2.00000000000000266454e+00,-1.27037309866046567407e-15,-1.10710678118654879398e+01>
		2, { 15,29,103,167 }
		1, { 15,31 }
		2, { 15,31,110,174 }
		3, { 15,31,110,111,174,175 }, <-1,-1.00000000000000333067e+00,-2.00000000000000310862e+00,-1.94545756828298498305e-15,-1.10710678118654968216e+01>
		2, { 15,31,111,175 }
		1, { 15,102 }
		2, { 15,102,103 }
		3, { 15,23,102,103,110,111,134,135,142,143 }, <1.33226762955018784851e-15,-1,-9.99999999999999666933e-01,-7.88858775473694690641e-16,-6.24264068711928388211e+00>
		2, { 15,102,110 }
		1, { 15,103 }
		2, { 15,103,111 }
		1, { 15,110 }
		2, { 15,110,111 }
		1, { 15,111 }
		1, { 16,20 }
		2, { 16,20,32 }
		3, { 16,17,20,21,32,34 }, <9.74923200204282364172e-15,1,1.40260177387880247649e-15,1.28763441536414664895e-15,-4.82842712474619251140e+00>
		3, { 16,20,32,112,128,176 }, <1,2.99999999999997868372e+00,9.99999999999996558309e-01,9.99999999999995892175e-01,-1.58994949366115623235e+01>
		2, { 16,20,34 }
		3, { 16,20,34,120,136,184 }, <-1,3.00000000000005684342e+00,1.00000000000002464695e+00,1.00000000000002509104e+00,-1.58994949366119708856e+01>
		2, { 16,20,112,128 }
		3, { 16,20,112,120,128,136 }, <6.50353590566526944028e-17,1.99999999999999511502e+00,1,9.99999999999999888978e-01,-1.10710678118654559654e+01>
		2, { 16,20,120,136 }
		1, { 16,21 }
		2, { 16,21,32 }
		3, { 16,21,32,114,130,178 }, <1,2.99999999999995692335e+00,-9.99999999999987232435e-01,9.99999999999989341859e-01,-1.58994949366114592948e+01>
		2, { 16,21,34 }
		3, { 16,21,34,122,138,186 }, <-1,3.00000000000004796163e+00,-1.00000000000002642331e+00,1.00000000000002753353e+00,-1.58994949366119424639e+01>
		2, { 16,21,114,130 }
		3, { 16,21,114,122,130,138 }, <2.40630828509616309121e-15,1.99999999999998845368e+00,-1,9.99999999999999444888e-01,-1.10710678118654328728e+01>
		2, { 16,21,122,138 }
		1, { 16,32 }
		2, { 16,32,112,176 }
		3, { 16,32,112,114,176,178 }, <1,1.99999999999998934186e+00,2.05012850434921964969e-15,9.99999999999993227640e-01,-1.10710678118654222146e+01>
		2, { 16,32,114,178 }
		1, { 16,34 }
		2, { 16,34,120,184 }
		3, { 16,34,120,122,184,186 }, <-1,2.00000000000001643130e+00,6.19750373260640584427e-16,1.00000000000001509903e+00,-1.10710678118655732050e+01>
		2, { 16,34,122,186 }
		1, { 16,112 }
		2, { 16,112,114 }
		2, { 16,112,120 }
		1, { 16,114 }
		2, { 16,114,122 }
		1, { 16,120 }
		2, { 16,120,122 }
		1, { 16,122 }
		1, { 17,20 }
		2, { 17,20,32 }
		3, { 17,20,32,113,129,177 }, <1,2.99999999999995781153e+00,9.99999999999988675725e-01,-9.99999999999987232435e-01,-1.58994949366114592948e+01>
		2, { 17,20,34 }
		3, { 17,20,34,121,137,185 }, <-1,3.00000000000003641532e+00,1.00000000000002198242e+00,-1.00000000000002287059e+00,-1.58994949366118802914e+01>
		2, { 17,20,113,129 }
		3, { 17,20,113,121,129,137 }, <3.90212154339918163221e-16,1.99999999999999000799e+00,1,-1.00000000000000133227e+00,-1.10710678118654417545e+01>
		2, { 17,20,121,137 }
		1, { 17,21 }
		2, { 17,21,32 }
		3, { 17,21,32,115,131,179 }, <1,2.99999999999993782751e+00,-9.99999999999980793142e-01,-9.99999999999981792342e-01,-1.58994949366113651479e+01>
		2, { 17,21,34 }
		3, { 17,21,34,123,139,187 }, <-1,3.00000000000003286260e+00,-1.00000000000002575717e+00,-1.00000000000002620126e+00,-1.58994949366118838441e+01>
		2, { 17,21,115,131 }
		3, { 17,21,115,123,131,139 }, <2.53637900320946224309e-15,1.99999999999998179234e+00,-1,-1.00000000000000044409e+00,-1.10710678118654097801e+01>
		2, { 17,21,123,139 }
		1, { 17,32 }
		2, { 17,32,113,177 }
		3, { 17,32,113,115,177,179 }, <1,1.99999999999998112621e+00,1.16195008464909205077e-15,-9.99999999999989008792e-01,-1.10710678118653831348e+01>
		2, { 17,32,115,179 }
		1, { 17,34 }
		2, { 17,34,121,185 }
		3, { 17,34,121,123,185,187 }, <-1,2.00000000000000444089e+00,-2.68428046439503235447e-16,-1.00000000000001487699e+00,-1.10710678118655270197e+01>
		2, { 17,34,123,187 }
		1, { 17,113 }
		2, { 17,113,115 }
		2, { 17,113,121 }
		1, { 17,115 }
		2, { 17,115,123 }
		1, { 17,121 }
		2, { 17,121,123 }
		1, { 17,123 }
		1, { 18,22 }
		2, { 18,22,33 }
		3, { 18,19,22,23,33,35 }, <6.43817207682066717767e-16,-1,-0,-5.97830264276204781182e-16,-4.82842712474618984686e+00>
		3, { 18,22,33,116,132,180 }, <1,-3.00000000000000888178e+00,1.00000000000000510703e+00,1.00000000000000088818e+00,-1.58994949366117097611e+01>
		2, { 18,22,35 }
		3, { 18,22,35,124,140,188 }, <-1,-3.00000000000002042810e+00,1.00000000000000777156e+00,1.00000000000000133227e+00,-1.58994949366117666045e+01>
		2, { 18,22,116,132 }
		3, { 18,22,116,124,132,140 }, <2.10942374678777770528e-15,-1.99999999999999955591e+00,1,9.99999999999996891376e-01,-1.10710678118654683999e+01>
		2, { 18,22,124,140 }
		1, { 18,23 }
		2, { 18,23,33 }
		3, { 18,23,33,118,134,182 }, <1,-3.00000000000000799361e+00,-1.00000000000000244249e+00,1.00000000000000155431e+00,-1.58994949366117026557e+01>
		2, { 18,23,35 }
		3, { 18,23,35,126,142,190 }, <-1,-3.00000000000001731948e+00,-1.00000000000000399680e+00,1.00000000000000555112e+00,-1.58994949366117506173e+01>
		2, { 18,23,118,134 }
		3, { 18,23,118,126,134,142 }, <5.55111512312574621730e-16,-2.00000000000000177636e+00,-1,9.99999999999999777955e-01,-1.10710678118654808344e+01>
		2, { 18,23,126,142 }
		1, { 18,33 }
		2, { 18,33,116,180 }
		3, { 18,33,116,118,180,182 }, <1,-2.00000000000000310862e+00,-7.95763201542282582266e-16,1.00000000000000066613e+00,-1.10710678118654897162e+01>
		2, { 18,33,118,182 }
		1, { 18,35 }
		2, { 18,35,124,188 }
		3, { 18,35,124,126,188,190 }, <-1,-2.00000000000000621725e+00,-1.49294156496939581787e-15,1.00000000000000177636e+00,-1.10710678118655057034e+01>
		2, { 18,35,126,190 }
		1, { 18,116 }
		2, { 18,116,118 }
		2, { 18,116,124 }
		1, { 18,118 }
		2, { 18,118,126 }
		1, { 18,124 }
		2, { 18,124,126 }
		1, { 18,126 }
		1, { 19,22 }
		2, { 19,22,33 }
		3, { 19,22,33,117,133,181 }, <1,-3.00000000000000976996e+00,1.00000000000000288658e+00,-1.00000000000000377476e+00,-1.58994949366117133138e+01>
		2, { 19,22,35 }
		3, { 19,22,35,125,141,189 }, <-1,-3.00000000000001021405e+00,1.00000000000000377476e+00,-1.00000000000000288658e+00,-1.58994949366117168665e+01>
		2, { 19,22,117,133 }
		3, { 19,22,117,125,133,141 }, <-8.88178419700120696389e-16,-2.00000000000000133227e+00,1,-1.00000000000000022204e+00,-1.10710678118654790580e+01>
		2, { 19,22,125,141 }
		1, { 19,23 }
		2, { 19,23,33 }
		3, { 19,23,33,119,135,183 }, <1,-3.00000000000000932587e+00,-1.00000000000000266454e+00,-1.00000000000000244249e+00,-1.58994949366117097611e+01>
		2, { 19,23,35 }
		3, { 19,23,35,127,143,191 }, <-1,-3.00000000000000621725e+00,-1.00000000000000377476e+00,-1.00000000000000088818e+00,-1.58994949366116955503e+01>
		2, { 19,23,119,135 }
		3, { 19,23,119,127,135,143 }, <-9.99200722162640491951e-16,-2.00000000000000088818e+00,-1,-9.99999999999998667732e-01,-1.10710678118654755053e+01>
		2, { 19,23,127,143 }
		1, { 19,33 }
		2, { 19,33,117,181 }
		3, { 19,33,117,119,181,183 }, <1,-2.00000000000000133227e+00,-4.62696294154732464695e-16,-1.00000000000000199840e+00,-1.10710678118654808344e+01>
		2, { 19,33,119,183 }
		1, { 19,35 }
		2, { 19,35,125,189 }
		3, { 19,35,125,127,189,191 }, <-1,-2.00000000000000044409e+00,-1.15987465758184037549e-15,-9.99999999999999222844e-01,-1.10710678118654790580e+01>
		2, { 19,35,127,191 }
		1, { 19,117 }
		2, { 19,117,119 }
		2, { 19,117,125 }
		1, { 19,119 }
		2, { 19,119,127 }
		1, { 19,125 }
		2, { 19,125,127 }
		1, { 19,127 }
		1, { 20,32 }
		2, { 20,32,128,176 }
		3, { 20,32,128,129,176,177 }, <1,1.99999999999998401279e+00,9.99999999999995003996e-01,2.82024673592334701722e-16,-1.10710678118653955693e+01>
		2, { 20,32,129,177 }
		1, { 20,34 }
		2, { 20,34,136,184 }
		3, { 20,34,136,137,184,185 }, <-1,2.00000000000001199041e+00,1.00000000000001110223e+00,-1.62721365399280014670e-15,-1.10710678118655501123e+01>
		2, { 20,34,137,185 }
		1, { 20,128 }
		2, { 20,128,129 }
		2, { 20,128,136 }
		1, { 20,129 }
		2, { 20,129,137 }
		1, { 20,136 }
		2, { 20,136,137 }
		1, { 20,137 }
		1, { 21,32 }
		2, { 21,32,130,178 }
		3, { 21,32,130,131,178,179 }, <1,1.99999999999998023803e+00,-9.99999999999987232435e-01,1.55089103980698353805e-15,-1.10710678118653795821e+01>
		2, { 21,32,131,179 }
		1, { 21,34 }
		2, { 21,34,138,186 }
		3, { 21,34,138,139,186,187 }, <-1,2.00000000000000488498e+00,-1.00000000000001509903e+00,-3.58347287778123157897e-16,-1.10710678118655323487e+01>
		2, { 21,34,139,187 }
		1, { 21,130 }
		2, { 21,130,131 }
		2, { 21,130,138 }
		1, { 21,131 }
		2, { 21,131,139 }
		1, { 21,138 }
		2, { 21,138,139 }
		1, { 21,139 }
		1, { 22,33 }
		2, { 22,33,132,180 }
		3, { 22,33,132,133,180,181 }, <1,-2.00000000000000222045e+00,1.00000000000000088818e+00,-1.83337472307732192470e-15,-1.10710678118654861635e+01>
		2, { 22,33,133,181 }
		1, { 22,35 }
		2, { 22,35,140,188 }
		3, { 22,35,140,141,188,189 }, <-1,-2.00000000000000399680e+00,1.00000000000000088818e+00,-2.05647987074549945380e-15,-1.10710678118654968216e+01>
		2, { 22,35,141,189 }
		1, { 22,132 }
		2, { 22,132,133 }
		2, { 22,132,140 }
		1, { 22,133 }
		2, { 22,133,141 }
		1, { 22,140 }
		2, { 22,140,141 }
		1, { 22,141 }
		1, { 23,33 }
		2, { 23,33,134,182 }
		3, { 23,33,134,135,182,183 }, <1,-2.00000000000000266454e+00,-1.00000000000000133227e+00,-1.50030781568977417371e-15,-1.10710678118654861635e+01>
		2, { 23,33,135,183 }
		1, { 23,35 }
		2, { 23,35,142,190 }
		3, { 23,35,142,143,190,191 }, <-1,-2.00000000000000399680e+00,-1.00000000000000088818e+00,-1.72341296335795051952e-15,-1.10710678118654950453e+01>
		2, { 23,35,143,191 }
		1, { 23,134 }
		2, { 23,134,135 }
		2, { 23,134,142 }
		1, { 23,135 }
		2, { 23,135,143 }
		1, { 23,142 }
		2, { 23,142,143 }
		1, { 23,143 }
		1, { 24,144 }
		2, { 24,144,146 }
		3, { 24,36,144,146,148,150,192,194,196,198 }, <1,-8.45459667736502764281e-16,2.67850760031788397645e-16,9.99999999999999222844e-01,-6.24264068711928032940e+00>
		2, { 24,144,148 }
		1, { 24,146 }
		2, { 24,146,150 }
		1, { 24,148 }
		2, { 24,148,150 }
		1, { 24,150 }
		1, { 25,145 }
		2, { 25,145,147 }
		3, { 25,37,145,147,149,151,193,195,197,199 }, <1,1.95106077169960979807e-16,-4.09044860181228909903e-16,-1.00000000000000066613e+00,-6.24264068711928832300e+00>
		2, { 25,145,149 }
		1, { 25,147 }
		2, { 25,147,151 }
		1, { 25,149 }
		2, { 25,149,151 }
		1, { 25,151 }
		1, { 26,152 }
		2, { 26,152,154 }
		3, { 26,38,152,154,156,158,200,202,204,206 }, <-1,7.61936626031682944506e-17,-2.22044604925030642483e-16,9.99999999999998445688e-01,-6.24264068711928121758e+00>
		2, { 26,152,156 }
		1, { 26,154 }
		2, { 26,154,158 }
		1, { 26,156 }
		2, { 26,156,158 }
		1, { 26,158 }
		1, { 27,153 }
		2, { 27,153,155 }
		3, { 27,39,153,155,157,159,201,203,205,207 }, <-1,-4.57161975619013291926e-16,-5.55111512312575743392e-17,-9.99999999999996780353e-01,-6.24264068711927588851e+00>
		2, { 27,153,157 }
		1, { 27,155 }
		2, { 27,155,159 }
		1, { 27,157 }
		2, { 27,157,159 }
		1, { 27,159 }
		1, { 28,160 }
		2, { 28,160,161 }
		3, { 28,40,160,161,164,165,208,209,212,213 }, <1,-6.50353590566542203557e-16,1,-5.28298757742650017843e-16,-6.24264068711928565847e+00>
		2, { 28,160,164 }
		1, { 28,161 }
		2, { 28,161,165 }
		1, { 28,164 }
		2, { 28,164,165 }
		1, { 28,165 }
		1, { 29,162 }
		2, { 29,162,163 }
		3, { 29,41,162,163,166,167,210,211,214,215 }, <1,6.50353590566536558271e-17,-1,-3.44829599674805647824e-16,-6.24264068711928477029e+00>
		2, { 29,162,166 }
		1, { 29,163 }
		2, { 29,163,167 }
		1, { 29,166 }
		2, { 29,166,167 }
		1, { 29,167 }
		1, { 30,168 }
		2, { 30,168,169 }
		3, { 30,42,168,169,172,173,216,217,220,221 }, <-1,-1.52387325206337402414e-16,9.99999999999997446487e-01,-3.10073435684614810543e-16,-6.24264068711927944122e+00>
		2, { 30,168,172 }
		1, { 30,169 }
		2, { 30,169,173 }
		1, { 30,172 }
		2, { 30,172,173 }
		1, { 30,173 }
		1, { 31,170 }
		2, { 31,170,171 }
		3, { 31,43,170,171,174,175,218,219,222,223 }, <-1,-2.77555756156288149030e-16,-9.99999999999997779554e-01,-2.77555756156289332321e-16,-6.24264068711928032940e+00>
		2, { 31,170,174 }
		1, { 31,171 }
		2, { 31,171,175 }
		1, { 31,174 }
		2, { 31,174,175 }
		1, { 31,175 }
		1, { 32,176 }
		2, { 32,176,177 }
		3, { 32,44,176,177,178,179,224,225,226,227 }, <1,9.99999999999998556710e-01,-1.25783717024013661608e-15,3.24481757038198585868e-16,-6.24264068711927855304e+00>
		2, { 32,176,178 }
		1, { 32,177 }
		2, { 32,177,179 }
		1, { 32,178 }
		2, { 32,178,179 }
		1, { 32,179 }
		1, { 33,180 }
		2, { 33,180,181 }
		3, { 33,45,180,181,182,183,228,229,230,231 }, <1,-1.00000000000000088818e+00,-4.87765192924903768395e-16,-8.79060351561179856724e-16,-6.24264068711928832300e+00>
		2, { 33,180,182 }
		1, { 33,181 }
		2, { 33,181,183 }
		1, { 33,182 }
		2, { 33,182,183 }
		1, { 33,183 }
		1, { 34,184 }
		2, { 34,184,185 }
		3, { 34,46,184,185,186,187,232,233,234,235 }, <-1,9.99999999999996891376e-01,7.80424308679840763785e-16,1.43820348492155290417e-16,-6.24264068711927855304e+00>
		2, { 34,184,186 }
		1, { 34,185 }
		2, { 34,185,187 }
		1, { 34,186 }
		2, { 34,186,187 }
		1, { 34,187 }
		1, { 35,188 }
		2, { 35,188,189 }
		3, { 35,47,188,189,190,191,236,237,238,239 }, <-1,-1.00000000000000022204e+00,1.11022302462515678694e-16,-5.55111512312578886509e-17,-6.24264068711928565847e+00>
		2, { 35,188,190 }
		1, { 35,189 }
		2, { 35,189,191 }
		1, { 35,190 }
		2, { 35,190,191 }
		1, { 35,191 }
		1, { 36,40 }
		2, { 36,40,44 }
		3, { 36,37,40,41,44,45 }, <1,-2.13414113725800138306e-16,1.95629604248650128835e-16,2.13414113725800138306e-16,-4.82842712474619073504e+00>
		3, { 36,40,44,192,208,224 }, <3.00000000000001199041e+00,1,1.00000000000000266454e+00,1.00000000000000266454e+00,-1.58994949366117275247e+01>
		2, { 36,40,45 }
		3, { 36,40,45,196,212,228 }, <3.00000000000000044409e+00,-1,9.99999999999996891376e-01,9.99999999999996891376e-01,-1.58994949366116671285e+01>
		2, { 36,40,192,208 }
		3, { 36,40,192,196,208,212 }, <1.99999999999999955591e+00,-1.11532356084280981781e-15,1,9.99999999999999666933e-01,-1.10710678118654737290e+01>
		2, { 36,40,196,212 }
		1, { 36,41 }
		2, { 36,41,44 }
		3, { 36,41,44,194,210,226 }, <3.00000000000001820766e+00,1,-1.00000000000000599520e+00,1.00000000000000310862e+00,-1.58994949366117594991e+01>
		2, { 36,41,45 }
		3, { 36,41,45,198,214,230 }, <2.99999999999999822364e+00,-1,-9.99999999999999333866e-01,9.99999999999996891376e-01,-1.58994949366116564704e+01>
		2, { 36,41,194,210 }
		3, { 36,41,194,198,210,214 }, <2.00000000000000444089e+00,-9.48790107149038703330e-16,-1,9.99999999999998556710e-01,-1.10710678118654968216e+01>
		2, { 36,41,198,214 }
		1, { 36,44 }
		2, { 36,44,192,224 }
		3, { 36,44,192,194,224,226 }, <2.00000000000000088818e+00,1,4.89257342070055100074e-16,1.00000000000000266454e+00,-1.10710678118654808344e+01>
		2, { 36,44,194,226 }
		1, { 36,45 }
		2, { 36,45,196,228 }
		3, { 36,45,196,198,228,230 }, <2.00000000000000355271e+00,-1,-9.54032589942655502225e-16,9.99999999999998667732e-01,-1.10710678118654932689e+01>
		2, { 36,45,198,230 }
		1, { 36,192 }
		2, { 36,192,194 }
		2, { 36,192,196 }
		1, { 36,194 }
		2, { 36,194,198 }
		1, { 36,196 }
		2, { 36,196,198 }
		1, { 36,198 }
		1, { 37,40 }
		2, { 37,40,44 }
		3, { 37,40,44,193,209,225 }, <3.00000000000001953993e+00,1,1.00000000000000266454e+00,-1.00000000000000532907e+00,-1.58994949366117666045e+01>
		2, { 37,40,45 }
		3, { 37,40,45,197,213,229 }, <3.00000000000000266454e+00,-1,9.99999999999997335465e-01,-9.99999999999999777955e-01,-1.58994949366116760103e+01>
		2, { 37,40,193,209 }
		3, { 37,40,193,197,209,213 }, <2.00000000000000843769e+00,-1.33736816576785059223e-15,1,-1.00000000000000133227e+00,-1.10710678118655181379e+01>
		2, { 37,40,197,213 }
		1, { 37,41 }
		2, { 37,41,44 }
		3, { 37,41,44,195,211,227 }, <3.00000000000001421085e+00,1,-1.00000000000000510703e+00,-1.00000000000000555112e+00,-1.58994949366117399592e+01>
		2, { 37,41,45 }
		3, { 37,41,45,199,215,231 }, <3.00000000000000177636e+00,-1,-9.99999999999999555911e-01,-9.99999999999999777955e-01,-1.58994949366116742340e+01>
		2, { 37,41,195,211 }
		3, { 37,41,195,199,211,215 }, <2.00000000000000488498e+00,-1.11532356084281415655e-15,-1,-1.00000000000000044409e+00,-1.10710678118654968216e+01>
		2, { 37,41,199,215 }
		1, { 37,44 }
		2, { 37,44,193,225 }
		3, { 37,44,193,195,225,227 }, <2.00000000000000976996e+00,1,-3.98921077630081324229e-16,-1.00000000000000355271e+00,-1.10710678118655287960e+01>
		2, { 37,44,195,227 }
		1, { 37,45 }
		2, { 37,45,197,229 }
		3, { 37,45,197,199,229,231 }, <2.00000000000000355271e+00,-1,-6.20965682555107159591e-16,-1.00000000000000022204e+00,-1.10710678118654914925e+01>
		2, { 37,45,199,231 }
		1, { 37,193 }
		2, { 37,193,195 }
		2, { 37,193,197 }
		1, { 37,195 }
		2, { 37,195,199 }
		1, { 37,197 }
		2, { 37,197,199 }
		1, { 37,199 }
		1, { 38,42 }
		2, { 38,42,46 }
		3, { 38,39,42,43,46,47 }, <-1,-0,-0,-0,-4.82842712474618984686e+00>
		3, { 38,42,46,200,216,232 }, <-3.00000000000000888178e+00,1,1.00000000000000222045e+00,1.00000000000000222045e+00,-1.58994949366117079848e+01>
		2, { 38,42,47 }
		3, { 38,42,47,204,220,236 }, <-3.00000000000000177636e+00,-1,1,1,-1.58994949366116724576e+01>
		2, { 38,42,200,216 }
		3, { 38,42,200,204,216,220 }, <-2.00000000000000266454e+00,-3.33066907387549131495e-16,1,1,-1.10710678118654861635e+01>
		2, { 38,42,204,220 }
		1, { 38,43 }
		2, { 38,43,46 }
		3, { 38,43,46,202,218,234 }, <-3.00000000000000843769e+00,1,-1.00000000000000244249e+00,1.00000000000000244249e+00,-1.58994949366117062084e+01>
		2, { 38,43,47 }
		3, { 38,43,47,206,222,238 }, <-3.00000000000000088818e+00,-1,-1,1,-1.58994949366116689049e+01>
		2, { 38,43,202,218 }
		3, { 38,43,202,206,218,222 }, <-2.00000000000000222045e+00,-1.66533453693774565747e-16,-1,1,-1.10710678118654826108e+01>
		2, { 38,43,206,222 }
		1, { 38,46 }
		2, { 38,46,200,232 }
		3, { 38,46,200,202,232,234 }, <-2.00000000000000666134e+00,1,9.99200722162647197269e-16,1.00000000000000244249e+00,-1.10710678118655092561e+01>
		2, { 38,46,202,234 }
		1, { 38,47 }
		2, { 38,47,204,236 }
		3, { 38,47,204,206,236,238 }, <-2.00000000000000088818e+00,-1,-4.44089209850062517562e-16,1,-1.10710678118654790580e+01>
		2, { 38,47,206,238 }
		1, { 38,200 }
		2, { 38,200,202 }
		2, { 38,200,204 }
		1, { 38,202 }
		2, { 38,202,206 }
		1, { 38,204 }
		2, { 38,204,206 }
		1, { 38,206 }
		1, { 39,42 }
		2, { 39,42,46 }
		3, { 39,42,46,201,217,233 }, <-3.00000000000001154632e+00,1,1.00000000000000177636e+00,-1.00000000000000155431e+00,-1.58994949366117150902e+01>
		2, { 39,42,47 }
		3, { 39,42,47,205,221,237 }, <-3.00000000000000044409e+00,-1,1.00000000000000044409e+00,-1,-1.58994949366116671285e+01>
		2, { 39,42,201,217 }
		3, { 39,42,201,205,217,221 }, <-2.00000000000000310862e+00,-5.55111512312582806162e-16,1,-9.99999999999999666933e-01,-1.10710678118654879398e+01>
		2, { 39,42,205,221 }
		1, { 39,43 }
		2, { 39,43,46 }
		3, { 39,43,46,203,219,235 }, <-3.00000000000001110223e+00,1,-1.00000000000000222045e+00,-1.00000000000000222045e+00,-1.58994949366117150902e+01>
		2, { 39,43,47 }
		3, { 39,43,47,207,223,239 }, <-3.00000000000000044409e+00,-1,-1,-1,-1.58994949366116671285e+01>
		2, { 39,43,203,219 }
		3, { 39,43,203,207,219,223 }, <-2.00000000000000310862e+00,-3.33066907387549871052e-16,-1,-1,-1.10710678118654879398e+01>
		2, { 39,43,207,223 }
		1, { 39,46 }
		2, { 39,46,201,233 }
		3, { 39,46,201,203,233,235 }, <-2.00000000000000976996e+00,1,1.11022302462516590815e-16,-1.00000000000000199840e+00,-1.10710678118655181379e+01>
		2, { 39,46,203,235 }
		1, { 39,47 }
		2, { 39,47,205,237 }
		3, { 39,47,205,207,237,239 }, <-2,-1,-1.11022302462515555435e-16,-1,-1.10710678118654737290e+01>
		2, { 39,47,207,239 }
		1, { 39,201 }
		2, { 39,201,203 }
		2, { 39,201,205 }
		1, { 39,203 }
		2, { 39,203,207 }
		1, { 39,205 }
		2, { 39,205,207 }
		1, { 39,207 }
		1, { 40,44 }
		2, { 40,44,208,224 }
		3, { 40,44,208,209,224,225 }, <2.00000000000001465494e+00,1,1.00000000000000266454e+00,-1.08676194088279173509e-15,-1.10710678118655501123e+01>
		2, { 40,44,209,225 }
		1, { 40,45 }
		2, { 40,45,212,228 }
		3, { 40,45,212,213,228,229 }, <2.00000000000000444089e+00,-1,9.99999999999999333866e-01,-1.31669665791209392384e-15,-1.10710678118654950453e+01>
		2, { 40,45,213,229 }
		1, { 40,208 }
		2, { 40,208,209 }
		2, { 40,208,212 }
		1, { 40,209 }
		2, { 40,209,213 }
		1, { 40,212 }
		2, { 40,212,213 }
		1, { 40,213 }
		1, { 41,44 }
		2, { 41,44,210,226 }
		3, { 41,44,210,211,226,227 }, <2.00000000000000488498e+00,1,-1.00000000000000421885e+00,1.82104425331870240701e-16,-1.10710678118655039270e+01>
		2, { 41,44,211,227 }
		1, { 41,45 }
		2, { 41,45,214,230 }
		3, { 41,45,214,215,230,231 }, <2.00000000000000577316e+00,-1,-9.99999999999999555911e-01,-9.83629750524546567282e-16,-1.10710678118655039270e+01>
		2, { 41,45,215,231 }
		1, { 41,210 }
		2, { 41,210,211 }
		2, { 41,210,214 }
		1, { 41,211 }
		2, { 41,211,215 }
		1, { 41,214 }
		2, { 41,214,215 }
		1, { 41,215 }
		1, { 42,46 }
		2, { 42,46,216,232 }
		3, { 42,46,216,217,232,233 }, <-2.00000000000000799361e+00,1,1.00000000000000177636e+00,-3.25176795283269129626e-16,-1.10710678118655074798e+01>
		2, { 42,46,217,233 }
		1, { 42,47 }
		2, { 42,47,220,236 }
		3, { 42,47,220,221,236,237 }, <-2.00000000000000088818e+00,-1,1.00000000000000044409e+00,-5.55111512312578270212e-16,-1.10710678118654790580e+01>
		2, { 42,47,221,237 }
		1, { 42,216 }
		2, { 42,216,217 }
		2, { 42,216,220 }
		1, { 42,217 }
		2, { 42,217,221 }
		1, { 42,220 }
		2, { 42,220,221 }
		1, { 42,221 }
		1, { 43,46 }
		2, { 43,46,218,234 }
		3, { 43,46,218,219,234,235 }, <-2.00000000000000843769e+00,1,-1.00000000000000244249e+00,9.43689570931389370247e-16,-1.10710678118655145852e+01>
		2, { 43,46,219,235 }
		1, { 43,47 }
		2, { 43,47,222,238 }
		3, { 43,47,222,223,238,239 }, <-2.00000000000000044409e+00,-1,-1,-2.22044604925031406692e-16,-1.10710678118654772817e+01>
		2, { 43,47,223,239 }
		1, { 43,218 }
		2, { 43,218,219 }
		2, { 43,218,222 }
		1, { 43,219 }
		2, { 43,219,223 }
		1, { 43,222 }
		2, { 43,222,223 }
		1, { 43,223 }
		1, { 44,224 }
		2, { 44,224,225 }
		2, { 44,224,226 }
		1, { 44,225 }
		2, { 44,225,227 }
		1, { 44,226 }
		2, { 44,226,227 }
		1, { 44,227 }
		1, { 45,228 }
		2, { 45,228,229 }
		2, { 45,228,230 }
		1, { 45,229 }
		2, { 45,229,231 }
		1, { 45,230 }
		2, { 45,230,231 }
		1, { 45,231 }
		1, { 46,232 }
		2, { 46,232,233 }
		2, { 46,232,234 }
		1, { 46,233 }
		2, { 46,233,235 }
		1, { 46,234 }
		2, { 46,234,235 }
		1, { 46,235 }
		1, { 47,236 }
		2, { 47,236,237 }
		2, { 47,236,238 }
		1, { 47,237 }
		2, { 47,237,239 }
		1, { 47,238 }
		2, { 47,238,239 }
		1, { 47,239 }
		1, { 48,52 }
		2, { 48,52,64,68 }
		3, { 48,52,64,68,144,148,160,164,192,196,208,212 }, <1,-7.09331182294330664776e-16,9.99999999999998445688e-01,9.99999999999998001599e-01,-7.24264068711927677668e+00>
		2, { 48,52,144,148 }
		1, { 48,56 }
		2, { 48,56,64,72 }
		3, { 48,56,64,72,80,88,96,104,112,120,128,136 }, <-5.77315972805076667855e-15,1,1.00000000000000244249e+00,1.00000000000000244249e+00,-7.24264068711929542843e+00>
		2, { 48,56,80,88 }
		1, { 48,64 }
		2, { 48,64,80,96,112,128 }
		3, { 48,64,80,96,112,128,144,160,176,192,208,224 }, <1,9.99999999999998667732e-01,1.00000000000000111022e+00,1.00000000000000088818e+00,-8.24264068711928743483e+00>
		2, { 48,64,144,160,192,208 }
		1, { 48,80 }
		2, { 48,80,144 }
		1, { 48,144 }
		1, { 49,53 }
		2, { 49,53,65,69 }
		3, { 49,53,65,69,145,149,161,165,193,197,209,213 }, <1,-9.31375787219368974002e-16,1.00000000000000199840e+00,-1.00000000000000266454e+00,-7.24264068711929809297e+00>
		2, { 49,53,145,149 }
		1, { 49,57 }
		2, { 49,57,65,73 }
		3, { 49,57,65,73,81,89,97,105,113,121,129,137 }, <-1.88737914186276020226e-15,1,1.00000000000000244249e+00,-1.00000000000000444089e+00,-7.24264068711930608657e+00>
		2, { 49,57,81,89 }
		1, { 49,65 }
		2, { 49,65,81,97,113,129 }
		3, { 49,65,81,97,113,129,145,161,177,193,209,225 }, <1,9.99999999999999444888e-01,1.00000000000000199840e+00,-1.00000000000000355271e+00,-8.24264068711930164568e+00>
		2, { 49,65,145,161,193,209 }
		1, { 49,81 }
		2, { 49,81,145 }
		1, { 49,145 }
		1, { 50,54 }
		2, { 50,54,66,70 }
		3, { 50,54,66,70,146,150,162,166,194,198,210,214 }, <1,-5.42797728600558367004e-16,-1.00000000000000244249e+00,1.00000000000000133227e+00,-7.24264068711929720479e+00>
		2, { 50,54,146,150 }
		1, { 50,58 }
		2, { 50,58,66,74 }
		3, { 50,58,66,74,82,90,98,106,114,122,130,138 }, <-8.88178419700124443478e-16,1,-1.00000000000000488498e+00,1.00000000000000266454e+00,-7.24264068711930963929e+00>
		2, { 50,58,82,90 }
		1, { 50,66 }
		2, { 50,66,82,98,114,130 }
		3, { 50,66,82,98,114,130,146,162,178,194,210,226 }, <1,9.99999999999998001599e-01,-1.00000000000000244249e+00,1.00000000000000044409e+00,-8.24264068711929276390e+00>
		2, { 50,66,146,162,194,210 }
		1, { 50,82 }
		2, { 50,82,146 }
		1, { 50,146 }
		1, { 51,55 }
		2, { 51,55,67,71 }
		3, { 51,55,67,71,147,151,163,167,195,199,211,215 }, <1,-7.09331182294333623005e-16,-1.00000000000000111022e+00,-1.00000000000000155431e+00,-7.24264068711929187572e+00>
		2, { 51,55,147,151 }
		1, { 51,59 }
		2, { 51,59,67,75 }
		3, { 51,59,67,75,83,91,99,107,115,123,131,139 }, <-2.55351295663785649310e-15,1,-1.00000000000000444089e+00,-1.00000000000000488498e+00,-7.24264068711931141564e+00>
		2, { 51,59,83,91 }
		1, { 51,67 }
		2, { 51,67,83,99,115,131 }
		3, { 51,67,83,99,115,131,147,163,179,195,211,227 }, <1,9.99999999999996003197e-01,-9.99999999999999777955e-01,-1.00000000000000044409e+00,-8.24264068711928032940e+00>
		2, { 51,67,147,163,195,211 }
		1, { 51,83 }
		2, { 51,83,147 }
		1, { 51,147 }
		1, { 52,60 }
		2, { 52,60,68,76 }
		3, { 52,60,68,76,84,92,100,108,116,124,132,140 }, <-1.11022302462515082118e-15,-1,9.99999999999997557509e-01,9.99999999999997557509e-01,-7.24264068711927500033e+00>
		2, { 52,60,84,92 }
		1, { 52,68 }
		2, { 52,68,84,100,116,132 }
		3, { 52,68,84,100,116,132,148,164,180,196,212,228 }, <1,-1.00000000000000266454e+00,1.00000000000000088818e+00,1.00000000000000066613e+00,-8.24264068711929631661e+00>
		2, { 52,68,148,164,196,212 }
		1, { 52,84 }
		2, { 52,84,148 }
		1, { 52,148 }
		1, { 53,61 }
		2, { 53,61,69,77 }
		3, { 53,61,69,77,85,93,101,109,117,125,133,141 }, <-1.88737914186275901897e-15,-1,9.99999999999998223643e-01,-9.99999999999999777955e-01,-7.24264068711928032940e+00>
		2, { 53,61,85,93 }
		1, { 53,69 }
		2, { 53,69,85,101,117,133 }
		3, { 53,69,85,101,117,133,149,165,181,197,213,229 }, <1,-1.00000000000000066613e+00,9.99999999999999333866e-01,-1.00000000000000088818e+00,-8.24264068711928921118e+00>
		2, { 53,69,149,165,197,213 }
		1, { 53,85 }
		2, { 53,85,149 }
		1, { 53,149 }
		1, { 54,62 }
		2, { 54,62,70,78 }
		3, { 54,62,70,78,86,94,102,110,118,126,134,142 }, <-1.49880108324395541312e-15,-1,-9.99999999999999555911e-01,9.99999999999997779554e-01,-7.24264068711928121758e+00>
		2, { 54,62,86,94 }
		1, { 54,70 }
		2, { 54,70,86,102,118,134 }
		3, { 54,70,86,102,118,134,150,166,182,198,214,230 }, <1,-1,-9.99999999999999555911e-01,9.99999999999998001599e-01,-8.24264068711928210575e+00>
		2, { 54,70,150,166,198,214 }
		1, { 54,86 }
		2, { 54,86,150 }
		1, { 54,150 }
		1, { 55,63 }
		2, { 55,63,71,79 }
		3, { 55,63,71,79,87,95,103,111,119,127,135,143 }, <-0,-1,-9.99999999999999888978e-01,-1,-7.24264068711928565847e+00>
		2, { 55,63,87,95 }
		1, { 55,71 }
		2, { 55,71,87,103,119,135 }
		3, { 55,71,87,103,119,135,151,167,183,199,215,231 }, <1,-9.99999999999999555911e-01,-9.99999999999999333866e-01,-9.99999999999999777955e-01,-8.24264068711928388211e+00>
		2, { 55,71,151,167,199,215 }
		1, { 55,87 }
		2, { 55,87,151 }
		1, { 55,151 }
		1, { 56,60 }
		2, { 56,60,72,76 }
		3, { 56,60,72,76,152,156,168,172,200,204,216,220 }, <-1,-9.99200722162650549927e-16,1.00000000000000333067e+00,1.00000000000000333067e+00,-7.24264068711930075750e+00>
		2, { 56,60,152,156 }
		1, { 56,72 }
		2, { 56,72,88,104,120,136 }
		3, { 56,72,88,104,120,136,152,168,184,200,216,232 }, <-1,1.00000000000000510703e+00,1.00000000000000754952e+00,1.00000000000000754952e+00,-8.24264068711932651468e+00>
		2, { 56,72,152,168,200,216 }
		1, { 56,88 }
		2, { 56,88,152 }
		1, { 56,152 }
		1, { 57,61 }
		2, { 57,61,73,77 }
		3, { 57,61,73,77,153,157,169,173,201,205,217,221 }, <-1,-1.22124532708768067472e-15,1.00000000000000066613e+00,-1.00000000000000155431e+00,-7.24264068711929365207e+00>
		2, { 57,61,153,157 }
		1, { 57,73 }
		2, { 57,73,89,105,121,137 }
		3, { 57,73,89,105,121,137,153,169,185,201,217,233 }, <-1,9.99999999999999666933e-01,1.00000000000000177636e+00,-1.00000000000000399680e+00,-8.24264068711930164568e+00>
		2, { 57,73,153,169,201,217 }
		1, { 57,89 }
		2, { 57,89,153 }
		1, { 57,153 }
		1, { 58,62 }
		2, { 58,62,74,78 }
		3, { 58,62,74,78,154,158,170,174,202,206,218,222 }, <-1,-8.32667268468868490001e-16,-9.99999999999999777955e-01,9.99999999999998445688e-01,-7.24264068711928388211e+00>
		2, { 58,62,154,158 }
		1, { 58,74 }
		2, { 58,74,90,106,122,138 }
		3, { 58,74,90,106,122,138,154,170,186,202,218,234 }, <-1,9.99999999999998001599e-01,-1.00000000000000288658e+00,1.00000000000000066613e+00,-8.24264068711929454025e+00>
		2, { 58,74,154,170,202,218 }
		1, { 58,90 }
		2, { 58,90,154 }
		1, { 58,154 }
		1, { 59,63 }
		2, { 59,63,75,79 }
		3, { 59,63,75,79,155,159,171,175,203,207,219,223 }, <-1,-9.99200722162645619547e-16,-1.00000000000000044409e+00,-1.00000000000000044409e+00,-7.24264068711928832300e+00>
		2, { 59,63,155,159 }
		1, { 59,75 }
		2, { 59,75,91,107,123,139 }
		3, { 59,75,91,107,123,139,155,171,187,203,219,235 }, <-1,9.99999999999997890576e-01,-1.00000000000000244249e+00,-1.00000000000000266454e+00,-8.24264068711929454025e+00>
		2, { 59,75,155,171,203,219 }
		1, { 59,91 }
		2, { 59,91,155 }
		1, { 59,155 }
		1, { 60,76 }
		2, { 60,76,92,108,124,140 }
		3, { 60,76,92,108,124,140,156,172,188,204,220,236 }, <-1,-1.00000000000000310862e+00,1.00000000000000066613e+00,1.00000000000000066613e+00,-8.24264068711929809297e+00>
		2, { 60,76,156,172,204,220 }
		1, { 60,92 }
		2, { 60,92,156 }
		1, { 60,156 }
		1, { 61,77 }
		2, { 61,77,93,109,125,141 }
		3, { 61,77,93,109,125,141,157,173,189,205,221,237 }, <-1,-1.00000000000000155431e+00,9.99999999999999666933e-01,-1.00000000000000133227e+00,-8.24264068711929098754e+00>
		2, { 61,77,157,173,205,221 }
		1, { 61,93 }
		2, { 61,93,157 }
		1, { 61,157 }
		1, { 62,78 }
		2, { 62,78,94,110,126,142 }
		3, { 62,78,94,110,126,142,158,174,190,206,222,238 }, <-1,-1.00000000000000266454e+00,-1.00000000000000222045e+00,1.00000000000000022204e+00,-8.24264068711929809297e+00>
		2, { 62,78,158,174,206,222 }
		1, { 62,94 }
		2, { 62,94,158 }
		1, { 62,158 }
		1, { 63,79 }
		2, { 63,79,95,111,127,143 }
		3, { 63,79,95,111,127,143,159,175,191,207,223,239 }, <-1,-1.00000000000000022204e+00,-1.00000000000000022204e+00,-1.00000000000000022204e+00,-8.24264068711928743483e+00>
		2, { 63,79,159,175,207,223 }
		1, { 63,95 }
		2, { 63,95,159 }
		1, { 63,159 }
		1, { 64,68 }
		2, { 64,68,160,164 }
		1, { 64,72 }
		2, { 64,72,96,104 }
		1, { 64,96 }
		2, { 64,96,160 }
		1, { 64,160 }
		1, { 65,69 }
		2, { 65,69,161,165 }
		1, { 65,73 }
		2, { 65,73,97,105 }
		1, { 65,97 }
		2, { 65,97,161 }
		1, { 65,161 }
		1, { 66,70 }
		2, { 66,70,162,166 }
		1, { 66,74 }
		2, { 66,74,98,106 }
		1, { 66,98 }
		2, { 66,98,162 }
		1, { 66,162 }
		1, { 67,71 }
		2, { 67,71,163,167 }
		1, { 67,75 }
		2, { 67,75,99,107 }
		1, { 67,99 }
		2, { 67,99,163 }
		1, { 67,163 }
		1, { 68,76 }
		2, { 68,76,100,108 }
		1, { 68,100 }
		2, { 68,100,164 }
		1, { 68,164 }
		1, { 69,77 }
		2, { 69,77,101,109 }
		1, { 69,101 }
		2, { 69,101,165 }
		1, { 69,165 }
		1, { 70,78 }
		2, { 70,78,102,110 }
		1, { 70,102 }
		2, { 70,102,166 }
		1, { 70,166 }
		1, { 71,79 }
		2, { 71,79,103,111 }
		1, { 71,103 }
		2, { 71,103,167 }
		1, { 71,167 }
		1, { 72,76 }
		2, { 72,76,168,172 }
		1, { 72,104 }
		2, { 72,104,168 }
		1, { 72,168 }
		1, { 73,77 }
		2, { 73,77,169,173 }
		1, { 73,105 }
		2, { 73,105,169 }
		1, { 73,169 }
		1, { 74,78 }
		2, { 74,78,170,174 }
		1, { 74,106 }
		2, { 74,106,170 }
		1, { 74,170 }
		1, { 75,79 }
		2, { 75,79,171,175 }
		1, { 75,107 }
		2, { 75,107,171 }
		1, { 75,171 }
		1, { 76,108 }
		2, { 76,108,172 }
		1, { 76,172 }
		1, { 77,109 }
		2, { 77,109,173 }
		1, { 77,173 }
		1, { 78,110 }
		2, { 78,110,174 }
		1, { 78,174 }
		1, { 79,111 }
		2, { 79,111,175 }
		1, { 79,175 }
		1, { 80,82 }
		2, { 80,82,112,114 }
		3, { 80,82,112,114,144,146,176,178,192,194,224,226 }, <1,9.99999999999995003996e-01,7.92770899807712489556e-16,9.99999999999997113420e-01,-7.24264068711926878308e+00>
		2, { 80,82,144,146 }
		1, { 80,88 }
		2, { 80,88,112,120 }
		1, { 80,112 }
		2, { 80,112,144,176,192,224 }
		1, { 80,144 }
		1, { 81,83 }
		2, { 81,83,113,115 }
		3, { 81,83,113,115,145,147,177,179,193,195,225,227 }, <1,9.99999999999999111822e-01,-9.54075198924154175146e-17,-1.00000000000000199840e+00,-7.24264068711929276390e+00>
		2, { 81,83,145,147 }
		1, { 81,89 }
		2, { 81,89,113,121 }
		1, { 81,113 }
		2, { 81,113,145,177,193,225 }
		1, { 81,145 }
		1, { 82,90 }
		2, { 82,90,114,122 }
		1, { 82,114 }
		2, { 82,114,146,178,194,226 }
		1, { 82,146 }
		1, { 83,91 }
		2, { 83,91,115,123 }
		1, { 83,115 }
		2, { 83,115,147,179,195,227 }
		1, { 83,147 }
		1, { 84,86 }
		2, { 84,86,116,118 }
		3, { 84,86,116,118,148,150,180,182,196,198,228,230 }, <1,-1.00000000000000199840e+00,-6.50519032204992097679e-16,1.00000000000000111022e+00,-7.24264068711929454025e+00>
		2, { 84,86,148,150 }
		1, { 84,92 }
		2, { 84,92,116,124 }
		1, { 84,116 }
		2, { 84,116,148,180,196,228 }
		1, { 84,148 }
		1, { 85,87 }
		2, { 85,87,117,119 }
		3, { 85,87,117,119,149,151,181,183,197,199,229,231 }, <1,-1.00000000000000177636e+00,-3.17452124817443015488e-16,-1.00000000000000222045e+00,-7.24264068711929365207e+00>
		2, { 85,87,149,151 }
		1, { 85,93 }
		2, { 85,93,117,125 }
		1, { 85,117 }
		2, { 85,117,149,181,197,229 }
		1, { 85,149 }
		1, { 86,94 }
		2, { 86,94,118,126 }
		1, { 86,118 }
		2, { 86,118,150,182,198,230 }
		1, { 86,150 }
		1, { 87,95 }
		2, { 87,95,119,127 }
		1, { 87,119 }
		2, { 87,119,151,183,199,231 }
		1, { 87,151 }
		1, { 88,90 }
		2, { 88,90,120,122 }
		3, { 88,90,120,122,152,154,184,186,200,202,232,234 }, <-1,1.00000000000000222045e+00,4.49668361623323362096e-16,1.00000000000000466294e+00,-7.24264068711930519839e+00>
		2, { 88,90,152,154 }
		1, { 88,120 }
		2, { 88,120,152,184,200,232 }
		1, { 88,152 }
		1, { 89,91 }
		2, { 89,91,121,123 }
		3, { 89,91,121,123,153,155,185,187,201,203,233,235 }, <-1,9.99999999999998112621e-01,-4.38510058076807540181e-16,-1.00000000000000155431e+00,-7.24264068711928921118e+00>
		2, { 89,91,153,155 }
		1, { 89,121 }
		2, { 89,121,153,185,201,233 }
		1, { 89,153 }
		1, { 90,122 }
		2, { 90,122,154,186,202,234 }
		1, { 90,154 }
		1, { 91,123 }
		2, { 91,123,155,187,203,235 }
		1, { 91,155 }
		1, { 92,94 }
		2, { 92,94,124,126 }
		3, { 92,94,124,126,156,158,188,190,204,206,236,238 }, <-1,-1.00000000000000044409e+00,-9.93621570389382605645e-16,9.99999999999999333866e-01,-7.24264068711928743483e+00>
		2, { 92,94,156,158 }
		1, { 92,124 }
		2, { 92,124,156,188,204,236 }
		1, { 92,156 }
		1, { 93,95 }
		2, { 93,95,125,127 }
		3, { 93,95,125,127,157,159,189,191,205,207,237,239 }, <-1,-9.99999999999998778755e-01,-6.60554663001833079720e-16,-9.99999999999998778755e-01,-7.24264068711927944122e+00>
		2, { 93,95,157,159 }
		1, { 93,125 }
		2, { 93,125,157,189,205,237 }
		1, { 93,157 }
		1, { 94,126 }
		2, { 94,126,158,190,206,238 }
		1, { 94,158 }
		1, { 95,127 }
		2, { 95,127,159,191,207,239 }
		1, { 95,159 }
		1, { 96,97 }
		2, { 96,97,128,129 }
		3, { 96,97,128,129,160,161,176,177,208,209,224,225 }, <1,1.00000000000000288658e+00,1.00000000000000510703e+00,-9.34178183081342029408e-16,-7.24264068711930786293e+00>
		2, { 96,97,160,161 }
		1, { 96,104 }
		2, { 96,104,128,136 }
		1, { 96,128 }
		2, { 96,128,160,176,208,224 }
		1, { 96,160 }
		1, { 97,105 }
		2, { 97,105,129,137 }
		1, { 97,129 }
		2, { 97,129,161,177,209,225 }
		1, { 97,161 }
		1, { 98,99 }
		2, { 98,99,130,131 }
		3, { 98,99,130,131,162,163,178,179,210,211,226,227 }, <1,9.99999999999997002398e-01,-1.00000000000000044409e+00,3.34688183133318442618e-16,-7.24264068711928299393e+00>
		2, { 98,99,162,163 }
		1, { 98,106 }
		2, { 98,106,130,138 }
		1, { 98,130 }
		2, { 98,130,162,178,210,226 }
		1, { 98,162 }
		1, { 99,107 }
		2, { 99,107,131,139 }
		1, { 99,131 }
		2, { 99,131,163,179,211,227 }
		1, { 99,163 }
		1, { 100,101 }
		2, { 100,101,132,133 }
		3, { 100,101,132,133,164,165,180,181,212,213,228,229 }, <1,-1.00000000000000133227e+00,1.00000000000000133227e+00,-1.16411290011064579588e-15,-7.24264068711929276390e+00>
		2, { 100,101,164,165 }
		1, { 100,108 }
		2, { 100,108,132,140 }
		1, { 100,132 }
		2, { 100,132,164,180,212,228 }
		1, { 100,164 }
		1, { 101,109 }
		2, { 101,109,133,141 }
		1, { 101,133 }
		2, { 101,133,165,181,213,229 }
		1, { 101,165 }
		1, { 102,103 }
		2, { 102,103,134,135 }
		3, { 102,103,134,135,166,167,182,183,214,215,230,231 }, <1,-1.00000000000000266454e+00,-1.00000000000000244249e+00,-8.31045992723098636536e-16,-7.24264068711929898114e+00>
		2, { 102,103,166,167 }
		1, { 102,110 }
		2, { 102,110,134,142 }
		1, { 102,134 }
		2, { 102,134,166,182,214,230 }
		1, { 102,166 }
		1, { 103,111 }
		2, { 103,111,135,143 }
		1, { 103,135 }
		2, { 103,135,167,183,215,231 }
		1, { 103,167 }
		1, { 104,105 }
		2, { 104,105,136,137 }
		3, { 104,105,136,137,168,169,184,185,216,217,232,233 }, <-1,9.99999999999998445688e-01,1.00000000000000044409e+00,-8.94335311556140459450e-16,-7.24264068711928654665e+00>
		2, { 104,105,168,169 }
		1, { 104,136 }
		2, { 104,136,168,184,216,232 }
		1, { 104,168 }
		1, { 105,137 }
		2, { 105,137,169,185,217,233 }
		1, { 105,169 }
		1, { 106,107 }
		2, { 106,107,138,139 }
		3, { 106,107,138,139,170,171,186,187,218,219,234,235 }, <-1,9.99999999999998445688e-01,-1.00000000000000222045e+00,3.74531054658516758524e-16,-7.24264068711929187572e+00>
		2, { 106,107,170,171 }
		1, { 106,138 }
		2, { 106,138,170,186,218,234 }
		1, { 106,170 }
		1, { 107,139 }
		2, { 107,139,171,187,219,235 }
		1, { 107,171 }
		1, { 108,109 }
		2, { 108,109,140,141 }
		3, { 108,109,140,141,172,173,188,189,220,221,236,237 }, <-1,-1.00000000000000022204e+00,9.99999999999999555911e-01,-1.12427002858544619807e-15,-7.24264068711928654665e+00>
		2, { 108,109,172,173 }
		1, { 108,140 }
		2, { 108,140,172,188,220,236 }
		1, { 108,172 }
		1, { 109,141 }
		2, { 109,141,173,189,221,237 }
		1, { 109,173 }
		1, { 110,111 }
		2, { 110,111,142,143 }
		3, { 110,111,142,143,174,175,190,191,222,223,238,239 }, <-1,-1.00000000000000022204e+00,-1,-7.91203121197898940123e-16,-7.24264068711928743483e+00>
		2, { 110,111,174,175 }
		1, { 110,142 }
		2, { 110,142,174,190,222,238 }
		1, { 110,174 }
		1, { 111,143 }
		2, { 111,143,175,191,223,239 }
		1, { 111,175 }
		1, { 112,114 }
		2, { 112,114,176,178 }
		1, { 112,120 }
		2, { 112,120,128,136 }
		1, { 112,128 }
		2, { 112,128,176 }
		1, { 112,176 }
		1, { 113,115 }
		2, { 113,115,177,179 }
		1, { 113,121 }
		2, { 113,121,129,137 }
		1, { 113,129 }
		2, { 113,129,177 }
		1, { 113,177 }
		1, { 114,122 }
		2, { 114,122,130,138 }
		1, { 114,130 }
		2, { 114,130,178 }
		1, { 114,178 }
		1, { 115,123 }
		2, { 115,123,131,139 }
		1, { 115,131 }
		2, { 115,131,179 }
		1, { 115,179 }
		1, { 116,118 }
		2, { 116,118,180,182 }
		1, { 116,124 }
		2, { 116,124,132,140 }
		1, { 116,132 }
		2, { 116,132,180 }
		1, { 116,180 }
		1, { 117,119 }
		2, { 117,119,181,183 }
		1, { 117,125 }
		2, { 117,125,133,141 }
		1, { 117,133 }
		2, { 117,133,181 }
		1, { 117,181 }
		1, { 118,126 }
		2, { 118,126,134,142 }
		1, { 118,134 }
		2, { 118,134,182 }
		1, { 118,182 }
		1, { 119,127 }
		2, { 119,127,135,143 }
		1, { 119,135 }
		2, { 119,135,183 }
		1, { 119,183 }
		1, { 120,122 }
		2, { 120,122,184,186 }
		1, { 120,136 }
		2, { 120,136,184 }
		1, { 120,184 }
		1, { 121,123 }
		2, { 121,123,185,187 }
		1, { 121,137 }
		2, { 121,137,185 }
		1, { 121,185 }
		1, { 122,138 }
		2, { 122,138,186 }
		1, { 122,186 }
		1, { 123,139 }
		2, { 123,139,187 }
		1, { 123,187 }
		1, { 124,126 }
		2, { 124,126,188,190 }
		1, { 124,140 }
		2, { 124,140,188 }
		1, { 124,188 }
		1, { 125,127 }
		2, { 125,127,189,191 }
		1, { 125,141 }
		2, { 125,141,189 }
		1, { 125,189 }
		1, { 126,142 }
		2, { 126,142,190 }
		1, { 126,190 }
		1, { 127,143 }
		2, { 127,143,191 }
		1, { 127,191 }
		1, { 128,129 }
		2, { 128,129,176,177 }
		1, { 128,136 }
		1, { 128,176 }
		1, { 129,137 }
		1, { 129,177 }
		1, { 130,131 }
		2, { 130,131,178,179 }
		1, { 130,138 }
		1, { 130,178 }
		1, { 131,139 }
		1, { 131,179 }
		1, { 132,133 }
		2, { 132,133,180,181 }
		1, { 132,140 }
		1, { 132,180 }
		1, { 133,141 }
		1, { 133,181 }
		1, { 134,135 }
		2, { 134,135,182,183 }
		1, { 134,142 }
		1, { 134,182 }
		1, { 135,143 }
		1, { 135,183 }
		1, { 136,137 }
		2, { 136,137,184,185 }
		1, { 136,184 }
		1, { 137,185 }
		1, { 138,139 }
		2, { 138,139,186,187 }
		1, { 138,186 }
		1, { 139,187 }
		1, { 140,141 }
		2, { 140,141,188,189 }
		1, { 140,188 }
		1, { 141,189 }
		1, { 142,143 }
		2, { 142,143,190,191 }
		1, { 142,190 }
		1, { 143,191 }
		1, { 144,146 }
		2, { 144,146,192,194 }
		1, { 144,148 }
		2, { 144,148,192,196 }
		1, { 144,192 }
		1, { 145,147 }
		2, { 145,147,193,195 }
		1, { 145,149 }
		2, { 145,149,193,197 }
		1, { 145,193 }
		1, { 146,150 }
		2, { 146,150,194,198 }
		1, { 146,194 }
		1, { 147,151 }
		2, { 147,151,195,199 }
		1, { 147,195 }
		1, { 148,150 }
		2, { 148,150,196,198 }
		1, { 148,196 }
		1, { 149,151 }
		2, { 149,151,197,199 }
		1, { 149,197 }
		1, { 150,198 }
		1, { 151,199 }
		1, { 152,154 }
		2, { 152,154,200,202 }
		1, { 152,156 }
		2, { 152,156,200,204 }
		1, { 152,200 }
		1, { 153,155 }
		2, { 153,155,201,203 }
		1, { 153,157 }
		2, { 153,157,201,205 }
		1, { 153,201 }
		1, { 154,158 }
		2, { 154,158,202,206 }
		1, { 154,202 }
		1, { 155,159 }
		2, { 155,159,203,207 }
		1, { 155,203 }
		1, { 156,158 }
		2, { 156,158,204,206 }
		1, { 156,204 }
		1, { 157,159 }
		2, { 157,159,205,207 }
		1, { 157,205 }
		1, { 158,206 }
		1, { 159,207 }
		1, { 160,161 }
		2, { 160,161,208,209 }
		1, { 160,164 }
		2, { 160,164,208,212 }
		1, { 160,208 }
		1, { 161,165 }
		2, { 161,165,209,213 }
		1, { 161,209 }
		1, { 162,163 }
		2, { 162,163,210,211 }
		1, { 162,166 }
		2, { 162,166,210,214 }
		1, { 162,210 }
		1, { 163,167 }
		2, { 163,167,211,215 }
		1, { 163,211 }
		1, { 164,165 }
		2, { 164,165,212,213 }
		1, { 164,212 }
		1, { 165,213 }
		1, { 166,167 }
		2, { 166,167,214,215 }
		1, { 166,214 }
		1, { 167,215 }
		1, { 168,169 }
		2, { 168,169,216,217 }
		1, { 168,172 }
		2, { 168,172,216,220 }
		1, { 168,216 }
		1, { 169,173 }
		2, { 169,173,217,221 }
		1, { 169,217 }
		1, { 170,171 }
		2, { 170,171,218,219 }
		1, { 170,174 }
		2, { 170,174,218,222 }
		1, { 170,218 }
		1, { 171,175 }
		2, { 171,175,219,223 }
		1, { 171,219 }
		1, { 172,173 }
		2, { 172,173,220,221 }
		1, { 172,220 }
		1, { 173,221 }
		1, { 174,175 }
		2, { 174,175,222,223 }
		1, { 174,222 }
		1, { 175,223 }
		1, { 176,177 }
		2, { 176,177,224,225 }
		1, { 176,178 }
		2, { 176,178,224,226 }
		1, { 176,224 }
		1, { 177,179 }
		2, { 177,179,225,227 }
		1, { 177,225 }
		1, { 178,179 }
		2, { 178,179,226,227 }
		1, { 178,226 }
		1, { 179,227 }
		1, { 180,181 }
		2, { 180,181,228,229 }
		1, { 180,182 }
		2, { 180,182,228,230 }
		1, { 180,228 }
		1, { 181,183 }
		2, { 181,183,229,231 }
		1, { 181,229 }
		1, { 182,183 }
		2, { 182,183,230,231 }
		1, { 182,230 }
		1, { 183,231 }
		1, { 184,185 }
		2, { 184,185,232,233 }
		1, { 184,186 }
		2, { 184,186,232,234 }
		1, { 184,232 }
		1, { 185,187 }
		2, { 185,187,233,235 }
		1, { 185,233 }
		1, { 186,187 }
		2, { 186,187,234,235 }
		1, { 186,234 }
		1, { 187,235 }
		1, { 188,189 }
		2, { 188,189,236,237 }
		1, { 188,190 }
		2, { 188,190,236,238 }
		1, { 188,236 }
		1, { 189,191 }
		2, { 189,191,237,239 }
		1, { 189,237 }
		1, { 190,191 }
		2, { 190,191,238,239 }
		1, { 190,238 }
		1, { 191,239 }
		1, { 192,194 }
		2, { 192,194,224,226 }
		1, { 192,196 }
		2, { 192,196,208,212 }
		1, { 192,208 }
		2, { 192,208,224 }
		1, { 192,224 }
		1, { 193,195 }
		2, { 193,195,225,227 }
		1, { 193,197 }
		2, { 193,197,209,213 }
		1, { 193,209 }
		2, { 193,209,225 }
		1, { 193,225 }
		1, { 194,198 }
		2, { 194,198,210,214 }
		1, { 194,210 }
		2, { 194,210,226 }
		1, { 194,226 }
		1, { 195,199 }
		2, { 195,199,211,215 }
		1, { 195,211 }
		2, { 195,211,227 }
		1, { 195,227 }
		1, { 196,198 }
		2, { 196,198,228,230 }
		1, { 196,212 }
		2, { 196,212,228 }
		1, { 196,228 }
		1, { 197,199 }
		2, { 197,199,229,231 }
		1, { 197,213 }
		2, { 197,213,229 }
		1, { 197,229 }
		1, { 198,214 }
		2, { 198,214,230 }
		1, { 198,230 }
		1, { 199,215 }
		2, { 199,215,231 }
		1, { 199,231 }
		1, { 200,202 }
		2, { 200,202,232,234 }
		1, { 200,204 }
		2, { 200,204,216,220 }
		1, { 200,216 }
		2, { 200,216,232 }
		1, { 200,232 }
		1, { 201,203 }
		2, { 201,203,233,235 }
		1, { 201,205 }
		2, { 201,205,217,221 }
		1, { 201,217 }
		2, { 201,217,233 }
		1, { 201,233 }
		1, { 202,206 }
		2, { 202,206,218,222 }
		1, { 202,218 }
		2, { 202,218,234 }
		1, { 202,234 }
		1, { 203,207 }
		2, { 203,207,219,223 }
		1, { 203,219 }
		2, { 203,219,235 }
		1, { 203,235 }
		1, { 204,206 }
		2, { 204,206,236,238 }
		1, { 204,220 }
		2, { 204,220,236 }
		1, { 204,236 }
		1, { 205,207 }
		2, { 205,207,237,239 }
		1, { 205,221 }
		2, { 205,221,237 }
		1, { 205,237 }
		1, { 206,222 }
		2, { 206,222,238 }
		1, { 206,238 }
		1, { 207,223 }
		2, { 207,223,239 }
		1, { 207,239 }
		1, { 208,209 }
		2, { 208,209,224,225 }
		1, { 208,212 }
		1, { 208,224 }
		1, { 209,213 }
		1, { 209,225 }
		1, { 210,211 }
		2, { 210,211,226,227 }
		1, { 210,214 }
		1, { 210,226 }
		1, { 211,215 }
		1, { 211,227 }
		1, { 212,213 }
		2, { 212,213,228,229 }
		1, { 212,228 }
		1, { 213,229 }
		1, { 214,215 }
		2, { 214,215,230,231 }
		1, { 214,230 }
		1, { 215,231 }
		1, { 216,217 }
		2, { 216,217,232,233 }
		1, { 216,220 }
		1, { 216,232 }
		1, { 217,221 }
		1, { 217,233 }
		1, { 218,219 }
		2, { 218,219,234,235 }
		1, { 218,222 }
		1, { 218,234 }
		1, { 219,223 }
		1, { 219,235 }
		1, { 220,221 }
		2, { 220,221,236,237 }
		1, { 220,236 }
		1, { 221,237 }
		1, { 222,223 }
		2, { 222,223,238,239 }
		1, { 222,238 }
		1, { 223,239 }
		1, { 224,225 }
		1, { 224,226 }
		1, { 225,227 }
		1, { 226,227 }
		1, { 228,229 }
		1, { 228,230 }
		1, { 229,231 }
		1, { 230,231 }
		1, { 232,233 }
		1, { 232,234 }
		1, { 233,235 }
		1, { 234,235 }
		1, { 236,237 }
		1, { 236,238 }
		1, { 237,239 }
		1, { 238,239 }
	}
}