V:=Matrix(CC,4,131,[
    0.226864523767992 + 0.0*i,
    -0.334669064785788 + 0.0*i,
    0.290738065048433 + 0.0*i,
    0.314546134898493 + 0.0*i,
    0.240583754135917 + 0.0*i,
    -0.118323536865742 + 0.0*i,
    0.12688692491353 + 0.0*i,
    0.250162265440235 + 0.0*i,
    -0.0437271057093535 + 0.0*i,
    -0.0254980103920108 + 0.0*i,
    0.244865638825291 + 0.0*i,
    0.157064442917785 + 0.0*i,
    0.441898991171923 + 0.0*i,
    0.00490828448070432 + 0.0*i,
    0.108734180170735 + 0.0*i,
    0.0560051645073152 + 0.0*i,
    0.128609369854829 + 0.0*i,
    0.212871996099284 + 0.0*i,
    -0.0857254153965989 + 0.0*i,
    -0.186894153487186 + 0.0*i,
    -0.00515560386860117 + 0.0*i,
    -0.0450858195664548 + 0.0*i,
    0.0942210305599026 + 0.0*i,
    0.398031176748194 + 0.0*i,
    0.251570000602285 + 0.0*i,
    0.217056216391462 + 0.0*i,
    0.283276048779823 + 0.0*i,
    -0.141061201983894 + 0.0*i,
    -0.22163665290638 + 0.0*i,
    0.202363636658673 + 0.0*i,
    0.0617328734196421 + 0.0*i,
    0.175451928610411 + 0.0*i,
    -0.241839074378962 + 0.0*i,
    0.347325456910565 + 0.0*i,
    0.394303342546622 + 0.0*i,
    0.226511629193766 + 0.0*i,
    -0.384113701017552 + 0.0*i,
    0.0245910533129892 + 0.0*i,
    0.386368198785733 + 0.0*i,
    -0.261112787218947 + 0.0*i,
    0.0334086552997125 + 0.0*i,
    0.127843987161745 + 0.0*i,
    -0.459070340002154 + 0.0*i,
    -0.110615022016736 + 0.0*i,
    0.215535962783077 + 0.0*i,
    0.0634431418909423 + 0.0*i,
    -0.339390177097535 + 0.0*i,
    0.191532148342884 + 0.0*i,
    0.243738275562 + 0.0*i,
    0.295204014960633 + 0.0*i,
    -0.0647483558987316 + 0.0*i,
    0.408389109533399 + 0.0*i,
    0.278705870786822 + 0.0*i,
    -0.333703331186187 + 0.0*i,
    -0.347187258076931 + 0.0*i,
    0.36455463105569 + 0.0*i,
    0.0238511170316242 + 0.0*i,
    -0.396682045234133 + 0.0*i,
    0.207900982045089 + 0.0*i,
    -0.0608278303746904 + 0.0*i,
    -0.129182348003957 + 0.0*i,
    0.39648636874 + 0.0*i,
    0.351849351293377 + 0.0*i,
    -0.0212565591500239 + 0.0*i,
    0.360695395301539 + 0.0*i,
    0.054063213205308 + 0.0*i,
    0.0145136982359461 + 0.0*i,
    0.364145113368799 + 0.0*i,
    0.157110751577075 + 0.0*i,
    -0.314984408679687 + 0.0*i,
    -0.384968020966637 + 0.0*i,
    -0.263529702142125 + 0.0*i,
    -0.140851407334798 + 0.0*i,
    -0.32370346086425 + 0.0*i,
    -0.449698331356662 + 0.0*i,
    0.212458462248115 + 0.0*i,
    -0.198649883957707 + 0.0*i,
    0.449936225855312 + 0.0*i,
    0.190504045177715 + 0.0*i,
    -0.0333838481318609 + 0.0*i,
    0.0872460822500295 + 0.0*i,
    0.135050736315709 + 0.0*i,
    -0.126899150022596 + 0.0*i,
    0.377591944219483 + 0.0*i,
    0.460462400838251 + 0.0*i,
    -0.0263138985844236 + 0.0*i,
    0.20014453423319 + 0.0*i,
    0.204899896079555 + 0.0*i,
    -0.0596727303628354 + 0.0*i,
    -0.38723666680239 + 0.0*i,
    -0.0915353304890253 + 0.0*i,
    0.0489621232803517 + 0.0*i,
    0.0122611719750691 + 0.0*i,
    0.249212059197312 + 0.0*i,
    -0.271902197430661 + 0.0*i,
    -0.188077916831777 + 0.0*i,
    0.143749200561878 + 0.0*i,
    -0.0193073924959931 + 0.0*i,
    -0.0536406489918172 + 0.0*i,
    -0.108580970543814 + 0.0*i,
    0.104579351480962 + 0.0*i,
    -0.348814326171292 + 0.0*i,
    0.230103978458164 + 0.0*i,
    0.168631524860725 + 0.0*i,
    0.34611097921642 + 0.0*i,
    -0.328305386122878 + 0.0*i,
    0.157308504035034 + 0.0*i,
    -0.357482210852159 + 0.0*i,
    -0.0336839819922214 + 0.0*i,
    0.309013046646521 + 0.0*i,
    -0.405697271479702 + 0.0*i,
    -0.237167608961616 + 0.0*i,
    0.197102131797081 + 0.0*i,
    -0.115104572836727 + 0.0*i,
    0.0612040953615994 + 0.0*i,
    -0.280996178280199 + 0.0*i,
    -0.227115765549299 + 0.0*i,
    -0.206543412921899 + 0.0*i,
    0.475752377847588 + 0.0*i,
    -0.129106113644278 + 0.0*i,
    -0.159545376886754 + 0.0*i,
    -0.17673165620873 + 0.0*i,
    -0.436290542895247 + 0.0*i,
    0.210551163396557 + 0.0*i,
    -0.291174665228158 + 0.0*i,
    0.331847626388747 + 0.0*i,
    0.0814797926755452 + 0.0*i,
    0.47022505101828 + 0.0*i,
    0.0554947514149126 + 0.0*i,
    -0.0356930924460768 + 0.0*i,
    0.05282728011347 + 0.0*i,
    0.115313199667817 + 0.0*i,
    0.22791049779362 + 0.0*i,
    -0.0253938594275433 + 0.0*i,
    0.293692658928574 + 0.0*i,
    -0.232985956333123 + 0.0*i,
    0.366833360627314 + 0.0*i,
    0.0910098646464313 + 0.0*i,
    -0.177009598169996 + 0.0*i,
    -0.0844167021687764 + 0.0*i,
    -0.106782343406512 + 0.0*i,
    -0.0536660826736623 + 0.0*i,
    -0.379017650668256 + 0.0*i,
    0.182896811661758 + 0.0*i,
    -0.465436168301759 + 0.0*i,
    -0.05785104851806 + 0.0*i,
    0.255026695816153 + 0.0*i,
    -0.266647953996314 + 0.0*i,
    0.00432077816823715 + 0.0*i,
    -0.105527216476425 + 0.0*i,
    0.0874955972511475 + 0.0*i,
    0.14060629850502 + 0.0*i,
    0.0205236795435627 + 0.0*i,
    0.322264092514957 + 0.0*i,
    0.057369425482859 + 0.0*i,
    -0.286349811616028 + 0.0*i,
    -0.0845756745376254 + 0.0*i,
    0.149606987090385 + 0.0*i,
    0.168271222375479 + 0.0*i,
    -0.033372142373561 + 0.0*i,
    0.40063054124979 + 0.0*i,
    0.23921538373657 + 0.0*i,
    0.451670609172069 + 0.0*i,
    -0.371924860851492 + 0.0*i,
    -0.13871516507023 + 0.0*i,
    -0.200756216525561 + 0.0*i,
    -0.382326757283612 + 0.0*i,
    0.0856437786501997 + 0.0*i,
    -0.395641631756813 + 0.0*i,
    0.22818068616606 + 0.0*i,
    -0.105504368522377 + 0.0*i,
    0.209536135662721 + 0.0*i,
    0.187895191617001 + 0.0*i,
    0.138247498021491 + 0.0*i,
    0.0193073407875136 + 0.0*i,
    0.262199338341842 + 0.0*i,
    0.00531774798777353 + 0.0*i,
    0.280169606946964 + 0.0*i,
    0.0349641270312037 + 0.0*i,
    -0.365254702956297 + 0.0*i,
    -0.0416863939125581 + 0.0*i,
    -0.475951914120845 + 0.0*i,
    0.0449850047192544 + 0.0*i,
    0.0186969564757047 + 0.0*i,
    0.0657205951442085 + 0.0*i,
    -0.229598907222995 + 0.0*i,
    -0.265426790216153 + 0.0*i,
    -0.458038755529094 + 0.0*i,
    -0.0887787370707893 + 0.0*i,
    -0.140731312749821 + 0.0*i,
    0.313947130703787 + 0.0*i,
    -0.369082320063985 + 0.0*i,
    0.18836878235205 + 0.0*i,
    0.161333589412063 + 0.0*i,
    -0.21056900720318 + 0.0*i,
    -0.139564431131375 + 0.0*i,
    0.317135549145387 + 0.0*i,
    0.278845113428256 + 0.0*i,
    -0.333471259296312 + 0.0*i,
    0.283044206605017 + 0.0*i,
    -0.171848880113011 + 0.0*i,
    -0.00494961699256484 + 0.0*i,
    0.214306207491238 + 0.0*i,
    0.317035192427266 + 0.0*i,
    -0.300789654246532 + 0.0*i,
    -0.163519820783908 + 0.0*i,
    0.19958495596528 + 0.0*i,
    0.337800786611967 + 0.0*i,
    0.0191797495860752 + 0.0*i,
    -0.423039244069647 + 0.0*i,
    -0.206557395606823 + 0.0*i,
    -0.0591939447970869 + 0.0*i,
    0.0207127688701583 + 0.0*i,
    0.467182169283352 + 0.0*i,
    -0.204451621365971 + 0.0*i,
    -0.0978158465444415 + 0.0*i,
    0.448117321199908 + 0.0*i,
    0.382493546727869 + 0.0*i,
    -0.142594626635674 + 0.0*i,
    0.128177686133027 + 0.0*i,
    -0.0225720287800315 + 0.0*i,
    0.29101060852872 + 0.0*i,
    0.395832240842335 + 0.0*i,
    0.105394952686219 + 0.0*i,
    0.374306107297994 + 0.0*i,
    -0.206988975336204 + 0.0*i,
    0.195772797159195 + 0.0*i,
    -0.0868245950578865 + 0.0*i,
    -0.390633098332481 + 0.0*i,
    0.157975797502019 + 0.0*i,
    0.21174634204791 + 0.0*i,
    -0.27603375937325 + 0.0*i,
    -0.35471759476117 + 0.0*i,
    -0.37108304502987 + 0.0*i,
    0.268679216012747 + 0.0*i,
    -0.122636846847073 + 0.0*i,
    -0.0719677620890978 + 0.0*i,
    0.432149757508909 + 0.0*i,
    -0.259373877150883 + 0.0*i,
    0.376887027418381 + 0.0*i,
    -0.0291471960015187 + 0.0*i,
    0.0954739144658832 + 0.0*i,
    -0.181939746484656 + 0.0*i,
    0.311530483335009 + 0.0*i,
    -0.00846855314519306 + 0.0*i,
    0.051486328669752 + 0.0*i,
    0.232362378453744 + 0.0*i,
    0.419572984023261 + 0.0*i,
    -0.161573702514658 + 0.0*i,
    0.042982207701369 + 0.0*i,
    0.226247608425461 + 0.0*i,
    -0.331767020176369 + 0.0*i,
    0.303959401585383 + 0.0*i,
    0.171225516004215 + 0.0*i,
    0.139082937912231 + 0.0*i,
    0.189616545838419 + 0.0*i,
    -0.293586118318466 + 0.0*i,
    -0.194058374920815 + 0.0*i,
    0.00754553843593413 + 0.0*i,
    0.122596765435261 + 0.0*i,
    0.431659283499609 + 0.0*i,
    0.378580053085649 + 0.0*i,
    -0.217110148805078 + 0.0*i,
    0.2556798758078 + 0.0*i,
    0.0161504320871337 + 0.0*i,
    0.114909653497099 + 0.0*i,
    0.156673373828111 + 0.0*i,
    0.017595206714908 + 0.0*i,
    -0.440547800748102 + 0.0*i,
    -0.0861456504373286 + 0.0*i,
    0.325431462914322 + 0.0*i,
    0.409922525263271 + 0.0*i,
    0.419423709916096 + 0.0*i,
    0.283289835585758 + 0.0*i,
    -0.0191145892167361 + 0.0*i,
    -0.116762734585828 + 0.0*i,
    0.115177952687715 + 0.0*i,
    0.417774114954195 + 0.0*i,
    -0.234631755646218 + 0.0*i,
    -0.206957909089616 + 0.0*i,
    0.0624728241985494 + 0.0*i,
    0.365881652105509 + 0.0*i,
    0.442655648711062 + 0.0*i,
    0.271482442896828 + 0.0*i,
    0.154456734763593 + 0.0*i,
    -0.142200134463274 + 0.0*i,
    -0.289628542872491 + 0.0*i,
    0.317443868056242 + 0.0*i,
    -0.369929921011377 + 0.0*i,
    0.437615986671302 + 0.0*i,
    -0.393534013622451 + 0.0*i,
    -0.0488311827045502 + 0.0*i,
    -0.429571882500366 + 0.0*i,
    0.0138489871093745 + 0.0*i,
    -0.208835577161571 + 0.0*i,
    -0.21514858160798 + 0.0*i,
    -0.193826759019168 + 0.0*i,
    0.148805131330849 + 0.0*i,
    -0.262948812061752 + 0.0*i,
    0.146504831913162 + 0.0*i,
    0.215225339427739 + 0.0*i,
    -0.372795768246031 + 0.0*i,
    0.117423289989101 + 0.0*i,
    -0.00223162467103408 + 0.0*i,
    -0.0930595369898109 + 0.0*i,
    0.0772690400785665 + 0.0*i,
    -0.343517515077208 + 0.0*i,
    0.421247065937147 + 0.0*i,
    -0.191057987130072 + 0.0*i,
    -0.372677426904114 + 0.0*i,
    -0.0758052143542761 + 0.0*i,
    0.225334307314612 + 0.0*i,
    0.103660617497561 + 0.0*i,
    0.0638826421499717 + 0.0*i,
    0.126916491119351 + 0.0*i,
    0.362671136749423 + 0.0*i,
    0.166011607998071 + 0.0*i,
    0.151686540203883 + 0.0*i,
    -0.100703608507296 + 0.0*i,
    -0.200629510755922 + 0.0*i,
    -0.3904489370872 + 0.0*i,
    0.270710699669829 + 0.0*i,
    -0.105751793003416 + 0.0*i,
    -0.218366890196886 + 0.0*i,
    0.228523688441631 + 0.0*i,
    0.21778451517146 + 0.0*i,
    0.133391778192483 + 0.0*i,
    -0.10674738079203 + 0.0*i,
    -0.316482612796359 + 0.0*i,
    -0.043566061616137 + 0.0*i,
    -0.309535293379254 + 0.0*i,
    -0.00548264691816504 + 0.0*i,
    0.251731729621686 + 0.0*i,
    -0.325736609590461 + 0.0*i,
    0.344425854250158 + 0.0*i,
    -0.0723665460855031 + 0.0*i,
    -0.0112954667818242 + 0.0*i,
    -0.256092529695148 + 0.0*i,
    -0.130078505806873 + 0.0*i,
    -0.0141645670855455 + 0.0*i,
    -0.161826129814079 + 0.0*i,
    -0.386996457149681 + 0.0*i,
    0.467928530000858 + 0.0*i,
    -0.474603759874226 + 0.0*i,
    -0.0534190470856243 + 0.0*i,
    0.00977838414951869 + 0.0*i,
    -0.0292395454732476 + 0.0*i,
    -0.126948353970647 + 0.0*i,
    -0.138436297428459 + 0.0*i,
    -0.271279294663531 + 0.0*i,
    0.0991843325469681 + 0.0*i,
    -0.300425367661211 + 0.0*i,
    -0.0217886645669105 + 0.0*i,
    0.278738535877155 + 0.0*i,
    0.279926370152429 + 0.0*i,
    -0.212479118115941 + 0.0*i,
    0.0291698876766749 + 0.0*i,
    -0.0614404863101759 + 0.0*i,
    0.315802308958223 + 0.0*i,
    0.270702213277024 + 0.0*i,
    -0.207365918702942 + 0.0*i,
    0.117978208391794 + 0.0*i,
    0.321158619948336 + 0.0*i,
    0.00358669789511821 + 0.0*i,
    -0.158631805114471 + 0.0*i,
    0.308042419827623 + 0.0*i,
    -0.115810368533169 + 0.0*i,
    0.326173914492453 + 0.0*i,
    0.126991265593492 + 0.0*i,
    0.146883036561766 + 0.0*i,
    0.285962142094809 + 0.0*i,
    -0.0818805297291743 + 0.0*i,
    -0.188367892680893 + 0.0*i,
    -0.391496796041567 + 0.0*i,
    0.30003885404296 + 0.0*i,
    -0.141748274280492 + 0.0*i,
    0.482928296766626 + 0.0*i,
    0.111887578263986 + 0.0*i,
    -0.0533743215269538 + 0.0*i,
    -0.249313552336213 + 0.0*i,
    0.106128272562379 + 0.0*i,
    -0.395645844910533 + 0.0*i,
    0.089184736156371 + 0.0*i,
    -0.2192367179281 + 0.0*i,
    0.0769776125857058 + 0.0*i,
    0.185621320059106 + 0.0*i,
    -0.331658366511031 + 0.0*i,
    0.0356106899382572 + 0.0*i,
    0.428212734578154 + 0.0*i,
    -0.16432182762212 + 0.0*i,
    0.330180919488142 + 0.0*i,
    0.0560178558621923 + 0.0*i,
    -0.290406051217877 + 0.0*i,
    -0.366291804512237 + 0.0*i,
    0.119254370149597 + 0.0*i,
    0.397696526564315 + 0.0*i,
    -0.218577706884749 + 0.0*i,
    0.332330476425047 + 0.0*i,
    0.30822278950064 + 0.0*i,
    0.166132747016554 + 0.0*i,
    0.36794248943982 + 0.0*i,
    -0.353539917322935 + 0.0*i,
    0.251550557063205 + 0.0*i,
    -0.0411097330160074 + 0.0*i,
    -0.0223308604745452 + 0.0*i,
    -0.107636497511859 + 0.0*i,
    0.0350406510283 + 0.0*i,
    0.468969929394627 + 0.0*i,
    0.00553821365969886 + 0.0*i,
    0.324614320858672 + 0.0*i,
    0.398084066589174 + 0.0*i,
    -0.475580248719669 + 0.0*i,
    -0.264397308661823 + 0.0*i,
    0.179190475233206 + 0.0*i,
    0.407005700787643 + 0.0*i,
    -0.337129729612125 + 0.0*i,
    0.252452726476745 + 0.0*i,
    0.124473032590418 + 0.0*i,
    -0.30794812468201 + 0.0*i,
    -0.0839073088833465 + 0.0*i,
    -0.0829614751026408 + 0.0*i,
    -0.202292879917567 + 0.0*i,
    -0.182949829156052 + 0.0*i,
    -0.0406252034758707 + 0.0*i,
    0.0897608015598736 + 0.0*i,
    -0.0637364105871336 + 0.0*i,
    0.24067550904629 + 0.0*i,
    0.0625218251698184 + 0.0*i,
    0.160831065641282 + 0.0*i,
    0.114794474102378 + 0.0*i,
    0.251245313226317 + 0.0*i,
    -0.0188900605232898 + 0.0*i,
    0.166397655988661 + 0.0*i,
    0.427715456109579 + 0.0*i,
    -0.440925476610036 + 0.0*i,
    0.0455686433170192 + 0.0*i,
    0.476629729094166 + 0.0*i,
    0.101127966675274 + 0.0*i,
    -0.241865861215627 + 0.0*i,
    0.0625053771656825 + 0.0*i,
    -0.24972667160147 + 0.0*i,
    0.223187568960708 + 0.0*i,
    0.311674409668931 + 0.0*i,
    0.045968215334403 + 0.0*i,
    0.257618760572149 + 0.0*i,
    -0.378402590736136 + 0.0*i,
    -0.017467830398635 + 0.0*i,
    0.215445115826629 + 0.0*i,
    0.0886874665555542 + 0.0*i,
    -0.152815606779278 + 0.0*i,
    0.202644783619144 + 0.0*i,
    -0.157889450073932 + 0.0*i,
    0.272787918348033 + 0.0*i,
    -0.292341692943131 + 0.0*i,
    -0.00531161417535428 + 0.0*i,
    0.207745808159154 + 0.0*i,
    0.394240167148534 + 0.0*i,
    -0.279268294406869 + 0.0*i,
    0.366427379660548 + 0.0*i,
    0.253974708658082 + 0.0*i,
    0.0262298469987137 + 0.0*i,
    -0.22108668965166 + 0.0*i,
    0.336360996142686 + 0.0*i,
    0.196335591231661 + 0.0*i,
    0.124547237224261 + 0.0*i,
    0.0693655173427925 + 0.0*i,
    -0.205935168066647 + 0.0*i,
    -0.109826456631744 + 0.0*i,
    0.310353322909729 + 0.0*i,
    0.170223778653547 + 0.0*i,
    -0.206086986224004 + 0.0*i,
    0.0273329569340957 + 0.0*i,
    0.225875154848195 + 0.0*i,
    0.10102058428358 + 0.0*i,
    -0.0352444403988825 + 0.0*i,
    -0.0455197436443077 + 0.0*i,
    0.239516277416251 + 0.0*i,
    0.124493761121073 + 0.0*i,
    0.169457478491297 + 0.0*i,
    0.20097738469737 + 0.0*i,
    -0.328932322156166 + 0.0*i,
    -0.461232862995302 + 0.0*i,
    -0.0497688224515032 + 0.0*i,
    -0.390681434560273 + 0.0*i,
    0.0737135040248384 + 0.0*i,
    -0.389137640039998 + 0.0*i,
    -0.0400626376133003 + 0.0*i,
    -0.363320326269871 + 0.0*i,
    0.408907525317021 + 0.0*i,
    0.334196117480461 + 0.0*i,
    0.10013188959143 + 0.0*i,
    0.406842254165694 + 0.0*i,
    0.395603791031938 + 0.0*i,
    0.234445382481629 + 0.0*i,
    0.0185911471954481 + 0.0*i,
    -0.161842831231459 + 0.0*i,
    0.225025639650368 + 0.0*i,
    -0.254424367041588 + 0.0*i,
    -0.162557698761733 + 0.0*i,
    -0.120340650597604 + 0.0*i,
    -0.158312378457985 + 0.0*i,
    -0.151175548425388 + 0.0*i,
    -0.374300265255406 + 0.0*i,
    -0.169157319224956 + 0.0*i,
    -0.0418266130239205 + 0.0*i,
    -0.141991336824982 + 0.0*i,
    0.45272649352548 + 0.0*i,
    -0.0582520934426259 + 0.0*i,
    0.29781633473533 + 0.0*i,
    0.0902417441940292 + 0.0*i,
    0.337081434488725 + 0.0*i,
    0.00713825879586109 + 0.0*i,
    -0.0634312921112238 + 0.0*i,
    0.312304580488825 + 0.0*i,
    0.273913636579919 + 0.0*i,
    0.117120615284098 + 0.0*i,
    0.386456154570072 + 0.0*i,
    -0.128754714755626 + 0.0*i,
    -0.205431454208423 + 0.0*i,
    -0.137048118294203 + 0.0*i,
    0.0124726541062931 + 0.0*i,
    0.333042750326348 + 0.0*i,
    -0.230945968788654 + 0.0*i,
    0.0948933070447093 + 0.0*i
]);