V:=Matrix(CC,4,40,[
    -0.506965320529934 + 0.0*i,
    0.136536648235922 + 0.0*i,
    -0.00477679757863221 + 0.0*i,
    -0.16074302561938 + 0.0*i,
    -0.555164092837101 + 0.0*i,
    -0.639728937309447 + 0.0*i,
    -0.0868097855572794 + 0.0*i,
    0.302047873392484 + 0.0*i,
    0.153909146901452 + 0.0*i,
    0.957492926353656 + 0.0*i,
    -0.563469087477143 + 0.0*i,
    0.582832967607492 + 0.0*i,
    0.490420731716036 + 0.0*i,
    1.09931962120993 + 0.0*i,
    0.109306123557851 + 0.0*i,
    -0.368154179963576 + 0.0*i,
    -0.526858298621838 + 0.0*i,
    0.205815442860268 + 0.0*i,
    -0.120371111501401 + 0.0*i,
    -0.275758433892011 + 0.0*i,
    -0.332745214517749 + 0.0*i,
    0.175665166795646 + 0.0*i,
    0.550252865001618 + 0.0*i,
    -0.604212381541914 + 0.0*i,
    -0.510539302504559 + 0.0*i,
    -0.616619132780638 + 0.0*i,
    0.290124745664608 + 0.0*i,
    0.916029678097083 + 0.0*i,
    -0.606446400943014 + 0.0*i,
    0.213293693114899 + 0.0*i,
    0.396070420599442 + 0.0*i,
    0.266185243535626 + 0.0*i,
    0.03821765279107 + 0.0*i,
    0.795421183530492 + 0.0*i,
    -0.414232227539456 + 0.0*i,
    -1.03711040694973 + 0.0*i,
    -0.578181899600079 + 0.0*i,
    -0.434081619010252 + 0.0*i,
    0.207545348084088 + 0.0*i,
    0.212468781908508 + 0.0*i,
    0.411476553234894 + 0.0*i,
    0.726872671946716 + 0.0*i,
    -0.336560089033073 + 0.0*i,
    0.153026226213097 + 0.0*i,
    -0.981205569004041 + 0.0*i,
    0.130160291803051 + 0.0*i,
    0.0641745213883059 + 0.0*i,
    1.08210487602185 + 0.0*i,
    -0.209085911688558 + 0.0*i,
    -0.500496031497318 + 0.0*i,
    0.347352769981905 + 0.0*i,
    -0.658753369012564 + 0.0*i,
    0.370892809022627 + 0.0*i,
    0.734129888574639 + 0.0*i,
    0.185393776828351 + 0.0*i,
    -0.370429490568131 + 0.0*i,
    -0.46263244972549 + 0.0*i,
    0.314086384929666 + 0.0*i,
    0.147453131237066 + 0.0*i,
    -0.100097894929465 + 0.0*i,
    -0.338442436186152 + 0.0*i,
    0.595487313589497 + 0.0*i,
    0.385635744769628 + 0.0*i,
    -0.18225764739873 + 0.0*i,
    -0.436363992358173 + 0.0*i,
    -0.423990992346967 + 0.0*i,
    0.321795158628759 + 0.0*i,
    0.0887860713394588 + 0.0*i,
    1.29990766479682 + 0.0*i,
    0.904594071838444 + 0.0*i,
    -0.0971047567649154 + 0.0*i,
    -0.531826581029877 + 0.0*i,
    0.26261860632728 + 0.0*i,
    -0.163192127897616 + 0.0*i,
    0.0217930433327306 + 0.0*i,
    -0.34709553182992 + 0.0*i,
    0.00187271879427587 + 0.0*i,
    -1.02187125881183 + 0.0*i,
    -0.628413053796269 + 0.0*i,
    0.240964023810956 + 0.0*i,
    -0.238626658871991 + 0.0*i,
    0.0915419763627093 + 0.0*i,
    -0.228145716660973 + 0.0*i,
    -0.291125598660187 + 0.0*i,
    -0.39579982943552 + 0.0*i,
    -0.34887279677341 + 0.0*i,
    0.245270565033567 + 0.0*i,
    -0.341678929312057 + 0.0*i,
    0.418502235472898 + 0.0*i,
    -0.0234796968155742 + 0.0*i,
    -0.481580365823101 + 0.0*i,
    -0.401419769020674 + 0.0*i,
    0.540363586558179 + 0.0*i,
    -0.331426193924851 + 0.0*i,
    -0.690626780005844 + 0.0*i,
    0.587863265241643 + 0.0*i,
    -0.285687129431436 + 0.0*i,
    -0.145570634169006 + 0.0*i,
    0.542880154314949 + 0.0*i,
    -0.8198916511265 + 0.0*i,
    0.133346319962652 + 0.0*i,
    -0.679431644762965 + 0.0*i,
    -0.516762968561528 + 0.0*i,
    0.317988780499431 + 0.0*i,
    -0.310900517271488 + 0.0*i,
    0.268731519958092 + 0.0*i,
    -0.349062561593706 + 0.0*i,
    0.197598647211257 + 0.0*i,
    0.386937635842369 + 0.0*i,
    0.153654599674557 + 0.0*i,
    0.625406709197797 + 0.0*i,
    -0.601311016902827 + 0.0*i,
    -0.825043415575466 + 0.0*i,
    -0.113185458172675 + 0.0*i,
    -0.494433498282742 + 0.0*i,
    -0.595013185622267 + 0.0*i,
    1.54947320813835 + 0.0*i,
    -0.109985290623342 + 0.0*i,
    0.286146604252273 + 0.0*i,
    0.670100591218441 + 0.0*i,
    -0.166638111073477 + 0.0*i,
    -0.226127190496133 + 0.0*i,
    -0.545718191797562 + 0.0*i,
    0.456019635543025 + 0.0*i,
    -0.246058985129329 + 0.0*i,
    -0.330690365544785 + 0.0*i,
    -0.340715820215059 + 0.0*i,
    0.135553856345668 + 0.0*i,
    -0.476976666502538 + 0.0*i,
    -0.108404101431333 + 0.0*i,
    1.37489681893482 + 0.0*i,
    -0.456348225337058 + 0.0*i,
    0.0818109300652549 + 0.0*i,
    -0.303551419156548 + 0.0*i,
    0.396543960123072 + 0.0*i,
    -0.369981876181371 + 0.0*i,
    0.0653077585237397 + 0.0*i,
    -0.0598131798176664 + 0.0*i,
    0.922359430554584 + 0.0*i,
    0.541751636894172 + 0.0*i,
    0.161074517089606 + 0.0*i,
    -0.145397394890657 + 0.0*i,
    0.81773393776476 + 0.0*i,
    -0.715417460409527 + 0.0*i,
    -0.21986171463316 + 0.0*i,
    -0.154348539057322 + 0.0*i,
    0.669314233074108 + 0.0*i,
    -0.233910137718515 + 0.0*i,
    0.105887290222546 + 0.0*i,
    -0.553192546916203 + 0.0*i,
    0.0524335804951011 + 0.0*i,
    0.722925479398711 + 0.0*i,
    0.200726035236238 + 0.0*i,
    0.493134097853159 + 0.0*i,
    0.153181924333063 + 0.0*i,
    -0.891533220504031 + 0.0*i,
    0.197821549197378 + 0.0*i,
    0.210898307169079 + 0.0*i,
    0.781435001268734 + 0.0*i,
    -0.144708829847754 + 0.0*i
]);