# Automatically generated by makepoly.
polytope teddy_J91 {
	dimension 4
	vertices {
		<-4.40956595483037983030e+00, -7.07106781186547572737e-01, -7.07106781186547572737e-01, 7.07106781186547572737e-01>
		<-4.40956595483037983030e+00, -7.07106781186547572737e-01, 7.07106781186547572737e-01, -7.07106781186547572737e-01>
		<-4.40956595483037983030e+00, 7.07106781186547572737e-01, -7.07106781186547572737e-01, -7.07106781186547572737e-01>
		<-4.40956595483037983030e+00, 7.07106781186547572737e-01, 7.07106781186547572737e-01, 7.07106781186547572737e-01>
		<-3.70245917364383236858e+00, -2.28824561127073700106e+00, 0, 0>
		<-3.70245917364383236858e+00, 0, -2.28824561127073700106e+00, 0>
		<-3.70245917364383236858e+00, 0, 2.28824561127073700106e+00, 0>
		<-3.70245917364383236858e+00, 2.28824561127073700106e+00, 0, 0>
		<-3.26544314919501132977e+00, -1.85122958682191618429e+00, -4.37016024448821094328e-01, 1.85122958682191618429e+00>
		<-3.26544314919501132977e+00, -1.85122958682191618429e+00, 4.37016024448821094328e-01, -1.85122958682191618429e+00>
		<-3.26544314919501132977e+00, -4.37016024448821094328e-01, -1.85122958682191618429e+00, 1.85122958682191618429e+00>
		<-3.26544314919501132977e+00, -4.37016024448821094328e-01, 1.85122958682191618429e+00, -1.85122958682191618429e+00>
		<-3.26544314919501132977e+00, 4.37016024448821094328e-01, -1.85122958682191618429e+00, -1.85122958682191618429e+00>
		<-3.26544314919501132977e+00, 4.37016024448821094328e-01, 1.85122958682191618429e+00, 1.85122958682191618429e+00>
		<-3.26544314919501132977e+00, 1.85122958682191618429e+00, -4.37016024448821094328e-01, -1.85122958682191618429e+00>
		<-3.26544314919501132977e+00, 1.85122958682191618429e+00, 4.37016024448821094328e-01, 1.85122958682191618429e+00>
		<-2.55833636800846342396e+00, -2.55833636800846342396e+00, -1.14412280563536850053e+00, -1.14412280563536850053e+00>
		<-2.55833636800846342396e+00, -2.55833636800846342396e+00, 1.14412280563536850053e+00, 1.14412280563536850053e+00>
		<-2.55833636800846342396e+00, -1.14412280563536850053e+00, -2.55833636800846342396e+00, -1.14412280563536850053e+00>
		<-2.55833636800846342396e+00, -1.14412280563536850053e+00, -1.14412280563536850053e+00, -2.55833636800846342396e+00>
		<-2.55833636800846342396e+00, -1.14412280563536850053e+00, 1.14412280563536850053e+00, 2.55833636800846342396e+00>
		<-2.55833636800846342396e+00, -1.14412280563536850053e+00, 2.55833636800846342396e+00, 1.14412280563536850053e+00>
		<-2.55833636800846342396e+00, 1.14412280563536850053e+00, -2.55833636800846342396e+00, 1.14412280563536850053e+00>
		<-2.55833636800846342396e+00, 1.14412280563536850053e+00, -1.14412280563536850053e+00, 2.55833636800846342396e+00>
		<-2.55833636800846342396e+00, 1.14412280563536850053e+00, 1.14412280563536850053e+00, -2.55833636800846342396e+00>
		<-2.55833636800846342396e+00, 1.14412280563536850053e+00, 2.55833636800846342396e+00, -1.14412280563536850053e+00>
		<-2.55833636800846342396e+00, 2.55833636800846342396e+00, -1.14412280563536850053e+00, 1.14412280563536850053e+00>
		<-2.55833636800846342396e+00, 2.55833636800846342396e+00, 1.14412280563536850053e+00, -1.14412280563536850053e+00>
		<-2.28824561127073700106e+00, -3.70245917364383236858e+00, 0, 0>
		<-2.28824561127073700106e+00, 0, -3.70245917364383236858e+00, 0>
		<-2.28824561127073700106e+00, 0, 3.70245917364383236858e+00, 0>
		<-2.28824561127073700106e+00, 3.70245917364383236858e+00, 0, 0>
		<-1.85122958682191618429e+00, -3.26544314919501132977e+00, -4.37016024448821094328e-01, 1.85122958682191618429e+00>
		<-1.85122958682191618429e+00, -3.26544314919501132977e+00, 4.37016024448821094328e-01, -1.85122958682191618429e+00>
		<-1.85122958682191618429e+00, -1.85122958682191618429e+00, -4.37016024448821094328e-01, 3.26544314919501132977e+00>
		<-1.85122958682191618429e+00, -1.85122958682191618429e+00, 4.37016024448821094328e-01, -3.26544314919501132977e+00>
		<-1.85122958682191618429e+00, -4.37016024448821094328e-01, -3.26544314919501132977e+00, 1.85122958682191618429e+00>
		<-1.85122958682191618429e+00, -4.37016024448821094328e-01, -1.85122958682191618429e+00, 3.26544314919501132977e+00>
		<-1.85122958682191618429e+00, -4.37016024448821094328e-01, 1.85122958682191618429e+00, -3.26544314919501132977e+00>
		<-1.85122958682191618429e+00, -4.37016024448821094328e-01, 3.26544314919501132977e+00, -1.85122958682191618429e+00>
		<-1.85122958682191618429e+00, 4.37016024448821094328e-01, -3.26544314919501132977e+00, -1.85122958682191618429e+00>
		<-1.85122958682191618429e+00, 4.37016024448821094328e-01, -1.85122958682191618429e+00, -3.26544314919501132977e+00>
		<-1.85122958682191618429e+00, 4.37016024448821094328e-01, 1.85122958682191618429e+00, 3.26544314919501132977e+00>
		<-1.85122958682191618429e+00, 4.37016024448821094328e-01, 3.26544314919501132977e+00, 1.85122958682191618429e+00>
		<-1.85122958682191618429e+00, 1.85122958682191618429e+00, -4.37016024448821094328e-01, -3.26544314919501132977e+00>
		<-1.85122958682191618429e+00, 1.85122958682191618429e+00, 4.37016024448821094328e-01, 3.26544314919501132977e+00>
		<-1.85122958682191618429e+00, 3.26544314919501132977e+00, -4.37016024448821094328e-01, -1.85122958682191618429e+00>
		<-1.85122958682191618429e+00, 3.26544314919501132977e+00, 4.37016024448821094328e-01, 1.85122958682191618429e+00>
		<-1.14412280563536850053e+00, -2.55833636800846342396e+00, -2.55833636800846342396e+00, -1.14412280563536850053e+00>
		<-1.14412280563536850053e+00, -2.55833636800846342396e+00, -1.14412280563536850053e+00, -2.55833636800846342396e+00>
		<-1.14412280563536850053e+00, -2.55833636800846342396e+00, 1.14412280563536850053e+00, 2.55833636800846342396e+00>
		<-1.14412280563536850053e+00, -2.55833636800846342396e+00, 2.55833636800846342396e+00, 1.14412280563536850053e+00>
		<-1.14412280563536850053e+00, -1.14412280563536850053e+00, -2.55833636800846342396e+00, -2.55833636800846342396e+00>
		<-1.14412280563536850053e+00, -1.14412280563536850053e+00, 2.55833636800846342396e+00, 2.55833636800846342396e+00>
		<-1.14412280563536850053e+00, 1.14412280563536850053e+00, -2.55833636800846342396e+00, 2.55833636800846342396e+00>
		<-1.14412280563536850053e+00, 1.14412280563536850053e+00, 2.55833636800846342396e+00, -2.55833636800846342396e+00>
		<-1.14412280563536850053e+00, 2.55833636800846342396e+00, -2.55833636800846342396e+00, 1.14412280563536850053e+00>
		<-1.14412280563536850053e+00, 2.55833636800846342396e+00, -1.14412280563536850053e+00, 2.55833636800846342396e+00>
		<-1.14412280563536850053e+00, 2.55833636800846342396e+00, 1.14412280563536850053e+00, -2.55833636800846342396e+00>
		<-1.14412280563536850053e+00, 2.55833636800846342396e+00, 2.55833636800846342396e+00, -1.14412280563536850053e+00>
		<-7.07106781186547572737e-01, -4.40956595483037983030e+00, -7.07106781186547572737e-01, 7.07106781186547572737e-01>
		<-7.07106781186547572737e-01, -4.40956595483037983030e+00, 7.07106781186547572737e-01, -7.07106781186547572737e-01>
		<-7.07106781186547572737e-01, -7.07106781186547572737e-01, -4.40956595483037983030e+00, 7.07106781186547572737e-01>
		<-7.07106781186547572737e-01, -7.07106781186547572737e-01, -7.07106781186547572737e-01, 4.40956595483037983030e+00>
		<-7.07106781186547572737e-01, -7.07106781186547572737e-01, 7.07106781186547572737e-01, -4.40956595483037983030e+00>
		<-7.07106781186547572737e-01, -7.07106781186547572737e-01, 4.40956595483037983030e+00, -7.07106781186547572737e-01>
		<-7.07106781186547572737e-01, 7.07106781186547572737e-01, -4.40956595483037983030e+00, -7.07106781186547572737e-01>
		<-7.07106781186547572737e-01, 7.07106781186547572737e-01, -7.07106781186547572737e-01, -4.40956595483037983030e+00>
		<-7.07106781186547572737e-01, 7.07106781186547572737e-01, 7.07106781186547572737e-01, 4.40956595483037983030e+00>
		<-7.07106781186547572737e-01, 7.07106781186547572737e-01, 4.40956595483037983030e+00, 7.07106781186547572737e-01>
		<-7.07106781186547572737e-01, 4.40956595483037983030e+00, -7.07106781186547572737e-01, -7.07106781186547572737e-01>
		<-7.07106781186547572737e-01, 4.40956595483037983030e+00, 7.07106781186547572737e-01, 7.07106781186547572737e-01>
		<-4.37016024448821094328e-01, -3.26544314919501132977e+00, -1.85122958682191618429e+00, 1.85122958682191618429e+00>
		<-4.37016024448821094328e-01, -3.26544314919501132977e+00, 1.85122958682191618429e+00, -1.85122958682191618429e+00>
		<-4.37016024448821094328e-01, -1.85122958682191618429e+00, -3.26544314919501132977e+00, 1.85122958682191618429e+00>
		<-4.37016024448821094328e-01, -1.85122958682191618429e+00, -1.85122958682191618429e+00, 3.26544314919501132977e+00>
		<-4.37016024448821094328e-01, -1.85122958682191618429e+00, 1.85122958682191618429e+00, -3.26544314919501132977e+00>
		<-4.37016024448821094328e-01, -1.85122958682191618429e+00, 3.26544314919501132977e+00, -1.85122958682191618429e+00>
		<-4.37016024448821094328e-01, 1.85122958682191618429e+00, -3.26544314919501132977e+00, -1.85122958682191618429e+00>
		<-4.37016024448821094328e-01, 1.85122958682191618429e+00, -1.85122958682191618429e+00, -3.26544314919501132977e+00>
		<-4.37016024448821094328e-01, 1.85122958682191618429e+00, 1.85122958682191618429e+00, 3.26544314919501132977e+00>
		<-4.37016024448821094328e-01, 1.85122958682191618429e+00, 3.26544314919501132977e+00, 1.85122958682191618429e+00>
		<-4.37016024448821094328e-01, 3.26544314919501132977e+00, -1.85122958682191618429e+00, -1.85122958682191618429e+00>
		<-4.37016024448821094328e-01, 3.26544314919501132977e+00, 1.85122958682191618429e+00, 1.85122958682191618429e+00>
		<0, -3.70245917364383236858e+00, -2.28824561127073700106e+00, 0>
		<0, -3.70245917364383236858e+00, 2.28824561127073700106e+00, 0>
		<0, -2.28824561127073700106e+00, -3.70245917364383236858e+00, 0>
		<0, -2.28824561127073700106e+00, 3.70245917364383236858e+00, 0>
		<0, 2.28824561127073700106e+00, -3.70245917364383236858e+00, 0>
		<0, 2.28824561127073700106e+00, 3.70245917364383236858e+00, 0>
		<0, 3.70245917364383236858e+00, -2.28824561127073700106e+00, 0>
		<0, 3.70245917364383236858e+00, 2.28824561127073700106e+00, 0>
		<4.37016024448821094328e-01, -3.26544314919501132977e+00, -1.85122958682191618429e+00, -1.85122958682191618429e+00>
		<4.37016024448821094328e-01, -3.26544314919501132977e+00, 1.85122958682191618429e+00, 1.85122958682191618429e+00>
		<4.37016024448821094328e-01, -1.85122958682191618429e+00, -3.26544314919501132977e+00, -1.85122958682191618429e+00>
		<4.37016024448821094328e-01, -1.85122958682191618429e+00, -1.85122958682191618429e+00, -3.26544314919501132977e+00>
		<4.37016024448821094328e-01, -1.85122958682191618429e+00, 1.85122958682191618429e+00, 3.26544314919501132977e+00>
		<4.37016024448821094328e-01, -1.85122958682191618429e+00, 3.26544314919501132977e+00, 1.85122958682191618429e+00>
		<4.37016024448821094328e-01, 1.85122958682191618429e+00, -3.26544314919501132977e+00, 1.85122958682191618429e+00>
		<4.37016024448821094328e-01, 1.85122958682191618429e+00, -1.85122958682191618429e+00, 3.26544314919501132977e+00>
		<4.37016024448821094328e-01, 1.85122958682191618429e+00, 1.85122958682191618429e+00, -3.26544314919501132977e+00>
		<4.37016024448821094328e-01, 1.85122958682191618429e+00, 3.26544314919501132977e+00, -1.85122958682191618429e+00>
		<4.37016024448821094328e-01, 3.26544314919501132977e+00, -1.85122958682191618429e+00, 1.85122958682191618429e+00>
		<4.37016024448821094328e-01, 3.26544314919501132977e+00, 1.85122958682191618429e+00, -1.85122958682191618429e+00>
		<7.07106781186547572737e-01, -4.40956595483037983030e+00, -7.07106781186547572737e-01, -7.07106781186547572737e-01>
		<7.07106781186547572737e-01, -4.40956595483037983030e+00, 7.07106781186547572737e-01, 7.07106781186547572737e-01>
		<7.07106781186547572737e-01, -7.07106781186547572737e-01, -4.40956595483037983030e+00, -7.07106781186547572737e-01>
		<7.07106781186547572737e-01, -7.07106781186547572737e-01, -7.07106781186547572737e-01, -4.40956595483037983030e+00>
		<7.07106781186547572737e-01, -7.07106781186547572737e-01, 7.07106781186547572737e-01, 4.40956595483037983030e+00>
		<7.07106781186547572737e-01, -7.07106781186547572737e-01, 4.40956595483037983030e+00, 7.07106781186547572737e-01>
		<7.07106781186547572737e-01, 7.07106781186547572737e-01, -4.40956595483037983030e+00, 7.07106781186547572737e-01>
		<7.07106781186547572737e-01, 7.07106781186547572737e-01, -7.07106781186547572737e-01, 4.40956595483037983030e+00>
		<7.07106781186547572737e-01, 7.07106781186547572737e-01, 7.07106781186547572737e-01, -4.40956595483037983030e+00>
		<7.07106781186547572737e-01, 7.07106781186547572737e-01, 4.40956595483037983030e+00, -7.07106781186547572737e-01>
		<7.07106781186547572737e-01, 4.40956595483037983030e+00, -7.07106781186547572737e-01, 7.07106781186547572737e-01>
		<7.07106781186547572737e-01, 4.40956595483037983030e+00, 7.07106781186547572737e-01, -7.07106781186547572737e-01>
		<1.14412280563536850053e+00, -2.55833636800846342396e+00, -2.55833636800846342396e+00, 1.14412280563536850053e+00>
		<1.14412280563536850053e+00, -2.55833636800846342396e+00, -1.14412280563536850053e+00, 2.55833636800846342396e+00>
		<1.14412280563536850053e+00, -2.55833636800846342396e+00, 1.14412280563536850053e+00, -2.55833636800846342396e+00>
		<1.14412280563536850053e+00, -2.55833636800846342396e+00, 2.55833636800846342396e+00, -1.14412280563536850053e+00>
		<1.14412280563536850053e+00, -1.14412280563536850053e+00, -2.55833636800846342396e+00, 2.55833636800846342396e+00>
		<1.14412280563536850053e+00, -1.14412280563536850053e+00, 2.55833636800846342396e+00, -2.55833636800846342396e+00>
		<1.14412280563536850053e+00, 1.14412280563536850053e+00, -2.55833636800846342396e+00, -2.55833636800846342396e+00>
		<1.14412280563536850053e+00, 1.14412280563536850053e+00, 2.55833636800846342396e+00, 2.55833636800846342396e+00>
		<1.14412280563536850053e+00, 2.55833636800846342396e+00, -2.55833636800846342396e+00, -1.14412280563536850053e+00>
		<1.14412280563536850053e+00, 2.55833636800846342396e+00, -1.14412280563536850053e+00, -2.55833636800846342396e+00>
		<1.14412280563536850053e+00, 2.55833636800846342396e+00, 1.14412280563536850053e+00, 2.55833636800846342396e+00>
		<1.14412280563536850053e+00, 2.55833636800846342396e+00, 2.55833636800846342396e+00, 1.14412280563536850053e+00>
		<1.85122958682191618429e+00, -3.26544314919501132977e+00, -4.37016024448821094328e-01, -1.85122958682191618429e+00>
		<1.85122958682191618429e+00, -3.26544314919501132977e+00, 4.37016024448821094328e-01, 1.85122958682191618429e+00>
		<1.85122958682191618429e+00, -1.85122958682191618429e+00, -4.37016024448821094328e-01, -3.26544314919501132977e+00>
		<1.85122958682191618429e+00, -1.85122958682191618429e+00, 4.37016024448821094328e-01, 3.26544314919501132977e+00>
		<1.85122958682191618429e+00, -4.37016024448821094328e-01, -3.26544314919501132977e+00, -1.85122958682191618429e+00>
		<1.85122958682191618429e+00, -4.37016024448821094328e-01, -1.85122958682191618429e+00, -3.26544314919501132977e+00>
		<1.85122958682191618429e+00, -4.37016024448821094328e-01, 1.85122958682191618429e+00, 3.26544314919501132977e+00>
		<1.85122958682191618429e+00, -4.37016024448821094328e-01, 3.26544314919501132977e+00, 1.85122958682191618429e+00>
		<1.85122958682191618429e+00, 4.37016024448821094328e-01, -3.26544314919501132977e+00, 1.85122958682191618429e+00>
		<1.85122958682191618429e+00, 4.37016024448821094328e-01, -1.85122958682191618429e+00, 3.26544314919501132977e+00>
		<1.85122958682191618429e+00, 4.37016024448821094328e-01, 1.85122958682191618429e+00, -3.26544314919501132977e+00>
		<1.85122958682191618429e+00, 4.37016024448821094328e-01, 3.26544314919501132977e+00, -1.85122958682191618429e+00>
		<1.85122958682191618429e+00, 1.85122958682191618429e+00, -4.37016024448821094328e-01, 3.26544314919501132977e+00>
		<1.85122958682191618429e+00, 1.85122958682191618429e+00, 4.37016024448821094328e-01, -3.26544314919501132977e+00>
		<1.85122958682191618429e+00, 3.26544314919501132977e+00, -4.37016024448821094328e-01, 1.85122958682191618429e+00>
		<1.85122958682191618429e+00, 3.26544314919501132977e+00, 4.37016024448821094328e-01, -1.85122958682191618429e+00>
		<2.28824561127073700106e+00, -3.70245917364383236858e+00, 0, 0>
		<2.28824561127073700106e+00, 0, -3.70245917364383236858e+00, 0>
		<2.28824561127073700106e+00, 0, 3.70245917364383236858e+00, 0>
		<2.28824561127073700106e+00, 3.70245917364383236858e+00, 0, 0>
		<2.55833636800846342396e+00, -2.55833636800846342396e+00, -1.14412280563536850053e+00, 1.14412280563536850053e+00>
		<2.55833636800846342396e+00, -2.55833636800846342396e+00, 1.14412280563536850053e+00, -1.14412280563536850053e+00>
		<2.55833636800846342396e+00, -1.14412280563536850053e+00, -2.55833636800846342396e+00, 1.14412280563536850053e+00>
		<2.55833636800846342396e+00, -1.14412280563536850053e+00, -1.14412280563536850053e+00, 2.55833636800846342396e+00>
		<2.55833636800846342396e+00, -1.14412280563536850053e+00, 1.14412280563536850053e+00, -2.55833636800846342396e+00>
		<2.55833636800846342396e+00, -1.14412280563536850053e+00, 2.55833636800846342396e+00, -1.14412280563536850053e+00>
		<2.55833636800846342396e+00, 1.14412280563536850053e+00, -2.55833636800846342396e+00, -1.14412280563536850053e+00>
		<2.55833636800846342396e+00, 1.14412280563536850053e+00, -1.14412280563536850053e+00, -2.55833636800846342396e+00>
		<2.55833636800846342396e+00, 1.14412280563536850053e+00, 1.14412280563536850053e+00, 2.55833636800846342396e+00>
		<2.55833636800846342396e+00, 1.14412280563536850053e+00, 2.55833636800846342396e+00, 1.14412280563536850053e+00>
		<2.55833636800846342396e+00, 2.55833636800846342396e+00, -1.14412280563536850053e+00, -1.14412280563536850053e+00>
		<2.55833636800846342396e+00, 2.55833636800846342396e+00, 1.14412280563536850053e+00, 1.14412280563536850053e+00>
		<3.26544314919501132977e+00, -1.85122958682191618429e+00, -4.37016024448821094328e-01, -1.85122958682191618429e+00>
		<3.26544314919501132977e+00, -1.85122958682191618429e+00, 4.37016024448821094328e-01, 1.85122958682191618429e+00>
		<3.26544314919501132977e+00, -4.37016024448821094328e-01, -1.85122958682191618429e+00, -1.85122958682191618429e+00>
		<3.26544314919501132977e+00, -4.37016024448821094328e-01, 1.85122958682191618429e+00, 1.85122958682191618429e+00>
		<3.26544314919501132977e+00, 4.37016024448821094328e-01, -1.85122958682191618429e+00, 1.85122958682191618429e+00>
		<3.26544314919501132977e+00, 4.37016024448821094328e-01, 1.85122958682191618429e+00, -1.85122958682191618429e+00>
		<3.26544314919501132977e+00, 1.85122958682191618429e+00, -4.37016024448821094328e-01, 1.85122958682191618429e+00>
		<3.26544314919501132977e+00, 1.85122958682191618429e+00, 4.37016024448821094328e-01, -1.85122958682191618429e+00>
		<3.70245917364383236858e+00, -2.28824561127073700106e+00, 0, 0>
		<3.70245917364383236858e+00, 0, -2.28824561127073700106e+00, 0>
		<3.70245917364383236858e+00, 0, 2.28824561127073700106e+00, 0>
		<3.70245917364383236858e+00, 2.28824561127073700106e+00, 0, 0>
		<4.40956595483037983030e+00, -7.07106781186547572737e-01, -7.07106781186547572737e-01, -7.07106781186547572737e-01>
		<4.40956595483037983030e+00, -7.07106781186547572737e-01, 7.07106781186547572737e-01, 7.07106781186547572737e-01>
		<4.40956595483037983030e+00, 7.07106781186547572737e-01, -7.07106781186547572737e-01, 7.07106781186547572737e-01>
		<4.40956595483037983030e+00, 7.07106781186547572737e-01, 7.07106781186547572737e-01, -7.07106781186547572737e-01>
	}
	lattice {
		1, { 0,1 }
		2, { 0,1,2 }
		3, { 0,1,2,3 }, <-1,-0,-0,-0,-4.40956595483037983030e+00>
		3, { 0,1,2,4,5,9,12,16,18,19 }, <-2.23606797749978980505e+00,-1,-1,-1,-1.05671960074560438159e+01>
		2, { 0,1,3 }
		3, { 0,1,3,4,6,8,13,17,20,21 }, <-2.23606797749978980505e+00,-1,1,1,-1.05671960074560438159e+01>
		2, { 0,1,4 }
		1, { 0,2 }
		2, { 0,2,3 }
		3, { 0,2,3,5,7,10,15,22,23,26 }, <-2.23606797749978358780e+00,1,-1,1,-1.05671960074560207232e+01>
		2, { 0,2,5 }
		1, { 0,3 }
		2, { 0,3,8,13,20 }
		3, { 0,3,8,10,13,15,20,23,34,37,42,45,63,68 }, <-1,-0,-0,1.00000000000000133227e+00,-5.11667273601692951246e+00>
		2, { 0,3,10,15,23 }
		1, { 0,4 }
		2, { 0,4,8 }
		2, { 0,4,5,16,18 }
		3, { 0,4,5,8,10,16,18,28,29,32,36,48,60,62,72,74,84,86 }, <-4.23606797749979158141e+00,-4.23606797749979602230e+00,-4.23606797749979957501e+00,1,-2.53770327020313963828e+01>
		1, { 0,5 }
		2, { 0,5,10 }
		1, { 0,8 }
		2, { 0,8,10 }
		1, { 0,10 }
		1, { 1,2 }
		2, { 1,2,3 }
		3, { 1,2,3,6,7,11,14,24,25,27 }, <-2.23606797749978358780e+00,1,1,-1,-1.05671960074560207232e+01>
		2, { 1,2,9,12,19 }
		3, { 1,2,9,11,12,14,19,24,35,38,41,44,64,67 }, <-1,-0,-0,-1.00000000000000133227e+00,-5.11667273601692951246e+00>
		2, { 1,2,11,14,24 }
		1, { 1,3 }
		2, { 1,3,6 }
		1, { 1,4 }
		2, { 1,4,9 }
		2, { 1,4,6,17,21 }
		3, { 1,4,6,9,11,17,21,28,30,33,39,51,61,65,73,77,85,87 }, <-4.23606797749979158141e+00,-4.23606797749979602230e+00,4.23606797749979957501e+00,-1,-2.53770327020313963828e+01>
		1, { 1,6 }
		2, { 1,6,11 }
		1, { 1,9 }
		2, { 1,9,11 }
		1, { 1,11 }
		1, { 2,3 }
		2, { 2,3,7 }
		1, { 2,5 }
		2, { 2,5,12 }
		2, { 2,5,7,22,26 }
		3, { 2,5,7,12,14,22,26,29,31,40,46,56,66,70,78,82,88,90 }, <-4.23606797749979158141e+00,4.23606797749982089130e+00,-4.23606797749981733858e+00,-1,-2.53770327020314425681e+01>
		1, { 2,7 }
		2, { 2,7,14 }
		1, { 2,12 }
		2, { 2,12,14 }
		1, { 2,14 }
		1, { 3,6 }
		2, { 3,6,13 }
		2, { 3,6,7,25,27 }
		3, { 3,6,7,13,15,25,27,30,31,43,47,59,69,71,81,83,89,91 }, <-4.23606797749979158141e+00,4.23606797749982089130e+00,4.23606797749981733858e+00,1,-2.53770327020314425681e+01>
		1, { 3,7 }
		2, { 3,7,15 }
		1, { 3,13 }
		2, { 3,13,15 }
		1, { 3,15 }
		1, { 4,8 }
		2, { 4,8,17 }
		3, { 4,8,17,28,32 }, <-4.23606797749978714052e+00,-4.23606797749978802869e+00,1,2.23606797749979024914e+00,-2.53770327020313608557e+01>
		2, { 4,8,28,32 }
		1, { 4,9 }
		2, { 4,9,16 }
		3, { 4,9,16,28,33 }, <-4.23606797749977381784e+00,-4.23606797749977648238e+00,-1,-2.23606797749978580825e+00,-2.53770327020312862487e+01>
		2, { 4,9,28,33 }
		1, { 4,16 }
		2, { 4,16,28 }
		1, { 4,17 }
		2, { 4,17,28 }
		1, { 4,28 }
		1, { 5,10 }
		2, { 5,10,22 }
		3, { 5,10,22,29,36 }, <-4.23606797749976937695e+00,1,-4.23606797749976848877e+00,2.23606797749978269962e+00,-2.53770327020312436161e+01>
		2, { 5,10,29,36 }
		1, { 5,12 }
		2, { 5,12,18 }
		3, { 5,12,18,29,40 }, <-4.23606797749978536416e+00,-1,-4.23606797749978714052e+00,-2.23606797749978891687e+00,-2.53770327020313501976e+01>
		2, { 5,12,29,40 }
		1, { 5,18 }
		2, { 5,18,29 }
		1, { 5,22 }
		2, { 5,22,29 }
		1, { 5,29 }
		1, { 6,11 }
		2, { 6,11,25 }
		3, { 6,11,25,30,39 }, <-4.23606797749976848877e+00,1,4.23606797749976760059e+00,-2.23606797749978269962e+00,-2.53770327020312436161e+01>
		2, { 6,11,30,39 }
		1, { 6,13 }
		2, { 6,13,21 }
		3, { 6,13,21,30,43 }, <-4.23606797749979069323e+00,-1,4.23606797749979246959e+00,2.23606797749979069323e+00,-2.53770327020313821720e+01>
		2, { 6,13,30,43 }
		1, { 6,21 }
		2, { 6,21,30 }
		1, { 6,25 }
		2, { 6,25,30 }
		1, { 6,30 }
		1, { 7,14 }
		2, { 7,14,27 }
		3, { 7,14,27,31,46 }, <-4.23606797749977470602e+00,4.23606797749977026513e+00,1,-2.23606797749978447598e+00,-2.53770327020312649324e+01>
		2, { 7,14,31,46 }
		1, { 7,15 }
		2, { 7,15,26 }
		3, { 7,15,26,31,47 }, <-4.23606797749976493606e+00,4.23606797749976138334e+00,-1,2.23606797749978003509e+00,-2.53770327020312116417e+01>
		2, { 7,15,31,47 }
		1, { 7,26 }
		2, { 7,26,31 }
		1, { 7,27 }
		2, { 7,27,31 }
		1, { 7,31 }
		1, { 8,10 }
		2, { 8,10,34,37 }
		2, { 8,10,32,36,72,74 }
		3, { 8,10,32,34,36,37,72,74,75 }, <-1,-1.00000000000000022204e+00,-1.00000000000000155431e+00,9.99999999999999555911e-01,-7.40491834728766384899e+00>
		1, { 8,17 }
		2, { 8,17,20 }
		3, { 8,17,20,32,34,50 }, <-2.23606797749979202550e+00,-2.23606797749979069323e+00,1,2.23606797749979158141e+00,-1.51436872299975302525e+01>
		2, { 8,17,32 }
		1, { 8,20 }
		2, { 8,20,34 }
		1, { 8,32 }
		2, { 8,32,34 }
		1, { 8,34 }
		1, { 9,11 }
		2, { 9,11,35,38 }
		2, { 9,11,33,39,73,77 }
		3, { 9,11,33,35,38,39,73,76,77 }, <-1,-1.00000000000000022204e+00,1.00000000000000111022e+00,-9.99999999999999444888e-01,-7.40491834728766296081e+00>
		1, { 9,16 }
		2, { 9,16,19 }
		3, { 9,16,19,33,35,49 }, <-2.23606797749978758461e+00,-2.23606797749978536416e+00,-1,-2.23606797749978714052e+00,-1.51436872299974947254e+01>
		2, { 9,16,33 }
		1, { 9,19 }
		2, { 9,19,35 }
		1, { 9,33 }
		2, { 9,33,35 }
		1, { 9,35 }
		1, { 10,22 }
		2, { 10,22,23 }
		3, { 10,22,23,36,37,54 }, <-2.23606797749977737055e+00,1,-2.23606797749976982104e+00,2.23606797749976893286e+00,-1.51436872299973934730e+01>
		2, { 10,22,36 }
		1, { 10,23 }
		2, { 10,23,37 }
		1, { 10,36 }
		2, { 10,36,37 }
		1, { 10,37 }
		1, { 11,24 }
		2, { 11,24,25 }
		3, { 11,24,25,38,39,55 }, <-2.23606797749977603829e+00,1,2.23606797749976937695e+00,-2.23606797749977026513e+00,-1.51436872299973916967e+01>
		2, { 11,24,38 }
		1, { 11,25 }
		2, { 11,25,39 }
		1, { 11,38 }
		2, { 11,38,39 }
		1, { 11,39 }
		1, { 12,14 }
		2, { 12,14,41,44 }
		2, { 12,14,40,46,78,82 }
		3, { 12,14,40,41,44,46,78,79,82 }, <-1,1.00000000000000510703e+00,-1.00000000000000421885e+00,-9.99999999999999000799e-01,-7.40491834728767095442e+00>
		1, { 12,18 }
		2, { 12,18,19 }
		3, { 12,18,19,40,41,52 }, <-2.23606797749979380185e+00,-1,-2.23606797749979158141e+00,-2.23606797749979024914e+00,-1.51436872299975302525e+01>
		2, { 12,18,40 }
		1, { 12,19 }
		2, { 12,19,41 }
		1, { 12,40 }
		2, { 12,40,41 }
		1, { 12,41 }
		1, { 13,15 }
		2, { 13,15,42,45 }
		3, { 13,15,42,43,45,47,80,81,83 }, <-1,1.00000000000000088818e+00,9.99999999999999555911e-01,1.00000000000000066613e+00,-7.40491834728766562534e+00>
		2, { 13,15,43,47,81,83 }
		1, { 13,20 }
		2, { 13,20,21 }
		3, { 13,20,21,42,43,53 }, <-2.23606797749978980505e+00,-1,2.23606797749978936096e+00,2.23606797749978936096e+00,-1.51436872299975160416e+01>
		2, { 13,20,42 }
		1, { 13,21 }
		2, { 13,21,43 }
		1, { 13,42 }
		2, { 13,42,43 }
		1, { 13,43 }
		1, { 14,24 }
		2, { 14,24,27 }
		3, { 14,24,27,44,46,58 }, <-2.23606797749978225553e+00,2.23606797749977825873e+00,1,-2.23606797749977559420e+00,-1.51436872299974396583e+01>
		2, { 14,24,44 }
		1, { 14,27 }
		2, { 14,27,46 }
		1, { 14,44 }
		2, { 14,44,46 }
		1, { 14,46 }
		1, { 15,23 }
		2, { 15,23,26 }
		3, { 15,23,26,45,47,57 }, <-2.23606797749977559420e+00,2.23606797749977248557e+00,-1,2.23606797749977070922e+00,-1.51436872299973970257e+01>
		2, { 15,23,45 }
		1, { 15,26 }
		2, { 15,26,47 }
		1, { 15,45 }
		2, { 15,45,47 }
		1, { 15,47 }
		1, { 16,18 }
		2, { 16,18,19 }
		3, { 16,18,19,48,49,52 }, <-1,-9.99999999999999000799e-01,-1.00000000000000022204e+00,-9.99999999999998778755e-01,-7.40491834728766118445e+00>
		2, { 16,18,48 }
		1, { 16,19 }
		2, { 16,19,49 }
		1, { 16,28 }
		2, { 16,28,33 }
		3, { 16,28,33,48,49,60,61,84,92,104 }, <-1,-2.23606797749978269962e+00,-9.99999999999997557509e-01,-9.99999999999998889777e-01,-1.05671960074560189469e+01>
		2, { 16,28,48,60,84 }
		1, { 16,33 }
		2, { 16,33,49 }
		1, { 16,48 }
		2, { 16,48,49 }
		1, { 16,49 }
		1, { 17,20 }
		2, { 17,20,21 }
		3, { 17,20,21,50,51,53 }, <-1,-1,9.99999999999999444888e-01,1.00000000000000066613e+00,-7.40491834728766473717e+00>
		2, { 17,20,50 }
		1, { 17,21 }
		2, { 17,21,51 }
		1, { 17,28 }
		2, { 17,28,32 }
		3, { 17,28,32,50,51,60,61,85,93,105 }, <-1,-2.23606797749978891687e+00,9.99999999999999666933e-01,1.00000000000000044409e+00,-1.05671960074560420395e+01>
		2, { 17,28,51,61,85 }
		1, { 17,32 }
		2, { 17,32,50 }
		1, { 17,50 }
		2, { 17,50,51 }
		1, { 17,51 }
		1, { 18,19 }
		2, { 18,19,52 }
		1, { 18,29 }
		2, { 18,29,40 }
		3, { 18,29,40,48,52,62,66,86,94,106 }, <-1,-9.99999999999997557509e-01,-2.23606797749978891687e+00,-9.99999999999999555911e-01,-1.05671960074560331577e+01>
		2, { 18,29,48,62,86 }
		1, { 18,40 }
		2, { 18,40,52 }
		1, { 18,48 }
		2, { 18,48,52 }
		1, { 18,52 }
		1, { 19,35 }
		2, { 19,35,49 }
		2, { 19,35,41,64,67 }
		3, { 19,35,41,49,52,64,67,95,107 }, <-1,-9.99999999999998334665e-01,-1.00000000000000066613e+00,-2.23606797749979291368e+00,-1.05671960074560473686e+01>
		1, { 19,41 }
		2, { 19,41,52 }
		1, { 19,49 }
		2, { 19,49,52 }
		1, { 19,52 }
		1, { 20,21 }
		2, { 20,21,53 }
		1, { 20,34 }
		2, { 20,34,50 }
		2, { 20,34,42,63,68 }
		3, { 20,34,42,50,53,63,68,96,108 }, <-1,-9.99999999999998334665e-01,9.99999999999997335465e-01,2.23606797749978758461e+00,-1.05671960074560313814e+01>
		1, { 20,42 }
		2, { 20,42,53 }
		1, { 20,50 }
		2, { 20,50,53 }
		1, { 20,53 }
		1, { 21,30 }
		2, { 21,30,43 }
		3, { 21,30,43,51,53,65,69,87,97,109 }, <-1,-1.00000000000000044409e+00,2.23606797749978980505e+00,1.00000000000000022204e+00,-1.05671960074560438159e+01>
		2, { 21,30,51,65,87 }
		1, { 21,43 }
		2, { 21,43,53 }
		1, { 21,51 }
		2, { 21,51,53 }
		1, { 21,53 }
		1, { 22,23 }
		2, { 22,23,26 }
		3, { 22,23,26,54,56,57 }, <-1,9.99999999999992561506e-01,-9.99999999999993005595e-01,9.99999999999992783550e-01,-7.40491834728761944007e+00>
		2, { 22,23,54 }
		1, { 22,26 }
		2, { 22,26,56 }
		1, { 22,29 }
		2, { 22,29,36 }
		3, { 22,29,36,54,56,62,66,88,98,110 }, <-1,9.99999999999988675725e-01,-2.23606797749975871881e+00,9.99999999999989341859e-01,-1.05671960074559248000e+01>
		2, { 22,29,56,66,88 }
		1, { 22,36 }
		2, { 22,36,54 }
		1, { 22,54 }
		2, { 22,54,56 }
		1, { 22,56 }
		1, { 23,26 }
		2, { 23,26,57 }
		1, { 23,37 }
		2, { 23,37,54 }
		2, { 23,37,45,63,68 }
		3, { 23,37,45,54,57,63,68,99,111 }, <-1,9.99999999999989008792e-01,-9.99999999999990119015e-01,2.23606797749975738654e+00,-1.05671960074559230236e+01>
		1, { 23,45 }
		2, { 23,45,57 }
		1, { 23,54 }
		2, { 23,54,57 }
		1, { 23,57 }
		1, { 24,25 }
		2, { 24,25,27 }
		3, { 24,25,27,55,58,59 }, <-1,9.99999999999998223643e-01,9.99999999999997113420e-01,-9.99999999999997446487e-01,-7.40491834728764786178e+00>
		2, { 24,25,55 }
		1, { 24,27 }
		2, { 24,27,58 }
		1, { 24,38 }
		2, { 24,38,55 }
		2, { 24,38,44,64,67 }
		3, { 24,38,44,55,58,64,67,100,112 }, <-1,1.00000000000000022204e+00,9.99999999999997779554e-01,-2.23606797749978936096e+00,-1.05671960074560367104e+01>
		1, { 24,44 }
		2, { 24,44,58 }
		1, { 24,55 }
		2, { 24,55,58 }
		1, { 24,58 }
		1, { 25,27 }
		2, { 25,27,59 }
		1, { 25,30 }
		2, { 25,30,39 }
		3, { 25,30,39,55,59,65,69,89,101,113 }, <-1,9.99999999999996003197e-01,2.23606797749977825873e+00,-9.99999999999996003197e-01,-1.05671960074559976306e+01>
		2, { 25,30,59,69,89 }
		1, { 25,39 }
		2, { 25,39,55 }
		1, { 25,55 }
		2, { 25,55,59 }
		1, { 25,59 }
		1, { 26,31 }
		2, { 26,31,47 }
		3, { 26,31,47,56,57,70,71,90,102,114 }, <-1,2.23606797749975871881e+00,-9.99999999999990119015e-01,9.99999999999989785948e-01,-1.05671960074559248000e+01>
		2, { 26,31,56,70,90 }
		1, { 26,47 }
		2, { 26,47,57 }
		1, { 26,56 }
		2, { 26,56,57 }
		1, { 26,57 }
		1, { 27,31 }
		2, { 27,31,46 }
		3, { 27,31,46,58,59,70,71,91,103,115 }, <-1,2.23606797749977115330e+00,9.99999999999989230837e-01,-9.99999999999992561506e-01,-1.05671960074559656562e+01>
		2, { 27,31,59,71,91 }
		1, { 27,46 }
		2, { 27,46,58 }
		1, { 27,58 }
		2, { 27,58,59 }
		1, { 27,59 }
		1, { 28,32 }
		2, { 28,32,60 }
		1, { 28,33 }
		2, { 28,33,61 }
		1, { 28,60 }
		2, { 28,60,61 }
		1, { 28,61 }
		1, { 29,36 }
		2, { 29,36,62 }
		1, { 29,40 }
		2, { 29,40,66 }
		1, { 29,62 }
		2, { 29,62,66 }
		1, { 29,66 }
		1, { 30,39 }
		2, { 30,39,65 }
		1, { 30,43 }
		2, { 30,43,69 }
		1, { 30,65 }
		2, { 30,65,69 }
		1, { 30,69 }
		1, { 31,46 }
		2, { 31,46,70 }
		1, { 31,47 }
		2, { 31,47,71 }
		1, { 31,70 }
		2, { 31,70,71 }
		1, { 31,71 }
		1, { 32,34 }
		2, { 32,34,50 }
		3, { 32,34,50,60,63,72,75,93,96,105,108,117,129,131 }, <-3.88148201978585507450e-16,-1,-1.45555575741969564061e-15,1.00000000000000022204e+00,-5.11667273601692951246e+00>
		2, { 32,34,72,75 }
		1, { 32,50 }
		2, { 32,50,60,93,105 }
		1, { 32,60 }
		2, { 32,60,72 }
		1, { 32,72 }
		1, { 33,35 }
		2, { 33,35,49 }
		3, { 33,35,49,61,64,73,76,92,95,104,107,118,128,130 }, <-1.06740755544110968943e-15,-1,-2.91111151483939019654e-16,-1.00000000000000044409e+00,-5.11667273601692862428e+00>
		2, { 33,35,73,76 }
		1, { 33,49 }
		2, { 33,49,61,92,104 }
		1, { 33,61 }
		2, { 33,61,73 }
		1, { 33,73 }
		1, { 34,37 }
		2, { 34,37,63 }
		3, { 34,37,63,75 }, <-1,-9.99999999999996558309e-01,-9.99999999999997890576e-01,1.76393202250020553201e+00,-9.89949493661163870684e+00>
		2, { 34,37,75 }
		1, { 34,50 }
		2, { 34,50,63,96,108 }
		1, { 34,63 }
		2, { 34,63,75 }
		1, { 34,75 }
		1, { 35,38 }
		2, { 35,38,64 }
		3, { 35,38,64,76 }, <-1,-9.99999999999996891376e-01,9.99999999999997446487e-01,-1.76393202250020486588e+00,-9.89949493661163693048e+00>
		2, { 35,38,76 }
		1, { 35,49 }
		2, { 35,49,64,95,107 }
		1, { 35,64 }
		2, { 35,64,76 }
		1, { 35,76 }
		1, { 36,37 }
		2, { 36,37,54 }
		3, { 36,37,54,62,63,74,75,98,99,110,111,120,136,137 }, <-1.49158783574959716894e-15,1.25607396694702920528e-15,-1,9.99999999999999222844e-01,-5.11667273601692684792e+00>
		2, { 36,37,74,75 }
		1, { 36,54 }
		2, { 36,54,62,98,110 }
		1, { 36,62 }
		2, { 36,62,74 }
		1, { 36,74 }
		1, { 37,54 }
		2, { 37,54,63,99,111 }
		1, { 37,63 }
		2, { 37,63,75 }
		1, { 37,75 }
		1, { 38,39 }
		2, { 38,39,55 }
		3, { 38,39,55,64,65,76,77,100,101,112,113,121,138,139 }, <-4.71027737605135039859e-16,1.96261557335472954639e-15,1,-9.99999999999999555911e-01,-5.11667273601692329521e+00>
		2, { 38,39,76,77 }
		1, { 38,55 }
		2, { 38,55,64,100,112 }
		1, { 38,64 }
		2, { 38,64,76 }
		1, { 38,76 }
		1, { 39,55 }
		2, { 39,55,65,101,113 }
		1, { 39,65 }
		2, { 39,65,77 }
		1, { 39,77 }
		1, { 40,41 }
		2, { 40,41,52 }
		3, { 40,41,52,66,67,78,79,94,95,106,107,122,132,133 }, <-4.07555612077513730186e-15,-6.30740828215199754788e-16,-1,-9.99999999999998112621e-01,-5.11667273601692773610e+00>
		2, { 40,41,78,79 }
		1, { 40,52 }
		2, { 40,52,66,94,106 }
		1, { 40,66 }
		2, { 40,66,78 }
		1, { 40,78 }
		1, { 41,44 }
		2, { 41,44,67 }
		3, { 41,44,67,79 }, <-1,9.99999999999998889777e-01,-9.99999999999997890576e-01,-1.76393202250019220934e+00,-9.89949493661160140334e+00>
		2, { 41,44,79 }
		1, { 41,52 }
		2, { 41,52,67,95,107 }
		1, { 41,67 }
		2, { 41,67,79 }
		1, { 41,79 }
		1, { 42,43 }
		2, { 42,43,53 }
		3, { 42,43,53,68,69,80,81,96,97,108,109,123,134,135 }, <-3.88148201978585310235e-16,2.42592626236615825060e-16,1,1.00000000000000044409e+00,-5.11667273601692773610e+00>
		2, { 42,43,80,81 }
		1, { 42,45 }
		2, { 42,45,68 }
		3, { 42,45,68,80 }, <-1,9.99999999999997668532e-01,9.99999999999996558309e-01,1.76393202250020797450e+00,-9.89949493661164758862e+00>
		2, { 42,45,80 }
		1, { 42,53 }
		2, { 42,53,68,96,108 }
		1, { 42,68 }
		2, { 42,68,80 }
		1, { 42,80 }
		1, { 43,53 }
		2, { 43,53,69,97,109 }
		1, { 43,69 }
		2, { 43,69,81 }
		1, { 43,81 }
		1, { 44,46 }
		2, { 44,46,58 }
		3, { 44,46,58,67,70,79,82,100,103,112,115,125,141,143 }, <2.98317567149918368826e-15,1,-6.28036983473512334664e-16,-9.99999999999997335465e-01,-5.11667273601691352525e+00>
		2, { 44,46,79,82 }
		1, { 44,58 }
		2, { 44,58,67,100,112 }
		1, { 44,67 }
		2, { 44,67,79 }
		1, { 44,79 }
		1, { 45,47 }
		2, { 45,47,57 }
		3, { 45,47,57,68,71,80,83,99,102,111,114,126,140,142 }, <9.70370504946469808342e-17,1,-1.69814838365632226321e-15,9.99999999999999666933e-01,-5.11667273601692418339e+00>
		2, { 45,47,80,83 }
		1, { 45,57 }
		2, { 45,57,68,99,111 }
		1, { 45,68 }
		2, { 45,68,80 }
		1, { 45,80 }
		1, { 46,58 }
		2, { 46,58,70,103,115 }
		1, { 46,70 }
		2, { 46,70,82 }
		1, { 46,82 }
		1, { 47,57 }
		2, { 47,57,71,102,114 }
		1, { 47,71 }
		2, { 47,71,83 }
		1, { 47,83 }
		1, { 48,49 }
		2, { 48,49,52 }
		3, { 48,49,52,92,94,95 }, <-1,-2.23606797749979246959e+00,-2.23606797749979557821e+00,-2.23606797749979202550e+00,-1.51436872299975426870e+01>
		2, { 48,49,92 }
		1, { 48,52 }
		2, { 48,52,94 }
		1, { 48,84 }
		2, { 48,84,86 }
		3, { 48,84,86,92,94 }, <-1,-4.23606797749978358780e+00,-4.23606797749978802869e+00,-2.23606797749978181145e+00,-2.53770327020313324340e+01>
		2, { 48,84,92 }
		1, { 48,86 }
		2, { 48,86,94 }
		1, { 48,92 }
		2, { 48,92,94 }
		1, { 48,94 }
		1, { 49,52 }
		2, { 49,52,95 }
		1, { 49,92 }
		2, { 49,92,95 }
		1, { 49,95 }
		1, { 50,51 }
		2, { 50,51,53 }
		3, { 50,51,53,93,96,97 }, <-1,-2.23606797749978714052e+00,2.23606797749978625234e+00,2.23606797749978891687e+00,-1.51436872299975000544e+01>
		2, { 50,51,93 }
		1, { 50,53 }
		2, { 50,53,96 }
		1, { 50,93 }
		2, { 50,93,96 }
		1, { 50,96 }
		1, { 51,53 }
		2, { 51,53,97 }
		1, { 51,85 }
		2, { 51,85,87 }
		3, { 51,85,87,93,97 }, <-1,-4.23606797749976404788e+00,4.23606797749976760059e+00,2.23606797749977470602e+00,-2.53770327020312187472e+01>
		2, { 51,85,93 }
		1, { 51,87 }
		2, { 51,87,97 }
		1, { 51,93 }
		2, { 51,93,97 }
		1, { 51,97 }
		1, { 52,94 }
		2, { 52,94,95 }
		1, { 52,95 }
		1, { 53,96 }
		2, { 53,96,97 }
		1, { 53,97 }
		1, { 54,56 }
		2, { 54,56,57 }
		3, { 54,56,57,98,99,102 }, <-1,2.23606797749978314371e+00,-2.23606797749978314371e+00,2.23606797749978358780e+00,-1.51436872299974734091e+01>
		2, { 54,56,98 }
		1, { 54,57 }
		2, { 54,57,99 }
		1, { 54,98 }
		2, { 54,98,99 }
		1, { 54,99 }
		1, { 55,58 }
		2, { 55,58,59 }
		3, { 55,58,59,100,101,103 }, <-1,2.23606797749978003509e+00,2.23606797749977692646e+00,-2.23606797749977692646e+00,-1.51436872299974343292e+01>
		2, { 55,58,100 }
		1, { 55,59 }
		2, { 55,59,101 }
		1, { 55,100 }
		2, { 55,100,101 }
		1, { 55,101 }
		1, { 56,57 }
		2, { 56,57,102 }
		1, { 56,88 }
		2, { 56,88,90 }
		3, { 56,88,90,98,102 }, <-1,4.23606797749971430989e+00,-4.23606797749971075717e+00,2.23606797749973029710e+00,-2.53770327020308670285e+01>
		2, { 56,88,98 }
		1, { 56,90 }
		2, { 56,90,102 }
		1, { 56,98 }
		2, { 56,98,102 }
		1, { 56,102 }
		1, { 57,99 }
		2, { 57,99,102 }
		1, { 57,102 }
		1, { 58,59 }
		2, { 58,59,103 }
		1, { 58,100 }
		2, { 58,100,103 }
		1, { 58,103 }
		1, { 59,89 }
		2, { 59,89,91 }
		3, { 59,89,91,101,103 }, <-1,4.23606797749968766453e+00,4.23606797749968322364e+00,-2.23606797749971875078e+00,-2.53770327020307071564e+01>
		2, { 59,89,101 }
		1, { 59,91 }
		2, { 59,91,103 }
		1, { 59,101 }
		2, { 59,101,103 }
		1, { 59,103 }
		1, { 60,61 }
		2, { 60,61,104 }
		3, { 60,61,104,105 }, <8.73333454451821151178e-16,-1,5.33703777720557408512e-16,3.63888939354925487875e-16,-4.40956595483038071848e+00>
		2, { 60,61,105 }
		1, { 60,72 }
		2, { 60,72,84 }
		3, { 60,72,84,104,105,116,117,129,144,148 }, <1,-2.23606797749979513412e+00,-1.00000000000000377476e+00,1.00000000000000399680e+00,-1.05671960074560669085e+01>
		2, { 60,72,105,117,129 }
		1, { 60,84 }
		2, { 60,84,104 }
		1, { 60,104 }
		2, { 60,104,105 }
		1, { 60,105 }
		1, { 61,73 }
		2, { 61,73,85 }
		3, { 61,73,85,104,105,118,119,128,144,149 }, <1,-2.23606797749979024914e+00,1.00000000000000177636e+00,-9.99999999999999666933e-01,-1.05671960074560438159e+01>
		2, { 61,73,104,118,128 }
		1, { 61,85 }
		2, { 61,85,105 }
		1, { 61,104 }
		2, { 61,104,105 }
		1, { 61,105 }
		1, { 62,66 }
		2, { 62,66,106 }
		3, { 62,66,106,110 }, <9.46111242322809098513e-16,-9.70370504946470794418e-17,-1,-5.33703777720558887626e-16,-4.40956595483037983030e+00>
		2, { 62,66,110 }
		1, { 62,74 }
		2, { 62,74,86 }
		3, { 62,74,86,106,110,116,120,136,145,150 }, <1,-1.00000000000000488498e+00,-2.23606797749980179546e+00,1.00000000000000599520e+00,-1.05671960074560953302e+01>
		2, { 62,74,110,120,136 }
		1, { 62,86 }
		2, { 62,86,106 }
		1, { 62,106 }
		2, { 62,106,110 }
		1, { 62,110 }
		1, { 63,68 }
		2, { 63,68,108 }
		3, { 63,68,108,111 }, <1.26148165643041232857e-15,2.18333363612955978048e-16,-1.94074100989294183535e-16,1,-4.40956595483038071848e+00>
		2, { 63,68,111 }
		1, { 63,75 }
		2, { 63,75,108,117,131 }
		3, { 63,75,108,111,117,120,131,137,151 }, <1,-1.00000000000000088818e+00,-1.00000000000000244249e+00,2.23606797749979469003e+00,-1.05671960074560669085e+01>
		2, { 63,75,111,120,137 }
		1, { 63,108 }
		2, { 63,108,111 }
		1, { 63,111 }
		1, { 64,67 }
		2, { 64,67,107 }
		3, { 64,67,107,112 }, <-1.74666690890362336969e-15,2.42592626236614339783e-17,-1.04314829281744168264e-15,-1,-4.40956595483037716576e+00>
		2, { 64,67,112 }
		1, { 64,76 }
		2, { 64,76,107,118,130 }
		3, { 64,76,107,112,118,121,130,138,152 }, <1,-1.00000000000000177636e+00,1.00000000000000177636e+00,-2.23606797749979602230e+00,-1.05671960074560722376e+01>
		2, { 64,76,112,121,138 }
		1, { 64,107 }
		2, { 64,107,112 }
		1, { 64,112 }
		1, { 65,69 }
		2, { 65,69,109 }
		3, { 65,69,109,113 }, <-9.21851979699132019821e-16,1.45555575741968227928e-16,1,3.39629676731259157412e-16,-4.40956595483037894212e+00>
		2, { 65,69,113 }
		1, { 65,77 }
		2, { 65,77,87 }
		3, { 65,77,87,109,113,119,121,139,146,153 }, <1,-1.00000000000001931788e+00,2.23606797749983021717e+00,-1.00000000000001354472e+00,-1.05671960074562267806e+01>
		2, { 65,77,113,121,139 }
		1, { 65,87 }
		2, { 65,87,109 }
		1, { 65,109 }
		2, { 65,109,113 }
		1, { 65,113 }
		1, { 66,78 }
		2, { 66,78,88 }
		3, { 66,78,88,106,110,122,124,132,145,154 }, <1,1.00000000000001421085e+00,-2.23606797749980978907e+00,-1.00000000000000421885e+00,-1.05671960074561255283e+01>
		2, { 66,78,106,122,132 }
		1, { 66,88 }
		2, { 66,88,110 }
		1, { 66,106 }
		2, { 66,106,110 }
		1, { 66,110 }
		1, { 67,79 }
		2, { 67,79,107,122,133 }
		3, { 67,79,107,112,122,125,133,141,155 }, <1,1.00000000000000244249e+00,-9.99999999999996114219e-01,-2.23606797749978403189e+00,-1.05671960074560242759e+01>
		2, { 67,79,112,125,141 }
		1, { 67,107 }
		2, { 67,107,112 }
		1, { 67,112 }
		1, { 68,80 }
		2, { 68,80,108,123,134 }
		3, { 68,80,108,111,123,126,134,140,156 }, <1,1.00000000000000466294e+00,1.00000000000000599520e+00,2.23606797749980179546e+00,-1.05671960074560988829e+01>
		2, { 68,80,111,126,140 }
		1, { 68,108 }
		2, { 68,108,111 }
		1, { 68,111 }
		1, { 69,81 }
		2, { 69,81,89 }
		3, { 69,81,89,109,113,123,127,135,146,157 }, <1,1.00000000000001998401e+00,2.23606797749982311174e+00,1.00000000000001509903e+00,-1.05671960074561877008e+01>
		2, { 69,81,109,123,135 }
		1, { 69,89 }
		2, { 69,89,113 }
		1, { 69,109 }
		2, { 69,109,113 }
		1, { 69,113 }
		1, { 70,71 }
		2, { 70,71,114 }
		3, { 70,71,114,115 }, <-9.70370504946461919732e-17,1,1.52833354529067757288e-15,-1.86796322202193914618e-15,-4.40956595483038249483e+00>
		2, { 70,71,115 }
		1, { 70,82 }
		2, { 70,82,90 }
		3, { 70,82,90,114,115,124,125,143,147,158 }, <1,2.23606797749987373791e+00,-1.00000000000004529710e+00,-1.00000000000003197442e+00,-1.05671960074564257326e+01>
		2, { 70,82,115,125,143 }
		1, { 70,90 }
		2, { 70,90,114 }
		1, { 70,114 }
		2, { 70,114,115 }
		1, { 70,115 }
		1, { 71,83 }
		2, { 71,83,91 }
		3, { 71,83,91,114,115,126,127,142,147,159 }, <1,2.23606797749984398394e+00,1.00000000000002775558e+00,1.00000000000002420286e+00,-1.05671960074562836240e+01>
		2, { 71,83,114,126,142 }
		1, { 71,91 }
		2, { 71,91,115 }
		1, { 71,114 }
		2, { 71,114,115 }
		1, { 71,115 }
		1, { 72,74 }
		2, { 72,74,75 }
		3, { 72,74,75,116,117,120 }, <1,-2.23606797749980668044e+00,-2.23606797749980978907e+00,2.23606797749980446000e+00,-1.51436872299976279521e+01>
		2, { 72,74,84,86 }
		3, { 72,74,84,86,116 }, <1,-4.23606797749983510215e+00,-4.23606797749984043122e+00,2.23606797749981422996e+00,-2.53770327020316450728e+01>
		2, { 72,74,116 }
		1, { 72,75 }
		2, { 72,75,117 }
		1, { 72,84 }
		2, { 72,84,116 }
		1, { 72,116 }
		2, { 72,116,117 }
		1, { 72,117 }
		1, { 73,76 }
		2, { 73,76,77 }
		3, { 73,76,77,118,119,121 }, <1,-2.23606797749979513412e+00,2.23606797749979646639e+00,-2.23606797749979335777e+00,-1.51436872299975480161e+01>
		2, { 73,76,118 }
		1, { 73,77 }
		2, { 73,77,85,87 }
		3, { 73,77,85,87,119 }, <1,-4.23606797749983421397e+00,4.23606797749983599033e+00,-2.23606797749981200951e+00,-2.53770327020316237565e+01>
		2, { 73,77,119 }
		1, { 73,85 }
		2, { 73,85,119 }
		1, { 73,118 }
		2, { 73,118,119 }
		1, { 73,119 }
		1, { 74,75 }
		2, { 74,75,120 }
		1, { 74,86 }
		2, { 74,86,116 }
		1, { 74,116 }
		2, { 74,116,120 }
		1, { 74,120 }
		1, { 75,117 }
		2, { 75,117,120 }
		1, { 75,120 }
		1, { 76,77 }
		2, { 76,77,121 }
		1, { 76,118 }
		2, { 76,118,121 }
		1, { 76,121 }
		1, { 77,87 }
		2, { 77,87,119 }
		1, { 77,119 }
		2, { 77,119,121 }
		1, { 77,121 }
		1, { 78,79 }
		2, { 78,79,82 }
		3, { 78,79,82,122,124,125 }, <1,2.23606797749982799672e+00,-2.23606797749982710855e+00,-2.23606797749981511814e+00,-1.51436872299977238754e+01>
		2, { 78,79,122 }
		1, { 78,82 }
		2, { 78,82,88,90 }
		3, { 78,82,88,90,124 }, <1,4.23606797749999497427e+00,-4.23606797749999230973e+00,-2.23606797749989238966e+00,-2.53770327020325332512e+01>
		2, { 78,82,124 }
		1, { 78,88 }
		2, { 78,88,124 }
		1, { 78,122 }
		2, { 78,122,124 }
		1, { 78,124 }
		1, { 79,82 }
		2, { 79,82,125 }
		1, { 79,122 }
		2, { 79,122,125 }
		1, { 79,125 }
		1, { 80,81 }
		2, { 80,81,83 }
		3, { 80,81,83,123,126,127 }, <1,2.23606797749978492007e+00,2.23606797749978136736e+00,2.23606797749978403189e+00,-1.51436872299974716327e+01>
		2, { 80,81,123 }
		1, { 80,83 }
		2, { 80,83,126 }
		1, { 80,123 }
		2, { 80,123,126 }
		1, { 80,126 }
		1, { 81,83 }
		2, { 81,83,89,91 }
		3, { 81,83,89,91,127 }, <1,4.23606797749995855895e+00,4.23606797749995234170e+00,2.23606797749985730661e+00,-2.53770327020322987721e+01>
		2, { 81,83,127 }
		1, { 81,89 }
		2, { 81,89,127 }
		1, { 81,123 }
		2, { 81,123,127 }
		1, { 81,127 }
		1, { 82,90 }
		2, { 82,90,124 }
		1, { 82,124 }
		2, { 82,124,125 }
		1, { 82,125 }
		1, { 83,91 }
		2, { 83,91,127 }
		1, { 83,126 }
		2, { 83,126,127 }
		1, { 83,127 }
		1, { 84,86 }
		2, { 84,86,92,94 }
		3, { 84,86,92,94,104,106,116,128,132,144,145,148,150,160,162,168,169,172 }, <4.23606797749979513412e+00,-4.23606797749979868684e+00,-4.23606797749980401591e+00,-1,-2.53770327020314248045e+01>
		2, { 84,86,116 }
		1, { 84,92 }
		2, { 84,92,104 }
		1, { 84,104 }
		2, { 84,104,116,144,148 }
		1, { 84,116 }
		1, { 85,87 }
		2, { 85,87,93,97 }
		3, { 85,87,93,97,105,109,119,129,135,144,146,149,153,161,163,168,170,173 }, <4.23606797749980668044e+00,-4.23606797749980401591e+00,4.23606797749980756862e+00,1,-2.53770327020314567790e+01>
		2, { 85,87,119 }
		1, { 85,93 }
		2, { 85,93,105 }
		1, { 85,105 }
		2, { 85,105,119,144,149 }
		1, { 85,119 }
		1, { 86,94 }
		2, { 86,94,106 }
		1, { 86,106 }
		2, { 86,106,116,145,150 }
		1, { 86,116 }
		1, { 87,97 }
		2, { 87,97,109 }
		1, { 87,109 }
		2, { 87,109,119,146,153 }
		1, { 87,119 }
		1, { 88,90 }
		2, { 88,90,98,102 }
		3, { 88,90,98,102,110,114,124,136,142,145,147,154,158,164,166,169,171,174 }, <4.23606797749978447598e+00,4.23606797749982799672e+00,-4.23606797749982266765e+00,1,-2.53770327020315455968e+01>
		2, { 88,90,124 }
		1, { 88,98 }
		2, { 88,98,110 }
		1, { 88,110 }
		2, { 88,110,124,145,154 }
		1, { 88,124 }
		1, { 89,91 }
		2, { 89,91,101,103 }
		3, { 89,91,101,103,113,115,127,139,143,146,147,157,159,165,167,170,171,175 }, <4.23606797749978181145e+00,4.23606797749982444401e+00,4.23606797749981822676e+00,-1,-2.53770327020315207278e+01>
		2, { 89,91,127 }
		1, { 89,101 }
		2, { 89,101,113 }
		1, { 89,113 }
		2, { 89,113,127,146,157 }
		1, { 89,127 }
		1, { 90,102 }
		2, { 90,102,114 }
		1, { 90,114 }
		2, { 90,114,124,147,158 }
		1, { 90,124 }
		1, { 91,103 }
		2, { 91,103,115 }
		1, { 91,115 }
		2, { 91,115,127,147,159 }
		1, { 91,127 }
		1, { 92,94 }
		2, { 92,94,95 }
		3, { 92,94,95,128,130,132,133,160,162 }, <1,-9.99999999999998445688e-01,-1.00000000000000022204e+00,-9.99999999999998223643e-01,-7.40491834728765674356e+00>
		2, { 92,94,128,132,160,162 }
		1, { 92,95 }
		2, { 92,95,128,130 }
		1, { 92,104 }
		2, { 92,104,128 }
		1, { 92,128 }
		1, { 93,96 }
		2, { 93,96,97 }
		3, { 93,96,97,129,131,134,135,161,163 }, <1,-1.00000000000000133227e+00,1.00000000000000111022e+00,1.00000000000000266454e+00,-7.40491834728767539531e+00>
		2, { 93,96,129,131 }
		1, { 93,97 }
		2, { 93,97,129,135,161,163 }
		1, { 93,105 }
		2, { 93,105,129 }
		1, { 93,129 }
		1, { 94,95 }
		2, { 94,95,132,133 }
		1, { 94,106 }
		2, { 94,106,132 }
		1, { 94,132 }
		1, { 95,107 }
		2, { 95,107,130 }
		3, { 95,107,130,133 }, <1,-9.99999999999996336264e-01,-9.99999999999997668532e-01,-1.76393202250020131316e+00,-9.89949493661162982505e+00>
		2, { 95,107,133 }
		1, { 95,130 }
		2, { 95,130,133 }
		1, { 95,133 }
		1, { 96,97 }
		2, { 96,97,134,135 }
		1, { 96,108 }
		2, { 96,108,131 }
		3, { 96,108,131,134 }, <1,-9.99999999999999444888e-01,1.00000000000000022204e+00,1.76393202250021308153e+00,-9.89949493661167601033e+00>
		2, { 96,108,134 }
		1, { 96,131 }
		2, { 96,131,134 }
		1, { 96,134 }
		1, { 97,109 }
		2, { 97,109,135 }
		1, { 97,135 }
		1, { 98,99 }
		2, { 98,99,102 }
		3, { 98,99,102,136,137,140,142,164,166 }, <1,1.00000000000000155431e+00,-1.00000000000000155431e+00,1.00000000000000177636e+00,-7.40491834728767450713e+00>
		2, { 98,99,136,137 }
		1, { 98,102 }
		2, { 98,102,136,142,164,166 }
		1, { 98,110 }
		2, { 98,110,136 }
		1, { 98,136 }
		1, { 99,102 }
		2, { 99,102,140,142 }
		1, { 99,111 }
		2, { 99,111,137 }
		3, { 99,111,137,140 }, <1,1.00000000000000666134e+00,-1.00000000000000421885e+00,1.76393202250021619015e+00,-9.89949493661169910297e+00>
		2, { 99,111,140 }
		1, { 99,137 }
		2, { 99,137,140 }
		1, { 99,140 }
		1, { 100,101 }
		2, { 100,101,103 }
		3, { 100,101,103,138,139,141,143,165,167 }, <1,9.99999999999999666933e-01,9.99999999999997668532e-01,-9.99999999999997668532e-01,-7.40491834728765141449e+00>
		2, { 100,101,138,139 }
		1, { 100,103 }
		2, { 100,103,141,143 }
		1, { 100,112 }
		2, { 100,112,138 }
		3, { 100,112,138,141 }, <1,1.00000000000000466294e+00,1.00000000000000555112e+00,-1.76393202250021774447e+00,-9.89949493661170087933e+00>
		2, { 100,112,141 }
		1, { 100,138 }
		2, { 100,138,141 }
		1, { 100,141 }
		1, { 101,103 }
		2, { 101,103,139,143,165,167 }
		1, { 101,113 }
		2, { 101,113,139 }
		1, { 101,139 }
		1, { 102,114 }
		2, { 102,114,142 }
		1, { 102,142 }
		1, { 103,115 }
		2, { 103,115,143 }
		1, { 103,143 }
		1, { 104,105 }
		2, { 104,105,144 }
		1, { 104,128 }
		2, { 104,128,144 }
		1, { 104,144 }
		1, { 105,129 }
		2, { 105,129,144 }
		1, { 105,144 }
		1, { 106,110 }
		2, { 106,110,145 }
		1, { 106,132 }
		2, { 106,132,145 }
		1, { 106,145 }
		1, { 107,112 }
		2, { 107,112,130,138,152 }
		3, { 107,112,130,133,138,141,152,155,160,162,165,167,172,175 }, <1,8.69596832919100152897e-16,3.29847074555520769752e-16,-9.99999999999995781153e-01,-5.11667273601691263707e+00>
		2, { 107,112,133,141,155 }
		1, { 107,130 }
		2, { 107,130,133 }
		1, { 107,133 }
		1, { 108,111 }
		2, { 108,111,131,137,151 }
		3, { 108,111,131,134,137,140,151,156,161,163,164,166,173,174 }, <1,5.99721953737310140850e-16,2.39888781494924066201e-16,1.00000000000000044409e+00,-5.11667273601692862428e+00>
		2, { 108,111,134,140,156 }
		1, { 108,131 }
		2, { 108,131,134 }
		1, { 108,134 }
		1, { 109,113 }
		2, { 109,113,146 }
		1, { 109,135 }
		2, { 109,135,146 }
		1, { 109,146 }
		1, { 110,136 }
		2, { 110,136,145 }
		1, { 110,145 }
		1, { 111,137 }
		2, { 111,137,140 }
		1, { 111,140 }
		1, { 112,138 }
		2, { 112,138,141 }
		1, { 112,141 }
		1, { 113,139 }
		2, { 113,139,146 }
		1, { 113,146 }
		1, { 114,115 }
		2, { 114,115,147 }
		1, { 114,142 }
		2, { 114,142,147 }
		1, { 114,147 }
		1, { 115,143 }
		2, { 115,143,147 }
		1, { 115,147 }
		1, { 116,117 }
		2, { 116,117,120 }
		3, { 116,117,120,148,150,151 }, <1,-9.99999999999999333866e-01,-1.00000000000000066613e+00,9.99999999999998223643e-01,-7.40491834728766207263e+00>
		2, { 116,117,148 }
		1, { 116,120 }
		2, { 116,120,150 }
		1, { 116,148 }
		2, { 116,148,150 }
		1, { 116,150 }
		1, { 117,120 }
		2, { 117,120,151 }
		1, { 117,129 }
		2, { 117,129,131 }
		3, { 117,129,131,148,151,161 }, <2.23606797749978625234e+00,-2.23606797749978580825e+00,-1,2.23606797749978492007e+00,-1.51436872299974965017e+01>
		2, { 117,129,148 }
		1, { 117,131 }
		2, { 117,131,151 }
		1, { 117,148 }
		2, { 117,148,151 }
		1, { 117,151 }
		1, { 118,119 }
		2, { 118,119,121 }
		3, { 118,119,121,149,152,153 }, <1,-1.00000000000000066613e+00,1.00000000000000088818e+00,-9.99999999999999333866e-01,-7.40491834728766562534e+00>
		2, { 118,119,149 }
		1, { 118,121 }
		2, { 118,121,152 }
		1, { 118,128 }
		2, { 118,128,130 }
		3, { 118,128,130,149,152,160 }, <2.23606797749978891687e+00,-2.23606797749978625234e+00,1,-2.23606797749978492007e+00,-1.51436872299975000544e+01>
		2, { 118,128,149 }
		1, { 118,130 }
		2, { 118,130,152 }
		1, { 118,149 }
		2, { 118,149,152 }
		1, { 118,152 }
		1, { 119,121 }
		2, { 119,121,153 }
		1, { 119,149 }
		2, { 119,149,153 }
		1, { 119,153 }
		1, { 120,136 }
		2, { 120,136,137 }
		3, { 120,136,137,150,151,164 }, <2.23606797749979513412e+00,-1,-2.23606797749979424594e+00,2.23606797749979158141e+00,-1.51436872299975462397e+01>
		2, { 120,136,150 }
		1, { 120,137 }
		2, { 120,137,151 }
		1, { 120,150 }
		2, { 120,150,151 }
		1, { 120,151 }
		1, { 121,138 }
		2, { 121,138,139 }
		3, { 121,138,139,152,153,165 }, <2.23606797749979246959e+00,-1,2.23606797749978980505e+00,-2.23606797749978802869e+00,-1.51436872299975213707e+01>
		2, { 121,138,152 }
		1, { 121,139 }
		2, { 121,139,153 }
		1, { 121,152 }
		2, { 121,152,153 }
		1, { 121,153 }
		1, { 122,124 }
		2, { 122,124,125 }
		3, { 122,124,125,154,155,158 }, <1,1.00000000000000444089e+00,-1.00000000000000421885e+00,-9.99999999999998778755e-01,-7.40491834728767805984e+00>
		2, { 122,124,154 }
		1, { 122,125 }
		2, { 122,125,155 }
		1, { 122,132 }
		2, { 122,132,133 }
		3, { 122,132,133,154,155,162 }, <2.23606797749978358780e+00,1,-2.23606797749977825873e+00,-2.23606797749976982104e+00,-1.51436872299974485401e+01>
		2, { 122,132,154 }
		1, { 122,133 }
		2, { 122,133,155 }
		1, { 122,154 }
		2, { 122,154,155 }
		1, { 122,155 }
		1, { 123,126 }
		2, { 123,126,127 }
		3, { 123,126,127,156,157,159 }, <1,1.00000000000000266454e+00,1.00000000000000133227e+00,1.00000000000000266454e+00,-7.40491834728767539531e+00>
		2, { 123,126,156 }
		1, { 123,127 }
		2, { 123,127,157 }
		1, { 123,134 }
		2, { 123,134,135 }
		3, { 123,134,135,156,157,163 }, <2.23606797749978802869e+00,1,2.23606797749978891687e+00,2.23606797749979113732e+00,-1.51436872299975160416e+01>
		2, { 123,134,156 }
		1, { 123,135 }
		2, { 123,135,157 }
		1, { 123,156 }
		2, { 123,156,157 }
		1, { 123,157 }
		1, { 124,125 }
		2, { 124,125,158 }
		1, { 124,154 }
		2, { 124,154,158 }
		1, { 124,158 }
		1, { 125,141 }
		2, { 125,141,143 }
		3, { 125,141,143,155,158,167 }, <2.23606797749978802869e+00,2.23606797749979158141e+00,-1,-2.23606797749978269962e+00,-1.51436872299974965017e+01>
		2, { 125,141,155 }
		1, { 125,143 }
		2, { 125,143,158 }
		1, { 125,155 }
		2, { 125,155,158 }
		1, { 125,158 }
		1, { 126,127 }
		2, { 126,127,159 }
		1, { 126,140 }
		2, { 126,140,142 }
		3, { 126,140,142,156,159,166 }, <2.23606797749979691048e+00,2.23606797749979824275e+00,1,2.23606797749979868684e+00,-1.51436872299975693323e+01>
		2, { 126,140,156 }
		1, { 126,142 }
		2, { 126,142,159 }
		1, { 126,156 }
		2, { 126,156,159 }
		1, { 126,159 }
		1, { 127,157 }
		2, { 127,157,159 }
		1, { 127,159 }
		1, { 128,130 }
		2, { 128,130,160 }
		1, { 128,144 }
		2, { 128,144,149 }
		3, { 128,144,149,160,168 }, <4.23606797749977115330e+00,-4.23606797749976848877e+00,1,-2.23606797749977692646e+00,-2.53770327020312507216e+01>
		2, { 128,144,160,168 }
		1, { 128,149 }
		2, { 128,149,160 }
		1, { 128,160 }
		1, { 129,131 }
		2, { 129,131,161 }
		1, { 129,144 }
		2, { 129,144,148 }
		3, { 129,144,148,161,168 }, <4.23606797749978181145e+00,-4.23606797749978181145e+00,-1,2.23606797749978847278e+00,-2.53770327020313324340e+01>
		2, { 129,144,161,168 }
		1, { 129,148 }
		2, { 129,148,161 }
		1, { 129,161 }
		1, { 130,133 }
		2, { 130,133,160,162 }
		1, { 130,152 }
		2, { 130,152,160 }
		1, { 130,160 }
		1, { 131,134 }
		2, { 131,134,161,163 }
		1, { 131,151 }
		2, { 131,151,161 }
		1, { 131,161 }
		1, { 132,133 }
		2, { 132,133,162 }
		1, { 132,145 }
		2, { 132,145,154 }
		3, { 132,145,154,162,169 }, <4.23606797749981822676e+00,1,-4.23606797749979779866e+00,-2.23606797749979024914e+00,-2.53770327020314816480e+01>
		2, { 132,145,162,169 }
		1, { 132,154 }
		2, { 132,154,162 }
		1, { 132,162 }
		1, { 133,155 }
		2, { 133,155,162 }
		1, { 133,162 }
		1, { 134,135 }
		2, { 134,135,163 }
		1, { 134,156 }
		2, { 134,156,163 }
		1, { 134,163 }
		1, { 135,146 }
		2, { 135,146,157 }
		3, { 135,146,157,163,170 }, <4.23606797749981467405e+00,1,4.23606797749980401591e+00,2.23606797749980135137e+00,-2.53770327020314994115e+01>
		2, { 135,146,163,170 }
		1, { 135,157 }
		2, { 135,157,163 }
		1, { 135,163 }
		1, { 136,137 }
		2, { 136,137,164 }
		1, { 136,145 }
		2, { 136,145,150 }
		3, { 136,145,150,164,169 }, <4.23606797749978181145e+00,-1,-4.23606797749977204148e+00,2.23606797749978092327e+00,-2.53770327020313004596e+01>
		2, { 136,145,164,169 }
		1, { 136,150 }
		2, { 136,150,164 }
		1, { 136,164 }
		1, { 137,140 }
		2, { 137,140,164,166 }
		1, { 137,151 }
		2, { 137,151,164 }
		1, { 137,164 }
		1, { 138,139 }
		2, { 138,139,165 }
		1, { 138,141 }
		2, { 138,141,165,167 }
		1, { 138,152 }
		2, { 138,152,165 }
		1, { 138,165 }
		1, { 139,146 }
		2, { 139,146,153 }
		3, { 139,146,153,165,170 }, <4.23606797749995322988e+00,-1,4.23606797749991947910e+00,-2.23606797749986130341e+00,-2.53770327020322810085e+01>
		2, { 139,146,165,170 }
		1, { 139,153 }
		2, { 139,153,165 }
		1, { 139,165 }
		1, { 140,142 }
		2, { 140,142,166 }
		1, { 140,156 }
		2, { 140,156,166 }
		1, { 140,166 }
		1, { 141,143 }
		2, { 141,143,167 }
		1, { 141,155 }
		2, { 141,155,167 }
		1, { 141,167 }
		1, { 142,147 }
		2, { 142,147,159 }
		3, { 142,147,159,166,171 }, <4.23606797749986885293e+00,4.23606797749983243762e+00,1,2.23606797749981955903e+00,-2.53770327020317658651e+01>
		2, { 142,147,166,171 }
		1, { 142,159 }
		2, { 142,159,166 }
		1, { 142,166 }
		1, { 143,147 }
		2, { 143,147,158 }
		3, { 143,147,158,167,171 }, <4.23606797750007313397e+00,4.23606797749999675062e+00,-1,-2.23606797749991192958e+00,-2.53770327020329062861e+01>
		2, { 143,147,167,171 }
		1, { 143,158 }
		2, { 143,158,167 }
		1, { 143,167 }
		1, { 144,148 }
		2, { 144,148,168 }
		1, { 144,149 }
		2, { 144,149,168 }
		1, { 144,168 }
		1, { 145,150 }
		2, { 145,150,169 }
		1, { 145,154 }
		2, { 145,154,169 }
		1, { 145,169 }
		1, { 146,153 }
		2, { 146,153,170 }
		1, { 146,157 }
		2, { 146,157,170 }
		1, { 146,170 }
		1, { 147,158 }
		2, { 147,158,171 }
		1, { 147,159 }
		2, { 147,159,171 }
		1, { 147,171 }
		1, { 148,150 }
		2, { 148,150,151 }
		3, { 148,150,151,161,164,168,169,172,173,174 }, <2.23606797749979202550e+00,-1,-1.00000000000000022204e+00,9.99999999999999333866e-01,-1.05671960074560473686e+01>
		2, { 148,150,168,169,172 }
		1, { 148,151 }
		2, { 148,151,161 }
		1, { 148,161 }
		2, { 148,161,168 }
		1, { 148,168 }
		1, { 149,152 }
		2, { 149,152,153 }
		3, { 149,152,153,160,165,168,170,172,173,175 }, <2.23606797749979291368e+00,-1,1.00000000000000088818e+00,-9.99999999999997779554e-01,-1.05671960074560491449e+01>
		2, { 149,152,160 }
		1, { 149,153 }
		2, { 149,153,168,170,173 }
		1, { 149,160 }
		2, { 149,160,168 }
		1, { 149,168 }
		1, { 150,151 }
		2, { 150,151,164 }
		1, { 150,164 }
		2, { 150,164,169 }
		1, { 150,169 }
		1, { 151,161 }
		2, { 151,161,164,173,174 }
		1, { 151,164 }
		1, { 152,153 }
		2, { 152,153,165 }
		1, { 152,160 }
		2, { 152,160,165,172,175 }
		1, { 152,165 }
		1, { 153,165 }
		2, { 153,165,170 }
		1, { 153,170 }
		1, { 154,155 }
		2, { 154,155,158 }
		3, { 154,155,158,162,167,169,171,172,174,175 }, <2.23606797749979957501e+00,1,-9.99999999999999555911e-01,-9.99999999999994004796e-01,-1.05671960074560633558e+01>
		2, { 154,155,162 }
		1, { 154,158 }
		2, { 154,158,169,171,174 }
		1, { 154,162 }
		2, { 154,162,169 }
		1, { 154,169 }
		1, { 155,158 }
		2, { 155,158,167 }
		1, { 155,162 }
		2, { 155,162,167,172,175 }
		1, { 155,167 }
		1, { 156,157 }
		2, { 156,157,159 }
		3, { 156,157,159,163,166,170,171,173,174,175 }, <2.23606797749978847278e+00,1,9.99999999999999666933e-01,1.00000000000000088818e+00,-1.05671960074560420395e+01>
		2, { 156,157,163 }
		1, { 156,159 }
		2, { 156,159,166 }
		1, { 156,163 }
		2, { 156,163,166,173,174 }
		1, { 156,166 }
		1, { 157,159 }
		2, { 157,159,170,171,175 }
		1, { 157,163 }
		2, { 157,163,170 }
		1, { 157,170 }
		1, { 158,167 }
		2, { 158,167,171 }
		1, { 158,171 }
		1, { 159,166 }
		2, { 159,166,171 }
		1, { 159,171 }
		1, { 160,162 }
		2, { 160,162,172 }
		1, { 160,168 }
		2, { 160,168,172 }
		1, { 160,172 }
		1, { 161,163 }
		2, { 161,163,173 }
		1, { 161,168 }
		2, { 161,168,173 }
		1, { 161,173 }
		1, { 162,169 }
		2, { 162,169,172 }
		1, { 162,172 }
		1, { 163,170 }
		2, { 163,170,173 }
		1, { 163,173 }
		1, { 164,166 }
		2, { 164,166,174 }
		1, { 164,169 }
		2, { 164,169,174 }
		1, { 164,174 }
		1, { 165,167 }
		2, { 165,167,175 }
		1, { 165,170 }
		2, { 165,170,175 }
		1, { 165,175 }
		1, { 166,171 }
		2, { 166,171,174 }
		1, { 166,174 }
		1, { 167,171 }
		2, { 167,171,175 }
		1, { 167,175 }
		1, { 168,172 }
		2, { 168,172,173 }
		1, { 168,173 }
		1, { 169,172 }
		2, { 169,172,174 }
		1, { 169,174 }
		1, { 170,173 }
		2, { 170,173,175 }
		1, { 170,175 }
		1, { 171,174 }
		2, { 171,174,175 }
		1, { 171,175 }
		1, { 172,173 }
		2, { 172,173,174 }
		3, { 172,173,174,175 }, <1,-2.91111151483938280097e-16,-4.12407464602245921456e-16,-5.57963040344215061504e-16,-4.40956595483037983030e+00>
		2, { 172,173,175 }
		1, { 172,174 }
		2, { 172,174,175 }
		1, { 172,175 }
		1, { 173,174 }
		2, { 173,174,175 }
		1, { 173,175 }
		1, { 174,175 }
	}
}