V:=Matrix(CC,4,57,[
    -0.504839566559443 + 0.0*i,
    -1.07577185964422 + 0.0*i,
    -0.185532977622995 + 0.0*i,
    0.85378236265709 + 0.0*i,
    0.331739844963567 + 0.0*i,
    -0.901233124903194 + 0.0*i,
    1.05482274614007 + 0.0*i,
    0.368662806747124 + 0.0*i,
    -0.539836762348042 + 0.0*i,
    0.523743830608972 + 0.0*i,
    0.562912245516208 + 0.0*i,
    -0.394551480113049 + 0.0*i,
    0.311083831147895 + 0.0*i,
    -0.45336923625486 + 0.0*i,
    -0.428292054826493 + 0.0*i,
    -0.423072113810187 + 0.0*i,
    0.377891779592919 + 0.0*i,
    0.238796311914037 + 0.0*i,
    -0.18771165610046 + 0.0*i,
    -0.19002422672584 + 0.0*i,
    0.209601137955514 + 0.0*i,
    0.771833760249034 + 0.0*i,
    -0.219288740724447 + 0.0*i,
    -0.246185264305796 + 0.0*i,
    -0.691771463162317 + 0.0*i,
    -0.870368991474778 + 0.0*i,
    0.513970228627933 + 0.0*i,
    -1.07680688603584 + 0.0*i,
    0.0951738525322315 + 0.0*i,
    -0.319771545594063 + 0.0*i,
    0.532659239181708 + 0.0*i,
    -0.644320139706299 + 0.0*i,
    -0.0599809654240555 + 0.0*i,
    -0.401014342144115 + 0.0*i,
    0.00351927096605823 + 0.0*i,
    0.542766062431322 + 0.0*i,
    0.0499680157043873 + 0.0*i,
    -0.436667446907126 + 0.0*i,
    0.384784916370288 + 0.0*i,
    -0.540916245055276 + 0.0*i,
    -0.0557477308935661 + 0.0*i,
    -0.0173858438709724 + 0.0*i,
    0.393941363726029 + 0.0*i,
    -0.142061780423297 + 0.0*i,
    -0.503755222960509 + 0.0*i,
    0.096366353668293 + 0.0*i,
    -0.368847727651354 + 0.0*i,
    0.336236960825458 + 0.0*i,
    -0.677494835050657 + 0.0*i,
    -0.100921083953284 + 0.0*i,
    -0.925930096647151 + 0.0*i,
    -0.446711570942874 + 0.0*i,
    -0.0167351526051642 + 0.0*i,
    -0.63493074798885 + 0.0*i,
    0.356216091980714 + 0.0*i,
    -0.17497874924198 + 0.0*i,
    -0.166629415139127 + 0.0*i,
    0.564281522615387 + 0.0*i,
    0.106139895272904 + 0.0*i,
    -0.147244214687439 + 0.0*i,
    0.421361906752702 + 0.0*i,
    0.505115614431801 + 0.0*i,
    0.695988772409425 + 0.0*i,
    0.328597298294655 + 0.0*i,
    0.438041724088469 + 0.0*i,
    -0.943352827219142 + 0.0*i,
    -0.133085602536872 + 0.0*i,
    0.908683619682537 + 0.0*i,
    0.447221178080445 + 0.0*i,
    -0.562805737839392 + 0.0*i,
    0.424338395104217 + 0.0*i,
    0.424203541886384 + 0.0*i,
    0.271927990282737 + 0.0*i,
    0.96524731025585 + 0.0*i,
    0.425235941605745 + 0.0*i,
    -0.10824613717269 + 0.0*i,
    -0.270809179206729 + 0.0*i,
    1.01596314300146 + 0.0*i,
    -0.579350834915829 + 0.0*i,
    -0.390200970072927 + 0.0*i,
    -0.444429748481705 + 0.0*i,
    -0.17002798950197 + 0.0*i,
    -0.398475868697076 + 0.0*i,
    -0.166412192032297 + 0.0*i,
    0.120082250959432 + 0.0*i,
    0.521163131035921 + 0.0*i,
    -0.670336364502206 + 0.0*i,
    -0.0844361307452311 + 0.0*i,
    -0.38811252609138 + 0.0*i,
    -0.760245510684578 + 0.0*i,
    -0.872223014181333 + 0.0*i,
    0.491472780506515 + 0.0*i,
    -0.0664102827742133 + 0.0*i,
    0.127722405128132 + 0.0*i,
    -0.294806521305589 + 0.0*i,
    -0.356587224090205 + 0.0*i,
    0.218818671624239 + 0.0*i,
    -0.00507491331998382 + 0.0*i,
    -0.121637061766272 + 0.0*i,
    -0.105017035927446 + 0.0*i,
    0.733232167860944 + 0.0*i,
    -0.757412807920518 + 0.0*i,
    0.11944411384422 + 0.0*i,
    0.905663924058589 + 0.0*i,
    -0.961479298679738 + 0.0*i,
    -0.373820593287986 + 0.0*i,
    -0.299605513952657 + 0.0*i,
    0.648225280198529 + 0.0*i,
    0.898702661533621 + 0.0*i,
    -0.749287994389397 + 0.0*i,
    0.493825357990536 + 0.0*i,
    -0.0026419838576491 + 0.0*i,
    -0.202495425293235 + 0.0*i,
    0.240906914740414 + 0.0*i,
    -0.640755624641473 + 0.0*i,
    -0.527788012655544 + 0.0*i,
    -0.826555095604655 + 0.0*i,
    -0.0905869809711198 + 0.0*i,
    0.538196025000736 + 0.0*i,
    0.0282767197976351 + 0.0*i,
    -0.41570166032318 + 0.0*i,
    -0.691856734450734 + 0.0*i,
    -0.152305182715569 + 0.0*i,
    -0.098975610839014 + 0.0*i,
    0.754694773066535 + 0.0*i,
    -0.145595846779162 + 0.0*i,
    0.578296738658945 + 0.0*i,
    -0.693892439477328 + 0.0*i,
    0.249027194960928 + 0.0*i,
    0.881748019154241 + 0.0*i,
    -0.2558391693889 + 0.0*i,
    0.993575420180333 + 0.0*i,
    0.379568017865002 + 0.0*i,
    -0.304309243736573 + 0.0*i,
    -0.0519533332930473 + 0.0*i,
    -0.158895462176026 + 0.0*i,
    0.477497282163103 + 0.0*i,
    -0.321727549273169 + 0.0*i,
    -0.258730960301044 + 0.0*i,
    0.804017906522592 + 0.0*i,
    0.166944425378407 + 0.0*i,
    0.0092034020170504 + 0.0*i,
    -0.609555703445561 + 0.0*i,
    0.323112644937524 + 0.0*i,
    -0.229683997245639 + 0.0*i,
    -0.0479275090620212 + 0.0*i,
    0.0424232613699801 + 0.0*i,
    -0.439540386250554 + 0.0*i,
    0.181321581402544 + 0.0*i,
    -0.415711221835279 + 0.0*i,
    0.278247188002023 + 0.0*i,
    0.16403415020192 + 0.0*i,
    -0.617742440026279 + 0.0*i,
    0.283642437215365 + 0.0*i,
    -0.263736064912706 + 0.0*i,
    0.396181478079133 + 0.0*i,
    0.0192345167152804 + 0.0*i,
    -0.392282382079436 + 0.0*i,
    0.040432988974964 + 0.0*i,
    0.577511802156391 + 0.0*i,
    -0.287808028727484 + 0.0*i,
    -0.655475497052637 + 0.0*i,
    -0.710355666187734 + 0.0*i,
    -1.04369301913554 + 0.0*i,
    0.559607570918202 + 0.0*i,
    0.463043455207473 + 0.0*i,
    1.11502085651553 + 0.0*i,
    -0.761947900034591 + 0.0*i,
    0.0423240970428196 + 0.0*i,
    0.241924440849476 + 0.0*i,
    -0.225047188465791 + 0.0*i,
    0.796142147537673 + 0.0*i,
    0.395936167205356 + 0.0*i,
    -0.103435517889816 + 0.0*i,
    -0.0535518468056374 + 0.0*i,
    -0.178467557466851 + 0.0*i,
    0.367500403344829 + 0.0*i,
    -0.493514750478049 + 0.0*i,
    -0.925362677476321 + 0.0*i,
    -0.798334781445353 + 0.0*i,
    -1.13031362228661 + 0.0*i,
    -0.394904081022915 + 0.0*i,
    0.420517812413895 + 0.0*i,
    -0.0141037637818615 + 0.0*i,
    0.137537913811136 + 0.0*i,
    -0.7315593759354 + 0.0*i,
    0.0333906231650834 + 0.0*i,
    -0.131804739623136 + 0.0*i,
    0.353607951980789 + 0.0*i,
    0.398842186378527 + 0.0*i,
    0.0881641328515443 + 0.0*i,
    -0.196309164216183 + 0.0*i,
    -0.471041461259723 + 0.0*i,
    -0.494827674277347 + 0.0*i,
    0.931149821593734 + 0.0*i,
    0.309021735736093 + 0.0*i,
    -0.461085011492306 + 0.0*i,
    0.216748381816683 + 0.0*i,
    -0.529692033940093 + 0.0*i,
    0.380414375347078 + 0.0*i,
    0.211286738236666 + 0.0*i,
    0.61224603598418 + 0.0*i,
    -0.0900809155998175 + 0.0*i,
    0.684111755578158 + 0.0*i,
    0.234160137473651 + 0.0*i,
    0.176816414703455 + 0.0*i,
    -0.294707876511019 + 0.0*i,
    -0.340611641385781 + 0.0*i,
    0.100308806451192 + 0.0*i,
    0.105563861648471 + 0.0*i,
    -0.490931485432167 + 0.0*i,
    0.117025404091668 + 0.0*i,
    -0.294387457111772 + 0.0*i,
    0.00663069413202459 + 0.0*i,
    0.525003878388104 + 0.0*i,
    0.209777423465029 + 0.0*i,
    0.893705948736044 + 0.0*i,
    0.0422148844100119 + 0.0*i,
    -0.409334459393837 + 0.0*i,
    -0.152652016710867 + 0.0*i,
    0.661731133719916 + 0.0*i,
    -0.154777987079171 + 0.0*i,
    -0.566709769183362 + 0.0*i,
    0.0363730688410607 + 0.0*i,
    -0.717448610879708 + 0.0*i,
    1.23317221216066 + 0.0*i,
    -0.614209973068786 + 0.0*i,
    0.00665042596842298 + 0.0*i
]);