# Automatically generated by makepoly.
polytope augmented_D4_11 {
	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, 0, -2.28824561127073700106e+00>
		<-3.70245917364383236858e+00, 0, 0, 2.28824561127073700106e+00>
		<-3.70245917364383236858e+00, 0, 2.28824561127073700106e+00, 0>
		<-3.70245917364383236858e+00, 2.28824561127073700106e+00, 0, 0>
		<-3.26544314919501132977e+00, -1.85122958682191618429e+00, -1.85122958682191618429e+00, 4.37016024448821094328e-01>
		<-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, -1.85122958682191618429e+00, 1.85122958682191618429e+00, -4.37016024448821094328e-01>
		<-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, -1.85122958682191618429e+00, -4.37016024448821094328e-01>
		<-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, 1.85122958682191618429e+00, 1.85122958682191618429e+00, 4.37016024448821094328e-01>
		<-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, 0, -3.70245917364383236858e+00>
		<-2.28824561127073700106e+00, 0, 0, 3.70245917364383236858e+00>
		<-2.28824561127073700106e+00, 0, 3.70245917364383236858e+00, 0>
		<-2.28824561127073700106e+00, 3.70245917364383236858e+00, 0, 0>
		<-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, 1.85122958682191618429e+00, -4.37016024448821094328e-01>
		<-1.85122958682191618429e+00, -1.85122958682191618429e+00, -3.26544314919501132977e+00, 4.37016024448821094328e-01>
		<-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, -1.85122958682191618429e+00, 3.26544314919501132977e+00, -4.37016024448821094328e-01>
		<-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, -3.26544314919501132977e+00, -4.37016024448821094328e-01>
		<-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, 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, -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.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, 0, -2.28824561127073700106e+00>
		<0, -3.70245917364383236858e+00, 0, 2.28824561127073700106e+00>
		<0, -3.70245917364383236858e+00, 2.28824561127073700106e+00, 0>
		<0, -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, 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, 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, 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>
		<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, -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, 1.85122958682191618429e+00, 4.37016024448821094328e-01>
		<1.85122958682191618429e+00, -1.85122958682191618429e+00, -3.26544314919501132977e+00, -4.37016024448821094328e-01>
		<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, -1.85122958682191618429e+00, 3.26544314919501132977e+00, 4.37016024448821094328e-01>
		<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, -3.26544314919501132977e+00, 4.37016024448821094328e-01>
		<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, 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, -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>
		<2.28824561127073700106e+00, -3.70245917364383236858e+00, 0, 0>
		<2.28824561127073700106e+00, 0, -3.70245917364383236858e+00, 0>
		<2.28824561127073700106e+00, 0, 0, -3.70245917364383236858e+00>
		<2.28824561127073700106e+00, 0, 0, 3.70245917364383236858e+00>
		<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, -1.85122958682191618429e+00, -4.37016024448821094328e-01>
		<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, -1.85122958682191618429e+00, 1.85122958682191618429e+00, 4.37016024448821094328e-01>
		<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, -1.85122958682191618429e+00, 4.37016024448821094328e-01>
		<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, 1.85122958682191618429e+00, 1.85122958682191618429e+00, -4.37016024448821094328e-01>
		<3.70245917364383236858e+00, -2.28824561127073700106e+00, 0, 0>
		<3.70245917364383236858e+00, 0, -2.28824561127073700106e+00, 0>
		<3.70245917364383236858e+00, 0, 0, -2.28824561127073700106e+00>
		<3.70245917364383236858e+00, 0, 0, 2.28824561127073700106e+00>
		<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,6,10,12,16,22,24,25 }, <-2.23606797749978980505e+00,-1,-1,-1,-1.05671960074560438159e+01>
		2, { 0,1,3 }
		3, { 0,1,3,4,7,8,11,13,17,23,26,27 }, <-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,9,14,18,20,28,29,32 }, <-2.23606797749978358780e+00,1,-1,1,-1.05671960074560207232e+01>
		2, { 0,2,5 }
		1, { 0,3 }
		2, { 0,3,7 }
		1, { 0,4 }
		2, { 0,4,10 }
		3, { 0,4,10,11 }, <-2.99999999999999733546e+00,-2.23606797749978714052e+00,-1,9.99999999999998112621e-01,-1.62240502569484092987e+01>
		2, { 0,4,11 }
		1, { 0,5 }
		2, { 0,5,10 }
		3, { 0,5,10,14 }, <-3.00000000000000133227e+00,-1,-2.23606797749979380185e+00,9.99999999999998778755e-01,-1.62240502569484341677e+01>
		2, { 0,5,14 }
		1, { 0,7 }
		2, { 0,7,11 }
		3, { 0,7,11,14 }, <-3.00000000000000088818e+00,-1,-9.99999999999999444888e-01,2.23606797749979335777e+00,-1.62240502569484341677e+01>
		2, { 0,7,14 }
		1, { 0,10 }
		2, { 0,10,11 }
		3, { 0,10,11,14 }, <-1.76393202250020930677e+00,-1,-1.00000000000000044409e+00,9.99999999999999555911e-01,-9.89949493661166357583e+00>
		2, { 0,10,14 }
		1, { 0,11 }
		2, { 0,11,14 }
		1, { 0,14 }
		1, { 1,2 }
		2, { 1,2,3 }
		3, { 1,2,3,6,8,9,15,19,21,30,31,33 }, <-2.23606797749978358780e+00,1,1,-1,-1.05671960074560207232e+01>
		2, { 1,2,6 }
		1, { 1,3 }
		2, { 1,3,8 }
		1, { 1,4 }
		2, { 1,4,12 }
		3, { 1,4,12,13 }, <-3.00000000000000310862e+00,-2.23606797749979158141e+00,1,-1.00000000000000199840e+00,-1.62240502569484412732e+01>
		2, { 1,4,13 }
		1, { 1,6 }
		2, { 1,6,12 }
		3, { 1,6,12,15 }, <-3.00000000000000177636e+00,-1,9.99999999999999888978e-01,-2.23606797749979513412e+00,-1.62240502569484377204e+01>
		2, { 1,6,15 }
		1, { 1,8 }
		2, { 1,8,13 }
		3, { 1,8,13,15 }, <-3.00000000000000177636e+00,-1,2.23606797749979380185e+00,-1.00000000000000111022e+00,-1.62240502569484377204e+01>
		2, { 1,8,15 }
		1, { 1,12 }
		2, { 1,12,13 }
		3, { 1,12,13,15 }, <-1.76393202250020930677e+00,-1,9.99999999999999555911e-01,-1.00000000000000066613e+00,-9.89949493661166357583e+00>
		2, { 1,12,15 }
		1, { 1,13 }
		2, { 1,13,15 }
		1, { 1,15 }
		1, { 2,3 }
		2, { 2,3,9 }
		1, { 2,5 }
		2, { 2,5,16 }
		3, { 2,5,16,18 }, <-2.99999999999999600320e+00,1,-2.23606797749979291368e+00,-1.00000000000000044409e+00,-1.62240502569484164042e+01>
		2, { 2,5,18 }
		1, { 2,6 }
		2, { 2,6,16 }
		3, { 2,6,16,19 }, <-3.00000000000000133227e+00,1,-1.00000000000000088818e+00,-2.23606797749979779866e+00,-1.62240502569484448259e+01>
		2, { 2,6,19 }
		1, { 2,9 }
		2, { 2,9,18 }
		3, { 2,9,18,19 }, <-2.99999999999999511502e+00,2.23606797749979424594e+00,-1,-9.99999999999999333866e-01,-1.62240502569484164042e+01>
		2, { 2,9,19 }
		1, { 2,16 }
		2, { 2,16,18 }
		3, { 2,16,18,19 }, <-1.76393202250020597610e+00,1,-1.00000000000000088818e+00,-1.00000000000000066613e+00,-9.89949493661165291769e+00>
		2, { 2,16,19 }
		1, { 2,18 }
		2, { 2,18,19 }
		1, { 2,19 }
		1, { 3,7 }
		2, { 3,7,17 }
		3, { 3,7,17,20 }, <-3.00000000000000044409e+00,1,1.00000000000000177636e+00,2.23606797749979557821e+00,-1.62240502569484377204e+01>
		2, { 3,7,20 }
		1, { 3,8 }
		2, { 3,8,17 }
		3, { 3,8,17,21 }, <-3.00000000000000355271e+00,1,2.23606797749979913092e+00,1.00000000000000177636e+00,-1.62240502569484554840e+01>
		2, { 3,8,21 }
		1, { 3,9 }
		2, { 3,9,20 }
		3, { 3,9,20,21 }, <-3.00000000000000044409e+00,2.23606797749979824275e+00,1,1.00000000000000199840e+00,-1.62240502569484412732e+01>
		2, { 3,9,21 }
		1, { 3,17 }
		2, { 3,17,20 }
		3, { 3,17,20,21 }, <-1.76393202250020730837e+00,1,1.00000000000000088818e+00,1.00000000000000133227e+00,-9.89949493661165647040e+00>
		2, { 3,17,21 }
		1, { 3,20 }
		2, { 3,20,21 }
		1, { 3,21 }
		1, { 4,10 }
		2, { 4,10,11 }
		3, { 4,10,11,34,40,41 }, <-2.61803398874989001754e+00,-2.61803398874989090572e+00,-1,9.99999999999997668532e-01,-1.56838687434729475711e+01>
		2, { 4,10,22 }
		3, { 4,10,22,34,40 }, <-4.23606797749978802869e+00,-4.23606797749979158141e+00,-2.23606797749979291368e+00,-1,-2.53770327020313786193e+01>
		2, { 4,10,34,40 }
		1, { 4,11 }
		2, { 4,11,23 }
		3, { 4,11,23,34,41 }, <-4.23606797749979868684e+00,-4.23606797749980223955e+00,1,2.23606797749979602230e+00,-2.53770327020314425681e+01>
		2, { 4,11,34,41 }
		1, { 4,12 }
		2, { 4,12,13 }
		3, { 4,12,13,34,42,43 }, <-2.61803398874989579070e+00,-2.61803398874989845524e+00,1,-1.00000000000000244249e+00,-1.56838687434729866510e+01>
		2, { 4,12,22 }
		3, { 4,12,22,34,42 }, <-4.23606797749978714052e+00,-4.23606797749979246959e+00,-1,-2.23606797749979202550e+00,-2.53770327020313750666e+01>
		2, { 4,12,34,42 }
		1, { 4,13 }
		2, { 4,13,23 }
		3, { 4,13,23,34,43 }, <-4.23606797749979868684e+00,-4.23606797749980401591e+00,2.23606797749979557821e+00,1,-2.53770327020314425681e+01>
		2, { 4,13,34,43 }
		1, { 4,22 }
		2, { 4,22,34 }
		1, { 4,23 }
		2, { 4,23,34 }
		1, { 4,34 }
		1, { 5,10 }
		2, { 5,10,14 }
		3, { 5,10,14,35,44,48 }, <-2.61803398874989845524e+00,-1,-2.61803398874989579070e+00,9.99999999999998778755e-01,-1.56838687434729830983e+01>
		2, { 5,10,24 }
		3, { 5,10,24,35,44 }, <-4.23606797749978980505e+00,-2.23606797749978891687e+00,-4.23606797749978802869e+00,-1,-2.53770327020313679611e+01>
		2, { 5,10,35,44 }
		1, { 5,14 }
		2, { 5,14,28 }
		3, { 5,14,28,35,48 }, <-4.23606797749976848877e+00,1,-4.23606797749976671241e+00,2.23606797749978003509e+00,-2.53770327020312365107e+01>
		2, { 5,14,35,48 }
		1, { 5,16 }
		2, { 5,16,18 }
		3, { 5,16,18,35,52,56 }, <-2.61803398874989401435e+00,1,-2.61803398874989357026e+00,-1.00000000000000044409e+00,-1.56838687434729671111e+01>
		2, { 5,16,24 }
		3, { 5,16,24,35,52 }, <-4.23606797749979335777e+00,-1,-4.23606797749979335777e+00,-2.23606797749979291368e+00,-2.53770327020313963828e+01>
		2, { 5,16,35,52 }
		1, { 5,18 }
		2, { 5,18,28 }
		3, { 5,18,28,35,56 }, <-4.23606797749976937695e+00,2.23606797749978358780e+00,-4.23606797749976937695e+00,1,-2.53770327020312507216e+01>
		2, { 5,18,35,56 }
		1, { 5,24 }
		2, { 5,24,35 }
		1, { 5,28 }
		2, { 5,28,35 }
		1, { 5,35 }
		1, { 6,12 }
		2, { 6,12,15 }
		3, { 6,12,15,36,46,50 }, <-2.61803398874990067569e+00,-1,1.00000000000000022204e+00,-2.61803398874989579070e+00,-1.56838687434729884274e+01>
		2, { 6,12,25 }
		3, { 6,12,25,36,46 }, <-4.23606797749979691048e+00,-2.23606797749979158141e+00,-1,-4.23606797749979335777e+00,-2.53770327020313999355e+01>
		2, { 6,12,36,46 }
		1, { 6,15 }
		2, { 6,15,30 }
		3, { 6,15,30,36,50 }, <-4.23606797749976671241e+00,1,2.23606797749978003509e+00,-4.23606797749976227152e+00,-2.53770327020312151944e+01>
		2, { 6,15,36,50 }
		1, { 6,16 }
		2, { 6,16,19 }
		3, { 6,16,19,36,53,57 }, <-2.61803398874989934342e+00,1,-1.00000000000000044409e+00,-2.61803398874989801115e+00,-1.56838687434729919801e+01>
		2, { 6,16,25 }
		3, { 6,16,25,36,53 }, <-4.23606797749979158141e+00,-1,-2.23606797749978891687e+00,-4.23606797749978980505e+00,-2.53770327020313786193e+01>
		2, { 6,16,36,53 }
		1, { 6,19 }
		2, { 6,19,30 }
		3, { 6,19,30,36,57 }, <-4.23606797749976227152e+00,2.23606797749977781464e+00,1,-4.23606797749976049516e+00,-2.53770327020312009836e+01>
		2, { 6,19,36,57 }
		1, { 6,25 }
		2, { 6,25,36 }
		1, { 6,30 }
		2, { 6,30,36 }
		1, { 6,36 }
		1, { 7,11 }
		2, { 7,11,14 }
		3, { 7,11,14,37,45,49 }, <-2.61803398874989712297e+00,-1,-9.99999999999999555911e-01,2.61803398874989579070e+00,-1.56838687434729777692e+01>
		2, { 7,11,26 }
		3, { 7,11,26,37,45 }, <-4.23606797749978358780e+00,-2.23606797749978669643e+00,1,4.23606797749978269962e+00,-2.53770327020313359867e+01>
		2, { 7,11,37,45 }
		1, { 7,14 }
		2, { 7,14,29 }
		3, { 7,14,29,37,49 }, <-4.23606797749975605427e+00,1,-2.23606797749977603829e+00,4.23606797749975427791e+00,-2.53770327020311654564e+01>
		2, { 7,14,37,49 }
		1, { 7,17 }
		2, { 7,17,20 }
		3, { 7,17,20,37,54,58 }, <-2.61803398874989756706e+00,1,1.00000000000000155431e+00,2.61803398874989712297e+00,-1.56838687434729848746e+01>
		2, { 7,17,26 }
		3, { 7,17,26,37,54 }, <-4.23606797749979069323e+00,-1,2.23606797749979113732e+00,4.23606797749979158141e+00,-2.53770327020313821720e+01>
		2, { 7,17,37,54 }
		1, { 7,20 }
		2, { 7,20,29 }
		3, { 7,20,29,37,58 }, <-4.23606797749976582423e+00,2.23606797749978136736e+00,-1,4.23606797749976582423e+00,-2.53770327020312329580e+01>
		2, { 7,20,37,58 }
		1, { 7,26 }
		2, { 7,26,37 }
		1, { 7,29 }
		2, { 7,29,37 }
		1, { 7,37 }
		1, { 8,13 }
		2, { 8,13,15 }
		3, { 8,13,15,38,47,51 }, <-2.61803398874989889933e+00,-1,2.61803398874989623479e+00,-1.00000000000000177636e+00,-1.56838687434729848746e+01>
		2, { 8,13,27 }
		3, { 8,13,27,38,47 }, <-4.23606797749979779866e+00,-2.23606797749979335777e+00,4.23606797749979691048e+00,1,-2.53770327020314176991e+01>
		2, { 8,13,38,47 }
		1, { 8,15 }
		2, { 8,15,31 }
		3, { 8,15,31,38,51 }, <-4.23606797749975960699e+00,1,4.23606797749975783063e+00,-2.23606797749977959100e+00,-2.53770327020311867727e+01>
		2, { 8,15,38,51 }
		1, { 8,17 }
		2, { 8,17,21 }
		3, { 8,17,21,38,55,59 }, <-2.61803398874990200795e+00,1,2.61803398874989845524e+00,1.00000000000000088818e+00,-1.56838687434730026382e+01>
		2, { 8,17,27 }
		3, { 8,17,27,38,55 }, <-4.23606797749978714052e+00,-1,4.23606797749978358780e+00,2.23606797749978625234e+00,-2.53770327020313466448e+01>
		2, { 8,17,38,55 }
		1, { 8,21 }
		2, { 8,21,31 }
		3, { 8,21,31,38,59 }, <-4.23606797749975516609e+00,2.23606797749977426193e+00,4.23606797749975250156e+00,-1,-2.53770327020311547983e+01>
		2, { 8,21,38,59 }
		1, { 8,27 }
		2, { 8,27,38 }
		1, { 8,31 }
		2, { 8,31,38 }
		1, { 8,38 }
		1, { 9,18 }
		2, { 9,18,19 }
		3, { 9,18,19,39,60,61 }, <-2.61803398874989401435e+00,2.61803398874989445844e+00,-1,-9.99999999999998889777e-01,-1.56838687434729671111e+01>
		2, { 9,18,32 }
		3, { 9,18,32,39,60 }, <-4.23606797749977026513e+00,4.23606797749976937695e+00,-2.23606797749978269962e+00,1,-2.53770327020312507216e+01>
		2, { 9,18,39,60 }
		1, { 9,19 }
		2, { 9,19,33 }
		3, { 9,19,33,39,61 }, <-4.23606797749977914691e+00,4.23606797749977825873e+00,1,-2.23606797749978536416e+00,-2.53770327020313040123e+01>
		2, { 9,19,39,61 }
		1, { 9,20 }
		2, { 9,20,21 }
		3, { 9,20,21,39,62,63 }, <-2.61803398874990334022e+00,2.61803398874989934342e+00,1,1.00000000000000244249e+00,-1.56838687434730079673e+01>
		2, { 9,20,32 }
		3, { 9,20,32,39,62 }, <-4.23606797749976848877e+00,4.23606797749976493606e+00,-1,2.23606797749978003509e+00,-2.53770327020312329580e+01>
		2, { 9,20,39,62 }
		1, { 9,21 }
		2, { 9,21,33 }
		3, { 9,21,33,39,63 }, <-4.23606797749978181145e+00,4.23606797749977825873e+00,2.23606797749978403189e+00,-1,-2.53770327020313146704e+01>
		2, { 9,21,39,63 }
		1, { 9,32 }
		2, { 9,32,39 }
		1, { 9,33 }
		2, { 9,33,39 }
		1, { 9,39 }
		1, { 10,11 }
		2, { 10,11,14 }
		3, { 10,11,14,40,41,44,45,48,49,88,90,91 }, <-1,-1.00000000000000088818e+00,-1.00000000000000199840e+00,1.00000000000000066613e+00,-7.40491834728767184259e+00>
		2, { 10,11,40,41 }
		1, { 10,14 }
		2, { 10,14,44,48 }
		1, { 10,22 }
		2, { 10,22,24 }
		3, { 10,22,24,40,44,64 }, <-2.23606797749978358780e+00,-2.23606797749978492007e+00,-2.23606797749978758461e+00,-1,-1.51436872299974876199e+01>
		2, { 10,22,40 }
		1, { 10,24 }
		2, { 10,24,44 }
		1, { 10,40 }
		2, { 10,40,44 }
		1, { 10,44 }
		1, { 11,14 }
		2, { 11,14,45,49 }
		1, { 11,23 }
		2, { 11,23,26 }
		3, { 11,23,26,41,45,66 }, <-2.23606797749978714052e+00,-2.23606797749979024914e+00,1,2.23606797749979069323e+00,-1.51436872299975160416e+01>
		2, { 11,23,41 }
		1, { 11,26 }
		2, { 11,26,45 }
		1, { 11,41 }
		2, { 11,41,45 }
		1, { 11,45 }
		1, { 12,13 }
		2, { 12,13,15 }
		3, { 12,13,15,42,43,46,47,50,51,89,92,93 }, <-1,-1.00000000000000044409e+00,1.00000000000000044409e+00,-1.00000000000000155431e+00,-7.40491834728767006624e+00>
		2, { 12,13,42,43 }
		1, { 12,15 }
		2, { 12,15,46,50 }
		1, { 12,22 }
		2, { 12,22,25 }
		3, { 12,22,25,42,46,65 }, <-2.23606797749978403189e+00,-2.23606797749978492007e+00,-1,-2.23606797749978758461e+00,-1.51436872299974876199e+01>
		2, { 12,22,42 }
		1, { 12,25 }
		2, { 12,25,46 }
		1, { 12,42 }
		2, { 12,42,46 }
		1, { 12,46 }
		1, { 13,15 }
		2, { 13,15,47,51 }
		1, { 13,23 }
		2, { 13,23,27 }
		3, { 13,23,27,43,47,67 }, <-2.23606797749978714052e+00,-2.23606797749979024914e+00,2.23606797749979069323e+00,1,-1.51436872299975160416e+01>
		2, { 13,23,43 }
		1, { 13,27 }
		2, { 13,27,47 }
		1, { 13,43 }
		2, { 13,43,47 }
		1, { 13,47 }
		1, { 14,28 }
		2, { 14,28,29 }
		3, { 14,28,29,48,49,70 }, <-2.23606797749977159739e+00,1,-2.23606797749976893286e+00,2.23606797749976760059e+00,-1.51436872299973774858e+01>
		2, { 14,28,48 }
		1, { 14,29 }
		2, { 14,29,49 }
		1, { 14,48 }
		2, { 14,48,49 }
		1, { 14,49 }
		1, { 15,30 }
		2, { 15,30,31 }
		3, { 15,30,31,50,51,71 }, <-2.23606797749977204148e+00,1,2.23606797749976626832e+00,-2.23606797749976804468e+00,-1.51436872299973703804e+01>
		2, { 15,30,50 }
		1, { 15,31 }
		2, { 15,31,51 }
		1, { 15,50 }
		2, { 15,50,51 }
		1, { 15,51 }
		1, { 16,18 }
		2, { 16,18,19 }
		3, { 16,18,19,52,53,56,57,60,61,94,95,98 }, <-1,9.99999999999997557509e-01,-9.99999999999998112621e-01,-9.99999999999997890576e-01,-7.40491834728765407903e+00>
		2, { 16,18,52,56 }
		1, { 16,19 }
		2, { 16,19,53,57 }
		1, { 16,24 }
		2, { 16,24,25 }
		3, { 16,24,25,52,53,68 }, <-2.23606797749979335777e+00,-1,-2.23606797749979158141e+00,-2.23606797749979158141e+00,-1.51436872299975338052e+01>
		2, { 16,24,52 }
		1, { 16,25 }
		2, { 16,25,53 }
		1, { 16,52 }
		2, { 16,52,53 }
		1, { 16,53 }
		1, { 17,20 }
		2, { 17,20,21 }
		3, { 17,20,21,54,55,58,59,62,63,96,97,99 }, <-1,9.99999999999996780353e-01,9.99999999999997113420e-01,9.99999999999997335465e-01,-7.40491834728765052631e+00>
		2, { 17,20,54,58 }
		1, { 17,21 }
		2, { 17,21,55,59 }
		1, { 17,26 }
		2, { 17,26,27 }
		3, { 17,26,27,54,55,69 }, <-2.23606797749979291368e+00,-1,2.23606797749978980505e+00,2.23606797749978980505e+00,-1.51436872299975284761e+01>
		2, { 17,26,54 }
		1, { 17,27 }
		2, { 17,27,55 }
		1, { 17,54 }
		2, { 17,54,55 }
		1, { 17,55 }
		1, { 18,19 }
		2, { 18,19,60,61 }
		1, { 18,28 }
		2, { 18,28,32 }
		3, { 18,28,32,56,60,72 }, <-2.23606797749978136736e+00,2.23606797749977603829e+00,-2.23606797749977515011e+00,1,-1.51436872299974307765e+01>
		2, { 18,28,56 }
		1, { 18,32 }
		2, { 18,32,60 }
		1, { 18,56 }
		2, { 18,56,60 }
		1, { 18,60 }
		1, { 19,30 }
		2, { 19,30,33 }
		3, { 19,30,33,57,61,74 }, <-2.23606797749978181145e+00,2.23606797749977648238e+00,1,-2.23606797749977559420e+00,-1.51436872299974325529e+01>
		2, { 19,30,57 }
		1, { 19,33 }
		2, { 19,33,61 }
		1, { 19,57 }
		2, { 19,57,61 }
		1, { 19,61 }
		1, { 20,21 }
		2, { 20,21,62,63 }
		1, { 20,29 }
		2, { 20,29,32 }
		3, { 20,29,32,58,62,73 }, <-2.23606797749977959100e+00,2.23606797749977426193e+00,-1,2.23606797749977292966e+00,-1.51436872299974147893e+01>
		2, { 20,29,58 }
		1, { 20,32 }
		2, { 20,32,62 }
		1, { 20,58 }
		2, { 20,58,62 }
		1, { 20,62 }
		1, { 21,31 }
		2, { 21,31,33 }
		3, { 21,31,33,59,63,75 }, <-2.23606797749977959100e+00,2.23606797749977381784e+00,2.23606797749977292966e+00,-1,-1.51436872299974147893e+01>
		2, { 21,31,59 }
		1, { 21,33 }
		2, { 21,33,63 }
		1, { 21,59 }
		2, { 21,59,63 }
		1, { 21,63 }
		1, { 22,24 }
		2, { 22,24,25 }
		3, { 22,24,25,64,65,68 }, <-1,-9.99999999999999777955e-01,-1.00000000000000133227e+00,-1,-7.40491834728766651352e+00>
		2, { 22,24,64 }
		1, { 22,25 }
		2, { 22,25,65 }
		1, { 22,34 }
		2, { 22,34,40 }
		3, { 22,34,40,42,64,65,76,77,100,101,124,136 }, <-1,-2.23606797749979602230e+00,-1.00000000000000355271e+00,-1.00000000000000288658e+00,-1.05671960074560686849e+01>
		2, { 22,34,42 }
		1, { 22,40 }
		2, { 22,40,64 }
		1, { 22,42 }
		2, { 22,42,65 }
		1, { 22,64 }
		2, { 22,64,65 }
		1, { 22,65 }
		1, { 23,26 }
		2, { 23,26,27 }
		3, { 23,26,27,66,67,69 }, <-1,-1.00000000000000088818e+00,1.00000000000000044409e+00,1.00000000000000177636e+00,-7.40491834728767095442e+00>
		2, { 23,26,66 }
		1, { 23,27 }
		2, { 23,27,67 }
		1, { 23,34 }
		2, { 23,34,41 }
		3, { 23,34,41,43,66,67,76,77,102,103,125,137 }, <-1,-2.23606797749980446000e+00,1.00000000000000510703e+00,1.00000000000000510703e+00,-1.05671960074560988829e+01>
		2, { 23,34,43 }
		1, { 23,41 }
		2, { 23,41,66 }
		1, { 23,43 }
		2, { 23,43,67 }
		1, { 23,66 }
		2, { 23,66,67 }
		1, { 23,67 }
		1, { 24,25 }
		2, { 24,25,68 }
		1, { 24,35 }
		2, { 24,35,44 }
		3, { 24,35,44,52,64,68,78,82,104,108,126,138 }, <-1,-9.99999999999994892974e-01,-2.23606797749978181145e+00,-9.99999999999995003996e-01,-1.05671960074560100651e+01>
		2, { 24,35,52 }
		1, { 24,44 }
		2, { 24,44,64 }
		1, { 24,52 }
		2, { 24,52,68 }
		1, { 24,64 }
		2, { 24,64,68 }
		1, { 24,68 }
		1, { 25,36 }
		2, { 25,36,46 }
		3, { 25,36,46,53,65,68,80,83,105,110,127,139 }, <-1,-9.99999999999995003996e-01,-9.99999999999996114219e-01,-2.23606797749978092327e+00,-1.05671960074560100651e+01>
		2, { 25,36,53 }
		1, { 25,46 }
		2, { 25,46,65 }
		1, { 25,53 }
		2, { 25,53,68 }
		1, { 25,65 }
		2, { 25,65,68 }
		1, { 25,68 }
		1, { 26,27 }
		2, { 26,27,69 }
		1, { 26,37 }
		2, { 26,37,45 }
		3, { 26,37,45,54,66,69,79,84,106,113,128,140 }, <-1,-9.99999999999997779554e-01,9.99999999999998112621e-01,2.23606797749978714052e+00,-1.05671960074560331577e+01>
		2, { 26,37,54 }
		1, { 26,45 }
		2, { 26,45,66 }
		1, { 26,54 }
		2, { 26,54,69 }
		1, { 26,66 }
		2, { 26,66,69 }
		1, { 26,69 }
		1, { 27,38 }
		2, { 27,38,47 }
		3, { 27,38,47,55,67,69,81,85,107,115,129,141 }, <-1,-9.99999999999999555911e-01,2.23606797749979158141e+00,1.00000000000000133227e+00,-1.05671960074560509213e+01>
		2, { 27,38,55 }
		1, { 27,47 }
		2, { 27,47,67 }
		1, { 27,55 }
		2, { 27,55,69 }
		1, { 27,67 }
		2, { 27,67,69 }
		1, { 27,69 }
		1, { 28,29 }
		2, { 28,29,32 }
		3, { 28,29,32,70,72,73 }, <-1,9.99999999999993227640e-01,-9.99999999999994004796e-01,9.99999999999993116617e-01,-7.40491834728762299278e+00>
		2, { 28,29,70 }
		1, { 28,32 }
		2, { 28,32,72 }
		1, { 28,35 }
		2, { 28,35,48 }
		3, { 28,35,48,56,70,72,78,82,109,116,130,142 }, <-1,9.99999999999993005595e-01,-2.23606797749976760059e+00,9.99999999999993560706e-01,-1.05671960074559621034e+01>
		2, { 28,35,56 }
		1, { 28,48 }
		2, { 28,48,70 }
		1, { 28,56 }
		2, { 28,56,72 }
		1, { 28,70 }
		2, { 28,70,72 }
		1, { 28,72 }
		1, { 29,32 }
		2, { 29,32,73 }
		1, { 29,37 }
		2, { 29,37,49 }
		3, { 29,37,49,58,70,73,79,84,111,118,131,143 }, <-1,9.99999999999996558309e-01,-9.99999999999996669331e-01,2.23606797749977115330e+00,-1.05671960074559763143e+01>
		2, { 29,37,58 }
		1, { 29,49 }
		2, { 29,49,70 }
		1, { 29,58 }
		2, { 29,58,73 }
		1, { 29,70 }
		2, { 29,70,73 }
		1, { 29,73 }
		1, { 30,31 }
		2, { 30,31,33 }
		3, { 30,31,33,71,74,75 }, <-1,9.99999999999997890576e-01,9.99999999999996447286e-01,-9.99999999999997113420e-01,-7.40491834728764430906e+00>
		2, { 30,31,71 }
		1, { 30,33 }
		2, { 30,33,74 }
		1, { 30,36 }
		2, { 30,36,50 }
		3, { 30,36,50,57,71,74,80,83,112,117,132,144 }, <-1,9.99999999999994337863e-01,9.99999999999995781153e-01,-2.23606797749977292966e+00,-1.05671960074559816434e+01>
		2, { 30,36,57 }
		1, { 30,50 }
		2, { 30,50,71 }
		1, { 30,57 }
		2, { 30,57,74 }
		1, { 30,71 }
		2, { 30,71,74 }
		1, { 30,74 }
		1, { 31,33 }
		2, { 31,33,75 }
		1, { 31,38 }
		2, { 31,38,51 }
		3, { 31,38,51,59,71,75,81,85,114,119,133,145 }, <-1,9.99999999999998556710e-01,2.23606797749977870282e+00,-9.99999999999999666933e-01,-1.05671960074560047360e+01>
		2, { 31,38,59 }
		1, { 31,51 }
		2, { 31,51,71 }
		1, { 31,59 }
		2, { 31,59,75 }
		1, { 31,71 }
		2, { 31,71,75 }
		1, { 31,75 }
		1, { 32,39 }
		2, { 32,39,60 }
		3, { 32,39,60,62,72,73,86,87,120,122,134,146 }, <-1,2.23606797749976449197e+00,-9.99999999999992006394e-01,9.99999999999991118216e-01,-1.05671960074559496690e+01>
		2, { 32,39,62 }
		1, { 32,60 }
		2, { 32,60,72 }
		1, { 32,62 }
		2, { 32,62,73 }
		1, { 32,72 }
		2, { 32,72,73 }
		1, { 32,73 }
		1, { 33,39 }
		2, { 33,39,61 }
		3, { 33,39,61,63,74,75,86,87,121,123,135,147 }, <-1,2.23606797749977115330e+00,9.99999999999991673327e-01,-9.99999999999992006394e-01,-1.05671960074559709852e+01>
		2, { 33,39,63 }
		1, { 33,61 }
		2, { 33,61,74 }
		1, { 33,63 }
		2, { 33,63,75 }
		1, { 33,74 }
		2, { 33,74,75 }
		1, { 33,75 }
		1, { 34,40 }
		2, { 34,40,41 }
		3, { 34,40,41,76 }, <-2.23606797749978492007e+00,-2.99999999999999422684e+00,-1,9.99999999999996558309e-01,-1.62240502569483950879e+01>
		2, { 34,40,76 }
		1, { 34,41 }
		2, { 34,41,76 }
		1, { 34,42 }
		2, { 34,42,43 }
		3, { 34,42,43,77 }, <-2.23606797749979335777e+00,-3.00000000000000488498e+00,1,-1.00000000000000377476e+00,-1.62240502569484519313e+01>
		2, { 34,42,77 }
		1, { 34,43 }
		2, { 34,43,77 }
		1, { 34,76 }
		2, { 34,76,77 }
		1, { 34,77 }
		1, { 35,44 }
		2, { 35,44,48 }
		3, { 35,44,48,78 }, <-2.23606797749979469003e+00,-1,-3.00000000000000710543e+00,9.99999999999998889777e-01,-1.62240502569484590367e+01>
		2, { 35,44,78 }
		1, { 35,48 }
		2, { 35,48,78 }
		1, { 35,52 }
		2, { 35,52,56 }
		3, { 35,52,56,82 }, <-2.23606797749979246959e+00,1,-3.00000000000000310862e+00,-1.00000000000000044409e+00,-1.62240502569484377204e+01>
		2, { 35,52,82 }
		1, { 35,56 }
		2, { 35,56,82 }
		1, { 35,78 }
		2, { 35,78,82 }
		1, { 35,82 }
		1, { 36,46 }
		2, { 36,46,50 }
		3, { 36,46,50,80 }, <-2.23606797749979424594e+00,-1,9.99999999999999666933e-01,-3.00000000000000932587e+00,-1.62240502569484696949e+01>
		2, { 36,46,80 }
		1, { 36,50 }
		2, { 36,50,80 }
		1, { 36,53 }
		2, { 36,53,57 }
		3, { 36,53,57,83 }, <-2.23606797749979380185e+00,1,-1.00000000000000111022e+00,-3.00000000000000621725e+00,-1.62240502569484554840e+01>
		2, { 36,53,83 }
		1, { 36,57 }
		2, { 36,57,83 }
		1, { 36,80 }
		2, { 36,80,83 }
		1, { 36,83 }
		1, { 37,45 }
		2, { 37,45,49 }
		3, { 37,45,49,79 }, <-2.23606797749979158141e+00,-1,-1.00000000000000044409e+00,3.00000000000000177636e+00,-1.62240502569484341677e+01>
		2, { 37,45,79 }
		1, { 37,49 }
		2, { 37,49,79 }
		1, { 37,54 }
		2, { 37,54,58 }
		3, { 37,54,58,84 }, <-2.23606797749979024914e+00,1,1.00000000000000066613e+00,3,-1.62240502569484270623e+01>
		2, { 37,54,84 }
		1, { 37,58 }
		2, { 37,58,84 }
		1, { 37,79 }
		2, { 37,79,84 }
		1, { 37,84 }
		1, { 38,47 }
		2, { 38,47,51 }
		3, { 38,47,51,81 }, <-2.23606797749979113732e+00,-1,3.00000000000000399680e+00,-1.00000000000000222045e+00,-1.62240502569484483786e+01>
		2, { 38,47,81 }
		1, { 38,51 }
		2, { 38,51,81 }
		1, { 38,55 }
		2, { 38,55,59 }
		3, { 38,55,59,85 }, <-2.23606797749978936096e+00,1,3.00000000000000355271e+00,1.00000000000000066613e+00,-1.62240502569484412732e+01>
		2, { 38,55,85 }
		1, { 38,59 }
		2, { 38,59,85 }
		1, { 38,81 }
		2, { 38,81,85 }
		1, { 38,85 }
		1, { 39,60 }
		2, { 39,60,61 }
		3, { 39,60,61,86 }, <-2.23606797749978980505e+00,2.99999999999999955591e+00,-1,-9.99999999999998445688e-01,-1.62240502569484199569e+01>
		2, { 39,60,86 }
		1, { 39,61 }
		2, { 39,61,86 }
		1, { 39,62 }
		2, { 39,62,63 }
		3, { 39,62,63,87 }, <-2.23606797749979469003e+00,3.00000000000000932587e+00,1,1.00000000000000266454e+00,-1.62240502569484732476e+01>
		2, { 39,62,87 }
		1, { 39,63 }
		2, { 39,63,87 }
		1, { 39,86 }
		2, { 39,86,87 }
		1, { 39,87 }
		1, { 40,41 }
		2, { 40,41,76 }
		3, { 40,41,76,88 }, <-1,-1.76393202250021308153e+00,-1.00000000000000310862e+00,1.00000000000000044409e+00,-9.89949493661168133940e+00>
		2, { 40,41,88 }
		1, { 40,44 }
		2, { 40,44,64 }
		3, { 40,44,64,100,104 }, <-2.23606797749977959100e+00,-4.23606797749976760059e+00,-4.23606797749977292966e+00,-1,-2.53770327020312507216e+01>
		2, { 40,44,88,90 }
		3, { 40,44,88,90,100,104 }, <-1,-2.61803398874989801115e+00,-2.61803398874990111977e+00,1.00000000000000399680e+00,-1.56838687434729955328e+01>
		2, { 40,44,100,104 }
		1, { 40,64 }
		2, { 40,64,100 }
		1, { 40,76 }
		2, { 40,76,88 }
		3, { 40,76,88,100 }, <-1,-3.00000000000000444089e+00,-2.23606797749979380185e+00,1.00000000000000288658e+00,-1.62240502569484483786e+01>
		2, { 40,76,100 }
		1, { 40,88 }
		2, { 40,88,100 }
		1, { 40,100 }
		1, { 41,45 }
		2, { 41,45,66 }
		3, { 41,45,66,102,106 }, <-2.23606797749979291368e+00,-4.23606797749980312773e+00,1,4.23606797749980046319e+00,-2.53770327020314461208e+01>
		2, { 41,45,88,91 }
		3, { 41,45,88,91,102,106 }, <-1,-2.61803398874990733702e+00,-1.00000000000000643929e+00,2.61803398874990556067e+00,-1.56838687434730399417e+01>
		2, { 41,45,102,106 }
		1, { 41,66 }
		2, { 41,66,102 }
		1, { 41,76 }
		2, { 41,76,88 }
		3, { 41,76,88,102 }, <-1,-3.00000000000001509903e+00,-1.00000000000000643929e+00,2.23606797749980046319e+00,-1.62240502569485052220e+01>
		2, { 41,76,102 }
		1, { 41,88 }
		2, { 41,88,102 }
		1, { 41,102 }
		1, { 42,43 }
		2, { 42,43,77 }
		3, { 42,43,77,89 }, <-1,-1.76393202250021219335e+00,9.99999999999999888978e-01,-1.00000000000000244249e+00,-9.89949493661167778669e+00>
		2, { 42,43,89 }
		1, { 42,46 }
		2, { 42,46,65 }
		3, { 42,46,65,101,105 }, <-2.23606797749978092327e+00,-4.23606797749976760059e+00,-1,-4.23606797749977381784e+00,-2.53770327020312542743e+01>
		2, { 42,46,89,92 }
		3, { 42,46,89,92,101,105 }, <-1,-2.61803398874989623479e+00,1.00000000000000355271e+00,-2.61803398874989978751e+00,-1.56838687434729866510e+01>
		2, { 42,46,101,105 }
		1, { 42,65 }
		2, { 42,65,101 }
		1, { 42,77 }
		2, { 42,77,89 }
		3, { 42,77,89,101 }, <-1,-3.00000000000000222045e+00,1.00000000000000222045e+00,-2.23606797749979335777e+00,-1.62240502569484412732e+01>
		2, { 42,77,101 }
		1, { 42,89 }
		2, { 42,89,101 }
		1, { 42,101 }
		1, { 43,47 }
		2, { 43,47,67 }
		3, { 43,47,67,103,107 }, <-2.23606797749979380185e+00,-4.23606797749980046319e+00,4.23606797749979957501e+00,1,-2.53770327020314354627e+01>
		2, { 43,47,89,93 }
		3, { 43,47,89,93,103,107 }, <-1,-2.61803398874990378431e+00,2.61803398874990200795e+00,-1.00000000000000510703e+00,-1.56838687434730204018e+01>
		2, { 43,47,103,107 }
		1, { 43,67 }
		2, { 43,67,103 }
		1, { 43,77 }
		2, { 43,77,89 }
		3, { 43,77,89,103 }, <-1,-3.00000000000001287859e+00,2.23606797749979868684e+00,-1.00000000000000532907e+00,-1.62240502569484910111e+01>
		2, { 43,77,103 }
		1, { 43,89 }
		2, { 43,89,103 }
		1, { 43,103 }
		1, { 44,48 }
		2, { 44,48,78 }
		3, { 44,48,78,90 }, <-1,-1.00000000000000133227e+00,-1.76393202250021441380e+00,1.00000000000000022204e+00,-9.89949493661168133940e+00>
		2, { 44,48,90 }
		1, { 44,64 }
		2, { 44,64,104 }
		1, { 44,78 }
		2, { 44,78,90 }
		3, { 44,78,90,104 }, <-1,-2.23606797749978714052e+00,-3.00000000000000355271e+00,1.00000000000000288658e+00,-1.62240502569484306150e+01>
		2, { 44,78,104 }
		1, { 44,90 }
		2, { 44,90,104 }
		1, { 44,104 }
		1, { 45,49 }
		2, { 45,49,79 }
		3, { 45,49,79,91 }, <-1,-1.00000000000000155431e+00,-1.00000000000000244249e+00,1.76393202250021174926e+00,-9.89949493661167956304e+00>
		2, { 45,49,91 }
		1, { 45,66 }
		2, { 45,66,106 }
		1, { 45,79 }
		2, { 45,79,91 }
		3, { 45,79,91,106 }, <-1,-2.23606797749980357182e+00,-1.00000000000000577316e+00,3.00000000000001332268e+00,-1.62240502569485087747e+01>
		2, { 45,79,106 }
		1, { 45,91 }
		2, { 45,91,106 }
		1, { 45,106 }
		1, { 46,50 }
		2, { 46,50,80 }
		3, { 46,50,80,92 }, <-1,-1.00000000000000222045e+00,1.00000000000000155431e+00,-1.76393202250021596811e+00,-9.89949493661168844483e+00>
		2, { 46,50,92 }
		1, { 46,65 }
		2, { 46,65,105 }
		1, { 46,80 }
		2, { 46,80,92 }
		3, { 46,80,92,105 }, <-1,-2.23606797749978492007e+00,1.00000000000000421885e+00,-3.00000000000000266454e+00,-1.62240502569484199569e+01>
		2, { 46,80,105 }
		1, { 46,92 }
		2, { 46,92,105 }
		1, { 46,105 }
		1, { 47,51 }
		2, { 47,51,81 }
		3, { 47,51,81,93 }, <-1,-1.00000000000000199840e+00,1.76393202250021396971e+00,-1.00000000000000377476e+00,-9.89949493661168666847e+00>
		2, { 47,51,93 }
		1, { 47,67 }
		2, { 47,67,107 }
		1, { 47,81 }
		2, { 47,81,93 }
		3, { 47,81,93,107 }, <-1,-2.23606797749979779866e+00,3.00000000000000932587e+00,-1.00000000000000666134e+00,-1.62240502569484768003e+01>
		2, { 47,81,107 }
		1, { 47,93 }
		2, { 47,93,107 }
		1, { 47,107 }
		1, { 48,49 }
		2, { 48,49,70 }
		3, { 48,49,70,109,111 }, <-2.23606797749976582423e+00,1,-4.23606797749974628431e+00,4.23606797749974095524e+00,-2.53770327020311015076e+01>
		2, { 48,49,90,91 }
		3, { 48,49,90,91,109,111 }, <-1,-9.99999999999998112621e-01,-2.61803398874989845524e+00,2.61803398874989401435e+00,-1.56838687434729813219e+01>
		2, { 48,49,109,111 }
		1, { 48,70 }
		2, { 48,70,109 }
		1, { 48,78 }
		2, { 48,78,90 }
		3, { 48,78,90,109 }, <-1,-9.99999999999999111822e-01,-3.00000000000000666134e+00,2.23606797749979024914e+00,-1.62240502569484519313e+01>
		2, { 48,78,109 }
		1, { 48,90 }
		2, { 48,90,109 }
		1, { 48,109 }
		1, { 49,70 }
		2, { 49,70,111 }
		1, { 49,79 }
		2, { 49,79,91 }
		3, { 49,79,91,111 }, <-1,-9.99999999999999333866e-01,-2.23606797749980312773e+00,3.00000000000000976996e+00,-1.62240502569484910111e+01>
		2, { 49,79,111 }
		1, { 49,91 }
		2, { 49,91,111 }
		1, { 49,111 }
		1, { 50,51 }
		2, { 50,51,71 }
		3, { 50,51,71,112,114 }, <-2.23606797749976582423e+00,1,4.23606797749973740252e+00,-4.23606797749974361977e+00,-2.53770327020310801913e+01>
		2, { 50,51,92,93 }
		3, { 50,51,92,93,112,114 }, <-1,-9.99999999999995448086e-01,2.61803398874989179390e+00,-2.61803398874989667888e+00,-1.56838687434729706638e+01>
		2, { 50,51,112,114 }
		1, { 50,71 }
		2, { 50,71,112 }
		1, { 50,80 }
		2, { 50,80,92 }
		3, { 50,80,92,112 }, <-1,-9.99999999999998445688e-01,2.23606797749978802869e+00,-3.00000000000000444089e+00,-1.62240502569484377204e+01>
		2, { 50,80,112 }
		1, { 50,92 }
		2, { 50,92,112 }
		1, { 50,112 }
		1, { 51,71 }
		2, { 51,71,114 }
		1, { 51,81 }
		2, { 51,81,93 }
		3, { 51,81,93,114 }, <-1,-9.99999999999998112621e-01,3.00000000000000355271e+00,-2.23606797749979779866e+00,-1.62240502569484554840e+01>
		2, { 51,81,114 }
		1, { 51,93 }
		2, { 51,93,114 }
		1, { 51,114 }
		1, { 52,53 }
		2, { 52,53,68 }
		3, { 52,53,68,108,110 }, <-2.23606797749979557821e+00,-1,-4.23606797749980223955e+00,-4.23606797749980223955e+00,-2.53770327020314496735e+01>
		2, { 52,53,94,95 }
		3, { 52,53,94,95,108,110 }, <-1,9.99999999999997335465e-01,-2.61803398874989534661e+00,-2.61803398874989534661e+00,-1.56838687434729742165e+01>
		2, { 52,53,108,110 }
		1, { 52,56 }
		2, { 52,56,82 }
		3, { 52,56,82,94 }, <-1,9.99999999999999111822e-01,-1.76393202250021019495e+00,-1,-9.89949493661166535219e+00>
		2, { 52,56,94 }
		1, { 52,68 }
		2, { 52,68,108 }
		1, { 52,82 }
		2, { 52,82,94 }
		3, { 52,82,94,108 }, <-1,9.99999999999998889777e-01,-3.00000000000000044409e+00,-2.23606797749979113732e+00,-1.62240502569484306150e+01>
		2, { 52,82,108 }
		1, { 52,94 }
		2, { 52,94,108 }
		1, { 52,108 }
		1, { 53,57 }
		2, { 53,57,83 }
		3, { 53,57,83,95 }, <-1,1.00000000000000022204e+00,-1.00000000000000177636e+00,-1.76393202250021174926e+00,-9.89949493661167601033e+00>
		2, { 53,57,95 }
		1, { 53,68 }
		2, { 53,68,110 }
		1, { 53,83 }
		2, { 53,83,95 }
		3, { 53,83,95,110 }, <-1,1,-2.23606797749979513412e+00,-3.00000000000000488498e+00,-1.62240502569484519313e+01>
		2, { 53,83,110 }
		1, { 53,95 }
		2, { 53,95,110 }
		1, { 53,110 }
		1, { 54,55 }
		2, { 54,55,69 }
		3, { 54,55,69,113,115 }, <-2.23606797749977515011e+00,-1,4.23606797749978536416e+00,4.23606797749978536416e+00,-2.53770327020313466448e+01>
		2, { 54,55,96,97 }
		3, { 54,55,96,97,113,115 }, <-1,1.00000000000000666134e+00,2.61803398874991666290e+00,2.61803398874991710699e+00,-1.56838687434731021142e+01>
		2, { 54,55,113,115 }
		1, { 54,58 }
		2, { 54,58,84 }
		3, { 54,58,84,96 }, <-1,1.00000000000000355271e+00,1.00000000000000377476e+00,1.76393202250021596811e+00,-9.89949493661169732661e+00>
		2, { 54,58,96 }
		1, { 54,69 }
		2, { 54,69,113 }
		1, { 54,84 }
		2, { 54,84,96 }
		3, { 54,84,96,113 }, <-1,1.00000000000001110223e+00,2.23606797749980934498e+00,3.00000000000002797762e+00,-1.62240502569485727236e+01>
		2, { 54,84,113 }
		1, { 54,96 }
		2, { 54,96,113 }
		1, { 54,113 }
		1, { 55,59 }
		2, { 55,59,85 }
		3, { 55,59,85,97 }, <-1,1.00000000000000377476e+00,1.76393202250021796651e+00,1.00000000000000421885e+00,-9.89949493661170798475e+00>
		2, { 55,59,97 }
		1, { 55,69 }
		2, { 55,69,115 }
		1, { 55,85 }
		2, { 55,85,97 }
		3, { 55,85,97,115 }, <-1,1.00000000000001132427e+00,3.00000000000003463896e+00,2.23606797749981422996e+00,-1.62240502569486082507e+01>
		2, { 55,85,115 }
		1, { 55,97 }
		2, { 55,97,115 }
		1, { 55,115 }
		1, { 56,60 }
		2, { 56,60,72 }
		3, { 56,60,72,116,120 }, <-2.23606797749978136736e+00,4.23606797749977559420e+00,-4.23606797749977648238e+00,1,-2.53770327020312969069e+01>
		2, { 56,60,94,98 }
		3, { 56,60,94,98,116,120 }, <-1,2.61803398874989934342e+00,-2.61803398874990156386e+00,-9.99999999999999000799e-01,-1.56838687434730044146e+01>
		2, { 56,60,116,120 }
		1, { 56,72 }
		2, { 56,72,116 }
		1, { 56,82 }
		2, { 56,82,94 }
		3, { 56,82,94,116 }, <-1,2.23606797749979424594e+00,-3.00000000000000710543e+00,-1.00000000000000088818e+00,-1.62240502569484590367e+01>
		2, { 56,82,116 }
		1, { 56,94 }
		2, { 56,94,116 }
		1, { 56,116 }
		1, { 57,61 }
		2, { 57,61,74 }
		3, { 57,61,74,117,121 }, <-2.23606797749978225553e+00,4.23606797749977559420e+00,1,-4.23606797749977648238e+00,-2.53770327020312933541e+01>
		2, { 57,61,95,98 }
		3, { 57,61,95,98,117,121 }, <-1,2.61803398874989934342e+00,-9.99999999999999666933e-01,-2.61803398874990111977e+00,-1.56838687434730026382e+01>
		2, { 57,61,117,121 }
		1, { 57,74 }
		2, { 57,74,117 }
		1, { 57,83 }
		2, { 57,83,95 }
		3, { 57,83,95,117 }, <-1,2.23606797749979735457e+00,-1.00000000000000288658e+00,-3.00000000000001021405e+00,-1.62240502569484803530e+01>
		2, { 57,83,117 }
		1, { 57,95 }
		2, { 57,95,117 }
		1, { 57,117 }
		1, { 58,62 }
		2, { 58,62,73 }
		3, { 58,62,73,118,122 }, <-2.23606797749975294565e+00,4.23606797749972496803e+00,-1,4.23606797749972319167e+00,-2.53770327020309771626e+01>
		2, { 58,62,96,99 }
		3, { 58,62,96,99,118,122 }, <-1,2.61803398874991000156e+00,1.00000000000000310862e+00,2.61803398874991000156e+00,-1.56838687434730594816e+01>
		2, { 58,62,118,122 }
		1, { 58,73 }
		2, { 58,73,118 }
		1, { 58,84 }
		2, { 58,84,96 }
		3, { 58,84,96,118 }, <-1,2.23606797749980357182e+00,1.00000000000000843769e+00,3.00000000000002176037e+00,-1.62240502569485371964e+01>
		2, { 58,84,118 }
		1, { 58,96 }
		2, { 58,96,118 }
		1, { 58,118 }
		1, { 59,63 }
		2, { 59,63,75 }
		3, { 59,63,75,119,123 }, <-2.23606797749975338974e+00,4.23606797749972852074e+00,4.23606797749972674438e+00,-1,-2.53770327020309984789e+01>
		2, { 59,63,97,99 }
		3, { 59,63,97,99,119,123 }, <-1,2.61803398874991355427e+00,2.61803398874991311018e+00,1.00000000000000310862e+00,-1.56838687434730790216e+01>
		2, { 59,63,119,123 }
		1, { 59,75 }
		2, { 59,75,119 }
		1, { 59,85 }
		2, { 59,85,97 }
		3, { 59,85,97,119 }, <-1,2.23606797749980845680e+00,3.00000000000002797762e+00,1.00000000000000843769e+00,-1.62240502569485727236e+01>
		2, { 59,85,119 }
		1, { 59,97 }
		2, { 59,97,119 }
		1, { 59,119 }
		1, { 60,61 }
		2, { 60,61,86 }
		3, { 60,61,86,98 }, <-1,1.76393202250020997290e+00,-1.00000000000000088818e+00,-1.00000000000000044409e+00,-9.89949493661166712855e+00>
		2, { 60,61,98 }
		1, { 60,72 }
		2, { 60,72,120 }
		1, { 60,86 }
		2, { 60,86,98 }
		3, { 60,86,98,120 }, <-1,3.00000000000000222045e+00,-2.23606797749979380185e+00,-1.00000000000000133227e+00,-1.62240502569484412732e+01>
		2, { 60,86,120 }
		1, { 60,98 }
		2, { 60,98,120 }
		1, { 60,120 }
		1, { 61,74 }
		2, { 61,74,121 }
		1, { 61,86 }
		2, { 61,86,98 }
		3, { 61,86,98,121 }, <-1,3.00000000000000444089e+00,-1.00000000000000199840e+00,-2.23606797749979557821e+00,-1.62240502569484519313e+01>
		2, { 61,86,121 }
		1, { 61,98 }
		2, { 61,98,121 }
		1, { 61,121 }
		1, { 62,63 }
		2, { 62,63,87 }
		3, { 62,63,87,99 }, <-1,1.76393202250021841060e+00,1.00000000000000488498e+00,1.00000000000000577316e+00,-9.89949493661171331382e+00>
		2, { 62,63,99 }
		1, { 62,73 }
		2, { 62,73,122 }
		1, { 62,87 }
		2, { 62,87,99 }
		3, { 62,87,99,122 }, <-1,3.00000000000002664535e+00,1.00000000000000954792e+00,2.23606797749980756862e+00,-1.62240502569485656181e+01>
		2, { 62,87,122 }
		1, { 62,99 }
		2, { 62,99,122 }
		1, { 62,122 }
		1, { 63,75 }
		2, { 63,75,123 }
		1, { 63,87 }
		2, { 63,87,99 }
		3, { 63,87,99,123 }, <-1,3.00000000000003153033e+00,2.23606797749981200951e+00,1.00000000000000999201e+00,-1.62240502569485904871e+01>
		2, { 63,87,123 }
		1, { 63,99 }
		2, { 63,99,123 }
		1, { 63,123 }
		1, { 64,65 }
		2, { 64,65,68 }
		3, { 64,65,68,124,126,127 }, <-1,-2.23606797749979113732e+00,-2.23606797749979380185e+00,-2.23606797749979113732e+00,-1.51436872299975302525e+01>
		2, { 64,65,124 }
		1, { 64,68 }
		2, { 64,68,126 }
		1, { 64,100 }
		2, { 64,100,104 }
		3, { 64,100,104,124,126 }, <-1,-4.23606797749977115330e+00,-4.23606797749977737055e+00,-2.23606797749978136736e+00,-2.53770327020312755906e+01>
		2, { 64,100,124 }
		1, { 64,104 }
		2, { 64,104,126 }
		1, { 64,124 }
		2, { 64,124,126 }
		1, { 64,126 }
		1, { 65,68 }
		2, { 65,68,127 }
		1, { 65,101 }
		2, { 65,101,105 }
		3, { 65,101,105,124,127 }, <-1,-4.23606797749977204148e+00,-2.23606797749978447598e+00,-4.23606797749977648238e+00,-2.53770327020312862487e+01>
		2, { 65,101,124 }
		1, { 65,105 }
		2, { 65,105,127 }
		1, { 65,124 }
		2, { 65,124,127 }
		1, { 65,127 }
		1, { 66,67 }
		2, { 66,67,69 }
		3, { 66,67,69,125,128,129 }, <-1,-2.23606797749979602230e+00,2.23606797749979335777e+00,2.23606797749979602230e+00,-1.51436872299975586742e+01>
		2, { 66,67,125 }
		1, { 66,69 }
		2, { 66,69,128 }
		1, { 66,102 }
		2, { 66,102,106 }
		3, { 66,102,106,125,128 }, <-1,-4.23606797749982355583e+00,2.23606797749980357182e+00,4.23606797749982089130e+00,-2.53770327020315633604e+01>
		2, { 66,102,125 }
		1, { 66,106 }
		2, { 66,106,128 }
		1, { 66,125 }
		2, { 66,125,128 }
		1, { 66,128 }
		1, { 67,69 }
		2, { 67,69,129 }
		1, { 67,103 }
		2, { 67,103,107 }
		3, { 67,103,107,125,129 }, <-1,-4.23606797749981911494e+00,4.23606797749981467405e+00,2.23606797749980446000e+00,-2.53770327020315420441e+01>
		2, { 67,103,125 }
		1, { 67,107 }
		2, { 67,107,129 }
		1, { 67,125 }
		2, { 67,125,129 }
		1, { 67,129 }
		1, { 68,108 }
		2, { 68,108,110 }
		3, { 68,108,110,126,127 }, <-1,-2.23606797749978802869e+00,-4.23606797749979158141e+00,-4.23606797749978980505e+00,-2.53770327020313750666e+01>
		2, { 68,108,126 }
		1, { 68,110 }
		2, { 68,110,127 }
		1, { 68,126 }
		2, { 68,126,127 }
		1, { 68,127 }
		1, { 69,113 }
		2, { 69,113,115 }
		3, { 69,113,115,128,129 }, <-1,-2.23606797749981378587e+00,4.23606797749983066126e+00,4.23606797749983243762e+00,-2.53770327020316344147e+01>
		2, { 69,113,128 }
		1, { 69,115 }
		2, { 69,115,129 }
		1, { 69,128 }
		2, { 69,128,129 }
		1, { 69,129 }
		1, { 70,72 }
		2, { 70,72,73 }
		3, { 70,72,73,130,131,134 }, <-1,2.23606797749979246959e+00,-2.23606797749979602230e+00,2.23606797749979246959e+00,-1.51436872299975515688e+01>
		2, { 70,72,130 }
		1, { 70,73 }
		2, { 70,73,131 }
		1, { 70,109 }
		2, { 70,109,111 }
		3, { 70,109,111,130,131 }, <-1,2.23606797749978758461e+00,-4.23606797749978891687e+00,4.23606797749978092327e+00,-2.53770327020313537503e+01>
		2, { 70,109,130 }
		1, { 70,111 }
		2, { 70,111,131 }
		1, { 70,130 }
		2, { 70,130,131 }
		1, { 70,131 }
		1, { 71,74 }
		2, { 71,74,75 }
		3, { 71,74,75,132,133,135 }, <-1,2.23606797749979246959e+00,2.23606797749979024914e+00,-2.23606797749979291368e+00,-1.51436872299975338052e+01>
		2, { 71,74,132 }
		1, { 71,75 }
		2, { 71,75,133 }
		1, { 71,112 }
		2, { 71,112,114 }
		3, { 71,112,114,132,133 }, <-1,2.23606797749977870282e+00,4.23606797749976848877e+00,-4.23606797749977648238e+00,-2.53770327020312755906e+01>
		2, { 71,112,132 }
		1, { 71,114 }
		2, { 71,114,133 }
		1, { 71,132 }
		2, { 71,132,133 }
		1, { 71,133 }
		1, { 72,73 }
		2, { 72,73,134 }
		1, { 72,116 }
		2, { 72,116,120 }
		3, { 72,116,120,130,134 }, <-1,4.23606797749980490408e+00,-4.23606797749981023316e+00,2.23606797749979868684e+00,-2.53770327020314852007e+01>
		2, { 72,116,130 }
		1, { 72,120 }
		2, { 72,120,134 }
		1, { 72,130 }
		2, { 72,130,134 }
		1, { 72,134 }
		1, { 73,118 }
		2, { 73,118,122 }
		3, { 73,118,122,131,134 }, <-1,4.23606797749979069323e+00,-2.23606797749979868684e+00,4.23606797749978980505e+00,-2.53770327020313928301e+01>
		2, { 73,118,131 }
		1, { 73,122 }
		2, { 73,122,134 }
		1, { 73,131 }
		2, { 73,131,134 }
		1, { 73,134 }
		1, { 74,75 }
		2, { 74,75,135 }
		1, { 74,117 }
		2, { 74,117,121 }
		3, { 74,117,121,132,135 }, <-1,4.23606797749979957501e+00,2.23606797749979246959e+00,-4.23606797749980223955e+00,-2.53770327020314390154e+01>
		2, { 74,117,132 }
		1, { 74,121 }
		2, { 74,121,135 }
		1, { 74,132 }
		2, { 74,132,135 }
		1, { 74,135 }
		1, { 75,119 }
		2, { 75,119,123 }
		3, { 75,119,123,133,135 }, <-1,4.23606797749979246959e+00,4.23606797749978980505e+00,-2.23606797749979469003e+00,-2.53770327020313857247e+01>
		2, { 75,119,133 }
		1, { 75,123 }
		2, { 75,123,135 }
		1, { 75,133 }
		2, { 75,133,135 }
		1, { 75,135 }
		1, { 76,77 }
		2, { 76,77,136 }
		3, { 76,77,136,137 }, <-8.97592717075471112777e-16,-1,-3.63888939354920754709e-16,-7.27777878709841509419e-17,-4.40956595483037894212e+00>
		2, { 76,77,137 }
		1, { 76,88 }
		2, { 76,88,100 }
		3, { 76,88,100,102,136,137,148,149,160,162,184,190 }, <1,-2.23606797749978358780e+00,-9.99999999999999111822e-01,9.99999999999996003197e-01,-1.05671960074560118414e+01>
		2, { 76,88,102 }
		1, { 76,100 }
		2, { 76,100,136 }
		1, { 76,102 }
		2, { 76,102,137 }
		1, { 76,136 }
		2, { 76,136,137 }
		1, { 76,137 }
		1, { 77,89 }
		2, { 77,89,101 }
		3, { 77,89,101,103,136,137,150,151,161,163,184,191 }, <1,-2.23606797749977559420e+00,9.99999999999992561506e-01,-9.99999999999994115818e-01,-1.05671960074559763143e+01>
		2, { 77,89,103 }
		1, { 77,101 }
		2, { 77,101,136 }
		1, { 77,103 }
		2, { 77,103,137 }
		1, { 77,136 }
		2, { 77,136,137 }
		1, { 77,137 }
		1, { 78,82 }
		2, { 78,82,138 }
		3, { 78,82,138,142 }, <1.67388912103267023085e-15,6.30740828215209023904e-16,-1,7.52037141333518489503e-16,-4.40956595483038160666e+00>
		2, { 78,82,142 }
		1, { 78,90 }
		2, { 78,90,104 }
		3, { 78,90,104,109,138,142,148,152,164,172,185,192 }, <1,-1.00000000000000377476e+00,-2.23606797749979735457e+00,1.00000000000000133227e+00,-1.05671960074560775666e+01>
		2, { 78,90,109 }
		1, { 78,104 }
		2, { 78,104,138 }
		1, { 78,109 }
		2, { 78,109,142 }
		1, { 78,138 }
		2, { 78,138,142 }
		1, { 78,142 }
		1, { 79,84 }
		2, { 79,84,140 }
		3, { 79,84,140,143 }, <4.36666727225921254793e-15,-0,-8.24814929204517973929e-16,1,-4.40956595483038338301e+00>
		2, { 79,84,143 }
		1, { 79,91 }
		2, { 79,91,106 }
		3, { 79,91,106,111,140,143,149,152,166,173,187,193 }, <1,-9.99999999999984900967e-01,-9.99999999999988342658e-01,2.23606797749975294565e+00,-1.05671960074558803910e+01>
		2, { 79,91,111 }
		1, { 79,106 }
		2, { 79,106,140 }
		1, { 79,111 }
		2, { 79,111,143 }
		1, { 79,140 }
		2, { 79,140,143 }
		1, { 79,143 }
		1, { 80,83 }
		2, { 80,83,139 }
		3, { 80,83,139,144 }, <1.45555575741971161505e-15,6.30740828215208333650e-16,4.85185252473237172146e-16,-1,-4.40956595483038249483e+00>
		2, { 80,83,144 }
		1, { 80,92 }
		2, { 80,92,105 }
		3, { 80,92,105,112,139,144,150,153,165,174,186,194 }, <1,-1.00000000000000821565e+00,1.00000000000000555112e+00,-2.23606797749980579226e+00,-1.05671960074561166465e+01>
		2, { 80,92,112 }
		1, { 80,105 }
		2, { 80,105,139 }
		1, { 80,112 }
		2, { 80,112,144 }
		1, { 80,139 }
		2, { 80,139,144 }
		1, { 80,144 }
		1, { 81,85 }
		2, { 81,85,141 }
		3, { 81,85,141,145 }, <3.46907455518368365110e-15,7.27777878709863696132e-17,1,-4.85185252473242496957e-16,-4.40956595483038249483e+00>
		2, { 81,85,145 }
		1, { 81,93 }
		2, { 81,93,107 }
		3, { 81,93,107,114,141,145,151,153,167,175,188,195 }, <1,-9.99999999999994781952e-01,2.23606797749977292966e+00,-9.99999999999996891376e-01,-1.05671960074559745379e+01>
		2, { 81,93,114 }
		1, { 81,107 }
		2, { 81,107,141 }
		1, { 81,114 }
		2, { 81,114,145 }
		1, { 81,141 }
		2, { 81,141,145 }
		1, { 81,145 }
		1, { 82,94 }
		2, { 82,94,108 }
		3, { 82,94,108,116,138,142,154,156,168,176,185,196 }, <1,9.99999999999988675725e-01,-2.23606797749976982104e+00,-9.99999999999990230037e-01,-1.05671960074559443399e+01>
		2, { 82,94,116 }
		1, { 82,108 }
		2, { 82,108,138 }
		1, { 82,116 }
		2, { 82,116,142 }
		1, { 82,138 }
		2, { 82,138,142 }
		1, { 82,142 }
		1, { 83,95 }
		2, { 83,95,110 }
		3, { 83,95,110,117,139,144,154,157,169,178,186,197 }, <1,9.99999999999989008792e-01,-9.99999999999991895372e-01,-2.23606797749977026513e+00,-1.05671960074559478926e+01>
		2, { 83,95,117 }
		1, { 83,110 }
		2, { 83,110,139 }
		1, { 83,117 }
		2, { 83,117,144 }
		1, { 83,139 }
		2, { 83,139,144 }
		1, { 83,144 }
		1, { 84,96 }
		2, { 84,96,113 }
		3, { 84,96,113,118,140,143,155,158,170,177,187,198 }, <1,9.99999999999970690112e-01,9.99999999999970801134e-01,2.23606797749973162936e+00,-1.05671960074557613751e+01>
		2, { 84,96,118 }
		1, { 84,113 }
		2, { 84,113,140 }
		1, { 84,118 }
		2, { 84,118,143 }
		1, { 84,140 }
		2, { 84,140,143 }
		1, { 84,143 }
		1, { 85,97 }
		2, { 85,97,115 }
		3, { 85,97,115,119,141,145,155,159,171,179,188,199 }, <1,9.99999999999968025577e-01,2.23606797749972585621e+00,9.99999999999968358644e-01,-1.05671960074557329534e+01>
		2, { 85,97,119 }
		1, { 85,115 }
		2, { 85,115,141 }
		1, { 85,119 }
		2, { 85,119,145 }
		1, { 85,141 }
		2, { 85,141,145 }
		1, { 85,145 }
		1, { 86,87 }
		2, { 86,87,146 }
		3, { 86,87,146,147 }, <4.48796358537752576062e-15,1,9.94629767570154381213e-16,-2.01351879776397085276e-15,-4.40956595483038515937e+00>
		2, { 86,87,147 }
		1, { 86,98 }
		2, { 86,98,120 }
		3, { 86,98,120,121,146,147,156,157,180,182,189,200 }, <1,2.23606797749975161338e+00,-9.99999999999984456878e-01,-9.99999999999984678922e-01,-1.05671960074558679565e+01>
		2, { 86,98,121 }
		1, { 86,120 }
		2, { 86,120,146 }
		1, { 86,121 }
		2, { 86,121,147 }
		1, { 86,146 }
		2, { 86,146,147 }
		1, { 86,147 }
		1, { 87,99 }
		2, { 87,99,122 }
		3, { 87,99,122,123,146,147,158,159,181,183,189,201 }, <1,2.23606797749972763256e+00,9.99999999999968580688e-01,9.99999999999968358644e-01,-1.05671960074557436116e+01>
		2, { 87,99,123 }
		1, { 87,122 }
		2, { 87,122,146 }
		1, { 87,123 }
		2, { 87,123,147 }
		1, { 87,146 }
		2, { 87,146,147 }
		1, { 87,147 }
		1, { 88,90 }
		2, { 88,90,91 }
		3, { 88,90,91,148,149,152 }, <1,-2.23606797749979158141e+00,-2.23606797749979380185e+00,2.23606797749979069323e+00,-1.51436872299975338052e+01>
		2, { 88,90,100,104 }
		3, { 88,90,100,104,148 }, <1,-4.23606797749980490408e+00,-4.23606797749980934498e+00,2.23606797749980001910e+00,-2.53770327020314674371e+01>
		2, { 88,90,148 }
		1, { 88,91 }
		2, { 88,91,102,106 }
		3, { 88,91,102,106,149 }, <1,-4.23606797749978358780e+00,-2.23606797749978891687e+00,4.23606797749978092327e+00,-2.53770327020313288813e+01>
		2, { 88,91,149 }
		1, { 88,100 }
		2, { 88,100,148 }
		1, { 88,102 }
		2, { 88,102,149 }
		1, { 88,148 }
		2, { 88,148,149 }
		1, { 88,149 }
		1, { 89,92 }
		2, { 89,92,93 }
		3, { 89,92,93,150,151,153 }, <1,-2.23606797749978758461e+00,2.23606797749978758461e+00,-2.23606797749978980505e+00,-1.51436872299975107126e+01>
		2, { 89,92,101,105 }
		3, { 89,92,101,105,150 }, <1,-4.23606797749980223955e+00,2.23606797749979824275e+00,-4.23606797749980668044e+00,-2.53770327020314532263e+01>
		2, { 89,92,150 }
		1, { 89,93 }
		2, { 89,93,103,107 }
		3, { 89,93,103,107,151 }, <1,-4.23606797749977825873e+00,4.23606797749977648238e+00,-2.23606797749978580825e+00,-2.53770327020313075650e+01>
		2, { 89,93,151 }
		1, { 89,101 }
		2, { 89,101,150 }
		1, { 89,103 }
		2, { 89,103,151 }
		1, { 89,150 }
		2, { 89,150,151 }
		1, { 89,151 }
		1, { 90,91 }
		2, { 90,91,109,111 }
		3, { 90,91,109,111,152 }, <1,-2.23606797749978136736e+00,-4.23606797749978181145e+00,4.23606797749977559420e+00,-2.53770327020313040123e+01>
		2, { 90,91,152 }
		1, { 90,104 }
		2, { 90,104,148 }
		1, { 90,109 }
		2, { 90,109,152 }
		1, { 90,148 }
		2, { 90,148,152 }
		1, { 90,152 }
		1, { 91,106 }
		2, { 91,106,149 }
		1, { 91,111 }
		2, { 91,111,152 }
		1, { 91,149 }
		2, { 91,149,152 }
		1, { 91,152 }
		1, { 92,93 }
		2, { 92,93,112,114 }
		3, { 92,93,112,114,153 }, <1,-2.23606797749976093925e+00,4.23606797749973829070e+00,-4.23606797749974450795e+00,-2.53770327020310872967e+01>
		2, { 92,93,153 }
		1, { 92,105 }
		2, { 92,105,150 }
		1, { 92,112 }
		2, { 92,112,153 }
		1, { 92,150 }
		2, { 92,150,153 }
		1, { 92,153 }
		1, { 93,107 }
		2, { 93,107,151 }
		1, { 93,114 }
		2, { 93,114,153 }
		1, { 93,151 }
		2, { 93,151,153 }
		1, { 93,153 }
		1, { 94,95 }
		2, { 94,95,98 }
		3, { 94,95,98,154,156,157 }, <1,2.23606797749976893286e+00,-2.23606797749977070922e+00,-2.23606797749976982104e+00,-1.51436872299973916967e+01>
		2, { 94,95,108,110 }
		3, { 94,95,108,110,154 }, <1,2.23606797749976493606e+00,-4.23606797749975250156e+00,-4.23606797749975161338e+00,-2.53770327020311476929e+01>
		2, { 94,95,154 }
		1, { 94,98 }
		2, { 94,98,116,120 }
		3, { 94,98,116,120,156 }, <1,4.23606797749974184342e+00,-4.23606797749974539613e+00,-2.23606797749976049516e+00,-2.53770327020311050603e+01>
		2, { 94,98,156 }
		1, { 94,108 }
		2, { 94,108,154 }
		1, { 94,116 }
		2, { 94,116,156 }
		1, { 94,154 }
		2, { 94,154,156 }
		1, { 94,156 }
		1, { 95,98 }
		2, { 95,98,117,121 }
		3, { 95,98,117,121,157 }, <1,4.23606797749974273160e+00,-2.23606797749976271561e+00,-4.23606797749974539613e+00,-2.53770327020311015076e+01>
		2, { 95,98,157 }
		1, { 95,110 }
		2, { 95,110,154 }
		1, { 95,117 }
		2, { 95,117,157 }
		1, { 95,154 }
		2, { 95,154,157 }
		1, { 95,157 }
		1, { 96,97 }
		2, { 96,97,99 }
		3, { 96,97,99,155,158,159 }, <1,2.23606797749976671241e+00,2.23606797749976715650e+00,2.23606797749976848877e+00,-1.51436872299973792622e+01>
		2, { 96,97,113,115 }
		3, { 96,97,113,115,155 }, <1,2.23606797749976715650e+00,4.23606797749975871881e+00,4.23606797749976049516e+00,-2.53770327020311903254e+01>
		2, { 96,97,155 }
		1, { 96,99 }
		2, { 96,99,118,122 }
		3, { 96,99,118,122,158 }, <1,4.23606797749975427791e+00,2.23606797749976493606e+00,4.23606797749975427791e+00,-2.53770327020311619037e+01>
		2, { 96,99,158 }
		1, { 96,113 }
		2, { 96,113,155 }
		1, { 96,118 }
		2, { 96,118,158 }
		1, { 96,155 }
		2, { 96,155,158 }
		1, { 96,158 }
		1, { 97,99 }
		2, { 97,99,119,123 }
		3, { 97,99,119,123,159 }, <1,4.23606797749974628431e+00,4.23606797749974628431e+00,2.23606797749976005107e+00,-2.53770327020311121657e+01>
		2, { 97,99,159 }
		1, { 97,115 }
		2, { 97,115,155 }
		1, { 97,119 }
		2, { 97,119,159 }
		1, { 97,155 }
		2, { 97,155,159 }
		1, { 97,159 }
		1, { 98,120 }
		2, { 98,120,156 }
		1, { 98,121 }
		2, { 98,121,157 }
		1, { 98,156 }
		2, { 98,156,157 }
		1, { 98,157 }
		1, { 99,122 }
		2, { 99,122,158 }
		1, { 99,123 }
		2, { 99,123,159 }
		1, { 99,158 }
		2, { 99,158,159 }
		1, { 99,159 }
		1, { 100,104 }
		2, { 100,104,124,126 }
		3, { 100,104,124,126,160,164 }, <1,-2.61803398874989579070e+00,-2.61803398874989845524e+00,-1,-1.56838687434729795456e+01>
		2, { 100,104,148 }
		3, { 100,104,148,160,164 }, <2.23606797749977737055e+00,-4.23606797749976848877e+00,-4.23606797749977204148e+00,1,-2.53770327020312507216e+01>
		2, { 100,104,160,164 }
		1, { 100,124 }
		2, { 100,124,136 }
		3, { 100,124,136,160 }, <1,-3.00000000000001110223e+00,-2.23606797749979602230e+00,-1.00000000000000377476e+00,-1.62240502569484732476e+01>
		2, { 100,124,160 }
		1, { 100,136 }
		2, { 100,136,160 }
		1, { 100,148 }
		2, { 100,148,160 }
		1, { 100,160 }
		1, { 101,105 }
		2, { 101,105,124,127 }
		3, { 101,105,124,127,161,165 }, <1,-2.61803398874988912937e+00,-9.99999999999999111822e-01,-2.61803398874989223799e+00,-1.56838687434729475711e+01>
		2, { 101,105,150 }
		3, { 101,105,150,161,165 }, <2.23606797749977914691e+00,-4.23606797749976671241e+00,1,-4.23606797749977026513e+00,-2.53770327020312436161e+01>
		2, { 101,105,161,165 }
		1, { 101,124 }
		2, { 101,124,136 }
		3, { 101,124,136,161 }, <1,-3.00000000000000577316e+00,-1.00000000000000310862e+00,-2.23606797749979158141e+00,-1.62240502569484483786e+01>
		2, { 101,124,161 }
		1, { 101,136 }
		2, { 101,136,161 }
		1, { 101,150 }
		2, { 101,150,161 }
		1, { 101,161 }
		1, { 102,106 }
		2, { 102,106,125,128 }
		3, { 102,106,125,128,162,166 }, <1,-2.61803398874989889933e+00,9.99999999999999666933e-01,2.61803398874989756706e+00,-1.56838687434729937564e+01>
		2, { 102,106,149 }
		3, { 102,106,149,162,166 }, <2.23606797749978403189e+00,-4.23606797749978003509e+00,-1,4.23606797749977648238e+00,-2.53770327020313075650e+01>
		2, { 102,106,162,166 }
		1, { 102,125 }
		2, { 102,125,137 }
		3, { 102,125,137,162 }, <1,-3.00000000000001598721e+00,1.00000000000000377476e+00,2.23606797749979646639e+00,-1.62240502569484945639e+01>
		2, { 102,125,162 }
		1, { 102,137 }
		2, { 102,137,162 }
		1, { 102,149 }
		2, { 102,149,162 }
		1, { 102,162 }
		1, { 103,107 }
		2, { 103,107,125,129 }
		3, { 103,107,125,129,163,167 }, <1,-2.61803398874989179390e+00,2.61803398874988824119e+00,9.99999999999998001599e-01,-1.56838687434729493475e+01>
		2, { 103,107,151 }
		3, { 103,107,151,163,167 }, <2.23606797749979246959e+00,-4.23606797749978891687e+00,4.23606797749978447598e+00,-1,-2.53770327020313608557e+01>
		2, { 103,107,163,167 }
		1, { 103,125 }
		2, { 103,125,137 }
		3, { 103,125,137,163 }, <1,-3.00000000000001021405e+00,2.23606797749979113732e+00,1.00000000000000266454e+00,-1.62240502569484625894e+01>
		2, { 103,125,163 }
		1, { 103,137 }
		2, { 103,137,163 }
		1, { 103,151 }
		2, { 103,151,163 }
		1, { 103,163 }
		1, { 104,126 }
		2, { 104,126,138 }
		3, { 104,126,138,164 }, <1,-2.23606797749978802869e+00,-3.00000000000000177636e+00,-9.99999999999998112621e-01,-1.62240502569484270623e+01>
		2, { 104,126,164 }
		1, { 104,138 }
		2, { 104,138,164 }
		1, { 104,148 }
		2, { 104,148,164 }
		1, { 104,164 }
		1, { 105,127 }
		2, { 105,127,139 }
		3, { 105,127,139,165 }, <1,-2.23606797749978092327e+00,-9.99999999999995670130e-01,-2.99999999999999067413e+00,-1.62240502569483773243e+01>
		2, { 105,127,165 }
		1, { 105,139 }
		2, { 105,139,165 }
		1, { 105,150 }
		2, { 105,150,165 }
		1, { 105,165 }
		1, { 106,128 }
		2, { 106,128,140 }
		3, { 106,128,140,166 }, <1,-2.23606797749978447598e+00,9.99999999999993782751e-01,2.99999999999998978595e+00,-1.62240502569483773243e+01>
		2, { 106,128,166 }
		1, { 106,140 }
		2, { 106,140,166 }
		1, { 106,149 }
		2, { 106,149,166 }
		1, { 106,166 }
		1, { 107,129 }
		2, { 107,129,141 }
		3, { 107,129,141,167 }, <1,-2.23606797749977870282e+00,2.99999999999998179234e+00,9.99999999999993449684e-01,-1.62240502569483417972e+01>
		2, { 107,129,167 }
		1, { 107,141 }
		2, { 107,141,167 }
		1, { 107,151 }
		2, { 107,151,167 }
		1, { 107,167 }
		1, { 108,110 }
		2, { 108,110,126,127 }
		3, { 108,110,126,127,168,169 }, <1,-1.00000000000000111022e+00,-2.61803398874989978751e+00,-2.61803398874989845524e+00,-1.56838687434729937564e+01>
		2, { 108,110,154 }
		3, { 108,110,154,168,169 }, <2.23606797749978714052e+00,1,-4.23606797749978891687e+00,-4.23606797749978714052e+00,-2.53770327020313644084e+01>
		2, { 108,110,168,169 }
		1, { 108,126 }
		2, { 108,126,138 }
		3, { 108,126,138,168 }, <1,-9.99999999999996891376e-01,-2.99999999999999555911e+00,-2.23606797749978714052e+00,-1.62240502569484057460e+01>
		2, { 108,126,168 }
		1, { 108,138 }
		2, { 108,138,168 }
		1, { 108,154 }
		2, { 108,154,168 }
		1, { 108,168 }
		1, { 109,111 }
		2, { 109,111,130,131 }
		3, { 109,111,130,131,172,173 }, <1,9.99999999999996780353e-01,-2.61803398874989223799e+00,2.61803398874988735301e+00,-1.56838687434729493475e+01>
		2, { 109,111,152 }
		3, { 109,111,152,172,173 }, <2.23606797749978403189e+00,-1,-4.23606797749978447598e+00,4.23606797749977737055e+00,-2.53770327020313253286e+01>
		2, { 109,111,172,173 }
		1, { 109,130 }
		2, { 109,130,142 }
		3, { 109,130,142,172 }, <1,9.99999999999990119015e-01,-2.99999999999997735145e+00,2.23606797749977692646e+00,-1.62240502569483204809e+01>
		2, { 109,130,172 }
		1, { 109,142 }
		2, { 109,142,172 }
		1, { 109,152 }
		2, { 109,152,172 }
		1, { 109,172 }
		1, { 110,127 }
		2, { 110,127,139 }
		3, { 110,127,139,169 }, <1,-9.99999999999997113420e-01,-2.23606797749978936096e+00,-2.99999999999999511502e+00,-1.62240502569484092987e+01>
		2, { 110,127,169 }
		1, { 110,139 }
		2, { 110,139,169 }
		1, { 110,154 }
		2, { 110,154,169 }
		1, { 110,169 }
		1, { 111,131 }
		2, { 111,131,143 }
		3, { 111,131,143,173 }, <1,9.99999999999990230037e-01,-2.23606797749977914691e+00,2.99999999999996935784e+00,-1.62240502569483062700e+01>
		2, { 111,131,173 }
		1, { 111,143 }
		2, { 111,143,173 }
		1, { 111,152 }
		2, { 111,152,173 }
		1, { 111,173 }
		1, { 112,114 }
		2, { 112,114,132,133 }
		3, { 112,114,132,133,174,175 }, <1,9.99999999999995448086e-01,2.61803398874988779710e+00,-2.61803398874989312617e+00,-1.56838687434729511239e+01>
		2, { 112,114,153 }
		3, { 112,114,153,174,175 }, <2.23606797749978714052e+00,-1,4.23606797749977737055e+00,-4.23606797749978447598e+00,-2.53770327020313288813e+01>
		2, { 112,114,174,175 }
		1, { 112,132 }
		2, { 112,132,144 }
		3, { 112,132,144,174 }, <1,9.99999999999990896171e-01,2.23606797749978003509e+00,-2.99999999999998134825e+00,-1.62240502569483417972e+01>
		2, { 112,132,174 }
		1, { 112,144 }
		2, { 112,144,174 }
		1, { 112,153 }
		2, { 112,153,174 }
		1, { 112,174 }
		1, { 113,115 }
		2, { 113,115,128,129 }
		3, { 113,115,128,129,170,171 }, <1,-1,2.61803398874988513256e+00,2.61803398874988602074e+00,-1.56838687434729244785e+01>
		2, { 113,115,155 }
		3, { 113,115,155,170,171 }, <2.23606797749978980505e+00,1,4.23606797749978181145e+00,4.23606797749978447598e+00,-2.53770327020313430921e+01>
		2, { 113,115,170,171 }
		1, { 113,128 }
		2, { 113,128,140 }
		3, { 113,128,140,170 }, <1,-9.99999999999997335465e-01,2.23606797749977825873e+00,2.99999999999998712141e+00,-1.62240502569483595607e+01>
		2, { 113,128,170 }
		1, { 113,140 }
		2, { 113,140,170 }
		1, { 113,155 }
		2, { 113,155,170 }
		1, { 113,170 }
		1, { 114,133 }
		2, { 114,133,145 }
		3, { 114,133,145,175 }, <1,9.99999999999992228439e-01,2.99999999999997823963e+00,-2.23606797749978358780e+00,-1.62240502569483382445e+01>
		2, { 114,133,175 }
		1, { 114,145 }
		2, { 114,145,175 }
		1, { 114,153 }
		2, { 114,153,175 }
		1, { 114,175 }
		1, { 115,129 }
		2, { 115,129,141 }
		3, { 115,129,141,171 }, <1,-9.99999999999999000799e-01,2.99999999999999067413e+00,2.23606797749978181145e+00,-1.62240502569483773243e+01>
		2, { 115,129,171 }
		1, { 115,141 }
		2, { 115,141,171 }
		1, { 115,155 }
		2, { 115,155,171 }
		1, { 115,171 }
		1, { 116,120 }
		2, { 116,120,130,134 }
		3, { 116,120,130,134,176,180 }, <1,2.61803398874988912937e+00,-2.61803398874989268208e+00,9.99999999999998001599e-01,-1.56838687434729529002e+01>
		2, { 116,120,156 }
		3, { 116,120,156,176,180 }, <2.23606797749979158141e+00,4.23606797749978181145e+00,-4.23606797749978714052e+00,-1,-2.53770327020313537503e+01>
		2, { 116,120,176,180 }
		1, { 116,130 }
		2, { 116,130,142 }
		3, { 116,130,142,176 }, <1,2.23606797749977559420e+00,-2.99999999999997468692e+00,9.99999999999990896171e-01,-1.62240502569483133755e+01>
		2, { 116,130,176 }
		1, { 116,142 }
		2, { 116,142,176 }
		1, { 116,156 }
		2, { 116,156,176 }
		1, { 116,176 }
		1, { 117,121 }
		2, { 117,121,132,135 }
		3, { 117,121,132,135,178,182 }, <1,2.61803398874988957346e+00,9.99999999999996114219e-01,-2.61803398874989134981e+00,-1.56838687434729475711e+01>
		2, { 117,121,157 }
		3, { 117,121,157,178,182 }, <2.23606797749977737055e+00,4.23606797749975783063e+00,-1,-4.23606797749976227152e+00,-2.53770327020312009836e+01>
		2, { 117,121,178,182 }
		1, { 117,132 }
		2, { 117,132,144 }
		3, { 117,132,144,178 }, <1,2.23606797749977781464e+00,9.99999999999992006394e-01,-2.99999999999998046007e+00,-1.62240502569483382445e+01>
		2, { 117,132,178 }
		1, { 117,144 }
		2, { 117,144,178 }
		1, { 117,157 }
		2, { 117,157,178 }
		1, { 117,178 }
		1, { 118,122 }
		2, { 118,122,131,134 }
		3, { 118,122,131,134,177,181 }, <1,2.61803398874987980349e+00,-9.99999999999999666933e-01,2.61803398874987980349e+00,-1.56838687434728942804e+01>
		2, { 118,122,158 }
		3, { 118,122,158,177,181 }, <2.23606797749978625234e+00,4.23606797749977026513e+00,1,4.23606797749977026513e+00,-2.53770327020312684851e+01>
		2, { 118,122,177,181 }
		1, { 118,131 }
		2, { 118,131,143 }
		3, { 118,131,143,177 }, <1,2.23606797749977515011e+00,-9.99999999999997002398e-01,2.99999999999997601918e+00,-1.62240502569483169282e+01>
		2, { 118,131,177 }
		1, { 118,143 }
		2, { 118,143,177 }
		1, { 118,158 }
		2, { 118,158,177 }
		1, { 118,177 }
		1, { 119,123 }
		2, { 119,123,133,135 }
		3, { 119,123,133,135,179,183 }, <1,2.61803398874988602074e+00,2.61803398874988513256e+00,-9.99999999999999888978e-01,-1.56838687434729280312e+01>
		2, { 119,123,159 }
		3, { 119,123,159,179,183 }, <2.23606797749978003509e+00,4.23606797749976049516e+00,4.23606797749976049516e+00,1,-2.53770327020312045363e+01>
		2, { 119,123,179,183 }
		1, { 119,133 }
		2, { 119,133,145 }
		3, { 119,133,145,179 }, <1,2.23606797749977959100e+00,2.99999999999998534506e+00,-9.99999999999999000799e-01,-1.62240502569483595607e+01>
		2, { 119,133,179 }
		1, { 119,145 }
		2, { 119,145,179 }
		1, { 119,159 }
		2, { 119,159,179 }
		1, { 119,179 }
		1, { 120,134 }
		2, { 120,134,146 }
		3, { 120,134,146,180 }, <1,2.99999999999995914379e+00,-2.23606797749977159739e+00,9.99999999999985234034e-01,-1.62240502569482529793e+01>
		2, { 120,134,180 }
		1, { 120,146 }
		2, { 120,146,180 }
		1, { 120,156 }
		2, { 120,156,180 }
		1, { 120,180 }
		1, { 121,135 }
		2, { 121,135,147 }
		3, { 121,135,147,182 }, <1,2.99999999999997246647e+00,9.99999999999987454480e-01,-2.23606797749977470602e+00,-1.62240502569483027173e+01>
		2, { 121,135,182 }
		1, { 121,147 }
		2, { 121,147,182 }
		1, { 121,157 }
		2, { 121,157,182 }
		1, { 121,182 }
		1, { 122,134 }
		2, { 122,134,146 }
		3, { 122,134,146,181 }, <1,2.99999999999996402877e+00,-9.99999999999991118216e-01,2.23606797749976671241e+00,-1.62240502569482600848e+01>
		2, { 122,134,181 }
		1, { 122,146 }
		2, { 122,146,181 }
		1, { 122,158 }
		2, { 122,158,181 }
		1, { 122,181 }
		1, { 123,135 }
		2, { 123,135,147 }
		3, { 123,135,147,183 }, <1,2.99999999999997424283e+00,2.23606797749977115330e+00,-9.99999999999991562305e-01,-1.62240502569483027173e+01>
		2, { 123,135,183 }
		1, { 123,147 }
		2, { 123,147,183 }
		1, { 123,159 }
		2, { 123,159,183 }
		1, { 123,183 }
		1, { 124,126 }
		2, { 124,126,127 }
		3, { 124,126,127,160,161,164,165,168,169,202,203,206 }, <1,-1.00000000000000111022e+00,-1.00000000000000199840e+00,-1.00000000000000111022e+00,-7.40491834728767273077e+00>
		2, { 124,126,160,164 }
		1, { 124,127 }
		2, { 124,127,161,165 }
		1, { 124,136 }
		2, { 124,136,160 }
		3, { 124,136,160,161 }, <1,-1.76393202250021152722e+00,-1.00000000000000111022e+00,-9.99999999999999222844e-01,-9.89949493661166712855e+00>
		2, { 124,136,161 }
		1, { 124,160 }
		2, { 124,160,161 }
		1, { 124,161 }
		1, { 125,128 }
		2, { 125,128,129 }
		3, { 125,128,129,162,163,166,167,170,171,204,205,207 }, <1,-9.99999999999999111822e-01,9.99999999999997002398e-01,9.99999999999998001599e-01,-7.40491834728765674356e+00>
		2, { 125,128,162,166 }
		1, { 125,129 }
		2, { 125,129,163,167 }
		1, { 125,137 }
		2, { 125,137,162 }
		3, { 125,137,162,163 }, <1,-1.76393202250021330357e+00,1.00000000000000044409e+00,9.99999999999998778755e-01,-9.89949493661167423397e+00>
		2, { 125,137,163 }
		1, { 125,162 }
		2, { 125,162,163 }
		1, { 125,163 }
		1, { 126,127 }
		2, { 126,127,168,169 }
		1, { 126,138 }
		2, { 126,138,164 }
		3, { 126,138,164,168 }, <1,-9.99999999999999000799e-01,-1.76393202250021152722e+00,-1.00000000000000022204e+00,-9.89949493661166712855e+00>
		2, { 126,138,168 }
		1, { 126,164 }
		2, { 126,164,168 }
		1, { 126,168 }
		1, { 127,139 }
		2, { 127,139,165 }
		3, { 127,139,165,169 }, <1,-9.99999999999998445688e-01,-9.99999999999999777955e-01,-1.76393202250020908473e+00,-9.89949493661166002312e+00>
		2, { 127,139,169 }
		1, { 127,165 }
		2, { 127,165,169 }
		1, { 127,169 }
		1, { 128,129 }
		2, { 128,129,170,171 }
		1, { 128,140 }
		2, { 128,140,166 }
		3, { 128,140,166,170 }, <1,-9.99999999999997890576e-01,9.99999999999995003996e-01,1.76393202250020375565e+00,-9.89949493661163515412e+00>
		2, { 128,140,170 }
		1, { 128,166 }
		2, { 128,166,170 }
		1, { 128,170 }
		1, { 129,141 }
		2, { 129,141,167 }
		3, { 129,141,167,171 }, <1,-9.99999999999997668532e-01,1.76393202250020220134e+00,9.99999999999995115019e-01,-9.89949493661162982505e+00>
		2, { 129,141,171 }
		1, { 129,167 }
		2, { 129,167,171 }
		1, { 129,171 }
		1, { 130,131 }
		2, { 130,131,134 }
		3, { 130,131,134,172,173,176,177,180,181,208,210,211 }, <1,9.99999999999995670130e-01,-9.99999999999998334665e-01,9.99999999999995670130e-01,-7.40491834728764963813e+00>
		2, { 130,131,172,173 }
		1, { 130,134 }
		2, { 130,134,176,180 }
		1, { 130,142 }
		2, { 130,142,172 }
		3, { 130,142,172,176 }, <1,9.99999999999995448086e-01,-1.76393202250020264543e+00,9.99999999999995448086e-01,-9.89949493661162982505e+00>
		2, { 130,142,176 }
		1, { 130,172 }
		2, { 130,172,176 }
		1, { 130,176 }
		1, { 131,134 }
		2, { 131,134,177,181 }
		1, { 131,143 }
		2, { 131,143,173 }
		3, { 131,143,173,177 }, <1,9.99999999999991895372e-01,-9.99999999999994226840e-01,1.76393202250019243138e+00,-9.89949493661158896884e+00>
		2, { 131,143,177 }
		1, { 131,173 }
		2, { 131,173,177 }
		1, { 131,177 }
		1, { 132,133 }
		2, { 132,133,135 }
		3, { 132,133,135,174,175,178,179,182,183,209,212,213 }, <1,9.99999999999997668532e-01,9.99999999999996891376e-01,-9.99999999999999000799e-01,-7.40491834728765585538e+00>
		2, { 132,133,174,175 }
		1, { 132,135 }
		2, { 132,135,178,182 }
		1, { 132,144 }
		2, { 132,144,174 }
		3, { 132,144,174,178 }, <1,9.99999999999994781952e-01,9.99999999999994670929e-01,-1.76393202250020175725e+00,-9.89949493661162449598e+00>
		2, { 132,144,178 }
		1, { 132,174 }
		2, { 132,174,178 }
		1, { 132,178 }
		1, { 133,135 }
		2, { 133,135,179,183 }
		1, { 133,145 }
		2, { 133,145,175 }
		3, { 133,145,175,179 }, <1,9.99999999999992561506e-01,1.76393202250019687227e+00,-9.99999999999996336264e-01,-9.89949493661160495606e+00>
		2, { 133,145,179 }
		1, { 133,175 }
		2, { 133,175,179 }
		1, { 133,179 }
		1, { 134,146 }
		2, { 134,146,180 }
		3, { 134,146,180,181 }, <1,1.76393202250019465183e+00,-9.99999999999993116617e-01,9.99999999999994004796e-01,-9.89949493661159962699e+00>
		2, { 134,146,181 }
		1, { 134,180 }
		2, { 134,180,181 }
		1, { 134,181 }
		1, { 135,147 }
		2, { 135,147,182 }
		3, { 135,147,182,183 }, <1,1.76393202250019998090e+00,9.99999999999994337863e-01,-9.99999999999994115818e-01,-9.89949493661161739055e+00>
		2, { 135,147,183 }
		1, { 135,182 }
		2, { 135,182,183 }
		1, { 135,183 }
		1, { 136,137 }
		2, { 136,137,184 }
		1, { 136,160 }
		2, { 136,160,161 }
		3, { 136,160,161,184 }, <2.23606797749977959100e+00,-2.99999999999999200639e+00,-1,-9.99999999999996114219e-01,-1.62240502569483702189e+01>
		2, { 136,160,184 }
		1, { 136,161 }
		2, { 136,161,184 }
		1, { 136,184 }
		1, { 137,162 }
		2, { 137,162,163 }
		3, { 137,162,163,184 }, <2.23606797749979113732e+00,-3.00000000000000843769e+00,1,1.00000000000000044409e+00,-1.62240502569484590367e+01>
		2, { 137,162,184 }
		1, { 137,163 }
		2, { 137,163,184 }
		1, { 137,184 }
		1, { 138,142 }
		2, { 138,142,185 }
		1, { 138,164 }
		2, { 138,164,168 }
		3, { 138,164,168,185 }, <2.23606797749978714052e+00,-1,-3.00000000000000310862e+00,-1.00000000000000177636e+00,-1.62240502569484306150e+01>
		2, { 138,164,185 }
		1, { 138,168 }
		2, { 138,168,185 }
		1, { 138,185 }
		1, { 139,144 }
		2, { 139,144,186 }
		1, { 139,165 }
		2, { 139,165,169 }
		3, { 139,165,169,186 }, <2.23606797749979335777e+00,-1,-1.00000000000000222045e+00,-3.00000000000000799361e+00,-1.62240502569484625894e+01>
		2, { 139,165,186 }
		1, { 139,169 }
		2, { 139,169,186 }
		1, { 139,186 }
		1, { 140,143 }
		2, { 140,143,187 }
		1, { 140,166 }
		2, { 140,166,170 }
		3, { 140,166,170,187 }, <2.23606797749978047918e+00,-1,9.99999999999993560706e-01,2.99999999999998623323e+00,-1.62240502569483524553e+01>
		2, { 140,166,187 }
		1, { 140,170 }
		2, { 140,170,187 }
		1, { 140,187 }
		1, { 141,145 }
		2, { 141,145,188 }
		1, { 141,167 }
		2, { 141,167,171 }
		3, { 141,167,171,188 }, <2.23606797749978580825e+00,-1,2.99999999999999245048e+00,9.99999999999996669331e-01,-1.62240502569483879824e+01>
		2, { 141,167,188 }
		1, { 141,171 }
		2, { 141,171,188 }
		1, { 141,188 }
		1, { 142,172 }
		2, { 142,172,176 }
		3, { 142,172,176,185 }, <2.23606797749979246959e+00,1,-3.00000000000000310862e+00,9.99999999999999444888e-01,-1.62240502569484412732e+01>
		2, { 142,172,185 }
		1, { 142,176 }
		2, { 142,176,185 }
		1, { 142,185 }
		1, { 143,173 }
		2, { 143,173,177 }
		3, { 143,173,177,187 }, <2.23606797749979602230e+00,1,-1.00000000000000599520e+00,2.99999999999999689138e+00,-1.62240502569484235096e+01>
		2, { 143,173,187 }
		1, { 143,177 }
		2, { 143,177,187 }
		1, { 143,187 }
		1, { 144,174 }
		2, { 144,174,178 }
		3, { 144,174,178,186 }, <2.23606797749979469003e+00,1,9.99999999999998889777e-01,-3.00000000000000532907e+00,-1.62240502569484554840e+01>
		2, { 144,174,186 }
		1, { 144,178 }
		2, { 144,178,186 }
		1, { 144,186 }
		1, { 145,175 }
		2, { 145,175,179 }
		3, { 145,175,179,188 }, <2.23606797749979202550e+00,1,2.99999999999999689138e+00,-1.00000000000000466294e+00,-1.62240502569484164042e+01>
		2, { 145,175,188 }
		1, { 145,179 }
		2, { 145,179,188 }
		1, { 145,188 }
		1, { 146,147 }
		2, { 146,147,189 }
		1, { 146,180 }
		2, { 146,180,181 }
		3, { 146,180,181,189 }, <2.23606797749978847278e+00,2.99999999999999333866e+00,-1,9.99999999999998889777e-01,-1.62240502569483986406e+01>
		2, { 146,180,189 }
		1, { 146,181 }
		2, { 146,181,189 }
		1, { 146,189 }
		1, { 147,182 }
		2, { 147,182,183 }
		3, { 147,182,183,189 }, <2.23606797749978847278e+00,2.99999999999999955591e+00,1,-1.00000000000000199840e+00,-1.62240502569484199569e+01>
		2, { 147,182,189 }
		1, { 147,183 }
		2, { 147,183,189 }
		1, { 147,189 }
		1, { 148,149 }
		2, { 148,149,152 }
		3, { 148,149,152,190,192,193 }, <1,-9.99999999999999333866e-01,-1.00000000000000022204e+00,9.99999999999998778755e-01,-7.40491834728766118445e+00>
		2, { 148,149,190 }
		1, { 148,152 }
		2, { 148,152,192 }
		1, { 148,160 }
		2, { 148,160,164 }
		3, { 148,160,164,190,192,202 }, <2.23606797749978447598e+00,-2.23606797749978447598e+00,-2.23606797749978669643e+00,1,-1.51436872299974893963e+01>
		2, { 148,160,190 }
		1, { 148,164 }
		2, { 148,164,192 }
		1, { 148,190 }
		2, { 148,190,192 }
		1, { 148,192 }
		1, { 149,152 }
		2, { 149,152,193 }
		1, { 149,162 }
		2, { 149,162,166 }
		3, { 149,162,166,190,193,204 }, <2.23606797749978447598e+00,-2.23606797749978536416e+00,-1,2.23606797749978403189e+00,-1.51436872299974876199e+01>
		2, { 149,162,190 }
		1, { 149,166 }
		2, { 149,166,193 }
		1, { 149,190 }
		2, { 149,190,193 }
		1, { 149,193 }
		1, { 150,151 }
		2, { 150,151,153 }
		3, { 150,151,153,191,194,195 }, <1,-9.99999999999998445688e-01,9.99999999999998445688e-01,-9.99999999999999666933e-01,-7.40491834728765851992e+00>
		2, { 150,151,191 }
		1, { 150,153 }
		2, { 150,153,194 }
		1, { 150,161 }
		2, { 150,161,165 }
		3, { 150,161,165,191,194,203 }, <2.23606797749978625234e+00,-2.23606797749978536416e+00,1,-2.23606797749978758461e+00,-1.51436872299974929490e+01>
		2, { 150,161,191 }
		1, { 150,165 }
		2, { 150,165,194 }
		1, { 150,191 }
		2, { 150,191,194 }
		1, { 150,194 }
		1, { 151,153 }
		2, { 151,153,195 }
		1, { 151,163 }
		2, { 151,163,167 }
		3, { 151,163,167,191,195,205 }, <2.23606797749978936096e+00,-2.23606797749978980505e+00,2.23606797749978758461e+00,-1,-1.51436872299975142653e+01>
		2, { 151,163,191 }
		1, { 151,167 }
		2, { 151,167,195 }
		1, { 151,191 }
		2, { 151,191,195 }
		1, { 151,195 }
		1, { 152,172 }
		2, { 152,172,173 }
		3, { 152,172,173,192,193,208 }, <2.23606797749978669643e+00,-1,-2.23606797749978891687e+00,2.23606797749978492007e+00,-1.51436872299975018308e+01>
		2, { 152,172,192 }
		1, { 152,173 }
		2, { 152,173,193 }
		1, { 152,192 }
		2, { 152,192,193 }
		1, { 152,193 }
		1, { 153,174 }
		2, { 153,174,175 }
		3, { 153,174,175,194,195,209 }, <2.23606797749978847278e+00,-1,2.23606797749978714052e+00,-2.23606797749979069323e+00,-1.51436872299975124889e+01>
		2, { 153,174,194 }
		1, { 153,175 }
		2, { 153,175,195 }
		1, { 153,194 }
		2, { 153,194,195 }
		1, { 153,195 }
		1, { 154,156 }
		2, { 154,156,157 }
		3, { 154,156,157,196,197,200 }, <1,1.00000000000000066613e+00,-1.00000000000000133227e+00,-1.00000000000000111022e+00,-7.40491834728766917806e+00>
		2, { 154,156,196 }
		1, { 154,157 }
		2, { 154,157,197 }
		1, { 154,168 }
		2, { 154,168,169 }
		3, { 154,168,169,196,197,206 }, <2.23606797749978536416e+00,1,-2.23606797749978625234e+00,-2.23606797749978536416e+00,-1.51436872299974929490e+01>
		2, { 154,168,196 }
		1, { 154,169 }
		2, { 154,169,197 }
		1, { 154,196 }
		2, { 154,196,197 }
		1, { 154,197 }
		1, { 155,158 }
		2, { 155,158,159 }
		3, { 155,158,159,198,199,201 }, <1,9.99999999999999666933e-01,9.99999999999999666933e-01,1.00000000000000022204e+00,-7.40491834728766384899e+00>
		2, { 155,158,198 }
		1, { 155,159 }
		2, { 155,159,199 }
		1, { 155,170 }
		2, { 155,170,171 }
		3, { 155,170,171,198,199,207 }, <2.23606797749978936096e+00,1,2.23606797749978802869e+00,2.23606797749978980505e+00,-1.51436872299975160416e+01>
		2, { 155,170,198 }
		1, { 155,171 }
		2, { 155,171,199 }
		1, { 155,198 }
		2, { 155,198,199 }
		1, { 155,199 }
		1, { 156,157 }
		2, { 156,157,200 }
		1, { 156,176 }
		2, { 156,176,180 }
		3, { 156,176,180,196,200,210 }, <2.23606797749978625234e+00,2.23606797749978536416e+00,-2.23606797749978802869e+00,-1,-1.51436872299974982781e+01>
		2, { 156,176,196 }
		1, { 156,180 }
		2, { 156,180,200 }
		1, { 156,196 }
		2, { 156,196,200 }
		1, { 156,200 }
		1, { 157,178 }
		2, { 157,178,182 }
		3, { 157,178,182,197,200,212 }, <2.23606797749978047918e+00,2.23606797749978269962e+00,-1,-2.23606797749978447598e+00,-1.51436872299974734091e+01>
		2, { 157,178,197 }
		1, { 157,182 }
		2, { 157,182,200 }
		1, { 157,197 }
		2, { 157,197,200 }
		1, { 157,200 }
		1, { 158,159 }
		2, { 158,159,201 }
		1, { 158,177 }
		2, { 158,177,181 }
		3, { 158,177,181,198,201,211 }, <2.23606797749978802869e+00,2.23606797749978802869e+00,1,2.23606797749978847278e+00,-1.51436872299975071599e+01>
		2, { 158,177,198 }
		1, { 158,181 }
		2, { 158,181,201 }
		1, { 158,198 }
		2, { 158,198,201 }
		1, { 158,201 }
		1, { 159,179 }
		2, { 159,179,183 }
		3, { 159,179,183,199,201,213 }, <2.23606797749978447598e+00,2.23606797749978625234e+00,2.23606797749978625234e+00,1,-1.51436872299974911726e+01>
		2, { 159,179,199 }
		1, { 159,183 }
		2, { 159,183,201 }
		1, { 159,199 }
		2, { 159,199,201 }
		1, { 159,201 }
		1, { 160,161 }
		2, { 160,161,184 }
		3, { 160,161,184,202,203,214 }, <2.61803398874988513256e+00,-2.61803398874989046163e+00,-1,-9.99999999999996558309e-01,-1.56838687434729298076e+01>
		2, { 160,161,202,203 }
		1, { 160,164 }
		2, { 160,164,202 }
		1, { 160,184 }
		2, { 160,184,190 }
		3, { 160,184,190,202,214 }, <4.23606797749974361977e+00,-4.23606797749975783063e+00,-2.23606797749977248557e+00,1,-2.53770327020311334820e+01>
		2, { 160,184,202,214 }
		1, { 160,190 }
		2, { 160,190,202 }
		1, { 160,202 }
		1, { 161,165 }
		2, { 161,165,203 }
		1, { 161,184 }
		2, { 161,184,191 }
		3, { 161,184,191,203,214 }, <4.23606797749973296163e+00,-4.23606797749974806067e+00,1,-2.23606797749976360379e+00,-2.53770327020310624277e+01>
		2, { 161,184,203,214 }
		1, { 161,191 }
		2, { 161,191,203 }
		1, { 161,203 }
		1, { 162,163 }
		2, { 162,163,184 }
		3, { 162,163,184,204,205,214 }, <2.61803398874990156386e+00,-2.61803398874989934342e+00,1,1.00000000000000066613e+00,-1.56838687434730026382e+01>
		2, { 162,163,204,205 }
		1, { 162,166 }
		2, { 162,166,204 }
		1, { 162,184 }
		2, { 162,184,190 }
		3, { 162,184,190,204,214 }, <4.23606797749975516609e+00,-4.23606797749975871881e+00,-1,2.23606797749976893286e+00,-2.53770327020311654564e+01>
		2, { 162,184,204,214 }
		1, { 162,190 }
		2, { 162,190,204 }
		1, { 162,204 }
		1, { 163,167 }
		2, { 163,167,205 }
		1, { 163,184 }
		2, { 163,184,191 }
		3, { 163,184,191,205,214 }, <4.23606797749974717249e+00,-4.23606797749975516609e+00,2.23606797749976538014e+00,-1,-2.53770327020311299293e+01>
		2, { 163,184,205,214 }
		1, { 163,191 }
		2, { 163,191,205 }
		1, { 163,205 }
		1, { 164,168 }
		2, { 164,168,185 }
		3, { 164,168,185,202,206,215 }, <2.61803398874989579070e+00,-1,-2.61803398874989667888e+00,-1.00000000000000133227e+00,-1.56838687434729795456e+01>
		2, { 164,168,202,206 }
		1, { 164,185 }
		2, { 164,185,192 }
		3, { 164,185,192,202,215 }, <4.23606797749981023316e+00,-2.23606797749979957501e+00,-4.23606797749980756862e+00,1,-2.53770327020314923061e+01>
		2, { 164,185,202,215 }
		1, { 164,192 }
		2, { 164,192,202 }
		1, { 164,202 }
		1, { 165,169 }
		2, { 165,169,186 }
		3, { 165,169,186,203,206,216 }, <2.61803398874990200795e+00,-1,-1.00000000000000199840e+00,-2.61803398874989845524e+00,-1.56838687434730008619e+01>
		2, { 165,169,203,206 }
		1, { 165,186 }
		2, { 165,186,194 }
		3, { 165,186,194,203,216 }, <4.23606797749983332579e+00,-2.23606797749981200951e+00,1,-4.23606797749982444401e+00,-2.53770327020316202038e+01>
		2, { 165,186,203,216 }
		1, { 165,194 }
		2, { 165,194,203 }
		1, { 165,203 }
		1, { 166,170 }
		2, { 166,170,187 }
		3, { 166,170,187,204,207,217 }, <2.61803398874988335621e+00,-1,9.99999999999994004796e-01,2.61803398874988690892e+00,-1.56838687434729191494e+01>
		2, { 166,170,204,207 }
		1, { 166,187 }
		2, { 166,187,193 }
		3, { 166,187,193,204,217 }, <4.23606797749965302557e+00,-2.23606797749972407985e+00,-1,4.23606797749967256550e+00,-2.53770327020305863641e+01>
		2, { 166,187,204,217 }
		1, { 166,193 }
		2, { 166,193,204 }
		1, { 166,204 }
		1, { 167,171 }
		2, { 167,171,188 }
		3, { 167,171,188,205,207,218 }, <2.61803398874988912937e+00,-1,2.61803398874989046163e+00,9.99999999999996891376e-01,-1.56838687434729440184e+01>
		2, { 167,171,205,207 }
		1, { 167,188 }
		2, { 167,188,195 }
		3, { 167,188,195,205,218 }, <4.23606797749972585621e+00,-2.23606797749976005107e+00,4.23606797749972852074e+00,-1,-2.53770327020309913735e+01>
		2, { 167,188,205,218 }
		1, { 167,195 }
		2, { 167,195,205 }
		1, { 167,205 }
		1, { 168,169 }
		2, { 168,169,206 }
		1, { 168,185 }
		2, { 168,185,196 }
		3, { 168,185,196,206,215 }, <4.23606797749970631628e+00,1,-4.23606797749973296163e+00,-2.23606797749975072520e+00,-2.53770327020309203192e+01>
		2, { 168,185,206,215 }
		1, { 168,196 }
		2, { 168,196,206 }
		1, { 168,206 }
		1, { 169,186 }
		2, { 169,186,197 }
		3, { 169,186,197,206,216 }, <4.23606797749970542810e+00,1,-2.23606797749975383383e+00,-4.23606797749973118528e+00,-2.53770327020309203192e+01>
		2, { 169,186,206,216 }
		1, { 169,197 }
		2, { 169,197,206 }
		1, { 169,206 }
		1, { 170,171 }
		2, { 170,171,207 }
		1, { 170,187 }
		2, { 170,187,198 }
		3, { 170,187,198,207,217 }, <4.23606797749960684030e+00,1,2.23606797749970009903e+00,4.23606797749966013100e+00,-2.53770327020303696486e+01>
		2, { 170,187,207,217 }
		1, { 170,198 }
		2, { 170,198,207 }
		1, { 170,207 }
		1, { 171,188 }
		2, { 171,188,199 }
		3, { 171,188,199,207,218 }, <4.23606797749958463584e+00,1,4.23606797749964236743e+00,2.23606797749969166134e+00,-2.53770327020302488563e+01>
		2, { 171,188,207,218 }
		1, { 171,199 }
		2, { 171,199,207 }
		1, { 171,207 }
		1, { 172,173 }
		2, { 172,173,208 }
		1, { 172,176 }
		2, { 172,176,185 }
		3, { 172,176,185,208,210,215 }, <2.61803398874989889933e+00,1,-2.61803398874989801115e+00,9.99999999999999666933e-01,-1.56838687434729937564e+01>
		2, { 172,176,208,210 }
		1, { 172,185 }
		2, { 172,185,192 }
		3, { 172,185,192,208,215 }, <4.23606797749981911494e+00,-1,-4.23606797749980934498e+00,2.23606797749979735457e+00,-2.53770327020315207278e+01>
		2, { 172,185,208,215 }
		1, { 172,192 }
		2, { 172,192,208 }
		1, { 172,208 }
		1, { 173,177 }
		2, { 173,177,187 }
		3, { 173,177,187,208,211,217 }, <2.61803398874989401435e+00,1,-1.00000000000000577316e+00,2.61803398874990067569e+00,-1.56838687434729919801e+01>
		2, { 173,177,208,211 }
		1, { 173,187 }
		2, { 173,187,193 }
		3, { 173,187,193,208,217 }, <4.23606797749965480193e+00,-1,-2.23606797749973473799e+00,4.23606797749968322364e+00,-2.53770327020306289967e+01>
		2, { 173,187,208,217 }
		1, { 173,193 }
		2, { 173,193,208 }
		1, { 173,208 }
		1, { 174,175 }
		2, { 174,175,209 }
		1, { 174,178 }
		2, { 174,178,186 }
		3, { 174,178,186,209,212,216 }, <2.61803398874990245204e+00,1,9.99999999999998889777e-01,-2.61803398874989845524e+00,-1.56838687434730008619e+01>
		2, { 174,178,209,212 }
		1, { 174,186 }
		2, { 174,186,194 }
		3, { 174,186,194,209,216 }, <4.23606797749983865486e+00,-1,2.23606797749980579226e+00,-4.23606797749982089130e+00,-2.53770327020316202038e+01>
		2, { 174,186,209,216 }
		1, { 174,194 }
		2, { 174,194,209 }
		1, { 174,209 }
		1, { 175,179 }
		2, { 175,179,188 }
		3, { 175,179,188,209,213,218 }, <2.61803398874989357026e+00,1,2.61803398874989801115e+00,-1.00000000000000444089e+00,-1.56838687434729830983e+01>
		2, { 175,179,209,213 }
		1, { 175,188 }
		2, { 175,188,195 }
		3, { 175,188,195,209,218 }, <4.23606797749971697442e+00,-1,4.23606797749972585621e+00,-2.23606797749976049516e+00,-2.53770327020309665045e+01>
		2, { 175,188,209,218 }
		1, { 175,195 }
		2, { 175,195,209 }
		1, { 175,209 }
		1, { 176,180 }
		2, { 176,180,210 }
		1, { 176,185 }
		2, { 176,185,196 }
		3, { 176,185,196,210,215 }, <4.23606797749972052713e+00,2.23606797749975250156e+00,-4.23606797749974006706e+00,-1,-2.53770327020309842680e+01>
		2, { 176,185,210,215 }
		1, { 176,196 }
		2, { 176,196,210 }
		1, { 176,210 }
		1, { 177,181 }
		2, { 177,181,211 }
		1, { 177,187 }
		2, { 177,187,198 }
		3, { 177,187,198,211,217 }, <4.23606797749960595212e+00,2.23606797749970054312e+00,1,4.23606797749966013100e+00,-2.53770327020303732013e+01>
		2, { 177,187,211,217 }
		1, { 177,198 }
		2, { 177,198,211 }
		1, { 177,211 }
		1, { 178,182 }
		2, { 178,182,212 }
		1, { 178,186 }
		2, { 178,186,197 }
		3, { 178,186,197,212,216 }, <4.23606797749970986899e+00,2.23606797749974584022e+00,-1,-4.23606797749972585621e+00,-2.53770327020309096611e+01>
		2, { 178,186,212,216 }
		1, { 178,197 }
		2, { 178,197,212 }
		1, { 178,212 }
		1, { 179,183 }
		2, { 179,183,213 }
		1, { 179,188 }
		2, { 179,188,199 }
		3, { 179,188,199,213,218 }, <4.23606797749957131316e+00,2.23606797749968366773e+00,4.23606797749963170929e+00,1,-2.53770327020301706966e+01>
		2, { 179,188,213,218 }
		1, { 179,199 }
		2, { 179,199,213 }
		1, { 179,213 }
		1, { 180,181 }
		2, { 180,181,189 }
		3, { 180,181,189,210,211,219 }, <2.61803398874989134981e+00,2.61803398874989001754e+00,-1,9.99999999999998445688e-01,-1.56838687434729493475e+01>
		2, { 180,181,210,211 }
		1, { 180,189 }
		2, { 180,189,200 }
		3, { 180,189,200,210,219 }, <4.23606797749964414379e+00,4.23606797749967523004e+00,-2.23606797749972496803e+00,-1,-2.53770327020305721533e+01>
		2, { 180,189,210,219 }
		1, { 180,200 }
		2, { 180,200,210 }
		1, { 180,210 }
		1, { 181,189 }
		2, { 181,189,201 }
		3, { 181,189,201,211,219 }, <4.23606797749960062305e+00,4.23606797749965480193e+00,1,2.23606797749969743450e+00,-2.53770327020303341214e+01>
		2, { 181,189,211,219 }
		1, { 181,201 }
		2, { 181,201,211 }
		1, { 181,211 }
		1, { 182,183 }
		2, { 182,183,189 }
		3, { 182,183,189,212,213,219 }, <2.61803398874989534661e+00,2.61803398874989623479e+00,1,-1.00000000000000199840e+00,-1.56838687434729777692e+01>
		2, { 182,183,212,213 }
		1, { 182,189 }
		2, { 182,189,200 }
		3, { 182,189,200,212,219 }, <4.23606797749963792654e+00,4.23606797749966990096e+00,-1,-2.23606797749972097122e+00,-2.53770327020305295207e+01>
		2, { 182,189,212,219 }
		1, { 182,200 }
		2, { 182,200,212 }
		1, { 182,212 }
		1, { 183,189 }
		2, { 183,189,201 }
		3, { 183,189,201,213,219 }, <4.23606797749958285948e+00,4.23606797749964147926e+00,2.23606797749968855271e+00,1,-2.53770327020302346455e+01>
		2, { 183,189,213,219 }
		1, { 183,201 }
		2, { 183,201,213 }
		1, { 183,213 }
		1, { 184,190 }
		2, { 184,190,214 }
		1, { 184,191 }
		2, { 184,191,214 }
		1, { 184,214 }
		1, { 185,192 }
		2, { 185,192,215 }
		1, { 185,196 }
		2, { 185,196,215 }
		1, { 185,215 }
		1, { 186,194 }
		2, { 186,194,216 }
		1, { 186,197 }
		2, { 186,197,216 }
		1, { 186,216 }
		1, { 187,193 }
		2, { 187,193,217 }
		1, { 187,198 }
		2, { 187,198,217 }
		1, { 187,217 }
		1, { 188,195 }
		2, { 188,195,218 }
		1, { 188,199 }
		2, { 188,199,218 }
		1, { 188,218 }
		1, { 189,200 }
		2, { 189,200,219 }
		1, { 189,201 }
		2, { 189,201,219 }
		1, { 189,219 }
		1, { 190,192 }
		2, { 190,192,193 }
		3, { 190,192,193,202,204,208,214,215,217,220,221,222 }, <2.23606797749978714052e+00,-1,-1.00000000000000088818e+00,9.99999999999999666933e-01,-1.05671960074560367104e+01>
		2, { 190,192,202 }
		1, { 190,193 }
		2, { 190,193,204 }
		1, { 190,202 }
		2, { 190,202,214 }
		1, { 190,204 }
		2, { 190,204,214 }
		1, { 190,214 }
		1, { 191,194 }
		2, { 191,194,195 }
		3, { 191,194,195,203,205,209,214,216,218,220,221,223 }, <2.23606797749978936096e+00,-1,9.99999999999999888978e-01,-1.00000000000000088818e+00,-1.05671960074560455922e+01>
		2, { 191,194,203 }
		1, { 191,195 }
		2, { 191,195,205 }
		1, { 191,203 }
		2, { 191,203,214 }
		1, { 191,205 }
		2, { 191,205,214 }
		1, { 191,214 }
		1, { 192,193 }
		2, { 192,193,208 }
		1, { 192,202 }
		2, { 192,202,215 }
		1, { 192,208 }
		2, { 192,208,215 }
		1, { 192,215 }
		1, { 193,204 }
		2, { 193,204,217 }
		1, { 193,208 }
		2, { 193,208,217 }
		1, { 193,217 }
		1, { 194,195 }
		2, { 194,195,209 }
		1, { 194,203 }
		2, { 194,203,216 }
		1, { 194,209 }
		2, { 194,209,216 }
		1, { 194,216 }
		1, { 195,205 }
		2, { 195,205,218 }
		1, { 195,209 }
		2, { 195,209,218 }
		1, { 195,218 }
		1, { 196,197 }
		2, { 196,197,200 }
		3, { 196,197,200,206,210,212,215,216,219,220,222,223 }, <2.23606797749978847278e+00,1,-1.00000000000000066613e+00,-1.00000000000000022204e+00,-1.05671960074560438159e+01>
		2, { 196,197,206 }
		1, { 196,200 }
		2, { 196,200,210 }
		1, { 196,206 }
		2, { 196,206,215 }
		1, { 196,210 }
		2, { 196,210,215 }
		1, { 196,215 }
		1, { 197,200 }
		2, { 197,200,212 }
		1, { 197,206 }
		2, { 197,206,216 }
		1, { 197,212 }
		2, { 197,212,216 }
		1, { 197,216 }
		1, { 198,199 }
		2, { 198,199,201 }
		3, { 198,199,201,207,211,213,217,218,219,221,222,223 }, <2.23606797749978802869e+00,1,1,1.00000000000000066613e+00,-1.05671960074560402632e+01>
		2, { 198,199,207 }
		1, { 198,201 }
		2, { 198,201,211 }
		1, { 198,207 }
		2, { 198,207,217 }
		1, { 198,211 }
		2, { 198,211,217 }
		1, { 198,217 }
		1, { 199,201 }
		2, { 199,201,213 }
		1, { 199,207 }
		2, { 199,207,218 }
		1, { 199,213 }
		2, { 199,213,218 }
		1, { 199,218 }
		1, { 200,210 }
		2, { 200,210,219 }
		1, { 200,212 }
		2, { 200,212,219 }
		1, { 200,219 }
		1, { 201,211 }
		2, { 201,211,219 }
		1, { 201,213 }
		2, { 201,213,219 }
		1, { 201,219 }
		1, { 202,203 }
		2, { 202,203,206 }
		3, { 202,203,206,220 }, <1.76393202250021374766e+00,-1,-1.00000000000000111022e+00,-1.00000000000000022204e+00,-9.89949493661168133940e+00>
		2, { 202,203,214 }
		3, { 202,203,214,220 }, <2.99999999999999600320e+00,-2.23606797749978447598e+00,-1,-9.99999999999997113420e-01,-1.62240502569484021933e+01>
		2, { 202,203,220 }
		1, { 202,206 }
		2, { 202,206,215 }
		3, { 202,206,215,220 }, <3.00000000000000399680e+00,-1,-2.23606797749979158141e+00,-1.00000000000000111022e+00,-1.62240502569484448259e+01>
		2, { 202,206,220 }
		1, { 202,214 }
		2, { 202,214,220 }
		1, { 202,215 }
		2, { 202,215,220 }
		1, { 202,220 }
		1, { 203,206 }
		2, { 203,206,216 }
		3, { 203,206,216,220 }, <3.00000000000000621725e+00,-1,-1.00000000000000199840e+00,-2.23606797749979602230e+00,-1.62240502569484554840e+01>
		2, { 203,206,220 }
		1, { 203,214 }
		2, { 203,214,220 }
		1, { 203,216 }
		2, { 203,216,220 }
		1, { 203,220 }
		1, { 204,205 }
		2, { 204,205,207 }
		3, { 204,205,207,221 }, <1.76393202250020975086e+00,-1,9.99999999999997668532e-01,9.99999999999998778755e-01,-9.89949493661166002312e+00>
		2, { 204,205,214 }
		3, { 204,205,214,221 }, <3.00000000000000710543e+00,-2.23606797749979557821e+00,1,1.00000000000000088818e+00,-1.62240502569484590367e+01>
		2, { 204,205,221 }
		1, { 204,207 }
		2, { 204,207,217 }
		3, { 204,207,217,221 }, <2.99999999999999422684e+00,-1,9.99999999999994559907e-01,2.23606797749978003509e+00,-1.62240502569483879824e+01>
		2, { 204,207,221 }
		1, { 204,214 }
		2, { 204,214,221 }
		1, { 204,217 }
		2, { 204,217,221 }
		1, { 204,221 }
		1, { 205,207 }
		2, { 205,207,218 }
		3, { 205,207,218,221 }, <2.99999999999999689138e+00,-1,2.23606797749978403189e+00,9.99999999999997224442e-01,-1.62240502569484021933e+01>
		2, { 205,207,221 }
		1, { 205,214 }
		2, { 205,214,221 }
		1, { 205,218 }
		2, { 205,218,221 }
		1, { 205,221 }
		1, { 206,215 }
		2, { 206,215,220 }
		1, { 206,216 }
		2, { 206,216,220 }
		1, { 206,220 }
		1, { 207,217 }
		2, { 207,217,221 }
		1, { 207,218 }
		2, { 207,218,221 }
		1, { 207,221 }
		1, { 208,210 }
		2, { 208,210,211 }
		3, { 208,210,211,222 }, <1.76393202250021174926e+00,1,-1.00000000000000310862e+00,1,-9.89949493661167423397e+00>
		2, { 208,210,215 }
		3, { 208,210,215,222 }, <3.00000000000000488498e+00,1,-2.23606797749979246959e+00,9.99999999999999666933e-01,-1.62240502569484448259e+01>
		2, { 208,210,222 }
		1, { 208,211 }
		2, { 208,211,217 }
		3, { 208,211,217,222 }, <3.00000000000000532907e+00,1,-1.00000000000000532907e+00,2.23606797749978891687e+00,-1.62240502569484519313e+01>
		2, { 208,211,222 }
		1, { 208,215 }
		2, { 208,215,222 }
		1, { 208,217 }
		2, { 208,217,222 }
		1, { 208,222 }
		1, { 209,212 }
		2, { 209,212,213 }
		3, { 209,212,213,223 }, <1.76393202250021241539e+00,1,9.99999999999999111822e-01,-1.00000000000000177636e+00,-9.89949493661167601033e+00>
		2, { 209,212,216 }
		3, { 209,212,216,223 }, <3.00000000000000532907e+00,1,9.99999999999998778755e-01,-2.23606797749979469003e+00,-1.62240502569484483786e+01>
		2, { 209,212,223 }
		1, { 209,213 }
		2, { 209,213,218 }
		3, { 209,213,218,223 }, <3.00000000000000488498e+00,1,2.23606797749978802869e+00,-1.00000000000000399680e+00,-1.62240502569484483786e+01>
		2, { 209,213,223 }
		1, { 209,216 }
		2, { 209,216,223 }
		1, { 209,218 }
		2, { 209,218,223 }
		1, { 209,223 }
		1, { 210,211 }
		2, { 210,211,219 }
		3, { 210,211,219,222 }, <2.99999999999999467093e+00,2.23606797749978492007e+00,-1,9.99999999999997890576e-01,-1.62240502569483950879e+01>
		2, { 210,211,222 }
		1, { 210,215 }
		2, { 210,215,222 }
		1, { 210,219 }
		2, { 210,219,222 }
		1, { 210,222 }
		1, { 211,217 }
		2, { 211,217,222 }
		1, { 211,219 }
		2, { 211,219,222 }
		1, { 211,222 }
		1, { 212,213 }
		2, { 212,213,219 }
		3, { 212,213,219,223 }, <3.00000000000000355271e+00,2.23606797749979069323e+00,1,-1.00000000000000244249e+00,-1.62240502569484412732e+01>
		2, { 212,213,223 }
		1, { 212,216 }
		2, { 212,216,223 }
		1, { 212,219 }
		2, { 212,219,223 }
		1, { 212,223 }
		1, { 213,218 }
		2, { 213,218,223 }
		1, { 213,219 }
		2, { 213,219,223 }
		1, { 213,223 }
		1, { 214,220 }
		2, { 214,220,221 }
		1, { 214,221 }
		1, { 215,220 }
		2, { 215,220,222 }
		1, { 215,222 }
		1, { 216,220 }
		2, { 216,220,223 }
		1, { 216,223 }
		1, { 217,221 }
		2, { 217,221,222 }
		1, { 217,222 }
		1, { 218,221 }
		2, { 218,221,223 }
		1, { 218,223 }
		1, { 219,222 }
		2, { 219,222,223 }
		1, { 219,223 }
		1, { 220,221 }
		2, { 220,221,222 }
		3, { 220,221,222,223 }, <1,2.91111151483938428008e-16,-4.85185252473230651717e-17,-6.79259353462522949382e-16,-4.40956595483038071848e+00>
		2, { 220,221,223 }
		1, { 220,222 }
		2, { 220,222,223 }
		1, { 220,223 }
		1, { 221,222 }
		2, { 221,222,223 }
		1, { 221,223 }
		1, { 222,223 }
	}
}