V:=Matrix(CC,4,48,[
    1.02557444116788 + 0.0*i,
    0.543512890050183 + 0.0*i,
    -0.0336861376886948 + 0.0*i,
    -0.606938378032504 + 0.0*i,
    -0.14701852507313 + 0.0*i,
    0.364689326794523 + 0.0*i,
    0.148060137111409 + 0.0*i,
    -0.168682477524922 + 0.0*i,
    -0.227197169058029 + 0.0*i,
    0.155903917031451 + 0.0*i,
    -0.0788960126672425 + 0.0*i,
    1.00249201473111 + 0.0*i,
    0.589520542165538 + 0.0*i,
    -0.213460534874768 + 0.0*i,
    0.619880080486511 + 0.0*i,
    0.55345954732799 + 0.0*i,
    -0.182990041573953 + 0.0*i,
    -0.860046535400901 + 0.0*i,
    -0.193293394824976 + 0.0*i,
    -0.09192695938149 + 0.0*i,
    0.74360053268623 + 0.0*i,
    -0.785209399745378 + 0.0*i,
    0.06763488135817 + 0.0*i,
    0.0975807008448048 + 0.0*i,
    -0.495911991143707 + 0.0*i,
    -0.182526566459289 + 0.0*i,
    -0.648946990236656 + 0.0*i,
    -0.00135234929498654 + 0.0*i,
    0.341352238039648 + 0.0*i,
    0.30432850710414 + 0.0*i,
    0.130060814703285 + 0.0*i,
    -0.160289447874398 + 0.0*i,
    0.415138518974621 + 0.0*i,
    -0.242939582339698 + 0.0*i,
    0.450715507606094 + 0.0*i,
    -0.382669385963954 + 0.0*i,
    -0.931100277996965 + 0.0*i,
    -0.338649983326554 + 0.0*i,
    0.460524157076885 + 0.0*i,
    -0.172881632120152 + 0.0*i,
    0.507238489083694 + 0.0*i,
    0.095641208906337 + 0.0*i,
    0.741707050751759 + 0.0*i,
    -0.347674422464358 + 0.0*i,
    0.877295518805096 + 0.0*i,
    -0.497657559273421 + 0.0*i,
    0.32271667631413 + 0.0*i,
    0.185566589463931 + 0.0*i,
    -0.188890369857188 + 0.0*i,
    0.324197283389461 + 0.0*i,
    1.08132951411597 + 0.0*i,
    -0.233145120148657 + 0.0*i,
    0.183968895992606 + 0.0*i,
    -0.68475313503591 + 0.0*i,
    0.243770302188512 + 0.0*i,
    -0.781763108023067 + 0.0*i,
    -0.495688534539751 + 0.0*i,
    0.350608364192176 + 0.0*i,
    -0.819339811052173 + 0.0*i,
    0.711907766624223 + 0.0*i,
    -0.0267589000287793 + 0.0*i,
    0.402645458053627 + 0.0*i,
    0.0182025320947818 + 0.0*i,
    0.55054208672166 + 0.0*i,
    0.62238960096349 + 0.0*i,
    0.593511262971949 + 0.0*i,
    0.374158884038609 + 0.0*i,
    -0.104390552025686 + 0.0*i,
    -0.772338691507752 + 0.0*i,
    -0.204206710811871 + 0.0*i,
    0.056600851749996 + 0.0*i,
    0.783124708426452 + 0.0*i,
    0.78693550432274 + 0.0*i,
    -0.313544573085275 + 0.0*i,
    -0.497254967056731 + 0.0*i,
    0.254822975924053 + 0.0*i,
    0.382183431386911 + 0.0*i,
    0.802731581140351 + 0.0*i,
    -0.953976776474217 + 0.0*i,
    0.375344941669452 + 0.0*i,
    0.915312430535551 + 0.0*i,
    -0.257333115647921 + 0.0*i,
    -0.598517417584848 + 0.0*i,
    0.00871786024110425 + 0.0*i,
    0.206269073665077 + 0.0*i,
    -0.431849410571494 + 0.0*i,
    -0.576087915276662 + 0.0*i,
    -0.0482367776054122 + 0.0*i,
    0.306206902882708 + 0.0*i,
    0.297785643510892 + 0.0*i,
    -0.269375071270103 + 0.0*i,
    -0.224326568335141 + 0.0*i,
    0.203018944460915 + 0.0*i,
    0.0602711591538926 + 0.0*i,
    0.360457865686392 + 0.0*i,
    0.352369969124072 + 0.0*i,
    0.206778379006464 + 0.0*i,
    -0.101930170406701 + 0.0*i,
    -0.0694544928389261 + 0.0*i,
    0.261886869478454 + 0.0*i,
    -0.0926183693506777 + 0.0*i,
    -0.452462578674172 + 0.0*i,
    -0.592537117609972 + 0.0*i,
    0.684097941684407 + 0.0*i,
    0.107928269187249 + 0.0*i,
    -0.0418449839276724 + 0.0*i,
    0.436341091141424 + 0.0*i,
    -0.0386490627344747 + 0.0*i,
    0.834904485920361 + 0.0*i,
    0.597744163578006 + 0.0*i,
    -0.216573333876045 + 0.0*i,
    0.575167238046381 + 0.0*i,
    -0.307157959798507 + 0.0*i,
    0.550117977082068 + 0.0*i,
    -0.37551659058389 + 0.0*i,
    -0.389775558165632 + 0.0*i,
    0.227166516619113 + 0.0*i,
    -0.629123587544269 + 0.0*i,
    0.962973480010038 + 0.0*i,
    0.791873807771431 + 0.0*i,
    -0.0120741523458699 + 0.0*i,
    -0.0825657507177117 + 0.0*i,
    0.453526571009839 + 0.0*i,
    -1.05283762410052 + 0.0*i,
    -0.691200795644129 + 0.0*i,
    0.443473870888749 + 0.0*i,
    -0.0686970090250416 + 0.0*i,
    0.972619629954532 + 0.0*i,
    -0.0432730480323935 + 0.0*i,
    -0.540581883176514 + 0.0*i,
    0.871362702348482 + 0.0*i,
    0.674631227088864 + 0.0*i,
    -0.297255878117947 + 0.0*i,
    0.465364154274884 + 0.0*i,
    -0.236574683018604 + 0.0*i,
    -0.348373406856916 + 0.0*i,
    0.520846747497115 + 0.0*i,
    0.238443572702983 + 0.0*i,
    -0.499660356042043 + 0.0*i,
    -0.55301836719499 + 0.0*i,
    -0.699854597869013 + 0.0*i,
    0.636750128575928 + 0.0*i,
    0.0694351349859145 + 0.0*i,
    0.489593447978873 + 0.0*i,
    -0.591415655124809 + 0.0*i,
    0.621426911562694 + 0.0*i,
    0.0386387063985882 + 0.0*i,
    -0.75182815693712 + 0.0*i,
    -1.05565203419898 + 0.0*i,
    -0.611470354398945 + 0.0*i,
    -0.919489770380027 + 0.0*i,
    0.415142021149267 + 0.0*i,
    0.616699576751002 + 0.0*i,
    0.284140060527702 + 0.0*i,
    -0.70997794323392 + 0.0*i,
    -0.095795846597145 + 0.0*i,
    0.28480393458174 + 0.0*i,
    -0.212339893673991 + 0.0*i,
    -0.190832684916594 + 0.0*i,
    -0.122724079465431 + 0.0*i,
    -0.420160254357358 + 0.0*i,
    -0.295783818907045 + 0.0*i,
    -0.240942273054541 + 0.0*i,
    0.903722768704422 + 0.0*i,
    0.03709967237357 + 0.0*i,
    -0.129944496835208 + 0.0*i,
    -0.432499204782667 + 0.0*i,
    -0.257817639280396 + 0.0*i,
    -0.117267587063792 + 0.0*i,
    -0.771799348266181 + 0.0*i,
    -0.273923677951273 + 0.0*i,
    -0.20556575391352 + 0.0*i,
    0.0177323717294296 + 0.0*i,
    0.522691094373211 + 0.0*i,
    0.615874219897814 + 0.0*i,
    0.408680440103466 + 0.0*i,
    0.180575244826895 + 0.0*i,
    -0.191478289728565 + 0.0*i,
    -0.275468874114827 + 0.0*i,
    -0.4839976582772 + 0.0*i,
    -0.652135594478107 + 0.0*i,
    0.166569473688945 + 0.0*i,
    -0.694895691941376 + 0.0*i,
    0.484354139816688 + 0.0*i,
    0.364954100575495 + 0.0*i,
    0.911156171570628 + 0.0*i,
    -0.226108568749518 + 0.0*i,
    1.09594257631414 + 0.0*i,
    -0.245543172150913 + 0.0*i,
    -0.468275391168174 + 0.0*i,
    -0.683911988995551 + 0.0*i,
    -0.422833751495845 + 0.0*i
]);