# Automatically generated by makepoly. polytope mega_bilbiro { 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.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> <-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> <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.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> <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,6,10,16,18,19 }, <-2.23606797749979024914e+00,-1,-1,-1,-1.05671960074560455922e+01> 2, { 0,1,3 } 3, { 0,1,3,5,7,11,17,20,21 }, <-2.23606797749978936096e+00,-1,1,1,-1.05671960074560438159e+01> 2, { 0,1,4,6,16 } 3, { 0,1,4,5,6,7,16,17,28,29,30,31,64,65 }, <-1,-9.99999999999999666933e-01,-7.41297102418301782829e-17,-7.41297102418301782829e-17,-5.11667273601692684792e+00> 2, { 0,1,5,7,17 } 1, { 0,2 } 2, { 0,2,3 } 3, { 0,2,3,8,12,14,22,23,26 }, <-2.23606797749978936096e+00,1,-1,1,-1.05671960074560438159e+01> 2, { 0,2,4,10,18 } 3, { 0,2,4,8,10,12,18,22,32,36,40,44,66,70 }, <-1,-7.41297102418301782829e-17,-9.99999999999999666933e-01,-7.41297102418301782829e-17,-5.11667273601692684792e+00> 2, { 0,2,8,12,22 } 1, { 0,3 } 2, { 0,3,5,11,20 } 3, { 0,3,5,8,11,14,20,23,33,37,42,46,67,72 }, <-1,1.48259420483660430521e-16,-1.48259420483660430521e-16,1.00000000000000044409e+00,-5.11667273601692862428e+00> 2, { 0,3,8,14,23 } 1, { 0,4 } 2, { 0,4,5 } 3, { 0,4,5,8 }, <-1.76393202250021086108e+00,-1,-1.00000000000000022204e+00,9.99999999999999888978e-01,-9.89949493661166712855e+00> 2, { 0,4,8 } 1, { 0,5 } 2, { 0,5,8 } 1, { 0,8 } 1, { 1,2 } 2, { 1,2,3 } 3, { 1,2,3,9,13,15,24,25,27 }, <-2.23606797749978714052e+00,1,1,-1,-1.05671960074560349341e+01> 2, { 1,2,6,10,19 } 3, { 1,2,6,9,10,13,19,24,34,38,41,45,68,71 }, <-1,-2.96518840967324903955e-16,-2.96518840967324903955e-16,-1.00000000000000088818e+00,-5.11667273601692951246e+00> 2, { 1,2,9,13,24 } 1, { 1,3 } 2, { 1,3,7,11,21 } 3, { 1,3,7,9,11,15,21,25,35,39,43,47,69,73 }, <-1,7.41297102418312752926e-17,1.00000000000000177636e+00,-7.41297102418312752926e-17,-5.11667273601693040064e+00> 2, { 1,3,9,15,25 } 1, { 1,6 } 2, { 1,6,7 } 3, { 1,6,7,9 }, <-1.76393202250020730837e+00,-1,9.99999999999999222844e-01,-9.99999999999999555911e-01,-9.89949493661165469405e+00> 2, { 1,6,9 } 1, { 1,7 } 2, { 1,7,9 } 1, { 1,9 } 1, { 2,3 } 2, { 2,3,12,14,26 } 3, { 2,3,12,13,14,15,26,27,48,49,50,51,74,75 }, <-1,1.00000000000000111022e+00,9.70370504946459701061e-17,-9.70370504946459701061e-17,-5.11667273601692951246e+00> 2, { 2,3,13,15,27 } 1, { 2,10 } 2, { 2,10,12 } 3, { 2,10,12,13 }, <-1.76393202250020819655e+00,1,-9.99999999999999888978e-01,-1.00000000000000066613e+00,-9.89949493661166002312e+00> 2, { 2,10,13 } 1, { 2,12 } 2, { 2,12,13 } 1, { 2,13 } 1, { 3,11 } 2, { 3,11,14 } 3, { 3,11,14,15 }, <-1.76393202250020686428e+00,1,1.00000000000000022204e+00,9.99999999999999444888e-01,-9.89949493661165291769e+00> 2, { 3,11,15 } 1, { 3,14 } 2, { 3,14,15 } 1, { 3,15 } 1, { 4,5 } 2, { 4,5,8 } 3, { 4,5,8,28,29,32,33,36,37,76,78,79 }, <-1,-1,-1.00000000000000088818e+00,1.00000000000000022204e+00,-7.40491834728766651352e+00> 2, { 4,5,28,29 } 1, { 4,8 } 2, { 4,8,32,36 } 1, { 4,16 } 2, { 4,16,18 } 3, { 4,16,18,28,32,52 }, <-2.23606797749978625234e+00,-2.23606797749978758461e+00,-2.23606797749978936096e+00,-1,-1.51436872299975053835e+01> 2, { 4,16,28 } 1, { 4,18 } 2, { 4,18,32 } 1, { 4,28 } 2, { 4,28,32 } 1, { 4,32 } 1, { 5,8 } 2, { 5,8,33,37 } 1, { 5,17 } 2, { 5,17,20 } 3, { 5,17,20,29,33,54 }, <-2.23606797749978625234e+00,-2.23606797749978936096e+00,1,2.23606797749979069323e+00,-1.51436872299975124889e+01> 2, { 5,17,29 } 1, { 5,20 } 2, { 5,20,33 } 1, { 5,29 } 2, { 5,29,33 } 1, { 5,33 } 1, { 6,7 } 2, { 6,7,9 } 3, { 6,7,9,30,31,34,35,38,39,77,80,81 }, <-1,-9.99999999999999555911e-01,9.99999999999999666933e-01,-1.00000000000000022204e+00,-7.40491834728766473717e+00> 2, { 6,7,30,31 } 1, { 6,9 } 2, { 6,9,34,38 } 1, { 6,16 } 2, { 6,16,19 } 3, { 6,16,19,30,34,53 }, <-2.23606797749978891687e+00,-2.23606797749978802869e+00,-1,-2.23606797749979113732e+00,-1.51436872299975142653e+01> 2, { 6,16,30 } 1, { 6,19 } 2, { 6,19,34 } 1, { 6,30 } 2, { 6,30,34 } 1, { 6,34 } 1, { 7,9 } 2, { 7,9,35,39 } 1, { 7,17 } 2, { 7,17,21 } 3, { 7,17,21,31,35,55 }, <-2.23606797749978891687e+00,-2.23606797749978891687e+00,2.23606797749979158141e+00,1,-1.51436872299975178180e+01> 2, { 7,17,31 } 1, { 7,21 } 2, { 7,21,35 } 1, { 7,31 } 2, { 7,31,35 } 1, { 7,35 } 1, { 8,22 } 2, { 8,22,23 } 3, { 8,22,23,36,37,58 }, <-2.23606797749978136736e+00,1,-2.23606797749978269962e+00,2.23606797749978225553e+00,-1.51436872299974663036e+01> 2, { 8,22,36 } 1, { 8,23 } 2, { 8,23,37 } 1, { 8,36 } 2, { 8,36,37 } 1, { 8,37 } 1, { 9,24 } 2, { 9,24,25 } 3, { 9,24,25,38,39,59 }, <-2.23606797749977825873e+00,1,2.23606797749977292966e+00,-2.23606797749977381784e+00,-1.51436872299974130129e+01> 2, { 9,24,38 } 1, { 9,25 } 2, { 9,25,39 } 1, { 9,38 } 2, { 9,38,39 } 1, { 9,39 } 1, { 10,12 } 2, { 10,12,13 } 3, { 10,12,13,40,41,44,45,48,49,82,83,86 }, <-1,9.99999999999999666933e-01,-9.99999999999998556710e-01,-9.99999999999999888978e-01,-7.40491834728766029627e+00> 2, { 10,12,40,44 } 1, { 10,13 } 2, { 10,13,41,45 } 1, { 10,18 } 2, { 10,18,19 } 3, { 10,18,19,40,41,56 }, <-2.23606797749979691048e+00,-1,-2.23606797749979335777e+00,-2.23606797749979513412e+00,-1.51436872299975533451e+01> 2, { 10,18,40 } 1, { 10,19 } 2, { 10,19,41 } 1, { 10,40 } 2, { 10,40,41 } 1, { 10,41 } 1, { 11,14 } 2, { 11,14,15 } 3, { 11,14,15,42,43,46,47,50,51,84,85,87 }, <-1,9.99999999999999666933e-01,9.99999999999999222844e-01,9.99999999999998001599e-01,-7.40491834728765585538e+00> 2, { 11,14,42,46 } 1, { 11,15 } 2, { 11,15,43,47 } 1, { 11,20 } 2, { 11,20,21 } 3, { 11,20,21,42,43,57 }, <-2.23606797749979469003e+00,-1,2.23606797749979513412e+00,2.23606797749979291368e+00,-1.51436872299975480161e+01> 2, { 11,20,42 } 1, { 11,21 } 2, { 11,21,43 } 1, { 11,42 } 2, { 11,42,43 } 1, { 11,43 } 1, { 12,13 } 2, { 12,13,48,49 } 1, { 12,22 } 2, { 12,22,26 } 3, { 12,22,26,44,48,60 }, <-2.23606797749979246959e+00,2.23606797749979113732e+00,-2.23606797749978802869e+00,1,-1.51436872299975195943e+01> 2, { 12,22,44 } 1, { 12,26 } 2, { 12,26,48 } 1, { 12,44 } 2, { 12,44,48 } 1, { 12,48 } 1, { 13,24 } 2, { 13,24,27 } 3, { 13,24,27,45,49,62 }, <-2.23606797749978403189e+00,2.23606797749977825873e+00,1,-2.23606797749977692646e+00,-1.51436872299974467637e+01> 2, { 13,24,45 } 1, { 13,27 } 2, { 13,27,49 } 1, { 13,45 } 2, { 13,45,49 } 1, { 13,49 } 1, { 14,15 } 2, { 14,15,50,51 } 1, { 14,23 } 2, { 14,23,26 } 3, { 14,23,26,46,50,61 }, <-2.23606797749979113732e+00,2.23606797749979113732e+00,-1,2.23606797749978714052e+00,-1.51436872299975142653e+01> 2, { 14,23,46 } 1, { 14,26 } 2, { 14,26,50 } 1, { 14,46 } 2, { 14,46,50 } 1, { 14,50 } 1, { 15,25 } 2, { 15,25,27 } 3, { 15,25,27,47,51,63 }, <-2.23606797749978225553e+00,2.23606797749977470602e+00,2.23606797749977292966e+00,-1,-1.51436872299974218947e+01> 2, { 15,25,47 } 1, { 15,27 } 2, { 15,27,51 } 1, { 15,47 } 2, { 15,47,51 } 1, { 15,51 } 1, { 16,18 } 2, { 16,18,19 } 3, { 16,18,19,52,53,56 }, <-1,-9.99999999999999777955e-01,-1.00000000000000111022e+00,-1,-7.40491834728766562534e+00> 2, { 16,18,52 } 1, { 16,19 } 2, { 16,19,53 } 1, { 16,28 } 2, { 16,28,52 } 2, { 16,28,30,64,65 } 3, { 16,28,30,52,53,64,65,88,100 }, <-1,-2.23606797749978714052e+00,-1.00000000000000155431e+00,-9.99999999999999222844e-01,-1.05671960074560402632e+01> 1, { 16,30 } 2, { 16,30,53 } 1, { 16,52 } 2, { 16,52,53 } 1, { 16,53 } 1, { 17,20 } 2, { 17,20,21 } 3, { 17,20,21,54,55,57 }, <-1,-1.00000000000000044409e+00,1.00000000000000044409e+00,1.00000000000000177636e+00,-7.40491834728767006624e+00> 2, { 17,20,54 } 1, { 17,21 } 2, { 17,21,55 } 1, { 17,29 } 2, { 17,29,54 } 2, { 17,29,31,64,65 } 3, { 17,29,31,54,55,64,65,89,101 }, <-1,-2.23606797749979113732e+00,1.00000000000000022204e+00,1.00000000000000266454e+00,-1.05671960074560526976e+01> 1, { 17,31 } 2, { 17,31,55 } 1, { 17,54 } 2, { 17,54,55 } 1, { 17,55 } 1, { 18,19 } 2, { 18,19,56 } 1, { 18,32 } 2, { 18,32,52 } 2, { 18,32,40,66,70 } 3, { 18,32,40,52,56,66,70,90,102 }, <-1,-9.99999999999999111822e-01,-2.23606797749979024914e+00,-9.99999999999999555911e-01,-1.05671960074560402632e+01> 1, { 18,40 } 2, { 18,40,56 } 1, { 18,52 } 2, { 18,52,56 } 1, { 18,56 } 1, { 19,34 } 2, { 19,34,53 } 2, { 19,34,41,68,71 } 3, { 19,34,41,53,56,68,71,91,103 }, <-1,-9.99999999999999444888e-01,-1.00000000000000222045e+00,-2.23606797749978980505e+00,-1.05671960074560455922e+01> 1, { 19,41 } 2, { 19,41,56 } 1, { 19,53 } 2, { 19,53,56 } 1, { 19,56 } 1, { 20,21 } 2, { 20,21,57 } 1, { 20,33 } 2, { 20,33,54 } 2, { 20,33,42,67,72 } 3, { 20,33,42,54,57,67,72,92,104 }, <-1,-1.00000000000000044409e+00,1.00000000000000022204e+00,2.23606797749979424594e+00,-1.05671960074560562504e+01> 1, { 20,42 } 2, { 20,42,57 } 1, { 20,54 } 2, { 20,54,57 } 1, { 20,57 } 1, { 21,35 } 2, { 21,35,55 } 2, { 21,35,43,69,73 } 3, { 21,35,43,55,57,69,73,93,105 }, <-1,-1.00000000000000088818e+00,2.23606797749979424594e+00,1.00000000000000288658e+00,-1.05671960074560598031e+01> 1, { 21,43 } 2, { 21,43,57 } 1, { 21,55 } 2, { 21,55,57 } 1, { 21,57 } 1, { 22,23 } 2, { 22,23,26 } 3, { 22,23,26,58,60,61 }, <-1,9.99999999999998112621e-01,-9.99999999999998112621e-01,9.99999999999998001599e-01,-7.40491834728765141449e+00> 2, { 22,23,58 } 1, { 22,26 } 2, { 22,26,60 } 1, { 22,36 } 2, { 22,36,58 } 2, { 22,36,44,66,70 } 3, { 22,36,44,58,60,66,70,94,106 }, <-1,9.99999999999995892175e-01,-2.23606797749977515011e+00,9.99999999999995559108e-01,-1.05671960074559905252e+01> 1, { 22,44 } 2, { 22,44,60 } 1, { 22,58 } 2, { 22,58,60 } 1, { 22,60 } 1, { 23,26 } 2, { 23,26,61 } 1, { 23,37 } 2, { 23,37,58 } 2, { 23,37,46,67,72 } 3, { 23,37,46,58,61,67,72,95,107 }, <-1,9.99999999999995115019e-01,-9.99999999999995448086e-01,2.23606797749977426193e+00,-1.05671960074559851961e+01> 1, { 23,46 } 2, { 23,46,61 } 1, { 23,58 } 2, { 23,58,61 } 1, { 23,61 } 1, { 24,25 } 2, { 24,25,27 } 3, { 24,25,27,59,62,63 }, <-1,1.00000000000000133227e+00,1.00000000000000022204e+00,-1.00000000000000044409e+00,-7.40491834728766651352e+00> 2, { 24,25,59 } 1, { 24,27 } 2, { 24,27,62 } 1, { 24,38 } 2, { 24,38,59 } 2, { 24,38,45,68,71 } 3, { 24,38,45,59,62,68,71,96,108 }, <-1,1.00000000000000488498e+00,1.00000000000000222045e+00,-2.23606797749979868684e+00,-1.05671960074560775666e+01> 1, { 24,45 } 2, { 24,45,62 } 1, { 24,59 } 2, { 24,59,62 } 1, { 24,62 } 1, { 25,27 } 2, { 25,27,63 } 1, { 25,39 } 2, { 25,39,59 } 2, { 25,39,47,69,73 } 3, { 25,39,47,59,63,69,73,97,109 }, <-1,1.00000000000000288658e+00,2.23606797749979602230e+00,-1.00000000000000066613e+00,-1.05671960074560651321e+01> 1, { 25,47 } 2, { 25,47,63 } 1, { 25,59 } 2, { 25,59,63 } 1, { 25,63 } 1, { 26,48 } 2, { 26,48,60 } 2, { 26,48,50,74,75 } 3, { 26,48,50,60,61,74,75,98,110 }, <-1,2.23606797749977515011e+00,-9.99999999999995115019e-01,9.99999999999994670929e-01,-1.05671960074559869724e+01> 1, { 26,50 } 2, { 26,50,61 } 1, { 26,60 } 2, { 26,60,61 } 1, { 26,61 } 1, { 27,49 } 2, { 27,49,62 } 2, { 27,49,51,74,75 } 3, { 27,49,51,62,63,74,75,99,111 }, <-1,2.23606797749979557821e+00,9.99999999999998445688e-01,-9.99999999999998889777e-01,-1.05671960074560544740e+01> 1, { 27,51 } 2, { 27,51,63 } 1, { 27,62 } 2, { 27,62,63 } 1, { 27,63 } 1, { 28,29 } 2, { 28,29,64 } 3, { 28,29,64,76 }, <-1,-1.76393202250021086108e+00,-1.00000000000000111022e+00,1.00000000000000022204e+00,-9.89949493661167068126e+00> 2, { 28,29,76 } 1, { 28,32 } 2, { 28,32,52 } 3, { 28,32,52,64,66,76,78,88,90,100,102,112,124,128 }, <1.35851870692504925142e-15,-1,-1.00000000000000088818e+00,2.42592626236615972971e-16,-5.11667273601692595975e+00> 2, { 28,32,76,78 } 1, { 28,52 } 2, { 28,52,64,88,100 } 1, { 28,64 } 2, { 28,64,76 } 1, { 28,76 } 1, { 29,33 } 2, { 29,33,54 } 3, { 29,33,54,64,67,76,79,89,92,101,104,113,126,130 }, <1.26148165643040246780e-15,-1,-3.88148201978585359539e-16,1.00000000000000066613e+00,-5.11667273601692684792e+00> 2, { 29,33,76,79 } 1, { 29,54 } 2, { 29,54,64,89,101 } 1, { 29,64 } 2, { 29,64,76 } 1, { 29,76 } 1, { 30,31 } 2, { 30,31,65 } 3, { 30,31,65,77 }, <-1,-1.76393202250021285948e+00,1.00000000000000111022e+00,-1.00000000000000155431e+00,-9.89949493661167956304e+00> 2, { 30,31,77 } 1, { 30,34 } 2, { 30,34,53 } 3, { 30,34,53,65,68,77,80,88,91,100,103,114,125,129 }, <2.23185216137686419032e-15,-1,-4.85185252473231329645e-17,-1.00000000000000088818e+00,-5.11667273601692595975e+00> 2, { 30,34,77,80 } 1, { 30,53 } 2, { 30,53,65,88,100 } 1, { 30,65 } 2, { 30,65,77 } 1, { 30,77 } 1, { 31,35 } 2, { 31,35,55 } 3, { 31,35,55,65,69,77,81,89,93,101,105,115,127,131 }, <2.13481511088221740670e-15,-1,1.00000000000000066613e+00,-4.85185252473231268015e-17,-5.11667273601692684792e+00> 2, { 31,35,77,81 } 1, { 31,55 } 2, { 31,55,65,89,101 } 1, { 31,65 } 2, { 31,65,77 } 1, { 31,77 } 1, { 32,36 } 2, { 32,36,66 } 3, { 32,36,66,78 }, <-1,-9.99999999999998445688e-01,-1.76393202250021130517e+00,9.99999999999998667732e-01,-9.89949493661166357583e+00> 2, { 32,36,78 } 1, { 32,52 } 2, { 32,52,66,90,102 } 1, { 32,66 } 2, { 32,66,78 } 1, { 32,78 } 1, { 33,37 } 2, { 33,37,67 } 3, { 33,37,67,79 }, <-1,-9.99999999999999666933e-01,-1.00000000000000066613e+00,1.76393202250021130517e+00,-9.89949493661167068126e+00> 2, { 33,37,79 } 1, { 33,54 } 2, { 33,54,67,92,104 } 1, { 33,67 } 2, { 33,67,79 } 1, { 33,79 } 1, { 34,38 } 2, { 34,38,68 } 3, { 34,38,68,80 }, <-1,-9.99999999999999777955e-01,9.99999999999998889777e-01,-1.76393202250021285948e+00,-9.89949493661167068126e+00> 2, { 34,38,80 } 1, { 34,53 } 2, { 34,53,68,91,103 } 1, { 34,68 } 2, { 34,68,80 } 1, { 34,80 } 1, { 35,39 } 2, { 35,39,69 } 3, { 35,39,69,81 }, <-1,-9.99999999999999222844e-01,1.76393202250021285948e+00,-9.99999999999999666933e-01,-9.89949493661167245762e+00> 2, { 35,39,81 } 1, { 35,55 } 2, { 35,55,69,93,105 } 1, { 35,69 } 2, { 35,69,81 } 1, { 35,81 } 1, { 36,37 } 2, { 36,37,58 } 3, { 36,37,58,66,67,78,79,94,95,106,107,116,136,137 }, <-8.63550852276076945669e-16,1.72710170455215389134e-15,-1,9.99999999999999555911e-01,-5.11667273601692595975e+00> 2, { 36,37,78,79 } 1, { 36,58 } 2, { 36,58,66,94,106 } 1, { 36,66 } 2, { 36,66,78 } 1, { 36,78 } 1, { 37,58 } 2, { 37,58,67,95,107 } 1, { 37,67 } 2, { 37,67,79 } 1, { 37,79 } 1, { 38,39 } 2, { 38,39,59 } 3, { 38,39,59,68,69,80,81,96,97,108,109,117,138,139 }, <1.02056009814445966389e-15,1.80560632748635156134e-15,1,-1.00000000000000022204e+00,-5.11667273601692684792e+00> 2, { 38,39,80,81 } 1, { 38,59 } 2, { 38,59,68,96,108 } 1, { 38,68 } 2, { 38,68,80 } 1, { 38,80 } 1, { 39,59 } 2, { 39,59,69,97,109 } 1, { 39,69 } 2, { 39,69,81 } 1, { 39,81 } 1, { 40,41 } 2, { 40,41,56 } 3, { 40,41,56,70,71,82,83,90,91,102,103,118,132,133 }, <1.06740755544110673120e-15,1.16444460593575272596e-15,-1,-1.00000000000000066613e+00,-5.11667273601692773610e+00> 2, { 40,41,82,83 } 1, { 40,44 } 2, { 40,44,70 } 3, { 40,44,70,82 }, <-1,1.00000000000000111022e+00,-1.76393202250021174926e+00,-1.00000000000000111022e+00,-9.89949493661167601033e+00> 2, { 40,44,82 } 1, { 40,56 } 2, { 40,56,70,90,102 } 1, { 40,70 } 2, { 40,70,82 } 1, { 40,82 } 1, { 41,45 } 2, { 41,45,71 } 3, { 41,45,71,83 }, <-1,9.99999999999998223643e-01,-9.99999999999997668532e-01,-1.76393202250021197131e+00,-9.89949493661166357583e+00> 2, { 41,45,83 } 1, { 41,56 } 2, { 41,56,71,91,103 } 1, { 41,71 } 2, { 41,71,83 } 1, { 41,83 } 1, { 42,43 } 2, { 42,43,57 } 3, { 42,43,57,72,73,84,85,92,93,104,105,119,134,135 }, <1.16444460593575252874e-15,1.11592608068842953136e-15,1,9.99999999999999222844e-01,-5.11667273601692329521e+00> 2, { 42,43,84,85 } 1, { 42,46 } 2, { 42,46,72 } 3, { 42,46,72,84 }, <-1,9.99999999999999666933e-01,9.99999999999998667732e-01,1.76393202250020952881e+00,-9.89949493661166002312e+00> 2, { 42,46,84 } 1, { 42,57 } 2, { 42,57,72,92,104 } 1, { 42,72 } 2, { 42,72,84 } 1, { 42,84 } 1, { 43,47 } 2, { 43,47,73 } 3, { 43,47,73,85 }, <-1,9.99999999999997335465e-01,1.76393202250020930677e+00,9.99999999999995892175e-01,-9.89949493661164936498e+00> 2, { 43,47,85 } 1, { 43,57 } 2, { 43,57,73,93,105 } 1, { 43,73 } 2, { 43,73,85 } 1, { 43,85 } 1, { 44,48 } 2, { 44,48,60 } 3, { 44,48,60,70,74,82,86,94,98,106,110,120,140,144 }, <1.26148165643040029844e-15,1,-9.99999999999999000799e-01,-5.33703777720553957245e-16,-5.11667273601692240703e+00> 2, { 44,48,82,86 } 1, { 44,60 } 2, { 44,60,70,94,106 } 1, { 44,70 } 2, { 44,70,82 } 1, { 44,82 } 1, { 45,49 } 2, { 45,49,62 } 3, { 45,49,62,71,74,83,86,96,99,108,111,121,142,146 }, <1.33457858988121208414e-15,1,6.28036983473511545803e-16,-9.99999999999999555911e-01,-5.11667273601692329521e+00> 2, { 45,49,83,86 } 1, { 45,62 } 2, { 45,62,71,96,108 } 1, { 45,71 } 2, { 45,71,83 } 1, { 45,83 } 1, { 46,50 } 2, { 46,50,61 } 3, { 46,50,61,72,75,84,87,95,98,107,110,122,141,145 }, <8.73333454451815727759e-16,1,2.42592626236615479933e-16,9.99999999999998445688e-01,-5.11667273601692063068e+00> 2, { 46,50,84,87 } 1, { 46,61 } 2, { 46,61,72,95,107 } 1, { 46,72 } 2, { 46,72,84 } 1, { 46,84 } 1, { 47,51 } 2, { 47,51,63 } 3, { 47,51,63,73,75,85,87,97,99,109,111,123,143,147 }, <3.92523114670944765431e-16,1,9.99999999999999333866e-01,-1.17756934401283429629e-15,-5.11667273601692329521e+00> 2, { 47,51,85,87 } 1, { 47,63 } 2, { 47,63,73,97,109 } 1, { 47,73 } 2, { 47,73,85 } 1, { 47,85 } 1, { 48,49 } 2, { 48,49,74 } 3, { 48,49,74,86 }, <-1,1.76393202250021197131e+00,-9.99999999999996891376e-01,-9.99999999999998223643e-01,-9.89949493661166179947e+00> 2, { 48,49,86 } 1, { 48,60 } 2, { 48,60,74,98,110 } 1, { 48,74 } 2, { 48,74,86 } 1, { 48,86 } 1, { 49,62 } 2, { 49,62,74,99,111 } 1, { 49,74 } 2, { 49,74,86 } 1, { 49,86 } 1, { 50,51 } 2, { 50,51,75 } 3, { 50,51,75,87 }, <-1,1.76393202250020975086e+00,9.99999999999996336264e-01,9.99999999999995559108e-01,-9.89949493661164758862e+00> 2, { 50,51,87 } 1, { 50,61 } 2, { 50,61,75,98,110 } 1, { 50,75 } 2, { 50,75,87 } 1, { 50,87 } 1, { 51,63 } 2, { 51,63,75,99,111 } 1, { 51,75 } 2, { 51,75,87 } 1, { 51,87 } 1, { 52,53 } 2, { 52,53,56 } 3, { 52,53,56,88,90,91 }, <-1,-2.23606797749979024914e+00,-2.23606797749979424594e+00,-2.23606797749979069323e+00,-1.51436872299975302525e+01> 2, { 52,53,88 } 1, { 52,56 } 2, { 52,56,90 } 1, { 52,88 } 2, { 52,88,90 } 1, { 52,90 } 1, { 53,56 } 2, { 53,56,91 } 1, { 53,88 } 2, { 53,88,91 } 1, { 53,91 } 1, { 54,55 } 2, { 54,55,57 } 3, { 54,55,57,89,92,93 }, <-1,-2.23606797749979335777e+00,2.23606797749979335777e+00,2.23606797749979691048e+00,-1.51436872299975480161e+01> 2, { 54,55,89 } 1, { 54,57 } 2, { 54,57,92 } 1, { 54,89 } 2, { 54,89,92 } 1, { 54,92 } 1, { 55,57 } 2, { 55,57,93 } 1, { 55,89 } 2, { 55,89,93 } 1, { 55,93 } 1, { 56,90 } 2, { 56,90,91 } 1, { 56,91 } 1, { 57,92 } 2, { 57,92,93 } 1, { 57,93 } 1, { 58,60 } 2, { 58,60,61 } 3, { 58,60,61,94,95,98 }, <-1,2.23606797749978447598e+00,-2.23606797749978447598e+00,2.23606797749978403189e+00,-1.51436872299974805145e+01> 2, { 58,60,94 } 1, { 58,61 } 2, { 58,61,95 } 1, { 58,94 } 2, { 58,94,95 } 1, { 58,95 } 1, { 59,62 } 2, { 59,62,63 } 3, { 59,62,63,96,97,99 }, <-1,2.23606797749978891687e+00,2.23606797749978625234e+00,-2.23606797749978669643e+00,-1.51436872299975000544e+01> 2, { 59,62,96 } 1, { 59,63 } 2, { 59,63,97 } 1, { 59,96 } 2, { 59,96,97 } 1, { 59,97 } 1, { 60,61 } 2, { 60,61,98 } 1, { 60,94 } 2, { 60,94,98 } 1, { 60,98 } 1, { 61,95 } 2, { 61,95,98 } 1, { 61,98 } 1, { 62,63 } 2, { 62,63,99 } 1, { 62,96 } 2, { 62,96,99 } 1, { 62,99 } 1, { 63,97 } 2, { 63,97,99 } 1, { 63,99 } 1, { 64,65 } 2, { 64,65,100 } 3, { 64,65,100,101 }, <1.50407428266702534331e-15,-1,-1.69814838365631895985e-16,1.16444460593576160064e-15,-4.40956595483038071848e+00> 2, { 64,65,101 } 1, { 64,76 } 2, { 64,76,100,112,124 } 3, { 64,76,100,101,112,113,124,126,148 }, <1,-2.23606797749978669643e+00,-1.00000000000000155431e+00,9.99999999999999666933e-01,-1.05671960074560296050e+01> 2, { 64,76,101,113,126 } 1, { 64,100 } 2, { 64,100,101 } 1, { 64,101 } 1, { 65,77 } 2, { 65,77,100,114,125 } 3, { 65,77,100,101,114,115,125,127,149 }, <1,-2.23606797749978314371e+00,9.99999999999996891376e-01,-9.99999999999999111822e-01,-1.05671960074560136178e+01> 2, { 65,77,101,115,127 } 1, { 65,100 } 2, { 65,100,101 } 1, { 65,101 } 1, { 66,70 } 2, { 66,70,102 } 3, { 66,70,102,106 }, <3.88148201978587479602e-16,-2.42592626236617156263e-16,-1,-4.12407464602249224811e-16,-4.40956595483037983030e+00> 2, { 66,70,106 } 1, { 66,78 } 2, { 66,78,102,112,128 } 3, { 66,78,102,106,112,116,128,136,150 }, <1,-1.00000000000000310862e+00,-2.23606797749979735457e+00,1.00000000000000066613e+00,-1.05671960074560740139e+01> 2, { 66,78,106,116,136 } 1, { 66,102 } 2, { 66,102,106 } 1, { 66,106 } 1, { 67,72 } 2, { 67,72,104 } 3, { 67,72,104,107 }, <5.82222302967880997536e-16,-3.88148201978587331691e-16,2.18333363612955386402e-16,1,-4.40956595483037894212e+00> 2, { 67,72,107 } 1, { 67,79 } 2, { 67,79,104,113,130 } 3, { 67,79,104,107,113,116,130,137,151 }, <1,-1.00000000000000111022e+00,-9.99999999999998667732e-01,2.23606797749979158141e+00,-1.05671960074560509213e+01> 2, { 67,79,107,116,137 } 1, { 67,104 } 2, { 67,104,107 } 1, { 67,107 } 1, { 68,71 } 2, { 68,71,103 } 3, { 68,71,103,108 }, <-7.76296403957166676165e-16,5.09444515096890585011e-16,-9.70370504946458369858e-16,-1,-4.40956595483037894212e+00> 2, { 68,71,108 } 1, { 68,80 } 2, { 68,80,103,114,129 } 3, { 68,80,103,108,114,117,129,138,152 }, <1,-1.00000000000000377476e+00,9.99999999999999666933e-01,-2.23606797749979469003e+00,-1.05671960074560651321e+01> 2, { 68,80,108,117,138 } 1, { 68,103 } 2, { 68,103,108 } 1, { 68,108 } 1, { 69,73 } 2, { 69,73,105 } 3, { 69,73,105,109 }, <-1.18870386855940968870e-15,9.70370504946456866092e-17,1,1.04314829281744109099e-15,-4.40956595483037805394e+00> 2, { 69,73,109 } 1, { 69,81 } 2, { 69,81,105,115,131 } 3, { 69,81,105,109,115,117,131,139,153 }, <1,-1.00000000000000155431e+00,2.23606797749979069323e+00,-9.99999999999998112621e-01,-1.05671960074560455922e+01> 2, { 69,81,109,117,139 } 1, { 69,105 } 2, { 69,105,109 } 1, { 69,109 } 1, { 70,82 } 2, { 70,82,102,118,132 } 3, { 70,82,102,106,118,120,132,140,154 }, <1,1.00000000000000022204e+00,-2.23606797749978802869e+00,-1.00000000000000066613e+00,-1.05671960074560367104e+01> 2, { 70,82,106,120,140 } 1, { 70,102 } 2, { 70,102,106 } 1, { 70,106 } 1, { 71,83 } 2, { 71,83,103,118,133 } 3, { 71,83,103,108,118,121,133,142,155 }, <1,1.00000000000000199840e+00,-1.00000000000000421885e+00,-2.23606797749979335777e+00,-1.05671960074560580267e+01> 2, { 71,83,108,121,142 } 1, { 71,103 } 2, { 71,103,108 } 1, { 71,108 } 1, { 72,84 } 2, { 72,84,104,119,134 } 3, { 72,84,104,107,119,122,134,141,156 }, <1,9.99999999999999555911e-01,9.99999999999999888978e-01,2.23606797749978580825e+00,-1.05671960074560278287e+01> 2, { 72,84,107,122,141 } 1, { 72,104 } 2, { 72,104,107 } 1, { 72,107 } 1, { 73,85 } 2, { 73,85,105,119,135 } 3, { 73,85,105,109,119,123,135,143,157 }, <1,1.00000000000000199840e+00,2.23606797749979380185e+00,1.00000000000000444089e+00,-1.05671960074560598031e+01> 2, { 73,85,109,123,143 } 1, { 73,105 } 2, { 73,105,109 } 1, { 73,109 } 1, { 74,75 } 2, { 74,75,110 } 3, { 74,75,110,111 }, <-2.25611142400049709280e-15,1,6.30740828215192753648e-16,-8.73333454451805373960e-16,-4.40956595483037983030e+00> 2, { 74,75,111 } 1, { 74,86 } 2, { 74,86,110,120,144 } 3, { 74,86,110,111,120,121,144,146,158 }, <1,2.23606797749979868684e+00,-1.00000000000000555112e+00,-1.00000000000000310862e+00,-1.05671960074560811194e+01> 2, { 74,86,111,121,146 } 1, { 74,110 } 2, { 74,110,111 } 1, { 74,111 } 1, { 75,87 } 2, { 75,87,110,122,145 } 3, { 75,87,110,111,122,123,145,147,159 }, <1,2.23606797749980357182e+00,1.00000000000000355271e+00,1.00000000000000732747e+00,-1.05671960074561024356e+01> 2, { 75,87,111,123,147 } 1, { 75,110 } 2, { 75,110,111 } 1, { 75,111 } 1, { 76,78 } 2, { 76,78,79 } 3, { 76,78,79,112,113,116 }, <1,-2.23606797749979335777e+00,-2.23606797749979735457e+00,2.23606797749979291368e+00,-1.51436872299975480161e+01> 2, { 76,78,112 } 1, { 76,79 } 2, { 76,79,113 } 1, { 76,112 } 2, { 76,112,113 } 1, { 76,113 } 1, { 77,80 } 2, { 77,80,81 } 3, { 77,80,81,114,115,117 }, <1,-2.23606797749977648238e+00,2.23606797749977426193e+00,-2.23606797749977825873e+00,-1.51436872299974325529e+01> 2, { 77,80,114 } 1, { 77,81 } 2, { 77,81,115 } 1, { 77,114 } 2, { 77,114,115 } 1, { 77,115 } 1, { 78,79 } 2, { 78,79,116 } 1, { 78,112 } 2, { 78,112,116 } 1, { 78,116 } 1, { 79,113 } 2, { 79,113,116 } 1, { 79,116 } 1, { 80,81 } 2, { 80,81,117 } 1, { 80,114 } 2, { 80,114,117 } 1, { 80,117 } 1, { 81,115 } 2, { 81,115,117 } 1, { 81,117 } 1, { 82,83 } 2, { 82,83,86 } 3, { 82,83,86,118,120,121 }, <1,2.23606797749979158141e+00,-2.23606797749979158141e+00,-2.23606797749979246959e+00,-1.51436872299975320288e+01> 2, { 82,83,118 } 1, { 82,86 } 2, { 82,86,120 } 1, { 82,118 } 2, { 82,118,120 } 1, { 82,120 } 1, { 83,86 } 2, { 83,86,121 } 1, { 83,118 } 2, { 83,118,121 } 1, { 83,121 } 1, { 84,85 } 2, { 84,85,87 } 3, { 84,85,87,119,122,123 }, <1,2.23606797749977648238e+00,2.23606797749977337375e+00,2.23606797749977248557e+00,-1.51436872299974147893e+01> 2, { 84,85,119 } 1, { 84,87 } 2, { 84,87,122 } 1, { 84,119 } 2, { 84,119,122 } 1, { 84,122 } 1, { 85,87 } 2, { 85,87,123 } 1, { 85,119 } 2, { 85,119,123 } 1, { 85,123 } 1, { 86,120 } 2, { 86,120,121 } 1, { 86,121 } 1, { 87,122 } 2, { 87,122,123 } 1, { 87,123 } 1, { 88,90 } 2, { 88,90,91 } 3, { 88,90,91,124,125,128,129,132,133,160,161,164 }, <1,-1.00000000000000066613e+00,-1.00000000000000377476e+00,-1.00000000000000066613e+00,-7.40491834728767539531e+00> 2, { 88,90,124,128 } 1, { 88,91 } 2, { 88,91,125,129 } 1, { 88,100 } 2, { 88,100,124 } 3, { 88,100,124,125 }, <1,-1.76393202250021530197e+00,-1.00000000000000421885e+00,-1.00000000000000177636e+00,-9.89949493661168666847e+00> 2, { 88,100,125 } 1, { 88,124 } 2, { 88,124,125 } 1, { 88,125 } 1, { 89,92 } 2, { 89,92,93 } 3, { 89,92,93,126,127,130,131,134,135,162,163,165 }, <1,-9.99999999999999777955e-01,9.99999999999998556710e-01,1.00000000000000133227e+00,-7.40491834728766562534e+00> 2, { 89,92,126,130 } 1, { 89,93 } 2, { 89,93,127,131 } 1, { 89,101 } 2, { 89,101,126 } 3, { 89,101,126,127 }, <1,-1.76393202250021130517e+00,9.99999999999998667732e-01,1.00000000000000044409e+00,-9.89949493661166712855e+00> 2, { 89,101,127 } 1, { 89,126 } 2, { 89,126,127 } 1, { 89,127 } 1, { 90,91 } 2, { 90,91,132,133 } 1, { 90,102 } 2, { 90,102,128 } 3, { 90,102,128,132 }, <1,-1.00000000000000399680e+00,-1.76393202250021841060e+00,-9.99999999999999888978e-01,-9.89949493661169377390e+00> 2, { 90,102,132 } 1, { 90,128 } 2, { 90,128,132 } 1, { 90,132 } 1, { 91,103 } 2, { 91,103,129 } 3, { 91,103,129,133 }, <1,-1.00000000000000510703e+00,-1.00000000000000044409e+00,-1.76393202250021774447e+00,-9.89949493661169732661e+00> 2, { 91,103,133 } 1, { 91,129 } 2, { 91,129,133 } 1, { 91,133 } 1, { 92,93 } 2, { 92,93,134,135 } 1, { 92,104 } 2, { 92,104,130 } 3, { 92,104,130,134 }, <1,-1.00000000000000066613e+00,9.99999999999998112621e-01,1.76393202250021308153e+00,-9.89949493661167245762e+00> 2, { 92,104,134 } 1, { 92,130 } 2, { 92,130,134 } 1, { 92,134 } 1, { 93,105 } 2, { 93,105,131 } 3, { 93,105,131,135 }, <1,-1.00000000000000177636e+00,1.76393202250021308153e+00,9.99999999999998223643e-01,-9.89949493661167423397e+00> 2, { 93,105,135 } 1, { 93,131 } 2, { 93,131,135 } 1, { 93,135 } 1, { 94,95 } 2, { 94,95,98 } 3, { 94,95,98,136,137,140,141,144,145,166,168,169 }, <1,1.00000000000000199840e+00,-1.00000000000000310862e+00,1.00000000000000199840e+00,-7.40491834728767894802e+00> 2, { 94,95,136,137 } 1, { 94,98 } 2, { 94,98,140,144 } 1, { 94,106 } 2, { 94,106,136 } 3, { 94,106,136,140 }, <1,1.00000000000000510703e+00,-1.76393202250021619015e+00,1.00000000000000421885e+00,-9.89949493661169555025e+00> 2, { 94,106,140 } 1, { 94,136 } 2, { 94,136,140 } 1, { 94,140 } 1, { 95,98 } 2, { 95,98,141,145 } 1, { 95,107 } 2, { 95,107,137 } 3, { 95,107,137,141 }, <1,1.00000000000000355271e+00,-1.00000000000000333067e+00,1.76393202250021152722e+00,-9.89949493661167601033e+00> 2, { 95,107,141 } 1, { 95,137 } 2, { 95,137,141 } 1, { 95,141 } 1, { 96,97 } 2, { 96,97,99 } 3, { 96,97,99,138,139,142,143,146,147,167,170,171 }, <1,9.99999999999997446487e-01,9.99999999999995226041e-01,-9.99999999999996336264e-01,-7.40491834728764253271e+00> 2, { 96,97,138,139 } 1, { 96,99 } 2, { 96,99,142,146 } 1, { 96,108 } 2, { 96,108,138 } 3, { 96,108,138,142 }, <1,1.00000000000000111022e+00,1.00000000000000288658e+00,-1.76393202250021552402e+00,-9.89949493661168666847e+00> 2, { 96,108,142 } 1, { 96,138 } 2, { 96,138,142 } 1, { 96,142 } 1, { 97,99 } 2, { 97,99,143,147 } 1, { 97,109 } 2, { 97,109,139 } 3, { 97,109,139,143 }, <1,9.99999999999999555911e-01,1.76393202250021086108e+00,-1.00000000000000244249e+00,-9.89949493661166890490e+00> 2, { 97,109,143 } 1, { 97,139 } 2, { 97,139,143 } 1, { 97,143 } 1, { 98,110 } 2, { 98,110,144 } 3, { 98,110,144,145 }, <1,1.76393202250021752242e+00,-1.00000000000000488498e+00,1.00000000000000333067e+00,-9.89949493661169910297e+00> 2, { 98,110,145 } 1, { 98,144 } 2, { 98,144,145 } 1, { 98,145 } 1, { 99,111 } 2, { 99,111,146 } 3, { 99,111,146,147 }, <1,1.76393202250021907673e+00,1.00000000000000155431e+00,-1.00000000000000355271e+00,-9.89949493661169732661e+00> 2, { 99,111,147 } 1, { 99,146 } 2, { 99,146,147 } 1, { 99,147 } 1, { 100,101 } 2, { 100,101,124,126,148 } 3, { 100,101,124,125,126,127,148,149,160,161,162,163,172,173 }, <1,-1.00000000000000066613e+00,-1.13947171210089401064e-15,-2.09902683808059426905e-16,-5.11667273601693128882e+00> 2, { 100,101,125,127,149 } 1, { 100,124 } 2, { 100,124,125 } 1, { 100,125 } 1, { 101,126 } 2, { 101,126,127 } 1, { 101,127 } 1, { 102,106 } 2, { 102,106,128,136,150 } 3, { 102,106,128,132,136,140,150,154,160,164,166,168,172,174 }, <1,-4.19805367616118410076e-16,-1.00000000000000266454e+00,-1.79916586121193604318e-16,-5.11667273601693661789e+00> 2, { 102,106,132,140,154 } 1, { 102,128 } 2, { 102,128,132 } 1, { 102,132 } 1, { 103,108 } 2, { 103,108,129,138,152 } 3, { 103,108,129,133,138,142,152,155,161,164,167,170,172,175 }, <1,-1.13947171210089203849e-15,-6.29708051424177220684e-16,-1.00000000000000244249e+00,-5.11667273601693661789e+00> 2, { 103,108,133,142,155 } 1, { 103,129 } 2, { 103,129,133 } 1, { 103,133 } 1, { 104,107 } 2, { 104,107,130,137,151 } 3, { 104,107,130,134,137,141,151,156,162,165,166,169,173,174 }, <1,-1.49930488434328422681e-16,-5.99721953737313740027e-17,1.00000000000000066613e+00,-5.11667273601692951246e+00> 2, { 104,107,134,141,156 } 1, { 104,130 } 2, { 104,130,134 } 1, { 104,134 } 1, { 105,109 } 2, { 105,109,131,139,153 } 3, { 105,109,131,135,139,143,153,157,163,165,167,171,173,175 }, <1,-1.13947171210089420786e-15,1.00000000000000066613e+00,5.99721953737312753951e-17,-5.11667273601693040064e+00> 2, { 105,109,135,143,157 } 1, { 105,131 } 2, { 105,131,135 } 1, { 105,135 } 1, { 106,136 } 2, { 106,136,140 } 1, { 106,140 } 1, { 107,137 } 2, { 107,137,141 } 1, { 107,141 } 1, { 108,138 } 2, { 108,138,142 } 1, { 108,142 } 1, { 109,139 } 2, { 109,139,143 } 1, { 109,143 } 1, { 110,111 } 2, { 110,111,144,146,158 } 3, { 110,111,144,145,146,147,158,159,168,169,170,171,174,175 }, <1,1.00000000000000266454e+00,-9.29569028292828691930e-16,7.49652442171636073688e-16,-5.11667273601693839424e+00> 2, { 110,111,145,147,159 } 1, { 110,144 } 2, { 110,144,145 } 1, { 110,145 } 1, { 111,146 } 2, { 111,146,147 } 1, { 111,147 } 1, { 112,113 } 2, { 112,113,116 } 3, { 112,113,116,148,150,151 }, <1,-9.99999999999999222844e-01,-1.00000000000000111022e+00,9.99999999999998889777e-01,-7.40491834728766118445e+00> 2, { 112,113,148 } 1, { 112,116 } 2, { 112,116,150 } 1, { 112,124 } 2, { 112,124,128 } 3, { 112,124,128,148,150,160 }, <2.23606797749978936096e+00,-2.23606797749979246959e+00,-2.23606797749979557821e+00,1,-1.51436872299975320288e+01> 2, { 112,124,148 } 1, { 112,128 } 2, { 112,128,150 } 1, { 112,148 } 2, { 112,148,150 } 1, { 112,150 } 1, { 113,116 } 2, { 113,116,151 } 1, { 113,126 } 2, { 113,126,130 } 3, { 113,126,130,148,151,162 }, <2.23606797749978314371e+00,-2.23606797749978536416e+00,-1,2.23606797749978580825e+00,-1.51436872299974858436e+01> 2, { 113,126,148 } 1, { 113,130 } 2, { 113,130,151 } 1, { 113,148 } 2, { 113,148,151 } 1, { 113,151 } 1, { 114,115 } 2, { 114,115,117 } 3, { 114,115,117,149,152,153 }, <1,-9.99999999999999888978e-01,9.99999999999998445688e-01,-1.00000000000000044409e+00,-7.40491834728766296081e+00> 2, { 114,115,149 } 1, { 114,117 } 2, { 114,117,152 } 1, { 114,125 } 2, { 114,125,129 } 3, { 114,125,129,149,152,161 }, <2.23606797749979380185e+00,-2.23606797749979602230e+00,1,-2.23606797749979735457e+00,-1.51436872299975515688e+01> 2, { 114,125,149 } 1, { 114,129 } 2, { 114,129,152 } 1, { 114,149 } 2, { 114,149,152 } 1, { 114,152 } 1, { 115,117 } 2, { 115,117,153 } 1, { 115,127 } 2, { 115,127,131 } 3, { 115,127,131,149,153,163 }, <2.23606797749978802869e+00,-2.23606797749979024914e+00,2.23606797749978802869e+00,-1,-1.51436872299975107126e+01> 2, { 115,127,149 } 1, { 115,131 } 2, { 115,131,153 } 1, { 115,149 } 2, { 115,149,153 } 1, { 115,153 } 1, { 116,136 } 2, { 116,136,137 } 3, { 116,136,137,150,151,166 }, <2.23606797749979069323e+00,-1,-2.23606797749979335777e+00,2.23606797749979024914e+00,-1.51436872299975284761e+01> 2, { 116,136,150 } 1, { 116,137 } 2, { 116,137,151 } 1, { 116,150 } 2, { 116,150,151 } 1, { 116,151 } 1, { 117,138 } 2, { 117,138,139 } 3, { 117,138,139,152,153,167 }, <2.23606797749979158141e+00,-1,2.23606797749978758461e+00,-2.23606797749979069323e+00,-1.51436872299975213707e+01> 2, { 117,138,152 } 1, { 117,139 } 2, { 117,139,153 } 1, { 117,152 } 2, { 117,152,153 } 1, { 117,153 } 1, { 118,120 } 2, { 118,120,121 } 3, { 118,120,121,154,155,158 }, <1,9.99999999999998112621e-01,-9.99999999999998556710e-01,-9.99999999999998556710e-01,-7.40491834728765496720e+00> 2, { 118,120,154 } 1, { 118,121 } 2, { 118,121,155 } 1, { 118,132 } 2, { 118,132,133 } 3, { 118,132,133,154,155,164 }, <2.23606797749978980505e+00,1,-2.23606797749978847278e+00,-2.23606797749978847278e+00,-1.51436872299975142653e+01> 2, { 118,132,154 } 1, { 118,133 } 2, { 118,133,155 } 1, { 118,154 } 2, { 118,154,155 } 1, { 118,155 } 1, { 119,122 } 2, { 119,122,123 } 3, { 119,122,123,156,157,159 }, <1,1.00000000000000088818e+00,9.99999999999999222844e-01,9.99999999999999222844e-01,-7.40491834728766207263e+00> 2, { 119,122,156 } 1, { 119,123 } 2, { 119,123,157 } 1, { 119,134 } 2, { 119,134,135 } 3, { 119,134,135,156,157,165 }, <2.23606797749979424594e+00,1,2.23606797749979335777e+00,2.23606797749979291368e+00,-1.51436872299975409106e+01> 2, { 119,134,156 } 1, { 119,135 } 2, { 119,135,157 } 1, { 119,156 } 2, { 119,156,157 } 1, { 119,157 } 1, { 120,121 } 2, { 120,121,158 } 1, { 120,140 } 2, { 120,140,144 } 3, { 120,140,144,154,158,168 }, <2.23606797749979024914e+00,2.23606797749979024914e+00,-2.23606797749979024914e+00,-1,-1.51436872299975195943e+01> 2, { 120,140,154 } 1, { 120,144 } 2, { 120,144,158 } 1, { 120,154 } 2, { 120,154,158 } 1, { 120,158 } 1, { 121,142 } 2, { 121,142,146 } 3, { 121,142,146,155,158,170 }, <2.23606797749979246959e+00,2.23606797749978891687e+00,-1,-2.23606797749978891687e+00,-1.51436872299975213707e+01> 2, { 121,142,155 } 1, { 121,146 } 2, { 121,146,158 } 1, { 121,155 } 2, { 121,155,158 } 1, { 121,158 } 1, { 122,123 } 2, { 122,123,159 } 1, { 122,141 } 2, { 122,141,145 } 3, { 122,141,145,156,159,169 }, <2.23606797749979957501e+00,2.23606797749980090728e+00,1,2.23606797749979824275e+00,-1.51436872299975764378e+01> 2, { 122,141,156 } 1, { 122,145 } 2, { 122,145,159 } 1, { 122,156 } 2, { 122,156,159 } 1, { 122,159 } 1, { 123,143 } 2, { 123,143,147 } 3, { 123,143,147,157,159,171 }, <2.23606797749980179546e+00,2.23606797749979913092e+00,2.23606797749979691048e+00,1,-1.51436872299975764378e+01> 2, { 123,143,157 } 1, { 123,147 } 2, { 123,147,159 } 1, { 123,157 } 2, { 123,157,159 } 1, { 123,159 } 1, { 124,125 } 2, { 124,125,160,161 } 1, { 124,128 } 2, { 124,128,160 } 1, { 124,148 } 2, { 124,148,160 } 1, { 124,160 } 1, { 125,129 } 2, { 125,129,161 } 1, { 125,149 } 2, { 125,149,161 } 1, { 125,161 } 1, { 126,127 } 2, { 126,127,162,163 } 1, { 126,130 } 2, { 126,130,162 } 1, { 126,148 } 2, { 126,148,162 } 1, { 126,162 } 1, { 127,131 } 2, { 127,131,163 } 1, { 127,149 } 2, { 127,149,163 } 1, { 127,163 } 1, { 128,132 } 2, { 128,132,160,164 } 1, { 128,150 } 2, { 128,150,160 } 1, { 128,160 } 1, { 129,133 } 2, { 129,133,161,164 } 1, { 129,152 } 2, { 129,152,161 } 1, { 129,161 } 1, { 130,134 } 2, { 130,134,162,165 } 1, { 130,151 } 2, { 130,151,162 } 1, { 130,162 } 1, { 131,135 } 2, { 131,135,163,165 } 1, { 131,153 } 2, { 131,153,163 } 1, { 131,163 } 1, { 132,133 } 2, { 132,133,164 } 1, { 132,154 } 2, { 132,154,164 } 1, { 132,164 } 1, { 133,155 } 2, { 133,155,164 } 1, { 133,164 } 1, { 134,135 } 2, { 134,135,165 } 1, { 134,156 } 2, { 134,156,165 } 1, { 134,165 } 1, { 135,157 } 2, { 135,157,165 } 1, { 135,165 } 1, { 136,137 } 2, { 136,137,166 } 1, { 136,140 } 2, { 136,140,166,168 } 1, { 136,150 } 2, { 136,150,166 } 1, { 136,166 } 1, { 137,141 } 2, { 137,141,166,169 } 1, { 137,151 } 2, { 137,151,166 } 1, { 137,166 } 1, { 138,139 } 2, { 138,139,167 } 1, { 138,142 } 2, { 138,142,167,170 } 1, { 138,152 } 2, { 138,152,167 } 1, { 138,167 } 1, { 139,143 } 2, { 139,143,167,171 } 1, { 139,153 } 2, { 139,153,167 } 1, { 139,167 } 1, { 140,144 } 2, { 140,144,168 } 1, { 140,154 } 2, { 140,154,168 } 1, { 140,168 } 1, { 141,145 } 2, { 141,145,169 } 1, { 141,156 } 2, { 141,156,169 } 1, { 141,169 } 1, { 142,146 } 2, { 142,146,170 } 1, { 142,155 } 2, { 142,155,170 } 1, { 142,170 } 1, { 143,147 } 2, { 143,147,171 } 1, { 143,157 } 2, { 143,157,171 } 1, { 143,171 } 1, { 144,145 } 2, { 144,145,168,169 } 1, { 144,158 } 2, { 144,158,168 } 1, { 144,168 } 1, { 145,159 } 2, { 145,159,169 } 1, { 145,169 } 1, { 146,147 } 2, { 146,147,170,171 } 1, { 146,158 } 2, { 146,158,170 } 1, { 146,170 } 1, { 147,159 } 2, { 147,159,171 } 1, { 147,171 } 1, { 148,150 } 2, { 148,150,151 } 3, { 148,150,151,160,162,166,172,173,174 }, <2.23606797749978492007e+00,-1,-1.00000000000000222045e+00,9.99999999999999888978e-01,-1.05671960074560331577e+01> 2, { 148,150,160 } 1, { 148,151 } 2, { 148,151,162 } 1, { 148,160 } 2, { 148,160,162,172,173 } 1, { 148,162 } 1, { 149,152 } 2, { 149,152,153 } 3, { 149,152,153,161,163,167,172,173,175 }, <2.23606797749978847278e+00,-1,9.99999999999997890576e-01,-1,-1.05671960074560402632e+01> 2, { 149,152,161 } 1, { 149,153 } 2, { 149,153,163 } 1, { 149,161 } 2, { 149,161,163,172,173 } 1, { 149,163 } 1, { 150,151 } 2, { 150,151,166 } 1, { 150,160 } 2, { 150,160,166,172,174 } 1, { 150,166 } 1, { 151,162 } 2, { 151,162,166,173,174 } 1, { 151,166 } 1, { 152,153 } 2, { 152,153,167 } 1, { 152,161 } 2, { 152,161,167,172,175 } 1, { 152,167 } 1, { 153,163 } 2, { 153,163,167,173,175 } 1, { 153,167 } 1, { 154,155 } 2, { 154,155,158 } 3, { 154,155,158,164,168,170,172,174,175 }, <2.23606797749978980505e+00,1,-1.00000000000000133227e+00,-1.00000000000000044409e+00,-1.05671960074560473686e+01> 2, { 154,155,164 } 1, { 154,158 } 2, { 154,158,168 } 1, { 154,164 } 2, { 154,164,168,172,174 } 1, { 154,168 } 1, { 155,158 } 2, { 155,158,170 } 1, { 155,164 } 2, { 155,164,170,172,175 } 1, { 155,170 } 1, { 156,157 } 2, { 156,157,159 } 3, { 156,157,159,165,169,171,173,174,175 }, <2.23606797749979202550e+00,1,9.99999999999997890576e-01,9.99999999999999000799e-01,-1.05671960074560438159e+01> 2, { 156,157,165 } 1, { 156,159 } 2, { 156,159,169 } 1, { 156,165 } 2, { 156,165,169,173,174 } 1, { 156,169 } 1, { 157,159 } 2, { 157,159,171 } 1, { 157,165 } 2, { 157,165,171,173,175 } 1, { 157,171 } 1, { 158,168 } 2, { 158,168,170,174,175 } 1, { 158,170 } 1, { 159,169 } 2, { 159,169,171,174,175 } 1, { 159,171 } 1, { 160,161 } 2, { 160,161,164 } 3, { 160,161,164,172 }, <1.76393202250021574606e+00,-1,-1.00000000000000310862e+00,-1,-9.89949493661169199754e+00> 2, { 160,161,172 } 1, { 160,164 } 2, { 160,164,172 } 1, { 160,172 } 1, { 161,164 } 2, { 161,164,172 } 1, { 161,172 } 1, { 162,163 } 2, { 162,163,165 } 3, { 162,163,165,173 }, <1.76393202250021285948e+00,-1,9.99999999999998334665e-01,1.00000000000000088818e+00,-9.89949493661167423397e+00> 2, { 162,163,173 } 1, { 162,165 } 2, { 162,165,173 } 1, { 162,173 } 1, { 163,165 } 2, { 163,165,173 } 1, { 163,173 } 1, { 164,172 } 1, { 165,173 } 1, { 166,168 } 2, { 166,168,169 } 3, { 166,168,169,174 }, <1.76393202250021641220e+00,1,-1.00000000000000155431e+00,1.00000000000000022204e+00,-9.89949493661169377390e+00> 2, { 166,168,174 } 1, { 166,169 } 2, { 166,169,174 } 1, { 166,174 } 1, { 167,170 } 2, { 167,170,171 } 3, { 167,170,171,175 }, <1.76393202250020331157e+00,1,9.99999999999997890576e-01,-9.99999999999999444888e-01,-9.89949493661163337777e+00> 2, { 167,170,175 } 1, { 167,171 } 2, { 167,171,175 } 1, { 167,175 } 1, { 168,169 } 2, { 168,169,174 } 1, { 168,174 } 1, { 169,174 } 1, { 170,171 } 2, { 170,171,175 } 1, { 170,175 } 1, { 171,175 } 1, { 172,173 } 2, { 172,173,174 } 3, { 172,173,174,175 }, <1,8.24814929204492631773e-16,1.69814838365630835953e-16,-9.46111242322800421043e-16,-4.40956595483038160666e+00> 2, { 172,173,175 } 1, { 172,174 } 2, { 172,174,175 } 1, { 172,175 } 1, { 173,174 } 2, { 173,174,175 } 1, { 173,175 } 1, { 174,175 } } }