V:=Matrix(CC,4,20,[
    0.0330529379776019 + 0.0*i,
    0.255006987063268 + 0.0*i,
    -0.15837091547937 + 0.0*i,
    -0.151126882750478 + 0.0*i,
    0.275103075245587 + 0.0*i,
    0.279951352983768 + 0.0*i,
    -0.122025185287344 + 0.0*i,
    -0.22607046640744 + 0.0*i,
    -0.198656127707446 + 0.0*i,
    -0.302810377155158 + 0.0*i,
    -0.0745519553808747 + 0.0*i,
    0.236152462060506 + 0.0*i,
    0.120157241038515 + 0.0*i,
    0.331500941311263 + 0.0*i,
    -0.307817847124498 + 0.0*i,
    0.0701585304001166 + 0.0*i,
    -0.119969251450301 + 0.0*i,
    0.0259628217237935 + 0.0*i,
    -0.0516369359418954 + 0.0*i,
    0.231078083219186 + 0.0*i,
    -0.0331769742770451 + 0.0*i,
    -0.0227129327006101 + 0.0*i,
    0.0598830443709502 + 0.0*i,
    -0.0134111404798977 + 0.0*i,
    0.190495404250542 + 0.0*i,
    0.112748880783844 + 0.0*i,
    0.00618906327400115 + 0.0*i,
    0.23887776154619 + 0.0*i,
    -0.00523383248241939 + 0.0*i,
    0.127583505152827 + 0.0*i,
    0.268968120554622 + 0.0*i,
    -0.184018614157598 + 0.0*i,
    -0.232568135554429 + 0.0*i,
    0.0795205333268094 + 0.0*i,
    0.177115335921396 + 0.0*i,
    -0.347175805286144 + 0.0*i,
    -0.220385887529402 + 0.0*i,
    -0.0555983492744821 + 0.0*i,
    -0.2124524618914 + 0.0*i,
    0.029208451909503 + 0.0*i,
    0.204892721804943 + 0.0*i,
    0.210681562616317 + 0.0*i,
    0.137266984658797 + 0.0*i,
    0.191631358138743 + 0.0*i,
    -0.135864833512676 + 0.0*i,
    0.0625085240329241 + 0.0*i,
    -0.0383494120556816 + 0.0*i,
    -0.164934820835829 + 0.0*i,
    0.309951725385758 + 0.0*i,
    0.0145366522203825 + 0.0*i,
    -0.0982609034394816 + 0.0*i,
    -0.206752968557671 + 0.0*i,
    0.00897323974730219 + 0.0*i,
    -0.0535450201862538 + 0.0*i,
    0.0649789351142458 + 0.0*i,
    0.0448546534430409 + 0.0*i,
    0.051891242546529 + 0.0*i,
    -0.0317798013731742 + 0.0*i,
    0.29638080819572 + 0.0*i,
    0.245883464026627 + 0.0*i,
    0.302266666874378 + 0.0*i,
    -0.165186482779741 + 0.0*i,
    0.290979614269779 + 0.0*i,
    -0.2769359381721 + 0.0*i,
    0.0749048031928552 + 0.0*i,
    0.1993943315521 + 0.0*i,
    0.336624803661676 + 0.0*i,
    -0.0272534785634411 + 0.0*i,
    0.0218154643799755 + 0.0*i,
    0.155455158573857 + 0.0*i,
    -0.222641880589743 + 0.0*i,
    -0.0182256394075694 + 0.0*i,
    -0.294932338078387 + 0.0*i,
    -0.129094506362016 + 0.0*i,
    -0.0493640379046202 + 0.0*i,
    -0.0933846489243502 + 0.0*i,
    -0.262944925284669 + 0.0*i,
    0.35727182577878 + 0.0*i,
    0.0411589383400507 + 0.0*i,
    0.14617005070124 + 0.0*i
]);