V:=Matrix(CC,4,25,[
    -0.17614125564649 + 0.0*i,
    -0.256404957438556 + 0.0*i,
    0.763615390471321 + 0.0*i,
    -0.0990076357460329 + 0.0*i,
    -0.663882640515928 + 0.0*i,
    0.56198993004396 + 0.0*i,
    0.448891088045932 + 0.0*i,
    -0.495589783058921 + 0.0*i,
    -0.946917038966424 + 0.0*i,
    0.221605335090567 + 0.0*i,
    -0.066540547268618 + 0.0*i,
    0.581238461957065 + 0.0*i,
    0.345275742158584 + 0.0*i,
    -0.137834601145608 + 0.0*i,
    0.811697725545541 + 0.0*i,
    -0.0289398711268921 + 0.0*i,
    0.48390092927936 + 0.0*i,
    -0.000549769153574683 + 0.0*i,
    -0.248619038410336 + 0.0*i,
    0.683879915915527 + 0.0*i,
    -0.353267306227785 + 0.0*i,
    0.442944766886618 + 0.0*i,
    -0.54793449740463 + 0.0*i,
    -0.303805274214635 + 0.0*i,
    -0.890181808937489 + 0.0*i,
    -0.209320739971526 + 0.0*i,
    0.418988401833404 + 0.0*i,
    0.0599091124044 + 0.0*i,
    -0.862699820264343 + 0.0*i,
    0.313304235616807 + 0.0*i,
    0.662380817698976 + 0.0*i,
    -0.814520456218908 + 0.0*i,
    -0.289258236280848 + 0.0*i,
    -0.185555388744285 + 0.0*i,
    -0.464468413332874 + 0.0*i,
    -0.877350152265216 + 0.0*i,
    -0.203602201192319 + 0.0*i,
    -0.110764338900388 + 0.0*i,
    -0.455154306998547 + 0.0*i,
    -0.446425805974727 + 0.0*i,
    0.868067866288314 + 0.0*i,
    0.280152913501186 + 0.0*i,
    -0.358616342735749 + 0.0*i,
    0.256618225590278 + 0.0*i,
    0.614556749361767 + 0.0*i,
    -0.241230704051739 + 0.0*i,
    -0.743941460460919 + 0.0*i,
    -0.604039527281883 + 0.0*i,
    0.51252373399686 + 0.0*i,
    0.180229590477415 + 0.0*i,
    0.149248661228714 + 0.0*i,
    0.191685138602721 + 0.0*i,
    0.0404112994641238 + 0.0*i,
    -0.0895732238643036 + 0.0*i,
    -0.227665709253678 + 0.0*i,
    -0.164738387358936 + 0.0*i,
    0.0508508111618571 + 0.0*i,
    -0.573304536150174 + 0.0*i,
    0.210382555624338 + 0.0*i,
    0.840693382363511 + 0.0*i,
    0.38331300721393 + 0.0*i,
    -0.344047954877195 + 0.0*i,
    -0.820881628233681 + 0.0*i,
    -0.385923035073932 + 0.0*i,
    -0.365253059156205 + 0.0*i,
    0.456175153258515 + 0.0*i,
    -0.821007652621937 + 0.0*i,
    0.3532885360551 + 0.0*i,
    -0.741993359213162 + 0.0*i,
    0.416981788184547 + 0.0*i,
    -0.879590064241009 + 0.0*i,
    0.250115546879581 + 0.0*i,
    0.411413670459252 + 0.0*i,
    0.771295867265275 + 0.0*i,
    -0.48505843675489 + 0.0*i,
    0.902517854752132 + 0.0*i,
    -0.832881365799812 + 0.0*i,
    0.663758571154904 + 0.0*i,
    -0.376165785330108 + 0.0*i,
    0.592599348931035 + 0.0*i,
    -0.528639753024448 + 0.0*i,
    -0.320537099277955 + 0.0*i,
    0.618521008393982 + 0.0*i,
    0.112584156942697 + 0.0*i,
    -0.242726577635448 + 0.0*i,
    0.129783560974481 + 0.0*i,
    -0.662793632606997 + 0.0*i,
    0.490136450563074 + 0.0*i,
    -0.788763981855387 + 0.0*i,
    0.149978041249005 + 0.0*i,
    -0.283847112729287 + 0.0*i,
    -0.227751371312431 + 0.0*i,
    -0.867167371231376 + 0.0*i,
    -0.622585367902085 + 0.0*i,
    0.133107604267594 + 0.0*i,
    -0.0811529392128051 + 0.0*i,
    0.4038723394338 + 0.0*i,
    -0.427412369087818 + 0.0*i,
    0.248183639213158 + 0.0*i,
    -0.0534883308758181 + 0.0*i
]);