V:=Matrix(CC,3,25,[
    -0.475812316639146 + 0.0*i,
    -0.36217821151754 + 0.0*i,
    0.128233364009901 + 0.0*i,
    -0.995818409551645 + 0.0*i,
    -0.878878351408659 + 0.0*i,
    0.17887983458709 + 0.0*i,
    -0.0801896701012362 + 0.0*i,
    -0.473770646553529 + 0.0*i,
    -0.855379380105994 + 0.0*i,
    0.603570782995323 + 0.0*i,
    0.143712954745636 + 0.0*i,
    0.728328123634172 + 0.0*i,
    -0.320808052513719 + 0.0*i,
    0.834646171419392 + 0.0*i,
    -0.623991937737733 + 0.0*i,
    0.889304579188074 + 0.0*i,
    -0.605898397303706 + 0.0*i,
    -0.137310561115395 + 0.0*i,
    -0.896726839424917 + 0.0*i,
    -0.293588084638009 + 0.0*i,
    -0.561320847045655 + 0.0*i,
    -0.608443214985983 + 0.0*i,
    0.516204980585585 + 0.0*i,
    0.0732771008079673 + 0.0*i,
    0.499045426358865 + 0.0*i,
    -0.858148128622338 + 0.0*i,
    -0.517558073853817 + 0.0*i,
    -0.995394596901708 + 0.0*i,
    -0.0722754257467746 + 0.0*i,
    -0.0337550312045967 + 0.0*i,
    -0.770603502535705 + 0.0*i,
    0.214625220491542 + 0.0*i,
    0.83529255755028 + 0.0*i,
    -0.508481101083396 + 0.0*i,
    0.582286642297215 + 0.0*i,
    -0.68442935304461 + 0.0*i,
    0.50139069471117 + 0.0*i,
    -0.59673356158789 + 0.0*i,
    0.229865890994243 + 0.0*i,
    0.762664030027565 + 0.0*i,
    -0.451801411432858 + 0.0*i,
    -0.688981581711242 + 0.0*i,
    -0.935826060139641 + 0.0*i,
    0.279214077672824 + 0.0*i,
    -0.874160447167824 + 0.0*i,
    0.459544492734245 + 0.0*i,
    0.399327940290224 + 0.0*i,
    0.00683431436637358 + 0.0*i,
    -0.303275081194757 + 0.0*i,
    0.136394524217256 + 0.0*i,
    0.0313328668586811 + 0.0*i,
    -0.785143026082654 + 0.0*i,
    0.113113182545265 + 0.0*i,
    -0.00243952567422494 + 0.0*i,
    0.487285774435288 + 0.0*i,
    0.63181328065547 + 0.0*i,
    0.986360187946217 + 0.0*i,
    0.317433101616306 + 0.0*i,
    -0.0248280486267623 + 0.0*i,
    -0.249100550650879 + 0.0*i,
    -0.720479047512815 + 0.0*i,
    -0.455973542098355 + 0.0*i,
    0.735959238530529 + 0.0*i,
    0.513470533716037 + 0.0*i,
    -0.224286286770922 + 0.0*i,
    -0.190907601866324 + 0.0*i,
    -0.393965894127823 + 0.0*i,
    -0.360542998496367 + 0.0*i,
    -0.369313630680545 + 0.0*i,
    0.348800955321361 + 0.0*i,
    -0.682370794697642 + 0.0*i,
    0.707476670313479 + 0.0*i,
    0.872156461541341 + 0.0*i,
    0.959914531754826 + 0.0*i,
    -0.86653365785865 + 0.0*i
]);