V:=Matrix(CC,4,47,[
    0.296734391921115 + 0.0*i,
    0.0501536617337087 + 0.0*i,
    -0.234945869308743 + 0.0*i,
    0.205588519051328 + 0.0*i,
    -0.369568461085708 + 0.0*i,
    -0.107317013514248 + 0.0*i,
    0.150347904744642 + 0.0*i,
    -0.0378397286705185 + 0.0*i,
    -0.324709881884934 + 0.0*i,
    0.0844987735041442 + 0.0*i,
    -0.0314483493429912 + 0.0*i,
    -0.15994042226763 + 0.0*i,
    0.0317169973592425 + 0.0*i,
    -0.118890018052883 + 0.0*i,
    -0.0333340618177802 + 0.0*i,
    -0.221914565864489 + 0.0*i,
    0.302251395896596 + 0.0*i,
    0.00801234448279477 + 0.0*i,
    -0.10210021615279 + 0.0*i,
    0.243561821375412 + 0.0*i,
    0.109233846108746 + 0.0*i,
    0.206651611853142 + 0.0*i,
    -0.262453281905133 + 0.0*i,
    0.0724377563825603 + 0.0*i,
    0.175633273435076 + 0.0*i,
    -0.0626360374814667 + 0.0*i,
    0.29647634191886 + 0.0*i,
    -0.341661930441935 + 0.0*i,
    0.144769147319245 + 0.0*i,
    0.120304210685833 + 0.0*i,
    0.166393928137192 + 0.0*i,
    -0.100494727871441 + 0.0*i,
    -0.303527380728247 + 0.0*i,
    -0.128062249836418 + 0.0*i,
    0.0656085844553233 + 0.0*i,
    -0.301344225033604 + 0.0*i,
    -0.166491494923919 + 0.0*i,
    0.28845215807245 + 0.0*i,
    0.173306593323635 + 0.0*i,
    0.344585262328816 + 0.0*i,
    -0.0523181101370309 + 0.0*i,
    0.0185607092234601 + 0.0*i,
    0.203985338456815 + 0.0*i,
    0.0371580539772564 + 0.0*i,
    -0.129537650187381 + 0.0*i,
    -0.00924390738525118 + 0.0*i,
    -0.159772166659891 + 0.0*i,
    0.228242603382242 + 0.0*i,
    0.280975400373547 + 0.0*i,
    0.104374055342208 + 0.0*i,
    0.0153876868311694 + 0.0*i,
    0.0854385355179832 + 0.0*i,
    0.312768025904281 + 0.0*i,
    0.085843200411631 + 0.0*i,
    -0.0513013782143779 + 0.0*i,
    -0.0987729434006031 + 0.0*i,
    0.358383967088892 + 0.0*i,
    -0.142614253122956 + 0.0*i,
    -0.0761947387581104 + 0.0*i,
    -0.368630012605215 + 0.0*i,
    0.0774072044426243 + 0.0*i,
    0.066703100929337 + 0.0*i,
    0.110967417170053 + 0.0*i,
    -0.138746637584294 + 0.0*i,
    -0.263548145031795 + 0.0*i,
    0.162406663251214 + 0.0*i,
    -0.284087657929225 + 0.0*i,
    0.123008187510653 + 0.0*i,
    -0.152238343722763 + 0.0*i,
    -0.194336844689963 + 0.0*i,
    -0.235986552952596 + 0.0*i,
    0.129578245147778 + 0.0*i,
    -0.139784509131815 + 0.0*i,
    0.090860061522785 + 0.0*i,
    -0.172484986475081 + 0.0*i,
    -0.010135131360111 + 0.0*i,
    -0.117425573237175 + 0.0*i,
    0.27677367912041 + 0.0*i,
    0.268953154565798 + 0.0*i,
    0.0224299787962524 + 0.0*i,
    -0.220407395796061 + 0.0*i,
    0.218564286977729 + 0.0*i,
    -0.0966973584269653 + 0.0*i,
    -0.330907489262785 + 0.0*i,
    -0.174180923410972 + 0.0*i,
    0.303514693161594 + 0.0*i,
    -0.0114623917148523 + 0.0*i,
    -0.257207317744823 + 0.0*i,
    0.0168116034325482 + 0.0*i,
    -0.278208126603986 + 0.0*i,
    -0.323751601600779 + 0.0*i,
    0.0756303812672173 + 0.0*i,
    -0.031445088228644 + 0.0*i,
    0.178528666130392 + 0.0*i,
    0.154812188886304 + 0.0*i,
    0.082748865739408 + 0.0*i,
    0.0416072092933687 + 0.0*i,
    0.323853373309635 + 0.0*i,
    0.0627203048640385 + 0.0*i,
    0.176025482882027 + 0.0*i,
    0.278159437195963 + 0.0*i,
    -0.154962033117586 + 0.0*i,
    0.172069626205366 + 0.0*i,
    0.122966935651004 + 0.0*i,
    0.281971682367069 + 0.0*i,
    0.337585845307658 + 0.0*i,
    0.094811433758881 + 0.0*i,
    -0.274520787359857 + 0.0*i,
    -0.0734665371668399 + 0.0*i,
    0.287653749527511 + 0.0*i,
    -0.132015301746275 + 0.0*i,
    -0.276122704767992 + 0.0*i,
    0.30111007403687 + 0.0*i,
    0.0508333275888341 + 0.0*i,
    -0.0799130995707045 + 0.0*i,
    0.214205711105665 + 0.0*i,
    -0.0584103293179038 + 0.0*i,
    0.309791779979911 + 0.0*i,
    -0.0673950156983366 + 0.0*i,
    -0.229244231896487 + 0.0*i,
    -0.179692412497298 + 0.0*i,
    -0.00444826701167081 + 0.0*i,
    -0.264962469752826 + 0.0*i,
    0.111437861716332 + 0.0*i,
    -0.233165480971016 + 0.0*i,
    -0.0926365028583868 + 0.0*i,
    -0.0205539544574956 + 0.0*i,
    -0.266258772892875 + 0.0*i,
    -0.220694103540054 + 0.0*i,
    -0.131422443720433 + 0.0*i,
    0.0250213923790997 + 0.0*i,
    0.156375589952884 + 0.0*i,
    -0.0899369100290083 + 0.0*i,
    0.154702122872737 + 0.0*i,
    -0.125383195994346 + 0.0*i,
    0.343989679174545 + 0.0*i,
    -0.116188067037354 + 0.0*i,
    0.0980545104340729 + 0.0*i,
    0.274808054649479 + 0.0*i,
    -0.37993303624379 + 0.0*i,
    0.0831019790776746 + 0.0*i,
    0.0545655685240605 + 0.0*i,
    -0.232167432256794 + 0.0*i,
    0.282785182191149 + 0.0*i,
    -0.0263026610551996 + 0.0*i,
    0.0368581505126589 + 0.0*i,
    -0.0739625443412567 + 0.0*i,
    0.212442300608954 + 0.0*i,
    -0.344434691245633 + 0.0*i,
    -0.0913596251970416 + 0.0*i,
    0.00381721851077368 + 0.0*i,
    0.214997891613822 + 0.0*i,
    -0.0351367246093593 + 0.0*i,
    -0.0390655130635617 + 0.0*i,
    0.224272910706808 + 0.0*i,
    0.374051005909493 + 0.0*i,
    0.00501427096090306 + 0.0*i,
    0.130733030493473 + 0.0*i,
    -0.0720427893749984 + 0.0*i,
    -0.124106281460023 + 0.0*i,
    0.0910387834106323 + 0.0*i,
    -0.345574785319988 + 0.0*i,
    0.18944449185877 + 0.0*i,
    -0.178900589008131 + 0.0*i,
    -0.0105983131193492 + 0.0*i,
    0.305149418115706 + 0.0*i,
    0.265510714862384 + 0.0*i,
    -0.148562227182541 + 0.0*i,
    0.0387911899964107 + 0.0*i,
    0.238591842805085 + 0.0*i,
    0.319297144890268 + 0.0*i,
    -0.0578437480056349 + 0.0*i,
    0.245053585427887 + 0.0*i,
    -0.233322302146207 + 0.0*i,
    0.103908771209823 + 0.0*i,
    0.206709825830173 + 0.0*i,
    0.191861916692596 + 0.0*i,
    0.158673985624392 + 0.0*i,
    -0.108404150188844 + 0.0*i,
    0.123595509062166 + 0.0*i,
    0.0654278248655171 + 0.0*i,
    -0.259172743653175 + 0.0*i,
    -0.131163156139783 + 0.0*i,
    -0.132126923308431 + 0.0*i,
    0.176030160073718 + 0.0*i,
    0.227074306613536 + 0.0*i,
    -0.0642654577108427 + 0.0*i,
    -0.290332203784593 + 0.0*i
]);