# Automatically generated by makepoly.
polytope octaaug_C1100 {
	dimension 4
	vertices {
		<-3.41421356237309492343e+00, -1.41421356237309514547e+00, -1.41421356237309514547e+00, 0>
		<-3.41421356237309492343e+00, -1.41421356237309514547e+00, 0, -1.41421356237309514547e+00>
		<-3.41421356237309492343e+00, -1.41421356237309514547e+00, 0, 1.41421356237309514547e+00>
		<-3.41421356237309492343e+00, -1.41421356237309514547e+00, 1.41421356237309514547e+00, 0>
		<-3.41421356237309492343e+00, 0, -1.41421356237309514547e+00, -1.41421356237309514547e+00>
		<-3.41421356237309492343e+00, 0, -1.41421356237309514547e+00, 1.41421356237309514547e+00>
		<-3.41421356237309492343e+00, 0, 1.41421356237309514547e+00, -1.41421356237309514547e+00>
		<-3.41421356237309492343e+00, 0, 1.41421356237309514547e+00, 1.41421356237309514547e+00>
		<-3.41421356237309492343e+00, 1.41421356237309514547e+00, -1.41421356237309514547e+00, 0>
		<-3.41421356237309492343e+00, 1.41421356237309514547e+00, 0, -1.41421356237309514547e+00>
		<-3.41421356237309492343e+00, 1.41421356237309514547e+00, 0, 1.41421356237309514547e+00>
		<-3.41421356237309492343e+00, 1.41421356237309514547e+00, 1.41421356237309514547e+00, 0>
		<-2.41421356237309492343e+00, -2.41421356237309492343e+00, -2.41421356237309492343e+00, -1>
		<-2.41421356237309492343e+00, -2.41421356237309492343e+00, -2.41421356237309492343e+00, 1>
		<-2.41421356237309492343e+00, -2.41421356237309492343e+00, -1, -2.41421356237309492343e+00>
		<-2.41421356237309492343e+00, -2.41421356237309492343e+00, -1, 2.41421356237309492343e+00>
		<-2.41421356237309492343e+00, -2.41421356237309492343e+00, 1, -2.41421356237309492343e+00>
		<-2.41421356237309492343e+00, -2.41421356237309492343e+00, 1, 2.41421356237309492343e+00>
		<-2.41421356237309492343e+00, -2.41421356237309492343e+00, 2.41421356237309492343e+00, -1>
		<-2.41421356237309492343e+00, -2.41421356237309492343e+00, 2.41421356237309492343e+00, 1>
		<-2.41421356237309492343e+00, -1, -2.41421356237309492343e+00, -2.41421356237309492343e+00>
		<-2.41421356237309492343e+00, -1, -2.41421356237309492343e+00, 2.41421356237309492343e+00>
		<-2.41421356237309492343e+00, -1, 2.41421356237309492343e+00, -2.41421356237309492343e+00>
		<-2.41421356237309492343e+00, -1, 2.41421356237309492343e+00, 2.41421356237309492343e+00>
		<-2.41421356237309492343e+00, 1, -2.41421356237309492343e+00, -2.41421356237309492343e+00>
		<-2.41421356237309492343e+00, 1, -2.41421356237309492343e+00, 2.41421356237309492343e+00>
		<-2.41421356237309492343e+00, 1, 2.41421356237309492343e+00, -2.41421356237309492343e+00>
		<-2.41421356237309492343e+00, 1, 2.41421356237309492343e+00, 2.41421356237309492343e+00>
		<-2.41421356237309492343e+00, 2.41421356237309492343e+00, -2.41421356237309492343e+00, -1>
		<-2.41421356237309492343e+00, 2.41421356237309492343e+00, -2.41421356237309492343e+00, 1>
		<-2.41421356237309492343e+00, 2.41421356237309492343e+00, -1, -2.41421356237309492343e+00>
		<-2.41421356237309492343e+00, 2.41421356237309492343e+00, -1, 2.41421356237309492343e+00>
		<-2.41421356237309492343e+00, 2.41421356237309492343e+00, 1, -2.41421356237309492343e+00>
		<-2.41421356237309492343e+00, 2.41421356237309492343e+00, 1, 2.41421356237309492343e+00>
		<-2.41421356237309492343e+00, 2.41421356237309492343e+00, 2.41421356237309492343e+00, -1>
		<-2.41421356237309492343e+00, 2.41421356237309492343e+00, 2.41421356237309492343e+00, 1>
		<-1.41421356237309514547e+00, -3.41421356237309492343e+00, -1.41421356237309514547e+00, 0>
		<-1.41421356237309514547e+00, -3.41421356237309492343e+00, 0, -1.41421356237309514547e+00>
		<-1.41421356237309514547e+00, -3.41421356237309492343e+00, 0, 1.41421356237309514547e+00>
		<-1.41421356237309514547e+00, -3.41421356237309492343e+00, 1.41421356237309514547e+00, 0>
		<-1.41421356237309514547e+00, -1.41421356237309514547e+00, -3.41421356237309492343e+00, 0>
		<-1.41421356237309514547e+00, -1.41421356237309514547e+00, 0, -3.41421356237309492343e+00>
		<-1.41421356237309514547e+00, -1.41421356237309514547e+00, 0, 3.41421356237309492343e+00>
		<-1.41421356237309514547e+00, -1.41421356237309514547e+00, 3.41421356237309492343e+00, 0>
		<-1.41421356237309514547e+00, 0, -3.41421356237309492343e+00, -1.41421356237309514547e+00>
		<-1.41421356237309514547e+00, 0, -3.41421356237309492343e+00, 1.41421356237309514547e+00>
		<-1.41421356237309514547e+00, 0, -1.41421356237309514547e+00, -3.41421356237309492343e+00>
		<-1.41421356237309514547e+00, 0, -1.41421356237309514547e+00, 3.41421356237309492343e+00>
		<-1.41421356237309514547e+00, 0, 1.41421356237309514547e+00, -3.41421356237309492343e+00>
		<-1.41421356237309514547e+00, 0, 1.41421356237309514547e+00, 3.41421356237309492343e+00>
		<-1.41421356237309514547e+00, 0, 3.41421356237309492343e+00, -1.41421356237309514547e+00>
		<-1.41421356237309514547e+00, 0, 3.41421356237309492343e+00, 1.41421356237309514547e+00>
		<-1.41421356237309514547e+00, 1.41421356237309514547e+00, -3.41421356237309492343e+00, 0>
		<-1.41421356237309514547e+00, 1.41421356237309514547e+00, 0, -3.41421356237309492343e+00>
		<-1.41421356237309514547e+00, 1.41421356237309514547e+00, 0, 3.41421356237309492343e+00>
		<-1.41421356237309514547e+00, 1.41421356237309514547e+00, 3.41421356237309492343e+00, 0>
		<-1.41421356237309514547e+00, 3.41421356237309492343e+00, -1.41421356237309514547e+00, 0>
		<-1.41421356237309514547e+00, 3.41421356237309492343e+00, 0, -1.41421356237309514547e+00>
		<-1.41421356237309514547e+00, 3.41421356237309492343e+00, 0, 1.41421356237309514547e+00>
		<-1.41421356237309514547e+00, 3.41421356237309492343e+00, 1.41421356237309514547e+00, 0>
		<-1, -2.41421356237309492343e+00, -2.41421356237309492343e+00, -2.41421356237309492343e+00>
		<-1, -2.41421356237309492343e+00, -2.41421356237309492343e+00, 2.41421356237309492343e+00>
		<-1, -2.41421356237309492343e+00, 2.41421356237309492343e+00, -2.41421356237309492343e+00>
		<-1, -2.41421356237309492343e+00, 2.41421356237309492343e+00, 2.41421356237309492343e+00>
		<-1, 2.41421356237309492343e+00, -2.41421356237309492343e+00, -2.41421356237309492343e+00>
		<-1, 2.41421356237309492343e+00, -2.41421356237309492343e+00, 2.41421356237309492343e+00>
		<-1, 2.41421356237309492343e+00, 2.41421356237309492343e+00, -2.41421356237309492343e+00>
		<-1, 2.41421356237309492343e+00, 2.41421356237309492343e+00, 2.41421356237309492343e+00>
		<0, -3.41421356237309492343e+00, -1.41421356237309514547e+00, -1.41421356237309514547e+00>
		<0, -3.41421356237309492343e+00, -1.41421356237309514547e+00, 1.41421356237309514547e+00>
		<0, -3.41421356237309492343e+00, 1.41421356237309514547e+00, -1.41421356237309514547e+00>
		<0, -3.41421356237309492343e+00, 1.41421356237309514547e+00, 1.41421356237309514547e+00>
		<0, -1.41421356237309514547e+00, -3.41421356237309492343e+00, -1.41421356237309514547e+00>
		<0, -1.41421356237309514547e+00, -3.41421356237309492343e+00, 1.41421356237309514547e+00>
		<0, -1.41421356237309514547e+00, -1.41421356237309514547e+00, -3.41421356237309492343e+00>
		<0, -1.41421356237309514547e+00, -1.41421356237309514547e+00, 3.41421356237309492343e+00>
		<0, -1.41421356237309514547e+00, 1.41421356237309514547e+00, -3.41421356237309492343e+00>
		<0, -1.41421356237309514547e+00, 1.41421356237309514547e+00, 3.41421356237309492343e+00>
		<0, -1.41421356237309514547e+00, 3.41421356237309492343e+00, -1.41421356237309514547e+00>
		<0, -1.41421356237309514547e+00, 3.41421356237309492343e+00, 1.41421356237309514547e+00>
		<0, 1.41421356237309514547e+00, -3.41421356237309492343e+00, -1.41421356237309514547e+00>
		<0, 1.41421356237309514547e+00, -3.41421356237309492343e+00, 1.41421356237309514547e+00>
		<0, 1.41421356237309514547e+00, -1.41421356237309514547e+00, -3.41421356237309492343e+00>
		<0, 1.41421356237309514547e+00, -1.41421356237309514547e+00, 3.41421356237309492343e+00>
		<0, 1.41421356237309514547e+00, 1.41421356237309514547e+00, -3.41421356237309492343e+00>
		<0, 1.41421356237309514547e+00, 1.41421356237309514547e+00, 3.41421356237309492343e+00>
		<0, 1.41421356237309514547e+00, 3.41421356237309492343e+00, -1.41421356237309514547e+00>
		<0, 1.41421356237309514547e+00, 3.41421356237309492343e+00, 1.41421356237309514547e+00>
		<0, 3.41421356237309492343e+00, -1.41421356237309514547e+00, -1.41421356237309514547e+00>
		<0, 3.41421356237309492343e+00, -1.41421356237309514547e+00, 1.41421356237309514547e+00>
		<0, 3.41421356237309492343e+00, 1.41421356237309514547e+00, -1.41421356237309514547e+00>
		<0, 3.41421356237309492343e+00, 1.41421356237309514547e+00, 1.41421356237309514547e+00>
		<1, -2.41421356237309492343e+00, -2.41421356237309492343e+00, -2.41421356237309492343e+00>
		<1, -2.41421356237309492343e+00, -2.41421356237309492343e+00, 2.41421356237309492343e+00>
		<1, -2.41421356237309492343e+00, 2.41421356237309492343e+00, -2.41421356237309492343e+00>
		<1, -2.41421356237309492343e+00, 2.41421356237309492343e+00, 2.41421356237309492343e+00>
		<1, 2.41421356237309492343e+00, -2.41421356237309492343e+00, -2.41421356237309492343e+00>
		<1, 2.41421356237309492343e+00, -2.41421356237309492343e+00, 2.41421356237309492343e+00>
		<1, 2.41421356237309492343e+00, 2.41421356237309492343e+00, -2.41421356237309492343e+00>
		<1, 2.41421356237309492343e+00, 2.41421356237309492343e+00, 2.41421356237309492343e+00>
		<1.41421356237309514547e+00, -3.41421356237309492343e+00, -1.41421356237309514547e+00, 0>
		<1.41421356237309514547e+00, -3.41421356237309492343e+00, 0, -1.41421356237309514547e+00>
		<1.41421356237309514547e+00, -3.41421356237309492343e+00, 0, 1.41421356237309514547e+00>
		<1.41421356237309514547e+00, -3.41421356237309492343e+00, 1.41421356237309514547e+00, 0>
		<1.41421356237309514547e+00, -1.41421356237309514547e+00, -3.41421356237309492343e+00, 0>
		<1.41421356237309514547e+00, -1.41421356237309514547e+00, 0, -3.41421356237309492343e+00>
		<1.41421356237309514547e+00, -1.41421356237309514547e+00, 0, 3.41421356237309492343e+00>
		<1.41421356237309514547e+00, -1.41421356237309514547e+00, 3.41421356237309492343e+00, 0>
		<1.41421356237309514547e+00, 0, -3.41421356237309492343e+00, -1.41421356237309514547e+00>
		<1.41421356237309514547e+00, 0, -3.41421356237309492343e+00, 1.41421356237309514547e+00>
		<1.41421356237309514547e+00, 0, -1.41421356237309514547e+00, -3.41421356237309492343e+00>
		<1.41421356237309514547e+00, 0, -1.41421356237309514547e+00, 3.41421356237309492343e+00>
		<1.41421356237309514547e+00, 0, 1.41421356237309514547e+00, -3.41421356237309492343e+00>
		<1.41421356237309514547e+00, 0, 1.41421356237309514547e+00, 3.41421356237309492343e+00>
		<1.41421356237309514547e+00, 0, 3.41421356237309492343e+00, -1.41421356237309514547e+00>
		<1.41421356237309514547e+00, 0, 3.41421356237309492343e+00, 1.41421356237309514547e+00>
		<1.41421356237309514547e+00, 1.41421356237309514547e+00, -3.41421356237309492343e+00, 0>
		<1.41421356237309514547e+00, 1.41421356237309514547e+00, 0, -3.41421356237309492343e+00>
		<1.41421356237309514547e+00, 1.41421356237309514547e+00, 0, 3.41421356237309492343e+00>
		<1.41421356237309514547e+00, 1.41421356237309514547e+00, 3.41421356237309492343e+00, 0>
		<1.41421356237309514547e+00, 3.41421356237309492343e+00, -1.41421356237309514547e+00, 0>
		<1.41421356237309514547e+00, 3.41421356237309492343e+00, 0, -1.41421356237309514547e+00>
		<1.41421356237309514547e+00, 3.41421356237309492343e+00, 0, 1.41421356237309514547e+00>
		<1.41421356237309514547e+00, 3.41421356237309492343e+00, 1.41421356237309514547e+00, 0>
		<2.41421356237309492343e+00, -2.41421356237309492343e+00, -2.41421356237309492343e+00, -1>
		<2.41421356237309492343e+00, -2.41421356237309492343e+00, -2.41421356237309492343e+00, 1>
		<2.41421356237309492343e+00, -2.41421356237309492343e+00, -1, -2.41421356237309492343e+00>
		<2.41421356237309492343e+00, -2.41421356237309492343e+00, -1, 2.41421356237309492343e+00>
		<2.41421356237309492343e+00, -2.41421356237309492343e+00, 1, -2.41421356237309492343e+00>
		<2.41421356237309492343e+00, -2.41421356237309492343e+00, 1, 2.41421356237309492343e+00>
		<2.41421356237309492343e+00, -2.41421356237309492343e+00, 2.41421356237309492343e+00, -1>
		<2.41421356237309492343e+00, -2.41421356237309492343e+00, 2.41421356237309492343e+00, 1>
		<2.41421356237309492343e+00, -1, -2.41421356237309492343e+00, -2.41421356237309492343e+00>
		<2.41421356237309492343e+00, -1, -2.41421356237309492343e+00, 2.41421356237309492343e+00>
		<2.41421356237309492343e+00, -1, 2.41421356237309492343e+00, -2.41421356237309492343e+00>
		<2.41421356237309492343e+00, -1, 2.41421356237309492343e+00, 2.41421356237309492343e+00>
		<2.41421356237309492343e+00, 1, -2.41421356237309492343e+00, -2.41421356237309492343e+00>
		<2.41421356237309492343e+00, 1, -2.41421356237309492343e+00, 2.41421356237309492343e+00>
		<2.41421356237309492343e+00, 1, 2.41421356237309492343e+00, -2.41421356237309492343e+00>
		<2.41421356237309492343e+00, 1, 2.41421356237309492343e+00, 2.41421356237309492343e+00>
		<2.41421356237309492343e+00, 2.41421356237309492343e+00, -2.41421356237309492343e+00, -1>
		<2.41421356237309492343e+00, 2.41421356237309492343e+00, -2.41421356237309492343e+00, 1>
		<2.41421356237309492343e+00, 2.41421356237309492343e+00, -1, -2.41421356237309492343e+00>
		<2.41421356237309492343e+00, 2.41421356237309492343e+00, -1, 2.41421356237309492343e+00>
		<2.41421356237309492343e+00, 2.41421356237309492343e+00, 1, -2.41421356237309492343e+00>
		<2.41421356237309492343e+00, 2.41421356237309492343e+00, 1, 2.41421356237309492343e+00>
		<2.41421356237309492343e+00, 2.41421356237309492343e+00, 2.41421356237309492343e+00, -1>
		<2.41421356237309492343e+00, 2.41421356237309492343e+00, 2.41421356237309492343e+00, 1>
		<3.41421356237309492343e+00, -1.41421356237309514547e+00, -1.41421356237309514547e+00, 0>
		<3.41421356237309492343e+00, -1.41421356237309514547e+00, 0, -1.41421356237309514547e+00>
		<3.41421356237309492343e+00, -1.41421356237309514547e+00, 0, 1.41421356237309514547e+00>
		<3.41421356237309492343e+00, -1.41421356237309514547e+00, 1.41421356237309514547e+00, 0>
		<3.41421356237309492343e+00, 0, -1.41421356237309514547e+00, -1.41421356237309514547e+00>
		<3.41421356237309492343e+00, 0, -1.41421356237309514547e+00, 1.41421356237309514547e+00>
		<3.41421356237309492343e+00, 0, 1.41421356237309514547e+00, -1.41421356237309514547e+00>
		<3.41421356237309492343e+00, 0, 1.41421356237309514547e+00, 1.41421356237309514547e+00>
		<3.41421356237309492343e+00, 1.41421356237309514547e+00, -1.41421356237309514547e+00, 0>
		<3.41421356237309492343e+00, 1.41421356237309514547e+00, 0, -1.41421356237309514547e+00>
		<3.41421356237309492343e+00, 1.41421356237309514547e+00, 0, 1.41421356237309514547e+00>
		<3.41421356237309492343e+00, 1.41421356237309514547e+00, 1.41421356237309514547e+00, 0>
	}
	lattice {
		1, { 0,1 }
		2, { 0,1,2,3 }
		3, { 0,1,2,3,4,5,6,7,8,9,10,11 }, <-1,-0,-0,-0,-3.41421356237309492343e+00>
		3, { 0,1,2,3,12,13,14,15,16,17,18,19,36,37,38,39 }, <-1,-1.00000000000000022204e+00,-0,-0,-4.82842712474619073504e+00>
		2, { 0,1,4 }
		3, { 0,1,4,12,14,20 }, <-2.99999999999999955591e+00,-1,-1,-1,-1.30710678118654737290e+01>
		2, { 0,1,12,14 }
		1, { 0,2 }
		2, { 0,2,5 }
		3, { 0,2,5,13,15,21 }, <-3,-1,-1.00000000000000044409e+00,1.00000000000000044409e+00,-1.30710678118654755053e+01>
		2, { 0,2,13,15 }
		1, { 0,4 }
		2, { 0,4,5,8 }
		3, { 0,4,5,8,12,13,20,21,24,25,28,29,40,44,45,52 }, <-1,-1.57009245868377467368e-16,-9.99999999999999888978e-01,-1.57009245868377467368e-16,-4.82842712474618984686e+00>
		2, { 0,4,12,20 }
		1, { 0,5 }
		2, { 0,5,13,21 }
		1, { 0,12 }
		2, { 0,12,13 }
		1, { 0,13 }
		1, { 1,3 }
		2, { 1,3,6 }
		3, { 1,3,6,16,18,22 }, <-2.99999999999999866773e+00,-1,1.00000000000000177636e+00,-1.00000000000000066613e+00,-1.30710678118654755053e+01>
		2, { 1,3,16,18 }
		1, { 1,4 }
		2, { 1,4,6,9 }
		3, { 1,4,6,9,14,16,20,22,24,26,30,32,41,46,48,53 }, <-1,2.35513868802566829676e-16,2.35513868802566829676e-16,-1.00000000000000133227e+00,-4.82842712474619251140e+00>
		2, { 1,4,14,20 }
		1, { 1,6 }
		2, { 1,6,16,22 }
		1, { 1,14 }
		2, { 1,14,16 }
		1, { 1,16 }
		1, { 2,3 }
		2, { 2,3,7 }
		3, { 2,3,7,17,19,23 }, <-3.00000000000000044409e+00,-1,1.00000000000000288658e+00,1.00000000000000155431e+00,-1.30710678118654826108e+01>
		2, { 2,3,17,19 }
		1, { 2,5 }
		2, { 2,5,7,10 }
		3, { 2,5,7,10,15,17,21,23,25,27,31,33,42,47,49,54 }, <-1,1.57009245868378438653e-15,-3.92523114670946096633e-16,1.00000000000000266454e+00,-4.82842712474619251140e+00>
		2, { 2,5,15,21 }
		1, { 2,7 }
		2, { 2,7,17,23 }
		1, { 2,15 }
		2, { 2,15,17 }
		1, { 2,17 }
		1, { 3,6 }
		2, { 3,6,7,11 }
		3, { 3,6,7,11,18,19,22,23,26,27,34,35,43,50,51,55 }, <-1,1.96261557335472836310e-15,1.00000000000000333067e+00,-7.06541606407702313269e-16,-4.82842712474619339957e+00>
		2, { 3,6,18,22 }
		1, { 3,7 }
		2, { 3,7,19,23 }
		1, { 3,18 }
		2, { 3,18,19 }
		1, { 3,19 }
		1, { 4,8 }
		2, { 4,8,9 }
		3, { 4,8,9,24,28,30 }, <-3.00000000000000310862e+00,1,-1.00000000000000066613e+00,-1.00000000000000044409e+00,-1.30710678118654843871e+01>
		2, { 4,8,24,28 }
		1, { 4,9 }
		2, { 4,9,24,30 }
		1, { 4,20 }
		2, { 4,20,24 }
		1, { 4,24 }
		1, { 5,8 }
		2, { 5,8,10 }
		3, { 5,8,10,25,29,31 }, <-3.00000000000000399680e+00,1,-1.00000000000000133227e+00,1.00000000000000288658e+00,-1.30710678118654950453e+01>
		2, { 5,8,25,29 }
		1, { 5,10 }
		2, { 5,10,25,31 }
		1, { 5,21 }
		2, { 5,21,25 }
		1, { 5,25 }
		1, { 6,9 }
		2, { 6,9,11 }
		3, { 6,9,11,26,32,34 }, <-3.00000000000000310862e+00,1,1.00000000000000177636e+00,-9.99999999999999111822e-01,-1.30710678118654843871e+01>
		2, { 6,9,26,32 }
		1, { 6,11 }
		2, { 6,11,26,34 }
		1, { 6,22 }
		2, { 6,22,26 }
		1, { 6,26 }
		1, { 7,10 }
		2, { 7,10,11 }
		3, { 7,10,11,27,33,35 }, <-2.99999999999999955591e+00,1,9.99999999999999777955e-01,9.99999999999998889777e-01,-1.30710678118654701763e+01>
		2, { 7,10,27,33 }
		1, { 7,11 }
		2, { 7,11,27,35 }
		1, { 7,23 }
		2, { 7,23,27 }
		1, { 7,27 }
		1, { 8,9 }
		2, { 8,9,10,11 }
		3, { 8,9,10,11,28,29,30,31,32,33,34,35,56,57,58,59 }, <-1,1.00000000000000355271e+00,1.02056009814446045275e-15,2.74766180269662410624e-16,-4.82842712474619606411e+00>
		2, { 8,9,28,30 }
		1, { 8,10 }
		2, { 8,10,29,31 }
		1, { 8,28 }
		2, { 8,28,29 }
		1, { 8,29 }
		1, { 9,11 }
		2, { 9,11,32,34 }
		1, { 9,30 }
		2, { 9,30,32 }
		1, { 9,32 }
		1, { 10,11 }
		2, { 10,11,33,35 }
		1, { 10,31 }
		2, { 10,31,33 }
		1, { 10,33 }
		1, { 11,34 }
		2, { 11,34,35 }
		1, { 11,35 }
		1, { 12,13 }
		2, { 12,13,36 }
		3, { 12,13,36,40,60,61,68,69,72,73,92,93,100,104,124,125 }, <3.77475828372555274782e-15,-1,-9.99999999999999777955e-01,3.72797834410257468815e-17,-4.82842712474618451779e+00>
		2, { 12,13,40 }
		1, { 12,14 }
		2, { 12,14,20 }
		3, { 12,14,20,60 }, <-1,-1.00000000000000044409e+00,-1.00000000000000199840e+00,-1.00000000000000244249e+00,-8.24264068711929631661e+00>
		2, { 12,14,36,37 }
		3, { 12,14,36,37,60,68 }, <-1,-3.00000000000001865175e+00,-1.00000000000000510703e+00,-1.00000000000000599520e+00,-1.30710678118655465596e+01>
		2, { 12,14,60 }
		1, { 12,20 }
		2, { 12,20,40,44 }
		3, { 12,20,40,44,60,72 }, <-1,-1.00000000000000111022e+00,-3.00000000000001865175e+00,-1.00000000000000510703e+00,-1.30710678118655359015e+01>
		2, { 12,20,60 }
		1, { 12,36 }
		2, { 12,36,60,68 }
		1, { 12,40 }
		2, { 12,40,60,72 }
		1, { 12,60 }
		1, { 13,15 }
		2, { 13,15,21 }
		3, { 13,15,21,61 }, <-1,-9.99999999999999555911e-01,-1.00000000000000133227e+00,1.00000000000000244249e+00,-8.24264068711929276390e+00>
		2, { 13,15,36,38 }
		3, { 13,15,36,38,61,69 }, <-1,-3.00000000000001509903e+00,-1.00000000000000355271e+00,1.00000000000000532907e+00,-1.30710678118655323487e+01>
		2, { 13,15,61 }
		1, { 13,21 }
		2, { 13,21,40,45 }
		3, { 13,21,40,45,61,73 }, <-1,-1.00000000000000022204e+00,-3.00000000000001776357e+00,1.00000000000000510703e+00,-1.30710678118655305724e+01>
		2, { 13,21,61 }
		1, { 13,36 }
		2, { 13,36,61,69 }
		1, { 13,40 }
		2, { 13,40,61,73 }
		1, { 13,61 }
		1, { 14,16 }
		2, { 14,16,37 }
		3, { 14,16,37,41,60,62,68,70,74,76,92,94,101,105,126,128 }, <2.88657986402542120460e-15,-1,9.57158834808920898230e-16,-9.99999999999999888978e-01,-4.82842712474618629415e+00>
		2, { 14,16,41 }
		1, { 14,20 }
		2, { 14,20,41,46 }
		3, { 14,20,41,46,60,74 }, <-1,-1.00000000000000155431e+00,-1.00000000000000466294e+00,-3.00000000000002486900e+00,-1.30710678118655501123e+01>
		2, { 14,20,60 }
		1, { 14,37 }
		2, { 14,37,60,68 }
		1, { 14,41 }
		2, { 14,41,60,74 }
		1, { 14,60 }
		1, { 15,17 }
		2, { 15,17,38 }
		3, { 15,17,38,42,61,63,69,71,75,77,93,95,102,106,127,129 }, <1.77635683940025953658e-15,-1,3.29121851335408760782e-16,1,-4.82842712474618807050e+00>
		2, { 15,17,42 }
		1, { 15,21 }
		2, { 15,21,42,47 }
		3, { 15,21,42,47,61,75 }, <-1,-9.99999999999995559108e-01,-1.00000000000000288658e+00,3.00000000000002309264e+00,-1.30710678118655252433e+01>
		2, { 15,21,61 }
		1, { 15,38 }
		2, { 15,38,61,69 }
		1, { 15,42 }
		2, { 15,42,61,75 }
		1, { 15,61 }
		1, { 16,18 }
		2, { 16,18,22 }
		3, { 16,18,22,62 }, <-1,-9.99999999999996891376e-01,1.00000000000000155431e+00,-9.99999999999999555911e-01,-8.24264068711928032940e+00>
		2, { 16,18,37,39 }
		3, { 16,18,37,39,62,70 }, <-1,-3.00000000000000799361e+00,1.00000000000000355271e+00,-1.00000000000000022204e+00,-1.30710678118655039270e+01>
		2, { 16,18,62 }
		1, { 16,22 }
		2, { 16,22,41,48 }
		3, { 16,22,41,48,62,76 }, <-1,-9.99999999999993671729e-01,1.00000000000000266454e+00,-3.00000000000001243450e+00,-1.30710678118654950453e+01>
		2, { 16,22,62 }
		1, { 16,37 }
		2, { 16,37,62,70 }
		1, { 16,41 }
		2, { 16,41,62,76 }
		1, { 16,62 }
		1, { 17,19 }
		2, { 17,19,23 }
		3, { 17,19,23,63 }, <-1,-9.99999999999995003996e-01,1.00000000000000088818e+00,9.99999999999998889777e-01,-8.24264068711927144761e+00>
		2, { 17,19,38,39 }
		3, { 17,19,38,39,63,71 }, <-1,-3.00000000000000177636e+00,1.00000000000000133227e+00,9.99999999999999111822e-01,-1.30710678118654790580e+01>
		2, { 17,19,63 }
		1, { 17,23 }
		2, { 17,23,42,49 }
		3, { 17,23,42,49,63,77 }, <-1,-9.99999999999990785149e-01,1.00000000000000177636e+00,3.00000000000001643130e+00,-1.30710678118654950453e+01>
		2, { 17,23,63 }
		1, { 17,38 }
		2, { 17,38,63,71 }
		1, { 17,42 }
		2, { 17,42,63,77 }
		1, { 17,63 }
		1, { 18,19 }
		2, { 18,19,39 }
		3, { 18,19,39,43,62,63,70,71,78,79,94,95,103,107,130,131 }, <5.55111512312580636795e-16,-1,1.00000000000000022204e+00,-5.12252577098296664644e-16,-4.82842712474618984686e+00>
		2, { 18,19,43 }
		1, { 18,22 }
		2, { 18,22,43,50 }
		3, { 18,22,43,50,62,78 }, <-1,-9.99999999999989008792e-01,3.00000000000001643130e+00,-9.99999999999999222844e-01,-1.30710678118654861635e+01>
		2, { 18,22,62 }
		1, { 18,39 }
		2, { 18,39,62,70 }
		1, { 18,43 }
		2, { 18,43,62,78 }
		1, { 18,62 }
		1, { 19,23 }
		2, { 19,23,43,51 }
		3, { 19,23,43,51,63,79 }, <-1,-9.99999999999991229238e-01,3.00000000000002176037e+00,1.00000000000000022204e+00,-1.30710678118655057034e+01>
		2, { 19,23,63 }
		1, { 19,39 }
		2, { 19,39,63,71 }
		1, { 19,43 }
		2, { 19,43,63,79 }
		1, { 19,63 }
		1, { 20,24 }
		2, { 20,24,44 }
		3, { 20,24,44,46,60,64,72,74,80,82,92,96,108,110,132,136 }, <-6.43817207682066520552e-16,2.29895067218449694578e-15,-1,-1.00000000000000044409e+00,-4.82842712474619162322e+00>
		2, { 20,24,46 }
		1, { 20,44 }
		2, { 20,44,60,72 }
		1, { 20,46 }
		2, { 20,46,60,74 }
		1, { 20,60 }
		1, { 21,25 }
		2, { 21,25,45 }
		3, { 21,25,45,47,61,65,73,75,81,83,93,97,109,111,133,137 }, <-6.89804151087920213541e-15,3.63352926206569995802e-15,-1,1,-4.82842712474620050500e+00>
		2, { 21,25,47 }
		1, { 21,45 }
		2, { 21,45,61,73 }
		1, { 21,47 }
		2, { 21,47,61,75 }
		1, { 21,61 }
		1, { 22,26 }
		2, { 22,26,48 }
		3, { 22,26,48,50,62,66,76,78,84,86,94,98,112,114,134,138 }, <-1.22785138893648298070e-14,4.41857549140757647267e-15,1,-1.00000000000000066613e+00,-4.82842712474620849861e+00>
		2, { 22,26,50 }
		1, { 22,48 }
		2, { 22,48,62,76 }
		1, { 22,50 }
		2, { 22,50,62,78 }
		1, { 22,62 }
		1, { 23,27 }
		2, { 23,27,49 }
		3, { 23,27,49,51,63,67,77,79,85,87,95,99,113,115,135,139 }, <-9.28936256798394474063e-15,5.75315408128879683985e-15,1,1.00000000000000111022e+00,-4.82842712474620494589e+00>
		2, { 23,27,51 }
		1, { 23,49 }
		2, { 23,49,63,77 }
		1, { 23,51 }
		2, { 23,51,63,79 }
		1, { 23,63 }
		1, { 24,28 }
		2, { 24,28,30 }
		3, { 24,28,30,64 }, <-1,9.99999999999998112621e-01,-9.99999999999995781153e-01,-9.99999999999996225242e-01,-8.24264068711926078947e+00>
		2, { 24,28,44,52 }
		3, { 24,28,44,52,64,80 }, <-1,9.99999999999996891376e-01,-2.99999999999998401279e+00,-9.99999999999993227640e-01,-1.30710678118654115565e+01>
		2, { 24,28,64 }
		1, { 24,30 }
		2, { 24,30,46,53 }
		3, { 24,30,46,53,64,82 }, <-1,9.99999999999996336264e-01,-9.99999999999990119015e-01,-2.99999999999998534506e+00,-1.30710678118654062274e+01>
		2, { 24,30,64 }
		1, { 24,44 }
		2, { 24,44,64,80 }
		1, { 24,46 }
		2, { 24,46,64,82 }
		1, { 24,64 }
		1, { 25,29 }
		2, { 25,29,31 }
		3, { 25,29,31,65 }, <-1,9.99999999999998112621e-01,-9.99999999999996336264e-01,9.99999999999998889777e-01,-8.24264068711926967126e+00>
		2, { 25,29,45,52 }
		3, { 25,29,45,52,65,81 }, <-1,9.99999999999997335465e-01,-2.99999999999998667732e+00,9.99999999999996225242e-01,-1.30710678118654239910e+01>
		2, { 25,29,65 }
		1, { 25,31 }
		2, { 25,31,47,54 }
		3, { 25,31,47,54,65,83 }, <-1,9.99999999999987010391e-01,-9.99999999999980015986e-01,2.99999999999996802558e+00,-1.30710678118653191859e+01>
		2, { 25,31,65 }
		1, { 25,45 }
		2, { 25,45,65,81 }
		1, { 25,47 }
		2, { 25,47,65,83 }
		1, { 25,65 }
		1, { 26,32 }
		2, { 26,32,34 }
		3, { 26,32,34,66 }, <-1,9.99999999999994337863e-01,9.99999999999994670929e-01,-9.99999999999991007194e-01,-8.24264068711923769683e+00>
		2, { 26,32,48,53 }
		3, { 26,32,48,53,66,84 }, <-1,9.99999999999987454480e-01,9.99999999999986344257e-01,-2.99999999999996003197e+00,-1.30710678118653156332e+01>
		2, { 26,32,66 }
		1, { 26,34 }
		2, { 26,34,50,55 }
		3, { 26,34,50,55,66,86 }, <-1,9.99999999999977129406e-01,2.99999999999994138022e+00,-9.99999999999968913755e-01,-1.30710678118652019464e+01>
		2, { 26,34,66 }
		1, { 26,48 }
		2, { 26,48,66,84 }
		1, { 26,50 }
		2, { 26,50,66,86 }
		1, { 26,66 }
		1, { 27,33 }
		2, { 27,33,35 }
		3, { 27,33,35,67 }, <-1,9.99999999999993449684e-01,9.99999999999991673327e-01,9.99999999999990119015e-01,-8.24264068711922526234e+00>
		2, { 27,33,49,54 }
		3, { 27,33,49,54,67,85 }, <-1,9.99999999999981015186e-01,9.99999999999973909759e-01,2.99999999999993960387e+00,-1.30710678118652179336e+01>
		2, { 27,33,67 }
		1, { 27,35 }
		2, { 27,35,51,55 }
		3, { 27,35,51,55,67,87 }, <-1,9.99999999999980571097e-01,2.99999999999994049205e+00,9.99999999999969801934e-01,-1.30710678118652126045e+01>
		2, { 27,35,67 }
		1, { 27,49 }
		2, { 27,49,67,85 }
		1, { 27,51 }
		2, { 27,51,67,87 }
		1, { 27,67 }
		1, { 28,29 }
		2, { 28,29,52 }
		3, { 28,29,52,56,64,65,80,81,88,89,96,97,116,120,140,141 }, <-5.99520433297581770816e-15,1,-9.99999999999999555911e-01,3.12045963710684798684e-16,-4.82842712474619872864e+00>
		2, { 28,29,56 }
		1, { 28,30 }
		2, { 28,30,56,57 }
		3, { 28,30,56,57,64,88 }, <-1,2.99999999999999822364e+00,-9.99999999999990452082e-01,-9.99999999999992894573e-01,-1.30710678118654293201e+01>
		2, { 28,30,64 }
		1, { 28,52 }
		2, { 28,52,64,80 }
		1, { 28,56 }
		2, { 28,56,64,88 }
		1, { 28,64 }
		1, { 29,31 }
		2, { 29,31,56,58 }
		3, { 29,31,56,58,65,89 }, <-1,2.99999999999999378275e+00,-9.99999999999988564703e-01,9.99999999999994670929e-01,-1.30710678118654186619e+01>
		2, { 29,31,65 }
		1, { 29,52 }
		2, { 29,52,65,81 }
		1, { 29,56 }
		2, { 29,56,65,89 }
		1, { 29,65 }
		1, { 30,32 }
		2, { 30,32,53 }
		3, { 30,32,53,57,64,66,82,84,88,90,96,98,117,121,142,144 }, <-7.40389788834366253304e-15,1,1.97771893295337050415e-15,-1.00000000000000333067e+00,-4.82842712474620405771e+00>
		2, { 30,32,57 }
		1, { 30,53 }
		2, { 30,53,64,82 }
		1, { 30,57 }
		2, { 30,57,64,88 }
		1, { 30,64 }
		1, { 31,33 }
		2, { 31,33,54 }
		3, { 31,33,54,58,65,67,83,85,89,91,97,99,118,122,143,145 }, <-1.14967358514653113858e-14,1,1.34968194947985284467e-15,1.00000000000000821565e+00,-4.82842712474621738039e+00>
		2, { 31,33,58 }
		1, { 31,54 }
		2, { 31,54,65,83 }
		1, { 31,58 }
		2, { 31,58,65,89 }
		1, { 31,65 }
		1, { 32,34 }
		2, { 32,34,57,59 }
		3, { 32,34,57,59,66,90 }, <-1,2.99999999999996269651e+00,9.99999999999984123811e-01,-9.99999999999976907361e-01,-1.30710678118652907642e+01>
		2, { 32,34,66 }
		1, { 32,53 }
		2, { 32,53,66,84 }
		1, { 32,57 }
		2, { 32,57,66,90 }
		1, { 32,66 }
		1, { 33,35 }
		2, { 33,35,58,59 }
		3, { 33,35,58,59,67,91 }, <-1,2.99999999999995026201e+00,9.99999999999978683718e-01,9.99999999999975019982e-01,-1.30710678118652428026e+01>
		2, { 33,35,67 }
		1, { 33,54 }
		2, { 33,54,67,85 }
		1, { 33,58 }
		2, { 33,58,67,91 }
		1, { 33,67 }
		1, { 34,35 }
		2, { 34,35,55 }
		3, { 34,35,55,59,66,67,86,87,90,91,98,99,119,123,146,147 }, <-1.27843702668294124781e-14,1,1.00000000000001154632e+00,-2.37486396828645298072e-16,-4.82842712474622448582e+00>
		2, { 34,35,59 }
		1, { 34,55 }
		2, { 34,55,66,86 }
		1, { 34,59 }
		2, { 34,59,66,90 }
		1, { 34,66 }
		1, { 35,55 }
		2, { 35,55,67,87 }
		1, { 35,59 }
		2, { 35,59,67,91 }
		1, { 35,67 }
		1, { 36,37 }
		2, { 36,37,38,39 }
		3, { 36,37,38,39,68,69,70,71,100,101,102,103 }, <-2.75921660435170534829e-16,-1,7.21644966006352540136e-16,1.94289029309402641093e-16,-3.41421356237309359116e+00>
		2, { 36,37,68 }
		1, { 36,38 }
		2, { 36,38,69 }
		1, { 36,68 }
		2, { 36,68,69,100 }
		1, { 36,69 }
		1, { 37,39 }
		2, { 37,39,70 }
		1, { 37,68 }
		2, { 37,68,70,101 }
		1, { 37,70 }
		1, { 38,39 }
		2, { 38,39,71 }
		1, { 38,69 }
		2, { 38,69,71,102 }
		1, { 38,71 }
		1, { 39,70 }
		2, { 39,70,71,103 }
		1, { 39,71 }
		1, { 40,44 }
		2, { 40,44,45,52 }
		3, { 40,44,45,52,72,73,80,81,104,108,109,116 }, <1.30070718113307533521e-16,4.40821018407829852959e-16,-1,3.72797834410251983767e-17,-3.41421356237309447934e+00>
		2, { 40,44,72 }
		1, { 40,45 }
		2, { 40,45,73 }
		1, { 40,72 }
		2, { 40,72,73,104 }
		1, { 40,73 }
		1, { 41,46 }
		2, { 41,46,48,53 }
		3, { 41,46,48,53,74,76,82,84,105,110,112,117 }, <-1.82099005358630448322e-15,8.33344133078771660161e-16,9.57158834808916953926e-16,-1,-3.41421356237309270298e+00>
		2, { 41,46,74 }
		1, { 41,48 }
		2, { 41,48,76 }
		1, { 41,74 }
		2, { 41,74,76,105 }
		1, { 41,76 }
		1, { 42,47 }
		2, { 42,47,49,54 }
		3, { 42,47,49,54,75,77,83,85,106,111,113,118 }, <-4.68254585207906529031e-15,2.16792272295998226518e-15,3.29121851335402055464e-16,1,-3.41421356237309092663e+00>
		2, { 42,47,75 }
		1, { 42,49 }
		2, { 42,49,77 }
		1, { 42,75 }
		2, { 42,75,77,106 }
		1, { 42,77 }
		1, { 43,50 }
		2, { 43,50,51,55 }
		3, { 43,50,51,55,78,79,86,87,107,114,115,119 }, <-7.67417236868513313788e-15,2.56044583763092012808e-15,1,-5.12252577098299228442e-16,-3.41421356237309225889e+00>
		2, { 43,50,78 }
		1, { 43,51 }
		2, { 43,51,79 }
		1, { 43,78 }
		2, { 43,78,79,107 }
		1, { 43,79 }
		1, { 44,52 }
		2, { 44,52,80 }
		1, { 44,72 }
		2, { 44,72,80,108 }
		1, { 44,80 }
		1, { 45,52 }
		2, { 45,52,81 }
		1, { 45,73 }
		2, { 45,73,81,109 }
		1, { 45,81 }
		1, { 46,53 }
		2, { 46,53,82 }
		1, { 46,74 }
		2, { 46,74,82,110 }
		1, { 46,82 }
		1, { 47,54 }
		2, { 47,54,83 }
		1, { 47,75 }
		2, { 47,75,83,111 }
		1, { 47,83 }
		1, { 48,53 }
		2, { 48,53,84 }
		1, { 48,76 }
		2, { 48,76,84,112 }
		1, { 48,84 }
		1, { 49,54 }
		2, { 49,54,85 }
		1, { 49,77 }
		2, { 49,77,85,113 }
		1, { 49,85 }
		1, { 50,55 }
		2, { 50,55,86 }
		1, { 50,78 }
		2, { 50,78,86,114 }
		1, { 50,86 }
		1, { 51,55 }
		2, { 51,55,87 }
		1, { 51,79 }
		2, { 51,79,87,115 }
		1, { 51,87 }
		1, { 52,80 }
		2, { 52,80,81,116 }
		1, { 52,81 }
		1, { 53,82 }
		2, { 53,82,84,117 }
		1, { 53,84 }
		1, { 54,83 }
		2, { 54,83,85,118 }
		1, { 54,85 }
		1, { 55,86 }
		2, { 55,86,87,119 }
		1, { 55,87 }
		1, { 56,57 }
		2, { 56,57,58,59 }
		3, { 56,57,58,59,88,89,90,91,120,121,122,123 }, <-5.65807623792886592457e-15,1,1.74220506415080135719e-15,4.69055209579061896274e-16,-3.41421356237309181481e+00>
		2, { 56,57,88 }
		1, { 56,58 }
		2, { 56,58,89 }
		1, { 56,88 }
		2, { 56,88,89,120 }
		1, { 56,89 }
		1, { 57,59 }
		2, { 57,59,90 }
		1, { 57,88 }
		2, { 57,88,90,121 }
		1, { 57,90 }
		1, { 58,59 }
		2, { 58,59,91 }
		1, { 58,89 }
		2, { 58,89,91,122 }
		1, { 58,91 }
		1, { 59,90 }
		2, { 59,90,91,123 }
		1, { 59,91 }
		1, { 60,68 }
		2, { 60,68,92 }
		1, { 60,72 }
		2, { 60,72,92 }
		1, { 60,74 }
		2, { 60,74,92 }
		1, { 60,92 }
		1, { 61,69 }
		2, { 61,69,93 }
		1, { 61,73 }
		2, { 61,73,93 }
		1, { 61,75 }
		2, { 61,75,93 }
		1, { 61,93 }
		1, { 62,70 }
		2, { 62,70,94 }
		1, { 62,76 }
		2, { 62,76,94 }
		1, { 62,78 }
		2, { 62,78,94 }
		1, { 62,94 }
		1, { 63,71 }
		2, { 63,71,95 }
		1, { 63,77 }
		2, { 63,77,95 }
		1, { 63,79 }
		2, { 63,79,95 }
		1, { 63,95 }
		1, { 64,80 }
		2, { 64,80,96 }
		1, { 64,82 }
		2, { 64,82,96 }
		1, { 64,88 }
		2, { 64,88,96 }
		1, { 64,96 }
		1, { 65,81 }
		2, { 65,81,97 }
		1, { 65,83 }
		2, { 65,83,97 }
		1, { 65,89 }
		2, { 65,89,97 }
		1, { 65,97 }
		1, { 66,84 }
		2, { 66,84,98 }
		1, { 66,86 }
		2, { 66,86,98 }
		1, { 66,90 }
		2, { 66,90,98 }
		1, { 66,98 }
		1, { 67,85 }
		2, { 67,85,99 }
		1, { 67,87 }
		2, { 67,87,99 }
		1, { 67,91 }
		2, { 67,91,99 }
		1, { 67,99 }
		1, { 68,92 }
		2, { 68,92,100,124 }
		3, { 68,92,100,101,124,126 }, <1,-2.99999999999999822364e+00,-1.00000000000000532907e+00,-9.99999999999998223643e-01,-1.30710678118654683999e+01>
		2, { 68,92,101,126 }
		1, { 68,100 }
		2, { 68,100,101 }
		1, { 68,101 }
		1, { 69,93 }
		2, { 69,93,100,125 }
		3, { 69,93,100,102,125,127 }, <1,-2.99999999999999822364e+00,-1.00000000000000510703e+00,9.99999999999998778755e-01,-1.30710678118654666235e+01>
		2, { 69,93,102,127 }
		1, { 69,100 }
		2, { 69,100,102 }
		1, { 69,102 }
		1, { 70,94 }
		2, { 70,94,101,128 }
		3, { 70,94,101,103,128,130 }, <1,-3.00000000000000044409e+00,1.00000000000000288658e+00,-1.00000000000000732747e+00,-1.30710678118654808344e+01>
		2, { 70,94,103,130 }
		1, { 70,101 }
		2, { 70,101,103 }
		1, { 70,103 }
		1, { 71,95 }
		2, { 71,95,102,129 }
		3, { 71,95,102,103,129,131 }, <1,-3.00000000000000088818e+00,1.00000000000000333067e+00,1.00000000000000532907e+00,-1.30710678118654826108e+01>
		2, { 71,95,103,131 }
		1, { 71,102 }
		2, { 71,102,103 }
		1, { 71,103 }
		1, { 72,92 }
		2, { 72,92,104,124 }
		3, { 72,92,104,108,124,132 }, <1,-9.99999999999999222844e-01,-2.99999999999999067413e+00,-9.99999999999992894573e-01,-1.30710678118654310964e+01>
		2, { 72,92,108,132 }
		1, { 72,104 }
		2, { 72,104,108 }
		1, { 72,108 }
		1, { 73,93 }
		2, { 73,93,104,125 }
		3, { 73,93,104,109,125,133 }, <1,-9.99999999999991673327e-01,-2.99999999999998312461e+00,9.99999999999985567101e-01,-1.30710678118653955693e+01>
		2, { 73,93,109,133 }
		1, { 73,104 }
		2, { 73,104,109 }
		1, { 73,109 }
		1, { 74,92 }
		2, { 74,92,105,126 }
		3, { 74,92,105,110,126,132 }, <1,-1.00000000000000066613e+00,-9.99999999999994670929e-01,-2.99999999999999822364e+00,-1.30710678118654630708e+01>
		2, { 74,92,110,132 }
		1, { 74,105 }
		2, { 74,105,110 }
		1, { 74,110 }
		1, { 75,93 }
		2, { 75,93,106,127 }
		3, { 75,93,106,111,127,133 }, <1,-9.99999999999993671729e-01,-9.99999999999989896970e-01,2.99999999999999689138e+00,-1.30710678118654488600e+01>
		2, { 75,93,111,133 }
		1, { 75,106 }
		2, { 75,106,111 }
		1, { 75,111 }
		1, { 76,94 }
		2, { 76,94,105,128 }
		3, { 76,94,105,112,128,134 }, <1,-9.99999999999994226840e-01,9.99999999999987454480e-01,-2.99999999999999245048e+00,-1.30710678118654310964e+01>
		2, { 76,94,112,134 }
		1, { 76,105 }
		2, { 76,105,112 }
		1, { 76,112 }
		1, { 77,95 }
		2, { 77,95,106,129 }
		3, { 77,95,106,113,129,135 }, <1,-9.99999999999993560706e-01,9.99999999999991340260e-01,3.00000000000000044409e+00,-1.30710678118654630708e+01>
		2, { 77,95,113,135 }
		1, { 77,106 }
		2, { 77,106,113 }
		1, { 77,113 }
		1, { 78,94 }
		2, { 78,94,107,130 }
		3, { 78,94,107,114,130,134 }, <1,-9.99999999999990452082e-01,3.00000000000000266454e+00,-9.99999999999988342658e-01,-1.30710678118654683999e+01>
		2, { 78,94,114,134 }
		1, { 78,107 }
		2, { 78,107,114 }
		1, { 78,114 }
		1, { 79,95 }
		2, { 79,95,107,131 }
		3, { 79,95,107,115,131,135 }, <1,-9.99999999999991562305e-01,3.00000000000000355271e+00,9.99999999999989008792e-01,-1.30710678118654719526e+01>
		2, { 79,95,115,135 }
		1, { 79,107 }
		2, { 79,107,115 }
		1, { 79,115 }
		1, { 80,96 }
		2, { 80,96,108,136 }
		3, { 80,96,108,116,136,140 }, <1,9.99999999999998556710e-01,-2.99999999999999689138e+00,-9.99999999999998001599e-01,-1.30710678118654630708e+01>
		2, { 80,96,116,140 }
		1, { 80,108 }
		2, { 80,108,116 }
		1, { 80,116 }
		1, { 81,97 }
		2, { 81,97,109,137 }
		3, { 81,97,109,116,137,141 }, <1,1.00000000000000621725e+00,-3.00000000000000444089e+00,9.99999999999993671729e-01,-1.30710678118655003743e+01>
		2, { 81,97,116,141 }
		1, { 81,109 }
		2, { 81,109,116 }
		1, { 81,116 }
		1, { 82,96 }
		2, { 82,96,110,136 }
		3, { 82,96,110,117,136,142 }, <1,1.00000000000000421885e+00,-1.00000000000000288658e+00,-3.00000000000001598721e+00,-1.30710678118655359015e+01>
		2, { 82,96,117,142 }
		1, { 82,110 }
		2, { 82,110,117 }
		1, { 82,117 }
		1, { 83,97 }
		2, { 83,97,111,137 }
		3, { 83,97,111,118,137,143 }, <1,1.00000000000001953993e+00,-1.00000000000000510703e+00,3.00000000000004662937e+00,-1.30710678118656620228e+01>
		2, { 83,97,118,143 }
		1, { 83,111 }
		2, { 83,111,118 }
		1, { 83,118 }
		1, { 84,98 }
		2, { 84,98,112,138 }
		3, { 84,98,112,117,138,144 }, <1,1.00000000000001798561e+00,1.00000000000000177636e+00,-3.00000000000002930989e+00,-1.30710678118656016267e+01>
		2, { 84,98,117,144 }
		1, { 84,112 }
		2, { 84,112,117 }
		1, { 84,117 }
		1, { 85,99 }
		2, { 85,99,113,139 }
		3, { 85,99,113,118,139,145 }, <1,1.00000000000002398082e+00,1.00000000000001265654e+00,3.00000000000005373479e+00,-1.30710678118656922209e+01>
		2, { 85,99,118,145 }
		1, { 85,113 }
		2, { 85,113,118 }
		1, { 85,118 }
		1, { 86,98 }
		2, { 86,98,114,138 }
		3, { 86,98,114,119,138,146 }, <1,1.00000000000003375078e+00,3.00000000000007327472e+00,-1.00000000000000777156e+00,-1.30710678118657721569e+01>
		2, { 86,98,119,146 }
		1, { 86,114 }
		2, { 86,114,119 }
		1, { 86,119 }
		1, { 87,99 }
		2, { 87,99,115,139 }
		3, { 87,99,115,119,139,147 }, <1,1.00000000000003219647e+00,3.00000000000007105427e+00,1.00000000000001110223e+00,-1.30710678118657632751e+01>
		2, { 87,99,119,147 }
		1, { 87,115 }
		2, { 87,115,119 }
		1, { 87,119 }
		1, { 88,96 }
		2, { 88,96,120,140 }
		3, { 88,96,120,121,140,142 }, <1,3.00000000000001509903e+00,-9.99999999999990119015e-01,-1.00000000000000288658e+00,-1.30710678118655270197e+01>
		2, { 88,96,121,142 }
		1, { 88,120 }
		2, { 88,120,121 }
		1, { 88,121 }
		1, { 89,97 }
		2, { 89,97,120,141 }
		3, { 89,97,120,122,141,143 }, <1,3.00000000000000799361e+00,-9.99999999999988675725e-01,1.00000000000000155431e+00,-1.30710678118655039270e+01>
		2, { 89,97,122,143 }
		1, { 89,120 }
		2, { 89,120,122 }
		1, { 89,122 }
		1, { 90,98 }
		2, { 90,98,121,144 }
		3, { 90,98,121,123,144,146 }, <1,3.00000000000000932587e+00,1.00000000000000888178e+00,-9.99999999999994781952e-01,-1.30710678118655181379e+01>
		2, { 90,98,123,146 }
		1, { 90,121 }
		2, { 90,121,123 }
		1, { 90,123 }
		1, { 91,99 }
		2, { 91,99,122,145 }
		3, { 91,99,122,123,145,147 }, <1,3.00000000000000799361e+00,1.00000000000001243450e+00,9.99999999999991229238e-01,-1.30710678118655199142e+01>
		2, { 91,99,123,147 }
		1, { 91,122 }
		2, { 91,122,123 }
		1, { 91,123 }
		1, { 92,124 }
		2, { 92,124,126 }
		3, { 92,124,126,132 }, <1,-9.99999999999999444888e-01,-9.99999999999998778755e-01,-9.99999999999996669331e-01,-8.24264068711927322397e+00>
		2, { 92,124,132 }
		1, { 92,126 }
		2, { 92,126,132 }
		1, { 92,132 }
		1, { 93,125 }
		2, { 93,125,127 }
		3, { 93,125,127,133 }, <1,-9.99999999999992783550e-01,-9.99999999999991895372e-01,9.99999999999990119015e-01,-8.24264068711923414412e+00>
		2, { 93,125,133 }
		1, { 93,127 }
		2, { 93,127,133 }
		1, { 93,133 }
		1, { 94,128 }
		2, { 94,128,130 }
		3, { 94,128,130,134 }, <1,-9.99999999999990674127e-01,9.99999999999988231636e-01,-9.99999999999990119015e-01,-8.24264068711922348598e+00>
		2, { 94,128,134 }
		1, { 94,130 }
		2, { 94,130,134 }
		1, { 94,134 }
		1, { 95,129 }
		2, { 95,129,131 }
		3, { 95,129,131,135 }, <1,-9.99999999999992339461e-01,9.99999999999990230037e-01,9.99999999999992117417e-01,-8.24264068711923592048e+00>
		2, { 95,129,135 }
		1, { 95,131 }
		2, { 95,131,135 }
		1, { 95,135 }
		1, { 96,136 }
		2, { 96,136,140 }
		3, { 96,136,140,142 }, <1,9.99999999999992672528e-01,-9.99999999999992339461e-01,-9.99999999999994559907e-01,-8.24264068711924480226e+00>
		2, { 96,136,142 }
		1, { 96,140 }
		2, { 96,140,142 }
		1, { 96,142 }
		1, { 97,137 }
		2, { 97,137,141 }
		3, { 97,137,141,143 }, <1,9.99999999999993560706e-01,-9.99999999999988675725e-01,9.99999999999994004796e-01,-8.24264068711924302590e+00>
		2, { 97,137,143 }
		1, { 97,141 }
		2, { 97,141,143 }
		1, { 97,143 }
		1, { 98,138 }
		2, { 98,138,144 }
		3, { 98,138,144,146 }, <1,1.00000000000000022204e+00,1.00000000000000355271e+00,-9.99999999999992672528e-01,-8.24264068711928743483e+00>
		2, { 98,138,146 }
		1, { 98,144 }
		2, { 98,144,146 }
		1, { 98,146 }
		1, { 99,139 }
		2, { 99,139,145 }
		3, { 99,139,145,147 }, <1,1.00000000000000355271e+00,1.00000000000001110223e+00,9.99999999999997224442e-01,-8.24264068711931763289e+00>
		2, { 99,139,147 }
		1, { 99,145 }
		2, { 99,145,147 }
		1, { 99,147 }
		1, { 100,101 }
		2, { 100,101,102,103 }
		3, { 100,101,102,103,124,125,126,127,128,129,130,131,148,149,150,151 }, <1,-9.99999999999996669331e-01,2.46385003015715922214e-15,6.63344238888465868570e-16,-4.82842712474617474783e+00>
		2, { 100,101,124,126 }
		1, { 100,102 }
		2, { 100,102,125,127 }
		1, { 100,124 }
		2, { 100,124,125 }
		1, { 100,125 }
		1, { 101,103 }
		2, { 101,103,128,130 }
		1, { 101,126 }
		2, { 101,126,128 }
		1, { 101,128 }
		1, { 102,103 }
		2, { 102,103,129,131 }
		1, { 102,127 }
		2, { 102,127,129 }
		1, { 102,129 }
		1, { 103,130 }
		2, { 103,130,131 }
		1, { 103,131 }
		1, { 104,108 }
		2, { 104,108,109,116 }
		3, { 104,108,109,116,124,125,132,133,136,137,140,141,148,152,153,156 }, <1,2.20820612976610111384e-15,-9.99999999999997335465e-01,5.06334993020088573765e-16,-4.82842712474617830054e+00>
		2, { 104,108,124,132 }
		1, { 104,109 }
		2, { 104,109,125,133 }
		1, { 104,124 }
		2, { 104,124,125 }
		1, { 104,125 }
		1, { 105,110 }
		2, { 105,110,112,117 }
		3, { 105,110,112,117,126,128,132,134,136,138,142,144,149,152,154,157 }, <1,2.60072924443704410434e-15,2.69936389895972541087e-15,-9.99999999999997002398e-01,-4.82842712474617385965e+00>
		2, { 105,110,126,132 }
		1, { 105,112 }
		2, { 105,112,128,134 }
		1, { 105,126 }
		2, { 105,126,128 }
		1, { 105,128 }
		1, { 106,111 }
		2, { 106,111,113,118 }
		3, { 106,111,113,118,127,129,133,135,137,139,143,145,150,153,155,158 }, <1,3.93530783431825303303e-15,2.07132691548621583721e-15,9.99999999999996558309e-01,-4.82842712474617030693e+00>
		2, { 106,111,127,133 }
		1, { 106,113 }
		2, { 106,113,129,135 }
		1, { 106,127 }
		2, { 106,127,129 }
		1, { 106,129 }
		1, { 107,114 }
		2, { 107,114,115,119 }
		3, { 107,114,115,119,130,131,134,135,138,139,146,147,151,154,155,159 }, <1,4.32783094898918734605e-15,9.99999999999994670929e-01,-4.31973675192286300459e-17,-4.82842712474616675422e+00>
		2, { 107,114,130,134 }
		1, { 107,115 }
		2, { 107,115,131,135 }
		1, { 107,130 }
		2, { 107,130,131 }
		1, { 107,131 }
		1, { 108,116 }
		2, { 108,116,136,140 }
		1, { 108,132 }
		2, { 108,132,136 }
		1, { 108,136 }
		1, { 109,116 }
		2, { 109,116,137,141 }
		1, { 109,133 }
		2, { 109,133,137 }
		1, { 109,137 }
		1, { 110,117 }
		2, { 110,117,136,142 }
		1, { 110,132 }
		2, { 110,132,136 }
		1, { 110,136 }
		1, { 111,118 }
		2, { 111,118,137,143 }
		1, { 111,133 }
		2, { 111,133,137 }
		1, { 111,137 }
		1, { 112,117 }
		2, { 112,117,138,144 }
		1, { 112,134 }
		2, { 112,134,138 }
		1, { 112,138 }
		1, { 113,118 }
		2, { 113,118,139,145 }
		1, { 113,135 }
		2, { 113,135,139 }
		1, { 113,139 }
		1, { 114,119 }
		2, { 114,119,138,146 }
		1, { 114,134 }
		2, { 114,134,138 }
		1, { 114,138 }
		1, { 115,119 }
		2, { 115,119,139,147 }
		1, { 115,135 }
		2, { 115,135,139 }
		1, { 115,139 }
		1, { 116,140 }
		2, { 116,140,141 }
		1, { 116,141 }
		1, { 117,142 }
		2, { 117,142,144 }
		1, { 117,144 }
		1, { 118,143 }
		2, { 118,143,145 }
		1, { 118,145 }
		1, { 119,146 }
		2, { 119,146,147 }
		1, { 119,147 }
		1, { 120,121 }
		2, { 120,121,122,123 }
		3, { 120,121,122,123,140,141,142,143,144,145,146,147,156,157,158,159 }, <1,1.00000000000000022204e+00,3.48441012830161612502e-15,9.38110419158127342422e-16,-4.82842712474618096508e+00>
		2, { 120,121,140,142 }
		1, { 120,122 }
		2, { 120,122,141,143 }
		1, { 120,140 }
		2, { 120,140,141 }
		1, { 120,141 }
		1, { 121,123 }
		2, { 121,123,144,146 }
		1, { 121,142 }
		2, { 121,142,144 }
		1, { 121,144 }
		1, { 122,123 }
		2, { 122,123,145,147 }
		1, { 122,143 }
		2, { 122,143,145 }
		1, { 122,145 }
		1, { 123,146 }
		2, { 123,146,147 }
		1, { 123,147 }
		1, { 124,125 }
		2, { 124,125,148 }
		1, { 124,126 }
		2, { 124,126,132 }
		3, { 124,126,132,148,149,152 }, <2.99999999999998800959e+00,-1,-9.99999999999995559108e-01,-9.99999999999996669331e-01,-1.30710678118654275437e+01>
		2, { 124,126,148,149 }
		1, { 124,132 }
		2, { 124,132,148,152 }
		1, { 124,148 }
		1, { 125,127 }
		2, { 125,127,133 }
		3, { 125,127,133,148,150,153 }, <2.99999999999998712141e+00,-1,-9.99999999999995337063e-01,9.99999999999998889777e-01,-1.30710678118654239910e+01>
		2, { 125,127,148,150 }
		1, { 125,133 }
		2, { 125,133,148,153 }
		1, { 125,148 }
		1, { 126,128 }
		2, { 126,128,149 }
		1, { 126,132 }
		2, { 126,132,149,152 }
		1, { 126,149 }
		1, { 127,129 }
		2, { 127,129,150 }
		1, { 127,133 }
		2, { 127,133,150,153 }
		1, { 127,150 }
		1, { 128,130 }
		2, { 128,130,134 }
		3, { 128,130,134,149,151,154 }, <2.99999999999998490097e+00,-1,1.00000000000000222045e+00,-9.99999999999998889777e-01,-1.30710678118654222146e+01>
		2, { 128,130,149,151 }
		1, { 128,134 }
		2, { 128,134,149,154 }
		1, { 128,149 }
		1, { 129,131 }
		2, { 129,131,135 }
		3, { 129,131,135,150,151,155 }, <2.99999999999998268052e+00,-1,1.00000000000000266454e+00,1.00000000000000155431e+00,-1.30710678118654222146e+01>
		2, { 129,131,150,151 }
		1, { 129,135 }
		2, { 129,135,150,155 }
		1, { 129,150 }
		1, { 130,131 }
		2, { 130,131,151 }
		1, { 130,134 }
		2, { 130,134,151,154 }
		1, { 130,151 }
		1, { 131,135 }
		2, { 131,135,151,155 }
		1, { 131,151 }
		1, { 132,136 }
		2, { 132,136,152 }
		1, { 132,152 }
		1, { 133,137 }
		2, { 133,137,153 }
		1, { 133,153 }
		1, { 134,138 }
		2, { 134,138,154 }
		1, { 134,154 }
		1, { 135,139 }
		2, { 135,139,155 }
		1, { 135,155 }
		1, { 136,140 }
		2, { 136,140,142 }
		3, { 136,140,142,152,156,157 }, <2.99999999999999422684e+00,1,-9.99999999999995003996e-01,-1.00000000000000022204e+00,-1.30710678118654470836e+01>
		2, { 136,140,152,156 }
		1, { 136,142 }
		2, { 136,142,152,157 }
		1, { 136,152 }
		1, { 137,141 }
		2, { 137,141,143 }
		3, { 137,141,143,153,156,158 }, <2.99999999999999067413e+00,1,-9.99999999999990452082e-01,1.00000000000000111022e+00,-1.30710678118654328728e+01>
		2, { 137,141,153,156 }
		1, { 137,143 }
		2, { 137,143,153,158 }
		1, { 137,153 }
		1, { 138,144 }
		2, { 138,144,146 }
		3, { 138,144,146,154,157,159 }, <2.99999999999998934186e+00,1,1.00000000000000710543e+00,-9.99999999999991007194e-01,-1.30710678118654364255e+01>
		2, { 138,144,154,157 }
		1, { 138,146 }
		2, { 138,146,154,159 }
		1, { 138,154 }
		1, { 139,145 }
		2, { 139,145,147 }
		3, { 139,145,147,155,158,159 }, <2.99999999999998800959e+00,1,1.00000000000001132427e+00,9.99999999999994115818e-01,-1.30710678118654417545e+01>
		2, { 139,145,155,158 }
		1, { 139,147 }
		2, { 139,147,155,159 }
		1, { 139,155 }
		1, { 140,141 }
		2, { 140,141,156 }
		1, { 140,142 }
		2, { 140,142,156,157 }
		1, { 140,156 }
		1, { 141,143 }
		2, { 141,143,156,158 }
		1, { 141,156 }
		1, { 142,144 }
		2, { 142,144,157 }
		1, { 142,157 }
		1, { 143,145 }
		2, { 143,145,158 }
		1, { 143,158 }
		1, { 144,146 }
		2, { 144,146,157,159 }
		1, { 144,157 }
		1, { 145,147 }
		2, { 145,147,158,159 }
		1, { 145,158 }
		1, { 146,147 }
		2, { 146,147,159 }
		1, { 146,159 }
		1, { 147,159 }
		1, { 148,149 }
		2, { 148,149,150,151 }
		3, { 148,149,150,151,152,153,154,155,156,157,158,159 }, <1,-3.57694474811599390317e-16,2.46385003015716119429e-15,6.63344238888466361608e-16,-3.41421356237309003845e+00>
		2, { 148,149,152 }
		1, { 148,150 }
		2, { 148,150,153 }
		1, { 148,152 }
		2, { 148,152,153,156 }
		1, { 148,153 }
		1, { 149,151 }
		2, { 149,151,154 }
		1, { 149,152 }
		2, { 149,152,154,157 }
		1, { 149,154 }
		1, { 150,151 }
		2, { 150,151,155 }
		1, { 150,153 }
		2, { 150,153,155,158 }
		1, { 150,155 }
		1, { 151,154 }
		2, { 151,154,155,159 }
		1, { 151,155 }
		1, { 152,156 }
		2, { 152,156,157 }
		1, { 152,157 }
		1, { 153,156 }
		2, { 153,156,158 }
		1, { 153,158 }
		1, { 154,157 }
		2, { 154,157,159 }
		1, { 154,159 }
		1, { 155,158 }
		2, { 155,158,159 }
		1, { 155,159 }
		1, { 156,157 }
		2, { 156,157,158,159 }
		1, { 156,158 }
		1, { 157,159 }
		1, { 158,159 }
	}
}