V:=Matrix(CC,4,40,[
    0.620350057716837 + 0.0*i,
    0.407486507260477 + 0.0*i,
    -0.434233114621272 + 0.0*i,
    -0.617395774899155 + 0.0*i,
    0.0116967067839461 + 0.0*i,
    0.536640435036669 + 0.0*i,
    0.665388089506328 + 0.0*i,
    0.08441388738862 + 0.0*i,
    0.573446453947344 + 0.0*i,
    0.128268610222243 + 0.0*i,
    0.793664521355248 + 0.0*i,
    -0.185572423155795 + 0.0*i,
    0.151932354576391 + 0.0*i,
    0.00186008637845975 + 0.0*i,
    0.037218218400322 + 0.0*i,
    -0.300758390844076 + 0.0*i,
    -0.984314849864174 + 0.0*i,
    0.0352841924489369 + 0.0*i,
    0.563505614504803 + 0.0*i,
    0.963028490708582 + 0.0*i,
    -0.129388237614511 + 0.0*i,
    0.449687836653611 + 0.0*i,
    0.337040551264935 + 0.0*i,
    -0.241455557227118 + 0.0*i,
    -0.763192978185265 + 0.0*i,
    0.399138068332349 + 0.0*i,
    0.952556471022836 + 0.0*i,
    0.662798230647853 + 0.0*i,
    -0.345748248952342 + 0.0*i,
    -0.0761670854066998 + 0.0*i,
    -0.560239201504424 + 0.0*i,
    0.462905118628203 + 0.0*i,
    0.535987580011959 + 0.0*i,
    -0.197814629468007 + 0.0*i,
    0.170985924204784 + 0.0*i,
    -0.484193076270135 + 0.0*i,
    0.980209649210124 + 0.0*i,
    -0.0049777121507505 + 0.0*i,
    -0.00412131315994405 + 0.0*i,
    0.419720617602959 + 0.0*i,
    0.403727707519301 + 0.0*i,
    -0.378303973715394 + 0.0*i,
    -0.110099687083235 + 0.0*i,
    -0.716466566142719 + 0.0*i,
    -0.0746344533725147 + 0.0*i,
    -0.0608371891136889 + 0.0*i,
    0.581464872420352 + 0.0*i,
    0.237143058925616 + 0.0*i,
    -0.915411620687545 + 0.0*i,
    -0.232200848771694 + 0.0*i,
    -0.364190604983907 + 0.0*i,
    0.767758292121909 + 0.0*i,
    0.98734318704992 + 0.0*i,
    0.813746439507225 + 0.0*i,
    0.359970894024097 + 0.0*i,
    0.991097103596604 + 0.0*i,
    -0.288327224988454 + 0.0*i,
    0.400331667763003 + 0.0*i,
    0.913688065783071 + 0.0*i,
    0.23905107818616 + 0.0*i,
    -0.164771131064008 + 0.0*i,
    0.0225849761728806 + 0.0*i,
    0.404165633319529 + 0.0*i,
    -0.60323792346356 + 0.0*i,
    0.438908328466403 + 0.0*i,
    -0.00627994798761323 + 0.0*i,
    -0.347432944033643 + 0.0*i,
    0.474813247726275 + 0.0*i,
    0.41042012105928 + 0.0*i,
    0.890777930082807 + 0.0*i,
    -0.261169903360853 + 0.0*i,
    0.340242507471934 + 0.0*i,
    -0.074769297224733 + 0.0*i,
    -0.0139494060029776 + 0.0*i,
    0.397571690665517 + 0.0*i,
    -0.0455117549047006 + 0.0*i,
    -0.274981802265866 + 0.0*i,
    -0.233066332268565 + 0.0*i,
    0.292363581767133 + 0.0*i,
    -0.835972726108277 + 0.0*i,
    0.127521298692953 + 0.0*i,
    0.72496904994451 + 0.0*i,
    0.47557742149842 + 0.0*i,
    0.15528720741855 + 0.0*i,
    1.02834603486292 + 0.0*i,
    -0.897024754529118 + 0.0*i,
    -0.724917194239738 + 0.0*i,
    0.540867091748855 + 0.0*i,
    -0.231136036074188 + 0.0*i,
    0.216292171794769 + 0.0*i,
    -0.5779708802124 + 0.0*i,
    -0.648580039896591 + 0.0*i,
    -0.0435555694893668 + 0.0*i,
    -0.746280591307051 + 0.0*i,
    -0.54513753373585 + 0.0*i,
    -0.152159122197251 + 0.0*i,
    -0.192788954400666 + 0.0*i,
    -0.31402132607758 + 0.0*i,
    0.280654892842355 + 0.0*i,
    -0.121045079010217 + 0.0*i,
    -0.49806320269582 + 0.0*i,
    -0.86674435677199 + 0.0*i,
    0.416267700703435 + 0.0*i,
    -0.51762076498129 + 0.0*i,
    -0.513098093270702 + 0.0*i,
    0.138316147633665 + 0.0*i,
    0.37356540510344 + 0.0*i,
    0.641203968547704 + 0.0*i,
    0.169556650019639 + 0.0*i,
    0.628875675947529 + 0.0*i,
    -0.841615213402314 + 0.0*i,
    -0.416886549689685 + 0.0*i,
    0.359244410267087 + 0.0*i,
    0.109797079625987 + 0.0*i,
    0.909384064608625 + 0.0*i,
    -0.0661037563436086 + 0.0*i,
    -0.165768753866994 + 0.0*i,
    0.0469529515304119 + 0.0*i,
    0.933639780270895 + 0.0*i,
    -0.0335418263080982 + 0.0*i,
    0.0153434398474363 + 0.0*i,
    0.143314495916825 + 0.0*i,
    0.816369759030311 + 0.0*i,
    0.725672354235455 + 0.0*i,
    -0.353083508665424 + 0.0*i,
    -0.158279853198969 + 0.0*i,
    0.222075073221817 + 0.0*i,
    -1.04208016959979 + 0.0*i,
    -0.167130840277452 + 0.0*i,
    -0.488401162375317 + 0.0*i,
    0.519303233379705 + 0.0*i,
    0.416435935407391 + 0.0*i,
    0.543295179992285 + 0.0*i,
    -0.276557105883949 + 0.0*i,
    -0.317459493777506 + 0.0*i,
    -0.0692218191538873 + 0.0*i,
    -0.388706041459754 + 0.0*i,
    0.550400620750554 + 0.0*i,
    0.0680846672097588 + 0.0*i,
    -0.0717774252627791 + 0.0*i,
    -0.0287535120435916 + 0.0*i,
    -0.427006690255292 + 0.0*i,
    -0.395369566024244 + 0.0*i,
    -0.508629120325617 + 0.0*i,
    -0.33606725268257 + 0.0*i,
    0.213896242974821 + 0.0*i,
    -0.558522905287703 + 0.0*i,
    -0.3270389158817 + 0.0*i,
    1.00692564818258 + 0.0*i,
    -0.300360084084652 + 0.0*i,
    -0.169499869905585 + 0.0*i,
    0.878625190525072 + 0.0*i,
    1.01149193714324 + 0.0*i,
    -0.230608062004315 + 0.0*i,
    0.17709493455026 + 0.0*i,
    -0.281513242397962 + 0.0*i,
    0.0459847983932498 + 0.0*i,
    0.162219215402315 + 0.0*i,
    0.414461354750142 + 0.0*i,
    0.617239361723274 + 0.0*i
]);