# Automatically generated by makepoly.
polytope J92_hexachoron {
	dimension 4
	vertices {
		<-4.23606797749978980505e+00, 5.77350269189625731059e-01, 0, 0>
		<-3.61803398874989490253e+00, -9.34172358962715665420e-01, -1, -5.77350269189625731059e-01>
		<-3.61803398874989490253e+00, -9.34172358962715665420e-01, 0, 1.15470053837925146212e+00>
		<-3.61803398874989490253e+00, -9.34172358962715665420e-01, 1, -5.77350269189625731059e-01>
		<-3.61803398874989490253e+00, 9.34172358962715665420e-01, -1.61803398874989490253e+00, -9.34172358962715665420e-01>
		<-3.61803398874989490253e+00, 9.34172358962715665420e-01, 0, 1.86834471792543133084e+00>
		<-3.61803398874989490253e+00, 9.34172358962715665420e-01, 1.61803398874989490253e+00, -9.34172358962715665420e-01>
		<-3.61803398874989490253e+00, 2.08887289734196723856e+00, -1, 5.77350269189625731059e-01>
		<-3.61803398874989490253e+00, 2.08887289734196723856e+00, 0, -1.15470053837925146212e+00>
		<-3.61803398874989490253e+00, 2.08887289734196723856e+00, 1, 5.77350269189625731059e-01>
		<-2.61803398874989490253e+00, -2.66622316653159296962e+00, -1, -5.77350269189625731059e-01>
		<-2.61803398874989490253e+00, -2.66622316653159296962e+00, 0, 1.15470053837925146212e+00>
		<-2.61803398874989490253e+00, -2.66622316653159296962e+00, 1, -5.77350269189625731059e-01>
		<-2.61803398874989490253e+00, -1.51152262815234150750e+00, -1.61803398874989490253e+00, 9.34172358962715665420e-01>
		<-2.61803398874989490253e+00, -1.51152262815234150750e+00, 0, -1.86834471792543133084e+00>
		<-2.61803398874989490253e+00, -1.51152262815234150750e+00, 1.61803398874989490253e+00, 9.34172358962715665420e-01>
		<-2.61803398874989490253e+00, -3.56822089773089934361e-01, -2.61803398874989490253e+00, -3.56822089773089934361e-01>
		<-2.61803398874989490253e+00, -3.56822089773089934361e-01, -1.61803398874989490253e+00, -2.08887289734196723856e+00>
		<-2.61803398874989490253e+00, -3.56822089773089934361e-01, -1, 2.44569498711505728394e+00>
		<-2.61803398874989490253e+00, -3.56822089773089934361e-01, 1, 2.44569498711505728394e+00>
		<-2.61803398874989490253e+00, -3.56822089773089934361e-01, 1.61803398874989490253e+00, -2.08887289734196723856e+00>
		<-2.61803398874989490253e+00, -3.56822089773089934361e-01, 2.61803398874989490253e+00, -3.56822089773089934361e-01>
		<-2.61803398874989490253e+00, 1.51152262815234150750e+00, -2.61803398874989490253e+00, 3.56822089773089934361e-01>
		<-2.61803398874989490253e+00, 1.51152262815234150750e+00, -1.61803398874989490253e+00, 2.08887289734196723856e+00>
		<-2.61803398874989490253e+00, 1.51152262815234150750e+00, -1, -2.44569498711505728394e+00>
		<-2.61803398874989490253e+00, 1.51152262815234150750e+00, 1, -2.44569498711505728394e+00>
		<-2.61803398874989490253e+00, 1.51152262815234150750e+00, 1.61803398874989490253e+00, 2.08887289734196723856e+00>
		<-2.61803398874989490253e+00, 1.51152262815234150750e+00, 2.61803398874989490253e+00, 3.56822089773089934361e-01>
		<-2.61803398874989490253e+00, 2.66622316653159296962e+00, -1.61803398874989490253e+00, -9.34172358962715665420e-01>
		<-2.61803398874989490253e+00, 2.66622316653159296962e+00, 0, 1.86834471792543133084e+00>
		<-2.61803398874989490253e+00, 2.66622316653159296962e+00, 1.61803398874989490253e+00, -9.34172358962715665420e-01>
		<-2.61803398874989490253e+00, 3.37986734607777306039e+00, 0, 0>
		<-2, 0, -2.61803398874989490253e+00, 1.51152262815234150750e+00>
		<-2, 0, 0, -3.02304525630468301500e+00>
		<-2, 0, 2.61803398874989490253e+00, 1.51152262815234150750e+00>
		<-1.61803398874989490253e+00, -3.95721761526739879145e+00, 0, 0>
		<-1.61803398874989490253e+00, -2.08887289734196723856e+00, -2.61803398874989490253e+00, -3.56822089773089934361e-01>
		<-1.61803398874989490253e+00, -2.08887289734196723856e+00, -1.61803398874989490253e+00, -2.08887289734196723856e+00>
		<-1.61803398874989490253e+00, -2.08887289734196723856e+00, -1, 2.44569498711505728394e+00>
		<-1.61803398874989490253e+00, -2.08887289734196723856e+00, 1, 2.44569498711505728394e+00>
		<-1.61803398874989490253e+00, -2.08887289734196723856e+00, 1.61803398874989490253e+00, -2.08887289734196723856e+00>
		<-1.61803398874989490253e+00, -2.08887289734196723856e+00, 2.61803398874989490253e+00, -3.56822089773089934361e-01>
		<-1, -3.60039552549430874606e+00, -1.61803398874989490253e+00, -9.34172358962715665420e-01>
		<-1, -3.60039552549430874606e+00, 0, 1.86834471792543133084e+00>
		<-1, -3.60039552549430874606e+00, 1.61803398874989490253e+00, -9.34172358962715665420e-01>
		<-1, -1.73205080756887719318e+00, -2.61803398874989490253e+00, 1.51152262815234150750e+00>
		<-1, -1.73205080756887719318e+00, 0, -3.02304525630468301500e+00>
		<-1, -1.73205080756887719318e+00, 2.61803398874989490253e+00, 1.51152262815234150750e+00>
		<-1, -5.77350269189625731059e-01, -2.61803398874989490253e+00, -1.51152262815234150750e+00>
		<-1, -5.77350269189625731059e-01, 0, 3.02304525630468301500e+00>
		<-1, -5.77350269189625731059e-01, 2.61803398874989490253e+00, -1.51152262815234150750e+00>
		<-1, 1.73205080756887719318e+00, -2.61803398874989490253e+00, 1.51152262815234150750e+00>
		<-1, 1.73205080756887719318e+00, 0, -3.02304525630468301500e+00>
		<-1, 1.73205080756887719318e+00, 2.61803398874989490253e+00, 1.51152262815234150750e+00>
		<-1, 2.44569498711505728394e+00, -2.61803398874989490253e+00, -3.56822089773089934361e-01>
		<-1, 2.44569498711505728394e+00, -1.61803398874989490253e+00, -2.08887289734196723856e+00>
		<-1, 2.44569498711505728394e+00, -1, 2.44569498711505728394e+00>
		<-1, 2.44569498711505728394e+00, 1, 2.44569498711505728394e+00>
		<-1, 2.44569498711505728394e+00, 1.61803398874989490253e+00, -2.08887289734196723856e+00>
		<-1, 2.44569498711505728394e+00, 2.61803398874989490253e+00, -3.56822089773089934361e-01>
		<-1, 3.60039552549430874606e+00, -1, -5.77350269189625731059e-01>
		<-1, 3.60039552549430874606e+00, 0, 1.15470053837925146212e+00>
		<-1, 3.60039552549430874606e+00, 1, -5.77350269189625731059e-01>
		<0, -4.17774579468393447712e+00, -1, 5.77350269189625731059e-01>
		<0, -4.17774579468393447712e+00, 0, -1.15470053837925146212e+00>
		<0, -4.17774579468393447712e+00, 1, 5.77350269189625731059e-01>
		<0, -3.02304525630468301500e+00, -2.61803398874989490253e+00, 3.56822089773089934361e-01>
		<0, -3.02304525630468301500e+00, -1.61803398874989490253e+00, 2.08887289734196723856e+00>
		<0, -3.02304525630468301500e+00, -1, -2.44569498711505728394e+00>
		<0, -3.02304525630468301500e+00, 1, -2.44569498711505728394e+00>
		<0, -3.02304525630468301500e+00, 1.61803398874989490253e+00, 2.08887289734196723856e+00>
		<0, -3.02304525630468301500e+00, 2.61803398874989490253e+00, 3.56822089773089934361e-01>
		<0, 1.15470053837925146212e+00, -2.61803398874989490253e+00, -1.51152262815234150750e+00>
		<0, 1.15470053837925146212e+00, 0, 3.02304525630468301500e+00>
		<0, 1.15470053837925146212e+00, 2.61803398874989490253e+00, -1.51152262815234150750e+00>
		<0, 3.02304525630468301500e+00, -1.61803398874989490253e+00, 9.34172358962715665420e-01>
		<0, 3.02304525630468301500e+00, 0, -1.86834471792543133084e+00>
		<0, 3.02304525630468301500e+00, 1.61803398874989490253e+00, 9.34172358962715665420e-01>
		<1, -3.60039552549430874606e+00, -1.61803398874989490253e+00, -9.34172358962715665420e-01>
		<1, -3.60039552549430874606e+00, 0, 1.86834471792543133084e+00>
		<1, -3.60039552549430874606e+00, 1.61803398874989490253e+00, -9.34172358962715665420e-01>
		<1, -1.73205080756887719318e+00, -2.61803398874989490253e+00, 1.51152262815234150750e+00>
		<1, -1.73205080756887719318e+00, 0, -3.02304525630468301500e+00>
		<1, -1.73205080756887719318e+00, 2.61803398874989490253e+00, 1.51152262815234150750e+00>
		<1, -5.77350269189625731059e-01, -2.61803398874989490253e+00, -1.51152262815234150750e+00>
		<1, -5.77350269189625731059e-01, 0, 3.02304525630468301500e+00>
		<1, -5.77350269189625731059e-01, 2.61803398874989490253e+00, -1.51152262815234150750e+00>
		<1, 1.73205080756887719318e+00, -2.61803398874989490253e+00, 1.51152262815234150750e+00>
		<1, 1.73205080756887719318e+00, 0, -3.02304525630468301500e+00>
		<1, 1.73205080756887719318e+00, 2.61803398874989490253e+00, 1.51152262815234150750e+00>
		<1, 2.44569498711505728394e+00, -2.61803398874989490253e+00, -3.56822089773089934361e-01>
		<1, 2.44569498711505728394e+00, -1.61803398874989490253e+00, -2.08887289734196723856e+00>
		<1, 2.44569498711505728394e+00, -1, 2.44569498711505728394e+00>
		<1, 2.44569498711505728394e+00, 1, 2.44569498711505728394e+00>
		<1, 2.44569498711505728394e+00, 1.61803398874989490253e+00, -2.08887289734196723856e+00>
		<1, 2.44569498711505728394e+00, 2.61803398874989490253e+00, -3.56822089773089934361e-01>
		<1, 3.60039552549430874606e+00, -1, -5.77350269189625731059e-01>
		<1, 3.60039552549430874606e+00, 0, 1.15470053837925146212e+00>
		<1, 3.60039552549430874606e+00, 1, -5.77350269189625731059e-01>
		<1.61803398874989490253e+00, -3.95721761526739879145e+00, 0, 0>
		<1.61803398874989490253e+00, -2.08887289734196723856e+00, -2.61803398874989490253e+00, -3.56822089773089934361e-01>
		<1.61803398874989490253e+00, -2.08887289734196723856e+00, -1.61803398874989490253e+00, -2.08887289734196723856e+00>
		<1.61803398874989490253e+00, -2.08887289734196723856e+00, -1, 2.44569498711505728394e+00>
		<1.61803398874989490253e+00, -2.08887289734196723856e+00, 1, 2.44569498711505728394e+00>
		<1.61803398874989490253e+00, -2.08887289734196723856e+00, 1.61803398874989490253e+00, -2.08887289734196723856e+00>
		<1.61803398874989490253e+00, -2.08887289734196723856e+00, 2.61803398874989490253e+00, -3.56822089773089934361e-01>
		<2, 0, -2.61803398874989490253e+00, 1.51152262815234150750e+00>
		<2, 0, 0, -3.02304525630468301500e+00>
		<2, 0, 2.61803398874989490253e+00, 1.51152262815234150750e+00>
		<2.61803398874989490253e+00, -2.66622316653159296962e+00, -1, -5.77350269189625731059e-01>
		<2.61803398874989490253e+00, -2.66622316653159296962e+00, 0, 1.15470053837925146212e+00>
		<2.61803398874989490253e+00, -2.66622316653159296962e+00, 1, -5.77350269189625731059e-01>
		<2.61803398874989490253e+00, -1.51152262815234150750e+00, -1.61803398874989490253e+00, 9.34172358962715665420e-01>
		<2.61803398874989490253e+00, -1.51152262815234150750e+00, 0, -1.86834471792543133084e+00>
		<2.61803398874989490253e+00, -1.51152262815234150750e+00, 1.61803398874989490253e+00, 9.34172358962715665420e-01>
		<2.61803398874989490253e+00, -3.56822089773089934361e-01, -2.61803398874989490253e+00, -3.56822089773089934361e-01>
		<2.61803398874989490253e+00, -3.56822089773089934361e-01, -1.61803398874989490253e+00, -2.08887289734196723856e+00>
		<2.61803398874989490253e+00, -3.56822089773089934361e-01, -1, 2.44569498711505728394e+00>
		<2.61803398874989490253e+00, -3.56822089773089934361e-01, 1, 2.44569498711505728394e+00>
		<2.61803398874989490253e+00, -3.56822089773089934361e-01, 1.61803398874989490253e+00, -2.08887289734196723856e+00>
		<2.61803398874989490253e+00, -3.56822089773089934361e-01, 2.61803398874989490253e+00, -3.56822089773089934361e-01>
		<2.61803398874989490253e+00, 1.51152262815234150750e+00, -2.61803398874989490253e+00, 3.56822089773089934361e-01>
		<2.61803398874989490253e+00, 1.51152262815234150750e+00, -1.61803398874989490253e+00, 2.08887289734196723856e+00>
		<2.61803398874989490253e+00, 1.51152262815234150750e+00, -1, -2.44569498711505728394e+00>
		<2.61803398874989490253e+00, 1.51152262815234150750e+00, 1, -2.44569498711505728394e+00>
		<2.61803398874989490253e+00, 1.51152262815234150750e+00, 1.61803398874989490253e+00, 2.08887289734196723856e+00>
		<2.61803398874989490253e+00, 1.51152262815234150750e+00, 2.61803398874989490253e+00, 3.56822089773089934361e-01>
		<2.61803398874989490253e+00, 2.66622316653159296962e+00, -1.61803398874989490253e+00, -9.34172358962715665420e-01>
		<2.61803398874989490253e+00, 2.66622316653159296962e+00, 0, 1.86834471792543133084e+00>
		<2.61803398874989490253e+00, 2.66622316653159296962e+00, 1.61803398874989490253e+00, -9.34172358962715665420e-01>
		<2.61803398874989490253e+00, 3.37986734607777306039e+00, 0, 0>
		<3.61803398874989490253e+00, -9.34172358962715665420e-01, -1, -5.77350269189625731059e-01>
		<3.61803398874989490253e+00, -9.34172358962715665420e-01, 0, 1.15470053837925146212e+00>
		<3.61803398874989490253e+00, -9.34172358962715665420e-01, 1, -5.77350269189625731059e-01>
		<3.61803398874989490253e+00, 9.34172358962715665420e-01, -1.61803398874989490253e+00, -9.34172358962715665420e-01>
		<3.61803398874989490253e+00, 9.34172358962715665420e-01, 0, 1.86834471792543133084e+00>
		<3.61803398874989490253e+00, 9.34172358962715665420e-01, 1.61803398874989490253e+00, -9.34172358962715665420e-01>
		<3.61803398874989490253e+00, 2.08887289734196723856e+00, -1, 5.77350269189625731059e-01>
		<3.61803398874989490253e+00, 2.08887289734196723856e+00, 0, -1.15470053837925146212e+00>
		<3.61803398874989490253e+00, 2.08887289734196723856e+00, 1, 5.77350269189625731059e-01>
		<4.23606797749978980505e+00, 5.77350269189625731059e-01, 0, 0>
	}
	lattice {
		1, { 0,1 }
		2, { 0,1,2 }
		3, { 0,1,2,3 }, <-2.44569498711505728394e+00,-1,1.11022302462515654042e-16,-0,-9.78277994846022913578e+00>
		3, { 0,1,2,4,5,7,13,16,18,22,23,32 }, <-7.33708496134517318410e+00,-1,-4.53456788445702763113e+00,2.61803398874989712297e+00,-3.05030403837599486394e+01>
		2, { 0,1,3 }
		3, { 0,1,3,4,6,8,14,17,20,24,25,33 }, <-7.33708496134515453235e+00,-1,1.11022302462515654042e-16,-5.23606797749977204148e+00,-3.05030403837598598216e+01>
		2, { 0,1,4 }
		1, { 0,2 }
		2, { 0,2,3 }
		3, { 0,2,3,5,6,9,15,19,21,26,27,34 }, <-7.33708496134516963139e+00,-1,4.53456788445702230206e+00,2.61803398874989445844e+00,-3.05030403837599237704e+01>
		2, { 0,2,5 }
		1, { 0,3 }
		2, { 0,3,6 }
		1, { 0,4 }
		2, { 0,4,7 }
		3, { 0,4,7,8 }, <-7.33708496134518473042e+00,2.23606797749978980505e+00,-1.73205080756888007976e+00,-1,-3.23713851016854192721e+01>
		2, { 0,4,8 }
		1, { 0,5 }
		2, { 0,5,7 }
		3, { 0,5,7,9 }, <-3.66854248067258570387e+00,1.11803398874989357026e+00,6.85539294627335720178e-16,1,-1.61856925508426812144e+01>
		2, { 0,5,9 }
		1, { 0,6 }
		2, { 0,6,8 }
		3, { 0,6,8,9 }, <-7.33708496134520071763e+00,2.23606797749979335777e+00,1.73205080756888318838e+00,-1,-3.23713851016854832210e+01>
		2, { 0,6,9 }
		1, { 0,7 }
		2, { 0,7,8 }
		3, { 0,7,8,9 }, <-2.44569498711506128075e+00,1,1.05640559936253197535e-16,5.81023079649392604931e-16,-1.09374804868394939206e+01>
		2, { 0,7,9 }
		1, { 0,8 }
		2, { 0,8,9 }
		1, { 0,9 }
		1, { 1,2 }
		2, { 1,2,3 }
		3, { 1,2,3,10,11,12 }, <-1.73205080756887763727e+00,-1,1.11022302462515654042e-16,-0,-7.20079105098861838030e+00>
		2, { 1,2,10,11 }
		3, { 1,2,10,11,13 }, <-3.87298334620741524503e+00,-2.23606797749978891687e+00,-1.73205080756887674909e+00,1,-1.72561588201619500182e+01>
		2, { 1,2,13 }
		1, { 1,3 }
		2, { 1,3,10,12 }
		3, { 1,3,10,12,14 }, <-1.93649167310370962092e+00,-1.11803398874989490253e+00,1.24126707662363655885e-16,-1,-8.62807941008098033819e+00>
		2, { 1,3,14 }
		1, { 1,4 }
		2, { 1,4,16 }
		3, { 1,4,16,17 }, <-2.80251707688814466479e+00,-1,-2.26728394222850804240e+00,-1.30901699437494722922e+00,-1.40968196535007024295e+01>
		2, { 1,4,17 }
		1, { 1,10 }
		2, { 1,10,13 }
		3, { 1,10,13,16,36 }, <-9.06913576891406059133e+00,-5.23606797749979602230e+00,-7.33708496134518206588e+00,1,-4.44635661269041619903e+01>
		2, { 1,10,14 }
		3, { 1,10,14,17,37 }, <-3.23606797749979069323e+00,-1.86834471792543088675e+00,-1,-2.44569498711505639577e+00,-1.58655825841658959519e+01>
		2, { 1,10,16,36 }
		3, { 1,10,16,17,36,37 }, <-1.93649167310370762252e+00,-1.11803398874989423639e+00,-1.73205080756887475069e+00,-1,-1.03601302176498482055e+01>
		2, { 1,10,17,37 }
		1, { 1,13 }
		2, { 1,13,16 }
		1, { 1,14 }
		2, { 1,14,17 }
		1, { 1,16 }
		2, { 1,16,17 }
		1, { 1,17 }
		1, { 2,3 }
		2, { 2,3,11,12 }
		3, { 2,3,11,12,15 }, <-3.87298334620741924184e+00,-2.23606797749978936096e+00,1.73205080756887697113e+00,1,-1.72561588201619571237e+01>
		2, { 2,3,15 }
		1, { 2,5 }
		2, { 2,5,18 }
		3, { 2,5,18,19 }, <-2.80251707688815043795e+00,-1,-1.90153007885255481927e-15,2.61803398874989579070e+00,-1.40968196535007237458e+01>
		2, { 2,5,19 }
		1, { 2,11 }
		2, { 2,11,13 }
		3, { 2,11,13,18,38 }, <-2.00000000000000044409e+00,-1.15470053837925168416e+00,-1,1.29099444873580582183e+00,-9.80546928833291531191e+00>
		2, { 2,11,15 }
		3, { 2,11,15,19,39 }, <-2.00000000000000266454e+00,-1.15470053837925212825e+00,1,1.29099444873580537774e+00,-9.80546928833291886463e+00>
		2, { 2,11,18,38 }
		3, { 2,11,18,19,38,39 }, <-1.73205080756887830340e+00,-1,-5.95808196779344936879e-16,1.78885438199983148877e+00,-9.26638216896590805050e+00>
		2, { 2,11,19,39 }
		1, { 2,13 }
		2, { 2,13,18 }
		1, { 2,15 }
		2, { 2,15,19 }
		1, { 2,18 }
		2, { 2,18,19 }
		1, { 2,19 }
		1, { 3,6 }
		2, { 3,6,20 }
		3, { 3,6,20,21 }, <-2.80251707688814866160e+00,-1,2.26728394222850848649e+00,-1.30901699437494412059e+00,-1.40968196535007113113e+01>
		2, { 3,6,21 }
		1, { 3,12 }
		2, { 3,12,14 }
		3, { 3,12,14,20,40 }, <-3.23606797749979335777e+00,-1.86834471792543110880e+00,1,-2.44569498711505639577e+00,-1.58655825841659030573e+01>
		2, { 3,12,15 }
		3, { 3,12,15,21,41 }, <-9.06913576891406059133e+00,-5.23606797749978980505e+00,7.33708496134516696685e+00,1,-4.44635661269041193577e+01>
		2, { 3,12,20,40 }
		3, { 3,12,20,21,40,41 }, <-1.93649167310371472794e+00,-1.11803398874989601275e+00,1.73205080756887830340e+00,-1,-1.03601302176498730745e+01>
		2, { 3,12,21,41 }
		1, { 3,14 }
		2, { 3,14,20 }
		1, { 3,15 }
		2, { 3,15,21 }
		1, { 3,20 }
		2, { 3,20,21 }
		1, { 3,21 }
		1, { 4,7 }
		2, { 4,7,8 }
		3, { 4,7,8,28 }, <-3.87298334620742101819e+00,2.23606797749978980505e+00,-1.73205080756888052385e+00,-1,-1.98381477176335820900e+01>
		2, { 4,7,22 }
		3, { 4,7,22,28 }, <-9.06913576891403927505e+00,5.23606797749978003509e+00,-7.33708496134515986142e+00,-1,-5.05096566395133947935e+01>
		2, { 4,7,28 }
		1, { 4,8 }
		2, { 4,8,24 }
		3, { 4,8,24,28 }, <-1.99999999999999844569e+00,1.15470053837924968576e+00,-1,-1.29099444873580093684e+00,-1.11388026216662332502e+01>
		2, { 4,8,28 }
		1, { 4,16 }
		2, { 4,16,17 }
		3, { 4,16,17,22,24,28,48,54,55,72 }, <-1.73205080756887808136e+00,1,-4.53456788445702052570e+00,-2.61803398874989357026e+00,-1.69835709994488404107e+01>
		2, { 4,16,22 }
		1, { 4,17 }
		2, { 4,17,24 }
		1, { 4,22 }
		2, { 4,22,28 }
		1, { 4,24 }
		2, { 4,24,28 }
		1, { 4,28 }
		1, { 5,7 }
		2, { 5,7,9 }
		3, { 5,7,9,29 }, <-1.93649167310370806661e+00,1.11803398874989357026e+00,6.85539294627335720178e-16,1,-9.91907385881677861050e+00>
		2, { 5,7,23 }
		3, { 5,7,23,29 }, <-3.23606797749979557821e+00,1.86834471792543310720e+00,-1,2.44569498711506216893e+00,-1.80229612358324544630e+01>
		2, { 5,7,29 }
		1, { 5,9 }
		2, { 5,9,26 }
		3, { 5,9,26,29 }, <-3.23606797749978802869e+00,1.86834471792542866631e+00,1,2.44569498711505550759e+00,-1.80229612358324082777e+01>
		2, { 5,9,29 }
		1, { 5,18 }
		2, { 5,18,19 }
		3, { 5,18,19,23,26,29,49,56,57,73 }, <-1.73205080756889784332e+00,1,-9.79341849467628063944e-16,5.23606797749981289769e+00,-1.69835709994489505448e+01>
		2, { 5,18,23 }
		1, { 5,19 }
		2, { 5,19,26 }
		1, { 5,23 }
		2, { 5,23,29 }
		1, { 5,26 }
		2, { 5,26,29 }
		1, { 5,29 }
		1, { 6,8 }
		2, { 6,8,9 }
		3, { 6,8,9,30 }, <-3.87298334620742812362e+00,2.23606797749979335777e+00,1.73205080756888296634e+00,-1,-1.98381477176336140644e+01>
		2, { 6,8,25 }
		3, { 6,8,25,30 }, <-1.99999999999999866773e+00,1.15470053837924901963e+00,1,-1.29099444873580293525e+00,-1.11388026216662332502e+01>
		2, { 6,8,30 }
		1, { 6,9 }
		2, { 6,9,27 }
		3, { 6,9,27,30 }, <-9.06913576891414230374e+00,5.23606797749983421397e+00,7.33708496134525045562e+00,-1,-5.05096566395139561223e+01>
		2, { 6,9,30 }
		1, { 6,20 }
		2, { 6,20,21 }
		3, { 6,20,21,25,27,30,50,58,59,74 }, <-1.73205080756887830340e+00,1,4.53456788445701963752e+00,-2.61803398874988690892e+00,-1.69835709994488261998e+01>
		2, { 6,20,25 }
		1, { 6,21 }
		2, { 6,21,27 }
		1, { 6,25 }
		2, { 6,25,30 }
		1, { 6,27 }
		2, { 6,27,30 }
		1, { 6,30 }
		1, { 7,8 }
		2, { 7,8,9 }
		3, { 7,8,9,31 }, <-1.29099444873580782023e+00,1,1.05640559936253197535e-16,5.81023079649392604931e-16,-6.75973469215555144984e+00>
		2, { 7,8,28 }
		3, { 7,8,28,31 }, <-5.60503415377631419858e+00,5.23606797749980046319e+00,-1.73205080756888318838e+00,-1,-3.23713851016854547993e+01>
		2, { 7,8,31 }
		1, { 7,9 }
		2, { 7,9,29 }
		3, { 7,9,29,31 }, <-2.80251707688814555297e+00,2.61803398874988912937e+00,8.44000134531714499589e-16,1,-1.61856925508426634508e+01>
		2, { 7,9,31 }
		1, { 7,22 }
		2, { 7,22,23 }
		3, { 7,22,23,28,29,31,51,54,56,60,61,75 }, <-1.07046626931927324478e+00,2.61803398874988868528e+00,-1.73205080756887364046e+00,1,-1.16511246663856482542e+01>
		2, { 7,22,28 }
		1, { 7,23 }
		2, { 7,23,29 }
		1, { 7,28 }
		2, { 7,28,31 }
		1, { 7,29 }
		2, { 7,29,31 }
		1, { 7,31 }
		1, { 8,9 }
		2, { 8,9,30 }
		3, { 8,9,30,31 }, <-5.60503415377632041583e+00,5.23606797749980401591e+00,1.73205080756888629701e+00,-1,-3.23713851016854903264e+01>
		2, { 8,9,31 }
		1, { 8,24 }
		2, { 8,24,25 }
		3, { 8,24,25,28,30,31,52,55,58,60,62,76 }, <-1,2.44569498711504529354e+00,3.35674683209468893048e-16,-1.86834471792541867430e+00,-1.08841586141661341713e+01>
		2, { 8,24,28 }
		1, { 8,25 }
		2, { 8,25,30 }
		1, { 8,28 }
		2, { 8,28,31 }
		1, { 8,30 }
		2, { 8,30,31 }
		1, { 8,31 }
		1, { 9,26 }
		2, { 9,26,27 }
		3, { 9,26,27,29,30,31,53,57,59,61,62,77 }, <-1.07046626931927724158e+00,2.61803398874988291212e+00,1.73205080756887386251e+00,1,-1.16511246663856464778e+01>
		2, { 9,26,29 }
		1, { 9,27 }
		2, { 9,27,30 }
		1, { 9,29 }
		2, { 9,29,31 }
		1, { 9,30 }
		2, { 9,30,31 }
		1, { 9,31 }
		1, { 10,11 }
		2, { 10,11,12 }
		3, { 10,11,12,35 }, <-1.29099444873580515569e+00,-1,1.42632988073211248824e-16,8.47701248843994695840e-17,-6.04609051260936603001e+00>
		2, { 10,11,13 }
		3, { 10,11,13,35,36,38,42,43,45,63,66,67 }, <-1.73205080756887341842e+00,-2.23606797749978891687e+00,-1.73205080756887563886e+00,1,-1.16511246663856500305e+01>
		2, { 10,11,35 }
		1, { 10,12 }
		2, { 10,12,14 }
		3, { 10,12,14,35,37,40,42,44,46,64,68,69 }, <-1,-1.29099444873580648796e+00,2.31918662401092248909e-16,-1.15470053837925168416e+00,-6.72677996249965293174e+00>
		2, { 10,12,35 }
		1, { 10,13 }
		2, { 10,13,36 }
		1, { 10,14 }
		2, { 10,14,37 }
		1, { 10,35 }
		2, { 10,35,42 }
		1, { 10,36 }
		2, { 10,36,37 }
		3, { 10,36,37,42 }, <-1.73205080756887697113e+00,-1.47213595499957916601e+00,-1.73205080756887630500e+00,-1,-1.07690119487195126169e+01>
		2, { 10,36,42 }
		1, { 10,37 }
		2, { 10,37,42 }
		1, { 10,42 }
		1, { 11,12 }
		2, { 11,12,15 }
		3, { 11,12,15,35,39,41,43,44,47,65,70,71 }, <-1.73205080756887785931e+00,-2.23606797749978847278e+00,1.73205080756887652704e+00,1,-1.16511246663856571359e+01>
		2, { 11,12,35 }
		1, { 11,13 }
		2, { 11,13,38 }
		1, { 11,15 }
		2, { 11,15,39 }
		1, { 11,35 }
		2, { 11,35,43 }
		1, { 11,38 }
		2, { 11,38,39 }
		3, { 11,38,39,43 }, <-1.17655628319286087446e+00,-1,-6.97771757495083794703e-16,1.35857017363628695961e+00,-7.31522921653156377175e+00>
		2, { 11,38,43 }
		1, { 11,39 }
		2, { 11,39,43 }
		1, { 11,43 }
		1, { 12,14 }
		2, { 12,14,40 }
		1, { 12,15 }
		2, { 12,15,41 }
		1, { 12,35 }
		2, { 12,35,44 }
		1, { 12,40 }
		2, { 12,40,41 }
		3, { 12,40,41,44 }, <-1.73205080756888096793e+00,-1.47213595499958316282e+00,1.73205080756887852544e+00,-1,-1.07690119487195357095e+01>
		2, { 12,40,44 }
		1, { 12,41 }
		2, { 12,41,44 }
		1, { 12,44 }
		1, { 13,16 }
		2, { 13,16,32 }
		3, { 13,16,32,36,45 }, <-2.26728394222850848649e+00,-1.30901699437494611900e+00,-2.80251707688814555297e+00,1,-1.33831754739545250033e+01>
		2, { 13,16,36 }
		1, { 13,18 }
		2, { 13,18,32 }
		3, { 13,18,32,38,45 }, <-1.73205080756887741522e+00,-1,-1.73205080756887874749e+00,1.47213595499958027624e+00,-1.02238363072933040598e+01>
		2, { 13,18,38 }
		1, { 13,32 }
		2, { 13,32,45 }
		1, { 13,36 }
		2, { 13,36,45 }
		1, { 13,38 }
		2, { 13,38,45 }
		1, { 13,45 }
		1, { 14,17 }
		2, { 14,17,33 }
		3, { 14,17,33,37,46 }, <-4.23606797749978891687e+00,-2.44569498711506083666e+00,-1,-5.46874024341974163121e+00,-2.50043852058321469656e+01>
		2, { 14,17,37 }
		1, { 14,20 }
		2, { 14,20,33 }
		3, { 14,20,33,40,46 }, <-4.23606797749979069323e+00,-2.44569498711505950439e+00,1,-5.46874024341974074304e+00,-2.50043852058321469656e+01>
		2, { 14,20,40 }
		1, { 14,33 }
		2, { 14,33,46 }
		1, { 14,37 }
		2, { 14,37,46 }
		1, { 14,40 }
		2, { 14,40,46 }
		1, { 14,46 }
		1, { 15,19 }
		2, { 15,19,34 }
		3, { 15,19,34,39,47 }, <-1.73205080756887941362e+00,-1,1.73205080756887785931e+00,1.47213595499957916601e+00,-1.02238363072933040598e+01>
		2, { 15,19,39 }
		1, { 15,21 }
		2, { 15,21,34 }
		3, { 15,21,34,41,47 }, <-2.26728394222851115103e+00,-1.30901699437494656308e+00,2.80251707688814377661e+00,1,-1.33831754739545267796e+01>
		2, { 15,21,41 }
		1, { 15,34 }
		2, { 15,34,47 }
		1, { 15,39 }
		2, { 15,39,47 }
		1, { 15,41 }
		2, { 15,41,47 }
		1, { 15,47 }
		1, { 16,17 }
		2, { 16,17,36,37 }
		3, { 16,17,36,37,48 }, <-1.73205080756887541682e+00,-1,-3.87298334620741702139e+00,-2.23606797749979158141e+00,-1.58288704610695951658e+01>
		2, { 16,17,48 }
		1, { 16,22 }
		2, { 16,22,32 }
		3, { 16,22,32,36,45,48,51,54,66,72,81,84,87,90,100,106,115,121 }, <6.98901610658558224715e-16,-2.79560644263423299747e-16,-1,6.63956530125630318409e-16,-2.61803398874989401435e+00>
		2, { 16,22,48,54,72 }
		1, { 16,32 }
		2, { 16,32,36,45 }
		1, { 16,36 }
		2, { 16,36,48 }
		1, { 16,48 }
		1, { 17,24 }
		2, { 17,24,33 }
		3, { 17,24,33,37,46,48,52,55,68,72,82,84,88,91,101,107,116,123 }, <1.90055778078775321463e-15,-1.07986237544758698205e-15,-1,-1.73205080756887763727e+00,-5.23606797749978980505e+00>
		2, { 17,24,48,55,72 }
		1, { 17,33 }
		2, { 17,33,37,46 }
		1, { 17,37 }
		2, { 17,37,48 }
		1, { 17,48 }
		1, { 18,19 }
		2, { 18,19,38,39 }
		3, { 18,19,38,39,49 }, <-1.73205080756888074589e+00,-1,-1.10262992023263246452e-15,4.47213595499958582735e+00,-1.58288704610696164821e+01>
		2, { 18,19,49 }
		1, { 18,23 }
		2, { 18,23,32 }
		3, { 18,23,32,38,45,49,51,56,67,73,81,85,87,92,102,106,117,122 }, <-5.03209159674157985379e-15,-2.13164991250858581715e-15,-1,1.73205080756887341842e+00,-5.23606797749979424594e+00>
		2, { 18,23,49,56,73 }
		1, { 18,32 }
		2, { 18,32,38,45 }
		1, { 18,38 }
		2, { 18,38,49 }
		1, { 18,49 }
		1, { 19,26 }
		2, { 19,26,34 }
		3, { 19,26,34,39,47,49,53,57,70,73,83,85,89,93,103,108,118,125 }, <-5.87445132243480063872e-15,-2.35409997847571063418e-15,1,1.73205080756887408455e+00,-5.23606797749979691048e+00>
		2, { 19,26,49,57,73 }
		1, { 19,34 }
		2, { 19,34,39,47 }
		1, { 19,39 }
		2, { 19,39,49 }
		1, { 19,49 }
		1, { 20,21 }
		2, { 20,21,40,41 }
		3, { 20,21,40,41,50 }, <-1.73205080756888052385e+00,-1,3.87298334620742501500e+00,-2.23606797749979113732e+00,-1.58288704610696218111e+01>
		2, { 20,21,50 }
		1, { 20,25 }
		2, { 20,25,33 }
		3, { 20,25,33,40,46,50,52,58,69,74,82,86,88,94,104,107,119,124 }, <-0,-1.78219910717932903942e-15,1,-1.73205080756887941362e+00,-5.23606797749979691048e+00>
		2, { 20,25,50,58,74 }
		1, { 20,33 }
		2, { 20,33,40,46 }
		1, { 20,40 }
		2, { 20,40,50 }
		1, { 20,50 }
		1, { 21,27 }
		2, { 21,27,34 }
		3, { 21,27,34,41,47,50,53,59,71,74,83,86,89,95,105,108,120,126 }, <-2.93722566121741925202e-15,-1.07986237544758067117e-15,1,3.15319813630693542570e-15,-2.61803398874990111977e+00>
		2, { 21,27,50,59,74 }
		1, { 21,34 }
		2, { 21,34,41,47 }
		1, { 21,41 }
		2, { 21,41,50 }
		1, { 21,50 }
		1, { 22,23 }
		2, { 22,23,32 }
		3, { 22,23,32,51 }, <-1.73205080756887941362e+00,1,-3.87298334620742146228e+00,2.23606797749979469003e+00,-1.69835709994488652796e+01>
		2, { 22,23,51 }
		1, { 22,28 }
		2, { 22,28,54 }
		1, { 22,32 }
		2, { 22,32,51 }
		1, { 22,51 }
		2, { 22,51,54 }
		1, { 22,54 }
		1, { 23,29 }
		2, { 23,29,56 }
		1, { 23,32 }
		2, { 23,32,51 }
		1, { 23,51 }
		2, { 23,51,56 }
		1, { 23,56 }
		1, { 24,25 }
		2, { 24,25,33 }
		3, { 24,25,33,52 }, <-1.73205080756887075388e+00,1,5.38966284733794684756e-16,-4.47213595499959026824e+00,-1.69835709994488723851e+01>
		2, { 24,25,52 }
		1, { 24,28 }
		2, { 24,28,55 }
		1, { 24,33 }
		2, { 24,33,52 }
		1, { 24,52 }
		2, { 24,52,55 }
		1, { 24,55 }
		1, { 25,30 }
		2, { 25,30,58 }
		1, { 25,33 }
		2, { 25,33,52 }
		1, { 25,52 }
		2, { 25,52,58 }
		1, { 25,58 }
		1, { 26,27 }
		2, { 26,27,34 }
		3, { 26,27,34,53 }, <-1.73205080756887830340e+00,1,3.87298334620741258050e+00,2.23606797749978936096e+00,-1.69835709994488368579e+01>
		2, { 26,27,53 }
		1, { 26,29 }
		2, { 26,29,57 }
		1, { 26,34 }
		2, { 26,34,53 }
		1, { 26,53 }
		2, { 26,53,57 }
		1, { 26,57 }
		1, { 27,30 }
		2, { 27,30,59 }
		1, { 27,34 }
		2, { 27,34,53 }
		1, { 27,53 }
		2, { 27,53,59 }
		1, { 27,59 }
		1, { 28,31 }
		2, { 28,31,60 }
		1, { 28,54 }
		2, { 28,54,55 }
		3, { 28,54,55,60 }, <-1,5.46874024341975850660e+00,-4.23606797749979957501e+00,-2.44569498711506749800e+00,-2.63377185391655608271e+01>
		2, { 28,54,60 }
		1, { 28,55 }
		2, { 28,55,60 }
		1, { 28,60 }
		1, { 29,31 }
		2, { 29,31,61 }
		1, { 29,56 }
		2, { 29,56,57 }
		3, { 29,56,57,61 }, <-1,5.46874024341970610408e+00,1.33610679843374814405e-15,4.89138997423007282350e+00,-2.63377185391653014790e+01>
		2, { 29,56,61 }
		1, { 29,57 }
		2, { 29,57,61 }
		1, { 29,61 }
		1, { 30,31 }
		2, { 30,31,62 }
		1, { 30,58 }
		2, { 30,58,59 }
		3, { 30,58,59,62 }, <-1,5.46874024341973363761e+00,4.23606797749978536416e+00,-2.44569498711504840216e+00,-2.63377185391654435875e+01>
		2, { 30,58,62 }
		1, { 30,59 }
		2, { 30,59,62 }
		1, { 30,62 }
		1, { 31,60 }
		2, { 31,60,61 }
		3, { 31,60,61,62 }, <-1,7.33708496134515542053e+00,8.38310008170229405931e-15,9.58068580765976508999e-16,-2.74164078649986855396e+01>
		2, { 31,60,62 }
		1, { 31,61 }
		2, { 31,61,62 }
		1, { 31,62 }
		1, { 32,45 }
		2, { 32,45,51,81,87,106 }
		1, { 32,51 }
		1, { 33,46 }
		2, { 33,46,52,82,88,107 }
		1, { 33,52 }
		1, { 34,47 }
		2, { 34,47,53,83,89,108 }
		1, { 34,53 }
		1, { 35,42 }
		2, { 35,42,63 }
		3, { 35,42,63,64 }, <-1.73205080756888540883e+00,-7.47213595499960536728e+00,-1.73205080756888341043e+00,-1,-3.23713851016854761156e+01>
		2, { 35,42,64 }
		1, { 35,43 }
		2, { 35,43,63 }
		3, { 35,43,63,65 }, <-1,-4.31403970504048661638e+00,-2.96059473233375800569e-16,1.15470053837925146212e+00,-1.86896279024990796813e+01>
		2, { 35,43,65 }
		1, { 35,44 }
		2, { 35,44,64 }
		3, { 35,44,64,65 }, <-1.73205080756888496474e+00,-7.47213595499960536728e+00,1.73205080756888296634e+00,-1,-3.23713851016854832210e+01>
		2, { 35,44,65 }
		1, { 35,63 }
		2, { 35,63,64 }
		3, { 35,63,64,65 }, <-1,-7.33708496134514387421e+00,-1.33226762955018173484e-15,1.99840144432527270086e-15,-3.06524758424984149485e+01>
		2, { 35,63,65 }
		1, { 35,64 }
		2, { 35,64,65 }
		1, { 35,65 }
		1, { 36,37 }
		2, { 36,37,42 }
		3, { 36,37,42,48,66,68,78,84,100,101 }, <-3.32767763799196886296e-15,-1,-2.26728394222851026285e+00,-1.30901699437494700717e+00,-8.49178549972442020533e+00>
		2, { 36,37,48 }
		1, { 36,42 }
		2, { 36,42,66 }
		1, { 36,45 }
		2, { 36,45,66 }
		1, { 36,48 }
		2, { 36,48,66,84,100 }
		1, { 36,66 }
		1, { 37,42 }
		2, { 37,42,68 }
		1, { 37,46 }
		2, { 37,46,68 }
		1, { 37,48 }
		2, { 37,48,68,84,101 }
		1, { 37,68 }
		1, { 38,39 }
		2, { 38,39,43 }
		3, { 38,39,43,49,67,70,79,85,102,103 }, <-6.99827699648008286320e-16,-1,-1.22717108343677723822e-15,2.61803398874989756706e+00,-8.49178549972443086347e+00>
		2, { 38,39,49 }
		1, { 38,43 }
		2, { 38,43,67 }
		1, { 38,45 }
		2, { 38,45,67 }
		1, { 38,49 }
		2, { 38,49,67,85,102 }
		1, { 38,67 }
		1, { 39,43 }
		2, { 39,43,70 }
		1, { 39,47 }
		2, { 39,47,70 }
		1, { 39,49 }
		2, { 39,49,70,85,103 }
		1, { 39,70 }
		1, { 40,41 }
		2, { 40,41,44 }
		3, { 40,41,44,50,69,71,80,86,104,105 }, <3.32767763799198148473e-15,-1,2.26728394222851337148e+00,-1.30901699437494656308e+00,-8.49178549972442020533e+00>
		2, { 40,41,50 }
		1, { 40,44 }
		2, { 40,44,69 }
		1, { 40,46 }
		2, { 40,46,69 }
		1, { 40,50 }
		2, { 40,50,69,86,104 }
		1, { 40,69 }
		1, { 41,44 }
		2, { 41,44,71 }
		1, { 41,47 }
		2, { 41,47,71 }
		1, { 41,50 }
		2, { 41,50,71,86,105 }
		1, { 41,71 }
		1, { 42,63 }
		2, { 42,63,64 }
		3, { 42,63,64,78 }, <-3.24844721803977755040e-15,-4.47213595499959026824e+00,-1.73205080756888074589e+00,-1,-1.98381477176336105117e+01>
		2, { 42,63,66 }
		3, { 42,63,66,78 }, <-7.38375978567335109794e-15,-1.04721359549996524407e+01,-7.33708496134521670484e+00,-1,-5.05096566395137855920e+01>
		2, { 42,63,78 }
		1, { 42,64 }
		2, { 42,64,68 }
		3, { 42,64,68,78 }, <-1.28197512425570783042e-15,-2.30940107675850470059e+00,-1,-1.29099444873580471160e+00,-1.11388026216662492374e+01>
		2, { 42,64,78 }
		1, { 42,66 }
		2, { 42,66,78 }
		1, { 42,68 }
		2, { 42,68,78 }
		1, { 42,78 }
		1, { 43,63 }
		2, { 43,63,65 }
		3, { 43,63,65,79 }, <-0,-2.23606797749978891687e+00,7.08658419595804115330e-17,1,-9.91907385881677861050e+00>
		2, { 43,63,67 }
		3, { 43,63,67,79 }, <-5.12790049702284769055e-16,-3.73668943585085955306e+00,-1,2.44569498711505506350e+00,-1.80229612358324082777e+01>
		2, { 43,63,79 }
		1, { 43,65 }
		2, { 43,65,70 }
		3, { 43,65,70,79 }, <1.02558009940456796039e-15,-3.73668943585086354986e+00,1,2.44569498711505906030e+00,-1.80229612358324295940e+01>
		2, { 43,65,79 }
		1, { 43,67 }
		2, { 43,67,79 }
		1, { 43,70 }
		2, { 43,70,79 }
		1, { 43,79 }
		1, { 44,64 }
		2, { 44,64,65 }
		3, { 44,64,65,80 }, <-3.96152099760947737389e-16,-4.47213595499958582735e+00,1.73205080756887985771e+00,-1,-1.98381477176335927481e+01>
		2, { 44,64,69 }
		3, { 44,64,69,80 }, <-3.84592537276712664671e-16,-2.30940107675850381241e+00,1,-1.29099444873580626592e+00,-1.11388026216662474610e+01>
		2, { 44,64,80 }
		1, { 44,65 }
		2, { 44,65,71 }
		3, { 44,65,71,80 }, <1.00687633440999433662e-15,-1.04721359549995831628e+01,7.33708496134517584863e+00,-1,-5.05096566395134871641e+01>
		2, { 44,65,80 }
		1, { 44,69 }
		2, { 44,69,80 }
		1, { 44,71 }
		2, { 44,71,80 }
		1, { 44,80 }
		1, { 45,66 }
		2, { 45,66,67 }
		3, { 45,66,67,81 }, <-5.15985034193910999186e-16,-1,-1.93649167310370495798e+00,1.11803398874989268208e+00,-8.49178549972440954718e+00>
		2, { 45,66,81 }
		1, { 45,67 }
		2, { 45,67,81 }
		1, { 45,81 }
		1, { 46,68 }
		2, { 46,68,69 }
		3, { 46,68,69,82 }, <3.43990022795939729352e-16,-1,-6.80331633559026886788e-16,-2.23606797749978847278e+00,-8.49178549972442020533e+00>
		2, { 46,68,82 }
		1, { 46,69 }
		2, { 46,69,82 }
		1, { 46,82 }
		1, { 47,70 }
		2, { 47,70,71 }
		3, { 47,70,71,83 }, <-0,-1,1.93649167310371317363e+00,1.11803398874989645684e+00,-8.49178549972443796889e+00>
		2, { 47,70,83 }
		1, { 47,71 }
		2, { 47,71,83 }
		1, { 47,83 }
		1, { 48,72 }
		2, { 48,72,84 }
		1, { 48,84 }
		1, { 49,73 }
		2, { 49,73,85 }
		1, { 49,85 }
		1, { 50,74 }
		2, { 50,74,86 }
		1, { 50,86 }
		1, { 51,54 }
		2, { 51,54,75 }
		3, { 51,54,75,87,90 }, <3.01075595818321465679e-15,2.61803398874988557665e+00,-2.80251707688814155617e+00,1,-1.33831754739545107924e+01>
		2, { 51,54,87,90 }
		1, { 51,56 }
		2, { 51,56,75 }
		3, { 51,56,75,87,92 }, <3.06774243366408534057e-15,1.35857017363628518325e+00,-1.17655628319285998629e+00,1,-6.94489953361421630262e+00>
		2, { 51,56,87,92 }
		1, { 51,75 }
		2, { 51,75,87 }
		1, { 51,87 }
		1, { 52,55 }
		2, { 52,55,76 }
		3, { 52,55,76,88,91 }, <2.28170725615534984051e-14,4.89138997423007992893e+00,-1,-5.46874024341970876861e+00,-2.50043852058320119625e+01>
		2, { 52,55,88,91 }
		1, { 52,58 }
		2, { 52,58,76 }
		3, { 52,58,76,88,94 }, <2.30245004939312962361e-14,4.89138997423008703436e+00,1,-5.46874024341971498586e+00,-2.50043852058320403842e+01>
		2, { 52,58,88,94 }
		1, { 52,76 }
		2, { 52,76,88 }
		1, { 52,88 }
		1, { 53,57 }
		2, { 53,57,77 }
		3, { 53,57,77,89,93 }, <4.57470362914819046249e-15,1.35857017363628052031e+00,1.17655628319285932015e+00,1,-6.94489953361420830902e+00>
		2, { 53,57,89,93 }
		1, { 53,59 }
		2, { 53,59,77 }
		3, { 53,59,77,89,95 }, <6.17997275627091449061e-15,2.61803398874987180989e+00,2.80251707688813400665e+00,1,-1.33831754739544699362e+01>
		2, { 53,59,89,95 }
		1, { 53,77 }
		2, { 53,77,89 }
		1, { 53,89 }
		1, { 54,55 }
		2, { 54,55,60 }
		3, { 54,55,60,90,91,96 }, <2.37477777775893719381e-15,2.23606797749978758461e+00,-1.73205080756887430660e+00,-1,-1.03601302176498428764e+01>
		2, { 54,55,72 }
		3, { 54,55,72,90,91 }, <1.82229965890036429557e-15,1,-1.93649167310370806661e+00,-1.11803398874989534661e+00,-7.91443523053479847107e+00>
		2, { 54,55,90,91 }
		1, { 54,60 }
		2, { 54,60,75 }
		3, { 54,60,75,90,96 }, <1.67812722401666959967e-14,1.04721359549996648752e+01,-7.33708496134523446841e+00,1,-4.44635661269044959454e+01>
		2, { 54,60,90,96 }
		1, { 54,72 }
		2, { 54,72,90 }
		1, { 54,75 }
		2, { 54,75,90 }
		1, { 54,90 }
		1, { 55,60 }
		2, { 55,60,76 }
		3, { 55,60,76,91,96 }, <1.02923334646658668354e-14,3.73668943585084090131e+00,-1,-2.44569498711503729993e+00,-1.58655825841658106867e+01>
		2, { 55,60,91,96 }
		1, { 55,72 }
		2, { 55,72,91 }
		1, { 55,76 }
		2, { 55,76,91 }
		1, { 55,91 }
		1, { 56,57 }
		2, { 56,57,61 }
		3, { 56,57,61,92,93,97 }, <1.39556213549137608507e-15,1.11803398874989734502e+00,2.30817634021392954835e-16,1,-5.18006510882493476089e+00>
		2, { 56,57,73 }
		3, { 56,57,73,92,93 }, <5.55786007091953249769e-15,1,-2.70820350654938914916e-16,2.23606797749978225553e+00,-7.91443523053478514839e+00>
		2, { 56,57,92,93 }
		1, { 56,61 }
		2, { 56,61,75 }
		3, { 56,61,75,92,97 }, <2.56395024851143183249e-15,2.30940107675850425650e+00,-1,1.29099444873580715409e+00,-9.80546928833292419370e+00>
		2, { 56,61,92,97 }
		1, { 56,73 }
		2, { 56,73,92 }
		1, { 56,75 }
		2, { 56,75,92 }
		1, { 56,92 }
		1, { 57,61 }
		2, { 57,61,77 }
		3, { 57,61,77,93,97 }, <5.22920771684455168678e-15,2.30940107675850647695e+00,1,1.29099444873581248316e+00,-9.80546928833294373362e+00>
		2, { 57,61,93,97 }
		1, { 57,73 }
		2, { 57,73,93 }
		1, { 57,77 }
		2, { 57,77,93 }
		1, { 57,93 }
		1, { 58,59 }
		2, { 58,59,62 }
		3, { 58,59,62,94,95,98 }, <2.45959126982176591607e-15,2.23606797749979513412e+00,1.73205080756888163407e+00,-1,-1.03601302176498766272e+01>
		2, { 58,59,74 }
		3, { 58,59,74,94,95 }, <2.13922133870911652958e-15,1,1.93649167310370828865e+00,-1.11803398874989223799e+00,-7.91443523053479314200e+00>
		2, { 58,59,94,95 }
		1, { 58,62 }
		2, { 58,62,76 }
		3, { 58,62,76,94,98 }, <9.87120845676886675387e-15,3.73668943585083734860e+00,1,-2.44569498711503330313e+00,-1.58655825841657946995e+01>
		2, { 58,62,94,98 }
		1, { 58,74 }
		2, { 58,74,94 }
		1, { 58,76 }
		2, { 58,76,94 }
		1, { 58,94 }
		1, { 59,62 }
		2, { 59,62,77 }
		3, { 59,62,77,95,98 }, <2.87162427833281482266e-14,1.04721359549997394822e+01,7.33708496134530108179e+00,1,-4.44635661269048583222e+01>
		2, { 59,62,95,98 }
		1, { 59,74 }
		2, { 59,74,95 }
		1, { 59,77 }
		2, { 59,77,95 }
		1, { 59,95 }
		1, { 60,61 }
		2, { 60,61,62 }
		3, { 60,61,62,96,97,98 }, <1.13848490000611743698e-15,1,1.11434069351397178407e-15,1.52581088998615438180e-16,-3.60039552549430874606e+00>
		2, { 60,61,75 }
		3, { 60,61,75,96,97 }, <9.32587340685134964944e-15,4.47213595499957694557e+00,-1.73205080756887119797e+00,1,-1.72561588201619500182e+01>
		2, { 60,61,96,97 }
		1, { 60,62 }
		2, { 60,62,76 }
		3, { 60,62,76,96,98 }, <4.33786549238244083575e-15,2.23606797749979868684e+00,1.10187462948332928868e-15,-1,-8.62807941008101408897e+00>
		2, { 60,62,96,98 }
		1, { 60,75 }
		2, { 60,75,96 }
		1, { 60,76 }
		2, { 60,76,96 }
		1, { 60,96 }
		1, { 61,62 }
		2, { 61,62,77 }
		3, { 61,62,77,97,98 }, <1.41822451714418757603e-14,4.47213595499958671553e+00,1.73205080756887497273e+00,1,-1.72561588201619926508e+01>
		2, { 61,62,97,98 }
		1, { 61,75 }
		2, { 61,75,97 }
		1, { 61,77 }
		2, { 61,77,97 }
		1, { 61,97 }
		1, { 62,76 }
		2, { 62,76,98 }
		1, { 62,77 }
		2, { 62,77,98 }
		1, { 62,98 }
		1, { 63,64 }
		2, { 63,64,65 }
		3, { 63,64,65,99 }, <1,-7.33708496134516341414e+00,-1.50971083745436822192e-15,2.43824028291626918295e-15,-3.06524758424984931082e+01>
		2, { 63,64,78 }
		3, { 63,64,78,99 }, <1.73205080756888030180e+00,-7.47213595499960359092e+00,-1.73205080756888385451e+00,-1,-3.23713851016854761156e+01>
		2, { 63,64,99 }
		1, { 63,65 }
		2, { 63,65,79 }
		3, { 63,65,79,99 }, <1,-4.31403970504048928092e+00,-3.42342832490523897306e-16,1.15470053837925346052e+00,-1.86896279024990867867e+01>
		2, { 63,65,99 }
		1, { 63,66 }
		2, { 63,66,67 }
		3, { 63,66,67,78,79,81,99,100,102,109,110,112 }, <1.73205080756887230820e+00,-2.23606797749978802869e+00,-1.73205080756887475069e+00,1,-1.16511246663856447014e+01>
		2, { 63,66,78 }
		1, { 63,67 }
		2, { 63,67,79 }
		1, { 63,78 }
		2, { 63,78,99 }
		1, { 63,79 }
		2, { 63,79,99 }
		1, { 63,99 }
		1, { 64,65 }
		2, { 64,65,80 }
		3, { 64,65,80,99 }, <1.73205080756888030180e+00,-7.47213595499959382096e+00,1.73205080756888141202e+00,-1,-3.23713851016854405884e+01>
		2, { 64,65,99 }
		1, { 64,68 }
		2, { 64,68,69 }
		3, { 64,68,69,78,80,82,99,101,104,109,111,113 }, <1,-1.29099444873580493365e+00,5.44754544969091637900e-17,-1.15470053837924968576e+00,-6.72677996249964582631e+00>
		2, { 64,68,78 }
		1, { 64,69 }
		2, { 64,69,80 }
		1, { 64,78 }
		2, { 64,78,99 }
		1, { 64,80 }
		2, { 64,80,99 }
		1, { 64,99 }
		1, { 65,70 }
		2, { 65,70,71 }
		3, { 65,70,71,79,80,83,99,103,105,110,111,114 }, <1.73205080756887697113e+00,-2.23606797749978758461e+00,1.73205080756887497273e+00,1,-1.16511246663856535832e+01>
		2, { 65,70,79 }
		1, { 65,71 }
		2, { 65,71,80 }
		1, { 65,79 }
		2, { 65,79,99 }
		1, { 65,80 }
		2, { 65,80,99 }
		1, { 65,99 }
		1, { 66,67 }
		2, { 66,67,81 }
		1, { 66,78 }
		2, { 66,78,100 }
		1, { 66,81 }
		2, { 66,81,100 }
		1, { 66,100 }
		1, { 67,79 }
		2, { 67,79,102 }
		1, { 67,81 }
		2, { 67,81,102 }
		1, { 67,102 }
		1, { 68,69 }
		2, { 68,69,82 }
		1, { 68,78 }
		2, { 68,78,101 }
		1, { 68,82 }
		2, { 68,82,101 }
		1, { 68,101 }
		1, { 69,80 }
		2, { 69,80,104 }
		1, { 69,82 }
		2, { 69,82,104 }
		1, { 69,104 }
		1, { 70,71 }
		2, { 70,71,83 }
		1, { 70,79 }
		2, { 70,79,103 }
		1, { 70,83 }
		2, { 70,83,103 }
		1, { 70,103 }
		1, { 71,80 }
		2, { 71,80,105 }
		1, { 71,83 }
		2, { 71,83,105 }
		1, { 71,105 }
		1, { 72,84 }
		2, { 72,84,90,115,121 }
		3, { 72,84,90,91,115,116,121,123,127,134 }, <1.73205080756888740723e+00,1,-4.53456788445703384838e+00,-2.61803398874989889933e+00,-1.69835709994488830432e+01>
		2, { 72,84,91,116,123 }
		1, { 72,90 }
		2, { 72,90,91 }
		1, { 72,91 }
		1, { 73,85 }
		2, { 73,85,92,117,122 }
		3, { 73,85,92,93,117,118,122,125,128,135 }, <1.73205080756887497273e+00,1,1.39888101102768288367e-14,5.23606797749972052713e+00,-1.69835709994486876440e+01>
		2, { 73,85,93,118,125 }
		1, { 73,92 }
		2, { 73,92,93 }
		1, { 73,93 }
		1, { 74,86 }
		2, { 74,86,94,119,124 }
		3, { 74,86,94,95,119,120,124,126,129,136 }, <1.73205080756888096793e+00,1,4.53456788445697789314e+00,-2.61803398874986337219e+00,-1.69835709994487160657e+01>
		2, { 74,86,95,120,126 }
		1, { 74,94 }
		2, { 74,94,95 }
		1, { 74,95 }
		1, { 75,87 }
		2, { 75,87,90 }
		3, { 75,87,90,92,96,97,121,122,127,128,130,137 }, <1.07046626931926747162e+00,2.61803398874988468847e+00,-1.73205080756887475069e+00,1,-1.16511246663856304906e+01>
		2, { 75,87,92 }
		1, { 75,90 }
		2, { 75,90,96 }
		1, { 75,92 }
		2, { 75,92,97 }
		1, { 75,96 }
		2, { 75,96,97 }
		1, { 75,97 }
		1, { 76,88 }
		2, { 76,88,91 }
		3, { 76,88,91,94,96,98,123,124,127,129,130,138 }, <1,2.44569498711503285904e+00,-4.89670924733806439186e-16,-1.86834471792541401136e+00,-1.08841586141660791043e+01>
		2, { 76,88,94 }
		1, { 76,91 }
		2, { 76,91,96 }
		1, { 76,94 }
		2, { 76,94,98 }
		1, { 76,96 }
		2, { 76,96,98 }
		1, { 76,98 }
		1, { 77,89 }
		2, { 77,89,93 }
		3, { 77,89,93,95,97,98,125,126,128,129,130,139 }, <1.07046626931927502113e+00,2.61803398874988424438e+00,1.73205080756887563886e+00,1,-1.16511246663856358197e+01>
		2, { 77,89,95 }
		1, { 77,93 }
		2, { 77,93,97 }
		1, { 77,95 }
		2, { 77,95,98 }
		1, { 77,97 }
		2, { 77,97,98 }
		1, { 77,98 }
		1, { 78,99 }
		2, { 78,99,109 }
		1, { 78,100 }
		2, { 78,100,101 }
		3, { 78,100,101,109 }, <1.73205080756887896953e+00,-1.47213595499958183055e+00,-1.73205080756887674909e+00,-1,-1.07690119487195268277e+01>
		2, { 78,100,109 }
		1, { 78,101 }
		2, { 78,101,109 }
		1, { 78,109 }
		1, { 79,99 }
		2, { 79,99,110 }
		1, { 79,102 }
		2, { 79,102,103 }
		3, { 79,102,103,110 }, <1.17655628319286043038e+00,-1,-7.85243656534380854030e-16,1.35857017363628607143e+00,-7.31522921653156110722e+00>
		2, { 79,102,110 }
		1, { 79,103 }
		2, { 79,103,110 }
		1, { 79,110 }
		1, { 80,99 }
		2, { 80,99,111 }
		1, { 80,104 }
		2, { 80,104,105 }
		3, { 80,104,105,111 }, <1.73205080756887586091e+00,-1.47213595499957783375e+00,1.73205080756887941362e+00,-1,-1.07690119487195126169e+01>
		2, { 80,104,111 }
		1, { 80,105 }
		2, { 80,105,111 }
		1, { 80,111 }
		1, { 81,100 }
		2, { 81,100,112 }
		2, { 81,100,106,115 }
		3, { 81,100,106,112,115 }, <2.26728394222851292739e+00,-1.30901699437494656308e+00,-2.80251707688815177022e+00,1,-1.33831754739545445432e+01>
		1, { 81,102 }
		2, { 81,102,112 }
		2, { 81,102,106,117 }
		3, { 81,102,106,112,117 }, <1.73205080756887497273e+00,-1,-1.73205080756887297433e+00,1.47213595499957228263e+00,-1.02238363072932809672e+01>
		1, { 81,106 }
		2, { 81,106,112 }
		1, { 81,112 }
		1, { 82,101 }
		2, { 82,101,113 }
		2, { 82,101,107,116 }
		3, { 82,101,107,113,116 }, <4.23606797749976227152e+00,-2.44569498711503818811e+00,-1,-5.46874024341970788043e+00,-2.50043852058319799880e+01>
		1, { 82,104 }
		2, { 82,104,113 }
		2, { 82,104,107,119 }
		3, { 82,104,107,113,119 }, <4.23606797749978536416e+00,-2.44569498711505328714e+00,1,-5.46874024341973452579e+00,-2.50043852058321114384e+01>
		1, { 82,107 }
		2, { 82,107,113 }
		1, { 82,113 }
		1, { 83,103 }
		2, { 83,103,114 }
		2, { 83,103,108,118 }
		3, { 83,103,108,114,118 }, <1.73205080756887896953e+00,-1,1.73205080756887386251e+00,1.47213595499957095036e+00,-1.02238363072932916253e+01>
		1, { 83,105 }
		2, { 83,105,114 }
		2, { 83,105,108,120 }
		3, { 83,105,108,114,120 }, <2.26728394222850848649e+00,-1.30901699437494412059e+00,2.80251707688813267438e+00,1,-1.33831754739544983579e+01>
		1, { 83,108 }
		2, { 83,108,114 }
		1, { 83,114 }
		1, { 84,100 }
		2, { 84,100,101 }
		3, { 84,100,101,115,116 }, <1.73205080756888651905e+00,-1,-3.87298334620742679135e+00,-2.23606797749979557821e+00,-1.58288704610696466801e+01>
		2, { 84,100,115 }
		1, { 84,101 }
		2, { 84,101,116 }
		1, { 84,115 }
		2, { 84,115,116 }
		1, { 84,116 }
		1, { 85,102 }
		2, { 85,102,103 }
		3, { 85,102,103,117,118 }, <1.73205080756887763727e+00,-1,1.82466795606821361064e-15,4.47213595499955740564e+00,-1.58288704610695418751e+01>
		2, { 85,102,117 }
		1, { 85,103 }
		2, { 85,103,118 }
		1, { 85,117 }
		2, { 85,117,118 }
		1, { 85,118 }
		1, { 86,104 }
		2, { 86,104,105 }
		3, { 86,104,105,119,120 }, <1.73205080756886564686e+00,-1,3.87298334620738726741e+00,-2.23606797749976937695e+00,-1.58288704610694743735e+01>
		2, { 86,104,119 }
		1, { 86,105 }
		2, { 86,105,120 }
		1, { 86,119 }
		2, { 86,119,120 }
		1, { 86,120 }
		1, { 87,90 }
		2, { 87,90,121 }
		1, { 87,92 }
		2, { 87,92,122 }
		1, { 87,106 }
		2, { 87,106,121 }
		3, { 87,106,121,122 }, <1.73205080756887896953e+00,1,-3.87298334620739304057e+00,2.23606797749977248557e+00,-1.69835709994487764618e+01>
		2, { 87,106,122 }
		1, { 87,121 }
		2, { 87,121,122 }
		1, { 87,122 }
		1, { 88,91 }
		2, { 88,91,123 }
		1, { 88,94 }
		2, { 88,94,124 }
		1, { 88,107 }
		2, { 88,107,123 }
		3, { 88,107,123,124 }, <1.73205080756888718518e+00,1,-3.99680288865057695616e-15,-4.47213595499959826185e+00,-1.69835709994489150176e+01>
		2, { 88,107,124 }
		1, { 88,123 }
		2, { 88,123,124 }
		1, { 88,124 }
		1, { 89,93 }
		2, { 89,93,125 }
		1, { 89,95 }
		2, { 89,95,126 }
		1, { 89,108 }
		2, { 89,108,125 }
		3, { 89,108,125,126 }, <1.73205080756887142002e+00,1,3.87298334620738504697e+00,2.23606797749975028111e+00,-1.69835709994487373820e+01>
		2, { 89,108,126 }
		1, { 89,125 }
		2, { 89,125,126 }
		1, { 89,126 }
		1, { 90,91 }
		2, { 90,91,96 }
		3, { 90,91,96,127 }, <1,5.46874024341974873664e+00,-4.23606797749979335777e+00,-2.44569498711506350119e+00,-2.63377185391655110891e+01>
		2, { 90,91,127 }
		1, { 90,96 }
		2, { 90,96,127 }
		1, { 90,121 }
		2, { 90,121,127 }
		1, { 90,127 }
		1, { 91,96 }
		2, { 91,96,127 }
		1, { 91,123 }
		2, { 91,123,127 }
		1, { 91,127 }
		1, { 92,93 }
		2, { 92,93,97 }
		3, { 92,93,97,128 }, <1,5.46874024341975406571e+00,1.15866359052957329267e-15,4.89138997423011723242e+00,-2.63377185391655181945e+01>
		2, { 92,93,128 }
		1, { 92,97 }
		2, { 92,97,128 }
		1, { 92,122 }
		2, { 92,122,128 }
		1, { 92,128 }
		1, { 93,97 }
		2, { 93,97,128 }
		1, { 93,125 }
		2, { 93,125,128 }
		1, { 93,128 }
		1, { 94,95 }
		2, { 94,95,98 }
		3, { 94,95,98,129 }, <1,5.46874024341976028296e+00,4.23606797749980579226e+00,-2.44569498711505994848e+00,-2.63377185391655608271e+01>
		2, { 94,95,129 }
		1, { 94,98 }
		2, { 94,98,129 }
		1, { 94,124 }
		2, { 94,124,129 }
		1, { 94,129 }
		1, { 95,98 }
		2, { 95,98,129 }
		1, { 95,126 }
		2, { 95,126,129 }
		1, { 95,129 }
		1, { 96,97 }
		2, { 96,97,98 }
		3, { 96,97,98,130 }, <1,7.33708496134519450038e+00,8.20565687379815372060e-15,1.39790741935697220222e-15,-2.74164078649988240954e+01>
		2, { 96,97,130 }
		1, { 96,98 }
		2, { 96,98,130 }
		1, { 96,127 }
		2, { 96,127,130 }
		1, { 96,130 }
		1, { 97,98 }
		2, { 97,98,130 }
		1, { 97,128 }
		2, { 97,128,130 }
		1, { 97,130 }
		1, { 98,129 }
		2, { 98,129,130 }
		1, { 98,130 }
		1, { 99,109 }
		2, { 99,109,110 }
		3, { 99,109,110,111 }, <1.29099444873580582183e+00,-1,1.05640559936252975668e-16,4.75382519713138408994e-16,-6.04609051260936514183e+00>
		2, { 99,109,111 }
		1, { 99,110 }
		2, { 99,110,111 }
		1, { 99,111 }
		1, { 100,101 }
		2, { 100,101,109 }
		3, { 100,101,109,115,116,131 }, <1.93649167310371073114e+00,-1.11803398874989468048e+00,-1.73205080756887697113e+00,-1,-1.03601302176498606400e+01>
		2, { 100,101,115,116 }
		1, { 100,109 }
		2, { 100,109,112 }
		3, { 100,109,112,115,131 }, <9.06913576891408901304e+00,-5.23606797749980934498e+00,-7.33708496134520959941e+00,1,-4.44635661269043183097e+01>
		2, { 100,109,115,131 }
		1, { 100,112 }
		2, { 100,112,115 }
		1, { 100,115 }
		1, { 101,109 }
		2, { 101,109,113 }
		3, { 101,109,113,116,131 }, <3.23606797749978314371e+00,-1.86834471792542489155e+00,-1,-2.44569498711504795807e+00,-1.58655825841658586484e+01>
		2, { 101,109,116,131 }
		1, { 101,113 }
		2, { 101,113,116 }
		1, { 101,116 }
		1, { 102,103 }
		2, { 102,103,110 }
		3, { 102,103,110,117,118,132 }, <1.73205080756887763727e+00,-1,8.70986053651675143579e-17,1.78885438199982460539e+00,-9.26638216896589028693e+00>
		2, { 102,103,117,118 }
		1, { 102,110 }
		2, { 102,110,112 }
		3, { 102,110,112,117,132 }, <2.00000000000000532907e+00,-1.15470053837925523688e+00,-1,1.29099444873579805027e+00,-9.80546928833290998284e+00>
		2, { 102,110,117,132 }
		1, { 102,112 }
		2, { 102,112,117 }
		1, { 102,117 }
		1, { 103,110 }
		2, { 103,110,114 }
		3, { 103,110,114,118,132 }, <1.99999999999999533706e+00,-1.15470053837925101803e+00,1,1.29099444873578961257e+00,-9.80546928833286202121e+00>
		2, { 103,110,118,132 }
		1, { 103,114 }
		2, { 103,114,118 }
		1, { 103,118 }
		1, { 104,105 }
		2, { 104,105,111 }
		3, { 104,105,111,119,120,133 }, <1.93649167310371206341e+00,-1.11803398874989801115e+00,1.73205080756887963567e+00,-1,-1.03601302176498695218e+01>
		2, { 104,105,119,120 }
		1, { 104,111 }
		2, { 104,111,113 }
		3, { 104,111,113,119,133 }, <3.23606797749982932899e+00,-1.86834471792545331326e+00,1,-2.44569498711507460342e+00,-1.58655825841660469422e+01>
		2, { 104,111,119,133 }
		1, { 104,113 }
		2, { 104,113,119 }
		1, { 104,119 }
		1, { 105,111 }
		2, { 105,111,114 }
		3, { 105,111,114,120,133 }, <9.06913576891383499401e+00,-5.23606797749966279554e+00,7.33708496134495646857e+00,1,-4.44635661269029327514e+01>
		2, { 105,111,120,133 }
		1, { 105,114 }
		2, { 105,114,120 }
		1, { 105,120 }
		1, { 106,112 }
		2, { 106,112,115 }
		3, { 106,112,115,117,121,122,131,132,134,135,137,140 }, <7.33708496134516430232e+00,-1,-4.53456788445702674295e+00,2.61803398874989001754e+00,-3.05030403837599060068e+01>
		2, { 106,112,117 }
		1, { 106,115 }
		2, { 106,115,121 }
		1, { 106,117 }
		2, { 106,117,122 }
		1, { 106,121 }
		2, { 106,121,122 }
		1, { 106,122 }
		1, { 107,113 }
		2, { 107,113,116 }
		3, { 107,113,116,119,123,124,131,133,134,136,138,140 }, <7.33708496134517140774e+00,-1,-6.72432453024836452331e-15,-5.23606797749978714052e+00,-3.05030403837599273231e+01>
		2, { 107,113,119 }
		1, { 107,116 }
		2, { 107,116,123 }
		1, { 107,119 }
		2, { 107,119,124 }
		1, { 107,123 }
		2, { 107,123,124 }
		1, { 107,124 }
		1, { 108,114 }
		2, { 108,114,118 }
		3, { 108,114,118,120,125,126,132,133,135,136,139,140 }, <7.33708496134507992537e+00,-1,4.53456788445696457046e+00,2.61803398874985671085e+00,-3.05030403837595542882e+01>
		2, { 108,114,120 }
		1, { 108,118 }
		2, { 108,118,125 }
		1, { 108,120 }
		2, { 108,120,126 }
		1, { 108,125 }
		2, { 108,125,126 }
		1, { 108,126 }
		1, { 109,110 }
		2, { 109,110,111 }
		3, { 109,110,111,131,132,133 }, <1.73205080756887674909e+00,-1,2.15112808070576285027e-16,6.18706583106804009587e-16,-7.20079105098861482759e+00>
		2, { 109,110,112 }
		3, { 109,110,112,131,132 }, <3.87298334620741702139e+00,-2.23606797749978714052e+00,-1.73205080756887297433e+00,1,-1.72561588201619464655e+01>
		2, { 109,110,131,132 }
		1, { 109,111 }
		2, { 109,111,113 }
		3, { 109,111,113,131,133 }, <1.93649167310371161932e+00,-1.11803398874989690093e+00,3.12871854936323349906e-16,-1,-8.62807941008098921998e+00>
		2, { 109,111,131,133 }
		1, { 109,112 }
		2, { 109,112,131 }
		1, { 109,113 }
		2, { 109,113,131 }
		1, { 109,131 }
		1, { 110,111 }
		2, { 110,111,114 }
		3, { 110,111,114,132,133 }, <3.87298334620740947187e+00,-2.23606797749978625234e+00,1.73205080756887430660e+00,1,-1.72561588201619251493e+01>
		2, { 110,111,132,133 }
		1, { 110,112 }
		2, { 110,112,132 }
		1, { 110,114 }
		2, { 110,114,132 }
		1, { 110,132 }
		1, { 111,113 }
		2, { 111,113,133 }
		1, { 111,114 }
		2, { 111,114,133 }
		1, { 111,133 }
		1, { 112,115 }
		2, { 112,115,131 }
		1, { 112,117 }
		2, { 112,117,132 }
		1, { 112,131 }
		2, { 112,131,132 }
		1, { 112,132 }
		1, { 113,116 }
		2, { 113,116,131 }
		1, { 113,119 }
		2, { 113,119,133 }
		1, { 113,131 }
		2, { 113,131,133 }
		1, { 113,133 }
		1, { 114,118 }
		2, { 114,118,132 }
		1, { 114,120 }
		2, { 114,120,133 }
		1, { 114,132 }
		2, { 114,132,133 }
		1, { 114,133 }
		1, { 115,116 }
		2, { 115,116,131 }
		3, { 115,116,131,134 }, <2.80251707688814555297e+00,-1,-2.26728394222850981876e+00,-1.30901699437494611900e+00,-1.40968196535007095349e+01>
		2, { 115,116,134 }
		1, { 115,121 }
		2, { 115,121,134 }
		1, { 115,131 }
		2, { 115,131,134 }
		1, { 115,134 }
		1, { 116,123 }
		2, { 116,123,134 }
		1, { 116,131 }
		2, { 116,131,134 }
		1, { 116,134 }
		1, { 117,118 }
		2, { 117,118,132 }
		3, { 117,118,132,135 }, <2.80251707688814155617e+00,-1,1.91274262855329094205e-15,2.61803398874988113576e+00,-1.40968196535006686787e+01>
		2, { 117,118,135 }
		1, { 117,122 }
		2, { 117,122,135 }
		1, { 117,132 }
		2, { 117,132,135 }
		1, { 117,135 }
		1, { 118,125 }
		2, { 118,125,135 }
		1, { 118,132 }
		2, { 118,132,135 }
		1, { 118,135 }
		1, { 119,120 }
		2, { 119,120,133 }
		3, { 119,120,133,136 }, <2.80251707688814422070e+00,-1,2.26728394222850893058e+00,-1.30901699437494367650e+00,-1.40968196535006988768e+01>
		2, { 119,120,136 }
		1, { 119,124 }
		2, { 119,124,136 }
		1, { 119,133 }
		2, { 119,133,136 }
		1, { 119,136 }
		1, { 120,126 }
		2, { 120,126,136 }
		1, { 120,133 }
		2, { 120,133,136 }
		1, { 120,136 }
		1, { 121,122 }
		2, { 121,122,137 }
		1, { 121,127 }
		2, { 121,127,134 }
		3, { 121,127,134,137 }, <9.06913576891409256575e+00,5.23606797749979691048e+00,-7.33708496134519982945e+00,-1,-5.05096566395136647998e+01>
		2, { 121,127,137 }
		1, { 121,134 }
		2, { 121,134,137 }
		1, { 121,137 }
		1, { 122,128 }
		2, { 122,128,135 }
		3, { 122,128,135,137 }, <3.23606797749981689449e+00,1.86834471792544287716e+00,-1,2.44569498711507549160e+00,-1.80229612358325539390e+01>
		2, { 122,128,137 }
		1, { 122,135 }
		2, { 122,135,137 }
		1, { 122,137 }
		1, { 123,124 }
		2, { 123,124,138 }
		1, { 123,127 }
		2, { 123,127,134 }
		3, { 123,127,134,138 }, <1.99999999999999111822e+00,1.15470053837924746531e+00,-1,-1.29099444873580293525e+00,-1.11388026216662012757e+01>
		2, { 123,127,138 }
		1, { 123,134 }
		2, { 123,134,138 }
		1, { 123,138 }
		1, { 124,129 }
		2, { 124,129,136 }
		3, { 124,129,136,138 }, <1.99999999999998423483e+00,1.15470053837924413465e+00,1,-1.29099444873579782822e+00,-1.11388026216661639722e+01>
		2, { 124,129,138 }
		1, { 124,136 }
		2, { 124,136,138 }
		1, { 124,138 }
		1, { 125,126 }
		2, { 125,126,139 }
		1, { 125,128 }
		2, { 125,128,135 }
		3, { 125,128,135,139 }, <3.23606797749976848877e+00,1.86834471792542244906e+00,1,2.44569498711505506350e+00,-1.80229612358323265653e+01>
		2, { 125,128,139 }
		1, { 125,135 }
		2, { 125,135,139 }
		1, { 125,139 }
		1, { 126,129 }
		2, { 126,129,136 }
		3, { 126,129,136,139 }, <9.06913576891395223356e+00,5.23606797749974006706e+00,7.33708496134513055154e+00,-1,-5.05096566395129684679e+01>
		2, { 126,129,139 }
		1, { 126,136 }
		2, { 126,136,139 }
		1, { 126,139 }
		1, { 127,130 }
		2, { 127,130,137 }
		3, { 127,130,137,138 }, <5.60503415377628400051e+00,5.23606797749978358780e+00,-1.73205080756887719318e+00,-1,-3.23713851016853197962e+01>
		2, { 127,130,138 }
		1, { 127,134 }
		2, { 127,134,137 }
		3, { 127,134,137,138 }, <3.87298334620741790957e+00,2.23606797749978847278e+00,-1.73205080756887896953e+00,-1,-1.98381477176335678791e+01>
		2, { 127,134,138 }
		1, { 127,137 }
		2, { 127,137,138 }
		1, { 127,138 }
		1, { 128,130 }
		2, { 128,130,137 }
		3, { 128,130,137,139 }, <2.80251707688813267438e+00,2.61803398874988246803e+00,4.10232039761828288560e-15,1,-1.61856925508426101601e+01>
		2, { 128,130,139 }
		1, { 128,135 }
		2, { 128,135,137 }
		3, { 128,135,137,139 }, <1.93649167310370207140e+00,1.11803398874989068368e+00,1.27220238094229317764e-15,1,-9.91907385881675196515e+00>
		2, { 128,135,139 }
		1, { 128,137 }
		2, { 128,137,139 }
		1, { 128,139 }
		1, { 129,130 }
		2, { 129,130,138 }
		3, { 129,130,138,139 }, <5.60503415377624758520e+00,5.23606797749975605427e+00,1.73205080756886631299e+00,-1,-3.23713851016851208442e+01>
		2, { 129,130,139 }
		1, { 129,136 }
		2, { 129,136,138 }
		3, { 129,136,138,139 }, <3.87298334620740014600e+00,2.23606797749978314371e+00,1.73205080756888252225e+00,-1,-1.98381477176334932722e+01>
		2, { 129,136,139 }
		1, { 129,138 }
		2, { 129,138,139 }
		1, { 129,139 }
		1, { 130,137 }
		2, { 130,137,138 }
		3, { 130,137,138,139 }, <1.29099444873580448956e+00,1,8.48762936205278365393e-16,6.85539294627340157520e-16,-6.75973469215554256806e+00>
		2, { 130,137,139 }
		1, { 130,138 }
		2, { 130,138,139 }
		1, { 130,139 }
		1, { 131,132 }
		2, { 131,132,133 }
		3, { 131,132,133,140 }, <2.44569498711505506350e+00,-1,2.48209805827827754407e-16,7.45679613903154377090e-16,-9.78277994846022025399e+00>
		2, { 131,132,140 }
		1, { 131,133 }
		2, { 131,133,140 }
		1, { 131,134 }
		2, { 131,134,140 }
		1, { 131,140 }
		1, { 132,133 }
		2, { 132,133,140 }
		1, { 132,135 }
		2, { 132,135,140 }
		1, { 132,140 }
		1, { 133,136 }
		2, { 133,136,140 }
		1, { 133,140 }
		1, { 134,137 }
		2, { 134,137,138 }
		3, { 134,137,138,140 }, <7.33708496134517229592e+00,2.23606797749979024914e+00,-1.73205080756887985771e+00,-1,-3.23713851016853695342e+01>
		2, { 134,137,140 }
		1, { 134,138 }
		2, { 134,138,140 }
		1, { 134,140 }
		1, { 135,137 }
		2, { 135,137,139 }
		3, { 135,137,139,140 }, <3.66854248067257238120e+00,1.11803398874989046163e+00,1.35253048188751066549e-15,1,-1.61856925508426314764e+01>
		2, { 135,137,140 }
		1, { 135,139 }
		2, { 135,139,140 }
		1, { 135,140 }
		1, { 136,138 }
		2, { 136,138,139 }
		3, { 136,138,139,140 }, <7.33708496134515719689e+00,2.23606797749978492007e+00,1.73205080756888341043e+00,-1,-3.23713851016853126907e+01>
		2, { 136,138,140 }
		1, { 136,139 }
		2, { 136,139,140 }
		1, { 136,140 }
		1, { 137,138 }
		2, { 137,138,139 }
		3, { 137,138,139,140 }, <2.44569498711505728394e+00,1,9.02315003502090549864e-16,8.90985974110422899170e-16,-1.09374804868394814861e+01>
		2, { 137,138,140 }
		1, { 137,139 }
		2, { 137,139,140 }
		1, { 137,140 }
		1, { 138,139 }
		2, { 138,139,140 }
		1, { 138,140 }
		1, { 139,140 }
	}
}