V:=Matrix(CC,4,130,[
    0.590306545582567 + 0.0*i,
    0.159846219309038 + 0.0*i,
    0.599165019360845 + 0.0*i,
    -0.0782748575310964 + 0.0*i,
    -0.429626394969305 + 0.0*i,
    0.500645339038756 + 0.0*i,
    -0.368267436881515 + 0.0*i,
    0.404911800834825 + 0.0*i,
    -0.60921394868544 + 0.0*i,
    -0.350424798194016 + 0.0*i,
    0.412369413720767 + 0.0*i,
    -0.349242441047038 + 0.0*i,
    0.0800559512788817 + 0.0*i,
    0.410142207965627 + 0.0*i,
    0.369279259787754 + 0.0*i,
    -0.33337602678572 + 0.0*i,
    0.110902904801039 + 0.0*i,
    0.194811786616849 + 0.0*i,
    -0.234448704910687 + 0.0*i,
    -0.886842307117081 + 0.0*i,
    -0.380482472654302 + 0.0*i,
    0.222444628160654 + 0.0*i,
    -0.100756511716402 + 0.0*i,
    -0.192376792145808 + 0.0*i,
    -0.21421507871021 + 0.0*i,
    0.214191615714348 + 0.0*i,
    0.262830756956816 + 0.0*i,
    -0.825541865837481 + 0.0*i,
    -0.0997729807836492 + 0.0*i,
    0.201637848125947 + 0.0*i,
    0.211374871666262 + 0.0*i,
    0.734983064368374 + 0.0*i,
    0.535253473996487 + 0.0*i,
    0.716565061622317 + 0.0*i,
    -0.339333442872353 + 0.0*i,
    -0.112350855225907 + 0.0*i,
    0.127880878692594 + 0.0*i,
    0.789569923350636 + 0.0*i,
    0.900013130636512 + 0.0*i,
    0.0211642542696491 + 0.0*i,
    0.00468870429413955 + 0.0*i,
    0.295783952633131 + 0.0*i,
    1.03297642851044 + 0.0*i,
    -0.00691780925725039 + 0.0*i,
    -0.17906352744268 + 0.0*i,
    0.156338762143805 + 0.0*i,
    -0.0687804100667578 + 0.0*i,
    -0.794815193279519 + 0.0*i,
    0.165078091033077 + 0.0*i,
    -0.471076233173004 + 0.0*i,
    -0.653035070079852 + 0.0*i,
    0.486752657708584 + 0.0*i,
    0.14062065774021 + 0.0*i,
    0.471045860857409 + 0.0*i,
    0.139806155573358 + 0.0*i,
    -0.294482433296122 + 0.0*i,
    -0.537939969829171 + 0.0*i,
    -1.39224341051481 + 0.0*i,
    -0.343324580451568 + 0.0*i,
    0.602413453855617 + 0.0*i,
    -0.105484665618861 + 0.0*i,
    0.403517034488665 + 0.0*i,
    0.907374007958336 + 0.0*i,
    0.396576839833971 + 0.0*i,
    0.659135935503233 + 0.0*i,
    1.18338038854555 + 0.0*i,
    -0.837175388123672 + 0.0*i,
    0.465542438404643 + 0.0*i,
    -0.442392687807749 + 0.0*i,
    -0.140413208728926 + 0.0*i,
    -0.816682866140601 + 0.0*i,
    0.170500007518966 + 0.0*i,
    0.806660463564918 + 0.0*i,
    0.103996622467434 + 0.0*i,
    -0.288324161939707 + 0.0*i,
    0.204369071668836 + 0.0*i,
    0.704218466120257 + 0.0*i,
    0.644335503191357 + 0.0*i,
    0.271757276119537 + 0.0*i,
    0.486228823593057 + 0.0*i,
    -0.713416169584004 + 0.0*i,
    0.830086966095588 + 0.0*i,
    0.511626740683995 + 0.0*i,
    0.103995419296394 + 0.0*i,
    -0.292884238771087 + 0.0*i,
    -0.476932135423322 + 0.0*i,
    -0.126648710440912 + 0.0*i,
    0.38317061835874 + 0.0*i,
    -0.511187078358849 + 0.0*i,
    0.357033529348175 + 0.0*i,
    -0.246478658649506 + 0.0*i,
    0.327478935334425 + 0.0*i,
    -0.123939010078206 + 0.0*i,
    -0.0302705593369999 + 0.0*i,
    -0.0649644415048959 + 0.0*i,
    -0.25921050077764 + 0.0*i,
    -0.967203517861529 + 0.0*i,
    0.40823579217896 + 0.0*i,
    0.0255154945785415 + 0.0*i,
    -0.319685402223915 + 0.0*i,
    -0.679036881218465 + 0.0*i,
    -1.12293903878574 + 0.0*i,
    -0.038829723056844 + 0.0*i,
    -0.321642712352552 + 0.0*i,
    -0.0189728737097091 + 0.0*i,
    -0.293841218748353 + 0.0*i,
    -0.435707795535104 + 0.0*i,
    0.330647549139041 + 0.0*i,
    1.20186128603993 + 0.0*i,
    -0.343927617622579 + 0.0*i,
    0.727563603241519 + 0.0*i,
    -1.20705100898653 + 0.0*i,
    -0.29567952624809 + 0.0*i,
    0.39334440472123 + 0.0*i,
    -0.843233603833345 + 0.0*i,
    -0.137614010677252 + 0.0*i,
    0.805865057318197 + 0.0*i,
    -0.117597765339135 + 0.0*i,
    -0.00947717741055997 + 0.0*i,
    0.888854236378421 + 0.0*i,
    0.101892777659946 + 0.0*i,
    0.336006193475697 + 0.0*i,
    -0.0442871811813557 + 0.0*i,
    0.48187814395757 + 0.0*i,
    0.238397766318776 + 0.0*i,
    -0.103549580196515 + 0.0*i,
    -0.118818621208056 + 0.0*i,
    0.753328001030648 + 0.0*i,
    -0.433097304555144 + 0.0*i,
    -0.499646404507403 + 0.0*i,
    -0.137797258539056 + 0.0*i,
    0.239590262660605 + 0.0*i,
    0.0644823172984313 + 0.0*i,
    1.1121825552056 + 0.0*i,
    -0.430255245062919 + 0.0*i,
    0.406871358878964 + 0.0*i,
    0.594182916518847 + 0.0*i,
    -0.129829003513428 + 0.0*i,
    0.278366475313048 + 0.0*i,
    0.104788638817031 + 0.0*i,
    0.489563017639463 + 0.0*i,
    0.562899865948069 + 0.0*i,
    -0.239944007754431 + 0.0*i,
    0.52646635650792 + 0.0*i,
    1.19695000925221 + 0.0*i,
    -1.01520506201337 + 0.0*i,
    -0.0132905379351975 + 0.0*i,
    -0.430501320571849 + 0.0*i,
    0.55701552146693 + 0.0*i,
    0.538852696232363 + 0.0*i,
    0.904742820171075 + 0.0*i,
    0.287999342009542 + 0.0*i,
    -0.431090789170861 + 0.0*i,
    0.756632920573817 + 0.0*i,
    -0.364038956652709 + 0.0*i,
    -0.372154520280574 + 0.0*i,
    -0.106032558171816 + 0.0*i,
    -0.331823517338507 + 0.0*i,
    0.383332110465125 + 0.0*i,
    0.662004471695849 + 0.0*i,
    0.593097765893305 + 0.0*i,
    -0.387310442640809 + 0.0*i,
    -0.54998682650781 + 0.0*i,
    -0.491506990477821 + 0.0*i,
    -0.525483897956302 + 0.0*i,
    -0.324180447119991 + 0.0*i,
    -0.163234003765999 + 0.0*i,
    -0.775644856235507 + 0.0*i,
    -0.116538470877922 + 0.0*i,
    0.127982811210273 + 0.0*i,
    0.0340446627077455 + 0.0*i,
    -0.791222240437947 + 0.0*i,
    0.135092816409079 + 0.0*i,
    -0.603942566737852 + 0.0*i,
    0.593487284097083 + 0.0*i,
    0.243413508651581 + 0.0*i,
    0.42572678803621 + 0.0*i,
    -0.558422811375273 + 0.0*i,
    0.273262814531653 + 0.0*i,
    -1.0153629830599 + 0.0*i,
    0.0828171003356184 + 0.0*i,
    0.731632958927765 + 0.0*i,
    -0.567091992270339 + 0.0*i,
    -0.150331176980475 + 0.0*i,
    -1.14259995865496 + 0.0*i,
    -0.208596927487451 + 0.0*i,
    0.175653088297391 + 0.0*i,
    0.282186704854616 + 0.0*i,
    0.180614230939449 + 0.0*i,
    -0.802068809198803 + 0.0*i,
    -0.446396547342826 + 0.0*i,
    0.091322621459354 + 0.0*i,
    -0.129784819336315 + 0.0*i,
    -0.366591378561349 + 0.0*i,
    0.584742680059118 + 0.0*i,
    -0.421847219438325 + 0.0*i,
    -0.0613425293082383 + 0.0*i,
    0.172787465590493 + 0.0*i,
    -0.441742660099564 + 0.0*i,
    -0.115692748904555 + 0.0*i,
    -0.659309180658727 + 0.0*i,
    0.115773786153226 + 0.0*i,
    -0.219277446071456 + 0.0*i,
    0.0037434809830039 + 0.0*i,
    -0.818435273506663 + 0.0*i,
    -0.173186146900364 + 0.0*i,
    0.543958219869182 + 0.0*i,
    -0.606456237310381 + 0.0*i,
    -0.411472973900956 + 0.0*i,
    -0.165227578913924 + 0.0*i,
    -0.785632010116674 + 0.0*i,
    -0.10584608006388 + 0.0*i,
    0.259941470626039 + 0.0*i,
    0.816216016662455 + 0.0*i,
    -0.625754536794449 + 0.0*i,
    -0.424253296055046 + 0.0*i,
    -0.338703841207984 + 0.0*i,
    -0.27125541625401 + 0.0*i,
    -0.500577552410973 + 0.0*i,
    0.213337830482451 + 0.0*i,
    -0.116926907663211 + 0.0*i,
    0.850095061908358 + 0.0*i,
    0.656351151505919 + 0.0*i,
    -0.132327356391708 + 0.0*i,
    1.27734699744155 + 0.0*i,
    0.893346089445774 + 0.0*i,
    0.77581085491504 + 0.0*i,
    -0.175230654221196 + 0.0*i,
    -0.0881480484011581 + 0.0*i,
    -0.0478366262288754 + 0.0*i,
    0.533785289365095 + 0.0*i,
    -0.74438329773507 + 0.0*i,
    -0.156822165024239 + 0.0*i,
    -0.424304609351499 + 0.0*i,
    0.0122868304745623 + 0.0*i,
    -0.361053651331723 + 0.0*i,
    0.372913955847297 + 0.0*i,
    -0.320585262788742 + 0.0*i,
    0.639301809778823 + 0.0*i,
    0.352425113506803 + 0.0*i,
    -0.349553677402794 + 0.0*i,
    -0.520987892695188 + 0.0*i,
    1.38988023727092 + 0.0*i,
    -0.482015602034432 + 0.0*i,
    -0.41815896006612 + 0.0*i,
    0.297500959055784 + 0.0*i,
    -0.0272781562835116 + 0.0*i,
    -0.0297420379740356 + 0.0*i,
    -0.115630752497074 + 0.0*i,
    -0.303981073090774 + 0.0*i,
    0.00883206644427239 + 0.0*i,
    -0.225572796478781 + 0.0*i,
    0.180197357303925 + 0.0*i,
    -0.243314940368325 + 0.0*i,
    0.0342888877849582 + 0.0*i,
    0.46445942379673 + 0.0*i,
    -0.989310727712003 + 0.0*i,
    -0.361692141300017 + 0.0*i,
    -0.603507946256674 + 0.0*i,
    0.342136447289395 + 0.0*i,
    0.381855704592762 + 0.0*i,
    -0.944826644391559 + 0.0*i,
    0.228268486213032 + 0.0*i,
    0.733863707541815 + 0.0*i,
    -0.0137984896918544 + 0.0*i,
    -0.353616467020202 + 0.0*i,
    0.223653849113467 + 0.0*i,
    -0.272579933518301 + 0.0*i,
    -0.110424327850505 + 0.0*i,
    -0.260355723154643 + 0.0*i,
    0.047751575735179 + 0.0*i,
    0.0855371234805952 + 0.0*i,
    -0.847427136080264 + 0.0*i,
    0.574667770094363 + 0.0*i,
    -0.0494524481411083 + 0.0*i,
    0.669198523112958 + 0.0*i,
    0.503611452928346 + 0.0*i,
    0.728403152881262 + 0.0*i,
    -0.0638110162801661 + 0.0*i,
    -0.140011254678832 + 0.0*i,
    0.0776855937673112 + 0.0*i,
    -0.0889686752293746 + 0.0*i,
    0.216918072381019 + 0.0*i,
    0.637860535444607 + 0.0*i,
    0.206333371753711 + 0.0*i,
    -1.16059989142039 + 0.0*i,
    0.271063811561978 + 0.0*i,
    0.617642919243383 + 0.0*i,
    -0.0403820560870765 + 0.0*i,
    0.497083912398411 + 0.0*i,
    0.0668448019774263 + 0.0*i,
    0.224659849832859 + 0.0*i,
    -0.212060315796908 + 0.0*i,
    -0.993887434565981 + 0.0*i,
    -0.0668771799298499 + 0.0*i,
    0.278064802020932 + 0.0*i,
    -0.578189719732073 + 0.0*i,
    -0.255227074770325 + 0.0*i,
    -0.199708283896516 + 0.0*i,
    0.433679515305812 + 0.0*i,
    0.439130361246115 + 0.0*i,
    -0.256709287820342 + 0.0*i,
    -0.137321569980526 + 0.0*i,
    1.47090702211593 + 0.0*i,
    -0.427677212885966 + 0.0*i,
    0.0490246157187364 + 0.0*i,
    0.37609263422147 + 0.0*i,
    0.68955492803352 + 0.0*i,
    0.568834564860588 + 0.0*i,
    -0.528480433128587 + 0.0*i,
    0.543357322586937 + 0.0*i,
    -0.367979254041014 + 0.0*i,
    -0.37505071137326 + 0.0*i,
    1.09364455521223 + 0.0*i,
    -0.160882611825373 + 0.0*i,
    0.0974154023721798 + 0.0*i,
    1.22280090326565 + 0.0*i,
    0.108035315244379 + 0.0*i,
    -0.637766005640354 + 0.0*i,
    0.594541782504291 + 0.0*i,
    0.256716321009416 + 0.0*i,
    -0.112929574896805 + 0.0*i,
    -0.426957933774245 + 0.0*i,
    0.590920782920255 + 0.0*i,
    -0.124395272834228 + 0.0*i,
    0.337162011319711 + 0.0*i,
    0.305354827437478 + 0.0*i,
    -1.31728949625968 + 0.0*i,
    -0.179539203495274 + 0.0*i,
    -0.553644147041104 + 0.0*i,
    0.760079570215978 + 0.0*i,
    -0.379236635306771 + 0.0*i,
    -0.362723690961105 + 0.0*i,
    0.657976059483527 + 0.0*i,
    -0.114445190511859 + 0.0*i,
    0.505598484690062 + 0.0*i,
    -0.0292023425272644 + 0.0*i,
    0.202262163669906 + 0.0*i,
    0.387099470612945 + 0.0*i,
    0.476696629810012 + 0.0*i,
    -0.227714878004662 + 0.0*i,
    -1.17316500857712 + 0.0*i,
    0.289903252371222 + 0.0*i,
    0.453094139324456 + 0.0*i,
    -0.367869499515231 + 0.0*i,
    -0.0603977627729448 + 0.0*i,
    -1.00873256907962 + 0.0*i,
    -0.105782379686631 + 0.0*i,
    -0.262453125385848 + 0.0*i,
    0.715718138092529 + 0.0*i,
    0.31209931239611 + 0.0*i,
    -1.04969518324074 + 0.0*i,
    -0.270196526435053 + 0.0*i,
    0.436061178138204 + 0.0*i,
    0.177052197154589 + 0.0*i,
    0.0555945943382742 + 0.0*i,
    0.0524527121925384 + 0.0*i,
    0.39603238666007 + 0.0*i,
    -0.111481183360411 + 0.0*i,
    -1.07128377932124 + 0.0*i,
    0.674552875671116 + 0.0*i,
    0.688770993180478 + 0.0*i,
    -1.58567438665134 + 0.0*i,
    -0.253236482026442 + 0.0*i,
    0.194714370281841 + 0.0*i,
    0.141226901492293 + 0.0*i,
    0.315684633466579 + 0.0*i,
    -0.194739363963075 + 0.0*i,
    0.22131131338785 + 0.0*i,
    -0.514608184707031 + 0.0*i,
    0.461249101518492 + 0.0*i,
    -0.34491021216181 + 0.0*i,
    0.194587903875123 + 0.0*i,
    0.496455499124308 + 0.0*i,
    0.240945433303339 + 0.0*i,
    0.360322643703317 + 0.0*i,
    0.943061087762095 + 0.0*i,
    -0.083520607095343 + 0.0*i,
    -0.0561937452432897 + 0.0*i,
    -0.7611133325956 + 0.0*i,
    -0.523039113483979 + 0.0*i,
    0.505563050231731 + 0.0*i,
    -0.117608179622609 + 0.0*i,
    -0.214639683481662 + 0.0*i,
    0.0410443926258377 + 0.0*i,
    -0.173622558036222 + 0.0*i,
    -0.792571795770074 + 0.0*i,
    0.43387245165 + 0.0*i,
    0.457483784344307 + 0.0*i,
    -0.182274153520609 + 0.0*i,
    -0.720650509719509 + 0.0*i,
    -0.0110475523786043 + 0.0*i,
    -1.21096739865012 + 0.0*i,
    0.275198956123184 + 0.0*i,
    -0.395297970451077 + 0.0*i,
    -0.230396594839488 + 0.0*i,
    -0.184700872837538 + 0.0*i,
    -0.0220117331511023 + 0.0*i,
    -0.0344185863695106 + 0.0*i,
    -0.00291867316740712 + 0.0*i,
    0.492618134196179 + 0.0*i,
    0.0466314357479526 + 0.0*i,
    -0.355720833950545 + 0.0*i,
    0.637246203582345 + 0.0*i,
    0.182840823413504 + 0.0*i,
    -0.508066085768032 + 0.0*i,
    0.265246375099058 + 0.0*i,
    0.424254123601742 + 0.0*i,
    -0.564234841744824 + 0.0*i,
    0.135096480289915 + 0.0*i,
    -0.453577900740327 + 0.0*i,
    0.273182676371189 + 0.0*i,
    0.579734758916504 + 0.0*i,
    -0.0441303993407299 + 0.0*i,
    0.0423983808512859 + 0.0*i,
    -0.252133798593807 + 0.0*i,
    -0.398031184945761 + 0.0*i,
    -0.0453383009578095 + 0.0*i,
    0.161795781682168 + 0.0*i,
    -0.0472591094902237 + 0.0*i,
    -0.226769350869386 + 0.0*i,
    -0.0739033700649149 + 0.0*i,
    -0.216156439526288 + 0.0*i,
    -0.213270262034306 + 0.0*i,
    0.531102380015172 + 0.0*i,
    -0.409672908922294 + 0.0*i,
    0.43117612617269 + 0.0*i,
    0.240975698062915 + 0.0*i,
    0.378633280200282 + 0.0*i,
    0.389768857358604 + 0.0*i,
    0.247008872098135 + 0.0*i,
    0.022495541627255 + 0.0*i,
    -0.56854115784363 + 0.0*i,
    -0.359762611893213 + 0.0*i,
    -0.0768488548735839 + 0.0*i,
    -0.659136953995392 + 0.0*i,
    0.289042538598371 + 0.0*i,
    -0.298953554439601 + 0.0*i,
    0.0258999629737342 + 0.0*i,
    -0.238331568819806 + 0.0*i,
    0.270460495652605 + 0.0*i,
    0.320707593233843 + 0.0*i,
    -0.209655671699788 + 0.0*i,
    -0.617762888825514 + 0.0*i,
    -0.470468804642874 + 0.0*i,
    0.122983718938234 + 0.0*i,
    -0.173681928751342 + 0.0*i,
    1.03255862993896 + 0.0*i,
    0.442891691289141 + 0.0*i,
    -0.0873329006647478 + 0.0*i,
    -0.305059123270574 + 0.0*i,
    0.660241939341639 + 0.0*i,
    0.241432964845007 + 0.0*i,
    0.548581730116045 + 0.0*i,
    -0.0527963500067571 + 0.0*i,
    1.14514629303964 + 0.0*i,
    -0.381152513456433 + 0.0*i,
    0.319199362943079 + 0.0*i,
    -0.580598173062962 + 0.0*i,
    0.514582415694908 + 0.0*i,
    -0.212400026494509 + 0.0*i,
    -0.273625150778146 + 0.0*i,
    -0.601921936848342 + 0.0*i,
    -0.745357351737118 + 0.0*i,
    0.0436383368894547 + 0.0*i,
    -0.39425223445921 + 0.0*i,
    0.0114043202210083 + 0.0*i,
    0.206500553527381 + 0.0*i,
    -0.447782067902393 + 0.0*i,
    -0.0591635445758425 + 0.0*i,
    0.0267055691059213 + 0.0*i,
    -0.418681233682508 + 0.0*i,
    0.492150891364409 + 0.0*i,
    -0.180951912301986 + 0.0*i,
    0.668086169192705 + 0.0*i,
    0.758990672526291 + 0.0*i,
    -0.671946124976895 + 0.0*i,
    0.464714606836575 + 0.0*i,
    -0.133087019579109 + 0.0*i,
    0.870900055423093 + 0.0*i,
    0.0805608799777036 + 0.0*i,
    0.588302165523998 + 0.0*i,
    -0.0963549598434815 + 0.0*i,
    -0.33194388824618 + 0.0*i,
    -0.363956956432586 + 0.0*i,
    -0.56128674582951 + 0.0*i,
    0.42714586300852 + 0.0*i,
    0.381045963152361 + 0.0*i,
    -0.603600266911889 + 0.0*i,
    -0.725498414305662 + 0.0*i,
    -0.238010614215503 + 0.0*i,
    -0.461824337286223 + 0.0*i,
    0.308693242397623 + 0.0*i,
    0.0322934085669036 + 0.0*i,
    0.358889894170637 + 0.0*i,
    0.14890272424206 + 0.0*i,
    -0.100572725969046 + 0.0*i,
    -0.695781696472525 + 0.0*i,
    0.11793608799081 + 0.0*i,
    0.0632771882792735 + 0.0*i,
    0.0788183654954649 + 0.0*i,
    0.257752954229362 + 0.0*i,
    0.0600499521739964 + 0.0*i,
    0.686758456562023 + 0.0*i,
    0.682427802892316 + 0.0*i,
    0.983993377672095 + 0.0*i,
    0.540946005560622 + 0.0*i,
    0.426780796367974 + 0.0*i,
    -0.908573512433952 + 0.0*i,
    0.178477461622031 + 0.0*i,
    0.342731848307774 + 0.0*i,
    0.659989405390744 + 0.0*i,
    -0.696819980074675 + 0.0*i,
    -0.516492738381877 + 0.0*i,
    0.600218847380667 + 0.0*i,
    0.375040274834214 + 0.0*i,
    1.09633619798924 + 0.0*i,
    0.485543952859749 + 0.0*i,
    -0.649328176154564 + 0.0*i,
    0.0258764247990975 + 0.0*i
]);