V:=Matrix(CC,4,42,[
    -0.747695132093155 + 0.0*i,
    -0.0183969822527566 + 0.0*i,
    0.703019568661709 + 0.0*i,
    0.244317044721812 + 0.0*i,
    -0.0316233120949837 + 0.0*i,
    -0.73365678427296 + 0.0*i,
    0.146179124662926 + 0.0*i,
    -0.0175834632324558 + 0.0*i,
    -0.848972888654234 + 0.0*i,
    0.37221821327027 + 0.0*i,
    0.0793282936573629 + 0.0*i,
    -0.244129664008149 + 0.0*i,
    0.710271696480417 + 0.0*i,
    -0.0936193428372595 + 0.0*i,
    0.558052227989687 + 0.0*i,
    -0.386187853398508 + 0.0*i,
    0.0557383629056421 + 0.0*i,
    -0.335555428080008 + 0.0*i,
    0.278900487676623 + 0.0*i,
    0.0498206835386211 + 0.0*i,
    -0.0174560834649921 + 0.0*i,
    0.388922437886925 + 0.0*i,
    0.010459351706177 + 0.0*i,
    0.401962267473549 + 0.0*i,
    0.0485427195443886 + 0.0*i,
    0.343064846606486 + 0.0*i,
    0.812992605375115 + 0.0*i,
    0.201773553475824 + 0.0*i,
    -0.831493947426482 + 0.0*i,
    0.263896268478046 + 0.0*i,
    0.85280492107665 + 0.0*i,
    0.576256523970628 + 0.0*i,
    -0.504194961986991 + 0.0*i,
    0.31143234166843 + 0.0*i,
    0.282962894827954 + 0.0*i,
    0.548264869026667 + 0.0*i,
    -0.244394912002505 + 0.0*i,
    -0.0298664568247774 + 0.0*i,
    -0.679445586963961 + 0.0*i,
    -0.606469338067332 + 0.0*i,
    0.622542287055271 + 0.0*i,
    -0.100968417171876 + 0.0*i,
    0.132020718609701 + 0.0*i,
    0.744936104968653 + 0.0*i,
    0.144493209516289 + 0.0*i,
    0.230108280802356 + 0.0*i,
    -0.47776778551275 + 0.0*i,
    0.556295134147477 + 0.0*i,
    -0.497354608510693 + 0.0*i,
    -0.356934304938384 + 0.0*i,
    -0.79069365685012 + 0.0*i,
    0.459064921910264 + 0.0*i,
    -0.326172959607333 + 0.0*i,
    -0.212569638735484 + 0.0*i,
    1.4234095951401 + 0.0*i,
    -0.288041112746538 + 0.0*i,
    -0.440259997681341 + 0.0*i,
    0.491694145363974 + 0.0*i,
    0.0337559680065747 + 0.0*i,
    -0.0145734410759669 + 0.0*i,
    -0.359582816897635 + 0.0*i,
    -0.0915216560349536 + 0.0*i,
    0.652431199981466 + 0.0*i,
    -0.184262650510782 + 0.0*i,
    0.224310380568722 + 0.0*i,
    0.264286506574083 + 0.0*i,
    0.554657940501293 + 0.0*i,
    -0.0187607765898829 + 0.0*i,
    -0.491030575024426 + 0.0*i,
    -0.528555465744197 + 0.0*i,
    -0.772106213548965 + 0.0*i,
    -0.0858268690215575 + 0.0*i,
    0.588471534993519 + 0.0*i,
    -0.963523482907076 + 0.0*i,
    -0.14189682970194 + 0.0*i,
    0.378021090782863 + 0.0*i,
    -0.772314554835447 + 0.0*i,
    0.203520018117766 + 0.0*i,
    0.211482783767803 + 0.0*i,
    0.249617102881339 + 0.0*i,
    -0.0179582127746108 + 0.0*i,
    0.985508316281525 + 0.0*i,
    -0.0339862378582359 + 0.0*i,
    0.843474534314497 + 0.0*i,
    -0.0564565771400551 + 0.0*i,
    -0.526405734376022 + 0.0*i,
    0.468329909078188 + 0.0*i,
    0.44580289699222 + 0.0*i,
    -0.185366349165315 + 0.0*i,
    0.118505798487135 + 0.0*i,
    0.0533441796119544 + 0.0*i,
    0.995957980160584 + 0.0*i,
    -0.0850821231414228 + 0.0*i,
    -0.202583080464814 + 0.0*i,
    0.856111463919463 + 0.0*i,
    -0.407172025447861 + 0.0*i,
    -0.115144361673393 + 0.0*i,
    -1.12253782180471 + 0.0*i,
    -0.449219348614211 + 0.0*i,
    -1.21647110266475 + 0.0*i,
    -0.920754720313797 + 0.0*i,
    -0.393540469109727 + 0.0*i,
    -0.129514006607227 + 0.0*i,
    0.342934482919454 + 0.0*i,
    0.716105621578491 + 0.0*i,
    0.16958245180244 + 0.0*i,
    0.0763887612227261 + 0.0*i,
    -1.13818829661878 + 0.0*i,
    0.340215175774325 + 0.0*i,
    0.00837981441240749 + 0.0*i,
    -0.159476382049129 + 0.0*i,
    0.418015330693242 + 0.0*i,
    -0.236429387219446 + 0.0*i,
    -0.814216852913171 + 0.0*i,
    -0.0119407851336957 + 0.0*i,
    0.415811049382185 + 0.0*i,
    -0.790259202465784 + 0.0*i,
    0.077765075169706 + 0.0*i,
    0.0789476025664267 + 0.0*i,
    -0.490788687296631 + 0.0*i,
    -0.023420030496331 + 0.0*i,
    -0.0811218508493117 + 0.0*i,
    0.442354855327046 + 0.0*i,
    1.34048658577702 + 0.0*i,
    0.0924051683814872 + 0.0*i,
    0.209732939625502 + 0.0*i,
    -0.334946914673828 + 0.0*i,
    0.409356831013671 + 0.0*i,
    1.31556490245816 + 0.0*i,
    0.254092581813134 + 0.0*i,
    -0.426588138319745 + 0.0*i,
    0.0896453213994565 + 0.0*i,
    0.0844694697689935 + 0.0*i,
    -0.134382942507535 + 0.0*i,
    -0.537801933832071 + 0.0*i,
    -0.407462029972327 + 0.0*i,
    0.630322977914909 + 0.0*i,
    0.584099534098237 + 0.0*i,
    -0.419903411075533 + 0.0*i,
    -0.642608898794025 + 0.0*i,
    0.119638496042423 + 0.0*i,
    0.0509865684533365 + 0.0*i,
    -0.218336316040799 + 0.0*i,
    -1.03840346841765 + 0.0*i,
    -0.17043190850705 + 0.0*i,
    -0.370952255650508 + 0.0*i,
    -0.59720007689702 + 0.0*i,
    -0.00920838069870931 + 0.0*i,
    0.177485772877721 + 0.0*i,
    -0.0143094651519749 + 0.0*i,
    0.231510586346038 + 0.0*i,
    0.452491908524878 + 0.0*i,
    -0.128468161008565 + 0.0*i,
    0.590253146162489 + 0.0*i,
    -0.120823921552416 + 0.0*i,
    0.317627998338596 + 0.0*i,
    0.442196691825551 + 0.0*i,
    -0.982263812372762 + 0.0*i,
    0.468393202493682 + 0.0*i,
    0.123833900963929 + 0.0*i,
    -0.483918641059231 + 0.0*i,
    0.524309032517832 + 0.0*i,
    -0.830720139498234 + 0.0*i,
    -0.151539219480861 + 0.0*i,
    -0.32446739358185 + 0.0*i,
    0.0675829931356851 + 0.0*i,
    0.379933483158501 + 0.0*i,
    0.0689508966724125 + 0.0*i
]);