# Automatically generated by makepoly.
polytope pvtestJJ4HT18BT7WAYGEDA9NYMNPZYS {
	dimension 4
	vertices {
		<-2.41421356237309492343e+00, -1, -2.41421356237309492343e+00, -1>
		<-1, -2.41421356237309492343e+00, -2.41421356237309492343e+00, -1>
		<1, -2.41421356237309492343e+00, -2.41421356237309492343e+00, -1>
		<2.41421356237309492343e+00, -1, -2.41421356237309492343e+00, -1>
		<2.41421356237309492343e+00, 1, -2.41421356237309492343e+00, -1>
		<1, 2.41421356237309492343e+00, -2.41421356237309492343e+00, -1>
		<-1, 2.41421356237309492343e+00, -2.41421356237309492343e+00, -1>
		<-2.41421356237309492343e+00, 1, -2.41421356237309492343e+00, -1>
		<-2.41421356237309492343e+00, -1, -1, -2.41421356237309492343e+00>
		<-1, -2.41421356237309492343e+00, -1, -2.41421356237309492343e+00>
		<1, -2.41421356237309492343e+00, -1, -2.41421356237309492343e+00>
		<2.41421356237309492343e+00, -1, -1, -2.41421356237309492343e+00>
		<2.41421356237309492343e+00, 1, -1, -2.41421356237309492343e+00>
		<1, 2.41421356237309492343e+00, -1, -2.41421356237309492343e+00>
		<-1, 2.41421356237309492343e+00, -1, -2.41421356237309492343e+00>
		<-2.41421356237309492343e+00, 1, -1, -2.41421356237309492343e+00>
		<-2.41421356237309492343e+00, -1, 1, -2.41421356237309492343e+00>
		<-1, -2.41421356237309492343e+00, 1, -2.41421356237309492343e+00>
		<1, -2.41421356237309492343e+00, 1, -2.41421356237309492343e+00>
		<2.41421356237309492343e+00, -1, 1, -2.41421356237309492343e+00>
		<2.41421356237309492343e+00, 1, 1, -2.41421356237309492343e+00>
		<1, 2.41421356237309492343e+00, 1, -2.41421356237309492343e+00>
		<-1, 2.41421356237309492343e+00, 1, -2.41421356237309492343e+00>
		<-2.41421356237309492343e+00, 1, 1, -2.41421356237309492343e+00>
		<-2.41421356237309492343e+00, -1, 2.41421356237309492343e+00, -1>
		<-1, -2.41421356237309492343e+00, 2.41421356237309492343e+00, -1>
		<1, -2.41421356237309492343e+00, 2.41421356237309492343e+00, -1>
		<2.41421356237309492343e+00, -1, 2.41421356237309492343e+00, -1>
		<2.41421356237309492343e+00, 1, 2.41421356237309492343e+00, -1>
		<1, 2.41421356237309492343e+00, 2.41421356237309492343e+00, -1>
		<-1, 2.41421356237309492343e+00, 2.41421356237309492343e+00, -1>
		<-2.41421356237309492343e+00, 1, 2.41421356237309492343e+00, -1>
		<-2.41421356237309492343e+00, -1, 2.41421356237309492343e+00, 1>
		<-1, -2.41421356237309492343e+00, 2.41421356237309492343e+00, 1>
		<1, -2.41421356237309492343e+00, 2.41421356237309492343e+00, 1>
		<2.41421356237309492343e+00, -1, 2.41421356237309492343e+00, 1>
		<2.41421356237309492343e+00, 1, 2.41421356237309492343e+00, 1>
		<1, 2.41421356237309492343e+00, 2.41421356237309492343e+00, 1>
		<-1, 2.41421356237309492343e+00, 2.41421356237309492343e+00, 1>
		<-2.41421356237309492343e+00, 1, 2.41421356237309492343e+00, 1>
		<-2.41421356237309492343e+00, -1, 1, 2.41421356237309492343e+00>
		<-1, -2.41421356237309492343e+00, 1, 2.41421356237309492343e+00>
		<1, -2.41421356237309492343e+00, 1, 2.41421356237309492343e+00>
		<2.41421356237309492343e+00, -1, 1, 2.41421356237309492343e+00>
		<2.41421356237309492343e+00, 1, 1, 2.41421356237309492343e+00>
		<1, 2.41421356237309492343e+00, 1, 2.41421356237309492343e+00>
		<-1, 2.41421356237309492343e+00, 1, 2.41421356237309492343e+00>
		<-2.41421356237309492343e+00, 1, 1, 2.41421356237309492343e+00>
		<-2.41421356237309492343e+00, -1, -1, 2.41421356237309492343e+00>
		<-1, -2.41421356237309492343e+00, -1, 2.41421356237309492343e+00>
		<1, -2.41421356237309492343e+00, -1, 2.41421356237309492343e+00>
		<2.41421356237309492343e+00, -1, -1, 2.41421356237309492343e+00>
		<2.41421356237309492343e+00, 1, -1, 2.41421356237309492343e+00>
		<1, 2.41421356237309492343e+00, -1, 2.41421356237309492343e+00>
		<-1, 2.41421356237309492343e+00, -1, 2.41421356237309492343e+00>
		<-2.41421356237309492343e+00, 1, -1, 2.41421356237309492343e+00>
		<-2.41421356237309492343e+00, -1, -2.41421356237309492343e+00, 1>
		<-1, -2.41421356237309492343e+00, -2.41421356237309492343e+00, 1>
		<1, -2.41421356237309492343e+00, -2.41421356237309492343e+00, 1>
		<2.41421356237309492343e+00, -1, -2.41421356237309492343e+00, 1>
		<2.41421356237309492343e+00, 1, -2.41421356237309492343e+00, 1>
		<1, 2.41421356237309492343e+00, -2.41421356237309492343e+00, 1>
		<-1, 2.41421356237309492343e+00, -2.41421356237309492343e+00, 1>
		<-2.41421356237309492343e+00, 1, -2.41421356237309492343e+00, 1>
		<1, 1, 1, 1>
		<1, 1, 1, -1>
		<1, 1, -1, 1>
		<1, 1, -1, -1>
		<1, -1, 1, 1>
		<1, -1, 1, -1>
		<1, -1, -1, 1>
		<1, -1, -1, -1>
		<-1, 1, 1, 1>
		<-1, 1, 1, -1>
		<-1, 1, -1, 1>
		<-1, 1, -1, -1>
		<-1, -1, 1, 1>
		<-1, -1, 1, -1>
		<-1, -1, -1, 1>
		<-1, -1, -1, -1>
	}
	lattice {
		1, { 0,1 }
		2, { 0,1,2,3,4,5,6,7 }
		3, { 0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15 }, <-0,-0,-1,-1,-3.41421356237309492343e+00>
		3, { 0,1,2,3,4,5,6,7,56,57,58,59,60,61,62,63 }, <2.22044604925031308085e-16,1.57009245868377492020e-16,-1,-0,-2.41421356237309403525e+00>
		2, { 0,1,8,9 }
		3, { 0,1,8,9,16,17,24,25,32,33,40,41,48,49,56,57 }, <-1,-1,-0,-0,-3.41421356237309492343e+00>
		2, { 0,1,56,57 }
		1, { 0,7 }
		2, { 0,7,8,15 }
		3, { 0,7,8,15,16,23,24,31,32,39,40,47,48,55,56,63 }, <-1,-0,-0,-0,-2.41421356237309492343e+00>
		2, { 0,7,56,63 }
		1, { 0,8 }
		2, { 0,8,16,24,32,40,48,56 }
		1, { 0,56 }
		1, { 1,2 }
		2, { 1,2,9,10 }
		3, { 1,2,9,10,17,18,25,26,33,34,41,42,49,50,57,58 }, <-4.44089209850061827309e-16,-1,-3.67895547246894703823e-16,-1.14290493904751745260e-16,-2.41421356237309492343e+00>
		2, { 1,2,57,58 }
		1, { 1,9 }
		2, { 1,9,17,25,33,41,49,57 }
		1, { 1,57 }
		1, { 2,3 }
		2, { 2,3,10,11 }
		3, { 2,3,10,11,18,19,26,27,34,35,42,43,50,51,58,59 }, <1,-1.00000000000000133227e+00,-1.25607396694702131667e-15,-3.90212154339923537336e-16,-3.41421356237309980841e+00>
		2, { 2,3,58,59 }
		1, { 2,10 }
		2, { 2,10,18,26,34,42,50,58 }
		1, { 2,58 }
		1, { 3,4 }
		2, { 3,4,11,12 }
		3, { 3,4,11,12,19,20,27,28,35,36,43,44,51,52,59,60 }, <1,-6.50353590566538037385e-17,-1.25607396694702092224e-15,-3.90212154339923438729e-16,-2.41421356237309847614e+00>
		2, { 3,4,59,60 }
		1, { 3,11 }
		2, { 3,11,19,27,35,43,51,59 }
		1, { 3,59 }
		1, { 4,5 }
		2, { 4,5,12,13 }
		3, { 4,5,12,13,20,21,28,29,36,37,44,45,52,53,60,61 }, <1,1.00000000000000222045e+00,-1.77635683940025283126e-15,-5.51843320870343534849e-16,-3.41421356237310247295e+00>
		2, { 4,5,60,61 }
		1, { 4,12 }
		2, { 4,12,20,28,36,44,52,60 }
		1, { 4,60 }
		1, { 5,6 }
		2, { 5,6,13,14 }
		3, { 5,6,13,14,21,22,29,30,37,38,45,46,53,54,61,62 }, <5.51843320870343239026e-16,1,-8.88178419700126218415e-16,-2.75921660435171619513e-16,-2.41421356237309714388e+00>
		2, { 5,6,61,62 }
		1, { 5,13 }
		2, { 5,13,21,29,37,45,53,61 }
		1, { 5,61 }
		1, { 6,7 }
		2, { 6,7,14,15 }
		3, { 6,7,14,15,22,23,30,31,38,39,46,47,54,55,62,63 }, <-1,9.99999999999998778755e-01,-5.20282872453229838262e-16,-1.61631166530419356564e-16,-3.41421356237309359116e+00>
		2, { 6,7,62,63 }
		1, { 6,14 }
		2, { 6,14,22,30,38,46,54,62 }
		1, { 6,62 }
		1, { 7,15 }
		2, { 7,15,23,31,39,47,55,63 }
		1, { 7,63 }
		1, { 8,9 }
		2, { 8,9,10,11,12,13,14,15 }
		3, { 8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23 }, <-0,7.85046229341887460101e-17,1.57009245868377492020e-16,-1,-2.41421356237309447934e+00>
		2, { 8,9,16,17 }
		1, { 8,15 }
		2, { 8,15,16,23 }
		1, { 8,16 }
		1, { 9,10 }
		2, { 9,10,17,18 }
		1, { 9,17 }
		1, { 10,11 }
		2, { 10,11,18,19 }
		1, { 10,18 }
		1, { 11,12 }
		2, { 11,12,19,20 }
		1, { 11,19 }
		1, { 12,13 }
		2, { 12,13,20,21 }
		1, { 12,20 }
		1, { 13,14 }
		2, { 13,14,21,22 }
		1, { 13,21 }
		1, { 14,15 }
		2, { 14,15,22,23 }
		1, { 14,22 }
		1, { 15,23 }
		1, { 16,17 }
		2, { 16,17,18,19,20,21,22,23 }
		3, { 16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31 }, <-6.59438832647185565093e-15,-3.10862446895042924129e-15,1,-1.00000000000000088818e+00,-3.41421356237311091064e+00>
		2, { 16,17,24,25 }
		1, { 16,23 }
		2, { 16,23,24,31 }
		1, { 16,24 }
		1, { 17,18 }
		2, { 17,18,25,26 }
		1, { 17,25 }
		1, { 18,19 }
		2, { 18,19,26,27 }
		1, { 18,26 }
		1, { 19,20 }
		2, { 19,20,27,28 }
		1, { 19,27 }
		1, { 20,21 }
		2, { 20,21,28,29 }
		1, { 20,28 }
		1, { 21,22 }
		2, { 21,22,29,30 }
		1, { 21,29 }
		1, { 22,23 }
		2, { 22,23,30,31 }
		1, { 22,30 }
		1, { 23,31 }
		1, { 24,25 }
		2, { 24,25,26,27,28,29,30,31 }
		3, { 24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39 }, <2.98317567149918132168e-15,1.25607396694701914730e-15,1,-3.90212154339923192209e-16,-2.41421356237308959436e+00>
		2, { 24,25,32,33 }
		1, { 24,31 }
		2, { 24,31,32,39 }
		1, { 24,32 }
		1, { 25,26 }
		2, { 25,26,33,34 }
		1, { 25,33 }
		1, { 26,27 }
		2, { 26,27,34,35 }
		1, { 26,34 }
		1, { 27,28 }
		2, { 27,28,35,36 }
		1, { 27,35 }
		1, { 28,29 }
		2, { 28,29,36,37 }
		1, { 28,36 }
		1, { 29,30 }
		2, { 29,30,37,38 }
		1, { 29,37 }
		1, { 30,31 }
		2, { 30,31,38,39 }
		1, { 30,38 }
		1, { 31,39 }
		1, { 32,33 }
		2, { 32,33,34,35,36,37,38,39 }
		3, { 32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47 }, <4.55326813018294815606e-15,1.88737914186276887973e-15,1,9.99999999999999555911e-01,-3.41421356237308470938e+00>
		2, { 32,33,40,41 }
		1, { 32,39 }
		2, { 32,39,40,47 }
		1, { 32,40 }
		1, { 33,34 }
		2, { 33,34,41,42 }
		1, { 33,41 }
		1, { 34,35 }
		2, { 34,35,42,43 }
		1, { 34,42 }
		1, { 35,36 }
		2, { 35,36,43,44 }
		1, { 35,43 }
		1, { 36,37 }
		2, { 36,37,44,45 }
		1, { 36,44 }
		1, { 37,38 }
		2, { 37,38,45,46 }
		1, { 37,45 }
		1, { 38,39 }
		2, { 38,39,46,47 }
		1, { 38,46 }
		1, { 39,47 }
		1, { 40,41 }
		2, { 40,41,42,43,44,45,46,47 }
		3, { 40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55 }, <-2.51214793389403474473e-15,-9.42055475210264952122e-16,1.30070718113307558173e-16,1,-2.41421356237309980841e+00>
		2, { 40,41,48,49 }
		1, { 40,47 }
		2, { 40,47,48,55 }
		1, { 40,48 }
		1, { 41,42 }
		2, { 41,42,49,50 }
		1, { 41,49 }
		1, { 42,43 }
		2, { 42,43,50,51 }
		1, { 42,50 }
		1, { 43,44 }
		2, { 43,44,51,52 }
		1, { 43,51 }
		1, { 44,45 }
		2, { 44,45,52,53 }
		1, { 44,52 }
		1, { 45,46 }
		2, { 45,46,53,54 }
		1, { 45,53 }
		1, { 46,47 }
		2, { 46,47,54,55 }
		1, { 46,54 }
		1, { 47,55 }
		1, { 48,49 }
		2, { 48,49,50,51,52,53,54,55 }
		3, { 48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63 }, <-4.71027737605132574668e-16,-0,-1,9.99999999999999111822e-01,-3.41421356237309447934e+00>
		2, { 48,49,56,57 }
		1, { 48,55 }
		2, { 48,55,56,63 }
		1, { 48,56 }
		1, { 49,50 }
		2, { 49,50,57,58 }
		1, { 49,57 }
		1, { 50,51 }
		2, { 50,51,58,59 }
		1, { 50,58 }
		1, { 51,52 }
		2, { 51,52,59,60 }
		1, { 51,59 }
		1, { 52,53 }
		2, { 52,53,60,61 }
		1, { 52,60 }
		1, { 53,54 }
		2, { 53,54,61,62 }
		1, { 53,61 }
		1, { 54,55 }
		2, { 54,55,62,63 }
		1, { 54,62 }
		1, { 55,63 }
		1, { 56,57 }
		2, { 56,57,58,59,60,61,62,63 }
		1, { 56,63 }
		1, { 57,58 }
		1, { 58,59 }
		1, { 59,60 }
		1, { 60,61 }
		1, { 61,62 }
		1, { 62,63 }
	}
}