V:=Matrix(CC,4,131,[
    0.714181078908582 + 0.0*i,
    -0.812956238999165 + 0.0*i,
    -0.438066223644382 + 0.0*i,
    0.099221113424296 + 0.0*i,
    -1.12802335308482 + 0.0*i,
    1.10253447395026 + 0.0*i,
    -0.441005498274736 + 0.0*i,
    -0.46903376194753 + 0.0*i,
    -0.118128144476518 + 0.0*i,
    -0.381524759830957 + 0.0*i,
    -0.689829606565618 + 0.0*i,
    0.0491987886355358 + 0.0*i,
    -0.134950853464333 + 0.0*i,
    0.266906788140586 + 0.0*i,
    0.375507729649493 + 0.0*i,
    0.282818449413827 + 0.0*i,
    -0.609525385165228 + 0.0*i,
    0.51265728168364 + 0.0*i,
    0.35769644272472 + 0.0*i,
    0.0445013794765104 + 0.0*i,
    -0.188361206129395 + 0.0*i,
    0.316093970365841 + 0.0*i,
    0.0618149289372734 + 0.0*i,
    0.616645070430731 + 0.0*i,
    -0.118424437913814 + 0.0*i,
    0.375354711099207 + 0.0*i,
    0.878005341802836 + 0.0*i,
    -0.00940826645790193 + 0.0*i,
    0.643432927031206 + 0.0*i,
    0.0916079478994048 + 0.0*i,
    0.39691763814587 + 0.0*i,
    0.199369140590222 + 0.0*i,
    0.341978983529442 + 0.0*i,
    -0.696581688961126 + 0.0*i,
    0.0591516777591834 + 0.0*i,
    0.359393207541146 + 0.0*i,
    0.160237023359624 + 0.0*i,
    -0.931855234236232 + 0.0*i,
    0.518658311232838 + 0.0*i,
    0.852869035325192 + 0.0*i,
    -0.418091780336892 + 0.0*i,
    0.135945584661822 + 0.0*i,
    -1.33244622162464 + 0.0*i,
    -0.03308670594332 + 0.0*i,
    -0.527527611385346 + 0.0*i,
    0.389458561638841 + 0.0*i,
    -0.0927596202078989 + 0.0*i,
    -0.664154648818178 + 0.0*i,
    0.488335628933024 + 0.0*i,
    -0.29989403084984 + 0.0*i,
    -0.61378563408076 + 0.0*i,
    0.191039103058716 + 0.0*i,
    0.147252827244268 + 0.0*i,
    0.485820466581239 + 0.0*i,
    -0.25268754660694 + 0.0*i,
    -0.0313758902877406 + 0.0*i,
    -0.544718780207125 + 0.0*i,
    -0.347272352442753 + 0.0*i,
    -0.0751609668555497 + 0.0*i,
    -0.209913917716503 + 0.0*i,
    -0.111038068697681 + 0.0*i,
    -0.248421253984752 + 0.0*i,
    -0.407600750140671 + 0.0*i,
    0.693129769516245 + 0.0*i,
    -0.0146523429345864 + 0.0*i,
    -0.212638088480498 + 0.0*i,
    -0.620639059207713 + 0.0*i,
    0.221033191831245 + 0.0*i,
    -0.0225868898621766 + 0.0*i,
    0.290586463054426 + 0.0*i,
    -0.144047225531639 + 0.0*i,
    -0.394798316250171 + 0.0*i,
    -0.237547229376603 + 0.0*i,
    0.104232305706204 + 0.0*i,
    -0.74560338522807 + 0.0*i,
    0.252919877222969 + 0.0*i,
    0.113104643794279 + 0.0*i,
    -0.84772161335105 + 0.0*i,
    0.322515493010015 + 0.0*i,
    -0.0224082642074565 + 0.0*i,
    -0.357305650276722 + 0.0*i,
    -0.777027900742009 + 0.0*i,
    0.0268066819623891 + 0.0*i,
    -0.287310451831868 + 0.0*i,
    -0.826301368316805 + 0.0*i,
    0.754762520926514 + 0.0*i,
    0.165694226037289 + 0.0*i,
    0.116028297820178 + 0.0*i,
    -0.277021040423771 + 0.0*i,
    0.205096314674301 + 0.0*i,
    -0.0494073644272789 + 0.0*i,
    -0.275118731785794 + 0.0*i,
    0.115465715605799 + 0.0*i,
    -0.58259309747319 + 0.0*i,
    -0.637177562521567 + 0.0*i,
    0.911711400967812 + 0.0*i,
    -0.251073131434855 + 0.0*i,
    -0.438210100156601 + 0.0*i,
    -0.396843990896459 + 0.0*i,
    0.533606819233104 + 0.0*i,
    0.0642206601777009 + 0.0*i,
    0.335541477266602 + 0.0*i,
    0.446322555667637 + 0.0*i,
    0.634192532376202 + 0.0*i,
    0.015803183563495 + 0.0*i,
    0.990251615118821 + 0.0*i,
    -0.460153069080399 + 0.0*i,
    0.241852676149759 + 0.0*i,
    0.17683631870643 + 0.0*i,
    -0.273610805624345 + 0.0*i,
    0.181032715591499 + 0.0*i,
    0.0626206842321237 + 0.0*i,
    0.687150593454314 + 0.0*i,
    1.01566134259867 + 0.0*i,
    -0.572727214003758 + 0.0*i,
    0.609262835753128 + 0.0*i,
    -0.204217179472502 + 0.0*i,
    -0.870047574445725 + 0.0*i,
    1.03011054960877 + 0.0*i,
    0.0567972426922539 + 0.0*i,
    -0.0639485876688551 + 0.0*i,
    0.160001137576438 + 0.0*i,
    0.742074208189681 + 0.0*i,
    0.690060965827344 + 0.0*i,
    0.214335578219416 + 0.0*i,
    -0.227527295013499 + 0.0*i,
    -0.594513016716062 + 0.0*i,
    0.297957221440196 + 0.0*i,
    0.032445753744874 + 0.0*i,
    -0.338224873033061 + 0.0*i,
    -0.0367279771068874 + 0.0*i,
    -0.824878499562367 + 0.0*i,
    0.305618818174835 + 0.0*i,
    0.868775346370483 + 0.0*i,
    0.202944986407867 + 0.0*i,
    -0.0239437393364591 + 0.0*i,
    -0.62986863410093 + 0.0*i,
    0.654887175531746 + 0.0*i,
    -0.449203365079287 + 0.0*i,
    -0.323117227040825 + 0.0*i,
    -0.415406186617217 + 0.0*i,
    0.235897295758071 + 0.0*i,
    1.10701078056486 + 0.0*i,
    -0.614662641964492 + 0.0*i,
    0.998532340898378 + 0.0*i,
    -0.408630089577549 + 0.0*i,
    0.350702678038643 + 0.0*i,
    0.115293537743519 + 0.0*i,
    0.293288554747307 + 0.0*i,
    0.0920982382705254 + 0.0*i,
    -0.86460766740755 + 0.0*i,
    -0.117526542876041 + 0.0*i,
    0.0500952434373366 + 0.0*i,
    -0.904430238680972 + 0.0*i,
    0.0580484698787774 + 0.0*i,
    0.274926034191399 + 0.0*i,
    -0.524899456880665 + 0.0*i,
    0.401303375765666 + 0.0*i,
    1.13221918834089 + 0.0*i,
    -0.19654338290351 + 0.0*i,
    -0.118072989664495 + 0.0*i,
    -0.47355631728137 + 0.0*i,
    -0.477028640155408 + 0.0*i,
    0.122681092714399 + 0.0*i,
    -0.253491320474102 + 0.0*i,
    -0.728887393494087 + 0.0*i,
    -0.215640470023766 + 0.0*i,
    0.144839397378586 + 0.0*i,
    0.185914010564597 + 0.0*i,
    -0.187840395517556 + 0.0*i,
    -0.612492219006439 + 0.0*i,
    0.457778697642353 + 0.0*i,
    -0.15409689409817 + 0.0*i,
    0.00114825483408369 + 0.0*i,
    0.0475180341743415 + 0.0*i,
    0.230287547673343 + 0.0*i,
    -0.186688820457075 + 0.0*i,
    0.206972187205612 + 0.0*i,
    0.682405854173764 + 0.0*i,
    1.36915822794175 + 0.0*i,
    -0.224043509707918 + 0.0*i,
    0.0908684266653468 + 0.0*i,
    -1.07697851294938 + 0.0*i,
    -0.651640783506336 + 0.0*i,
    0.0611351393820111 + 0.0*i,
    0.852958019934058 + 0.0*i,
    0.177266926682581 + 0.0*i,
    -0.506180578820916 + 0.0*i,
    -0.713934815579454 + 0.0*i,
    0.0909927843937464 + 0.0*i,
    0.265037343820875 + 0.0*i,
    0.520971983993606 + 0.0*i,
    -0.618845048389086 + 0.0*i,
    0.0913472149678571 + 0.0*i,
    0.583094019775152 + 0.0*i,
    -0.258114358908452 + 0.0*i,
    -0.208616512219976 + 0.0*i,
    0.684071967356047 + 0.0*i,
    0.33690079647489 + 0.0*i,
    -0.889385788155636 + 0.0*i,
    -0.418176825706965 + 0.0*i,
    -0.718206498675793 + 0.0*i,
    -0.615447030530626 + 0.0*i,
    -0.196926262411236 + 0.0*i,
    0.00838852261363037 + 0.0*i,
    -0.276044051317406 + 0.0*i,
    0.315797019080224 + 0.0*i,
    0.505275740253233 + 0.0*i,
    -0.405280602798346 + 0.0*i,
    0.105490722925652 + 0.0*i,
    0.63585780708031 + 0.0*i,
    -0.249801804545461 + 0.0*i,
    -0.119724107275914 + 0.0*i,
    0.42100420451352 + 0.0*i,
    -0.535416892117931 + 0.0*i,
    -0.697135693836171 + 0.0*i,
    0.78769654693732 + 0.0*i,
    1.00965029334006 + 0.0*i,
    -0.223578149909497 + 0.0*i,
    0.508237085236153 + 0.0*i,
    0.459909981552478 + 0.0*i,
    0.24469097753451 + 0.0*i,
    1.41285025865199 + 0.0*i,
    0.288199454950023 + 0.0*i,
    -0.438641120950639 + 0.0*i,
    -0.787852616907062 + 0.0*i,
    -0.460957083564075 + 0.0*i,
    -0.366263564892569 + 0.0*i,
    -0.561983766420047 + 0.0*i,
    0.336166439918939 + 0.0*i,
    -0.0163028890125048 + 0.0*i,
    -0.49644575392029 + 0.0*i,
    0.888268390881997 + 0.0*i,
    -0.789872786845967 + 0.0*i,
    -0.658942039999278 + 0.0*i,
    -0.195391758899942 + 0.0*i,
    -0.388136876647275 + 0.0*i,
    -0.147827523690137 + 0.0*i,
    0.2695753214089 + 0.0*i,
    0.6634187797834 + 0.0*i,
    -0.322838786248345 + 0.0*i,
    0.291319378892513 + 0.0*i,
    0.291984254338549 + 0.0*i,
    0.275414911615564 + 0.0*i,
    0.53142453655544 + 0.0*i,
    0.131004864123704 + 0.0*i,
    -0.546870916673757 + 0.0*i,
    0.26565900323401 + 0.0*i,
    -0.154572341808605 + 0.0*i,
    0.590055039734267 + 0.0*i,
    -0.14600239732601 + 0.0*i,
    0.522519562339135 + 0.0*i,
    -0.313648865823663 + 0.0*i,
    0.127583019133263 + 0.0*i,
    0.422165606046346 + 0.0*i,
    -0.269976982177108 + 0.0*i,
    -0.0398056355412466 + 0.0*i,
    -0.33557791490382 + 0.0*i,
    -0.0363036882898651 + 0.0*i,
    -1.0433701781676 + 0.0*i,
    0.123569575242262 + 0.0*i,
    0.491850845725034 + 0.0*i,
    -1.09583764379306 + 0.0*i,
    0.191247380189851 + 0.0*i,
    0.0328986596852365 + 0.0*i,
    0.675491712633745 + 0.0*i,
    0.117213009425708 + 0.0*i,
    -0.745507998848326 + 0.0*i,
    -0.397836264075421 + 0.0*i,
    -0.138410341000269 + 0.0*i,
    -0.365992200212576 + 0.0*i,
    -0.319463783096911 + 0.0*i,
    -0.110804842276292 + 0.0*i,
    1.10197607827356 + 0.0*i,
    0.0258746973115428 + 0.0*i,
    0.342147592924789 + 0.0*i,
    -0.826114344464691 + 0.0*i,
    0.058585048166717 + 0.0*i,
    -0.0530845151280408 + 0.0*i,
    0.941754351036502 + 0.0*i,
    0.906671483388283 + 0.0*i,
    -0.0167204416066988 + 0.0*i,
    -0.0724000667487575 + 0.0*i,
    0.0190294399489975 + 0.0*i,
    0.184897982500583 + 0.0*i,
    -0.687592161709037 + 0.0*i,
    -0.0699530557638108 + 0.0*i,
    0.533446578844777 + 0.0*i,
    0.464238133849464 + 0.0*i,
    0.773746832902462 + 0.0*i,
    0.0294865660513193 + 0.0*i,
    0.557345782459686 + 0.0*i,
    -1.00981898995781 + 0.0*i,
    -0.359506073411356 + 0.0*i,
    -0.587775529615866 + 0.0*i,
    0.0295798717770528 + 0.0*i,
    -0.522608240177087 + 0.0*i,
    -0.443560298792286 + 0.0*i,
    0.0905648296483528 + 0.0*i,
    -0.277267424856748 + 0.0*i,
    -0.0657073436792398 + 0.0*i,
    -0.414183651487467 + 0.0*i,
    0.626939296226831 + 0.0*i,
    -0.258304449545723 + 0.0*i,
    0.554664058085664 + 0.0*i,
    -0.0511945302081476 + 0.0*i,
    -0.147283345534488 + 0.0*i,
    0.221587440500814 + 0.0*i,
    0.224471579025363 + 0.0*i,
    0.142261217666879 + 0.0*i,
    0.36166618490468 + 0.0*i,
    0.277821957204457 + 0.0*i,
    -0.528323686802053 + 0.0*i,
    -0.10852105900255 + 0.0*i,
    -0.0956659188117425 + 0.0*i,
    0.337772890986047 + 0.0*i,
    0.100704793500959 + 0.0*i,
    0.89419164718636 + 0.0*i,
    1.17931348867518 + 0.0*i,
    0.654867112839075 + 0.0*i,
    -0.429505289281394 + 0.0*i,
    -0.0251799774949708 + 0.0*i,
    -0.580693525851666 + 0.0*i,
    0.899893503354932 + 0.0*i,
    -0.46533354259588 + 0.0*i,
    -1.12351139066693 + 0.0*i,
    0.608575739555692 + 0.0*i,
    0.506325336015018 + 0.0*i,
    -0.108002652641289 + 0.0*i,
    0.878475269410578 + 0.0*i,
    0.656311025765236 + 0.0*i,
    0.011242994135178 + 0.0*i,
    0.0430347947079378 + 0.0*i,
    0.741833156916213 + 0.0*i,
    0.242034969422804 + 0.0*i,
    0.492390378952555 + 0.0*i,
    -0.371954231361885 + 0.0*i,
    0.0566790636022148 + 0.0*i,
    -0.478897212891111 + 0.0*i,
    0.496588270247607 + 0.0*i,
    -0.132429279848071 + 0.0*i,
    0.445462349934353 + 0.0*i,
    -0.00958436715389898 + 0.0*i,
    -0.0105571409165877 + 0.0*i,
    0.451823516859028 + 0.0*i,
    0.24100079227214 + 0.0*i,
    0.369983754324612 + 0.0*i,
    -0.814552220993005 + 0.0*i,
    -0.285947428657296 + 0.0*i,
    0.710450308899842 + 0.0*i,
    0.206801701220019 + 0.0*i,
    -0.150553336002038 + 0.0*i,
    -0.685016224411845 + 0.0*i,
    -0.0426221493379425 + 0.0*i,
    0.65519157080856 + 0.0*i,
    0.079488281388618 + 0.0*i,
    -0.862852662999352 + 0.0*i,
    -0.800148538730264 + 0.0*i,
    0.127342966905857 + 0.0*i,
    -0.813702712331565 + 0.0*i,
    0.0587215967808892 + 0.0*i,
    -0.530745849660656 + 0.0*i,
    -0.0252205343011036 + 0.0*i,
    -0.417562218178434 + 0.0*i,
    -0.0476289662703537 + 0.0*i,
    0.511513755048323 + 0.0*i,
    0.683763367205052 + 0.0*i,
    -0.0770454714370583 + 0.0*i,
    0.375122146543103 + 0.0*i,
    0.235258698862739 + 0.0*i,
    -0.187335229173114 + 0.0*i,
    -0.0131549449340347 + 0.0*i,
    0.738733074673222 + 0.0*i,
    -0.0734211176175175 + 0.0*i,
    -0.186749777359538 + 0.0*i,
    -0.735401302162315 + 0.0*i,
    0.557849399875684 + 0.0*i,
    -0.253839212663195 + 0.0*i,
    1.01294158388918 + 0.0*i,
    0.0403045135420695 + 0.0*i,
    -0.0172319273529678 + 0.0*i,
    0.142377125541034 + 0.0*i,
    0.410626244765885 + 0.0*i,
    0.931416718148868 + 0.0*i,
    -1.66039871997285 + 0.0*i,
    -0.407205842494736 + 0.0*i,
    -0.192900430271914 + 0.0*i,
    0.637509290269535 + 0.0*i,
    0.470756952087338 + 0.0*i,
    0.610255175066658 + 0.0*i,
    0.0823969042640714 + 0.0*i,
    -0.888921279677033 + 0.0*i,
    0.474242778890334 + 0.0*i,
    0.663355937353593 + 0.0*i,
    -0.713240602053408 + 0.0*i,
    -0.220860351902796 + 0.0*i,
    -0.0236048879989064 + 0.0*i,
    0.287365949464796 + 0.0*i,
    -0.434600393043438 + 0.0*i,
    0.683013564511614 + 0.0*i,
    -0.148289834268414 + 0.0*i,
    -0.520832569133957 + 0.0*i,
    -0.177940491658206 + 0.0*i,
    0.668139055471034 + 0.0*i,
    0.685582646806399 + 0.0*i,
    0.504221986159529 + 0.0*i,
    0.378761077279353 + 0.0*i,
    -0.0997718006703721 + 0.0*i,
    -0.0591521431206893 + 0.0*i,
    -0.242547336281853 + 0.0*i,
    0.70054279886089 + 0.0*i,
    -0.274266685211012 + 0.0*i,
    0.579371428802972 + 0.0*i,
    -0.161841651828576 + 0.0*i,
    0.0354947746337161 + 0.0*i,
    -0.631996655901601 + 0.0*i,
    0.530464076263489 + 0.0*i,
    0.659327519280616 + 0.0*i,
    0.98878517464942 + 0.0*i,
    -0.694791107489317 + 0.0*i,
    0.00705486740093653 + 0.0*i,
    0.134356315173272 + 0.0*i,
    -0.166378084278895 + 0.0*i,
    -0.271787900900174 + 0.0*i,
    -0.886978627117285 + 0.0*i,
    -0.0500348469407187 + 0.0*i,
    0.161741518868783 + 0.0*i,
    0.89018960332924 + 0.0*i,
    0.114440642555724 + 0.0*i,
    0.255944555005046 + 0.0*i,
    0.40283816494258 + 0.0*i,
    -0.223641648044851 + 0.0*i,
    -0.174483969451164 + 0.0*i,
    -0.709343170919327 + 0.0*i,
    0.0170438246058406 + 0.0*i,
    0.218785031812704 + 0.0*i,
    -1.30665403844471 + 0.0*i,
    0.270724513275683 + 0.0*i,
    0.733861023860011 + 0.0*i,
    -0.0226978542521855 + 0.0*i,
    -0.237621619260423 + 0.0*i,
    0.271815347429845 + 0.0*i,
    0.326811196136091 + 0.0*i,
    -0.175840743568556 + 0.0*i,
    0.198008388782923 + 0.0*i,
    -0.316679212864108 + 0.0*i,
    -0.400403878165586 + 0.0*i,
    0.262795557744047 + 0.0*i,
    0.298453220390236 + 0.0*i,
    0.414404857486473 + 0.0*i,
    -0.256270760589751 + 0.0*i,
    -0.517550157030507 + 0.0*i,
    0.256137081675801 + 0.0*i,
    -1.04725526899007 + 0.0*i,
    0.84428126480062 + 0.0*i,
    -0.492302900496489 + 0.0*i,
    0.895931259891124 + 0.0*i,
    -0.890919792554761 + 0.0*i,
    0.935141525371 + 0.0*i,
    -0.293184464408608 + 0.0*i,
    0.0905016292862536 + 0.0*i,
    -0.175945356676942 + 0.0*i,
    -0.185361937825194 + 0.0*i,
    0.556119377295324 + 0.0*i,
    -0.000336241466182686 + 0.0*i,
    0.00736112371407266 + 0.0*i,
    -0.0445587914114382 + 0.0*i,
    -0.268739343318181 + 0.0*i,
    0.540804318466506 + 0.0*i,
    0.534738973135885 + 0.0*i,
    0.267504993176397 + 0.0*i,
    0.291499817802868 + 0.0*i,
    -0.65212918169019 + 0.0*i,
    0.863679102924241 + 0.0*i,
    0.584967469987066 + 0.0*i,
    0.241825504549356 + 0.0*i,
    0.497778169573446 + 0.0*i,
    0.10796084509441 + 0.0*i,
    -0.361909629995692 + 0.0*i,
    -0.233446500845989 + 0.0*i,
    0.33657787677154 + 0.0*i,
    -0.373851129674943 + 0.0*i,
    0.0948106946861847 + 0.0*i,
    0.106533696723384 + 0.0*i,
    0.228670343842426 + 0.0*i,
    1.05891681915665 + 0.0*i,
    0.494065189711668 + 0.0*i,
    -0.0327258065198299 + 0.0*i,
    -0.361381890267192 + 0.0*i,
    -0.751852124266195 + 0.0*i,
    0.0837316433868594 + 0.0*i,
    0.11805252205889 + 0.0*i,
    0.0951161798440412 + 0.0*i,
    -0.0390888657375048 + 0.0*i,
    0.320077953101863 + 0.0*i,
    0.834842976588908 + 0.0*i,
    0.716932427387167 + 0.0*i,
    -0.979507576981762 + 0.0*i,
    -0.00627731163973356 + 0.0*i,
    0.284538241848514 + 0.0*i,
    -0.0322606641577909 + 0.0*i,
    0.599417181958952 + 0.0*i,
    -0.61896741592988 + 0.0*i,
    0.377725827082071 + 0.0*i,
    -0.628034114023741 + 0.0*i,
    -0.198898086491935 + 0.0*i,
    0.431883304740631 + 0.0*i,
    0.278152274095115 + 0.0*i,
    -0.468306637517473 + 0.0*i,
    0.161586366207773 + 0.0*i,
    -0.0604100787649393 + 0.0*i,
    -0.00986316318376171 + 0.0*i,
    -0.0727812961393033 + 0.0*i,
    0.107314741239422 + 0.0*i,
    0.0817485974996508 + 0.0*i,
    -0.0931991251102109 + 0.0*i,
    0.331750912038802 + 0.0*i,
    0.795806450054436 + 0.0*i,
    -0.308254019734995 + 0.0*i,
    -0.771116827211338 + 0.0*i,
    0.0564213468387223 + 0.0*i,
    -0.756514971872445 + 0.0*i,
    0.492137712864969 + 0.0*i,
    0.313207384980841 + 0.0*i
]);