# Automatically generated by makepoly.
polytope pvtestW9JMT3GCXMBHPYVERJCKY0S97F {
	dimension 4
	vertices {
		<1.41421356237309514547e+00, 0, 0, 0>
		<-1.41421356237309514547e+00, 0, 0, 0>
		<0, 1.41421356237309514547e+00, 0, 0>
		<0, -1.41421356237309514547e+00, 0, 0>
		<0, 0, 1.41421356237309514547e+00, 0>
		<1, 1, 1, 1.35219344945395669733e+00>
		<1, -1, 1, 1.35219344945395669733e+00>
		<-1, 1, 1, 1.35219344945395669733e+00>
		<-1, -1, 1, 1.35219344945395669733e+00>
		<0, 0, -4.14213562373095034452e-01, 1.35219344945395669733e+00>
	}
	lattice {
		1, { 0,2 }
		2, { 0,1,2,3 }
		3, { 0,1,2,3,4 }, <-4.97465949070529682374e-16,-0,-2.48732974535264841187e-16,-1,-0>
		3, { 0,1,2,3,9 }, <-7.80424308679845694166e-16,-2.60141436226615214954e-16,-3.26448376462380318586e+00,-1,-2.60141436226615214954e-16>
		2, { 0,2,4 }
		3, { 0,2,4,5 }, <1,1,9.99999999999999555911e-01,-1.17275116091360853687e+00,-1.41421356237309492343e+00>
		2, { 0,2,5 }
		3, { 0,2,5,9 }, <1.63224188231189915044e+00,1.63224188231189915044e+00,-2.30833860703887827626e+00,1,-2.30833860703887738808e+00>
		2, { 0,2,9 }
		1, { 0,3 }
		2, { 0,3,4 }
		3, { 0,3,4,6 }, <1,-9.99999999999999777955e-01,9.99999999999999444888e-01,-1.17275116091360809278e+00,-1.41421356237309492343e+00>
		2, { 0,3,6 }
		3, { 0,3,6,9 }, <1.63224188231189915044e+00,-1.63224188231189848430e+00,-2.30833860703887783217e+00,1,-2.30833860703887694399e+00>
		2, { 0,3,9 }
		1, { 0,4 }
		2, { 0,4,5 }
		3, { 0,4,5,6 }, <2.30833860703888049670e+00,7.85046229341888692697e-17,2.30833860703887960852e+00,-1,-3.26448376462380318586e+00>
		2, { 0,4,6 }
		1, { 0,5 }
		2, { 0,5,6 }
		3, { 0,5,6,9 }, <1.41421356237309403525e+00,8.45222952018474389970e-17,-1,1.17275116091360853687e+00,-1.99999999999999888978e+00>
		2, { 0,5,9 }
		1, { 0,6 }
		2, { 0,6,9 }
		1, { 0,9 }
		1, { 1,2 }
		2, { 1,2,4 }
		3, { 1,2,4,7 }, <-1,9.99999999999999333866e-01,9.99999999999999333866e-01,-1.17275116091360787074e+00,-1.41421356237309403525e+00>
		2, { 1,2,7 }
		3, { 1,2,7,9 }, <-1.63224188231189915044e+00,1.63224188231189959453e+00,-2.30833860703887738808e+00,1,-2.30833860703887738808e+00>
		2, { 1,2,9 }
		1, { 1,3 }
		2, { 1,3,4 }
		3, { 1,3,4,8 }, <-1,-9.99999999999999444888e-01,9.99999999999999111822e-01,-1.17275116091360809278e+00,-1.41421356237309447934e+00>
		2, { 1,3,8 }
		3, { 1,3,8,9 }, <-1.63224188231189937248e+00,-1.63224188231189959453e+00,-2.30833860703887827626e+00,1,-2.30833860703887827626e+00>
		2, { 1,3,9 }
		1, { 1,4 }
		2, { 1,4,7 }
		3, { 1,4,7,8 }, <-2.30833860703888005261e+00,-1.11022302462515654042e-16,2.30833860703887960852e+00,-1,-3.26448376462380229768e+00>
		2, { 1,4,8 }
		1, { 1,7 }
		2, { 1,7,8 }
		3, { 1,7,8,9 }, <-1.41421356237309447934e+00,1.30201534100217062413e-16,-1,1.17275116091360898096e+00,-2>
		2, { 1,7,9 }
		1, { 1,8 }
		2, { 1,8,9 }
		1, { 1,9 }
		1, { 2,4 }
		2, { 2,4,5 }
		3, { 2,4,5,7 }, <-1.09906472107864530376e-15,2.30833860703888049670e+00,2.30833860703888005261e+00,-1,-3.26448376462380274177e+00>
		2, { 2,4,7 }
		1, { 2,5 }
		2, { 2,5,7 }
		3, { 2,5,7,9 }, <-4.80961944335083120145e-16,1.41421356237309470139e+00,-1,1.17275116091360875892e+00,-1.99999999999999933387e+00>
		2, { 2,5,9 }
		1, { 2,7 }
		2, { 2,7,9 }
		1, { 2,9 }
		1, { 3,4 }
		2, { 3,4,6 }
		3, { 3,4,6,8 }, <-0,-2.30833860703887960852e+00,2.30833860703887916443e+00,-1,-3.26448376462380229768e+00>
		2, { 3,4,8 }
		1, { 3,6 }
		2, { 3,6,8 }
		3, { 3,6,8,9 }, <3.38089180807389657380e-16,-1.41421356237309425730e+00,-1,1.17275116091360875892e+00,-1.99999999999999955591e+00>
		2, { 3,6,9 }
		1, { 3,8 }
		2, { 3,8,9 }
		1, { 3,9 }
		1, { 4,5 }
		2, { 4,5,6 }
		3, { 4,5,6,7,8 }, <-0,1.11022302462515654042e-16,3.26448376462379830087e+00,1,-4.61667721407775477616e+00>
		2, { 4,5,7 }
		1, { 4,6 }
		2, { 4,6,8 }
		1, { 4,7 }
		2, { 4,7,8 }
		1, { 4,8 }
		1, { 5,6 }
		2, { 5,6,7,8 }
		3, { 5,6,7,8,9 }, <1.24366487267632445245e-16,1.11022302462515654042e-16,-2.48732974535264890491e-16,1,-1.35219344945395647528e+00>
		2, { 5,6,9 }
		1, { 5,7 }
		2, { 5,7,9 }
		1, { 5,9 }
		1, { 6,8 }
		2, { 6,8,9 }
		1, { 6,9 }
		1, { 7,8 }
		2, { 7,8,9 }
		1, { 7,9 }
		1, { 8,9 }
	}
}