V:=Matrix(CC,4,53,[
    -0.71300813229935 + 0.0*i,
    0.192852360388587 + 0.0*i,
    0.221090691017649 + 0.0*i,
    -0.425575616210645 + 0.0*i,
    0.0190676799623979 + 0.0*i,
    0.185172259214325 + 0.0*i,
    0.462413363633005 + 0.0*i,
    -0.321552868774386 + 0.0*i,
    0.684681037758163 + 0.0*i,
    -0.903789091372596 + 0.0*i,
    0.591694922633428 + 0.0*i,
    -0.10126044114399 + 0.0*i,
    0.367731734142872 + 0.0*i,
    -0.404731237057347 + 0.0*i,
    -0.281477745201882 + 0.0*i,
    0.917339292387858 + 0.0*i,
    -0.760240387541351 + 0.0*i,
    0.637450076364037 + 0.0*i,
    0.0783820278854513 + 0.0*i,
    -0.0886861345276366 + 0.0*i,
    -0.476883870414898 + 0.0*i,
    -0.924322008721342 + 0.0*i,
    -0.0172923102482243 + 0.0*i,
    0.42314522385842 + 0.0*i,
    -0.48682456391644 + 0.0*i,
    -0.665896435571204 + 0.0*i,
    -0.697302681944997 + 0.0*i,
    0.28239579260257 + 0.0*i,
    -0.537792406680273 + 0.0*i,
    0.120898056164484 + 0.0*i,
    -0.47460457216252 + 0.0*i,
    -0.728620871111652 + 0.0*i,
    0.346481344282884 + 0.0*i,
    -0.482742524070783 + 0.0*i,
    -0.199488463401581 + 0.0*i,
    0.432152020078763 + 0.0*i,
    -0.500049032620024 + 0.0*i,
    -0.107770843685279 + 0.0*i,
    0.420580794497345 + 0.0*i,
    -0.759381719010608 + 0.0*i,
    0.132406707090894 + 0.0*i,
    -0.700541237969971 + 0.0*i,
    -0.0721282251182282 + 0.0*i,
    0.0651146025761799 + 0.0*i,
    0.0381008619130532 + 0.0*i,
    0.327363261584525 + 0.0*i,
    0.662794534599183 + 0.0*i,
    -0.556656410617168 + 0.0*i,
    -0.938626445815074 + 0.0*i,
    0.0505545156712196 + 0.0*i,
    -0.106163429725838 + 0.0*i,
    0.0682355651824451 + 0.0*i,
    -0.353832896286347 + 0.0*i,
    0.4004646063198 + 0.0*i,
    -0.525148298059887 + 0.0*i,
    0.452950661380283 + 0.0*i,
    -0.634325458281725 + 0.0*i,
    0.183564172303877 + 0.0*i,
    -0.551156339019458 + 0.0*i,
    0.764540868675915 + 0.0*i,
    0.182388858351034 + 0.0*i,
    0.185369975400684 + 0.0*i,
    -0.301014162372619 + 0.0*i,
    0.325949090428449 + 0.0*i,
    0.550293443567584 + 0.0*i,
    -0.397530996677576 + 0.0*i,
    -0.650892856791979 + 0.0*i,
    0.506322628986763 + 0.0*i,
    0.112369017771689 + 0.0*i,
    0.223958101404299 + 0.0*i,
    0.57403580486709 + 0.0*i,
    0.414045063128175 + 0.0*i,
    -0.932140527938979 + 0.0*i,
    0.663201534117402 + 0.0*i,
    -0.168274323017869 + 0.0*i,
    -0.374903011564205 + 0.0*i,
    -0.808956445418436 + 0.0*i,
    -0.0610765499628797 + 0.0*i,
    -0.760749221976104 + 0.0*i,
    0.323396442052308 + 0.0*i,
    0.164990254952385 + 0.0*i,
    0.761873386261431 + 0.0*i,
    -0.856774941743485 + 0.0*i,
    -0.0467522555762251 + 0.0*i,
    0.424027568224801 + 0.0*i,
    0.682782930863816 + 0.0*i,
    0.805828783738896 + 0.0*i,
    0.0781775519098313 + 0.0*i,
    0.223770621859374 + 0.0*i,
    -0.102510997754549 + 0.0*i,
    0.146355138569991 + 0.0*i,
    -0.0254199709678159 + 0.0*i,
    -0.0899013797219271 + 0.0*i,
    0.169559548325766 + 0.0*i,
    -0.295956455210387 + 0.0*i,
    -0.974117458048085 + 0.0*i,
    -0.63470037083653 + 0.0*i,
    -0.109225463706443 + 0.0*i,
    0.569903551161859 + 0.0*i,
    -0.286979197447238 + 0.0*i,
    0.456220549680653 + 0.0*i,
    0.384005135174725 + 0.0*i,
    -0.765410355054678 + 0.0*i,
    0.820720463551267 + 0.0*i,
    -0.391238730520422 + 0.0*i,
    -0.617905783874554 + 0.0*i,
    -0.0858994074043884 + 0.0*i,
    -0.808035790506004 + 0.0*i,
    -0.82336646016101 + 0.0*i,
    -0.65175834493113 + 0.0*i,
    0.577791400122457 + 0.0*i,
    0.523991042720067 + 0.0*i,
    -0.15188715488543 + 0.0*i,
    -0.871923893484585 + 0.0*i,
    -0.229416811874205 + 0.0*i,
    -0.158024514629256 + 0.0*i,
    0.573216724013001 + 0.0*i,
    -0.788175586182558 + 0.0*i,
    -0.331230329358127 + 0.0*i,
    -0.276703671000499 + 0.0*i,
    0.0125573222119673 + 0.0*i,
    -0.406441467017808 + 0.0*i,
    0.268439148108704 + 0.0*i,
    -0.490392203240342 + 0.0*i,
    -0.110172334361854 + 0.0*i,
    0.381065163835062 + 0.0*i,
    -0.542979143676273 + 0.0*i,
    -0.145632468867347 + 0.0*i,
    -0.68003164880519 + 0.0*i,
    -0.316038481467928 + 0.0*i,
    0.744622085319589 + 0.0*i,
    -0.095446582293394 + 0.0*i,
    -0.378655466282577 + 0.0*i,
    0.906435831441348 + 0.0*i,
    0.0820619238939802 + 0.0*i,
    0.207910766766581 + 0.0*i,
    0.87164349615588 + 0.0*i,
    0.542704936290918 + 0.0*i,
    -0.362177775661084 + 0.0*i,
    -0.218340075036095 + 0.0*i,
    0.4496983585889 + 0.0*i,
    0.658698708553016 + 0.0*i,
    -0.173038478088026 + 0.0*i,
    0.936235287380403 + 0.0*i,
    0.363286608463363 + 0.0*i,
    -0.620428752583275 + 0.0*i,
    -0.16286705830048 + 0.0*i,
    0.356228956609694 + 0.0*i,
    -0.248864160071736 + 0.0*i,
    -0.661877702377433 + 0.0*i,
    0.922782025601608 + 0.0*i,
    -0.601233916230712 + 0.0*i,
    0.641256359749305 + 0.0*i,
    0.556719116225201 + 0.0*i,
    -0.0782078435547681 + 0.0*i,
    -0.424207971274453 + 0.0*i,
    0.0516704224491091 + 0.0*i,
    0.634062589135725 + 0.0*i,
    -0.194589649738316 + 0.0*i,
    -0.591188461151852 + 0.0*i,
    -0.111237815524269 + 0.0*i,
    0.14898623850827 + 0.0*i,
    0.0423359896090985 + 0.0*i,
    -0.789319312769727 + 0.0*i,
    0.626199326458769 + 0.0*i,
    -0.357331334874658 + 0.0*i,
    0.279213010136254 + 0.0*i,
    0.685766445150674 + 0.0*i,
    0.310748630820256 + 0.0*i,
    0.462223130078807 + 0.0*i,
    -0.0639023208027831 + 0.0*i,
    0.763295453402282 + 0.0*i,
    0.576538443507949 + 0.0*i,
    0.81949931783377 + 0.0*i,
    0.0198982724858007 + 0.0*i,
    0.531858448188128 + 0.0*i,
    0.0997104706747247 + 0.0*i,
    -0.904692165052348 + 0.0*i,
    0.0801838977322049 + 0.0*i,
    0.150601294802635 + 0.0*i,
    -0.311272564263306 + 0.0*i,
    -0.613353275602175 + 0.0*i,
    0.135514067200909 + 0.0*i,
    -0.474414882155103 + 0.0*i,
    -0.135790430191599 + 0.0*i,
    0.54939045508384 + 0.0*i,
    0.0811438088453327 + 0.0*i,
    0.307361822360012 + 0.0*i,
    -0.438927614098924 + 0.0*i,
    0.271555706279409 + 0.0*i,
    -0.253015780795998 + 0.0*i,
    0.531905697941345 + 0.0*i,
    -0.243839641584674 + 0.0*i,
    0.910591850732769 + 0.0*i,
    -0.52234446631583 + 0.0*i,
    0.844383209340493 + 0.0*i,
    -0.226375692885115 + 0.0*i,
    0.850985106652616 + 0.0*i,
    0.128851787102165 + 0.0*i,
    0.963508433123618 + 0.0*i,
    0.55393623709335 + 0.0*i,
    0.000674657406128456 + 0.0*i,
    0.387216643822167 + 0.0*i,
    0.437962995000254 + 0.0*i,
    -0.442361158525149 + 0.0*i,
    0.299608535108711 + 0.0*i,
    0.35947024481644 + 0.0*i,
    0.0376331704001752 + 0.0*i,
    -0.445446786191089 + 0.0*i,
    -0.550723455671663 + 0.0*i,
    -0.676875669248454 + 0.0*i,
    -0.678409832054764 + 0.0*i
]);