V:=Matrix(CC,4,53,[
    0.53892858484728 + 0.0*i,
    -0.372414526891543 + 0.0*i,
    0.243325470998375 + 0.0*i,
    -0.238223423294155 + 0.0*i,
    -0.582467700796329 + 0.0*i,
    -0.578323744019681 + 0.0*i,
    -0.306502294052851 + 0.0*i,
    0.144379490165503 + 0.0*i,
    0.559855124214668 + 0.0*i,
    0.410587303487338 + 0.0*i,
    1.03445156955986 + 0.0*i,
    -0.0483681529712351 + 0.0*i,
    -0.346114386041955 + 0.0*i,
    0.516542593007432 + 0.0*i,
    -0.184192171766493 + 0.0*i,
    0.308849282744459 + 0.0*i,
    -0.893192106527762 + 0.0*i,
    0.229837164063666 + 0.0*i,
    -0.14208482176581 + 0.0*i,
    -0.34901921096496 + 0.0*i,
    0.22168540454886 + 0.0*i,
    0.02931854377546 + 0.0*i,
    0.246086983106442 + 0.0*i,
    -0.564566223075316 + 0.0*i,
    -0.458042562373395 + 0.0*i,
    -0.551162932900235 + 0.0*i,
    -0.351451290142983 + 0.0*i,
    -0.883731820596937 + 0.0*i,
    -0.158108133228497 + 0.0*i,
    0.760158737434593 + 0.0*i,
    0.384844868592162 + 0.0*i,
    -0.303452392202694 + 0.0*i,
    0.760009753853949 + 0.0*i,
    0.465265379097988 + 0.0*i,
    0.55567890955594 + 0.0*i,
    0.291241157578675 + 0.0*i,
    0.384845614795345 + 0.0*i,
    0.699878867308383 + 0.0*i,
    -0.291873957358923 + 0.0*i,
    -0.129023641467511 + 0.0*i,
    -0.788498536216692 + 0.0*i,
    -0.4723492550258 + 0.0*i,
    0.407743318002572 + 0.0*i,
    -0.478146395795078 + 0.0*i,
    -0.299016514677628 + 0.0*i,
    0.00736900430471281 + 0.0*i,
    1.08649091666355 + 0.0*i,
    0.847771242471211 + 0.0*i,
    -1.00323877991406 + 0.0*i,
    -0.678161088186995 + 0.0*i,
    0.296488838593315 + 0.0*i,
    0.482928535161581 + 0.0*i,
    0.449030309487399 + 0.0*i,
    -1.77325249740243 + 0.0*i,
    -0.0313728749395051 + 0.0*i,
    0.403342858800534 + 0.0*i,
    0.452155413652309 + 0.0*i,
    -0.500269252822505 + 0.0*i,
    -0.272892212924647 + 0.0*i,
    0.191437178151647 + 0.0*i,
    0.0548446197890914 + 0.0*i,
    0.331696161880875 + 0.0*i,
    0.207907828594711 + 0.0*i,
    -0.33715633340038 + 0.0*i,
    0.137507420067666 + 0.0*i,
    0.0617800430421993 + 0.0*i,
    0.125880957873048 + 0.0*i,
    0.163589083931043 + 0.0*i,
    -0.282545781496376 + 0.0*i,
    -0.222685979750658 + 0.0*i,
    -0.284709280715759 + 0.0*i,
    -0.0971004175585134 + 0.0*i,
    0.690664835892498 + 0.0*i,
    0.47882828672777 + 0.0*i,
    -0.705734404434887 + 0.0*i,
    0.209992263135123 + 0.0*i,
    -1.07152640846583 + 0.0*i,
    0.406692371734585 + 0.0*i,
    -0.168087846960203 + 0.0*i,
    0.215853979064763 + 0.0*i,
    0.118010821868115 + 0.0*i,
    0.125100877236662 + 0.0*i,
    -1.10468379789665 + 0.0*i,
    0.194523641871754 + 0.0*i,
    -0.401923407560292 + 0.0*i,
    0.347107643148909 + 0.0*i,
    0.318824948372539 + 0.0*i,
    -0.057727322531325 + 0.0*i,
    0.019581407647869 + 0.0*i,
    -0.387205911109205 + 0.0*i,
    -0.409996628824774 + 0.0*i,
    0.88018403565814 + 0.0*i,
    0.867212102501316 + 0.0*i,
    0.426161556671434 + 0.0*i,
    0.401332658633691 + 0.0*i,
    0.861739791619363 + 0.0*i,
    0.262041909991293 + 0.0*i,
    0.368462253353688 + 0.0*i,
    -0.360975870543744 + 0.0*i,
    -0.283809997955957 + 0.0*i,
    -0.801215706287561 + 0.0*i,
    0.0837950274319027 + 0.0*i,
    0.543957350286461 + 0.0*i,
    0.555416912411755 + 0.0*i,
    0.387679671515755 + 0.0*i,
    -0.173645652313913 + 0.0*i,
    0.155213232856726 + 0.0*i,
    -0.421301282447556 + 0.0*i,
    0.0949696534757558 + 0.0*i,
    0.416620950518284 + 0.0*i,
    -1.26194673627095 + 0.0*i,
    0.221200828742625 + 0.0*i,
    0.136378732171723 + 0.0*i,
    0.0947407145444611 + 0.0*i,
    -0.615432845297158 + 0.0*i,
    0.333987056208326 + 0.0*i,
    0.540045497457187 + 0.0*i,
    0.584505256782848 + 0.0*i,
    0.105415126551543 + 0.0*i,
    -1.3906513993466 + 0.0*i,
    1.06125518641187 + 0.0*i,
    -0.259953993118677 + 0.0*i,
    0.141880728885912 + 0.0*i,
    0.114757319302287 + 0.0*i,
    0.117547904650502 + 0.0*i,
    -0.1571307150507 + 0.0*i,
    -0.285302538646227 + 0.0*i,
    0.339382052866836 + 0.0*i,
    -0.533181407265734 + 0.0*i,
    0.174571023365962 + 0.0*i,
    -0.531908547634584 + 0.0*i,
    0.260902937180955 + 0.0*i,
    0.731758972065401 + 0.0*i,
    0.742326674387365 + 0.0*i,
    -0.0499029086067985 + 0.0*i,
    0.571351188156768 + 0.0*i,
    0.187148773618451 + 0.0*i,
    -0.368677275244793 + 0.0*i,
    0.194362064131179 + 0.0*i,
    0.371578703371783 + 0.0*i,
    0.0832131181918124 + 0.0*i,
    -0.0682443919215072 + 0.0*i,
    -0.115513061921694 + 0.0*i,
    1.20318927877034 + 0.0*i,
    0.485096531282528 + 0.0*i,
    0.541203879931982 + 0.0*i,
    -0.184875646532898 + 0.0*i,
    0.14052099435369 + 0.0*i,
    0.648616803304157 + 0.0*i,
    -0.676586440544099 + 0.0*i,
    0.807048443596969 + 0.0*i,
    0.144404977412147 + 0.0*i,
    -0.232579159195321 + 0.0*i,
    0.361041821391357 + 0.0*i,
    -0.29214206096894 + 0.0*i,
    0.0764301519366874 + 0.0*i,
    -0.697723363202023 + 0.0*i,
    0.253735659296708 + 0.0*i,
    0.180573449887883 + 0.0*i,
    -0.173329746566543 + 0.0*i,
    0.196477872646191 + 0.0*i,
    -0.559727944700655 + 0.0*i,
    -0.25264282843064 + 0.0*i,
    -0.676736626427811 + 0.0*i,
    -0.45907091502153 + 0.0*i,
    0.334333162992662 + 0.0*i,
    0.154709956186284 + 0.0*i,
    0.755154660707074 + 0.0*i,
    -0.0471911111727177 + 0.0*i,
    -0.899317928201284 + 0.0*i,
    -0.74740527676094 + 0.0*i,
    -0.114513637549326 + 0.0*i,
    -0.232446881548957 + 0.0*i,
    0.0901364197732079 + 0.0*i,
    0.0734623432453873 + 0.0*i,
    0.373633158403763 + 0.0*i,
    0.134232285095768 + 0.0*i,
    0.715521966789738 + 0.0*i,
    0.897554806685335 + 0.0*i,
    -0.308747348651832 + 0.0*i,
    0.859878497142282 + 0.0*i,
    -0.114817853184573 + 0.0*i,
    0.275366994061301 + 0.0*i,
    0.395054990764754 + 0.0*i,
    -0.0597545600888992 + 0.0*i,
    0.0928722567416395 + 0.0*i,
    -0.275405870586659 + 0.0*i,
    0.44808560312357 + 0.0*i,
    0.89332953087614 + 0.0*i,
    0.293698151003567 + 0.0*i,
    -0.0016977820977733 + 0.0*i,
    0.169504008934465 + 0.0*i,
    -0.221301946466156 + 0.0*i,
    -0.310540727537143 + 0.0*i,
    0.295146653268319 + 0.0*i,
    -0.140915680885402 + 0.0*i,
    -0.115746844000346 + 0.0*i,
    0.118600984958596 + 0.0*i,
    0.572308139135608 + 0.0*i,
    -0.109594332222264 + 0.0*i,
    0.0586722705451655 + 0.0*i,
    -0.61364972114231 + 0.0*i,
    1.16643506403969 + 0.0*i,
    0.149475522027243 + 0.0*i,
    -0.946669022829911 + 0.0*i,
    0.10708860186482 + 0.0*i,
    0.748534413695173 + 0.0*i,
    -0.1027220303572 + 0.0*i,
    0.386480737637123 + 0.0*i,
    0.138632227757203 + 0.0*i,
    -0.752813794976094 + 0.0*i,
    -0.383620646125974 + 0.0*i
]);