V:=Matrix(CC,4,42,[
    0.0230657828986768 + 0.0*i,
    0.398366686496142 + 0.0*i,
    -0.28213555299609 + 0.0*i,
    -0.263475366025339 + 0.0*i,
    -0.347991999719734 + 0.0*i,
    -0.26308931529034 + 0.0*i,
    -0.252096675275962 + 0.0*i,
    0.956614205551395 + 0.0*i,
    -0.416417785501541 + 0.0*i,
    0.612679989377864 + 0.0*i,
    0.0473316180629723 + 0.0*i,
    0.159953649182318 + 0.0*i,
    -0.770441996836444 + 0.0*i,
    0.220210079330944 + 0.0*i,
    0.586169511593931 + 0.0*i,
    -0.481373076444242 + 0.0*i,
    -0.857562469159255 + 0.0*i,
    -0.742139438415848 + 0.0*i,
    0.251774369670533 + 0.0*i,
    -0.2326683935587 + 0.0*i,
    -1.03809164731643 + 0.0*i,
    0.298326652567538 + 0.0*i,
    -0.143947610693632 + 0.0*i,
    0.374129198816639 + 0.0*i,
    0.519401451824589 + 0.0*i,
    -0.217023788096379 + 0.0*i,
    -0.00748145792091317 + 0.0*i,
    -0.494262854441976 + 0.0*i,
    0.342378153146452 + 0.0*i,
    0.341789464466518 + 0.0*i,
    0.726498012582874 + 0.0*i,
    0.321419677975761 + 0.0*i,
    0.882561965679728 + 0.0*i,
    0.672243511129939 + 0.0*i,
    0.360967996159914 + 0.0*i,
    0.290083386226603 + 0.0*i,
    -0.176511174356698 + 0.0*i,
    -0.338149358421065 + 0.0*i,
    0.962147617115152 + 0.0*i,
    -0.415368059839499 + 0.0*i,
    0.685615881838671 + 0.0*i,
    0.406770442848891 + 0.0*i,
    0.531551316684912 + 0.0*i,
    -1.13267601095187 + 0.0*i,
    0.848123828341546 + 0.0*i,
    0.849452060907487 + 0.0*i,
    0.118047554003972 + 0.0*i,
    0.0563571212629061 + 0.0*i,
    0.369149955101764 + 0.0*i,
    -0.384226735396196 + 0.0*i,
    -0.617635565460367 + 0.0*i,
    -0.35876519513575 + 0.0*i,
    -0.805181935818392 + 0.0*i,
    0.530043175348346 + 0.0*i,
    0.0588838414796754 + 0.0*i,
    -0.298193868985068 + 0.0*i,
    0.6383371030556 + 0.0*i,
    0.153929347104481 + 0.0*i,
    -0.293302180344681 + 0.0*i,
    -0.399935206869644 + 0.0*i,
    -0.505074568443047 + 0.0*i,
    0.287117370310447 + 0.0*i,
    0.252573469475187 + 0.0*i,
    0.856148338330773 + 0.0*i,
    -0.657426515570145 + 0.0*i,
    -0.383393984902283 + 0.0*i,
    -0.564842808861199 + 0.0*i,
    -0.594052402637968 + 0.0*i,
    -0.57461132696411 + 0.0*i,
    0.506406863694072 + 0.0*i,
    0.299959299252647 + 0.0*i,
    0.548219343443363 + 0.0*i,
    -0.44453248012252 + 0.0*i,
    0.546783059473535 + 0.0*i,
    -0.166184832429994 + 0.0*i,
    -0.158435318411195 + 0.0*i,
    0.316559479649294 + 0.0*i,
    -0.0263587150777568 + 0.0*i,
    -0.532871416562079 + 0.0*i,
    -0.0929567893070003 + 0.0*i,
    0.483414549200558 + 0.0*i,
    -0.834619302211084 + 0.0*i,
    0.37690876318755 + 0.0*i,
    0.727899003126666 + 0.0*i,
    0.0510459497923701 + 0.0*i,
    0.221844056614534 + 0.0*i,
    0.111349903036246 + 0.0*i,
    0.387183419924413 + 0.0*i,
    0.051409757801135 + 0.0*i,
    -0.39442090745203 + 0.0*i,
    0.275605725128237 + 0.0*i,
    -0.516197437084826 + 0.0*i,
    0.159201691744216 + 0.0*i,
    -0.146568508230526 + 0.0*i,
    -0.556415842838625 + 0.0*i,
    0.946373920011247 + 0.0*i,
    -0.798066289818147 + 0.0*i,
    0.739364307039219 + 0.0*i,
    -0.459982137363959 + 0.0*i,
    0.899487068728267 + 0.0*i,
    0.393198234804301 + 0.0*i,
    0.405733229723302 + 0.0*i,
    0.98727579381033 + 0.0*i,
    -0.18677527235447 + 0.0*i,
    -0.0550745541904469 + 0.0*i,
    -0.285740567169178 + 0.0*i,
    -0.179128221495812 + 0.0*i,
    0.345305751767035 + 0.0*i,
    -0.0689745789714687 + 0.0*i,
    -0.462946447350745 + 0.0*i,
    -0.557052879246112 + 0.0*i,
    -0.692738471031868 + 0.0*i,
    -0.571745090513267 + 0.0*i,
    -0.315595627811354 + 0.0*i,
    0.253401768096313 + 0.0*i,
    -0.005870683275931 + 0.0*i,
    0.0331523719264387 + 0.0*i,
    -0.0842236345685031 + 0.0*i,
    0.125389303301333 + 0.0*i,
    -1.06190940289237 + 0.0*i,
    -0.0634382577799626 + 0.0*i,
    0.547593563605287 + 0.0*i,
    0.382749325103311 + 0.0*i,
    0.486464955736674 + 0.0*i,
    -0.23604405178989 + 0.0*i,
    0.59426713016279 + 0.0*i,
    0.44854955802814 + 0.0*i,
    -0.354408407629634 + 0.0*i,
    -0.627302572656262 + 0.0*i,
    0.233626232470067 + 0.0*i,
    0.0552464475639548 + 0.0*i,
    0.955139098111683 + 0.0*i,
    1.00059148254288 + 0.0*i,
    0.165133256770081 + 0.0*i,
    0.520580560608542 + 0.0*i,
    0.836571992516099 + 0.0*i,
    0.202048958424513 + 0.0*i,
    0.255589682331039 + 0.0*i,
    0.473140258625884 + 0.0*i,
    0.878402321224656 + 0.0*i,
    -0.0267835255424157 + 0.0*i,
    0.340902967599343 + 0.0*i,
    0.241634359690444 + 0.0*i,
    -0.255934009600246 + 0.0*i,
    0.0322306767208461 + 0.0*i,
    0.0237174997866052 + 0.0*i,
    0.280050250812024 + 0.0*i,
    -0.27066488536022 + 0.0*i,
    -0.140168780405785 + 0.0*i,
    -0.255690635180255 + 0.0*i,
    0.504155584096217 + 0.0*i,
    -0.0217012619311982 + 0.0*i,
    -0.434814655696422 + 0.0*i,
    -0.191055494519765 + 0.0*i,
    0.890070857743833 + 0.0*i,
    0.446204865051564 + 0.0*i,
    0.513326822495196 + 0.0*i,
    -0.796127498829854 + 0.0*i,
    -0.123871261348333 + 0.0*i,
    -0.720212644318644 + 0.0*i,
    -0.344135436170635 + 0.0*i,
    0.296762618072824 + 0.0*i,
    -0.781953166264489 + 0.0*i,
    0.662056735179221 + 0.0*i,
    0.518771614880377 + 0.0*i,
    -0.0064858355261183 + 0.0*i,
    -0.576270151071574 + 0.0*i,
    -0.555681462352011 + 0.0*i
]);