V:=Matrix(CC,4,129,[
    -0.0384388671182951 + 0.0*i,
    0.0486621876110201 + 0.0*i,
    -0.0194565054933594 + 0.0*i,
    0.0815560673027615 + 0.0*i,
    0.244356523707351 + 0.0*i,
    0.0236756932164347 + 0.0*i,
    0.190238378808285 + 0.0*i,
    -0.06763985931804 + 0.0*i,
    -0.194040644908148 + 0.0*i,
    0.28505678658711 + 0.0*i,
    -0.245811348046907 + 0.0*i,
    -0.13056677907349 + 0.0*i,
    -0.107133036143107 + 0.0*i,
    0.154070445989402 + 0.0*i,
    0.172813743593751 + 0.0*i,
    0.136850403264155 + 0.0*i,
    -0.234598391178404 + 0.0*i,
    -0.396513922749667 + 0.0*i,
    -0.346605457093621 + 0.0*i,
    -0.0652051604035266 + 0.0*i,
    -0.428243293671381 + 0.0*i,
    -0.458381236394155 + 0.0*i,
    0.0354943649971663 + 0.0*i,
    0.210907641268595 + 0.0*i,
    0.0294909354057554 + 0.0*i,
    0.340616389597468 + 0.0*i,
    0.38911791328123 + 0.0*i,
    -0.429875115816602 + 0.0*i,
    -0.0190358217060046 + 0.0*i,
    -0.39354037155918 + 0.0*i,
    -0.140701671097231 + 0.0*i,
    0.206002750227959 + 0.0*i,
    0.248322861867224 + 0.0*i,
    0.377181700570904 + 0.0*i,
    0.13894594267332 + 0.0*i,
    0.0938815626677325 + 0.0*i,
    -0.0212974135681291 + 0.0*i,
    -0.0638465491672046 + 0.0*i,
    0.32637512945762 + 0.0*i,
    0.258770337053957 + 0.0*i,
    -0.115674248770991 + 0.0*i,
    -0.0590485316734802 + 0.0*i,
    0.26896455905359 + 0.0*i,
    -0.182278058230964 + 0.0*i,
    0.306654065159944 + 0.0*i,
    -0.349907098353701 + 0.0*i,
    0.336212709986739 + 0.0*i,
    0.334306677681933 + 0.0*i,
    -0.0953209647649858 + 0.0*i,
    -0.235852890173748 + 0.0*i,
    -0.210368251856573 + 0.0*i,
    -0.253027358859271 + 0.0*i,
    -0.163907308299995 + 0.0*i,
    0.398154197865416 + 0.0*i,
    -0.0372088268685761 + 0.0*i,
    0.199549368469306 + 0.0*i,
    0.284284100358815 + 0.0*i,
    -0.248585147619658 + 0.0*i,
    -0.237020903204187 + 0.0*i,
    -0.00582606088253746 + 0.0*i,
    0.383851677481619 + 0.0*i,
    -0.200531712517662 + 0.0*i,
    -0.4373466808897 + 0.0*i,
    0.430106087224079 + 0.0*i,
    0.305183106793686 + 0.0*i,
    -0.0149187773098837 + 0.0*i,
    0.00542793958186545 + 0.0*i,
    0.305855884265957 + 0.0*i,
    0.0936446293815791 + 0.0*i,
    0.058585349006315 + 0.0*i,
    0.0672716573342792 + 0.0*i,
    -0.298622760962758 + 0.0*i,
    -0.150712808800858 + 0.0*i,
    0.133667739942045 + 0.0*i,
    0.15204912780924 + 0.0*i,
    -0.0724512561482814 + 0.0*i,
    0.0241563636475816 + 0.0*i,
    0.217755235000797 + 0.0*i,
    0.239517784352985 + 0.0*i,
    -0.0215896145918594 + 0.0*i,
    -0.382787505494444 + 0.0*i,
    0.179942384133723 + 0.0*i,
    0.308542845162979 + 0.0*i,
    -0.323601121088663 + 0.0*i,
    0.0233935842420664 + 0.0*i,
    0.130066941881684 + 0.0*i,
    -0.164960002288449 + 0.0*i,
    -0.390910279511428 + 0.0*i,
    0.145479651808804 + 0.0*i,
    0.255289371275094 + 0.0*i,
    0.100702179043988 + 0.0*i,
    -0.189743929081292 + 0.0*i,
    -0.0863046026255803 + 0.0*i,
    0.342250825120234 + 0.0*i,
    0.357926101217773 + 0.0*i,
    -0.165494850755244 + 0.0*i,
    -0.0381468853794591 + 0.0*i,
    -0.106136845967465 + 0.0*i,
    0.28570970134854 + 0.0*i,
    -0.332927516692183 + 0.0*i,
    0.135070550577727 + 0.0*i,
    -0.195660013610207 + 0.0*i,
    -0.154537713112476 + 0.0*i,
    -0.0418265808162066 + 0.0*i,
    0.303120545862967 + 0.0*i,
    0.0347438040427179 + 0.0*i,
    0.213957882965883 + 0.0*i,
    -0.0914211628287103 + 0.0*i,
    -0.122483607562065 + 0.0*i,
    -0.319864563520454 + 0.0*i,
    -0.1082200348969 + 0.0*i,
    -0.154339531550347 + 0.0*i,
    -0.327194058326846 + 0.0*i,
    -0.0533324903153452 + 0.0*i,
    0.0343223789786606 + 0.0*i,
    0.314903936201599 + 0.0*i,
    0.154680017124527 + 0.0*i,
    0.138487558025388 + 0.0*i,
    0.104303490377089 + 0.0*i,
    0.0533811597409885 + 0.0*i,
    0.22723253344073 + 0.0*i,
    0.251333991488466 + 0.0*i,
    0.244429378689276 + 0.0*i,
    0.379127163048474 + 0.0*i,
    0.38693082783801 + 0.0*i,
    0.255180880579681 + 0.0*i,
    -0.261219910187367 + 0.0*i,
    0.152888026708174 + 0.0*i,
    0.0894945393384543 + 0.0*i,
    -0.0840378791198338 + 0.0*i,
    -0.0141782110591379 + 0.0*i,
    0.314061695423609 + 0.0*i,
    0.411061762513349 + 0.0*i,
    0.340823090996697 + 0.0*i,
    0.180901659103517 + 0.0*i,
    -0.294270013402621 + 0.0*i,
    -0.287763865105604 + 0.0*i,
    -0.349603220539273 + 0.0*i,
    -0.0388678970785261 + 0.0*i,
    -0.105869586000663 + 0.0*i,
    0.215429524453583 + 0.0*i,
    -0.333544514555346 + 0.0*i,
    0.267325100339652 + 0.0*i,
    -0.377779065990144 + 0.0*i,
    0.117215788788222 + 0.0*i,
    -0.187563735299312 + 0.0*i,
    -0.158042340516283 + 0.0*i,
    0.0110755248973502 + 0.0*i,
    0.313893166890355 + 0.0*i,
    0.0416550678704876 + 0.0*i,
    -0.0732894646670889 + 0.0*i,
    -0.269223823376998 + 0.0*i,
    -0.0503554440419256 + 0.0*i,
    0.197586797376527 + 0.0*i,
    -0.179126993859289 + 0.0*i,
    -0.105180827288171 + 0.0*i,
    0.145100730176313 + 0.0*i,
    0.0720258322190835 + 0.0*i,
    -0.00758106662108637 + 0.0*i,
    0.207006538149076 + 0.0*i,
    -0.380221569527343 + 0.0*i,
    0.300188730735565 + 0.0*i,
    0.158367944670903 + 0.0*i,
    0.204371710897471 + 0.0*i,
    -0.216381305705568 + 0.0*i,
    -0.0363970817321413 + 0.0*i,
    0.378550893754235 + 0.0*i,
    0.166903551388644 + 0.0*i,
    0.148873743948045 + 0.0*i,
    0.363888117535686 + 0.0*i,
    -0.128212214117239 + 0.0*i,
    0.340061725796277 + 0.0*i,
    0.0665907440379057 + 0.0*i,
    -0.0201271738636574 + 0.0*i,
    -0.286860488439622 + 0.0*i,
    -0.117944509089869 + 0.0*i,
    0.0367935637529991 + 0.0*i,
    0.417051684257199 + 0.0*i,
    0.11356817549493 + 0.0*i,
    0.0600343614553897 + 0.0*i,
    -0.271009269137442 + 0.0*i,
    -0.168527641873522 + 0.0*i,
    0.0351740269690341 + 0.0*i,
    0.423419223574171 + 0.0*i,
    -0.409298970769251 + 0.0*i,
    0.284941100411663 + 0.0*i,
    0.232451141241209 + 0.0*i,
    -0.085997119047949 + 0.0*i,
    0.397390177685656 + 0.0*i,
    -0.223064273549576 + 0.0*i,
    0.128308907682936 + 0.0*i,
    -0.0127781569097541 + 0.0*i,
    -0.132835500820055 + 0.0*i,
    -0.327951767951351 + 0.0*i,
    -0.125086785058894 + 0.0*i,
    -0.275555874860831 + 0.0*i,
    0.196526489087593 + 0.0*i,
    0.39995840568677 + 0.0*i,
    -0.453833234814827 + 0.0*i,
    -0.341307404192847 + 0.0*i,
    0.196308290262051 + 0.0*i,
    -0.148099534976663 + 0.0*i,
    -0.0339676494866132 + 0.0*i,
    -0.231588001540352 + 0.0*i,
    0.221167233689353 + 0.0*i,
    -0.110785020022032 + 0.0*i,
    -0.288202723271791 + 0.0*i,
    -0.270594999541617 + 0.0*i,
    0.0850011501631602 + 0.0*i,
    -0.000626768447250606 + 0.0*i,
    -0.352873803250546 + 0.0*i,
    -0.0665047168725697 + 0.0*i,
    0.172007544239557 + 0.0*i,
    0.0671801586026173 + 0.0*i,
    0.250430153243482 + 0.0*i,
    -0.0471076488285961 + 0.0*i,
    -0.224813592289637 + 0.0*i,
    -0.171798532934298 + 0.0*i,
    0.375182554202042 + 0.0*i,
    0.379105664768684 + 0.0*i,
    -0.0672906569149063 + 0.0*i,
    0.140003539257038 + 0.0*i,
    -0.282267652171862 + 0.0*i,
    -0.01253176555326 + 0.0*i,
    -0.0738532163604121 + 0.0*i,
    0.102122393720511 + 0.0*i,
    -0.229433363710871 + 0.0*i,
    -0.25196586148528 + 0.0*i,
    0.125421962495926 + 0.0*i,
    -0.133888119400694 + 0.0*i,
    0.282725341304603 + 0.0*i,
    -0.014352658857159 + 0.0*i,
    -0.369016854193814 + 0.0*i,
    -0.317638546569418 + 0.0*i,
    -0.327946557871783 + 0.0*i,
    -0.128937670741344 + 0.0*i,
    -0.24120047875307 + 0.0*i,
    0.00674059659474656 + 0.0*i,
    0.235990384800865 + 0.0*i,
    -0.0126982849118738 + 0.0*i,
    0.110894011137801 + 0.0*i,
    -0.157463731409065 + 0.0*i,
    0.277813508035632 + 0.0*i,
    0.175986884001108 + 0.0*i,
    0.0772052662152196 + 0.0*i,
    -0.164220856882968 + 0.0*i,
    0.439659937272121 + 0.0*i,
    0.281926442889511 + 0.0*i,
    0.438452669239536 + 0.0*i,
    0.285699603833373 + 0.0*i,
    0.131501473833844 + 0.0*i,
    -0.0145613527835444 + 0.0*i,
    0.100804039696856 + 0.0*i,
    0.186483594942298 + 0.0*i,
    0.0640201902311099 + 0.0*i,
    -0.24462869365214 + 0.0*i,
    0.36453144466619 + 0.0*i,
    0.272763485904446 + 0.0*i,
    0.0546522735874719 + 0.0*i,
    -0.148228583015287 + 0.0*i,
    0.184732865431955 + 0.0*i,
    -0.0782516073755953 + 0.0*i,
    -0.115157043357823 + 0.0*i,
    -0.219200185669819 + 0.0*i,
    0.278601265203064 + 0.0*i,
    0.0187808178237448 + 0.0*i,
    -0.22426613037363 + 0.0*i,
    0.132830049882168 + 0.0*i,
    -0.279224508402459 + 0.0*i,
    -0.362631838229798 + 0.0*i,
    0.184970016887636 + 0.0*i,
    -0.272068311727187 + 0.0*i,
    -0.207495008394435 + 0.0*i,
    0.110952473426941 + 0.0*i,
    0.0994027446716277 + 0.0*i,
    0.00846275781404105 + 0.0*i,
    0.136853055555651 + 0.0*i,
    -0.00592331492841167 + 0.0*i,
    -0.00675157596684576 + 0.0*i,
    -0.0586107789644711 + 0.0*i,
    -0.370906222457124 + 0.0*i,
    -0.058441066556401 + 0.0*i,
    0.368087963305663 + 0.0*i,
    -0.258761032846202 + 0.0*i,
    0.147347208940037 + 0.0*i,
    -0.0942748444888916 + 0.0*i,
    0.457621685157154 + 0.0*i,
    -0.192185047381186 + 0.0*i,
    -0.0784636928640701 + 0.0*i,
    -0.0650851264366967 + 0.0*i,
    -0.0917489116987346 + 0.0*i,
    0.185588215528278 + 0.0*i,
    0.390686522897757 + 0.0*i,
    -0.294314209159181 + 0.0*i,
    -0.308357539927334 + 0.0*i,
    -0.0801330747516705 + 0.0*i,
    -0.24829999936785 + 0.0*i,
    0.080413108540986 + 0.0*i,
    -0.25453537947861 + 0.0*i,
    0.00268551242784939 + 0.0*i,
    0.0493681478849986 + 0.0*i,
    -0.228418726839275 + 0.0*i,
    -0.329257561925694 + 0.0*i,
    -0.0903953842851094 + 0.0*i,
    -0.236321951302304 + 0.0*i,
    0.116113498227474 + 0.0*i,
    -0.143772219050524 + 0.0*i,
    -0.317787055553322 + 0.0*i,
    0.325265205435979 + 0.0*i,
    0.282689989603959 + 0.0*i,
    0.302332657888843 + 0.0*i,
    -0.168223415594122 + 0.0*i,
    0.026389795147179 + 0.0*i,
    0.0667944936683739 + 0.0*i,
    0.121635257219357 + 0.0*i,
    0.125853865208522 + 0.0*i,
    -0.288034000689796 + 0.0*i,
    0.212658249557473 + 0.0*i,
    -0.0731738301742902 + 0.0*i,
    0.397290148105119 + 0.0*i,
    0.164831507748126 + 0.0*i,
    -0.0708880934342761 + 0.0*i,
    -0.0880504723882066 + 0.0*i,
    0.371215729888331 + 0.0*i,
    0.368200542653606 + 0.0*i,
    0.284520570505484 + 0.0*i,
    0.0792394994662322 + 0.0*i,
    -0.0599762691028715 + 0.0*i,
    -0.199835446075253 + 0.0*i,
    0.0222016199817505 + 0.0*i,
    0.403636147273943 + 0.0*i,
    -0.403754299391569 + 0.0*i,
    -0.350942880799553 + 0.0*i,
    0.0933268788541694 + 0.0*i,
    -0.411893112945997 + 0.0*i,
    -0.26404993944622 + 0.0*i,
    0.173195426965527 + 0.0*i,
    -0.3907674170837 + 0.0*i,
    0.0352946964462363 + 0.0*i,
    -0.0579103306527655 + 0.0*i,
    -0.208996428458249 + 0.0*i,
    -0.0567012286870875 + 0.0*i,
    0.309829596391767 + 0.0*i,
    0.320416886440223 + 0.0*i,
    -0.420247248664108 + 0.0*i,
    0.112919134657694 + 0.0*i,
    0.322112190492551 + 0.0*i,
    -0.0866900167074786 + 0.0*i,
    -0.240896331672208 + 0.0*i,
    0.289551447465033 + 0.0*i,
    0.133852247927853 + 0.0*i,
    0.0368782317819926 + 0.0*i,
    0.292149904182985 + 0.0*i,
    0.420970437706697 + 0.0*i,
    -0.453850100141625 + 0.0*i,
    -0.175947385721496 + 0.0*i,
    -0.193826616781541 + 0.0*i,
    -0.251322307613637 + 0.0*i,
    0.0742676182900579 + 0.0*i,
    -0.134071709737909 + 0.0*i,
    0.222417565844302 + 0.0*i,
    -0.26555453964293 + 0.0*i,
    0.109107955940123 + 0.0*i,
    0.211138347500913 + 0.0*i,
    0.392146702260843 + 0.0*i,
    -0.220162320799851 + 0.0*i,
    -0.40179341240593 + 0.0*i,
    -0.240183628994523 + 0.0*i,
    -0.135763548165886 + 0.0*i,
    -0.242974067227859 + 0.0*i,
    0.205801637807909 + 0.0*i,
    -0.24891277176068 + 0.0*i,
    -0.211632987746934 + 0.0*i,
    -0.331959431547672 + 0.0*i,
    -0.253586828343929 + 0.0*i,
    0.0681148372039521 + 0.0*i,
    -0.0515855447569163 + 0.0*i,
    -0.122738823418203 + 0.0*i,
    0.240999540161245 + 0.0*i,
    -0.123119087771988 + 0.0*i,
    -0.0306790573341897 + 0.0*i,
    0.167681422802487 + 0.0*i,
    -0.0338821921490497 + 0.0*i,
    0.364212598895512 + 0.0*i,
    -0.0640516364597906 + 0.0*i,
    0.0925042965497095 + 0.0*i,
    -0.346138118454493 + 0.0*i,
    -0.453297914937107 + 0.0*i,
    -0.437044832925532 + 0.0*i,
    -0.278387250820613 + 0.0*i,
    -0.166425182179969 + 0.0*i,
    0.165516455399155 + 0.0*i,
    -0.371264814303834 + 0.0*i,
    0.102934536966072 + 0.0*i,
    -0.35678434297371 + 0.0*i,
    0.0422817077766327 + 0.0*i,
    -0.331313716663674 + 0.0*i,
    -0.261043144355944 + 0.0*i,
    0.126211141934459 + 0.0*i,
    -0.229390395463843 + 0.0*i,
    -0.215729126582034 + 0.0*i,
    -0.039337373556034 + 0.0*i,
    0.416881078197769 + 0.0*i,
    -0.340519633908947 + 0.0*i,
    -0.183089725528653 + 0.0*i,
    -0.27314525377341 + 0.0*i,
    -0.334705200438429 + 0.0*i,
    -0.166719397776242 + 0.0*i,
    0.0342525703073384 + 0.0*i,
    0.0534770165937134 + 0.0*i,
    -0.406723834091213 + 0.0*i,
    0.200948424407128 + 0.0*i,
    -0.0181117727247231 + 0.0*i,
    -0.18194398516651 + 0.0*i,
    -0.0351814242599452 + 0.0*i,
    0.039155823013498 + 0.0*i,
    -0.0831384367734462 + 0.0*i,
    0.379471912520081 + 0.0*i,
    0.171569970540985 + 0.0*i,
    -0.234986289552798 + 0.0*i,
    0.107284241550616 + 0.0*i,
    0.0395306963691284 + 0.0*i,
    0.258315805516315 + 0.0*i,
    -0.349225952729789 + 0.0*i,
    0.242782195619108 + 0.0*i,
    -0.142831928440894 + 0.0*i,
    -0.34775950232934 + 0.0*i,
    0.0833974678339476 + 0.0*i,
    0.437998276795676 + 0.0*i,
    0.122829202502137 + 0.0*i,
    -0.353433561978724 + 0.0*i,
    -0.107823714365778 + 0.0*i,
    0.00233800612371899 + 0.0*i,
    0.164248194726278 + 0.0*i,
    0.297699174121212 + 0.0*i,
    -0.0963214008917355 + 0.0*i,
    0.205353662282682 + 0.0*i,
    -0.253458367588718 + 0.0*i,
    -0.020169987050304 + 0.0*i,
    -0.260327506005139 + 0.0*i,
    -0.1245657512642 + 0.0*i,
    -0.153895110614411 + 0.0*i,
    -0.0536122055474871 + 0.0*i,
    -0.194285041793071 + 0.0*i,
    -0.301448078038746 + 0.0*i,
    0.265936931518848 + 0.0*i,
    -0.115734995245258 + 0.0*i,
    0.12256227722666 + 0.0*i,
    -0.0390488134667496 + 0.0*i,
    -0.0443488479386495 + 0.0*i,
    -0.100963830180254 + 0.0*i,
    -0.0159983011582224 + 0.0*i,
    0.234950258573836 + 0.0*i,
    0.0833386620447272 + 0.0*i,
    -0.0533433482480031 + 0.0*i,
    0.209154443838987 + 0.0*i,
    -0.0483143612195419 + 0.0*i,
    -0.229930596215343 + 0.0*i,
    0.293628079591544 + 0.0*i,
    0.0951835954610752 + 0.0*i,
    -0.185945955261416 + 0.0*i,
    -0.125858662092933 + 0.0*i,
    0.38844750656569 + 0.0*i,
    0.168865238951626 + 0.0*i,
    0.129294919550894 + 0.0*i,
    -0.235204815253368 + 0.0*i,
    0.23991399081628 + 0.0*i,
    0.255329791437533 + 0.0*i,
    -0.234252985120684 + 0.0*i,
    -0.26085347364884 + 0.0*i,
    -0.277283373911225 + 0.0*i,
    -0.343508000669633 + 0.0*i,
    -0.189125118203954 + 0.0*i,
    0.118968943680771 + 0.0*i,
    -0.0213895729202851 + 0.0*i,
    0.234467529112511 + 0.0*i,
    -0.0561742781987037 + 0.0*i,
    -0.048756717486814 + 0.0*i,
    0.302170544953991 + 0.0*i,
    -0.412233628540224 + 0.0*i,
    -0.114238429461126 + 0.0*i,
    -0.0563746434850416 + 0.0*i,
    -0.103789350188296 + 0.0*i,
    -0.00128919575168533 + 0.0*i,
    0.344554513040167 + 0.0*i,
    -0.18123107117365 + 0.0*i,
    -0.180098139308069 + 0.0*i,
    0.416306393037746 + 0.0*i,
    -0.277980192590898 + 0.0*i,
    -0.376914875968283 + 0.0*i,
    -0.0838104817294465 + 0.0*i,
    0.104974935389066 + 0.0*i,
    0.243487720567119 + 0.0*i,
    0.030919352441673 + 0.0*i,
    -0.317945191100016 + 0.0*i,
    -0.19233416831948 + 0.0*i,
    0.0466189892881272 + 0.0*i,
    0.425704850429239 + 0.0*i,
    0.347669487114027 + 0.0*i,
    -0.194167810549819 + 0.0*i,
    0.258485508111278 + 0.0*i,
    0.368356145784978 + 0.0*i,
    0.0796784776594138 + 0.0*i,
    -0.320398994256834 + 0.0*i,
    -0.00666033190123143 + 0.0*i,
    -0.344867843747754 + 0.0*i,
    0.0822909168492467 + 0.0*i,
    0.159167928757705 + 0.0*i,
    -0.347316980349101 + 0.0*i,
    0.391550548655932 + 0.0*i,
    -0.174990977232356 + 0.0*i,
    -0.1765214654979 + 0.0*i,
    0.0893629249566359 + 0.0*i,
    -0.288977641939304 + 0.0*i,
    -0.219535381547791 + 0.0*i,
    0.124887416475385 + 0.0*i
]);