<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;"># Automatically generated by makepoly.
polytope magna_ursachoron {
	dimension 4
	vertices {
		&lt;-4.40956595483037983030e+00, -7.07106781186547572737e-01, 7.07106781186547572737e-01, 1.14412280563536850053e+00&gt;
		&lt;-4.40956595483037983030e+00, 7.07106781186547572737e-01, -7.07106781186547572737e-01, 1.14412280563536850053e+00&gt;
		&lt;-4.13947519809265340740e+00, -1.85122958682191618429e+00, 1.85122958682191618429e+00, 0&gt;
		&lt;-4.13947519809265340740e+00, 1.85122958682191618429e+00, -1.85122958682191618429e+00, 0&gt;
		&lt;-3.70245917364383236858e+00, -2.28824561127073700106e+00, 2.28824561127073700106e+00, -1.85122958682191618429e+00&gt;
		&lt;-3.70245917364383236858e+00, 2.28824561127073700106e+00, -2.28824561127073700106e+00, -1.85122958682191618429e+00&gt;
		&lt;-3.26544314919501132977e+00, -1.85122958682191618429e+00, 4.37016024448821094328e-01, 2.28824561127073700106e+00&gt;
		&lt;-3.26544314919501132977e+00, -1.85122958682191618429e+00, 1.85122958682191618429e+00, -3.70245917364383236858e+00&gt;
		&lt;-3.26544314919501132977e+00, -4.37016024448821094328e-01, 1.85122958682191618429e+00, 2.28824561127073700106e+00&gt;
		&lt;-3.26544314919501132977e+00, 4.37016024448821094328e-01, -1.85122958682191618429e+00, 2.28824561127073700106e+00&gt;
		&lt;-3.26544314919501132977e+00, 1.85122958682191618429e+00, -1.85122958682191618429e+00, -3.70245917364383236858e+00&gt;
		&lt;-3.26544314919501132977e+00, 1.85122958682191618429e+00, -4.37016024448821094328e-01, 2.28824561127073700106e+00&gt;
		&lt;-2.99535239245728490687e+00, -2.99535239245728490687e+00, 1.58113883008418976139e+00, 1.14412280563536850053e+00&gt;
		&lt;-2.99535239245728490687e+00, -1.58113883008418976139e+00, 2.99535239245728490687e+00, 1.14412280563536850053e+00&gt;
		&lt;-2.99535239245728490687e+00, -7.07106781186547572737e-01, 7.07106781186547572737e-01, -4.84658197927920042503e+00&gt;
		&lt;-2.99535239245728490687e+00, 7.07106781186547572737e-01, -7.07106781186547572737e-01, -4.84658197927920042503e+00&gt;
		&lt;-2.99535239245728490687e+00, 1.58113883008418976139e+00, -2.99535239245728490687e+00, 1.14412280563536850053e+00&gt;
		&lt;-2.99535239245728490687e+00, 2.99535239245728490687e+00, -1.58113883008418976139e+00, 1.14412280563536850053e+00&gt;
		&lt;-2.55833636800846342396e+00, -1.14412280563536850053e+00, -1.14412280563536850053e+00, 2.99535239245728490687e+00&gt;
		&lt;-2.55833636800846342396e+00, 1.14412280563536850053e+00, 1.14412280563536850053e+00, 2.99535239245728490687e+00&gt;
		&lt;-2.28824561127073700106e+00, -3.70245917364383236858e+00, 2.28824561127073700106e+00, -1.85122958682191618429e+00&gt;
		&lt;-2.28824561127073700106e+00, -2.28824561127073700106e+00, 3.70245917364383236858e+00, -1.85122958682191618429e+00&gt;
		&lt;-2.28824561127073700106e+00, 2.28824561127073700106e+00, -3.70245917364383236858e+00, -1.85122958682191618429e+00&gt;
		&lt;-2.28824561127073700106e+00, 3.70245917364383236858e+00, -2.28824561127073700106e+00, -1.85122958682191618429e+00&gt;
		&lt;-2.12132034355964238515e+00, -7.07106781186547572737e-01, 7.07106781186547572737e-01, 3.43236841690610594569e+00&gt;
		&lt;-2.12132034355964238515e+00, 7.07106781186547572737e-01, -7.07106781186547572737e-01, 3.43236841690610594569e+00&gt;
		&lt;-1.85122958682191618429e+00, -4.13947519809265340740e+00, 1.85122958682191618429e+00, 0&gt;
		&lt;-1.85122958682191618429e+00, -3.26544314919501132977e+00, 4.37016024448821094328e-01, 2.28824561127073700106e+00&gt;
		&lt;-1.85122958682191618429e+00, -3.26544314919501132977e+00, 1.85122958682191618429e+00, -3.70245917364383236858e+00&gt;
		&lt;-1.85122958682191618429e+00, -1.85122958682191618429e+00, 3.26544314919501132977e+00, -3.70245917364383236858e+00&gt;
		&lt;-1.85122958682191618429e+00, -1.85122958682191618429e+00, 4.13947519809265340740e+00, 0&gt;
		&lt;-1.85122958682191618429e+00, -4.37016024448821094328e-01, 3.26544314919501132977e+00, 2.28824561127073700106e+00&gt;
		&lt;-1.85122958682191618429e+00, 4.37016024448821094328e-01, -3.26544314919501132977e+00, 2.28824561127073700106e+00&gt;
		&lt;-1.85122958682191618429e+00, 1.85122958682191618429e+00, -4.13947519809265340740e+00, 0&gt;
		&lt;-1.85122958682191618429e+00, 1.85122958682191618429e+00, -3.26544314919501132977e+00, -3.70245917364383236858e+00&gt;
		&lt;-1.85122958682191618429e+00, 3.26544314919501132977e+00, -1.85122958682191618429e+00, -3.70245917364383236858e+00&gt;
		&lt;-1.85122958682191618429e+00, 3.26544314919501132977e+00, -4.37016024448821094328e-01, 2.28824561127073700106e+00&gt;
		&lt;-1.85122958682191618429e+00, 4.13947519809265340740e+00, -1.85122958682191618429e+00, 0&gt;
		&lt;-1.58113883008418976139e+00, -2.99535239245728490687e+00, 2.99535239245728490687e+00, 1.14412280563536850053e+00&gt;
		&lt;-1.58113883008418976139e+00, 2.99535239245728490687e+00, -2.99535239245728490687e+00, 1.14412280563536850053e+00&gt;
		&lt;-1.41421356237309514547e+00, -1.41421356237309514547e+00, 0, -5.55368876046574833083e+00&gt;
		&lt;-1.41421356237309514547e+00, 0, -1.41421356237309514547e+00, -5.55368876046574833083e+00&gt;
		&lt;-1.41421356237309514547e+00, 0, 1.41421356237309514547e+00, -5.55368876046574833083e+00&gt;
		&lt;-1.41421356237309514547e+00, 1.41421356237309514547e+00, 0, -5.55368876046574833083e+00&gt;
		&lt;-1.14412280563536850053e+00, -2.55833636800846342396e+00, -1.14412280563536850053e+00, 2.99535239245728490687e+00&gt;
		&lt;-1.14412280563536850053e+00, -1.14412280563536850053e+00, -2.55833636800846342396e+00, 2.99535239245728490687e+00&gt;
		&lt;-1.14412280563536850053e+00, 1.14412280563536850053e+00, 2.55833636800846342396e+00, 2.99535239245728490687e+00&gt;
		&lt;-1.14412280563536850053e+00, 2.55833636800846342396e+00, 1.14412280563536850053e+00, 2.99535239245728490687e+00&gt;
		&lt;-7.07106781186547572737e-01, -4.40956595483037983030e+00, 7.07106781186547572737e-01, 1.14412280563536850053e+00&gt;
		&lt;-7.07106781186547572737e-01, -2.99535239245728490687e+00, 7.07106781186547572737e-01, -4.84658197927920042503e+00&gt;
		&lt;-7.07106781186547572737e-01, -2.12132034355964238515e+00, 7.07106781186547572737e-01, 3.43236841690610594569e+00&gt;
		&lt;-7.07106781186547572737e-01, -7.07106781186547572737e-01, 2.12132034355964238515e+00, 3.43236841690610594569e+00&gt;
		&lt;-7.07106781186547572737e-01, -7.07106781186547572737e-01, 2.99535239245728490687e+00, -4.84658197927920042503e+00&gt;
		&lt;-7.07106781186547572737e-01, -7.07106781186547572737e-01, 4.40956595483037983030e+00, 1.14412280563536850053e+00&gt;
		&lt;-7.07106781186547572737e-01, 7.07106781186547572737e-01, -4.40956595483037983030e+00, 1.14412280563536850053e+00&gt;
		&lt;-7.07106781186547572737e-01, 7.07106781186547572737e-01, -2.99535239245728490687e+00, -4.84658197927920042503e+00&gt;
		&lt;-7.07106781186547572737e-01, 7.07106781186547572737e-01, -2.12132034355964238515e+00, 3.43236841690610594569e+00&gt;
		&lt;-7.07106781186547572737e-01, 2.12132034355964238515e+00, -7.07106781186547572737e-01, 3.43236841690610594569e+00&gt;
		&lt;-7.07106781186547572737e-01, 2.99535239245728490687e+00, -7.07106781186547572737e-01, -4.84658197927920042503e+00&gt;
		&lt;-7.07106781186547572737e-01, 4.40956595483037983030e+00, -7.07106781186547572737e-01, 1.14412280563536850053e+00&gt;
		&lt;-4.37016024448821094328e-01, -3.26544314919501132977e+00, 1.85122958682191618429e+00, 2.28824561127073700106e+00&gt;
		&lt;-4.37016024448821094328e-01, -1.85122958682191618429e+00, 3.26544314919501132977e+00, 2.28824561127073700106e+00&gt;
		&lt;-4.37016024448821094328e-01, 1.85122958682191618429e+00, -3.26544314919501132977e+00, 2.28824561127073700106e+00&gt;
		&lt;-4.37016024448821094328e-01, 3.26544314919501132977e+00, -1.85122958682191618429e+00, 2.28824561127073700106e+00&gt;
		&lt;0, -1.41421356237309514547e+00, -1.41421356237309514547e+00, -5.55368876046574833083e+00&gt;
		&lt;0, -1.41421356237309514547e+00, 1.41421356237309514547e+00, -5.55368876046574833083e+00&gt;
		&lt;0, 1.41421356237309514547e+00, -1.41421356237309514547e+00, -5.55368876046574833083e+00&gt;
		&lt;0, 1.41421356237309514547e+00, 1.41421356237309514547e+00, -5.55368876046574833083e+00&gt;
		&lt;4.37016024448821094328e-01, -3.26544314919501132977e+00, -1.85122958682191618429e+00, 2.28824561127073700106e+00&gt;
		&lt;4.37016024448821094328e-01, -1.85122958682191618429e+00, -3.26544314919501132977e+00, 2.28824561127073700106e+00&gt;
		&lt;4.37016024448821094328e-01, 1.85122958682191618429e+00, 3.26544314919501132977e+00, 2.28824561127073700106e+00&gt;
		&lt;4.37016024448821094328e-01, 3.26544314919501132977e+00, 1.85122958682191618429e+00, 2.28824561127073700106e+00&gt;
		&lt;7.07106781186547572737e-01, -4.40956595483037983030e+00, -7.07106781186547572737e-01, 1.14412280563536850053e+00&gt;
		&lt;7.07106781186547572737e-01, -2.99535239245728490687e+00, -7.07106781186547572737e-01, -4.84658197927920042503e+00&gt;
		&lt;7.07106781186547572737e-01, -2.12132034355964238515e+00, -7.07106781186547572737e-01, 3.43236841690610594569e+00&gt;
		&lt;7.07106781186547572737e-01, -7.07106781186547572737e-01, -4.40956595483037983030e+00, 1.14412280563536850053e+00&gt;
		&lt;7.07106781186547572737e-01, -7.07106781186547572737e-01, -2.99535239245728490687e+00, -4.84658197927920042503e+00&gt;
		&lt;7.07106781186547572737e-01, -7.07106781186547572737e-01, -2.12132034355964238515e+00, 3.43236841690610594569e+00&gt;
		&lt;7.07106781186547572737e-01, 7.07106781186547572737e-01, 2.12132034355964238515e+00, 3.43236841690610594569e+00&gt;
		&lt;7.07106781186547572737e-01, 7.07106781186547572737e-01, 2.99535239245728490687e+00, -4.84658197927920042503e+00&gt;
		&lt;7.07106781186547572737e-01, 7.07106781186547572737e-01, 4.40956595483037983030e+00, 1.14412280563536850053e+00&gt;
		&lt;7.07106781186547572737e-01, 2.12132034355964238515e+00, 7.07106781186547572737e-01, 3.43236841690610594569e+00&gt;
		&lt;7.07106781186547572737e-01, 2.99535239245728490687e+00, 7.07106781186547572737e-01, -4.84658197927920042503e+00&gt;
		&lt;7.07106781186547572737e-01, 4.40956595483037983030e+00, 7.07106781186547572737e-01, 1.14412280563536850053e+00&gt;
		&lt;1.14412280563536850053e+00, -2.55833636800846342396e+00, 1.14412280563536850053e+00, 2.99535239245728490687e+00&gt;
		&lt;1.14412280563536850053e+00, -1.14412280563536850053e+00, 2.55833636800846342396e+00, 2.99535239245728490687e+00&gt;
		&lt;1.14412280563536850053e+00, 1.14412280563536850053e+00, -2.55833636800846342396e+00, 2.99535239245728490687e+00&gt;
		&lt;1.14412280563536850053e+00, 2.55833636800846342396e+00, -1.14412280563536850053e+00, 2.99535239245728490687e+00&gt;
		&lt;1.41421356237309514547e+00, -1.41421356237309514547e+00, 0, -5.55368876046574833083e+00&gt;
		&lt;1.41421356237309514547e+00, 0, -1.41421356237309514547e+00, -5.55368876046574833083e+00&gt;
		&lt;1.41421356237309514547e+00, 0, 1.41421356237309514547e+00, -5.55368876046574833083e+00&gt;
		&lt;1.41421356237309514547e+00, 1.41421356237309514547e+00, 0, -5.55368876046574833083e+00&gt;
		&lt;1.58113883008418976139e+00, -2.99535239245728490687e+00, -2.99535239245728490687e+00, 1.14412280563536850053e+00&gt;
		&lt;1.58113883008418976139e+00, 2.99535239245728490687e+00, 2.99535239245728490687e+00, 1.14412280563536850053e+00&gt;
		&lt;1.85122958682191618429e+00, -4.13947519809265340740e+00, -1.85122958682191618429e+00, 0&gt;
		&lt;1.85122958682191618429e+00, -3.26544314919501132977e+00, -1.85122958682191618429e+00, -3.70245917364383236858e+00&gt;
		&lt;1.85122958682191618429e+00, -3.26544314919501132977e+00, -4.37016024448821094328e-01, 2.28824561127073700106e+00&gt;
		&lt;1.85122958682191618429e+00, -1.85122958682191618429e+00, -4.13947519809265340740e+00, 0&gt;
		&lt;1.85122958682191618429e+00, -1.85122958682191618429e+00, -3.26544314919501132977e+00, -3.70245917364383236858e+00&gt;
		&lt;1.85122958682191618429e+00, -4.37016024448821094328e-01, -3.26544314919501132977e+00, 2.28824561127073700106e+00&gt;
		&lt;1.85122958682191618429e+00, 4.37016024448821094328e-01, 3.26544314919501132977e+00, 2.28824561127073700106e+00&gt;
		&lt;1.85122958682191618429e+00, 1.85122958682191618429e+00, 3.26544314919501132977e+00, -3.70245917364383236858e+00&gt;
		&lt;1.85122958682191618429e+00, 1.85122958682191618429e+00, 4.13947519809265340740e+00, 0&gt;
		&lt;1.85122958682191618429e+00, 3.26544314919501132977e+00, 4.37016024448821094328e-01, 2.28824561127073700106e+00&gt;
		&lt;1.85122958682191618429e+00, 3.26544314919501132977e+00, 1.85122958682191618429e+00, -3.70245917364383236858e+00&gt;
		&lt;1.85122958682191618429e+00, 4.13947519809265340740e+00, 1.85122958682191618429e+00, 0&gt;
		&lt;2.12132034355964238515e+00, -7.07106781186547572737e-01, -7.07106781186547572737e-01, 3.43236841690610594569e+00&gt;
		&lt;2.12132034355964238515e+00, 7.07106781186547572737e-01, 7.07106781186547572737e-01, 3.43236841690610594569e+00&gt;
		&lt;2.28824561127073700106e+00, -3.70245917364383236858e+00, -2.28824561127073700106e+00, -1.85122958682191618429e+00&gt;
		&lt;2.28824561127073700106e+00, -2.28824561127073700106e+00, -3.70245917364383236858e+00, -1.85122958682191618429e+00&gt;
		&lt;2.28824561127073700106e+00, 2.28824561127073700106e+00, 3.70245917364383236858e+00, -1.85122958682191618429e+00&gt;
		&lt;2.28824561127073700106e+00, 3.70245917364383236858e+00, 2.28824561127073700106e+00, -1.85122958682191618429e+00&gt;
		&lt;2.55833636800846342396e+00, -1.14412280563536850053e+00, 1.14412280563536850053e+00, 2.99535239245728490687e+00&gt;
		&lt;2.55833636800846342396e+00, 1.14412280563536850053e+00, -1.14412280563536850053e+00, 2.99535239245728490687e+00&gt;
		&lt;2.99535239245728490687e+00, -2.99535239245728490687e+00, -1.58113883008418976139e+00, 1.14412280563536850053e+00&gt;
		&lt;2.99535239245728490687e+00, -1.58113883008418976139e+00, -2.99535239245728490687e+00, 1.14412280563536850053e+00&gt;
		&lt;2.99535239245728490687e+00, -7.07106781186547572737e-01, -7.07106781186547572737e-01, -4.84658197927920042503e+00&gt;
		&lt;2.99535239245728490687e+00, 7.07106781186547572737e-01, 7.07106781186547572737e-01, -4.84658197927920042503e+00&gt;
		&lt;2.99535239245728490687e+00, 1.58113883008418976139e+00, 2.99535239245728490687e+00, 1.14412280563536850053e+00&gt;
		&lt;2.99535239245728490687e+00, 2.99535239245728490687e+00, 1.58113883008418976139e+00, 1.14412280563536850053e+00&gt;
		&lt;3.26544314919501132977e+00, -1.85122958682191618429e+00, -1.85122958682191618429e+00, -3.70245917364383236858e+00&gt;
		&lt;3.26544314919501132977e+00, -1.85122958682191618429e+00, -4.37016024448821094328e-01, 2.28824561127073700106e+00&gt;
		&lt;3.26544314919501132977e+00, -4.37016024448821094328e-01, -1.85122958682191618429e+00, 2.28824561127073700106e+00&gt;
		&lt;3.26544314919501132977e+00, 4.37016024448821094328e-01, 1.85122958682191618429e+00, 2.28824561127073700106e+00&gt;
		&lt;3.26544314919501132977e+00, 1.85122958682191618429e+00, 4.37016024448821094328e-01, 2.28824561127073700106e+00&gt;
		&lt;3.26544314919501132977e+00, 1.85122958682191618429e+00, 1.85122958682191618429e+00, -3.70245917364383236858e+00&gt;
		&lt;3.70245917364383236858e+00, -2.28824561127073700106e+00, -2.28824561127073700106e+00, -1.85122958682191618429e+00&gt;
		&lt;3.70245917364383236858e+00, 2.28824561127073700106e+00, 2.28824561127073700106e+00, -1.85122958682191618429e+00&gt;
		&lt;4.13947519809265340740e+00, -1.85122958682191618429e+00, -1.85122958682191618429e+00, 0&gt;
		&lt;4.13947519809265340740e+00, 1.85122958682191618429e+00, 1.85122958682191618429e+00, 0&gt;
		&lt;4.40956595483037983030e+00, -7.07106781186547572737e-01, -7.07106781186547572737e-01, 1.14412280563536850053e+00&gt;
		&lt;4.40956595483037983030e+00, 7.07106781186547572737e-01, 7.07106781186547572737e-01, 1.14412280563536850053e+00&gt;
	}
	lattice {
		1, { 0,1 }
		2, { 0,1,2,3,4,5,7,10,14,15 }
		3, { 0,1,2,3,4,5,6,7,9,10,12,14,15,16,18,20,22,26,27,28,32,33,34,40,41,44,45,48,49,54,55,64,68,69,72,73,75,76,92,94,95,97,98,108,109 }, &lt;-4.23606797749978980505e+00,-4.23606797749978802869e+00,-4.23606797749978802869e+00,-1,-1.75350983302948861819e+01&gt;
		3, { 0,1,2,3,4,5,7,8,10,11,13,14,15,17,19,21,23,29,30,31,35,36,37,42,43,46,47,52,53,58,59,67,70,71,79,80,82,83,93,101,102,104,105,110,111 }, &lt;-4.23606797749978980505e+00,4.23606797749978802869e+00,4.23606797749978802869e+00,-1,-1.75350983302948861819e+01&gt;
		2, { 0,1,6,9,18 }
		3, { 0,1,6,8,9,11,18,19,24,25 }, &lt;-1,-0,-0,1.00000000000000111022e+00,-5.55368876046574833083e+00&gt;
		2, { 0,1,8,11,19 }
		1, { 0,2 }
		2, { 0,2,6,12 }
		3, { 0,2,6,8,12,13 }, &lt;-2.23606797749978625234e+00,-1,9.99999999999999333866e-01,1.47213595499957938806e+00,-1.29586071077534015217e+01&gt;
		2, { 0,2,8,13 }
		1, { 0,6 }
		2, { 0,6,8 }
		1, { 0,8 }
		1, { 1,3 }
		2, { 1,3,9,16 }
		3, { 1,3,9,11,16,17 }, &lt;-2.23606797749979513412e+00,1,-1.00000000000000066613e+00,1.47213595499957938806e+00,-1.29586071077534299434e+01&gt;
		2, { 1,3,11,17 }
		1, { 1,9 }
		2, { 1,9,11 }
		1, { 1,11 }
		1, { 2,4 }
		2, { 2,4,12,20,26 }
		3, { 2,4,12,13,20,21,26,30,38 }, &lt;-4.23606797749979602230e+00,-4.23606797749983332579e+00,4.23606797749983599033e+00,1,-3.32189670737680913248e+01&gt;
		2, { 2,4,13,21,30 }
		1, { 2,12 }
		2, { 2,12,13 }
		1, { 2,13 }
		1, { 3,5 }
		2, { 3,5,16,22,33 }
		3, { 3,5,16,17,22,23,33,37,39 }, &lt;-4.23606797749981200951e+00,4.23606797749980845680e+00,-4.23606797749980934498e+00,1,-3.32189670737680202706e+01&gt;
		2, { 3,5,17,23,37 }
		1, { 3,16 }
		2, { 3,16,17 }
		1, { 3,17 }
		1, { 4,7 }
		2, { 4,7,20,28 }
		3, { 4,7,20,21,28,29 }, &lt;-1.41202265916659519540e+00,-1.41202265916659630562e+00,1.41202265916659741585e+00,-1,-1.35412951403518384552e+01&gt;
		2, { 4,7,21,29 }
		1, { 4,20 }
		2, { 4,20,21 }
		1, { 4,21 }
		1, { 5,10 }
		2, { 5,10,22,34 }
		3, { 5,10,22,23,34,35 }, &lt;-1.41202265916660896217e+00,1.41202265916659852607e+00,-1.41202265916659830403e+00,-1,-1.35412951403518793114e+01&gt;
		2, { 5,10,23,35 }
		1, { 5,22 }
		2, { 5,22,23 }
		1, { 5,23 }
		1, { 6,8 }
		2, { 6,8,12,13 }
		3, { 6,8,12,13,24,27,31,38,50,51,60,61 }, &lt;-1,-1.00000000000000044409e+00,9.99999999999997890576e-01,1.76393202250021019495e+00,-9.58999846953176771081e+00&gt;
		2, { 6,8,24 }
		1, { 6,12 }
		2, { 6,12,27 }
		1, { 6,18 }
		2, { 6,18,24 }
		3, { 6,18,24,27,44,50 }, &lt;-1,-9.99999999999996669331e-01,1.18607536386926451151e-15,1.99999999999999555911e+00,-9.69316395855838131013e+00&gt;
		2, { 6,18,27,44 }
		1, { 6,24 }
		2, { 6,24,27,50 }
		1, { 6,27 }
		1, { 7,14 }
		2, { 7,14,28,40,49 }
		3, { 7,14,28,29,40,42,49,52,65 }, &lt;-1,-1.00000000000000288658e+00,1.00000000000000066613e+00,-2.23606797749979513412e+00,-1.52468527190241793789e+01&gt;
		2, { 7,14,29,42,52 }
		1, { 7,28 }
		2, { 7,28,29 }
		1, { 7,29 }
		1, { 8,13 }
		2, { 8,13,31 }
		1, { 8,19 }
		2, { 8,19,24 }
		3, { 8,19,24,31,46,51 }, &lt;-1,-3.92887464281695941430e-15,9.99999999999999555911e-01,2.00000000000000088818e+00,-9.69316395855840440277e+00&gt;
		2, { 8,19,31,46 }
		1, { 8,24 }
		2, { 8,24,31,51 }
		1, { 8,31 }
		1, { 9,11 }
		2, { 9,11,16,17 }
		3, { 9,11,16,17,25,32,36,39,56,57,62,63 }, &lt;-1,9.99999999999994559907e-01,-9.99999999999997113420e-01,1.76393202250020486588e+00,-9.58999846953174639452e+00&gt;
		2, { 9,11,25 }
		1, { 9,16 }
		2, { 9,16,32 }
		1, { 9,18 }
		2, { 9,18,25 }
		3, { 9,18,25,32,45,56 }, &lt;-1,7.41297102418287188902e-16,-9.99999999999995892175e-01,1.99999999999999311662e+00,-9.69316395855837420470e+00&gt;
		2, { 9,18,32,45 }
		1, { 9,25 }
		2, { 9,25,32,56 }
		1, { 9,32 }
		1, { 10,15 }
		2, { 10,15,34,41,55 }
		3, { 10,15,34,35,41,43,55,58,66 }, &lt;-1,1.00000000000000133227e+00,-1.00000000000000133227e+00,-2.23606797749979957501e+00,-1.52468527190241953662e+01&gt;
		2, { 10,15,35,43,58 }
		1, { 10,34 }
		2, { 10,34,35 }
		1, { 10,35 }
		1, { 11,17 }
		2, { 11,17,36 }
		1, { 11,19 }
		2, { 11,19,25 }
		3, { 11,19,25,36,47,57 }, &lt;-1,9.99999999999998556710e-01,-3.55822609160779728162e-15,1.99999999999999866773e+00,-9.69316395855839552098e+00&gt;
		2, { 11,19,36,47 }
		1, { 11,25 }
		2, { 11,25,36,57 }
		1, { 11,36 }
		1, { 12,13 }
		2, { 12,13,38 }
		1, { 12,26 }
		2, { 12,26,38 }
		2, { 12,26,27,48 }
		3, { 12,26,27,38,48,60 }, &lt;-1,-2.23606797749979779866e+00,1.00000000000000222045e+00,1.47213595499958160850e+00,-1.29586071077534459306e+01&gt;
		1, { 12,27 }
		2, { 12,27,38,60 }
		1, { 12,38 }
		1, { 13,30 }
		2, { 13,30,38 }
		2, { 13,30,31,53 }
		3, { 13,30,31,38,53,61 }, &lt;-1,-1.00000000000000421885e+00,2.23606797749979557821e+00,1.47213595499958160850e+00,-1.29586071077534459306e+01&gt;
		1, { 13,31 }
		2, { 13,31,38,61 }
		1, { 13,38 }
		1, { 14,15 }
		2, { 14,15,40,41 }
		3, { 14,15,40,41,42,43 }, &lt;-1,1.28281105415769735831e-15,-5.49776166067584624392e-16,-2.23606797749978492007e+00,-1.38326391566510285003e+01&gt;
		2, { 14,15,42,43 }
		1, { 14,40 }
		2, { 14,40,42 }
		1, { 14,42 }
		1, { 15,41 }
		2, { 15,41,43 }
		1, { 15,43 }
		1, { 16,17 }
		2, { 16,17,39 }
		1, { 16,32 }
		2, { 16,32,33,54 }
		3, { 16,32,33,39,54,62 }, &lt;-1,9.99999999999998889777e-01,-2.23606797749978669643e+00,1.47213595499957738966e+00,-1.29586071077533979690e+01&gt;
		2, { 16,32,39,62 }
		1, { 16,33 }
		2, { 16,33,39 }
		1, { 16,39 }
		1, { 17,36 }
		2, { 17,36,37,59 }
		3, { 17,36,37,39,59,63 }, &lt;-1,2.23606797749978403189e+00,-1.00000000000000155431e+00,1.47213595499957738966e+00,-1.29586071077533979690e+01&gt;
		2, { 17,36,39,63 }
		1, { 17,37 }
		2, { 17,37,39 }
		1, { 17,39 }
		1, { 18,24 }
		2, { 18,24,25 }
		3, { 18,24,25,44,45,50,56,74,77 }, &lt;-1,-9.99999999999984345855e-01,-9.99999999999985567101e-01,6.23606797749972230349e+00,-2.35258031152091966476e+01&gt;
		2, { 18,24,44,50 }
		1, { 18,25 }
		2, { 18,25,45,56 }
		1, { 18,44 }
		2, { 18,44,45 }
		1, { 18,45 }
		1, { 19,24 }
		2, { 19,24,25 }
		3, { 19,24,25,46,47,51,57,78,81 }, &lt;-1,9.99999999999994004796e-01,9.99999999999992783550e-01,6.23606797749979424594e+00,-2.35258031152094417848e+01&gt;
		2, { 19,24,46,51 }
		1, { 19,25 }
		2, { 19,25,47,57 }
		1, { 19,46 }
		2, { 19,46,47 }
		1, { 19,47 }
		1, { 20,21 }
		2, { 20,21,28,29 }
		2, { 20,21,26,30,38 }
		3, { 20,21,26,28,29,30,38,48,49,52,53,60,61,65,72,73,79,80,84,85,88,90,94,95,96,100,101,102,108,110,112,114,116,117,118,120,121,123,125,126,127,128,129,130,131 }, &lt;4.23606797749978003509e+00,-4.23606797749983154944e+00,4.23606797749983599033e+00,-1,-1.75350983302951313192e+01&gt;
		1, { 20,26 }
		2, { 20,26,28,48,49,72,73,94,95,108 }
		1, { 20,28 }
		1, { 21,29 }
		2, { 21,29,30,52,53,79,80,101,102,110 }
		1, { 21,30 }
		1, { 22,23 }
		2, { 22,23,34,35 }
		2, { 22,23,33,37,39 }
		3, { 22,23,33,34,35,37,39,54,55,58,59,62,63,66,75,76,82,83,86,87,89,91,97,98,99,103,104,105,109,111,113,115,116,117,119,120,122,124,125,126,127,128,129,130,131 }, &lt;4.23606797749975427791e+00,4.23606797749978181145e+00,-4.23606797749978447598e+00,-1,-1.75350983302949181564e+01&gt;
		1, { 22,33 }
		2, { 22,33,34,54,55,75,76,97,98,109 }
		1, { 22,34 }
		1, { 23,35 }
		2, { 23,35,37,58,59,82,83,104,105,111 }
		1, { 23,37 }
		1, { 24,25 }
		2, { 24,25,50,56,74,77 }
		3, { 24,25,50,51,56,57,74,77,78,81,106,107 }, &lt;-2.96518840967314402244e-15,8.33959240220571756312e-17,-1.57525634263885776192e-16,1,-3.43236841690610727795e+00&gt;
		2, { 24,25,51,57,78,81 }
		1, { 24,50 }
		2, { 24,50,51 }
		1, { 24,51 }
		1, { 25,56 }
		2, { 25,56,57 }
		1, { 25,57 }
		1, { 26,38 }
		2, { 26,38,48,60 }
		1, { 26,48 }
		1, { 27,44 }
		2, { 27,44,50 }
		2, { 27,44,48,68,72 }
		3, { 27,44,48,50,60,68,72,74,84,96 }, &lt;-3.18757754039866946439e-15,-1,1.26020507411110198676e-15,1.00000000000000222045e+00,-5.55368876046575898897e+00&gt;
		1, { 27,48 }
		2, { 27,48,60 }
		1, { 27,50 }
		2, { 27,50,60 }
		1, { 27,60 }
		1, { 28,29 }
		2, { 28,29,49,52,65 }
		1, { 28,49 }
		1, { 29,52 }
		1, { 30,38 }
		2, { 30,38,53,61 }
		1, { 30,53 }
		1, { 31,46 }
		2, { 31,46,51 }
		3, { 31,46,51,53,61,70,78,80,85,100 }, &lt;2.42817806679849547903e-15,-8.88208799088278455735e-16,1,1.00000000000000066613e+00,-5.55368876046574921901e+00&gt;
		2, { 31,46,53,70,80 }
		1, { 31,51 }
		2, { 31,51,61 }
		1, { 31,53 }
		2, { 31,53,61 }
		1, { 31,61 }
		1, { 32,45 }
		2, { 32,45,56 }
		2, { 32,45,54,69,75 }
		3, { 32,45,54,56,62,69,75,77,86,99 }, &lt;-2.59453985846403671559e-15,9.63686233143785217929e-16,-1,1.00000000000000199840e+00,-5.55368876046575810079e+00&gt;
		1, { 32,54 }
		2, { 32,54,62 }
		1, { 32,56 }
		2, { 32,56,62 }
		1, { 32,62 }
		1, { 33,39 }
		2, { 33,39,54,62 }
		1, { 33,54 }
		1, { 34,35 }
		2, { 34,35,55,58,66 }
		1, { 34,55 }
		1, { 35,58 }
		1, { 36,47 }
		2, { 36,47,57 }
		3, { 36,47,57,59,63,71,81,83,87,103 }, &lt;1.42025509567459422931e-15,1,-1.02662806271823149982e-15,1.00000000000000022204e+00,-5.55368876046574833083e+00&gt;
		2, { 36,47,59,71,83 }
		1, { 36,57 }
		2, { 36,57,63 }
		1, { 36,59 }
		2, { 36,59,63 }
		1, { 36,63 }
		1, { 37,39 }
		2, { 37,39,59,63 }
		1, { 37,59 }
		1, { 38,60 }
		2, { 38,60,61 }
		1, { 38,61 }
		1, { 39,62 }
		2, { 39,62,63 }
		1, { 39,63 }
		1, { 40,41 }
		2, { 40,41,42,43 }
		3, { 40,41,42,43,64,65,66,67,88,89,90,91 }, &lt;3.88148201978585901881e-16,6.60083445040352050005e-16,-3.17147203154945995085e-16,-1,-5.55368876046574744265e+00&gt;
		2, { 40,41,64 }
		1, { 40,42 }
		2, { 40,42,65 }
		1, { 40,49 }
		2, { 40,49,65 }
		2, { 40,49,64,73 }
		3, { 40,49,64,65,73,88 }, &lt;-1.55672391507842802470e-15,-1,4.44778261450979491975e-16,-2.23606797749978625234e+00,-1.38326391566510356057e+01&gt;
		1, { 40,64 }
		2, { 40,64,65,88 }
		1, { 40,65 }
		1, { 41,43 }
		2, { 41,43,66 }
		1, { 41,55 }
		2, { 41,55,66 }
		2, { 41,55,64,76 }
		3, { 41,55,64,66,76,89 }, &lt;-5.33733913741171998269e-15,7.41297102418294510517e-17,-1,-2.23606797749978136736e+00,-1.38326391566510142894e+01&gt;
		1, { 41,64 }
		2, { 41,64,66,89 }
		1, { 41,66 }
		1, { 42,43 }
		2, { 42,43,67 }
		1, { 42,52 }
		2, { 42,52,65 }
		3, { 42,52,65,67,79,90 }, &lt;3.14018491736755033344e-16,-1.02056009814445394465e-15,1,-2.23606797749979024914e+00,-1.38326391566510551456e+01&gt;
		2, { 42,52,67,79 }
		1, { 42,65 }
		2, { 42,65,67,90 }
		1, { 42,67 }
		1, { 43,58 }
		2, { 43,58,66 }
		3, { 43,58,66,67,82,91 }, &lt;-1.88411095042053148197e-15,1,-3.68971727790687436583e-15,-2.23606797749978847278e+00,-1.38326391566510444875e+01&gt;
		2, { 43,58,67,82 }
		1, { 43,66 }
		2, { 43,66,67,91 }
		1, { 43,67 }
		1, { 44,45 }
		2, { 44,45,68,69 }
		3, { 44,45,68,69,74,77 }, &lt;-3.70648551209151187237e-16,-1,-1.00000000000000088818e+00,2.00000000000000266454e+00,-9.69316395855841150819e+00&gt;
		2, { 44,45,74,77 }
		1, { 44,50 }
		2, { 44,50,74 }
		1, { 44,68 }
		2, { 44,68,74 }
		1, { 44,74 }
		1, { 45,56 }
		2, { 45,56,77 }
		1, { 45,69 }
		2, { 45,69,77 }
		1, { 45,77 }
		1, { 46,47 }
		2, { 46,47,70,71 }
		3, { 46,47,70,71,78,81 }, &lt;-7.41297102418303754981e-16,1,9.99999999999999111822e-01,1.99999999999999933387e+00,-9.69316395855839729734e+00&gt;
		2, { 46,47,78,81 }
		1, { 46,51 }
		2, { 46,51,78 }
		1, { 46,70 }
		2, { 46,70,78 }
		1, { 46,78 }
		1, { 47,57 }
		2, { 47,57,81 }
		1, { 47,71 }
		2, { 47,71,81 }
		1, { 47,81 }
		1, { 48,60 }
		2, { 48,60,72,84,96 }
		1, { 48,72 }
		1, { 49,65 }
		2, { 49,65,73,88 }
		1, { 49,73 }
		1, { 50,51 }
		2, { 50,51,60,61 }
		3, { 50,51,60,61,84,85 }, &lt;-0,-1,9.99999999999997446487e-01,1.99999999999999888978e+00,-9.69316395855839729734e+00&gt;
		2, { 50,51,84,85 }
		2, { 50,51,74,78,106,107 }
		3, { 50,51,74,78,84,85,106,107,112 }, &lt;1,-1.00000000000001554312e+00,1.00000000000001265654e+00,6.23606797749982622037e+00,-2.35258031152096194205e+01&gt;
		1, { 50,60 }
		2, { 50,60,84 }
		1, { 50,74 }
		2, { 50,74,84 }
		1, { 50,84 }
		1, { 51,61 }
		2, { 51,61,85 }
		1, { 51,78 }
		2, { 51,78,85 }
		1, { 51,85 }
		1, { 52,65 }
		2, { 52,65,79,90 }
		1, { 52,79 }
		1, { 53,61 }
		2, { 53,61,80,85,100 }
		1, { 53,80 }
		1, { 54,62 }
		2, { 54,62,75,86,99 }
		1, { 54,75 }
		1, { 55,66 }
		2, { 55,66,76,89 }
		1, { 55,76 }
		1, { 56,57 }
		2, { 56,57,62,63 }
		3, { 56,57,62,63,86,87 }, &lt;4.06474074180839629884e-15,1,-1.00000000000000288658e+00,2.00000000000000666134e+00,-9.69316395855843104812e+00&gt;
		2, { 56,57,86,87 }
		2, { 56,57,77,81,106,107 }
		3, { 56,57,77,81,86,87,106,107,113 }, &lt;1,1.00000000000000999201e+00,-1.00000000000001332268e+00,6.23606797749980845680e+00,-2.35258031152095519190e+01&gt;
		1, { 56,62 }
		2, { 56,62,86 }
		1, { 56,77 }
		2, { 56,77,86 }
		1, { 56,86 }
		1, { 57,63 }
		2, { 57,63,87 }
		1, { 57,81 }
		2, { 57,81,87 }
		1, { 57,87 }
		1, { 58,66 }
		2, { 58,66,82,91 }
		1, { 58,82 }
		1, { 59,63 }
		2, { 59,63,83,87,103 }
		1, { 59,83 }
		1, { 60,61 }
		2, { 60,61,84,85 }
		1, { 60,84 }
		1, { 61,85 }
		1, { 62,63 }
		2, { 62,63,86,87 }
		1, { 62,86 }
		1, { 63,87 }
		1, { 64,73 }
		2, { 64,73,88 }
		2, { 64,73,76,95,98 }
		3, { 64,73,76,88,89,95,98,116,120 }, &lt;1,-9.99999999999996336264e-01,-9.99999999999998667732e-01,-2.23606797749978314371e+00,-1.52468527190241065483e+01&gt;
		1, { 64,76 }
		2, { 64,76,89 }
		1, { 64,88 }
		2, { 64,88,89 }
		1, { 64,89 }
		1, { 65,88 }
		2, { 65,88,90 }
		1, { 65,90 }
		1, { 66,89 }
		2, { 66,89,91 }
		1, { 66,91 }
		1, { 67,79 }
		2, { 67,79,90 }
		2, { 67,79,82,101,104 }
		3, { 67,79,82,90,91,101,104,117,125 }, &lt;1,1.00000000000000022204e+00,9.99999999999997890576e-01,-2.23606797749978447598e+00,-1.52468527190241189828e+01&gt;
		1, { 67,82 }
		2, { 67,82,91 }
		1, { 67,90 }
		2, { 67,90,91 }
		1, { 67,91 }
		1, { 68,69 }
		2, { 68,69,74,77 }
		3, { 68,69,74,77,92,96,99,106,114,115,121,122 }, &lt;1,-9.99999999999997890576e-01,-9.99999999999999111822e-01,1.76393202250020908473e+00,-9.58999846953175882902e+00&gt;
		2, { 68,69,92 }
		1, { 68,72 }
		2, { 68,72,92,94 }
		3, { 68,72,92,94,96,114 }, &lt;1,-2.23606797749976404788e+00,-9.99999999999990341060e-01,1.47213595499956606538e+00,-1.29586071077532967166e+01&gt;
		2, { 68,72,96 }
		1, { 68,74 }
		2, { 68,74,96 }
		1, { 68,92 }
		2, { 68,92,96,114 }
		1, { 68,96 }
		1, { 69,75 }
		2, { 69,75,92,97 }
		3, { 69,75,92,97,99,115 }, &lt;1,-9.99999999999989896970e-01,-2.23606797749976582423e+00,1.47213595499956650947e+00,-1.29586071077533002693e+01&gt;
		2, { 69,75,99 }
		1, { 69,77 }
		2, { 69,77,99 }
		1, { 69,92 }
		2, { 69,92,99,115 }
		1, { 69,99 }
		1, { 70,71 }
		2, { 70,71,78,81 }
		3, { 70,71,78,81,93,100,103,107,118,119,123,124 }, &lt;1,9.99999999999999888978e-01,9.99999999999998667732e-01,1.76393202250020930677e+00,-9.58999846953176415809e+00&gt;
		2, { 70,71,93 }
		1, { 70,78 }
		2, { 70,78,100 }
		1, { 70,80 }
		2, { 70,80,100 }
		2, { 70,80,93,102 }
		3, { 70,80,93,100,102,118 }, &lt;1,1.00000000000000022204e+00,2.23606797749979069323e+00,1.47213595499957894397e+00,-1.29586071077534139562e+01&gt;
		1, { 70,93 }
		2, { 70,93,100,118 }
		1, { 70,100 }
		1, { 71,81 }
		2, { 71,81,103 }
		1, { 71,83 }
		2, { 71,83,103 }
		2, { 71,83,93,105 }
		3, { 71,83,93,103,105,119 }, &lt;1,2.23606797749978891687e+00,9.99999999999998112621e-01,1.47213595499957761170e+00,-1.29586071077534032980e+01&gt;
		1, { 71,93 }
		2, { 71,93,103,119 }
		1, { 71,103 }
		1, { 72,94 }
		2, { 72,94,96,114 }
		1, { 72,96 }
		1, { 73,88 }
		2, { 73,88,95,116,120 }
		1, { 73,95 }
		1, { 74,77 }
		2, { 74,77,106 }
		1, { 74,84 }
		2, { 74,84,96 }
		3, { 74,84,96,106,112,121 }, &lt;1,-9.99999999999992894573e-01,1.14236271685837169236e-15,1.99999999999999067413e+00,-9.69316395855836354656e+00&gt;
		2, { 74,84,106,112 }
		1, { 74,96 }
		2, { 74,96,106,121 }
		1, { 74,106 }
		1, { 75,97 }
		2, { 75,97,99,115 }
		1, { 75,99 }
		1, { 76,89 }
		2, { 76,89,98,116,120 }
		1, { 76,98 }
		1, { 77,86 }
		2, { 77,86,99 }
		3, { 77,86,99,106,113,122 }, &lt;1,1.11770629679422098710e-15,-9.99999999999994004796e-01,1.99999999999999089617e+00,-9.69316395855836532292e+00&gt;
		2, { 77,86,106,113 }
		1, { 77,99 }
		2, { 77,99,106,122 }
		1, { 77,106 }
		1, { 78,81 }
		2, { 78,81,107 }
		1, { 78,85 }
		2, { 78,85,100 }
		3, { 78,85,100,107,112,123 }, &lt;1,-7.34188735437837854789e-16,1.00000000000000022204e+00,1.99999999999999111822e+00,-9.69316395855837065199e+00&gt;
		2, { 78,85,107,112 }
		1, { 78,100 }
		2, { 78,100,107,123 }
		1, { 78,107 }
		1, { 79,90 }
		2, { 79,90,101,117,125 }
		1, { 79,101 }
		1, { 80,100 }
		2, { 80,100,102,118 }
		1, { 80,102 }
		1, { 81,87 }
		2, { 81,87,103 }
		3, { 81,87,103,107,113,124 }, &lt;1,9.99999999999998445688e-01,-1.14447041997095075017e-15,1.99999999999998911981e+00,-9.69316395855836177020e+00&gt;
		2, { 81,87,107,113 }
		1, { 81,103 }
		2, { 81,103,107,124 }
		1, { 81,107 }
		1, { 82,91 }
		2, { 82,91,104,117,125 }
		1, { 82,104 }
		1, { 83,103 }
		2, { 83,103,105,119 }
		1, { 83,105 }
		1, { 84,85 }
		2, { 84,85,112 }
		1, { 84,96 }
		2, { 84,96,112,121 }
		1, { 84,112 }
		1, { 85,100 }
		2, { 85,100,112,123 }
		1, { 85,112 }
		1, { 86,87 }
		2, { 86,87,113 }
		1, { 86,99 }
		2, { 86,99,113,122 }
		1, { 86,113 }
		1, { 87,103 }
		2, { 87,103,113,124 }
		1, { 87,113 }
		1, { 88,89 }
		2, { 88,89,90,91 }
		3, { 88,89,90,91,116,117 }, &lt;1,1.60696067543373176080e-15,-7.16939619899043000998e-16,-2.23606797749978980505e+00,-1.38326391566510551456e+01&gt;
		2, { 88,89,116 }
		1, { 88,90 }
		2, { 88,90,116,117 }
		1, { 88,116 }
		1, { 89,91 }
		2, { 89,91,116,117 }
		1, { 89,116 }
		1, { 90,91 }
		2, { 90,91,117 }
		1, { 90,117 }
		1, { 91,117 }
		1, { 92,94 }
		2, { 92,94,97,108,109 }
		3, { 92,94,97,108,109,114,115,126,128 }, &lt;4.23606797749980934498e+00,-4.23606797749979957501e+00,-4.23606797749980135137e+00,1,-3.32189670737679634271e+01&gt;
		2, { 92,94,114 }
		1, { 92,97 }
		2, { 92,97,115 }
		1, { 92,114 }
		2, { 92,114,115 }
		1, { 92,115 }
		1, { 93,102 }
		2, { 93,102,105,110,111 }
		3, { 93,102,105,110,111,118,119,127,129 }, &lt;4.23606797749979868684e+00,4.23606797749979513412e+00,4.23606797749979424594e+00,1,-3.32189670737679136892e+01&gt;
		2, { 93,102,118 }
		1, { 93,105 }
		2, { 93,105,119 }
		1, { 93,118 }
		2, { 93,118,119 }
		1, { 93,119 }
		1, { 94,108 }
		2, { 94,108,114,126,128 }
		1, { 94,114 }
		1, { 95,98 }
		2, { 95,98,108,109 }
		3, { 95,98,108,109,120,126 }, &lt;1.41202265916659674971e+00,-1.41202265916659408518e+00,-1.41202265916659519540e+00,-1,-1.35412951403518349025e+01&gt;
		2, { 95,98,120 }
		1, { 95,108 }
		2, { 95,108,120,126 }
		1, { 95,120 }
		1, { 96,114 }
		2, { 96,114,121 }
		1, { 96,121 }
		1, { 97,109 }
		2, { 97,109,115,126,128 }
		1, { 97,115 }
		1, { 98,109 }
		2, { 98,109,120,126 }
		1, { 98,120 }
		1, { 99,115 }
		2, { 99,115,122 }
		1, { 99,122 }
		1, { 100,118 }
		2, { 100,118,123 }
		1, { 100,123 }
		1, { 101,104 }
		2, { 101,104,110,111 }
		3, { 101,104,110,111,125,127 }, &lt;1.41202265916659563949e+00,1.41202265916659608358e+00,1.41202265916659519540e+00,-1,-1.35412951403518331261e+01&gt;
		2, { 101,104,125 }
		1, { 101,110 }
		2, { 101,110,125,127 }
		1, { 101,125 }
		1, { 102,110 }
		2, { 102,110,118,127,129 }
		1, { 102,118 }
		1, { 103,119 }
		2, { 103,119,124 }
		1, { 103,124 }
		1, { 104,111 }
		2, { 104,111,125,127 }
		1, { 104,125 }
		1, { 105,111 }
		2, { 105,111,119,127,129 }
		1, { 105,119 }
		1, { 106,107 }
		2, { 106,107,112 }
		3, { 106,107,112,113,121,122,123,124,130,131 }, &lt;1,4.29126097969788408173e-16,-8.31431814816465053161e-16,9.99999999999991007194e-01,-5.55368876046572168548e+00&gt;
		2, { 106,107,113 }
		1, { 106,112 }
		2, { 106,112,121 }
		1, { 106,113 }
		2, { 106,113,122 }
		1, { 106,121 }
		2, { 106,121,122 }
		1, { 106,122 }
		1, { 107,112 }
		2, { 107,112,123 }
		1, { 107,113 }
		2, { 107,113,124 }
		1, { 107,123 }
		2, { 107,123,124 }
		1, { 107,124 }
		1, { 108,109 }
		2, { 108,109,126 }
		1, { 108,126 }
		1, { 109,126 }
		1, { 110,111 }
		2, { 110,111,127 }
		1, { 110,127 }
		1, { 111,127 }
		1, { 112,121 }
		2, { 112,121,123,130,131 }
		1, { 112,123 }
		1, { 113,122 }
		2, { 113,122,124,130,131 }
		1, { 113,124 }
		1, { 114,115 }
		2, { 114,115,121,122 }
		3, { 114,115,121,122,128,130 }, &lt;2.23606797749979202550e+00,-1,-1.00000000000000155431e+00,1.47213595499958294077e+00,-1.29586071077534246143e+01&gt;
		2, { 114,115,128 }
		1, { 114,121 }
		2, { 114,121,128,130 }
		1, { 114,128 }
		1, { 115,122 }
		2, { 115,122,128,130 }
		1, { 115,128 }
		1, { 116,117 }
		2, { 116,117,120,125,126,127,128,129,130,131 }
		1, { 116,120 }
		1, { 117,125 }
		1, { 118,119 }
		2, { 118,119,123,124 }
		3, { 118,119,123,124,129,131 }, &lt;2.23606797749978980505e+00,1,9.99999999999998889777e-01,1.47213595499958027624e+00,-1.29586071077534121798e+01&gt;
		2, { 118,119,129 }
		1, { 118,123 }
		2, { 118,123,129,131 }
		1, { 118,129 }
		1, { 119,124 }
		2, { 119,124,129,131 }
		1, { 119,129 }
		1, { 120,126 }
		1, { 121,122 }
		2, { 121,122,130 }
		1, { 121,130 }
		1, { 122,130 }
		1, { 123,124 }
		2, { 123,124,131 }
		1, { 123,131 }
		1, { 124,131 }
		1, { 125,127 }
		1, { 126,128 }
		1, { 127,129 }
		1, { 128,130 }
		1, { 129,131 }
		1, { 130,131 }
	}
}
</pre></body></html>