# Automatically generated by makepoly.
polytope pvtestJ56CYETYD3MSGDKSBVTDYEXHX6 {
	dimension 4
	vertices {
		<-2.61803398874989490253e+00, -3.56822089773089934361e-01, 1.86834471792543133084e+00, 0>
		<-2.61803398874989490253e+00, 1.51152262815234150750e+00, 1.15470053837925146212e+00, 0>
		<-2, 0, 0, 0>
		<-1.61803398874989490253e+00, -2.08887289734196723856e+00, 1.86834471792543133084e+00, 0>
		<-1, -1.73205080756887719318e+00, 0, 0>
		<-1, -5.77350269189625731059e-01, 3.02304525630468301500e+00, 0>
		<-1, 1.73205080756887719318e+00, 0, 0>
		<-1, 2.44569498711505728394e+00, 1.86834471792543133084e+00, 0>
		<0, -3.02304525630468301500e+00, 1.15470053837925146212e+00, 0>
		<0, 1.15470053837925146212e+00, 3.02304525630468301500e+00, 0>
		<1, -1.73205080756887719318e+00, 0, 0>
		<1, -5.77350269189625731059e-01, 3.02304525630468301500e+00, 0>
		<1, 1.73205080756887719318e+00, 0, 0>
		<1, 2.44569498711505728394e+00, 1.86834471792543133084e+00, 0>
		<1.61803398874989490253e+00, -2.08887289734196723856e+00, 1.86834471792543133084e+00, 0>
		<2, 0, 0, 0>
		<2.61803398874989490253e+00, -3.56822089773089934361e-01, 1.86834471792543133084e+00, 0>
		<2.61803398874989490253e+00, 1.51152262815234150750e+00, 1.15470053837925146212e+00, 0>
		<-1, 5.77350269189625731059e-01, 1.51152262815234150750e+00, 6.18033988749894902526e-01>
		<0, -1.15470053837925146212e+00, 1.51152262815234150750e+00, 6.18033988749894902526e-01>
		<1, 5.77350269189625731059e-01, 1.51152262815234150750e+00, 6.18033988749894902526e-01>
		<-1, 5.77350269189625731059e-01, 1.51152262815234150750e+00, -6.18033988749894902526e-01>
		<0, -1.15470053837925146212e+00, 1.51152262815234150750e+00, -6.18033988749894902526e-01>
		<1, 5.77350269189625731059e-01, 1.51152262815234150750e+00, -6.18033988749894902526e-01>
	}
	lattice {
		1, { 0,1 }
		2, { 0,1,2 }
		3, { 0,1,2,18 }, <-7.33708496134517140774e+00,-1,-2.61803398874989534661e+00,1.92087378071473757757e+01,-1.46741699226903499209e+01>
		3, { 0,1,2,21 }, <-7.33708496134517229592e+00,-1,-2.61803398874989534661e+00,-1.92087378071473757757e+01,-1.46741699226903481446e+01>
		2, { 0,1,5,7,9 }
		3, { 0,1,5,7,9,18 }, <-1.73205080756887408455e+00,1,2.61803398874989445844e+00,4.53456788445702407842e+00,-9.06913576891404460412e+00>
		3, { 0,1,5,7,9,21 }, <-1.73205080756887408455e+00,1,2.61803398874989445844e+00,-4.53456788445702230206e+00,-9.06913576891404460412e+00>
		2, { 0,1,18 }
		2, { 0,1,21 }
		1, { 0,2 }
		2, { 0,2,3,4 }
		3, { 0,2,3,4,18,19 }, <-2.26728394222851203921e+00,-1.30901699437494789535e+00,-1,7.33708496134517051956e+00,-4.53456788445702407842e+00>
		3, { 0,2,3,4,21,22 }, <-2.26728394222851203921e+00,-1.30901699437494789535e+00,-1,-7.33708496134517051956e+00,-4.53456788445702407842e+00>
		2, { 0,2,18 }
		2, { 0,2,21 }
		1, { 0,3 }
		2, { 0,3,5 }
		3, { 0,3,5,18,19 }, <-1.73205080756887452864e+00,-1,2.23606797749978802869e+00,7.33708496134516607867e+00,-9.06913576891404105140e+00>
		3, { 0,3,5,21,22 }, <-1.73205080756887452864e+00,-1,2.23606797749978802869e+00,-7.33708496134516341414e+00,-9.06913576891404105140e+00>
		2, { 0,3,18,19 }
		2, { 0,3,21,22 }
		1, { 0,5 }
		2, { 0,5,18 }
		2, { 0,5,21 }
		1, { 0,18 }
		1, { 0,21 }
		1, { 1,2 }
		2, { 1,2,6 }
		3, { 1,2,6,18 }, <-1.73205080756887186411e+00,1,-2.23606797749978758461e+00,7.33708496134516696685e+00,-3.46410161513774905728e+00>
		3, { 1,2,6,21 }, <-1.73205080756887319637e+00,1,-2.23606797749978847278e+00,-7.33708496134516696685e+00,-3.46410161513775038955e+00>
		2, { 1,2,18 }
		2, { 1,2,21 }
		1, { 1,6 }
		2, { 1,6,7 }
		3, { 1,6,7,18 }, <-1.07046626931926369686e+00,2.61803398874989534661e+00,-1,7.33708496134517407228e+00,-5.60503415377628932958e+00>
		3, { 1,6,7,21 }, <-1.07046626931926414095e+00,2.61803398874989490253e+00,-1,-7.33708496134516874321e+00,-5.60503415377628844141e+00>
		2, { 1,6,18 }
		2, { 1,6,21 }
		1, { 1,7 }
		2, { 1,7,18 }
		2, { 1,7,21 }
		1, { 1,18 }
		1, { 1,21 }
		1, { 2,4 }
		2, { 2,4,6,10,12,15 }
		3, { 2,4,6,10,12,15,18,19,20 }, <1.19651011597199493484e-15,-1.70930016567427837269e-16,-1,2.44569498711505683985e+00,1.36744013253942269815e-15>
		3, { 2,4,6,10,12,15,21,22,23 }, <1.19651011597199493484e-15,-1.70930016567427837269e-16,-1,-2.44569498711505506350e+00,1.36744013253942269815e-15>
		2, { 2,4,18,19 }
		2, { 2,4,21,22 }
		1, { 2,6 }
		2, { 2,6,18 }
		2, { 2,6,21 }
		1, { 2,18 }
		1, { 2,21 }
		1, { 3,4 }
		2, { 3,4,8 }
		3, { 3,4,8,19 }, <-1.73205080756887697113e+00,-2.23606797749978714052e+00,-1,7.33708496134516074960e+00,-5.60503415377628488869e+00>
		3, { 3,4,8,22 }, <-1.73205080756887674909e+00,-2.23606797749978714052e+00,-1,-7.33708496134516074960e+00,-5.60503415377628577687e+00>
		2, { 3,4,19 }
		2, { 3,4,22 }
		1, { 3,5 }
		2, { 3,5,8,11,14 }
		3, { 3,5,8,11,14,19 }, <-4.89670924733810482098e-16,-1,1.30901699437494722922e+00,2.26728394222851115103e+00,-4.53456788445702407842e+00>
		3, { 3,5,8,11,14,22 }, <-4.89670924733810383490e-16,-1,1.30901699437494700717e+00,-2.26728394222851026285e+00,-4.53456788445702319024e+00>
		2, { 3,5,19 }
		2, { 3,5,22 }
		1, { 3,8 }
		2, { 3,8,19 }
		2, { 3,8,22 }
		1, { 3,19 }
		1, { 3,22 }
		1, { 4,8 }
		2, { 4,8,10 }
		3, { 4,8,10,19 }, <-1.48952049194836958986e-15,-1,-1.11803398874989556866e+00,3.66854248067258437160e+00,-1.73205080756887586091e+00>
		3, { 4,8,10,22 }, <-1.19161639355869579022e-15,-1,-1.11803398874989556866e+00,-3.66854248067258525978e+00,-1.73205080756887630500e+00>
		2, { 4,8,19 }
		2, { 4,8,22 }
		1, { 4,10 }
		2, { 4,10,19 }
		2, { 4,10,22 }
		1, { 4,19 }
		1, { 4,22 }
		1, { 5,9 }
		2, { 5,9,11 }
		3, { 5,9,11,18,19,20 }, <1.05640559936253111253e-16,-1.05640559936253111253e-16,1,2.44569498711505683985e+00,-3.02304525630468212682e+00>
		3, { 5,9,11,21,22,23 }, <2.11281119872506148551e-16,-3.16921679808759185848e-16,1,-2.44569498711505595168e+00,-3.02304525630468257091e+00>
		2, { 5,9,18 }
		2, { 5,9,21 }
		1, { 5,11 }
		2, { 5,11,19 }
		2, { 5,11,22 }
		1, { 5,18 }
		2, { 5,18,19 }
		1, { 5,19 }
		1, { 5,21 }
		2, { 5,21,22 }
		1, { 5,22 }
		1, { 6,7 }
		2, { 6,7,12,13 }
		3, { 6,7,12,13,18,20 }, <-7.92304199521899813513e-16,2.61803398874989445844e+00,-1,7.33708496134517229592e+00,-4.53456788445702496659e+00>
		3, { 6,7,12,13,21,23 }, <7.92304199521899221867e-16,2.61803398874989445844e+00,-1,-7.33708496134516696685e+00,-4.53456788445702141388e+00>
		2, { 6,7,18 }
		2, { 6,7,21 }
		1, { 6,12 }
		2, { 6,12,18,20 }
		2, { 6,12,21,23 }
		1, { 6,18 }
		1, { 6,21 }
		1, { 7,9 }
		2, { 7,9,13 }
		3, { 7,9,13,18,20 }, <-9.79341849467624341507e-17,1,1.11803398874989579070e+00,3.66854248067258792432e+00,-4.53456788445702674295e+00>
		3, { 7,9,13,21,23 }, <4.89670924733811961212e-16,1,1.11803398874989579070e+00,-3.66854248067258481569e+00,-4.53456788445702496659e+00>
		2, { 7,9,18 }
		2, { 7,9,21 }
		1, { 7,13 }
		2, { 7,13,18,20 }
		2, { 7,13,21,23 }
		1, { 7,18 }
		1, { 7,21 }
		1, { 8,10 }
		2, { 8,10,14 }
		3, { 8,10,14,19 }, <1.73205080756887652704e+00,-2.23606797749979024914e+00,-1,7.33708496134516785503e+00,-5.60503415377629377048e+00>
		3, { 8,10,14,22 }, <1.73205080756887674909e+00,-2.23606797749979024914e+00,-1,-7.33708496134516785503e+00,-5.60503415377629554683e+00>
		2, { 8,10,19 }
		2, { 8,10,22 }
		1, { 8,14 }
		2, { 8,14,19 }
		2, { 8,14,22 }
		1, { 8,19 }
		1, { 8,22 }
		1, { 9,11 }
		2, { 9,11,13,16,17 }
		3, { 9,11,13,16,17,20 }, <1.73205080756887808136e+00,1,2.61803398874989490253e+00,4.53456788445702851931e+00,-9.06913576891404815683e+00>
		3, { 9,11,13,16,17,23 }, <1.73205080756887896953e+00,1,2.61803398874989445844e+00,-4.53456788445701519663e+00,-9.06913576891404993319e+00>
		2, { 9,11,20 }
		2, { 9,11,23 }
		1, { 9,13 }
		2, { 9,13,20 }
		2, { 9,13,23 }
		1, { 9,18 }
		2, { 9,18,20 }
		1, { 9,20 }
		1, { 9,21 }
		2, { 9,21,23 }
		1, { 9,23 }
		1, { 10,14 }
		2, { 10,14,15,16 }
		3, { 10,14,15,16,19,20 }, <2.26728394222850671014e+00,-1.30901699437494412059e+00,-1,7.33708496134515453235e+00,-4.53456788445700809120e+00>
		3, { 10,14,15,16,22,23 }, <2.26728394222850715423e+00,-1.30901699437494412059e+00,-1,-7.33708496134515009146e+00,-4.53456788445700897938e+00>
		2, { 10,14,19 }
		2, { 10,14,22 }
		1, { 10,15 }
		2, { 10,15,19,20 }
		2, { 10,15,22,23 }
		1, { 10,19 }
		1, { 10,22 }
		1, { 11,14 }
		2, { 11,14,16 }
		3, { 11,14,16,19,20 }, <1.73205080756887630500e+00,-1,2.23606797749979024914e+00,7.33708496134516874321e+00,-9.06913576891404815683e+00>
		3, { 11,14,16,22,23 }, <1.73205080756887563886e+00,-1,2.23606797749979024914e+00,-7.33708496134516519049e+00,-9.06913576891404638047e+00>
		2, { 11,14,19 }
		2, { 11,14,22 }
		1, { 11,16 }
		2, { 11,16,20 }
		2, { 11,16,23 }
		1, { 11,19 }
		2, { 11,19,20 }
		1, { 11,20 }
		1, { 11,22 }
		2, { 11,22,23 }
		1, { 11,23 }
		1, { 12,13 }
		2, { 12,13,17 }
		3, { 12,13,17,20 }, <1.07046626931927146842e+00,2.61803398874989445844e+00,-1,7.33708496134517407228e+00,-5.60503415377629821137e+00>
		3, { 12,13,17,23 }, <1.07046626931926858184e+00,2.61803398874989401435e+00,-1,-7.33708496134516430232e+00,-5.60503415377629021776e+00>
		2, { 12,13,20 }
		2, { 12,13,23 }
		1, { 12,15 }
		2, { 12,15,17 }
		3, { 12,15,17,20 }, <1.73205080756888274429e+00,1,-2.23606797749979868684e+00,7.33708496134519627674e+00,-3.46410161513775838316e+00>
		3, { 12,15,17,23 }, <1.73205080756888141202e+00,1,-2.23606797749979779866e+00,-7.33708496134518473042e+00,-3.46410161513775571862e+00>
		2, { 12,15,20 }
		2, { 12,15,23 }
		1, { 12,17 }
		2, { 12,17,20 }
		2, { 12,17,23 }
		1, { 12,20 }
		1, { 12,23 }
		1, { 13,17 }
		2, { 13,17,20 }
		2, { 13,17,23 }
		1, { 13,20 }
		1, { 13,23 }
		1, { 14,16 }
		2, { 14,16,19,20 }
		2, { 14,16,22,23 }
		1, { 14,19 }
		1, { 14,22 }
		1, { 15,16 }
		2, { 15,16,17 }
		3, { 15,16,17,20 }, <7.33708496134514298603e+00,-1,-2.61803398874988957346e+00,1.92087378071472976160e+01,-1.46741699226902753139e+01>
		3, { 15,16,17,23 }, <7.33708496134514920328e+00,-1,-2.61803398874989179390e+00,-1.92087378071472940633e+01,-1.46741699226902877484e+01>
		2, { 15,16,20 }
		2, { 15,16,23 }
		1, { 15,17 }
		2, { 15,17,20 }
		2, { 15,17,23 }
		1, { 15,20 }
		1, { 15,23 }
		1, { 16,17 }
		2, { 16,17,20 }
		2, { 16,17,23 }
		1, { 16,20 }
		1, { 16,23 }
		1, { 17,20 }
		1, { 17,23 }
		1, { 18,19 }
		2, { 18,19,20 }
		1, { 18,20 }
		1, { 19,20 }
		1, { 21,22 }
		2, { 21,22,23 }
		1, { 21,23 }
		1, { 22,23 }
	}
}