V:=Matrix(CC,4,78,[
    0.164094221547995 + 0.0*i,
    -0.13910258889945 + 0.0*i,
    0.35174225646467 + 0.0*i,
    -0.176031945440214 + 0.0*i,
    0.833580188351386 + 0.0*i,
    0.244576507299365 + 0.0*i,
    -0.846372567037064 + 0.0*i,
    -0.246385727604257 + 0.0*i,
    0.112462982843803 + 0.0*i,
    -0.0540954916352217 + 0.0*i,
    -0.251747768380685 + 0.0*i,
    0.145094324349751 + 0.0*i,
    0.315728245593753 + 0.0*i,
    -0.0451331938294131 + 0.0*i,
    0.548147808246971 + 0.0*i,
    0.511226203186879 + 0.0*i,
    -0.333677981613521 + 0.0*i,
    -0.129564246900952 + 0.0*i,
    -0.26803366048384 + 0.0*i,
    -0.0604544428616503 + 0.0*i,
    0.431264966874235 + 0.0*i,
    -0.266492314276551 + 0.0*i,
    -0.723022229668663 + 0.0*i,
    -0.948413701068683 + 0.0*i,
    0.442395909885353 + 0.0*i,
    -0.748070912429136 + 0.0*i,
    -0.12601170489416 + 0.0*i,
    -0.78855465032035 + 0.0*i,
    -0.0892372064152086 + 0.0*i,
    0.0225406660533682 + 0.0*i,
    -0.427963359689269 + 0.0*i,
    -0.280926122625375 + 0.0*i,
    0.673516868141265 + 0.0*i,
    -0.236884365383811 + 0.0*i,
    -0.851967128266959 + 0.0*i,
    0.406636516766108 + 0.0*i,
    0.0442974590933131 + 0.0*i,
    -0.604115075504891 + 0.0*i,
    0.716569917040332 + 0.0*i,
    -0.209627104004657 + 0.0*i,
    0.645434174875667 + 0.0*i,
    0.100833414535747 + 0.0*i,
    0.2657011824915 + 0.0*i,
    -0.165278323493832 + 0.0*i,
    0.47992389601217 + 0.0*i,
    0.0517884864625277 + 0.0*i,
    0.263679821980919 + 0.0*i,
    -0.252182379192221 + 0.0*i,
    -0.00630188758780779 + 0.0*i,
    -0.507625579773864 + 0.0*i,
    -0.0455843584310823 + 0.0*i,
    -0.198930170504881 + 0.0*i,
    -0.0191046759514282 + 0.0*i,
    -0.234071471645063 + 0.0*i,
    -0.24478111546859 + 0.0*i,
    0.288611653984266 + 0.0*i,
    0.184166579472222 + 0.0*i,
    -0.237119297086187 + 0.0*i,
    -0.821113355576263 + 0.0*i,
    -0.608000544160652 + 0.0*i,
    -0.764907909153896 + 0.0*i,
    -1.39040651721496 + 0.0*i,
    0.288335410098623 + 0.0*i,
    -0.139126086586527 + 0.0*i,
    -0.558177551119739 + 0.0*i,
    -0.940217664181169 + 0.0*i,
    -0.0227128779532026 + 0.0*i,
    -0.103815432767574 + 0.0*i,
    0.104778896642793 + 0.0*i,
    -0.23511961008158 + 0.0*i,
    -0.105384789478474 + 0.0*i,
    0.438028742591603 + 0.0*i,
    -0.656960795091458 + 0.0*i,
    0.217425059012623 + 0.0*i,
    -0.401852191054139 + 0.0*i,
    -0.47497180808856 + 0.0*i,
    -0.241730666371295 + 0.0*i,
    0.657378271755799 + 0.0*i,
    -0.510905236687052 + 0.0*i,
    -0.338801865751451 + 0.0*i,
    -0.130399480068564 + 0.0*i,
    0.0539008898392888 + 0.0*i,
    -1.07904536826191 + 0.0*i,
    0.388838444049781 + 0.0*i,
    0.852488489356671 + 0.0*i,
    -1.12598614196085 + 0.0*i,
    0.302650959423802 + 0.0*i,
    -0.0466819929946062 + 0.0*i,
    0.811514541561289 + 0.0*i,
    0.0857617250699245 + 0.0*i,
    0.294232065198708 + 0.0*i,
    -0.179914567478704 + 0.0*i,
    -0.164309992475546 + 0.0*i,
    -0.149837204563161 + 0.0*i,
    0.0207793854070433 + 0.0*i,
    -0.104274128338705 + 0.0*i,
    -0.981697062346136 + 0.0*i,
    -0.245674099758103 + 0.0*i,
    0.137593157648814 + 0.0*i,
    -0.965920815245942 + 0.0*i,
    -0.432479349111666 + 0.0*i,
    0.309853924820129 + 0.0*i,
    -0.392629189498412 + 0.0*i,
    -0.0146356691404552 + 0.0*i,
    -0.586415524828746 + 0.0*i,
    -0.120843194121458 + 0.0*i,
    0.57455522474358 + 0.0*i,
    -0.835820684484721 + 0.0*i,
    -0.253848490780045 + 0.0*i,
    0.504220192528212 + 0.0*i,
    0.700827579290019 + 0.0*i,
    -0.195205998836766 + 0.0*i,
    -0.339124769145536 + 0.0*i,
    -0.050912665738924 + 0.0*i,
    0.509778998065511 + 0.0*i,
    -0.403854311237086 + 0.0*i,
    0.499564559399865 + 0.0*i,
    -0.694853766895532 + 0.0*i,
    -0.645305048482886 + 0.0*i,
    0.729180808776164 + 0.0*i,
    0.606267184933569 + 0.0*i,
    0.101004585243275 + 0.0*i,
    0.609126164290045 + 0.0*i,
    0.568405416202381 + 0.0*i,
    0.650662403281141 + 0.0*i,
    -0.205229622550732 + 0.0*i,
    -0.453298078308385 + 0.0*i,
    0.396306347957201 + 0.0*i,
    0.80012926566793 + 0.0*i,
    -0.0489170123757924 + 0.0*i,
    0.311387087159234 + 0.0*i,
    0.297421390029998 + 0.0*i,
    0.285265375871341 + 0.0*i,
    0.640906261098072 + 0.0*i,
    -0.191617973893964 + 0.0*i,
    0.941364726392234 + 0.0*i,
    0.1158744281951 + 0.0*i,
    -0.0846236672051539 + 0.0*i,
    -0.322119534641866 + 0.0*i,
    -0.253865618888151 + 0.0*i,
    0.0788900674996762 + 0.0*i,
    0.810235345991409 + 0.0*i,
    0.434492042844184 + 0.0*i,
    -0.0754297631813506 + 0.0*i,
    0.0689416422363269 + 0.0*i,
    -0.73773948709037 + 0.0*i,
    -0.251561311734221 + 0.0*i,
    0.638818453976015 + 0.0*i,
    0.0716121640676378 + 0.0*i,
    0.372246120541261 + 0.0*i,
    -1.17347674042972 + 0.0*i,
    -0.365022757476738 + 0.0*i,
    -0.0535447855472892 + 0.0*i,
    -0.530147733765597 + 0.0*i,
    -0.229291805238941 + 0.0*i,
    0.132694530288079 + 0.0*i,
    1.07804248572592 + 0.0*i,
    -0.56261616445738 + 0.0*i,
    0.199011026532105 + 0.0*i,
    -0.957768569331626 + 0.0*i,
    0.162652599212274 + 0.0*i,
    0.556030802293486 + 0.0*i,
    0.217687350520196 + 0.0*i,
    -0.264570002142639 + 0.0*i,
    0.0456040040085189 + 0.0*i,
    0.128887138108 + 0.0*i,
    0.0102429988830777 + 0.0*i,
    -0.416861654668551 + 0.0*i,
    0.363126364659838 + 0.0*i,
    0.0677330169663562 + 0.0*i,
    0.146017651019055 + 0.0*i,
    -0.168492918404718 + 0.0*i,
    0.0673500849314827 + 0.0*i,
    0.740746193621368 + 0.0*i,
    -0.0172001380592693 + 0.0*i,
    0.794553659168402 + 0.0*i,
    -0.583061755993538 + 0.0*i,
    -0.328040362335395 + 0.0*i,
    0.354769322638429 + 0.0*i,
    -0.78108310115583 + 0.0*i,
    0.114851028381665 + 0.0*i,
    0.52850793582005 + 0.0*i,
    -1.16599954035618 + 0.0*i,
    0.0636499535188775 + 0.0*i,
    0.867917463772711 + 0.0*i,
    8.77660770364972e-05 + 0.0*i,
    -0.0812829738548341 + 0.0*i,
    -0.0155088935416609 + 0.0*i,
    -0.281757964650533 + 0.0*i,
    0.168874220977959 + 0.0*i,
    0.348362283283934 + 0.0*i,
    -0.222156039565527 + 0.0*i,
    -0.0564979563937029 + 0.0*i,
    0.462375634298145 + 0.0*i,
    0.727439273619427 + 0.0*i,
    0.716582273559526 + 0.0*i,
    -0.889204486795498 + 0.0*i,
    0.575796891857555 + 0.0*i,
    -0.000801464565870938 + 0.0*i,
    -0.163365486970073 + 0.0*i,
    -1.02974017453078 + 0.0*i,
    0.266508499297101 + 0.0*i,
    -0.2417933901122 + 0.0*i,
    -0.429276580331201 + 0.0*i,
    0.0123312399810293 + 0.0*i,
    -1.24107994052074 + 0.0*i,
    0.931013082095421 + 0.0*i,
    0.666289219695699 + 0.0*i,
    0.106203218779205 + 0.0*i,
    -0.0887016523553815 + 0.0*i,
    0.160611623238783 + 0.0*i,
    -0.309615662568848 + 0.0*i,
    -0.598182219809023 + 0.0*i,
    -0.375396052073099 + 0.0*i,
    0.609451157797252 + 0.0*i,
    0.382485435312075 + 0.0*i,
    0.486262072287684 + 0.0*i,
    0.0143060286178178 + 0.0*i,
    0.690610300441866 + 0.0*i,
    0.0320535176842224 + 0.0*i,
    -0.00294037838789837 + 0.0*i,
    0.93203261389888 + 0.0*i,
    -0.848501787059265 + 0.0*i,
    0.34815572448336 + 0.0*i,
    -0.726710439974585 + 0.0*i,
    -0.331227405800171 + 0.0*i,
    -0.0210880661720095 + 0.0*i,
    0.380131706719027 + 0.0*i,
    -0.00939614465414815 + 0.0*i,
    -0.654185030750297 + 0.0*i,
    -0.364392968899788 + 0.0*i,
    0.41130056684093 + 0.0*i,
    0.0269244382039498 + 0.0*i,
    0.427727648578497 + 0.0*i,
    -0.662459514761028 + 0.0*i,
    -0.379540960416175 + 0.0*i,
    0.711273953199377 + 0.0*i,
    -0.264602966119147 + 0.0*i,
    -0.220726322677914 + 0.0*i,
    0.254411737097132 + 0.0*i,
    -0.534128845155423 + 0.0*i,
    -0.565771326841085 + 0.0*i,
    -0.341478692820672 + 0.0*i,
    -0.0721568853667575 + 0.0*i,
    0.422224913459818 + 0.0*i,
    -0.637690501305204 + 0.0*i,
    -0.196560157502597 + 0.0*i,
    -0.690216868037368 + 0.0*i,
    -0.0612143885208033 + 0.0*i,
    -0.621666403447375 + 0.0*i,
    1.11050829245928 + 0.0*i,
    0.867268507198521 + 0.0*i,
    0.225088950834618 + 0.0*i,
    -0.604955477561162 + 0.0*i,
    -0.172242386835684 + 0.0*i,
    0.77596139505543 + 0.0*i,
    -0.608498669978185 + 0.0*i,
    0.58515745735652 + 0.0*i,
    1.27966802053015 + 0.0*i,
    -0.285408679688109 + 0.0*i,
    0.0571715703387903 + 0.0*i,
    0.880920667244517 + 0.0*i,
    0.600863044608399 + 0.0*i,
    0.69578350714317 + 0.0*i,
    0.969712478427257 + 0.0*i,
    -0.0486365235764167 + 0.0*i,
    -0.640134462150361 + 0.0*i,
    0.908467270507667 + 0.0*i,
    0.190782210608038 + 0.0*i,
    -0.0265124143029772 + 0.0*i,
    0.336216805747461 + 0.0*i,
    0.152930234115721 + 0.0*i,
    -0.541943095698155 + 0.0*i,
    -0.372209936106837 + 0.0*i,
    -0.814447705003111 + 0.0*i,
    -0.0395760727416828 + 0.0*i,
    -0.158641811500198 + 0.0*i,
    -0.198032154463367 + 0.0*i,
    -0.128951650913746 + 0.0*i,
    0.321502679123051 + 0.0*i,
    0.618624452722824 + 0.0*i,
    -0.345903797467155 + 0.0*i,
    0.331054071991446 + 0.0*i,
    -0.610476147976102 + 0.0*i,
    -0.513068464531589 + 0.0*i,
    0.174146304516887 + 0.0*i,
    0.679848637922122 + 0.0*i,
    -0.0291630313532458 + 0.0*i,
    0.598067208121665 + 0.0*i,
    0.460898189016391 + 0.0*i,
    -0.2841663391315 + 0.0*i,
    -0.317051276929047 + 0.0*i,
    0.55171946953561 + 0.0*i,
    -0.12199135056987 + 0.0*i,
    -0.327004711134158 + 0.0*i,
    0.266561084168554 + 0.0*i,
    0.211334508366406 + 0.0*i,
    0.313220096063374 + 0.0*i,
    -0.136912057698421 + 0.0*i,
    -0.870728187480335 + 0.0*i,
    -0.70085626618856 + 0.0*i,
    0.780444246977384 + 0.0*i,
    0.11540334642242 + 0.0*i,
    1.16865381244952 + 0.0*i,
    -0.104388921128329 + 0.0*i,
    -0.305853392903801 + 0.0*i,
    -0.0674698929829843 + 0.0*i,
    -0.497617839837382 + 0.0*i,
    0.222070843336181 + 0.0*i,
    0.747774076109685 + 0.0*i,
    -0.243481426879021 + 0.0*i,
    0.235246302391895 + 0.0*i
]);