V:=Matrix(CC,4,99,[
    0.162502876319521 + 0.0*i,
    0.314564159101741 + 0.0*i,
    -0.260768024762949 + 0.0*i,
    0.160358804514927 + 0.0*i,
    0.225338856766485 + 0.0*i,
    -0.121716128395828 + 0.0*i,
    0.00815171407683871 + 0.0*i,
    0.334592768995153 + 0.0*i,
    -0.325899106444331 + 0.0*i,
    -0.230374559365925 + 0.0*i,
    -0.0794518455285629 + 0.0*i,
    -0.394843462304497 + 0.0*i,
    -0.28528357128466 + 0.0*i,
    -0.00501453490905821 + 0.0*i,
    0.0531701498614567 + 0.0*i,
    -0.0813243127562148 + 0.0*i,
    0.191318839359571 + 0.0*i,
    -0.0422800904458703 + 0.0*i,
    -0.000364839721454176 + 0.0*i,
    -0.256813737702134 + 0.0*i,
    0.179522995225767 + 0.0*i,
    -0.16047780516955 + 0.0*i,
    0.236628619072054 + 0.0*i,
    0.366011826949618 + 0.0*i,
    0.0169207166168632 + 0.0*i,
    -0.445405465829417 + 0.0*i,
    -0.0665256456456243 + 0.0*i,
    -0.365137304892655 + 0.0*i,
    0.164345631543842 + 0.0*i,
    0.201123682872173 + 0.0*i,
    0.216787220937501 + 0.0*i,
    -0.249954196946504 + 0.0*i,
    0.0343884873434698 + 0.0*i,
    -0.374195136249949 + 0.0*i,
    -0.191815276921408 + 0.0*i,
    -0.0295942357145884 + 0.0*i,
    0.110412647824073 + 0.0*i,
    -0.127927705273126 + 0.0*i,
    0.0962983597625319 + 0.0*i,
    -0.417177716494245 + 0.0*i,
    -0.147425345753504 + 0.0*i,
    0.12709323356609 + 0.0*i,
    0.109067666353248 + 0.0*i,
    -0.385178536447389 + 0.0*i,
    0.0336923530337261 + 0.0*i,
    0.292143157624004 + 0.0*i,
    0.126462276952691 + 0.0*i,
    0.0856192514391966 + 0.0*i,
    -0.209415698327643 + 0.0*i,
    -0.320163314149859 + 0.0*i,
    0.283323573389996 + 0.0*i,
    -0.418882009206738 + 0.0*i,
    0.166573017165003 + 0.0*i,
    0.290870304009025 + 0.0*i,
    -0.322267662983506 + 0.0*i,
    -0.127206084778358 + 0.0*i,
    -0.380967291691258 + 0.0*i,
    -0.293848389422268 + 0.0*i,
    0.0411169156850368 + 0.0*i,
    -0.284903470315877 + 0.0*i,
    0.204696669256117 + 0.0*i,
    -0.447713630390089 + 0.0*i,
    0.192976465571688 + 0.0*i,
    0.112059419427265 + 0.0*i,
    0.0567994163293817 + 0.0*i,
    0.290389064823064 + 0.0*i,
    -0.275752287507814 + 0.0*i,
    -0.14532933883729 + 0.0*i,
    -0.315670510918972 + 0.0*i,
    0.13978100019549 + 0.0*i,
    0.110623577401336 + 0.0*i,
    0.1926174485341 + 0.0*i,
    -0.130438316053291 + 0.0*i,
    0.0466479263677636 + 0.0*i,
    0.00545153760755328 + 0.0*i,
    0.380592792693259 + 0.0*i,
    -0.263709377324066 + 0.0*i,
    0.129564019085066 + 0.0*i,
    0.0979302348870847 + 0.0*i,
    -0.144590488143536 + 0.0*i,
    0.335523199756052 + 0.0*i,
    0.0812591548178936 + 0.0*i,
    -0.332800433082077 + 0.0*i,
    -0.289132226501929 + 0.0*i,
    0.19584307130718 + 0.0*i,
    -0.0209345449331191 + 0.0*i,
    -0.20418018234406 + 0.0*i,
    0.392398856805182 + 0.0*i,
    0.0911931471242785 + 0.0*i,
    0.207963955746532 + 0.0*i,
    -0.0745812803882821 + 0.0*i,
    0.121928488281314 + 0.0*i,
    -0.0177910930923489 + 0.0*i,
    0.443943902550365 + 0.0*i,
    0.379268230305435 + 0.0*i,
    -0.27865683281636 + 0.0*i,
    -0.0443414549440758 + 0.0*i,
    0.242397629673473 + 0.0*i,
    -0.00571885389470721 + 0.0*i,
    0.177865782445368 + 0.0*i,
    0.00169627551252304 + 0.0*i,
    0.24001951886876 + 0.0*i,
    -0.166547005821757 + 0.0*i,
    -0.402243220879386 + 0.0*i,
    -0.242979318437147 + 0.0*i,
    -0.167289514002237 + 0.0*i,
    0.189188391013453 + 0.0*i,
    -0.259732862304611 + 0.0*i,
    -0.152246377810935 + 0.0*i,
    -0.383376184073896 + 0.0*i,
    0.0923812003988468 + 0.0*i,
    -0.216383635534106 + 0.0*i,
    -0.230885197845502 + 0.0*i,
    0.0115371491367688 + 0.0*i,
    -0.0893534892310141 + 0.0*i,
    -0.187053829925666 + 0.0*i,
    0.314616432745642 + 0.0*i,
    0.0584203402539162 + 0.0*i,
    0.114314707907595 + 0.0*i,
    0.00604170203793522 + 0.0*i,
    0.218201533265865 + 0.0*i,
    0.0304504779652771 + 0.0*i,
    -0.174649276650151 + 0.0*i,
    0.442007453834713 + 0.0*i,
    0.0725659315168109 + 0.0*i,
    -0.157362861124375 + 0.0*i,
    0.000966018931296487 + 0.0*i,
    0.103270698803522 + 0.0*i,
    0.036401564241641 + 0.0*i,
    0.388146392618832 + 0.0*i,
    0.0446454558975399 + 0.0*i,
    0.227880365302125 + 0.0*i,
    -0.0446514848701723 + 0.0*i,
    0.399577738804009 + 0.0*i,
    -0.457857272892998 + 0.0*i,
    0.10201132929342 + 0.0*i,
    -0.325949188139895 + 0.0*i,
    0.185613396385226 + 0.0*i,
    -0.112168196876267 + 0.0*i,
    -0.329048030242337 + 0.0*i,
    -0.380775076619083 + 0.0*i,
    0.324311162274346 + 0.0*i,
    0.270628122859262 + 0.0*i,
    -0.447595579891474 + 0.0*i,
    -0.00696463273274902 + 0.0*i,
    -0.138080124299258 + 0.0*i,
    0.182490511682475 + 0.0*i,
    -0.39540296010883 + 0.0*i,
    0.0329502159031799 + 0.0*i,
    -0.00386114625071264 + 0.0*i,
    0.124240098748615 + 0.0*i,
    -0.047594292467301 + 0.0*i,
    0.207344916883144 + 0.0*i,
    0.214076640159589 + 0.0*i,
    0.18975364698444 + 0.0*i,
    -0.220178156729637 + 0.0*i,
    -0.105766591645505 + 0.0*i,
    0.32557518935095 + 0.0*i,
    0.280253333139849 + 0.0*i,
    -0.36230700995412 + 0.0*i,
    -0.0267964718576277 + 0.0*i,
    -0.245386271332838 + 0.0*i,
    0.37899765646357 + 0.0*i,
    -0.353496845627585 + 0.0*i,
    -0.231078531745212 + 0.0*i,
    0.322989639351281 + 0.0*i,
    0.068176599964278 + 0.0*i,
    0.124670333208977 + 0.0*i,
    -0.0167108260006077 + 0.0*i,
    -0.195374691782739 + 0.0*i,
    0.347207027110503 + 0.0*i,
    0.0573538478103641 + 0.0*i,
    -0.334257610073105 + 0.0*i,
    -0.0230938264017912 + 0.0*i,
    0.263719064078729 + 0.0*i,
    -0.35098250167913 + 0.0*i,
    -0.365355739280676 + 0.0*i,
    -0.354228805378862 + 0.0*i,
    0.276783242619724 + 0.0*i,
    0.195003831348734 + 0.0*i,
    -0.215729301727341 + 0.0*i,
    0.00888228510991873 + 0.0*i,
    0.250701852289487 + 0.0*i,
    -0.142683575459933 + 0.0*i,
    -0.0146539417641269 + 0.0*i,
    -0.36947891749286 + 0.0*i,
    -0.169309473218803 + 0.0*i,
    -0.00567963038879198 + 0.0*i,
    0.194080642802202 + 0.0*i,
    0.221170118989123 + 0.0*i,
    0.197012337744787 + 0.0*i,
    0.151317722267413 + 0.0*i,
    0.0789614452013578 + 0.0*i,
    0.0365691320512322 + 0.0*i,
    -0.213955452340683 + 0.0*i,
    0.395681990927709 + 0.0*i,
    0.205922843603506 + 0.0*i,
    -0.305472116993316 + 0.0*i,
    0.0377876198743805 + 0.0*i,
    0.16242264646741 + 0.0*i,
    -0.0791440505955115 + 0.0*i,
    0.384405116781018 + 0.0*i,
    0.0687240388701442 + 0.0*i,
    0.377133522861168 + 0.0*i,
    -0.427994431968477 + 0.0*i,
    0.0415515925246215 + 0.0*i,
    -0.044226182308022 + 0.0*i,
    -0.0958649694657511 + 0.0*i,
    0.240634269969105 + 0.0*i,
    0.11534573840692 + 0.0*i,
    -0.259754834045124 + 0.0*i,
    -0.329047264156479 + 0.0*i,
    -0.367387893216916 + 0.0*i,
    0.213884374310527 + 0.0*i,
    0.013149958163812 + 0.0*i,
    -0.213096688209285 + 0.0*i,
    -0.449490378618762 + 0.0*i,
    -0.357625261155785 + 0.0*i,
    0.360379546776676 + 0.0*i,
    -0.23619113613996 + 0.0*i,
    0.382588449608826 + 0.0*i,
    0.0725131624800314 + 0.0*i,
    0.12738995059722 + 0.0*i,
    0.112525907418591 + 0.0*i,
    -0.247053546521459 + 0.0*i,
    0.284592043763825 + 0.0*i,
    0.41588600794038 + 0.0*i,
    -0.41564261956142 + 0.0*i,
    0.115702279627721 + 0.0*i,
    0.0417632291781953 + 0.0*i,
    -0.0198026156557227 + 0.0*i,
    -0.259216259484611 + 0.0*i,
    0.147400618296012 + 0.0*i,
    0.0303286628281079 + 0.0*i,
    -0.182873561314249 + 0.0*i,
    0.120237909634267 + 0.0*i,
    0.38653516286917 + 0.0*i,
    0.132524479029758 + 0.0*i,
    -0.304147399567902 + 0.0*i,
    0.0213937975766117 + 0.0*i,
    0.216168337727918 + 0.0*i,
    0.015313705676081 + 0.0*i,
    0.0698614700402089 + 0.0*i,
    -0.0713449602240001 + 0.0*i,
    -0.195506402806333 + 0.0*i,
    -0.355547277835243 + 0.0*i,
    0.0576106971930486 + 0.0*i,
    -0.29658473117399 + 0.0*i,
    -0.299357247250736 + 0.0*i,
    -0.169330207347214 + 0.0*i,
    -0.268501126139116 + 0.0*i,
    -0.161938085743509 + 0.0*i,
    0.261961167594363 + 0.0*i,
    0.342320409917181 + 0.0*i,
    0.14021220275438 + 0.0*i,
    0.309635514942327 + 0.0*i,
    0.0978194732045421 + 0.0*i,
    -0.231129243662397 + 0.0*i,
    0.0571422865004411 + 0.0*i,
    -0.0621636412375387 + 0.0*i,
    -0.152858079610109 + 0.0*i,
    0.00476767968648584 + 0.0*i,
    0.276872621860398 + 0.0*i,
    0.244727058599059 + 0.0*i,
    0.125544177824405 + 0.0*i,
    0.400834046740507 + 0.0*i,
    0.24434964105394 + 0.0*i,
    0.146610541713702 + 0.0*i,
    0.297350360789109 + 0.0*i,
    -0.211604077729693 + 0.0*i,
    -0.21521877824238 + 0.0*i,
    -0.299651156829414 + 0.0*i,
    0.453650331373106 + 0.0*i,
    0.0610939969807346 + 0.0*i,
    0.121190385982452 + 0.0*i,
    0.239432122097029 + 0.0*i,
    -0.115903977465772 + 0.0*i,
    0.336321677743997 + 0.0*i,
    0.251184987670725 + 0.0*i,
    0.0596574600880341 + 0.0*i,
    -0.185344584650047 + 0.0*i,
    0.184451496811085 + 0.0*i,
    -0.384019762364179 + 0.0*i,
    -0.0234060636939254 + 0.0*i,
    -0.102541039124156 + 0.0*i,
    0.00747613438139945 + 0.0*i,
    0.351927165562939 + 0.0*i,
    0.249352528270821 + 0.0*i,
    -0.396382181423287 + 0.0*i,
    -0.339210859750943 + 0.0*i,
    0.167167057007249 + 0.0*i,
    0.0588732014321885 + 0.0*i,
    -0.105519680792291 + 0.0*i,
    0.29367433821625 + 0.0*i,
    0.189828684790403 + 0.0*i,
    -0.146014763804557 + 0.0*i,
    0.179539179013621 + 0.0*i,
    -0.397817225959805 + 0.0*i,
    -0.299898392294545 + 0.0*i,
    -0.293317863221077 + 0.0*i,
    -0.123669588203775 + 0.0*i,
    0.0490455622594634 + 0.0*i,
    -0.0168246512028573 + 0.0*i,
    0.0146568011383862 + 0.0*i,
    -0.25927359010469 + 0.0*i,
    -0.206710904084798 + 0.0*i,
    -0.369264694768694 + 0.0*i,
    0.0724957544905789 + 0.0*i,
    0.191158437012349 + 0.0*i,
    -0.160122824495598 + 0.0*i,
    0.248198579473064 + 0.0*i,
    -0.282584604966895 + 0.0*i,
    -0.398901048509986 + 0.0*i,
    -0.382344099214212 + 0.0*i,
    -0.252016357193313 + 0.0*i,
    0.0950479567052463 + 0.0*i,
    -0.0504400067849796 + 0.0*i,
    0.233773936780809 + 0.0*i,
    0.304211437515252 + 0.0*i,
    0.0491016747571349 + 0.0*i,
    -0.224064163664162 + 0.0*i,
    0.0550918919819684 + 0.0*i,
    -0.0391133570394934 + 0.0*i,
    -0.364082614021536 + 0.0*i,
    0.0124998461894603 + 0.0*i,
    -0.0908565041926589 + 0.0*i,
    -0.0340188075689346 + 0.0*i,
    0.0603141110627388 + 0.0*i,
    -0.397541867390372 + 0.0*i,
    0.407263416142256 + 0.0*i,
    -0.0682845703289834 + 0.0*i,
    0.0604866503258 + 0.0*i,
    0.0952269531301793 + 0.0*i,
    -0.409599716712515 + 0.0*i,
    0.293678020025078 + 0.0*i,
    0.151452662339387 + 0.0*i,
    0.104803233564077 + 0.0*i,
    0.0466767107342058 + 0.0*i,
    0.236223362626062 + 0.0*i,
    0.237798877407727 + 0.0*i,
    0.0261048324089355 + 0.0*i,
    -0.110716788003585 + 0.0*i,
    -0.362272109558629 + 0.0*i,
    -0.387058328378698 + 0.0*i,
    0.231921724376561 + 0.0*i,
    -0.0511559504920106 + 0.0*i,
    0.169998608217506 + 0.0*i,
    -0.231064452346266 + 0.0*i,
    -0.00893314411168468 + 0.0*i,
    0.330319073478502 + 0.0*i,
    -0.261687654080643 + 0.0*i,
    -0.00355074387943238 + 0.0*i,
    0.223655420033347 + 0.0*i,
    -0.0770257443609987 + 0.0*i,
    -0.16561757164441 + 0.0*i,
    -0.310683579361393 + 0.0*i,
    0.10246562185912 + 0.0*i,
    -0.218667301297081 + 0.0*i,
    0.127361714114721 + 0.0*i,
    0.316071713791865 + 0.0*i,
    0.253515717097648 + 0.0*i,
    -0.12919834009988 + 0.0*i,
    0.151729495235997 + 0.0*i,
    -0.136759152651912 + 0.0*i,
    -0.185238223986929 + 0.0*i,
    -0.207003107497268 + 0.0*i,
    -0.421791612213016 + 0.0*i,
    0.272806937179154 + 0.0*i,
    0.13628722290406 + 0.0*i,
    -0.388473739243945 + 0.0*i,
    -0.101638833719636 + 0.0*i,
    0.103737754192705 + 0.0*i,
    -0.0397453322246315 + 0.0*i,
    0.100206722117608 + 0.0*i,
    0.0666145639192747 + 0.0*i,
    -0.273881308541181 + 0.0*i,
    -0.0952767089685781 + 0.0*i,
    -0.0790553268447153 + 0.0*i,
    0.403431255536591 + 0.0*i,
    -0.281409490008234 + 0.0*i,
    0.200726186848096 + 0.0*i,
    -0.0453329298727581 + 0.0*i,
    -0.470890071455237 + 0.0*i,
    0.180921005568886 + 0.0*i,
    0.190856763112973 + 0.0*i,
    -0.304778208839112 + 0.0*i,
    -0.277368975054568 + 0.0*i,
    -0.0837982881632275 + 0.0*i,
    -0.229019436479064 + 0.0*i,
    -0.405737742558373 + 0.0*i,
    0.118767088386686 + 0.0*i,
    0.247434833488315 + 0.0*i,
    0.0600761524863076 + 0.0*i,
    -0.156629416052861 + 0.0*i,
    0.317835279861628 + 0.0*i,
    -0.296135068697632 + 0.0*i
]);