# Automatically generated by makepoly. polytope pvtest68NMP0K3GZKXPGMEXV5RMXFTVM { dimension 4 vertices { <-2.41421356237309492343e+00, -1, 1.41421356237309514547e+00, 0> <-1, -2.41421356237309492343e+00, 1.41421356237309514547e+00, 0> <1, -2.41421356237309492343e+00, 1.41421356237309514547e+00, 0> <2.41421356237309492343e+00, -1, 1.41421356237309514547e+00, 0> <2.41421356237309492343e+00, 1, 1.41421356237309514547e+00, 0> <1, 2.41421356237309492343e+00, 1.41421356237309514547e+00, 0> <-1, 2.41421356237309492343e+00, 1.41421356237309514547e+00, 0> <-2.41421356237309492343e+00, 1, 1.41421356237309514547e+00, 0> <-2.41421356237309492343e+00, -1, -1.41421356237309514547e+00, 0> <-1, -2.41421356237309492343e+00, -1.41421356237309514547e+00, 0> <1, -2.41421356237309492343e+00, -1.41421356237309514547e+00, 0> <2.41421356237309492343e+00, -1, -1.41421356237309514547e+00, 0> <2.41421356237309492343e+00, 1, -1.41421356237309514547e+00, 0> <1, 2.41421356237309492343e+00, -1.41421356237309514547e+00, 0> <-1, 2.41421356237309492343e+00, -1.41421356237309514547e+00, 0> <-2.41421356237309492343e+00, 1, -1.41421356237309514547e+00, 0> <-2.41421356237309492343e+00, -1, 0, 1.41421356237309514547e+00> <-1, -2.41421356237309492343e+00, 0, 1.41421356237309514547e+00> <1, -2.41421356237309492343e+00, 0, 1.41421356237309514547e+00> <2.41421356237309492343e+00, -1, 0, 1.41421356237309514547e+00> <2.41421356237309492343e+00, 1, 0, 1.41421356237309514547e+00> <1, 2.41421356237309492343e+00, 0, 1.41421356237309514547e+00> <-1, 2.41421356237309492343e+00, 0, 1.41421356237309514547e+00> <-2.41421356237309492343e+00, 1, 0, 1.41421356237309514547e+00> <-2.41421356237309492343e+00, -1, 0, -1.41421356237309514547e+00> <-1, -2.41421356237309492343e+00, 0, -1.41421356237309514547e+00> <1, -2.41421356237309492343e+00, 0, -1.41421356237309514547e+00> <2.41421356237309492343e+00, -1, 0, -1.41421356237309514547e+00> <2.41421356237309492343e+00, 1, 0, -1.41421356237309514547e+00> <1, 2.41421356237309492343e+00, 0, -1.41421356237309514547e+00> <-1, 2.41421356237309492343e+00, 0, -1.41421356237309514547e+00> <-2.41421356237309492343e+00, 1, 0, -1.41421356237309514547e+00> <1.41421356237309514547e+00, 0, -2.41421356237309492343e+00, -1> <1.41421356237309514547e+00, 0, -1, -2.41421356237309492343e+00> <1.41421356237309514547e+00, 0, 1, -2.41421356237309492343e+00> <1.41421356237309514547e+00, 0, 2.41421356237309492343e+00, -1> <1.41421356237309514547e+00, 0, 2.41421356237309492343e+00, 1> <1.41421356237309514547e+00, 0, 1, 2.41421356237309492343e+00> <1.41421356237309514547e+00, 0, -1, 2.41421356237309492343e+00> <1.41421356237309514547e+00, 0, -2.41421356237309492343e+00, 1> <-1.41421356237309514547e+00, 0, -2.41421356237309492343e+00, -1> <-1.41421356237309514547e+00, 0, -1, -2.41421356237309492343e+00> <-1.41421356237309514547e+00, 0, 1, -2.41421356237309492343e+00> <-1.41421356237309514547e+00, 0, 2.41421356237309492343e+00, -1> <-1.41421356237309514547e+00, 0, 2.41421356237309492343e+00, 1> <-1.41421356237309514547e+00, 0, 1, 2.41421356237309492343e+00> <-1.41421356237309514547e+00, 0, -1, 2.41421356237309492343e+00> <-1.41421356237309514547e+00, 0, -2.41421356237309492343e+00, 1> <0, 1.41421356237309514547e+00, -2.41421356237309492343e+00, -1> <0, 1.41421356237309514547e+00, -1, -2.41421356237309492343e+00> <0, 1.41421356237309514547e+00, 1, -2.41421356237309492343e+00> <0, 1.41421356237309514547e+00, 2.41421356237309492343e+00, -1> <0, 1.41421356237309514547e+00, 2.41421356237309492343e+00, 1> <0, 1.41421356237309514547e+00, 1, 2.41421356237309492343e+00> <0, 1.41421356237309514547e+00, -1, 2.41421356237309492343e+00> <0, 1.41421356237309514547e+00, -2.41421356237309492343e+00, 1> <0, -1.41421356237309514547e+00, -2.41421356237309492343e+00, -1> <0, -1.41421356237309514547e+00, -1, -2.41421356237309492343e+00> <0, -1.41421356237309514547e+00, 1, -2.41421356237309492343e+00> <0, -1.41421356237309514547e+00, 2.41421356237309492343e+00, -1> <0, -1.41421356237309514547e+00, 2.41421356237309492343e+00, 1> <0, -1.41421356237309514547e+00, 1, 2.41421356237309492343e+00> <0, -1.41421356237309514547e+00, -1, 2.41421356237309492343e+00> <0, -1.41421356237309514547e+00, -2.41421356237309492343e+00, 1> } lattice { 1, { 0,1 } 2, { 0,1,16,17 } 3, { 0,1,8,9,16,17,24,25 }, <-1,-9.99999999999999888978e-01,-0,-0,-3.41421356237309447934e+00> 3, { 0,1,16,17,44,45,60,61 }, <-1,-1.00000000000000022204e+00,1.00000000000000022204e+00,1.00000000000000022204e+00,-4.82842712474619073504e+00> 2, { 0,1,24,25 } 3, { 0,1,24,25,42,43,58,59 }, <-1,-9.99999999999999222844e-01,9.99999999999998556710e-01,-9.99999999999999555911e-01,-4.82842712474618718232e+00> 2, { 0,1,43,59 } 3, { 0,1,43,44,59,60 }, <-1,-1.00000000000000155431e+00,2.00000000000000266454e+00,3.90212154339922994994e-16,-6.24264068711929365207e+00> 2, { 0,1,44,60 } 1, { 0,7 } 2, { 0,7,16,23 } 3, { 0,7,8,15,16,23,24,31 }, <-1,-0,-0,-0,-2.41421356237309492343e+00> 3, { 0,7,16,23,44,45 }, <-1.99999999999999955591e+00,-0,1,1,-6.24264068711928477029e+00> 2, { 0,7,24,31 } 3, { 0,7,24,31,42,43 }, <-2.00000000000000133227e+00,-8.88178419700125429554e-16,1,-1.00000000000000088818e+00,-6.24264068711928921118e+00> 2, { 0,7,43 } 3, { 0,7,43,44 }, <-1,-4.44089209850062911992e-16,1.00000000000000088818e+00,1.95106077169961398890e-16,-3.82842712474619295548e+00> 2, { 0,7,44 } 1, { 0,16 } 2, { 0,8,16,24 } 2, { 0,16,44,45 } 1, { 0,24 } 2, { 0,24,42,43 } 1, { 0,43 } 2, { 0,43,44 } 1, { 0,44 } 1, { 1,2 } 2, { 1,2,17,18 } 3, { 1,2,9,10,17,18,25,26 }, <2.22044604925031406692e-16,-1,-2.35513868802566632461e-16,-2.35513868802566632461e-16,-2.41421356237309536752e+00> 3, { 1,2,17,18,60,61 }, <1.01171275492896043551e-15,-2.00000000000000177636e+00,1,1,-6.24264068711929098754e+00> 2, { 1,2,25,26 } 3, { 1,2,25,26,58,59 }, <-0,-2.00000000000000310862e+00,1,-1.00000000000000177636e+00,-6.24264068711929454025e+00> 2, { 1,2,59 } 3, { 1,2,59,60 }, <9.75530385849807734005e-16,-1,9.99999999999999333866e-01,-4.04077916326054924164e-17,-3.82842712474618984686e+00> 2, { 1,2,60 } 1, { 1,17 } 2, { 1,9,17,25 } 2, { 1,17,60,61 } 1, { 1,25 } 2, { 1,25,58,59 } 1, { 1,59 } 2, { 1,59,60 } 1, { 1,60 } 1, { 2,3 } 2, { 2,3,18,19 } 3, { 2,3,10,11,18,19,26,27 }, <1,-9.99999999999999777955e-01,-8.04094644992680325656e-16,-8.04094644992680325656e-16,-3.41421356237309581161e+00> 3, { 2,3,18,19,36,37,60,61 }, <1,-9.99999999999997446487e-01,9.99999999999997002398e-01,9.99999999999997002398e-01,-4.82842712474618096508e+00> 2, { 2,3,26,27 } 3, { 2,3,26,27,34,35,58,59 }, <1,-9.99999999999999111822e-01,9.99999999999997668532e-01,-1.00000000000000022204e+00,-4.82842712474618807050e+00> 2, { 2,3,35,59 } 3, { 2,3,35,36,59,60 }, <1,-9.99999999999998001599e-01,1.99999999999999444888e+00,-4.13882490652757527877e-16,-6.24264068711927144761e+00> 2, { 2,3,36,60 } 1, { 2,18 } 2, { 2,10,18,26 } 2, { 2,18,60,61 } 1, { 2,26 } 2, { 2,26,58,59 } 1, { 2,59 } 2, { 2,59,60 } 1, { 2,60 } 1, { 3,4 } 2, { 3,4,19,20 } 3, { 3,4,11,12,19,20,27,28 }, <1,-9.75530385849807117707e-17,-8.04094644992680128441e-16,-8.04094644992680128441e-16,-2.41421356237309581161e+00> 3, { 3,4,19,20,36,37 }, <2.00000000000000532907e+00,-7.35791094493790492331e-16,1,1,-6.24264068711929720479e+00> 2, { 3,4,27,28 } 3, { 3,4,27,28,34,35 }, <2.00000000000000532907e+00,-4.59869434058618083956e-16,1,-1.00000000000000421885e+00,-6.24264068711930342204e+00> 2, { 3,4,35 } 3, { 3,4,35,36 }, <1,-4.55247513396577599920e-16,9.99999999999997446487e-01,-6.08988567822718778856e-16,-3.82842712474618585006e+00> 2, { 3,4,36 } 1, { 3,19 } 2, { 3,11,19,27 } 2, { 3,19,36,37 } 1, { 3,27 } 2, { 3,27,34,35 } 1, { 3,35 } 2, { 3,35,36 } 1, { 3,36 } 1, { 4,5 } 2, { 4,5,20,21 } 3, { 4,5,12,13,20,21,28,29 }, <1,1.00000000000000044409e+00,-1.13716155238022748500e-15,-1.13716155238022748500e-15,-3.41421356237309714388e+00> 3, { 4,5,20,21,36,37,52,53 }, <1,9.99999999999996558309e-01,9.99999999999995892175e-01,9.99999999999995892175e-01,-4.82842712474617652418e+00> 2, { 4,5,28,29 } 3, { 4,5,28,29,34,35,50,51 }, <1,9.99999999999999333866e-01,9.99999999999997668532e-01,-1.00000000000000088818e+00,-4.82842712474618895868e+00> 2, { 4,5,35,51 } 3, { 4,5,35,36,51,52 }, <1,9.99999999999997779554e-01,1.99999999999999444888e+00,-7.46949398040303799751e-16,-6.24264068711927322397e+00> 2, { 4,5,36,52 } 1, { 4,20 } 2, { 4,12,20,28 } 2, { 4,20,36,37 } 1, { 4,28 } 2, { 4,28,34,35 } 1, { 4,35 } 2, { 4,35,36 } 1, { 4,36 } 1, { 5,6 } 2, { 5,6,21,22 } 3, { 5,6,13,14,21,22,29,30 }, <-5.55111512312578023693e-17,1,-5.68580776190113545284e-16,-5.68580776190113545284e-16,-2.41421356237309581161e+00> 3, { 5,6,21,22,52,53 }, <5.51843320870342252950e-16,2.00000000000000444089e+00,1,1,-6.24264068711929631661e+00> 2, { 5,6,29,30 } 3, { 5,6,29,30,50,51 }, <-6.43817207682064942830e-16,2.00000000000000355271e+00,1,-1.00000000000000310862e+00,-6.24264068711929809297e+00> 2, { 5,6,51 } 3, { 5,6,51,52 }, <7.80424308679845891381e-16,1,9.99999999999999222844e-01,-3.73474699020152540825e-16,-3.82842712474619029095e+00> 2, { 5,6,52 } 1, { 5,21 } 2, { 5,13,21,29 } 2, { 5,21,52,53 } 1, { 5,29 } 2, { 5,29,50,51 } 1, { 5,51 } 2, { 5,51,52 } 1, { 5,52 } 1, { 6,7 } 2, { 6,7,22,23 } 3, { 6,7,14,15,22,23,30,31 }, <-1,9.99999999999999555911e-01,-3.33066907387546912823e-16,-3.33066907387546912823e-16,-3.41421356237309447934e+00> 3, { 6,7,22,23,44,45,52,53 }, <-1,1.00000000000000066613e+00,9.99999999999999888978e-01,9.99999999999999888978e-01,-4.82842712474619073504e+00> 2, { 6,7,30,31 } 3, { 6,7,30,31,42,43,50,51 }, <-1,9.99999999999999555911e-01,9.99999999999999111822e-01,-1.00000000000000066613e+00,-4.82842712474618984686e+00> 2, { 6,7,43,51 } 3, { 6,7,43,44,51,52 }, <-1,1.00000000000000266454e+00,2.00000000000000488498e+00,5.71452469523751700505e-17,-6.24264068711929809297e+00> 2, { 6,7,44,52 } 1, { 6,22 } 2, { 6,14,22,30 } 2, { 6,22,52,53 } 1, { 6,30 } 2, { 6,30,50,51 } 1, { 6,51 } 2, { 6,51,52 } 1, { 6,52 } 1, { 7,23 } 2, { 7,15,23,31 } 2, { 7,23,44,45 } 1, { 7,31 } 2, { 7,31,42,43 } 1, { 7,43 } 2, { 7,43,44 } 1, { 7,44 } 1, { 8,9 } 2, { 8,9,16,17 } 3, { 8,9,16,17,46,47,62,63 }, <-1,-1.00000000000000022204e+00,-1,1,-4.82842712474619073504e+00> 2, { 8,9,24,25 } 3, { 8,9,24,25,40,41,56,57 }, <-1,-9.99999999999999222844e-01,-9.99999999999999666933e-01,-9.99999999999999666933e-01,-4.82842712474618807050e+00> 2, { 8,9,40,56 } 3, { 8,9,40,47,56,63 }, <-1,-9.99999999999999222844e-01,-1.99999999999999911182e+00,-6.66133814775093825647e-16,-6.24264068711928121758e+00> 2, { 8,9,47,63 } 1, { 8,15 } 2, { 8,15,16,23 } 3, { 8,15,16,23,46,47 }, <-2.00000000000000044409e+00,-0,-1,1,-6.24264068711928565847e+00> 2, { 8,15,24,31 } 3, { 8,15,24,31,40,41 }, <-2,-0,-1,-1,-6.24264068711928388211e+00> 2, { 8,15,40 } 3, { 8,15,40,47 }, <-1,-0,-9.99999999999999777955e-01,-3.33066907387547011431e-16,-3.82842712474618940277e+00> 2, { 8,15,47 } 1, { 8,16 } 2, { 8,16,46,47 } 1, { 8,24 } 2, { 8,24,40,41 } 1, { 8,40 } 2, { 8,40,47 } 1, { 8,47 } 1, { 9,10 } 2, { 9,10,17,18 } 3, { 9,10,17,18,62,63 }, <6.66133814775094121469e-16,-2,-1,9.99999999999999111822e-01,-6.24264068711928565847e+00> 2, { 9,10,25,26 } 3, { 9,10,25,26,56,57 }, <6.66133814775094318685e-16,-1.99999999999999977796e+00,-1,-1,-6.24264068711928477029e+00> 2, { 9,10,56 } 3, { 9,10,56,63 }, <1.11022302462515752650e-16,-1,-1,-5.68580776190113643892e-16,-3.82842712474618984686e+00> 2, { 9,10,63 } 1, { 9,17 } 2, { 9,17,62,63 } 1, { 9,25 } 2, { 9,25,56,57 } 1, { 9,56 } 2, { 9,56,63 } 1, { 9,63 } 1, { 10,11 } 2, { 10,11,18,19 } 3, { 10,11,18,19,38,39,62,63 }, <1,-9.99999999999999111822e-01,-9.99999999999999555911e-01,9.99999999999998223643e-01,-4.82842712474618807050e+00> 2, { 10,11,26,27 } 3, { 10,11,26,27,32,33,56,57 }, <1,-1,-1,-1,-4.82842712474619073504e+00> 2, { 10,11,32,56 } 3, { 10,11,32,39,56,63 }, <1,-1.00000000000000022204e+00,-1.99999999999999933387e+00,-1.47022845976777405270e-15,-6.24264068711928388211e+00> 2, { 10,11,39,63 } 1, { 10,18 } 2, { 10,18,62,63 } 1, { 10,26 } 2, { 10,26,56,57 } 1, { 10,56 } 2, { 10,56,63 } 1, { 10,63 } 1, { 11,12 } 2, { 11,12,19,20 } 3, { 11,12,19,20,38,39 }, <1.99999999999999933387e+00,9.19738868117238115413e-17,-1,9.99999999999997002398e-01,-6.24264068711928299393e+00> 2, { 11,12,27,28 } 3, { 11,12,27,28,32,33 }, <2,-9.19738868117236389780e-17,-1,-1,-6.24264068711928477029e+00> 2, { 11,12,32 } 3, { 11,12,32,39 }, <1,-3.25176795283269080322e-17,-9.99999999999999000799e-01,-1.13716155238022709057e-15,-3.82842712474618851459e+00> 2, { 11,12,39 } 1, { 11,19 } 2, { 11,19,38,39 } 1, { 11,27 } 2, { 11,27,32,33 } 1, { 11,32 } 2, { 11,32,39 } 1, { 11,39 } 1, { 12,13 } 2, { 12,13,20,21 } 3, { 12,13,20,21,38,39,54,55 }, <1,9.99999999999999555911e-01,-1.00000000000000022204e+00,9.99999999999998112621e-01,-4.82842712474618895868e+00> 2, { 12,13,28,29 } 3, { 12,13,28,29,32,33,48,49 }, <1,1.00000000000000066613e+00,-1.00000000000000066613e+00,-1.00000000000000066613e+00,-4.82842712474619162322e+00> 2, { 12,13,32,48 } 3, { 12,13,32,39,48,55 }, <1,1.00000000000000088818e+00,-2,-1.80329536715532180368e-15,-6.24264068711928743483e+00> 2, { 12,13,39,55 } 1, { 12,20 } 2, { 12,20,38,39 } 1, { 12,28 } 2, { 12,28,32,33 } 1, { 12,32 } 2, { 12,32,39 } 1, { 12,39 } 1, { 13,14 } 2, { 13,14,21,22 } 3, { 13,14,21,22,54,55 }, <-5.55111512312577875781e-16,1.99999999999999955591e+00,-1,9.99999999999997668532e-01,-6.24264068711928121758e+00> 2, { 13,14,29,30 } 3, { 13,14,29,30,48,49 }, <-1.11022302462515629390e-16,1.99999999999999955591e+00,-1,-1,-6.24264068711928299393e+00> 2, { 13,14,48 } 3, { 13,14,48,55 }, <-3.88578058618804887756e-16,1,-9.99999999999999777955e-01,-9.01647683577660310196e-16,-3.82842712474618895868e+00> 2, { 13,14,55 } 1, { 13,21 } 2, { 13,21,54,55 } 1, { 13,29 } 2, { 13,29,48,49 } 1, { 13,48 } 2, { 13,48,55 } 1, { 13,55 } 1, { 14,15 } 2, { 14,15,22,23 } 3, { 14,15,22,23,46,47,54,55 }, <-1,9.99999999999999888978e-01,-9.99999999999999888978e-01,9.99999999999999222844e-01,-4.82842712474618807050e+00> 2, { 14,15,30,31 } 3, { 14,15,30,31,40,41,48,49 }, <-1,9.99999999999998889777e-01,-9.99999999999999555911e-01,-9.99999999999999555911e-01,-4.82842712474618629415e+00> 2, { 14,15,40,48 } 3, { 14,15,40,47,48,55 }, <-1,9.99999999999998889777e-01,-1.99999999999999844569e+00,-9.99200722162640294736e-16,-6.24264068711927855304e+00> 2, { 14,15,47,55 } 1, { 14,22 } 2, { 14,22,54,55 } 1, { 14,30 } 2, { 14,30,48,49 } 1, { 14,48 } 2, { 14,48,55 } 1, { 14,55 } 1, { 15,23 } 2, { 15,23,46,47 } 1, { 15,31 } 2, { 15,31,40,41 } 1, { 15,40 } 2, { 15,40,47 } 1, { 15,47 } 1, { 16,17 } 2, { 16,17,45,61 } 3, { 16,17,45,46,61,62 }, <-1,-9.99999999999999888978e-01,-0,2.00000000000000044409e+00,-6.24264068711928565847e+00> 2, { 16,17,46,62 } 1, { 16,23 } 2, { 16,23,45 } 3, { 16,23,45,46 }, <-1,-0,-0,1.00000000000000022204e+00,-3.82842712474619029095e+00> 2, { 16,23,46 } 1, { 16,45 } 2, { 16,45,46 } 1, { 16,46 } 1, { 17,18 } 2, { 17,18,61 } 3, { 17,18,61,62 }, <6.82871270094865611018e-16,-1,-2.35513868802566780372e-16,9.99999999999999444888e-01,-3.82842712474619029095e+00> 2, { 17,18,62 } 1, { 17,61 } 2, { 17,61,62 } 1, { 17,62 } 1, { 18,19 } 2, { 18,19,37,61 } 3, { 18,19,37,38,61,62 }, <1,-9.99999999999997779554e-01,-8.04094644992679240973e-16,1.99999999999999400480e+00,-6.24264068711927055944e+00> 2, { 18,19,38,62 } 1, { 18,61 } 2, { 18,61,62 } 1, { 18,62 } 1, { 19,20 } 2, { 19,20,37 } 3, { 19,20,37,38 }, <1,-6.50353590566539442543e-16,-8.04094644992679536796e-16,9.99999999999997557509e-01,-3.82842712474618585006e+00> 2, { 19,20,38 } 1, { 19,37 } 2, { 19,37,38 } 1, { 19,38 } 1, { 20,21 } 2, { 20,21,37,53 } 3, { 20,21,37,38,53,54 }, <1,9.99999999999996669331e-01,-1.13716155238022472399e-15,1.99999999999999156231e+00,-6.24264068711926523036e+00> 2, { 20,21,38,54 } 1, { 20,37 } 2, { 20,37,38 } 1, { 20,38 } 1, { 21,22 } 2, { 21,22,53 } 3, { 21,22,53,54 }, <7.47906629151518539614e-16,1,-5.68580776190113841107e-16,9.99999999999997890576e-01,-3.82842712474618807050e+00> 2, { 21,22,54 } 1, { 21,53 } 2, { 21,53,54 } 1, { 21,54 } 1, { 22,23 } 2, { 22,23,45,53 } 3, { 22,23,45,46,53,54 }, <-1,9.99999999999999888978e-01,-3.33066907387546962127e-16,1.99999999999999933387e+00,-6.24264068711928477029e+00> 2, { 22,23,46,54 } 1, { 22,53 } 2, { 22,53,54 } 1, { 22,54 } 1, { 23,45 } 2, { 23,45,46 } 1, { 23,46 } 1, { 24,25 } 2, { 24,25,41,57 } 3, { 24,25,41,42,57,58 }, <-1,-9.99999999999999555911e-01,-1.11022302462515567761e-16,-1.99999999999999844569e+00,-6.24264068711928210575e+00> 2, { 24,25,42,58 } 1, { 24,31 } 2, { 24,31,41 } 3, { 24,31,41,42 }, <-1,-4.44089209850062418954e-16,-5.55111512312578146952e-17,-9.99999999999999777955e-01,-3.82842712474618984686e+00> 2, { 24,31,42 } 1, { 24,41 } 2, { 24,41,42 } 1, { 24,42 } 1, { 25,26 } 2, { 25,26,57 } 3, { 25,26,57,58 }, <3.25176795283269178930e-16,-1,-2.91025020033824410178e-16,-9.99999999999999222844e-01,-3.82842712474618940277e+00> 2, { 25,26,58 } 1, { 25,57 } 2, { 25,57,58 } 1, { 25,58 } 1, { 26,27 } 2, { 26,27,33,57 } 3, { 26,27,33,34,57,58 }, <1,-9.99999999999998556710e-01,-9.15116947455195388053e-16,-1.99999999999999622524e+00,-6.24264068711927766486e+00> 2, { 26,27,34,58 } 1, { 26,57 } 2, { 26,57,58 } 1, { 26,58 } 1, { 27,28 } 2, { 27,28,33 } 3, { 27,28,33,34 }, <1,-1.30070718113307804692e-16,-8.59605796223937955462e-16,-9.99999999999998778755e-01,-3.82842712474618851459e+00> 2, { 27,28,34 } 1, { 27,33 } 2, { 27,33,34 } 1, { 27,34 } 1, { 28,29 } 2, { 28,29,33,49 } 3, { 28,29,33,34,49,50 }, <1,9.99999999999999555911e-01,-1.24818385484274254740e-15,-1.99999999999999822364e+00,-6.24264068711928210575e+00> 2, { 28,29,34,50 } 1, { 28,33 } 2, { 28,33,34 } 1, { 28,34 } 1, { 29,30 } 2, { 29,30,49 } 3, { 29,30,49,50 }, <-6.50353590566537544347e-17,1,-6.24091927421371569521e-16,-1,-3.82842712474619029095e+00> 2, { 29,30,50 } 1, { 29,49 } 2, { 29,49,50 } 1, { 29,50 } 1, { 30,31 } 2, { 30,31,41,49 } 3, { 30,31,41,42,49,50 }, <-1,1,-4.44089209850063010600e-16,-2.00000000000000044409e+00,-6.24264068711928565847e+00> 2, { 30,31,42,50 } 1, { 30,49 } 2, { 30,49,50 } 1, { 30,50 } 1, { 31,41 } 2, { 31,41,42 } 1, { 31,42 } 1, { 32,33 } 2, { 32,33,48,49 } 3, { 32,33,40,41,48,49,56,57 }, <-1.49581325830303274049e-15,-6.50353590566536065233e-17,-1,-1,-3.41421356237309492343e+00> 2, { 32,33,56,57 } 1, { 32,39 } 2, { 32,39,48,55 } 3, { 32,39,40,47,48,55,56,63 }, <-1.07308342443478416867e-15,-3.25176795283267909357e-17,-1,-4.99600361081320541798e-16,-2.41421356237309581161e+00> 2, { 32,39,56,63 } 1, { 32,48 } 2, { 32,40,48,56 } 1, { 32,56 } 1, { 33,34 } 2, { 33,34,49,50 } 3, { 33,34,41,42,49,50,57,58 }, <-3.25176795283268587284e-16,1.30070718113307434914e-16,-2.22044604925031505300e-16,-1,-2.41421356237309581161e+00> 2, { 33,34,57,58 } 1, { 33,49 } 2, { 33,41,49,57 } 1, { 33,57 } 1, { 34,35 } 2, { 34,35,50,51 } 3, { 34,35,42,43,50,51,58,59 }, <-6.50353590566538259252e-16,1.30070718113307632129e-16,1,-1.00000000000000177636e+00,-3.41421356237309936432e+00> 2, { 34,35,58,59 } 1, { 34,50 } 2, { 34,42,50,58 } 1, { 34,58 } 1, { 35,36 } 2, { 35,36,51,52 } 3, { 35,36,43,44,51,52,59,60 }, <8.45459667736500594914e-16,-6.50353590566538900201e-17,1,2.85726234761875788623e-17,-2.41421356237309492343e+00> 2, { 35,36,59,60 } 1, { 35,51 } 2, { 35,43,51,59 } 1, { 35,59 } 1, { 36,37 } 2, { 36,37,52,53 } 3, { 36,37,44,45,52,53,60,61 }, <8.45459667736501482382e-16,-6.50353590566539516499e-17,1,1,-3.41421356237309447934e+00> 2, { 36,37,60,61 } 1, { 36,52 } 2, { 36,44,52,60 } 1, { 36,60 } 1, { 37,38 } 2, { 37,38,53,54 } 3, { 37,38,45,46,53,54,61,62 }, <4.55247513396577797135e-16,-3.25176795283269881509e-17,-1.66533453693773628975e-16,1,-2.41421356237309536752e+00> 2, { 37,38,61,62 } 1, { 37,53 } 2, { 37,45,53,61 } 1, { 37,61 } 1, { 38,39 } 2, { 38,39,54,55 } 3, { 38,39,46,47,54,55,62,63 }, <-6.50353590566537667606e-17,-1.95106077169961300282e-16,-1,9.99999999999999444888e-01,-3.41421356237309447934e+00> 2, { 38,39,62,63 } 1, { 38,54 } 2, { 38,46,54,62 } 1, { 38,62 } 1, { 39,55 } 2, { 39,47,55,63 } 1, { 39,63 } 1, { 40,41 } 2, { 40,41,48,49 } 2, { 40,41,56,57 } 1, { 40,47 } 2, { 40,47,48,55 } 2, { 40,47,56,63 } 1, { 40,48 } 1, { 40,56 } 1, { 41,42 } 2, { 41,42,49,50 } 2, { 41,42,57,58 } 1, { 41,49 } 1, { 41,57 } 1, { 42,43 } 2, { 42,43,50,51 } 2, { 42,43,58,59 } 1, { 42,50 } 1, { 42,58 } 1, { 43,44 } 2, { 43,44,51,52 } 2, { 43,44,59,60 } 1, { 43,51 } 1, { 43,59 } 1, { 44,45 } 2, { 44,45,52,53 } 2, { 44,45,60,61 } 1, { 44,52 } 1, { 44,60 } 1, { 45,46 } 2, { 45,46,53,54 } 2, { 45,46,61,62 } 1, { 45,53 } 1, { 45,61 } 1, { 46,47 } 2, { 46,47,54,55 } 2, { 46,47,62,63 } 1, { 46,54 } 1, { 46,62 } 1, { 47,55 } 1, { 47,63 } 1, { 48,49 } 1, { 48,55 } 1, { 49,50 } 1, { 50,51 } 1, { 51,52 } 1, { 52,53 } 1, { 53,54 } 1, { 54,55 } 1, { 56,57 } 1, { 56,63 } 1, { 57,58 } 1, { 58,59 } 1, { 59,60 } 1, { 60,61 } 1, { 61,62 } 1, { 62,63 } } }