V:=Matrix(CC,4,115,[
    -0.127396618617422 + 0.0*i,
    0.135504525944853 + 0.0*i,
    -0.431739753942654 + 0.0*i,
    0.361237660720929 + 0.0*i,
    -0.0976654173535074 + 0.0*i,
    0.228228821222629 + 0.0*i,
    0.28481362061743 + 0.0*i,
    0.249118789988371 + 0.0*i,
    0.230686317726406 + 0.0*i,
    0.335649819198908 + 0.0*i,
    0.22076152687474 + 0.0*i,
    0.000540929768485797 + 0.0*i,
    0.249785342951887 + 0.0*i,
    -0.137045016018246 + 0.0*i,
    0.0282283340720477 + 0.0*i,
    -0.0212388451091779 + 0.0*i,
    -0.0445443654182561 + 0.0*i,
    -0.214776604094001 + 0.0*i,
    0.0372409423036263 + 0.0*i,
    0.220243773639186 + 0.0*i,
    -0.114764951288737 + 0.0*i,
    -0.238892093590538 + 0.0*i,
    -0.369159477333308 + 0.0*i,
    -0.251319295571795 + 0.0*i,
    -0.125223254302942 + 0.0*i,
    -0.17996472018301 + 0.0*i,
    0.25365393157578 + 0.0*i,
    0.108408711365493 + 0.0*i,
    0.277651983490381 + 0.0*i,
    0.317597079713753 + 0.0*i,
    -0.355657122138569 + 0.0*i,
    0.154535778133333 + 0.0*i,
    0.250464073966889 + 0.0*i,
    0.317633742176158 + 0.0*i,
    0.365437544744993 + 0.0*i,
    0.22856267223255 + 0.0*i,
    0.0178670659253371 + 0.0*i,
    0.112445804952517 + 0.0*i,
    -0.412585344001008 + 0.0*i,
    -0.215950116429494 + 0.0*i,
    0.161350321565876 + 0.0*i,
    -0.432152250290636 + 0.0*i,
    -0.253228085649972 + 0.0*i,
    -0.28622225480094 + 0.0*i,
    -0.0318883536464928 + 0.0*i,
    0.153621086500161 + 0.0*i,
    0.0718083941285564 + 0.0*i,
    -0.409104725456203 + 0.0*i,
    -0.0570503674169215 + 0.0*i,
    0.26811507696673 + 0.0*i,
    -0.386978352324577 + 0.0*i,
    0.119361538489136 + 0.0*i,
    -0.066015572205174 + 0.0*i,
    -0.322502092599352 + 0.0*i,
    -0.120527870494059 + 0.0*i,
    0.0609590959628205 + 0.0*i,
    0.0813878798773302 + 0.0*i,
    -0.0112696209217047 + 0.0*i,
    -0.405657172103375 + 0.0*i,
    0.309054049999364 + 0.0*i,
    0.440814128060964 + 0.0*i,
    -0.118203901128348 + 0.0*i,
    0.02833797779945 + 0.0*i,
    -0.335753429809068 + 0.0*i,
    0.355208598581134 + 0.0*i,
    -0.0723623879436843 + 0.0*i,
    -0.21765509785786 + 0.0*i,
    -0.159866685941651 + 0.0*i,
    0.0971582141704114 + 0.0*i,
    0.133766133677966 + 0.0*i,
    0.279863868636052 + 0.0*i,
    0.0308841215866169 + 0.0*i,
    -0.287785901650539 + 0.0*i,
    0.1276776135159 + 0.0*i,
    -0.140260107880086 + 0.0*i,
    0.159415065317014 + 0.0*i,
    -0.00684103250350807 + 0.0*i,
    0.338929367637436 + 0.0*i,
    0.0426500705552569 + 0.0*i,
    -0.398204249895151 + 0.0*i,
    0.0772798149115627 + 0.0*i,
    0.0483072553676123 + 0.0*i,
    0.0900741118526262 + 0.0*i,
    -0.359668180133229 + 0.0*i,
    -0.170209285148498 + 0.0*i,
    -0.21717790666133 + 0.0*i,
    0.157618919821246 + 0.0*i,
    -0.142688183881494 + 0.0*i,
    -0.367705949936104 + 0.0*i,
    0.0345090166469038 + 0.0*i,
    0.398112257074859 + 0.0*i,
    -0.0488796415062244 + 0.0*i,
    -0.00224854305451897 + 0.0*i,
    0.219882537489814 + 0.0*i,
    -0.0678889777264806 + 0.0*i,
    0.143327603881083 + 0.0*i,
    0.282836273017398 + 0.0*i,
    -0.323337292653641 + 0.0*i,
    -0.191503263630136 + 0.0*i,
    0.128965023340842 + 0.0*i,
    0.25403709004604 + 0.0*i,
    0.0231217220743273 + 0.0*i,
    0.00298447426400222 + 0.0*i,
    -0.0937941274515195 + 0.0*i,
    -0.166292140846724 + 0.0*i,
    -0.452000861383578 + 0.0*i,
    0.118463700265039 + 0.0*i,
    -0.296334797178301 + 0.0*i,
    -0.206398863978405 + 0.0*i,
    -0.325198185719406 + 0.0*i,
    -0.127516786273515 + 0.0*i,
    0.232843501903277 + 0.0*i,
    0.114893928990897 + 0.0*i,
    -0.279857682131864 + 0.0*i,
    -0.271089724486091 + 0.0*i,
    -0.113983386819082 + 0.0*i,
    -0.133594954134575 + 0.0*i,
    0.0125785890280239 + 0.0*i,
    0.149966460049786 + 0.0*i,
    0.171557329943854 + 0.0*i,
    -0.386268198570788 + 0.0*i,
    0.310243852400416 + 0.0*i,
    0.0569578791220531 + 0.0*i,
    0.106963956169894 + 0.0*i,
    -0.0514322801193118 + 0.0*i,
    -0.266871574038262 + 0.0*i,
    0.234144379347859 + 0.0*i,
    -0.325984135157344 + 0.0*i,
    0.0684600956348759 + 0.0*i,
    -0.207749431817168 + 0.0*i,
    -0.251055071914716 + 0.0*i,
    0.0976276790362147 + 0.0*i,
    -0.0667299499197361 + 0.0*i,
    0.012875655673335 + 0.0*i,
    0.154940836218 + 0.0*i,
    -0.432834819846797 + 0.0*i,
    0.376996408788843 + 0.0*i,
    0.0225890374628731 + 0.0*i,
    0.184547537171263 + 0.0*i,
    0.206140401196725 + 0.0*i,
    0.0329578921685997 + 0.0*i,
    -0.14594621407821 + 0.0*i,
    0.340374718360575 + 0.0*i,
    0.0747968749543341 + 0.0*i,
    -0.155283661203128 + 0.0*i,
    0.174019853624634 + 0.0*i,
    0.429947789448545 + 0.0*i,
    -0.262167447091976 + 0.0*i,
    0.244131415471024 + 0.0*i,
    -0.283409218942846 + 0.0*i,
    0.223213077765904 + 0.0*i,
    -0.0222237721283736 + 0.0*i,
    0.290660590949888 + 0.0*i,
    -0.222211882244519 + 0.0*i,
    -0.160904517282476 + 0.0*i,
    -0.289015843063313 + 0.0*i,
    -0.0467743366375311 + 0.0*i,
    -0.0203515366930228 + 0.0*i,
    -0.34117911994862 + 0.0*i,
    0.382874157536951 + 0.0*i,
    0.0539219198023963 + 0.0*i,
    -0.402958496787819 + 0.0*i,
    -0.134057275537615 + 0.0*i,
    0.297859925339313 + 0.0*i,
    -0.0914435948546854 + 0.0*i,
    -0.0938277577999993 + 0.0*i,
    0.347062208215264 + 0.0*i,
    0.416493610552497 + 0.0*i,
    -0.198039021200394 + 0.0*i,
    -0.376849952211966 + 0.0*i,
    0.422607886076082 + 0.0*i,
    0.0844383060818506 + 0.0*i,
    -0.305164892408949 + 0.0*i,
    0.107277499522386 + 0.0*i,
    0.240820236738636 + 0.0*i,
    -0.104133506090856 + 0.0*i,
    0.388090596210769 + 0.0*i,
    -0.409053478962929 + 0.0*i,
    -0.0677157255138835 + 0.0*i,
    -0.014346768445224 + 0.0*i,
    0.458006240954261 + 0.0*i,
    0.287642385933515 + 0.0*i,
    0.109494104570556 + 0.0*i,
    -0.0855474640593142 + 0.0*i,
    0.231289421606162 + 0.0*i,
    0.193753372854627 + 0.0*i,
    0.151540497537715 + 0.0*i,
    -0.302194844928157 + 0.0*i,
    0.06209834232182 + 0.0*i,
    -0.378452234441818 + 0.0*i,
    0.297828589393121 + 0.0*i,
    -0.199130103466752 + 0.0*i,
    -0.0580439522662346 + 0.0*i,
    -0.253379287355701 + 0.0*i,
    0.192296775655704 + 0.0*i,
    -0.000626966314253427 + 0.0*i,
    0.131931141066852 + 0.0*i,
    0.327320496335466 + 0.0*i,
    0.190316838431485 + 0.0*i,
    -0.32369103317348 + 0.0*i,
    0.205009377512703 + 0.0*i,
    0.230708682930845 + 0.0*i,
    0.0493911973967848 + 0.0*i,
    0.204533098229377 + 0.0*i,
    0.235313628003559 + 0.0*i,
    0.131810389983762 + 0.0*i,
    0.279279158733855 + 0.0*i,
    0.0352292466294813 + 0.0*i,
    -0.0997242537427763 + 0.0*i,
    0.119708490300887 + 0.0*i,
    0.175631624021048 + 0.0*i,
    -0.266290174749556 + 0.0*i,
    -0.184953881746779 + 0.0*i,
    0.165376613617281 + 0.0*i,
    -0.313399075340556 + 0.0*i,
    -0.351368705314095 + 0.0*i,
    -0.405974484182852 + 0.0*i,
    0.117233341159118 + 0.0*i,
    -0.112153112361936 + 0.0*i,
    -0.138445716766914 + 0.0*i,
    -0.0107235857497007 + 0.0*i,
    0.0181256759963984 + 0.0*i,
    -0.0422262349616263 + 0.0*i,
    0.105820267446679 + 0.0*i,
    -0.0166006073439964 + 0.0*i,
    0.340910759022494 + 0.0*i,
    0.252654703583673 + 0.0*i,
    -0.288363013901565 + 0.0*i,
    0.0664812317296969 + 0.0*i,
    -0.355167049673671 + 0.0*i,
    0.351578669890444 + 0.0*i,
    -0.37736432163683 + 0.0*i,
    0.14557448333034 + 0.0*i,
    0.111096282001066 + 0.0*i,
    -0.418696885667766 + 0.0*i,
    -0.0583830901404368 + 0.0*i,
    0.037879725533013 + 0.0*i,
    -0.276496053473812 + 0.0*i,
    0.108171987869714 + 0.0*i,
    0.125394416305832 + 0.0*i,
    0.1579191166602 + 0.0*i,
    0.125332122257575 + 0.0*i,
    0.204153106944399 + 0.0*i,
    -0.207240457807953 + 0.0*i,
    0.29011006812672 + 0.0*i,
    -0.373126732740369 + 0.0*i,
    -0.382371252091404 + 0.0*i,
    0.087263735929831 + 0.0*i,
    0.176716424988744 + 0.0*i,
    0.156996472337549 + 0.0*i,
    0.0981071746924941 + 0.0*i,
    -0.0765074185979493 + 0.0*i,
    0.228587828773279 + 0.0*i,
    -0.305838588465576 + 0.0*i,
    -0.228799159927893 + 0.0*i,
    -0.230094665806683 + 0.0*i,
    -0.0192207420598831 + 0.0*i,
    0.188670013790327 + 0.0*i,
    -0.259019147676089 + 0.0*i,
    -0.224696539876973 + 0.0*i,
    0.0744903453505857 + 0.0*i,
    0.0892089802730395 + 0.0*i,
    -0.22830823228343 + 0.0*i,
    0.201410138252587 + 0.0*i,
    0.0218966331792417 + 0.0*i,
    0.288416365386482 + 0.0*i,
    -0.338830648648332 + 0.0*i,
    0.0909300270599264 + 0.0*i,
    -0.0206180216747718 + 0.0*i,
    -0.38084685303235 + 0.0*i,
    0.31363115281691 + 0.0*i,
    0.0204602098279135 + 0.0*i,
    -0.332766655734493 + 0.0*i,
    0.128280159826202 + 0.0*i,
    -0.191863338621124 + 0.0*i,
    -0.432848553612333 + 0.0*i,
    -0.0309841937092943 + 0.0*i,
    0.158952073554633 + 0.0*i,
    -0.314831792561222 + 0.0*i,
    -0.342733912831403 + 0.0*i,
    -0.238831642070397 + 0.0*i,
    0.274088241597943 + 0.0*i,
    -0.187278933750962 + 0.0*i,
    0.123574738629688 + 0.0*i,
    0.015014763697373 + 0.0*i,
    -0.0124136608705186 + 0.0*i,
    -0.259266030000673 + 0.0*i,
    0.120847919463672 + 0.0*i,
    -0.17513281941259 + 0.0*i,
    -0.224318252018302 + 0.0*i,
    -0.0270669311923904 + 0.0*i,
    -0.109104335082714 + 0.0*i,
    -0.188036576212846 + 0.0*i,
    -0.267493814563561 + 0.0*i,
    -0.0806105263363544 + 0.0*i,
    0.0138851359508654 + 0.0*i,
    0.0678357796413143 + 0.0*i,
    0.218908111307024 + 0.0*i,
    0.0154293420452695 + 0.0*i,
    -0.267599321538575 + 0.0*i,
    -0.306998183919449 + 0.0*i,
    -0.063757697730313 + 0.0*i,
    -0.17827388205268 + 0.0*i,
    0.425074749185195 + 0.0*i,
    0.191946778703973 + 0.0*i,
    -0.221105945420178 + 0.0*i,
    0.385818196268 + 0.0*i,
    0.146373064197773 + 0.0*i,
    -0.266394524207846 + 0.0*i,
    0.00601276826755374 + 0.0*i,
    0.442826414398432 + 0.0*i,
    0.33216358482095 + 0.0*i,
    -0.32452469177833 + 0.0*i,
    -0.217596871860338 + 0.0*i,
    -0.223571689986573 + 0.0*i,
    0.349624364257451 + 0.0*i,
    -0.0259483931696372 + 0.0*i,
    0.394995097863504 + 0.0*i,
    0.197582075912161 + 0.0*i,
    0.386024739674464 + 0.0*i,
    -0.0488267972659728 + 0.0*i,
    -0.0823861651621418 + 0.0*i,
    -0.440308293918731 + 0.0*i,
    0.327003967847771 + 0.0*i,
    0.434376511690604 + 0.0*i,
    -0.394183130593495 + 0.0*i,
    0.108710349615882 + 0.0*i,
    -0.101471251964071 + 0.0*i,
    -0.0269190802595319 + 0.0*i,
    -0.0696121909808552 + 0.0*i,
    -0.148762533952059 + 0.0*i,
    -0.168673882032557 + 0.0*i,
    0.149579908734457 + 0.0*i,
    0.187055532798725 + 0.0*i,
    -0.305128769324858 + 0.0*i,
    -0.100383005575016 + 0.0*i,
    0.0108765981908838 + 0.0*i,
    0.0611170626557301 + 0.0*i,
    0.19651426050104 + 0.0*i,
    0.329791197446837 + 0.0*i,
    0.285869938583401 + 0.0*i,
    -0.0946363531106142 + 0.0*i,
    -0.264933360795194 + 0.0*i,
    -0.367523717131188 + 0.0*i,
    -0.0185441440483884 + 0.0*i,
    0.229101904670231 + 0.0*i,
    -0.193414505065624 + 0.0*i,
    -0.0798272575203049 + 0.0*i,
    -0.213776630461157 + 0.0*i,
    0.0307477936401282 + 0.0*i,
    -0.114174761016096 + 0.0*i,
    -0.185609984871583 + 0.0*i,
    -0.265384559323916 + 0.0*i,
    0.372405249379051 + 0.0*i,
    -0.29313268905161 + 0.0*i,
    0.271116943469617 + 0.0*i,
    -0.384647225801972 + 0.0*i,
    -0.0520486617348467 + 0.0*i,
    -0.386842120073416 + 0.0*i,
    0.288001020576855 + 0.0*i,
    0.11090510697704 + 0.0*i,
    0.247072133855455 + 0.0*i,
    -0.393298888888289 + 0.0*i,
    -0.422879681351675 + 0.0*i,
    -0.346192316780197 + 0.0*i,
    0.0551227122106515 + 0.0*i,
    -0.11398132119198 + 0.0*i,
    0.163323805295763 + 0.0*i,
    0.154251592162333 + 0.0*i,
    0.325608429013424 + 0.0*i,
    0.34778104914283 + 0.0*i,
    0.348424512074779 + 0.0*i,
    -0.234971471717553 + 0.0*i,
    0.257561442568124 + 0.0*i,
    0.209003455404739 + 0.0*i,
    0.237889793583717 + 0.0*i,
    -0.0232111103075159 + 0.0*i,
    -0.183647714341087 + 0.0*i,
    0.0945507543446908 + 0.0*i,
    -0.0402348529862235 + 0.0*i,
    -0.170257579654984 + 0.0*i,
    -0.31730620454046 + 0.0*i,
    0.335475074922709 + 0.0*i,
    0.00271183008097715 + 0.0*i,
    -0.0417694378570249 + 0.0*i,
    0.0978500198101395 + 0.0*i,
    0.158570492284487 + 0.0*i,
    0.207462973310608 + 0.0*i,
    0.046766294540522 + 0.0*i,
    -0.183010170352117 + 0.0*i,
    -0.0537035459594724 + 0.0*i,
    0.221855272641836 + 0.0*i,
    0.0395181516761455 + 0.0*i,
    0.168045546572698 + 0.0*i,
    -0.0954899214921828 + 0.0*i,
    0.0572564145271545 + 0.0*i,
    -0.00538471829907539 + 0.0*i,
    0.0285151803242764 + 0.0*i,
    0.24039611203848 + 0.0*i,
    0.228305762882163 + 0.0*i,
    0.18499932061392 + 0.0*i,
    0.359835310609546 + 0.0*i,
    -0.324438312292807 + 0.0*i,
    0.111514436464253 + 0.0*i,
    0.125077543978878 + 0.0*i,
    -0.0583437431499986 + 0.0*i,
    0.188941553422251 + 0.0*i,
    0.0865079782447999 + 0.0*i,
    -0.159279494577553 + 0.0*i,
    0.280845798940301 + 0.0*i,
    -0.00825622541104627 + 0.0*i,
    -0.281022924116977 + 0.0*i,
    -0.365390710625985 + 0.0*i,
    0.449666127558018 + 0.0*i,
    0.263135357822691 + 0.0*i,
    -0.0852688769116103 + 0.0*i,
    0.434690986170198 + 0.0*i,
    0.0514143668251273 + 0.0*i,
    -0.11543928877709 + 0.0*i,
    -0.130801328739981 + 0.0*i,
    -0.236929279572468 + 0.0*i,
    0.150811467082404 + 0.0*i,
    0.283282133859813 + 0.0*i,
    -0.282050078381824 + 0.0*i,
    -0.161521911280011 + 0.0*i,
    0.141196035235696 + 0.0*i,
    -0.300059705855273 + 0.0*i,
    -0.0353008923443078 + 0.0*i,
    -0.0904316986720012 + 0.0*i,
    -0.182710373501886 + 0.0*i,
    -0.0617729604664702 + 0.0*i,
    -0.37042182461219 + 0.0*i,
    -0.206310533847856 + 0.0*i,
    0.0137297989258571 + 0.0*i,
    0.109113486555151 + 0.0*i,
    0.195956119585804 + 0.0*i,
    -0.363427646432441 + 0.0*i,
    0.0512060228422847 + 0.0*i,
    0.233156116466215 + 0.0*i,
    -0.0200982704617625 + 0.0*i,
    0.109139964658345 + 0.0*i,
    -0.230855893633102 + 0.0*i,
    -0.247869565193782 + 0.0*i,
    0.38963938153619 + 0.0*i,
    -0.31624977262039 + 0.0*i,
    0.0877799127084806 + 0.0*i,
    -0.147917487255615 + 0.0*i,
    0.428597740638676 + 0.0*i,
    0.404676428368913 + 0.0*i,
    -0.283716769689446 + 0.0*i,
    -0.080406029406293 + 0.0*i,
    -0.449074403722276 + 0.0*i,
    0.351651032767064 + 0.0*i,
    0.354483280431197 + 0.0*i,
    -0.0662925144627506 + 0.0*i,
    0.0442128782903031 + 0.0*i,
    0.299749760028696 + 0.0*i,
    0.227511589927534 + 0.0*i,
    -0.0176401433980307 + 0.0*i,
    -0.140843130240125 + 0.0*i
]);