V:=Matrix(CC,4,54,[
    0.483063548737331 + 0.0*i,
    0.562892259793892 + 0.0*i,
    0.432728971765813 + 0.0*i,
    -0.24748952194214 + 0.0*i,
    0.332368932994117 + 0.0*i,
    -0.495063637248729 + 0.0*i,
    -0.618925366902529 + 0.0*i,
    0.299045021334749 + 0.0*i,
    0.852315028099583 + 0.0*i,
    -0.155510237591019 + 0.0*i,
    -0.436399062984444 + 0.0*i,
    -0.170485719392313 + 0.0*i,
    -0.911049280187285 + 0.0*i,
    0.53228603469715 + 0.0*i,
    -0.563564457367214 + 0.0*i,
    -0.155007875601387 + 0.0*i,
    -0.60530059144795 + 0.0*i,
    -0.516680426039032 + 0.0*i,
    -0.0805070131160913 + 0.0*i,
    -0.882952168412125 + 0.0*i,
    -0.415054154317972 + 0.0*i,
    0.0743726896527884 + 0.0*i,
    0.0688571549835307 + 0.0*i,
    0.445336624799672 + 0.0*i,
    0.54421621821878 + 0.0*i,
    -0.963991167523201 + 0.0*i,
    0.232775426322754 + 0.0*i,
    -0.822759385533104 + 0.0*i,
    -0.623555517145593 + 0.0*i,
    -0.311797245153088 + 0.0*i,
    -0.098444581111579 + 0.0*i,
    0.265768948188913 + 0.0*i,
    0.441952320135887 + 0.0*i,
    0.123788077289361 + 0.0*i,
    -0.968536185690026 + 0.0*i,
    0.0211221463847357 + 0.0*i,
    1.218872648496 + 0.0*i,
    -0.0150567303743671 + 0.0*i,
    -0.246858710465913 + 0.0*i,
    -0.470065818464559 + 0.0*i,
    -0.123974332628632 + 0.0*i,
    -0.198325700689666 + 0.0*i,
    -0.0460391152976686 + 0.0*i,
    -0.0244450609220475 + 0.0*i,
    -0.0599233273428816 + 0.0*i,
    0.170190743495728 + 0.0*i,
    -0.28352933073994 + 0.0*i,
    0.227306705688239 + 0.0*i,
    0.766270687391278 + 0.0*i,
    -0.0792197651182313 + 0.0*i,
    -0.064150258391948 + 0.0*i,
    -0.769956388079648 + 0.0*i,
    0.175047374991697 + 0.0*i,
    0.395235293220601 + 0.0*i,
    0.88137768249815 + 0.0*i,
    0.709811503130738 + 0.0*i,
    -0.476310178712514 + 0.0*i,
    -0.121075672224981 + 0.0*i,
    0.587802889714016 + 0.0*i,
    -0.466078395869393 + 0.0*i,
    -0.103006648122118 + 0.0*i,
    -0.378379116066439 + 0.0*i,
    0.553751602606404 + 0.0*i,
    0.289108705171365 + 0.0*i,
    0.493348248058445 + 0.0*i,
    0.459790266993803 + 0.0*i,
    0.296454523521478 + 0.0*i,
    0.00389323119748704 + 0.0*i,
    -0.464239570047819 + 0.0*i,
    -0.353679742263276 + 0.0*i,
    -0.549960785346289 + 0.0*i,
    -0.384100234461787 + 0.0*i,
    0.376031423102001 + 0.0*i,
    -0.617972311910215 + 0.0*i,
    -0.307259215757934 + 0.0*i,
    0.196411111524921 + 0.0*i,
    0.336793618389852 + 0.0*i,
    -0.864475125692603 + 0.0*i,
    0.613615630190514 + 0.0*i,
    0.922818615133563 + 0.0*i,
    -0.0391109551410656 + 0.0*i,
    0.618137937212977 + 0.0*i,
    1.00472497087652 + 0.0*i,
    0.499383874887679 + 0.0*i,
    0.189404874204286 + 0.0*i,
    0.347420516985629 + 0.0*i,
    -1.01360682124446 + 0.0*i,
    0.54484561909197 + 0.0*i,
    0.318066549908527 + 0.0*i,
    -0.127768958755291 + 0.0*i,
    0.352881226511409 + 0.0*i,
    1.05677585948558 + 0.0*i,
    -0.234725607250492 + 0.0*i,
    1.08801086286944 + 0.0*i,
    -0.405930896155015 + 0.0*i,
    0.102617552832292 + 0.0*i,
    0.0183716583063356 + 0.0*i,
    -0.305317581108959 + 0.0*i,
    -0.350083936002184 + 0.0*i,
    -0.268957035619163 + 0.0*i,
    0.672007642909632 + 0.0*i,
    -0.231486681465348 + 0.0*i,
    -0.235976772746434 + 0.0*i,
    -0.321161887576333 + 0.0*i,
    -0.447079262452385 + 0.0*i,
    -0.0633968373542484 + 0.0*i,
    -0.431043560630375 + 0.0*i,
    -0.147718339279497 + 0.0*i,
    -0.0225576103024229 + 0.0*i,
    -0.155090480646648 + 0.0*i,
    0.594625422096985 + 0.0*i,
    0.156804593904294 + 0.0*i,
    0.17581889446647 + 0.0*i,
    -0.432548902260287 + 0.0*i,
    0.276954175347804 + 0.0*i,
    0.513224774367287 + 0.0*i,
    -0.0838731652867758 + 0.0*i,
    -0.129408263402346 + 0.0*i,
    -0.268226084471001 + 0.0*i,
    -0.106008791604493 + 0.0*i,
    0.605238131357445 + 0.0*i,
    0.665746174106727 + 0.0*i,
    -0.34424873349186 + 0.0*i,
    0.10051309687068 + 0.0*i,
    0.740162744515118 + 0.0*i,
    -0.0520082192988176 + 0.0*i,
    -0.352382371695439 + 0.0*i,
    0.277037274018703 + 0.0*i,
    -0.362020331103065 + 0.0*i,
    -0.155364614844234 + 0.0*i,
    -0.0340639006284715 + 0.0*i,
    -0.3947185358034 + 0.0*i,
    0.897056232270508 + 0.0*i,
    0.555377833378992 + 0.0*i,
    0.763350687902862 + 0.0*i,
    0.0944909866035798 + 0.0*i,
    -0.295160077591837 + 0.0*i,
    0.177523088089722 + 0.0*i,
    -1.1393608124799 + 0.0*i,
    0.478651151555231 + 0.0*i,
    -0.31185851336191 + 0.0*i,
    -0.528893649310284 + 0.0*i,
    0.11837088043332 + 0.0*i,
    -0.0991632774843318 + 0.0*i,
    -0.59479106319488 + 0.0*i,
    -0.0210817290628762 + 0.0*i,
    0.122251523341676 + 0.0*i,
    0.84708969554562 + 0.0*i,
    0.447270736244759 + 0.0*i,
    -0.136847912540538 + 0.0*i,
    0.913839339261848 + 0.0*i,
    -0.0438075445654345 + 0.0*i,
    0.208016395099061 + 0.0*i,
    0.152917503870406 + 0.0*i,
    -0.198057825937474 + 0.0*i,
    -0.211850495097845 + 0.0*i,
    1.14822625080076 + 0.0*i,
    -0.671532067245148 + 0.0*i,
    -0.62101718139513 + 0.0*i,
    0.039599122997385 + 0.0*i,
    0.550391321733291 + 0.0*i,
    0.717752947732528 + 0.0*i,
    -0.622429583612066 + 0.0*i,
    -0.396098270642097 + 0.0*i,
    -0.754301543535044 + 0.0*i,
    0.351898477307855 + 0.0*i,
    0.254015299526623 + 0.0*i,
    -0.449057339344335 + 0.0*i,
    -1.04430445112075 + 0.0*i,
    -0.92758416412711 + 0.0*i,
    0.104116872989024 + 0.0*i,
    -0.909260581214899 + 0.0*i,
    0.245097190937242 + 0.0*i,
    0.415147127952262 + 0.0*i,
    0.186477587532013 + 0.0*i,
    0.769207777945915 + 0.0*i,
    0.38108948193293 + 0.0*i,
    0.214423265614226 + 0.0*i,
    -0.853853026734792 + 0.0*i,
    -0.372228264058619 + 0.0*i,
    -0.282552884114172 + 0.0*i,
    -0.611477827359755 + 0.0*i,
    0.266111388568744 + 0.0*i,
    -0.990715649779818 + 0.0*i,
    -0.397311793992595 + 0.0*i,
    0.611286064271816 + 0.0*i,
    -0.595546956929842 + 0.0*i,
    -0.755814788591416 + 0.0*i,
    0.291185465854333 + 0.0*i,
    -0.894526509808061 + 0.0*i,
    0.54431954648186 + 0.0*i,
    0.027030462970222 + 0.0*i,
    -0.311839921267916 + 0.0*i,
    -0.179612626501105 + 0.0*i,
    -0.260804670489456 + 0.0*i,
    0.0234848507621978 + 0.0*i,
    -0.0691144645142747 + 0.0*i,
    0.0300466573600956 + 0.0*i,
    -0.43888544278799 + 0.0*i,
    0.325139662639494 + 0.0*i,
    0.320358053067488 + 0.0*i,
    -0.320335821985136 + 0.0*i,
    -0.344091896068104 + 0.0*i,
    -1.12234756122753 + 0.0*i,
    -0.257739096362242 + 0.0*i,
    0.216793444876669 + 0.0*i,
    -0.201298249815835 + 0.0*i,
    0.250115732176811 + 0.0*i,
    -0.0167970841430149 + 0.0*i,
    0.35079466691278 + 0.0*i,
    -0.494033609719464 + 0.0*i,
    0.195520662440687 + 0.0*i,
    0.840046770071712 + 0.0*i,
    1.09342805223815 + 0.0*i,
    -0.14980768477263 + 0.0*i,
    0.2562209381919 + 0.0*i
]);