# Automatically generated by makepoly.
polytope pvtest4NFPM8NWAPAHM2Z4NFAMR9J8KK {
	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>
		<-2.41421356237309492343e+00, -1, 1.41421356237309514547e+00, 0>
		<-1, -2.41421356237309492343e+00, 1.41421356237309514547e+00, 0>
		<1, -2.41421356237309492343e+00, 1.41421356237309514547e+00, 0>
		<2.41421356237309492343e+00, -1, 1.41421356237309514547e+00, 0>
		<2.41421356237309492343e+00, 1, 1.41421356237309514547e+00, 0>
		<1, 2.41421356237309492343e+00, 1.41421356237309514547e+00, 0>
		<-1, 2.41421356237309492343e+00, 1.41421356237309514547e+00, 0>
		<-2.41421356237309492343e+00, 1, 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>
		<-2.41421356237309492343e+00, -1, -4.14213562373095034452e-01, 1.35219344945395669733e+00>
		<-1, -2.41421356237309492343e+00, -4.14213562373095034452e-01, 1.35219344945395669733e+00>
		<1, -2.41421356237309492343e+00, -4.14213562373095034452e-01, 1.35219344945395669733e+00>
		<2.41421356237309492343e+00, -1, -4.14213562373095034452e-01, 1.35219344945395669733e+00>
		<2.41421356237309492343e+00, 1, -4.14213562373095034452e-01, 1.35219344945395669733e+00>
		<1, 2.41421356237309492343e+00, -4.14213562373095034452e-01, 1.35219344945395669733e+00>
		<-1, 2.41421356237309492343e+00, -4.14213562373095034452e-01, 1.35219344945395669733e+00>
		<-2.41421356237309492343e+00, 1, -4.14213562373095034452e-01, 1.35219344945395669733e+00>
	}
	lattice {
		1, { 0,2 }
		2, { 0,1,2,3 }
		3, { 0,1,2,3,4,5,6,7,8,9,10,11 }, <-1.52387325206335405610e-16,-0,-0,-1,-0>
		3, { 0,1,2,3,16,17,18,19,20,21,22,23 }, <-0,-6.40692667541431149044e-17,-3.26448376462380052132e+00,-1,-2.56277067016572459617e-16>
		2, { 0,2,8,9 }
		3, { 0,2,8,9,20,21 }, <1,9.99999999999999555911e-01,-1.41421356237309447934e+00,-1.91229031516984293582e+00,-1.41421356237309470139e+00>
		2, { 0,2,20,21 }
		1, { 0,3 }
		2, { 0,3,6,7 }
		3, { 0,3,6,7,18,19 }, <1,-1.00000000000000044409e+00,-1.41421356237309492343e+00,-1.91229031516984426808e+00,-1.41421356237309492343e+00>
		2, { 0,3,18,19 }
		1, { 0,7 }
		2, { 0,7,8 }
		3, { 0,7,8,19,20 }, <1.41421356237309558956e+00,1.83947773623447475171e-16,-1,-1.35219344945395736346e+00,-2.00000000000000088818e+00>
		2, { 0,7,19 }
		1, { 0,8 }
		2, { 0,8,20 }
		1, { 0,19 }
		2, { 0,19,20 }
		1, { 0,20 }
		1, { 1,2 }
		2, { 1,2,10,11 }
		3, { 1,2,10,11,22,23 }, <-1,9.99999999999999777955e-01,-1.41421356237309447934e+00,-1.91229031516984315786e+00,-1.41421356237309536752e+00>
		2, { 1,2,22,23 }
		1, { 1,3 }
		2, { 1,3,4,5 }
		3, { 1,3,4,5,16,17 }, <-1,-1.00000000000000022204e+00,-1.41421356237309492343e+00,-1.91229031516984382399e+00,-1.41421356237309514547e+00>
		2, { 1,3,16,17 }
		1, { 1,4 }
		2, { 1,4,11 }
		3, { 1,4,11,16,23 }, <-1.41421356237309536752e+00,-0,-1,-1.35219344945395669733e+00,-2.00000000000000088818e+00>
		2, { 1,4,16 }
		1, { 1,11 }
		2, { 1,11,23 }
		1, { 1,16 }
		2, { 1,16,23 }
		1, { 1,23 }
		1, { 2,9 }
		2, { 2,9,10 }
		3, { 2,9,10,21,22 }, <3.84382970091179949184e-16,1.41421356237309581161e+00,-1,-1.35219344945395691937e+00,-2.00000000000000133227e+00>
		2, { 2,9,21 }
		1, { 2,10 }
		2, { 2,10,22 }
		1, { 2,21 }
		2, { 2,21,22 }
		1, { 2,22 }
		1, { 3,5 }
		2, { 3,5,6 }
		3, { 3,5,6,17,18 }, <-0,-1.41421356237309625570e+00,-1,-1.35219344945395780755e+00,-2.00000000000000088818e+00>
		2, { 3,5,17 }
		1, { 3,6 }
		2, { 3,6,18 }
		1, { 3,17 }
		2, { 3,17,18 }
		1, { 3,18 }
		1, { 4,5 }
		2, { 4,5,6,7,8,9,10,11 }
		3, { 4,5,6,7,8,9,10,11,12,13,14,15 }, <-5.20282872453229838262e-16,-0,3.26448376462380096541e+00,1,-4.61667721407775832887e+00>
		2, { 4,5,15 }
		3, { 4,5,15,16,17 }, <-1,-1.00000000000000022204e+00,1.00000000000000022204e+00,1.35219344945395647528e+00,-4.82842712474619073504e+00>
		2, { 4,5,16,17 }
		1, { 4,11 }
		2, { 4,11,14,15 }
		3, { 4,11,14,15,16,23 }, <-1,-0,1.00000000000000022204e+00,1.35219344945395714142e+00,-3.82842712474619073504e+00>
		2, { 4,11,16,23 }
		1, { 4,15 }
		2, { 4,15,16 }
		1, { 4,16 }
		1, { 5,6 }
		2, { 5,6,13,15 }
		3, { 5,6,13,15,17,18 }, <3.90212154339922994994e-16,-1,9.99999999999999888978e-01,1.35219344945395580915e+00,-3.82842712474618940277e+00>
		2, { 5,6,17,18 }
		1, { 5,15 }
		2, { 5,15,17 }
		1, { 5,17 }
		1, { 6,7 }
		2, { 6,7,13 }
		3, { 6,7,13,18,19 }, <1,-9.99999999999999777955e-01,9.99999999999999444888e-01,1.35219344945395492097e+00,-4.82842712474618718232e+00>
		2, { 6,7,18,19 }
		1, { 6,13 }
		2, { 6,13,18 }
		1, { 6,18 }
		1, { 7,8 }
		2, { 7,8,12,13 }
		3, { 7,8,12,13,19,20 }, <1,4.39042151739733885447e-17,1,1.35219344945395647528e+00,-3.82842712474619029095e+00>
		2, { 7,8,19,20 }
		1, { 7,13 }
		2, { 7,13,19 }
		1, { 7,19 }
		1, { 8,9 }
		2, { 8,9,12 }
		3, { 8,9,12,20,21 }, <1,9.99999999999999111822e-01,9.99999999999999555911e-01,1.35219344945395558710e+00,-4.82842712474618718232e+00>
		2, { 8,9,20,21 }
		1, { 8,12 }
		2, { 8,12,20 }
		1, { 8,20 }
		1, { 9,10 }
		2, { 9,10,12,14 }
		3, { 9,10,12,14,21,22 }, <-2.77555756156289135106e-16,1,1.00000000000000088818e+00,1.35219344945395780755e+00,-3.82842712474619206731e+00>
		2, { 9,10,21,22 }
		1, { 9,12 }
		2, { 9,12,21 }
		1, { 9,21 }
		1, { 10,11 }
		2, { 10,11,14 }
		3, { 10,11,14,22,23 }, <-1,9.99999999999999555911e-01,1.00000000000000044409e+00,1.35219344945395758550e+00,-4.82842712474619073504e+00>
		2, { 10,11,22,23 }
		1, { 10,14 }
		2, { 10,14,22 }
		1, { 10,22 }
		1, { 11,14 }
		2, { 11,14,23 }
		1, { 11,23 }
		1, { 12,13 }
		2, { 12,13,14,15 }
		3, { 12,13,14,15,16,17,18,19,20,21,22,23 }, <-0,-1.87654537666386910699e-17,1.83947773623447376564e-16,1,-1.35219344945395669733e+00>
		2, { 12,13,19,20 }
		1, { 12,14 }
		2, { 12,14,21,22 }
		1, { 12,20 }
		2, { 12,20,21 }
		1, { 12,21 }
		1, { 13,15 }
		2, { 13,15,17,18 }
		1, { 13,18 }
		2, { 13,18,19 }
		1, { 13,19 }
		1, { 14,15 }
		2, { 14,15,16,23 }
		1, { 14,22 }
		2, { 14,22,23 }
		1, { 14,23 }
		1, { 15,16 }
		2, { 15,16,17 }
		1, { 15,17 }
		1, { 16,17 }
		2, { 16,17,18,19,20,21,22,23 }
		1, { 16,23 }
		1, { 17,18 }
		1, { 18,19 }
		1, { 19,20 }
		1, { 20,21 }
		1, { 21,22 }
		1, { 22,23 }
	}
}