# Automatically generated by makepoly. polytope magna_ursachoron { dimension 4 vertices { <-4.40956595483037983030e+00, -7.07106781186547572737e-01, 7.07106781186547572737e-01, 1.14412280563536850053e+00> <-4.40956595483037983030e+00, 7.07106781186547572737e-01, -7.07106781186547572737e-01, 1.14412280563536850053e+00> <-4.13947519809265340740e+00, -1.85122958682191618429e+00, 1.85122958682191618429e+00, 0> <-4.13947519809265340740e+00, 1.85122958682191618429e+00, -1.85122958682191618429e+00, 0> <-3.70245917364383236858e+00, -2.28824561127073700106e+00, 2.28824561127073700106e+00, -1.85122958682191618429e+00> <-3.70245917364383236858e+00, 2.28824561127073700106e+00, -2.28824561127073700106e+00, -1.85122958682191618429e+00> <-3.26544314919501132977e+00, -1.85122958682191618429e+00, 4.37016024448821094328e-01, 2.28824561127073700106e+00> <-3.26544314919501132977e+00, -1.85122958682191618429e+00, 1.85122958682191618429e+00, -3.70245917364383236858e+00> <-3.26544314919501132977e+00, -4.37016024448821094328e-01, 1.85122958682191618429e+00, 2.28824561127073700106e+00> <-3.26544314919501132977e+00, 4.37016024448821094328e-01, -1.85122958682191618429e+00, 2.28824561127073700106e+00> <-3.26544314919501132977e+00, 1.85122958682191618429e+00, -1.85122958682191618429e+00, -3.70245917364383236858e+00> <-3.26544314919501132977e+00, 1.85122958682191618429e+00, -4.37016024448821094328e-01, 2.28824561127073700106e+00> <-2.99535239245728490687e+00, -2.99535239245728490687e+00, 1.58113883008418976139e+00, 1.14412280563536850053e+00> <-2.99535239245728490687e+00, -1.58113883008418976139e+00, 2.99535239245728490687e+00, 1.14412280563536850053e+00> <-2.99535239245728490687e+00, -7.07106781186547572737e-01, 7.07106781186547572737e-01, -4.84658197927920042503e+00> <-2.99535239245728490687e+00, 7.07106781186547572737e-01, -7.07106781186547572737e-01, -4.84658197927920042503e+00> <-2.99535239245728490687e+00, 1.58113883008418976139e+00, -2.99535239245728490687e+00, 1.14412280563536850053e+00> <-2.99535239245728490687e+00, 2.99535239245728490687e+00, -1.58113883008418976139e+00, 1.14412280563536850053e+00> <-2.55833636800846342396e+00, -1.14412280563536850053e+00, -1.14412280563536850053e+00, 2.99535239245728490687e+00> <-2.55833636800846342396e+00, 1.14412280563536850053e+00, 1.14412280563536850053e+00, 2.99535239245728490687e+00> <-2.28824561127073700106e+00, -3.70245917364383236858e+00, 2.28824561127073700106e+00, -1.85122958682191618429e+00> <-2.28824561127073700106e+00, -2.28824561127073700106e+00, 3.70245917364383236858e+00, -1.85122958682191618429e+00> <-2.28824561127073700106e+00, 2.28824561127073700106e+00, -3.70245917364383236858e+00, -1.85122958682191618429e+00> <-2.28824561127073700106e+00, 3.70245917364383236858e+00, -2.28824561127073700106e+00, -1.85122958682191618429e+00> <-2.12132034355964238515e+00, -7.07106781186547572737e-01, 7.07106781186547572737e-01, 3.43236841690610594569e+00> <-2.12132034355964238515e+00, 7.07106781186547572737e-01, -7.07106781186547572737e-01, 3.43236841690610594569e+00> <-1.85122958682191618429e+00, -4.13947519809265340740e+00, 1.85122958682191618429e+00, 0> <-1.85122958682191618429e+00, -3.26544314919501132977e+00, 4.37016024448821094328e-01, 2.28824561127073700106e+00> <-1.85122958682191618429e+00, -3.26544314919501132977e+00, 1.85122958682191618429e+00, -3.70245917364383236858e+00> <-1.85122958682191618429e+00, -1.85122958682191618429e+00, 3.26544314919501132977e+00, -3.70245917364383236858e+00> <-1.85122958682191618429e+00, -1.85122958682191618429e+00, 4.13947519809265340740e+00, 0> <-1.85122958682191618429e+00, -4.37016024448821094328e-01, 3.26544314919501132977e+00, 2.28824561127073700106e+00> <-1.85122958682191618429e+00, 4.37016024448821094328e-01, -3.26544314919501132977e+00, 2.28824561127073700106e+00> <-1.85122958682191618429e+00, 1.85122958682191618429e+00, -4.13947519809265340740e+00, 0> <-1.85122958682191618429e+00, 1.85122958682191618429e+00, -3.26544314919501132977e+00, -3.70245917364383236858e+00> <-1.85122958682191618429e+00, 3.26544314919501132977e+00, -1.85122958682191618429e+00, -3.70245917364383236858e+00> <-1.85122958682191618429e+00, 3.26544314919501132977e+00, -4.37016024448821094328e-01, 2.28824561127073700106e+00> <-1.85122958682191618429e+00, 4.13947519809265340740e+00, -1.85122958682191618429e+00, 0> <-1.58113883008418976139e+00, -2.99535239245728490687e+00, 2.99535239245728490687e+00, 1.14412280563536850053e+00> <-1.58113883008418976139e+00, 2.99535239245728490687e+00, -2.99535239245728490687e+00, 1.14412280563536850053e+00> <-1.41421356237309514547e+00, -1.41421356237309514547e+00, 0, -5.55368876046574833083e+00> <-1.41421356237309514547e+00, 0, -1.41421356237309514547e+00, -5.55368876046574833083e+00> <-1.41421356237309514547e+00, 0, 1.41421356237309514547e+00, -5.55368876046574833083e+00> <-1.41421356237309514547e+00, 1.41421356237309514547e+00, 0, -5.55368876046574833083e+00> <-1.14412280563536850053e+00, -2.55833636800846342396e+00, -1.14412280563536850053e+00, 2.99535239245728490687e+00> <-1.14412280563536850053e+00, -1.14412280563536850053e+00, -2.55833636800846342396e+00, 2.99535239245728490687e+00> <-1.14412280563536850053e+00, 1.14412280563536850053e+00, 2.55833636800846342396e+00, 2.99535239245728490687e+00> <-1.14412280563536850053e+00, 2.55833636800846342396e+00, 1.14412280563536850053e+00, 2.99535239245728490687e+00> <-7.07106781186547572737e-01, -4.40956595483037983030e+00, 7.07106781186547572737e-01, 1.14412280563536850053e+00> <-7.07106781186547572737e-01, -2.99535239245728490687e+00, 7.07106781186547572737e-01, -4.84658197927920042503e+00> <-7.07106781186547572737e-01, -2.12132034355964238515e+00, 7.07106781186547572737e-01, 3.43236841690610594569e+00> <-7.07106781186547572737e-01, -7.07106781186547572737e-01, 2.12132034355964238515e+00, 3.43236841690610594569e+00> <-7.07106781186547572737e-01, -7.07106781186547572737e-01, 2.99535239245728490687e+00, -4.84658197927920042503e+00> <-7.07106781186547572737e-01, -7.07106781186547572737e-01, 4.40956595483037983030e+00, 1.14412280563536850053e+00> <-7.07106781186547572737e-01, 7.07106781186547572737e-01, -4.40956595483037983030e+00, 1.14412280563536850053e+00> <-7.07106781186547572737e-01, 7.07106781186547572737e-01, -2.99535239245728490687e+00, -4.84658197927920042503e+00> <-7.07106781186547572737e-01, 7.07106781186547572737e-01, -2.12132034355964238515e+00, 3.43236841690610594569e+00> <-7.07106781186547572737e-01, 2.12132034355964238515e+00, -7.07106781186547572737e-01, 3.43236841690610594569e+00> <-7.07106781186547572737e-01, 2.99535239245728490687e+00, -7.07106781186547572737e-01, -4.84658197927920042503e+00> <-7.07106781186547572737e-01, 4.40956595483037983030e+00, -7.07106781186547572737e-01, 1.14412280563536850053e+00> <-4.37016024448821094328e-01, -3.26544314919501132977e+00, 1.85122958682191618429e+00, 2.28824561127073700106e+00> <-4.37016024448821094328e-01, -1.85122958682191618429e+00, 3.26544314919501132977e+00, 2.28824561127073700106e+00> <-4.37016024448821094328e-01, 1.85122958682191618429e+00, -3.26544314919501132977e+00, 2.28824561127073700106e+00> <-4.37016024448821094328e-01, 3.26544314919501132977e+00, -1.85122958682191618429e+00, 2.28824561127073700106e+00> <0, -1.41421356237309514547e+00, -1.41421356237309514547e+00, -5.55368876046574833083e+00> <0, -1.41421356237309514547e+00, 1.41421356237309514547e+00, -5.55368876046574833083e+00> <0, 1.41421356237309514547e+00, -1.41421356237309514547e+00, -5.55368876046574833083e+00> <0, 1.41421356237309514547e+00, 1.41421356237309514547e+00, -5.55368876046574833083e+00> <4.37016024448821094328e-01, -3.26544314919501132977e+00, -1.85122958682191618429e+00, 2.28824561127073700106e+00> <4.37016024448821094328e-01, -1.85122958682191618429e+00, -3.26544314919501132977e+00, 2.28824561127073700106e+00> <4.37016024448821094328e-01, 1.85122958682191618429e+00, 3.26544314919501132977e+00, 2.28824561127073700106e+00> <4.37016024448821094328e-01, 3.26544314919501132977e+00, 1.85122958682191618429e+00, 2.28824561127073700106e+00> <7.07106781186547572737e-01, -4.40956595483037983030e+00, -7.07106781186547572737e-01, 1.14412280563536850053e+00> <7.07106781186547572737e-01, -2.99535239245728490687e+00, -7.07106781186547572737e-01, -4.84658197927920042503e+00> <7.07106781186547572737e-01, -2.12132034355964238515e+00, -7.07106781186547572737e-01, 3.43236841690610594569e+00> <7.07106781186547572737e-01, -7.07106781186547572737e-01, -4.40956595483037983030e+00, 1.14412280563536850053e+00> <7.07106781186547572737e-01, -7.07106781186547572737e-01, -2.99535239245728490687e+00, -4.84658197927920042503e+00> <7.07106781186547572737e-01, -7.07106781186547572737e-01, -2.12132034355964238515e+00, 3.43236841690610594569e+00> <7.07106781186547572737e-01, 7.07106781186547572737e-01, 2.12132034355964238515e+00, 3.43236841690610594569e+00> <7.07106781186547572737e-01, 7.07106781186547572737e-01, 2.99535239245728490687e+00, -4.84658197927920042503e+00> <7.07106781186547572737e-01, 7.07106781186547572737e-01, 4.40956595483037983030e+00, 1.14412280563536850053e+00> <7.07106781186547572737e-01, 2.12132034355964238515e+00, 7.07106781186547572737e-01, 3.43236841690610594569e+00> <7.07106781186547572737e-01, 2.99535239245728490687e+00, 7.07106781186547572737e-01, -4.84658197927920042503e+00> <7.07106781186547572737e-01, 4.40956595483037983030e+00, 7.07106781186547572737e-01, 1.14412280563536850053e+00> <1.14412280563536850053e+00, -2.55833636800846342396e+00, 1.14412280563536850053e+00, 2.99535239245728490687e+00> <1.14412280563536850053e+00, -1.14412280563536850053e+00, 2.55833636800846342396e+00, 2.99535239245728490687e+00> <1.14412280563536850053e+00, 1.14412280563536850053e+00, -2.55833636800846342396e+00, 2.99535239245728490687e+00> <1.14412280563536850053e+00, 2.55833636800846342396e+00, -1.14412280563536850053e+00, 2.99535239245728490687e+00> <1.41421356237309514547e+00, -1.41421356237309514547e+00, 0, -5.55368876046574833083e+00> <1.41421356237309514547e+00, 0, -1.41421356237309514547e+00, -5.55368876046574833083e+00> <1.41421356237309514547e+00, 0, 1.41421356237309514547e+00, -5.55368876046574833083e+00> <1.41421356237309514547e+00, 1.41421356237309514547e+00, 0, -5.55368876046574833083e+00> <1.58113883008418976139e+00, -2.99535239245728490687e+00, -2.99535239245728490687e+00, 1.14412280563536850053e+00> <1.58113883008418976139e+00, 2.99535239245728490687e+00, 2.99535239245728490687e+00, 1.14412280563536850053e+00> <1.85122958682191618429e+00, -4.13947519809265340740e+00, -1.85122958682191618429e+00, 0> <1.85122958682191618429e+00, -3.26544314919501132977e+00, -1.85122958682191618429e+00, -3.70245917364383236858e+00> <1.85122958682191618429e+00, -3.26544314919501132977e+00, -4.37016024448821094328e-01, 2.28824561127073700106e+00> <1.85122958682191618429e+00, -1.85122958682191618429e+00, -4.13947519809265340740e+00, 0> <1.85122958682191618429e+00, -1.85122958682191618429e+00, -3.26544314919501132977e+00, -3.70245917364383236858e+00> <1.85122958682191618429e+00, -4.37016024448821094328e-01, -3.26544314919501132977e+00, 2.28824561127073700106e+00> <1.85122958682191618429e+00, 4.37016024448821094328e-01, 3.26544314919501132977e+00, 2.28824561127073700106e+00> <1.85122958682191618429e+00, 1.85122958682191618429e+00, 3.26544314919501132977e+00, -3.70245917364383236858e+00> <1.85122958682191618429e+00, 1.85122958682191618429e+00, 4.13947519809265340740e+00, 0> <1.85122958682191618429e+00, 3.26544314919501132977e+00, 4.37016024448821094328e-01, 2.28824561127073700106e+00> <1.85122958682191618429e+00, 3.26544314919501132977e+00, 1.85122958682191618429e+00, -3.70245917364383236858e+00> <1.85122958682191618429e+00, 4.13947519809265340740e+00, 1.85122958682191618429e+00, 0> <2.12132034355964238515e+00, -7.07106781186547572737e-01, -7.07106781186547572737e-01, 3.43236841690610594569e+00> <2.12132034355964238515e+00, 7.07106781186547572737e-01, 7.07106781186547572737e-01, 3.43236841690610594569e+00> <2.28824561127073700106e+00, -3.70245917364383236858e+00, -2.28824561127073700106e+00, -1.85122958682191618429e+00> <2.28824561127073700106e+00, -2.28824561127073700106e+00, -3.70245917364383236858e+00, -1.85122958682191618429e+00> <2.28824561127073700106e+00, 2.28824561127073700106e+00, 3.70245917364383236858e+00, -1.85122958682191618429e+00> <2.28824561127073700106e+00, 3.70245917364383236858e+00, 2.28824561127073700106e+00, -1.85122958682191618429e+00> <2.55833636800846342396e+00, -1.14412280563536850053e+00, 1.14412280563536850053e+00, 2.99535239245728490687e+00> <2.55833636800846342396e+00, 1.14412280563536850053e+00, -1.14412280563536850053e+00, 2.99535239245728490687e+00> <2.99535239245728490687e+00, -2.99535239245728490687e+00, -1.58113883008418976139e+00, 1.14412280563536850053e+00> <2.99535239245728490687e+00, -1.58113883008418976139e+00, -2.99535239245728490687e+00, 1.14412280563536850053e+00> <2.99535239245728490687e+00, -7.07106781186547572737e-01, -7.07106781186547572737e-01, -4.84658197927920042503e+00> <2.99535239245728490687e+00, 7.07106781186547572737e-01, 7.07106781186547572737e-01, -4.84658197927920042503e+00> <2.99535239245728490687e+00, 1.58113883008418976139e+00, 2.99535239245728490687e+00, 1.14412280563536850053e+00> <2.99535239245728490687e+00, 2.99535239245728490687e+00, 1.58113883008418976139e+00, 1.14412280563536850053e+00> <3.26544314919501132977e+00, -1.85122958682191618429e+00, -1.85122958682191618429e+00, -3.70245917364383236858e+00> <3.26544314919501132977e+00, -1.85122958682191618429e+00, -4.37016024448821094328e-01, 2.28824561127073700106e+00> <3.26544314919501132977e+00, -4.37016024448821094328e-01, -1.85122958682191618429e+00, 2.28824561127073700106e+00> <3.26544314919501132977e+00, 4.37016024448821094328e-01, 1.85122958682191618429e+00, 2.28824561127073700106e+00> <3.26544314919501132977e+00, 1.85122958682191618429e+00, 4.37016024448821094328e-01, 2.28824561127073700106e+00> <3.26544314919501132977e+00, 1.85122958682191618429e+00, 1.85122958682191618429e+00, -3.70245917364383236858e+00> <3.70245917364383236858e+00, -2.28824561127073700106e+00, -2.28824561127073700106e+00, -1.85122958682191618429e+00> <3.70245917364383236858e+00, 2.28824561127073700106e+00, 2.28824561127073700106e+00, -1.85122958682191618429e+00> <4.13947519809265340740e+00, -1.85122958682191618429e+00, -1.85122958682191618429e+00, 0> <4.13947519809265340740e+00, 1.85122958682191618429e+00, 1.85122958682191618429e+00, 0> <4.40956595483037983030e+00, -7.07106781186547572737e-01, -7.07106781186547572737e-01, 1.14412280563536850053e+00> <4.40956595483037983030e+00, 7.07106781186547572737e-01, 7.07106781186547572737e-01, 1.14412280563536850053e+00> } 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 }, <-4.23606797749978980505e+00,-4.23606797749978802869e+00,-4.23606797749978802869e+00,-1,-1.75350983302948861819e+01> 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 }, <-4.23606797749978980505e+00,4.23606797749978802869e+00,4.23606797749978802869e+00,-1,-1.75350983302948861819e+01> 2, { 0,1,6,9,18 } 3, { 0,1,6,8,9,11,18,19,24,25 }, <-1,-0,-0,1.00000000000000111022e+00,-5.55368876046574833083e+00> 2, { 0,1,8,11,19 } 1, { 0,2 } 2, { 0,2,6,12 } 3, { 0,2,6,8,12,13 }, <-2.23606797749978625234e+00,-1,9.99999999999999333866e-01,1.47213595499957938806e+00,-1.29586071077534015217e+01> 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 }, <-2.23606797749979513412e+00,1,-1.00000000000000066613e+00,1.47213595499957938806e+00,-1.29586071077534299434e+01> 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 }, <-4.23606797749979602230e+00,-4.23606797749983332579e+00,4.23606797749983599033e+00,1,-3.32189670737680913248e+01> 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 }, <-4.23606797749981200951e+00,4.23606797749980845680e+00,-4.23606797749980934498e+00,1,-3.32189670737680202706e+01> 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 }, <-1.41202265916659519540e+00,-1.41202265916659630562e+00,1.41202265916659741585e+00,-1,-1.35412951403518384552e+01> 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 }, <-1.41202265916660896217e+00,1.41202265916659852607e+00,-1.41202265916659830403e+00,-1,-1.35412951403518793114e+01> 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 }, <-1,-1.00000000000000044409e+00,9.99999999999997890576e-01,1.76393202250021019495e+00,-9.58999846953176771081e+00> 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 }, <-1,-9.99999999999996669331e-01,1.18607536386926451151e-15,1.99999999999999555911e+00,-9.69316395855838131013e+00> 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 }, <-1,-1.00000000000000288658e+00,1.00000000000000066613e+00,-2.23606797749979513412e+00,-1.52468527190241793789e+01> 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 }, <-1,-3.92887464281695941430e-15,9.99999999999999555911e-01,2.00000000000000088818e+00,-9.69316395855840440277e+00> 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 }, <-1,9.99999999999994559907e-01,-9.99999999999997113420e-01,1.76393202250020486588e+00,-9.58999846953174639452e+00> 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 }, <-1,7.41297102418287188902e-16,-9.99999999999995892175e-01,1.99999999999999311662e+00,-9.69316395855837420470e+00> 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 }, <-1,1.00000000000000133227e+00,-1.00000000000000133227e+00,-2.23606797749979957501e+00,-1.52468527190241953662e+01> 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 }, <-1,9.99999999999998556710e-01,-3.55822609160779728162e-15,1.99999999999999866773e+00,-9.69316395855839552098e+00> 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 }, <-1,-2.23606797749979779866e+00,1.00000000000000222045e+00,1.47213595499958160850e+00,-1.29586071077534459306e+01> 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 }, <-1,-1.00000000000000421885e+00,2.23606797749979557821e+00,1.47213595499958160850e+00,-1.29586071077534459306e+01> 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 }, <-1,1.28281105415769735831e-15,-5.49776166067584624392e-16,-2.23606797749978492007e+00,-1.38326391566510285003e+01> 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 }, <-1,9.99999999999998889777e-01,-2.23606797749978669643e+00,1.47213595499957738966e+00,-1.29586071077533979690e+01> 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 }, <-1,2.23606797749978403189e+00,-1.00000000000000155431e+00,1.47213595499957738966e+00,-1.29586071077533979690e+01> 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 }, <-1,-9.99999999999984345855e-01,-9.99999999999985567101e-01,6.23606797749972230349e+00,-2.35258031152091966476e+01> 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 }, <-1,9.99999999999994004796e-01,9.99999999999992783550e-01,6.23606797749979424594e+00,-2.35258031152094417848e+01> 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 }, <4.23606797749978003509e+00,-4.23606797749983154944e+00,4.23606797749983599033e+00,-1,-1.75350983302951313192e+01> 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 }, <4.23606797749975427791e+00,4.23606797749978181145e+00,-4.23606797749978447598e+00,-1,-1.75350983302949181564e+01> 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 }, <-2.96518840967314402244e-15,8.33959240220571756312e-17,-1.57525634263885776192e-16,1,-3.43236841690610727795e+00> 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 }, <-3.18757754039866946439e-15,-1,1.26020507411110198676e-15,1.00000000000000222045e+00,-5.55368876046575898897e+00> 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 }, <2.42817806679849547903e-15,-8.88208799088278455735e-16,1,1.00000000000000066613e+00,-5.55368876046574921901e+00> 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 }, <-2.59453985846403671559e-15,9.63686233143785217929e-16,-1,1.00000000000000199840e+00,-5.55368876046575810079e+00> 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 }, <1.42025509567459422931e-15,1,-1.02662806271823149982e-15,1.00000000000000022204e+00,-5.55368876046574833083e+00> 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 }, <3.88148201978585901881e-16,6.60083445040352050005e-16,-3.17147203154945995085e-16,-1,-5.55368876046574744265e+00> 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 }, <-1.55672391507842802470e-15,-1,4.44778261450979491975e-16,-2.23606797749978625234e+00,-1.38326391566510356057e+01> 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 }, <-5.33733913741171998269e-15,7.41297102418294510517e-17,-1,-2.23606797749978136736e+00,-1.38326391566510142894e+01> 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 }, <3.14018491736755033344e-16,-1.02056009814445394465e-15,1,-2.23606797749979024914e+00,-1.38326391566510551456e+01> 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 }, <-1.88411095042053148197e-15,1,-3.68971727790687436583e-15,-2.23606797749978847278e+00,-1.38326391566510444875e+01> 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 }, <-3.70648551209151187237e-16,-1,-1.00000000000000088818e+00,2.00000000000000266454e+00,-9.69316395855841150819e+00> 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 }, <-7.41297102418303754981e-16,1,9.99999999999999111822e-01,1.99999999999999933387e+00,-9.69316395855839729734e+00> 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 }, <-0,-1,9.99999999999997446487e-01,1.99999999999999888978e+00,-9.69316395855839729734e+00> 2, { 50,51,84,85 } 2, { 50,51,74,78,106,107 } 3, { 50,51,74,78,84,85,106,107,112 }, <1,-1.00000000000001554312e+00,1.00000000000001265654e+00,6.23606797749982622037e+00,-2.35258031152096194205e+01> 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 }, <4.06474074180839629884e-15,1,-1.00000000000000288658e+00,2.00000000000000666134e+00,-9.69316395855843104812e+00> 2, { 56,57,86,87 } 2, { 56,57,77,81,106,107 } 3, { 56,57,77,81,86,87,106,107,113 }, <1,1.00000000000000999201e+00,-1.00000000000001332268e+00,6.23606797749980845680e+00,-2.35258031152095519190e+01> 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 }, <1,-9.99999999999996336264e-01,-9.99999999999998667732e-01,-2.23606797749978314371e+00,-1.52468527190241065483e+01> 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 }, <1,1.00000000000000022204e+00,9.99999999999997890576e-01,-2.23606797749978447598e+00,-1.52468527190241189828e+01> 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 }, <1,-9.99999999999997890576e-01,-9.99999999999999111822e-01,1.76393202250020908473e+00,-9.58999846953175882902e+00> 2, { 68,69,92 } 1, { 68,72 } 2, { 68,72,92,94 } 3, { 68,72,92,94,96,114 }, <1,-2.23606797749976404788e+00,-9.99999999999990341060e-01,1.47213595499956606538e+00,-1.29586071077532967166e+01> 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 }, <1,-9.99999999999989896970e-01,-2.23606797749976582423e+00,1.47213595499956650947e+00,-1.29586071077533002693e+01> 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 }, <1,9.99999999999999888978e-01,9.99999999999998667732e-01,1.76393202250020930677e+00,-9.58999846953176415809e+00> 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 }, <1,1.00000000000000022204e+00,2.23606797749979069323e+00,1.47213595499957894397e+00,-1.29586071077534139562e+01> 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 }, <1,2.23606797749978891687e+00,9.99999999999998112621e-01,1.47213595499957761170e+00,-1.29586071077534032980e+01> 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 }, <1,-9.99999999999992894573e-01,1.14236271685837169236e-15,1.99999999999999067413e+00,-9.69316395855836354656e+00> 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 }, <1,1.11770629679422098710e-15,-9.99999999999994004796e-01,1.99999999999999089617e+00,-9.69316395855836532292e+00> 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 }, <1,-7.34188735437837854789e-16,1.00000000000000022204e+00,1.99999999999999111822e+00,-9.69316395855837065199e+00> 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 }, <1,9.99999999999998445688e-01,-1.14447041997095075017e-15,1.99999999999998911981e+00,-9.69316395855836177020e+00> 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 }, <1,1.60696067543373176080e-15,-7.16939619899043000998e-16,-2.23606797749978980505e+00,-1.38326391566510551456e+01> 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 }, <4.23606797749980934498e+00,-4.23606797749979957501e+00,-4.23606797749980135137e+00,1,-3.32189670737679634271e+01> 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 }, <4.23606797749979868684e+00,4.23606797749979513412e+00,4.23606797749979424594e+00,1,-3.32189670737679136892e+01> 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 }, <1.41202265916659674971e+00,-1.41202265916659408518e+00,-1.41202265916659519540e+00,-1,-1.35412951403518349025e+01> 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 }, <1.41202265916659563949e+00,1.41202265916659608358e+00,1.41202265916659519540e+00,-1,-1.35412951403518331261e+01> 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 }, <1,4.29126097969788408173e-16,-8.31431814816465053161e-16,9.99999999999991007194e-01,-5.55368876046572168548e+00> 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 }, <2.23606797749979202550e+00,-1,-1.00000000000000155431e+00,1.47213595499958294077e+00,-1.29586071077534246143e+01> 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 }, <2.23606797749978980505e+00,1,9.99999999999998889777e-01,1.47213595499958027624e+00,-1.29586071077534121798e+01> 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 } } }