V:=Matrix(CC,4,89,[
    0.287630848958948 + 0.0*i,
    -1.03611390099325 + 0.0*i,
    0.698731709654983 + 0.0*i,
    -0.960504280556291 + 0.0*i,
    0.485883103536465 + 0.0*i,
    -0.262475485135994 + 0.0*i,
    -0.136922345631091 + 0.0*i,
    -0.381263177162279 + 0.0*i,
    0.284482176980822 + 0.0*i,
    -0.840652379030387 + 0.0*i,
    -0.0418083000156319 + 0.0*i,
    -0.793675482055327 + 0.0*i,
    -0.482945824827554 + 0.0*i,
    0.606356588544318 + 0.0*i,
    -0.19413525005015 + 0.0*i,
    -0.282081199111739 + 0.0*i,
    -0.449683832620859 + 0.0*i,
    0.822187527300534 + 0.0*i,
    0.83321225998362 + 0.0*i,
    0.193148580558853 + 0.0*i,
    0.378677697575729 + 0.0*i,
    -0.151283334367623 + 0.0*i,
    0.271270223592699 + 0.0*i,
    0.173248137343232 + 0.0*i,
    0.961171021863802 + 0.0*i,
    0.283872006691034 + 0.0*i,
    -0.452318890158531 + 0.0*i,
    0.974589749319751 + 0.0*i,
    0.529582458168548 + 0.0*i,
    0.587957628487715 + 0.0*i,
    0.0348489645068638 + 0.0*i,
    -0.424487780970067 + 0.0*i,
    -0.070454074994734 + 0.0*i,
    0.103202714884345 + 0.0*i,
    -0.0946510880218633 + 0.0*i,
    -0.584113432894369 + 0.0*i,
    -0.327466533736358 + 0.0*i,
    -0.358477737891654 + 0.0*i,
    0.512274907640637 + 0.0*i,
    -0.0198211667990736 + 0.0*i,
    -0.155002290585361 + 0.0*i,
    0.12144251386432 + 0.0*i,
    -0.52093439087811 + 0.0*i,
    -0.476718159538812 + 0.0*i,
    0.222614259698457 + 0.0*i,
    0.235485729460772 + 0.0*i,
    0.0914746867955266 + 0.0*i,
    -0.39222795826721 + 0.0*i,
    -0.550853471031642 + 0.0*i,
    0.306688841704253 + 0.0*i,
    -0.143599860066457 + 0.0*i,
    0.250632602883678 + 0.0*i,
    -0.0175762857935233 + 0.0*i,
    1.42302956340236 + 0.0*i,
    0.185821010133981 + 0.0*i,
    1.1309992236744 + 0.0*i,
    -0.890282791026586 + 0.0*i,
    0.85931865349021 + 0.0*i,
    0.459650063506073 + 0.0*i,
    0.107448945674141 + 0.0*i,
    0.40065325246774 + 0.0*i,
    -0.399436193051654 + 0.0*i,
    1.0644711625854 + 0.0*i,
    0.415586710268434 + 0.0*i,
    0.974711608181559 + 0.0*i,
    0.467491937236054 + 0.0*i,
    0.583584853395371 + 0.0*i,
    0.111720636918649 + 0.0*i,
    0.908703103439102 + 0.0*i,
    0.203649841980996 + 0.0*i,
    -0.363354085448469 + 0.0*i,
    -0.679992014198341 + 0.0*i,
    -0.423575680369246 + 0.0*i,
    0.403151991248369 + 0.0*i,
    0.423131080583869 + 0.0*i,
    0.142154862519665 + 0.0*i,
    0.541738241771043 + 0.0*i,
    0.157109741647853 + 0.0*i,
    0.0668537965607252 + 0.0*i,
    -0.718857413336853 + 0.0*i,
    0.125094519760195 + 0.0*i,
    -0.688099926360261 + 0.0*i,
    0.389048842180122 + 0.0*i,
    -0.199793350186438 + 0.0*i,
    0.581755459568698 + 0.0*i,
    0.66273911183535 + 0.0*i,
    -0.00232505773125796 + 0.0*i,
    0.339260560224275 + 0.0*i,
    0.0526301094018202 + 0.0*i,
    -0.105878060456621 + 0.0*i,
    -0.287778923971485 + 0.0*i,
    0.954814590355111 + 0.0*i,
    0.961482605350292 + 0.0*i,
    0.0598187945091192 + 0.0*i,
    -0.429163249911415 + 0.0*i,
    -1.200845806796 + 0.0*i,
    0.370314175071745 + 0.0*i,
    -0.0254850656808841 + 0.0*i,
    0.0341588965201116 + 0.0*i,
    0.209820110809955 + 0.0*i,
    0.451079842096432 + 0.0*i,
    -1.04708869731569 + 0.0*i,
    0.165620418579283 + 0.0*i,
    0.80675118037855 + 0.0*i,
    -0.640989260472985 + 0.0*i,
    -0.217245767255199 + 0.0*i,
    0.156506207711936 + 0.0*i,
    0.121538410064457 + 0.0*i,
    -0.0490403475079321 + 0.0*i,
    0.0712136697355573 + 0.0*i,
    0.0449263099298623 + 0.0*i,
    0.376851756582327 + 0.0*i,
    -0.375468853309108 + 0.0*i,
    -0.0766123920226393 + 0.0*i,
    0.448804803732505 + 0.0*i,
    0.874572098523058 + 0.0*i,
    0.297083477966938 + 0.0*i,
    -0.0228808841450329 + 0.0*i,
    -0.20099121994667 + 0.0*i,
    -0.82992935005142 + 0.0*i,
    1.27814944313071 + 0.0*i,
    -0.4318854459824 + 0.0*i,
    -0.501573341621169 + 0.0*i,
    -0.22239206006427 + 0.0*i,
    0.434852157338783 + 0.0*i,
    0.49972781743823 + 0.0*i,
    0.455054839656951 + 0.0*i,
    0.0579613298140505 + 0.0*i,
    0.144110935965742 + 0.0*i,
    0.072862669975957 + 0.0*i,
    -0.151632546166056 + 0.0*i,
    0.580474821465903 + 0.0*i,
    0.565239691215313 + 0.0*i,
    0.438204254001252 + 0.0*i,
    -0.794335655918547 + 0.0*i,
    0.136247731540403 + 0.0*i,
    0.0929753343120183 + 0.0*i,
    0.0495662357538041 + 0.0*i,
    -0.0471320378959586 + 0.0*i,
    -0.337961534845476 + 0.0*i,
    -0.767082418581936 + 0.0*i,
    -0.170192955899429 + 0.0*i,
    0.156090635280424 + 0.0*i,
    -0.517052454726221 + 0.0*i,
    0.529810558887322 + 0.0*i,
    0.46969125283302 + 0.0*i,
    0.033964576465913 + 0.0*i,
    -0.306666319089279 + 0.0*i,
    -1.02773570735507 + 0.0*i,
    -0.150132425207765 + 0.0*i,
    0.731377482313932 + 0.0*i,
    0.0407732202554968 + 0.0*i,
    0.621021324997554 + 0.0*i,
    -0.670308312816074 + 0.0*i,
    0.837716424450575 + 0.0*i,
    -0.0258723242611849 + 0.0*i,
    -0.711855397071652 + 0.0*i,
    -0.517210751001347 + 0.0*i,
    0.124762959511567 + 0.0*i,
    0.110565752143286 + 0.0*i,
    -0.676644110068925 + 0.0*i,
    0.309049894293916 + 0.0*i,
    -0.359121414417294 + 0.0*i,
    0.279606377924304 + 0.0*i,
    -0.416184708211236 + 0.0*i,
    0.00731036327134765 + 0.0*i,
    -0.931052271888232 + 0.0*i,
    0.000505471301254665 + 0.0*i,
    -0.384952035861254 + 0.0*i,
    -1.08752036201251 + 0.0*i,
    0.149477926512738 + 0.0*i,
    0.743342876695654 + 0.0*i,
    0.547286080126216 + 0.0*i,
    0.464298282048605 + 0.0*i,
    -0.200861484277999 + 0.0*i,
    0.250532473773971 + 0.0*i,
    1.02544834182376 + 0.0*i,
    -0.137500998643498 + 0.0*i,
    -0.150418120658479 + 0.0*i,
    0.499784462872484 + 0.0*i,
    0.300104110985039 + 0.0*i,
    0.487755674586159 + 0.0*i,
    0.276117185428191 + 0.0*i,
    -0.130443554273869 + 0.0*i,
    -0.272354387621107 + 0.0*i,
    -0.236021596060327 + 0.0*i,
    0.238203876604038 + 0.0*i,
    0.0152731094881166 + 0.0*i,
    -0.170672851585544 + 0.0*i,
    -0.449117810765064 + 0.0*i,
    0.75399931306225 + 0.0*i,
    0.0983911643412414 + 0.0*i,
    -1.20417262921211 + 0.0*i,
    0.883982075683684 + 0.0*i,
    -0.309254190283103 + 0.0*i,
    0.446014186946455 + 0.0*i,
    0.528317489755304 + 0.0*i,
    -0.338041641434363 + 0.0*i,
    0.394273320583984 + 0.0*i,
    -0.0432515471095698 + 0.0*i,
    0.155826264037161 + 0.0*i,
    0.152959586064488 + 0.0*i,
    -0.360477104319202 + 0.0*i,
    0.259724140605062 + 0.0*i,
    -0.0789015556877732 + 0.0*i,
    -0.414094635916944 + 0.0*i,
    -0.0184400382004757 + 0.0*i,
    -1.32947276462248 + 0.0*i,
    -0.587549234760289 + 0.0*i,
    -0.149962704256557 + 0.0*i,
    0.678201848549927 + 0.0*i,
    -0.177197248971557 + 0.0*i,
    0.313685848926762 + 0.0*i,
    -0.26901196711428 + 0.0*i,
    0.195111661534316 + 0.0*i,
    0.0138903936076042 + 0.0*i,
    -0.00520285018667628 + 0.0*i,
    0.48553489028077 + 0.0*i,
    -1.23822785376949 + 0.0*i,
    0.198506875460772 + 0.0*i,
    0.85940481553356 + 0.0*i,
    0.49067979828353 + 0.0*i,
    -0.0117489871487735 + 0.0*i,
    0.495562825177909 + 0.0*i,
    0.364841994334682 + 0.0*i,
    0.170563861964967 + 0.0*i,
    -0.378806541067351 + 0.0*i,
    0.358969033616476 + 0.0*i,
    -0.44879936932914 + 0.0*i,
    0.297905415684819 + 0.0*i,
    0.393599847974411 + 0.0*i,
    0.156235021943595 + 0.0*i,
    -0.0196871099093891 + 0.0*i,
    -0.139285539294371 + 0.0*i,
    0.0973536321986473 + 0.0*i,
    -0.417399310216648 + 0.0*i,
    0.360104156682614 + 0.0*i,
    -0.518548971086333 + 0.0*i,
    0.29989171280484 + 0.0*i,
    0.714585438602549 + 0.0*i,
    0.695975758944641 + 0.0*i,
    0.322714192500176 + 0.0*i,
    0.655855985637382 + 0.0*i,
    0.166066629311477 + 0.0*i,
    -0.50947832362423 + 0.0*i,
    0.0852231579047048 + 0.0*i,
    0.254486614627766 + 0.0*i,
    -0.212398575861113 + 0.0*i,
    -1.10645320214386 + 0.0*i,
    0.528848518226719 + 0.0*i,
    -0.2853084139365 + 0.0*i,
    0.101216564727758 + 0.0*i,
    -0.100587829887072 + 0.0*i,
    -0.239685030188159 + 0.0*i,
    -0.216537846035905 + 0.0*i,
    0.373373492947371 + 0.0*i,
    -0.42103779737224 + 0.0*i,
    -0.260343543268091 + 0.0*i,
    0.19138551016281 + 0.0*i,
    -0.0682138580139607 + 0.0*i,
    -0.226838405544415 + 0.0*i,
    0.0511561538435104 + 0.0*i,
    -0.309101174742075 + 0.0*i,
    -0.760763183468759 + 0.0*i,
    -0.0420803283640914 + 0.0*i,
    1.21090810519754 + 0.0*i,
    0.382692718850751 + 0.0*i,
    -0.432195404679909 + 0.0*i,
    0.394053706077259 + 0.0*i,
    -0.523131895073729 + 0.0*i,
    0.168779382548813 + 0.0*i,
    0.342005721158712 + 0.0*i,
    -0.286661470804547 + 0.0*i,
    -0.256764639893049 + 0.0*i,
    -0.316509019364176 + 0.0*i,
    -0.0213039550415447 + 0.0*i,
    0.0645099816659229 + 0.0*i,
    -0.287439433372909 + 0.0*i,
    -0.251899079873515 + 0.0*i,
    0.288839807580341 + 0.0*i,
    -1.19695534548741 + 0.0*i,
    0.0930796652367765 + 0.0*i,
    -0.860990126257272 + 0.0*i,
    -0.327726354969317 + 0.0*i,
    -0.288147506633862 + 0.0*i,
    -0.339138966364633 + 0.0*i,
    0.589959896629459 + 0.0*i,
    -0.419632452584628 + 0.0*i,
    -0.60803424723045 + 0.0*i,
    -0.0893112833978611 + 0.0*i,
    0.596163831481234 + 0.0*i,
    -0.533414178198171 + 0.0*i,
    -0.379499827084227 + 0.0*i,
    0.126086206314041 + 0.0*i,
    -0.670171398521021 + 0.0*i,
    0.0861446689390037 + 0.0*i,
    0.329488927568705 + 0.0*i,
    -0.294939965476841 + 0.0*i,
    -0.131364259094518 + 0.0*i,
    0.0679769611276415 + 0.0*i,
    -0.0297109920008855 + 0.0*i,
    0.26699608166605 + 0.0*i,
    -0.279200422367725 + 0.0*i,
    -0.514833254102536 + 0.0*i,
    0.373576245078523 + 0.0*i,
    -0.144425577981628 + 0.0*i,
    0.00502806517844654 + 0.0*i,
    -1.05520175212032 + 0.0*i,
    -0.615754936574458 + 0.0*i,
    -1.02449364953866 + 0.0*i,
    0.952421687238187 + 0.0*i,
    0.12949400886413 + 0.0*i,
    -0.00294286452035836 + 0.0*i,
    -1.28127810995189 + 0.0*i,
    0.068815665525588 + 0.0*i,
    0.789169431962434 + 0.0*i,
    0.0412942228125297 + 0.0*i,
    -0.182204193934762 + 0.0*i,
    -1.1142222555708 + 0.0*i,
    0.118623158909582 + 0.0*i,
    -0.0840775774591179 + 0.0*i,
    -0.154056420433465 + 0.0*i,
    0.393601052837775 + 0.0*i,
    -0.44039442129415 + 0.0*i,
    0.639514584692925 + 0.0*i,
    -0.247504453609197 + 0.0*i,
    0.121749433991904 + 0.0*i,
    -0.0235608564618077 + 0.0*i,
    0.108646845038907 + 0.0*i,
    0.0583630043877163 + 0.0*i,
    0.319631632547309 + 0.0*i,
    -0.036789857702718 + 0.0*i,
    0.548327952444879 + 0.0*i,
    0.287448284701601 + 0.0*i,
    0.0423154579393137 + 0.0*i,
    -0.744862837902861 + 0.0*i,
    -0.460093480874336 + 0.0*i,
    0.589375726930208 + 0.0*i,
    0.587353206551954 + 0.0*i,
    0.551267325481164 + 0.0*i,
    0.109059067821764 + 0.0*i,
    0.607943472327992 + 0.0*i,
    -0.532886778596635 + 0.0*i,
    0.440261340651465 + 0.0*i,
    0.511249660288707 + 0.0*i,
    0.376176622119882 + 0.0*i,
    -1.23244097591755 + 0.0*i,
    0.866919815772994 + 0.0*i,
    -0.402967117170686 + 0.0*i,
    0.0480887605952817 + 0.0*i,
    0.0932177053969573 + 0.0*i,
    -0.516209495294467 + 0.0*i,
    -0.170509973026188 + 0.0*i,
    -0.754700716779112 + 0.0*i,
    -0.146230951125172 + 0.0*i,
    0.26550852593826 + 0.0*i
]);