V:=Matrix(CC,4,53,[
    -0.00793471393480403 + 0.0*i,
    -0.26543062488033 + 0.0*i,
    -0.232742344162123 + 0.0*i,
    -0.0574686064387141 + 0.0*i,
    0.306235181436307 + 0.0*i,
    -0.0313730322865118 + 0.0*i,
    0.295736925051078 + 0.0*i,
    0.00705238735268362 + 0.0*i,
    -0.0582299374269881 + 0.0*i,
    -0.302083305363911 + 0.0*i,
    0.174791042034635 + 0.0*i,
    -0.151311277377506 + 0.0*i,
    -0.229360419372138 + 0.0*i,
    0.273834704787409 + 0.0*i,
    -0.0592402375371018 + 0.0*i,
    -0.315113474674489 + 0.0*i,
    0.206864708811645 + 0.0*i,
    -0.0097182339990321 + 0.0*i,
    -0.0992736054850438 + 0.0*i,
    -0.271636666769558 + 0.0*i,
    0.39430537308056 + 0.0*i,
    -0.0598433897336248 + 0.0*i,
    0.179438328133905 + 0.0*i,
    0.236525923504353 + 0.0*i,
    0.197892520749593 + 0.0*i,
    -0.259705921532015 + 0.0*i,
    -0.088442499846397 + 0.0*i,
    0.0980975977541858 + 0.0*i,
    0.0751437661447916 + 0.0*i,
    -0.154363746539321 + 0.0*i,
    -0.197624104658101 + 0.0*i,
    -0.277708636864817 + 0.0*i,
    0.175582464573441 + 0.0*i,
    -0.0974509816652151 + 0.0*i,
    -0.0431091623750542 + 0.0*i,
    -0.0871403503257684 + 0.0*i,
    -0.307677879968312 + 0.0*i,
    0.219803624049469 + 0.0*i,
    0.0743382226671331 + 0.0*i,
    -0.0142584670445126 + 0.0*i,
    -0.32533659105309 + 0.0*i,
    0.219708105170142 + 0.0*i,
    0.429945195235104 + 0.0*i,
    -0.145482414838372 + 0.0*i,
    -0.0437563209259861 + 0.0*i,
    -0.41069884479141 + 0.0*i,
    0.209833380427479 + 0.0*i,
    -0.120085131440733 + 0.0*i,
    -0.219919987236418 + 0.0*i,
    -0.373764708646468 + 0.0*i,
    -0.165715570217066 + 0.0*i,
    0.351517618112117 + 0.0*i,
    -0.163466026803589 + 0.0*i,
    -0.254782817653726 + 0.0*i,
    0.0731051508967976 + 0.0*i,
    0.0525700613744471 + 0.0*i,
    0.0264941129426605 + 0.0*i,
    -0.194390339933898 + 0.0*i,
    -0.298932998088988 + 0.0*i,
    -0.281026962045278 + 0.0*i,
    0.135991057170824 + 0.0*i,
    0.160332945206164 + 0.0*i,
    0.0340811103941934 + 0.0*i,
    -0.128752465919078 + 0.0*i,
    0.144230138665732 + 0.0*i,
    0.297329602358168 + 0.0*i,
    0.183232253873971 + 0.0*i,
    -0.0694023039117691 + 0.0*i,
    0.232136594792511 + 0.0*i,
    -0.186073444924261 + 0.0*i,
    -0.235007968704913 + 0.0*i,
    -0.369919298048171 + 0.0*i,
    -0.326550080275024 + 0.0*i,
    -0.10731581401399 + 0.0*i,
    0.32847938674177 + 0.0*i,
    -0.372660777654247 + 0.0*i,
    0.0483133382456781 + 0.0*i,
    0.244976646031968 + 0.0*i,
    -0.000538176236948978 + 0.0*i,
    -0.332705580410781 + 0.0*i,
    -0.319337138006846 + 0.0*i,
    0.251171802590418 + 0.0*i,
    -0.0522603974498374 + 0.0*i,
    0.122510634111517 + 0.0*i,
    0.171452004311701 + 0.0*i,
    0.179288713002276 + 0.0*i,
    -0.386984581304011 + 0.0*i,
    0.00621587661842022 + 0.0*i,
    -0.0800353294037185 + 0.0*i,
    -0.067366155005482 + 0.0*i,
    -0.17050597247654 + 0.0*i,
    0.409842729894121 + 0.0*i,
    -0.12399318686908 + 0.0*i,
    -0.25609142324126 + 0.0*i,
    0.0498152057182957 + 0.0*i,
    -0.0129347767725878 + 0.0*i,
    0.245047542308921 + 0.0*i,
    -0.167447137796617 + 0.0*i,
    -0.0529382309931677 + 0.0*i,
    0.209792822549041 + 0.0*i,
    0.348967554166991 + 0.0*i,
    -0.172054771306654 + 0.0*i,
    -0.107304202377267 + 0.0*i,
    0.365887055339312 + 0.0*i,
    -0.128272505592415 + 0.0*i,
    0.260652883218035 + 0.0*i,
    0.347360418858206 + 0.0*i,
    0.0703125567723763 + 0.0*i,
    -0.330192077486048 + 0.0*i,
    -0.36493516051071 + 0.0*i,
    0.177238666715487 + 0.0*i,
    -0.161851680562801 + 0.0*i,
    -0.0806694811019638 + 0.0*i,
    -0.0356866597417818 + 0.0*i,
    0.242713629615446 + 0.0*i,
    0.293064916881805 + 0.0*i,
    0.196079911980207 + 0.0*i,
    0.286413170450299 + 0.0*i,
    0.0426984183144276 + 0.0*i,
    -0.0585269932296904 + 0.0*i,
    0.119320131942025 + 0.0*i,
    -0.086418336933053 + 0.0*i,
    -0.30008339405955 + 0.0*i,
    -0.358180881541961 + 0.0*i,
    0.0645523647567711 + 0.0*i,
    0.109916569895385 + 0.0*i,
    -0.0628613422447174 + 0.0*i,
    -0.0297776889842671 + 0.0*i,
    0.129241381767948 + 0.0*i,
    0.0902247170963563 + 0.0*i,
    -0.294555105794082 + 0.0*i,
    0.22660474867244 + 0.0*i,
    -0.15587992511016 + 0.0*i,
    0.217033650934176 + 0.0*i,
    -0.242016241787686 + 0.0*i,
    0.390519786717593 + 0.0*i,
    -0.348700781032199 + 0.0*i,
    0.261019427837998 + 0.0*i,
    0.250466828624032 + 0.0*i,
    -0.149005602239728 + 0.0*i,
    0.410068205231984 + 0.0*i,
    0.240546862691048 + 0.0*i,
    0.245541429809881 + 0.0*i,
    -0.0670802167569039 + 0.0*i,
    -0.0879137543925382 + 0.0*i,
    -0.119704995848708 + 0.0*i,
    -0.107632376612158 + 0.0*i,
    0.213190970601924 + 0.0*i,
    0.158033123173246 + 0.0*i,
    -0.060712477670354 + 0.0*i,
    0.255569975339345 + 0.0*i,
    -0.0953100752982331 + 0.0*i,
    -0.0469495979268942 + 0.0*i,
    0.158918966484368 + 0.0*i,
    -0.329785554721781 + 0.0*i,
    0.144638361756785 + 0.0*i,
    0.125139654294439 + 0.0*i,
    -0.131514354219137 + 0.0*i,
    -0.27605827746913 + 0.0*i,
    -0.0238749101167368 + 0.0*i,
    -0.322836741793703 + 0.0*i,
    0.129523623519743 + 0.0*i,
    0.211925100701215 + 0.0*i,
    0.160100781874703 + 0.0*i,
    0.250729636370406 + 0.0*i,
    -0.0619252344176037 + 0.0*i,
    0.40432723620816 + 0.0*i,
    0.316100754584082 + 0.0*i,
    0.0795880036634658 + 0.0*i,
    -0.323229978856749 + 0.0*i,
    -0.261370391612147 + 0.0*i,
    -0.195272115150197 + 0.0*i,
    -0.268951385380304 + 0.0*i,
    0.392717759530113 + 0.0*i,
    0.145444537910574 + 0.0*i,
    -0.111908516055941 + 0.0*i,
    0.0774716646219299 + 0.0*i,
    0.228120029836775 + 0.0*i,
    -0.0881522825035182 + 0.0*i,
    0.0973398619426665 + 0.0*i,
    0.262228531225605 + 0.0*i,
    -0.0195932099471079 + 0.0*i,
    -0.351000727222257 + 0.0*i,
    -0.110582773701637 + 0.0*i,
    0.2692473761994 + 0.0*i,
    -0.224224400259417 + 0.0*i,
    0.148350418141627 + 0.0*i,
    0.231115477091046 + 0.0*i,
    -0.0813632802040551 + 0.0*i,
    -0.10606138069926 + 0.0*i,
    -0.0718878355631679 + 0.0*i,
    -0.222807389598703 + 0.0*i,
    0.0513241054028492 + 0.0*i,
    0.15402917193632 + 0.0*i,
    -0.330551128229879 + 0.0*i,
    -0.154367651538477 + 0.0*i,
    -0.31220624586753 + 0.0*i,
    0.0123922690527907 + 0.0*i,
    0.392867498770701 + 0.0*i,
    0.0923624965612377 + 0.0*i,
    0.330809589338421 + 0.0*i,
    -0.0817005650289883 + 0.0*i,
    -0.315467586383185 + 0.0*i,
    0.299545669458417 + 0.0*i,
    -0.0957546430441892 + 0.0*i,
    0.306868487493473 + 0.0*i,
    0.145465411008316 + 0.0*i,
    -0.0765794481833117 + 0.0*i,
    0.101086817881935 + 0.0*i,
    -0.102205544673074 + 0.0*i,
    -0.175553083986223 + 0.0*i,
    0.0929203122062864 + 0.0*i
]);