V:=Matrix(CC,4,127,[
    0.0825188562120413 + 0.0*i,
    0.238381532698768 + 0.0*i,
    -0.724227548722704 + 0.0*i,
    0.65535476154235 + 0.0*i,
    0.396561540347368 + 0.0*i,
    -1.24292884063386 + 0.0*i,
    1.09514186637779 + 0.0*i,
    0.235669680089981 + 0.0*i,
    -1.10880844871385 + 0.0*i,
    -0.245116814613781 + 0.0*i,
    -0.667551320973708 + 0.0*i,
    0.654042811903472 + 0.0*i,
    -0.308654844478262 + 0.0*i,
    0.0324600881592054 + 0.0*i,
    -0.111535888160664 + 0.0*i,
    -0.756200544222778 + 0.0*i,
    -0.40328496455588 + 0.0*i,
    0.199513849284013 + 0.0*i,
    0.136011998471749 + 0.0*i,
    -0.073866296908789 + 0.0*i,
    -0.208943817594802 + 0.0*i,
    0.0309774310074085 + 0.0*i,
    -0.190178557407898 + 0.0*i,
    -0.0201433103166179 + 0.0*i,
    -0.596677526949256 + 0.0*i,
    -0.0959355087750723 + 0.0*i,
    0.184247675370704 + 0.0*i,
    0.19589666677623 + 0.0*i,
    0.281828073163694 + 0.0*i,
    -0.400983243808605 + 0.0*i,
    0.743684059291048 + 0.0*i,
    -0.238404979091866 + 0.0*i,
    -0.334525413125732 + 0.0*i,
    -0.247440934443983 + 0.0*i,
    0.424790654085009 + 0.0*i,
    -0.234639737228294 + 0.0*i,
    -0.740334459601815 + 0.0*i,
    -0.2073370536072 + 0.0*i,
    -0.308058275946221 + 0.0*i,
    0.663623857507409 + 0.0*i,
    0.551183428648145 + 0.0*i,
    -0.126233404701439 + 0.0*i,
    -0.0740179941901504 + 0.0*i,
    -0.204571720611356 + 0.0*i,
    0.105980036074231 + 0.0*i,
    -0.909617977157054 + 0.0*i,
    0.179918916182288 + 0.0*i,
    -0.263238703459917 + 0.0*i,
    0.9578736640828 + 0.0*i,
    0.163630742482606 + 0.0*i,
    -0.341241060054033 + 0.0*i,
    -0.433923902288416 + 0.0*i,
    0.834881380946964 + 0.0*i,
    -0.332263138526691 + 0.0*i,
    -0.0918154198112471 + 0.0*i,
    0.797441351121987 + 0.0*i,
    0.435924872026778 + 0.0*i,
    0.796807742106809 + 0.0*i,
    -0.0911148905372721 + 0.0*i,
    -0.279444376826844 + 0.0*i,
    -0.748701570985104 + 0.0*i,
    -0.32312709198468 + 0.0*i,
    -0.334245403077782 + 0.0*i,
    0.00776792664965822 + 0.0*i,
    -0.430215462728739 + 0.0*i,
    -0.958598786818984 + 0.0*i,
    -0.315702273488481 + 0.0*i,
    0.310430430114764 + 0.0*i,
    -0.362398710292142 + 0.0*i,
    0.705178296195905 + 0.0*i,
    0.425197115907342 + 0.0*i,
    0.426735132219248 + 0.0*i,
    -0.0738904201223766 + 0.0*i,
    0.839947386902386 + 0.0*i,
    0.0162184286611967 + 0.0*i,
    0.547159741762234 + 0.0*i,
    -0.920015402967629 + 0.0*i,
    0.402826245990754 + 0.0*i,
    -0.372800649580379 + 0.0*i,
    -0.902765743906668 + 0.0*i,
    -0.412612124963956 + 0.0*i,
    -0.29361489933486 + 0.0*i,
    -0.261870456549359 + 0.0*i,
    -0.214554461738092 + 0.0*i,
    -0.803568916747571 + 0.0*i,
    -0.386978226497765 + 0.0*i,
    0.0371282307350645 + 0.0*i,
    0.0612178770904284 + 0.0*i,
    -0.496854457963065 + 0.0*i,
    0.405247436330787 + 0.0*i,
    0.175168096549755 + 0.0*i,
    0.211072657129778 + 0.0*i,
    -0.370629945501816 + 0.0*i,
    -0.0541820884123536 + 0.0*i,
    -0.49864249624527 + 0.0*i,
    0.0229753327368348 + 0.0*i,
    -0.616477509182033 + 0.0*i,
    1.65989933596256 + 0.0*i,
    -0.615270288868749 + 0.0*i,
    -0.204347281743027 + 0.0*i,
    -0.643367257288663 + 0.0*i,
    -0.301195973324783 + 0.0*i,
    1.27561418253095 + 0.0*i,
    -0.294468261964782 + 0.0*i,
    -0.321976455180297 + 0.0*i,
    0.244533954762038 + 0.0*i,
    0.21831993276182 + 0.0*i,
    -0.124810134605147 + 0.0*i,
    -0.122569417289974 + 0.0*i,
    -0.29974146539475 + 0.0*i,
    0.494516918923844 + 0.0*i,
    -0.469255893622619 + 0.0*i,
    -0.470742172944493 + 0.0*i,
    -0.548819072652721 + 0.0*i,
    0.192578029373189 + 0.0*i,
    -0.484851221594533 + 0.0*i,
    -0.462183432466035 + 0.0*i,
    0.0554185111766055 + 0.0*i,
    -0.388725554196864 + 0.0*i,
    0.653788998319369 + 0.0*i,
    -0.510355632083564 + 0.0*i,
    -0.000628859103637201 + 0.0*i,
    -0.453336289948672 + 0.0*i,
    -0.0861914902300051 + 0.0*i,
    -1.07849728029652 + 0.0*i,
    -0.945927862937678 + 0.0*i,
    -0.124367872525854 + 0.0*i,
    0.360723667188975 + 0.0*i,
    -0.986189011307513 + 0.0*i,
    -0.297004998622937 + 0.0*i,
    0.112301533759814 + 0.0*i,
    -0.544156123585147 + 0.0*i,
    0.329469211887021 + 0.0*i,
    0.309915162489998 + 0.0*i,
    0.450492842842064 + 0.0*i,
    0.489639289121327 + 0.0*i,
    0.719320291513104 + 0.0*i,
    -0.0593401200753823 + 0.0*i,
    -0.234530041757088 + 0.0*i,
    -0.205913996935489 + 0.0*i,
    0.0339487984974395 + 0.0*i,
    0.283661088579549 + 0.0*i,
    0.128181225583776 + 0.0*i,
    -0.340323043496327 + 0.0*i,
    -0.25688674320212 + 0.0*i,
    0.135784040172212 + 0.0*i,
    0.460899159166898 + 0.0*i,
    -0.0589383843807017 + 0.0*i,
    -0.955063350755743 + 0.0*i,
    0.609991915504475 + 0.0*i,
    -0.0964489982917504 + 0.0*i,
    0.110580724056162 + 0.0*i,
    0.0145410080904568 + 0.0*i,
    -0.0350301445650995 + 0.0*i,
    -0.260314663972421 + 0.0*i,
    0.0525644798170249 + 0.0*i,
    0.220599354851392 + 0.0*i,
    0.463648085449105 + 0.0*i,
    -0.718643250703376 + 0.0*i,
    0.2753968514615 + 0.0*i,
    -0.519085352782883 + 0.0*i,
    -0.29113057657799 + 0.0*i,
    0.536979109912934 + 0.0*i,
    0.0211810192745002 + 0.0*i,
    -0.330813297772767 + 0.0*i,
    0.333979411525407 + 0.0*i,
    1.25095106509607 + 0.0*i,
    -0.689487759441321 + 0.0*i,
    0.246537457648564 + 0.0*i,
    -0.521692260334137 + 0.0*i,
    -0.0471070332886977 + 0.0*i,
    0.968760877317537 + 0.0*i,
    0.340493632350181 + 0.0*i,
    0.16002061318451 + 0.0*i,
    -0.696971563416558 + 0.0*i,
    -0.49420700769835 + 0.0*i,
    -0.770739256556287 + 0.0*i,
    0.148087516846179 + 0.0*i,
    -0.391506107912994 + 0.0*i,
    0.541438617961238 + 0.0*i,
    0.243497464578541 + 0.0*i,
    0.140962788597327 + 0.0*i,
    0.767624428541966 + 0.0*i,
    0.657845658879877 + 0.0*i,
    0.732872931553913 + 0.0*i,
    0.364183390630031 + 0.0*i,
    -0.22987061296884 + 0.0*i,
    0.4847778029007 + 0.0*i,
    -0.160933405999936 + 0.0*i,
    -0.291426419252556 + 0.0*i,
    -0.308055427027664 + 0.0*i,
    -0.250667298685396 + 0.0*i,
    -0.590061520834121 + 0.0*i,
    0.112922692220315 + 0.0*i,
    -0.0335883949375763 + 0.0*i,
    1.32465709379852 + 0.0*i,
    -0.285199896474261 + 0.0*i,
    0.281762932574218 + 0.0*i,
    -0.747520567745629 + 0.0*i,
    0.0981841976849642 + 0.0*i,
    -0.341313864592143 + 0.0*i,
    0.165144019620015 + 0.0*i,
    0.594286138519656 + 0.0*i,
    -0.172532749401993 + 0.0*i,
    0.442035727901914 + 0.0*i,
    0.698032956988298 + 0.0*i,
    0.159108119520448 + 0.0*i,
    0.114200701272838 + 0.0*i,
    -0.544394277520122 + 0.0*i,
    -0.173891342477788 + 0.0*i,
    0.0798579596315787 + 0.0*i,
    0.32277230140877 + 0.0*i,
    -0.0217434921398573 + 0.0*i,
    0.683918630995521 + 0.0*i,
    0.0774108485136212 + 0.0*i,
    -0.366050271660802 + 0.0*i,
    0.335442680279856 + 0.0*i,
    -0.0205326540779127 + 0.0*i,
    0.120853050936884 + 0.0*i,
    -0.233531768174772 + 0.0*i,
    -0.492268976105971 + 0.0*i,
    -0.454489244121693 + 0.0*i,
    0.575665615354045 + 0.0*i,
    -0.37679967839801 + 0.0*i,
    0.33633782607634 + 0.0*i,
    0.337909091435244 + 0.0*i,
    0.364656071463513 + 0.0*i,
    1.82789301514601 + 0.0*i,
    -0.48706499868718 + 0.0*i,
    -0.178233957180488 + 0.0*i,
    0.100369306017432 + 0.0*i,
    0.292890950612482 + 0.0*i,
    -0.338067300335638 + 0.0*i,
    -0.0951456237630921 + 0.0*i,
    0.526074962333698 + 0.0*i,
    0.774909523897397 + 0.0*i,
    -0.385810590810074 + 0.0*i,
    -0.483512586652393 + 0.0*i,
    -0.397481417537072 + 0.0*i,
    0.649815794479426 + 0.0*i,
    -0.922235612641304 + 0.0*i,
    -0.46251891367257 + 0.0*i,
    0.130205439560263 + 0.0*i,
    -0.0763313689697326 + 0.0*i,
    -0.680569087780248 + 0.0*i,
    0.151498980791412 + 0.0*i,
    0.475264161027502 + 0.0*i,
    0.519011468327361 + 0.0*i,
    -0.0182919346078503 + 0.0*i,
    -0.454811887607016 + 0.0*i,
    0.467235584769503 + 0.0*i,
    0.32478066648777 + 0.0*i,
    0.597111875700478 + 0.0*i,
    -0.240758692398625 + 0.0*i,
    0.522034496857351 + 0.0*i,
    -0.140932865437373 + 0.0*i,
    -0.311895310229724 + 0.0*i,
    0.0194675523927779 + 0.0*i,
    -0.704339993745723 + 0.0*i,
    -1.06406076572401 + 0.0*i,
    0.384497114553908 + 0.0*i,
    -0.0116236688223911 + 0.0*i,
    -0.177491872559591 + 0.0*i,
    -0.578159745828947 + 0.0*i,
    0.21352080324295 + 0.0*i,
    0.140279085204332 + 0.0*i,
    0.277492055572558 + 0.0*i,
    -0.0309641166022923 + 0.0*i,
    0.710097834492083 + 0.0*i,
    0.123390286344572 + 0.0*i,
    0.361522019608784 + 0.0*i,
    0.446386701454674 + 0.0*i,
    0.145876389848659 + 0.0*i,
    -0.0527910978297602 + 0.0*i,
    0.632239624446902 + 0.0*i,
    0.863755591936307 + 0.0*i,
    0.399819627493194 + 0.0*i,
    0.693543056630216 + 0.0*i,
    0.0863674819267138 + 0.0*i,
    -0.036302504401298 + 0.0*i,
    -0.105953437413417 + 0.0*i,
    -0.801094200471876 + 0.0*i,
    1.27571958737646 + 0.0*i,
    -0.0222954863690267 + 0.0*i,
    -0.302744510215906 + 0.0*i,
    0.420239968697757 + 0.0*i,
    -0.194848743571205 + 0.0*i,
    0.00292300702341647 + 0.0*i,
    0.710989062708177 + 0.0*i,
    -0.274064070337498 + 0.0*i,
    0.0759188238881832 + 0.0*i,
    -0.421289665077503 + 0.0*i,
    -0.131210007210733 + 0.0*i,
    0.207707557338207 + 0.0*i,
    -0.147800423765549 + 0.0*i,
    -0.643363530113896 + 0.0*i,
    -0.610592238543569 + 0.0*i,
    -0.650733841662862 + 0.0*i,
    -0.497199883100139 + 0.0*i,
    0.0741044079173796 + 0.0*i,
    0.43227557130589 + 0.0*i,
    0.414291054388756 + 0.0*i,
    0.188531765743406 + 0.0*i,
    0.014433022075036 + 0.0*i,
    -0.0325513174750378 + 0.0*i,
    -1.12052160425125 + 0.0*i,
    -0.0202785418935265 + 0.0*i,
    0.721235645810629 + 0.0*i,
    -0.349359166329002 + 0.0*i,
    0.977081746075059 + 0.0*i,
    0.752510389430676 + 0.0*i,
    -0.298788466082723 + 0.0*i,
    -0.955187126793621 + 0.0*i,
    -0.965573778955599 + 0.0*i,
    -0.702192312991701 + 0.0*i,
    -0.478808275476536 + 0.0*i,
    -0.517758903861377 + 0.0*i,
    1.06801310787578 + 0.0*i,
    0.329409803964533 + 0.0*i,
    0.516775642641668 + 0.0*i,
    0.99431167493381 + 0.0*i,
    0.545180315446405 + 0.0*i,
    0.846172698685264 + 0.0*i,
    -0.198771500853022 + 0.0*i,
    0.405503516629646 + 0.0*i,
    0.553482082325944 + 0.0*i,
    1.02833839422053 + 0.0*i,
    -0.447039271516352 + 0.0*i,
    -0.415806132554123 + 0.0*i,
    0.232300458776851 + 0.0*i,
    0.182319264890832 + 0.0*i,
    -0.135144464659834 + 0.0*i,
    -0.189944096447797 + 0.0*i,
    0.0776131401657082 + 0.0*i,
    1.1789046244377 + 0.0*i,
    0.151452691954525 + 0.0*i,
    0.217932715480943 + 0.0*i,
    0.963321111250243 + 0.0*i,
    -0.631817474091551 + 0.0*i,
    -0.0573881680654618 + 0.0*i,
    -0.660778725480754 + 0.0*i,
    -0.618576481866244 + 0.0*i,
    -0.0882140285036822 + 0.0*i,
    0.722948147904546 + 0.0*i,
    -0.233719098239135 + 0.0*i,
    -0.755837766894417 + 0.0*i,
    -0.233657539099709 + 0.0*i,
    -0.544247263710657 + 0.0*i,
    -0.351499352943112 + 0.0*i,
    -0.574954999463239 + 0.0*i,
    1.20141244454877 + 0.0*i,
    -0.0697009950233331 + 0.0*i,
    -0.247610264055375 + 0.0*i,
    -0.223050617237423 + 0.0*i,
    0.234572370844103 + 0.0*i,
    -0.388786341848925 + 0.0*i,
    -0.751124712709304 + 0.0*i,
    0.202747943075791 + 0.0*i,
    -0.844028993647242 + 0.0*i,
    0.203632876069804 + 0.0*i,
    -0.49909528576025 + 0.0*i,
    -0.739651132399091 + 0.0*i,
    0.162260969503857 + 0.0*i,
    0.307604117758103 + 0.0*i,
    -0.471889511175567 + 0.0*i,
    -0.31339999832066 + 0.0*i,
    -0.447192711642784 + 0.0*i,
    0.626783323827002 + 0.0*i,
    0.938505780599432 + 0.0*i,
    -0.545605368485087 + 0.0*i,
    0.0895477844823655 + 0.0*i,
    -0.0597239675839515 + 0.0*i,
    0.243966890081116 + 0.0*i,
    -0.215171751829016 + 0.0*i,
    0.211875260136177 + 0.0*i,
    -0.0163041137803831 + 0.0*i,
    0.0166615347083989 + 0.0*i,
    -0.565703640038076 + 0.0*i,
    -0.651055930891304 + 0.0*i,
    0.00331781280690087 + 0.0*i,
    -0.377563963876907 + 0.0*i,
    -0.527687548092657 + 0.0*i,
    -0.013689701584294 + 0.0*i,
    -0.498956101447877 + 0.0*i,
    0.570432823831728 + 0.0*i,
    -0.885251072760471 + 0.0*i,
    0.451194377730803 + 0.0*i,
    -0.0722983109576201 + 0.0*i,
    -0.497619148264311 + 0.0*i,
    -0.277838831493671 + 0.0*i,
    -0.197880734745275 + 0.0*i,
    0.0434103430157423 + 0.0*i,
    0.254352616301406 + 0.0*i,
    0.14867733375259 + 0.0*i,
    1.04890364746093 + 0.0*i,
    -0.369440897330463 + 0.0*i,
    -0.175805474381952 + 0.0*i,
    0.459140982290779 + 0.0*i,
    -0.10717889501802 + 0.0*i,
    -0.724202516382116 + 0.0*i,
    -0.0312515011154679 + 0.0*i,
    -0.500062908282687 + 0.0*i,
    -0.410088757745652 + 0.0*i,
    0.0624845547082609 + 0.0*i,
    0.162748831405067 + 0.0*i,
    0.000889428290538265 + 0.0*i,
    0.20091082271775 + 0.0*i,
    -0.399320247900947 + 0.0*i,
    -0.501436420121136 + 0.0*i,
    0.00656819308201858 + 0.0*i,
    0.319572994976369 + 0.0*i,
    -0.561846777156228 + 0.0*i,
    0.528932326868519 + 0.0*i,
    0.395099494658351 + 0.0*i,
    0.375631608150796 + 0.0*i,
    0.17345224798194 + 0.0*i,
    -1.06043454697509 + 0.0*i,
    1.08039579227208 + 0.0*i,
    -0.482365092648893 + 0.0*i,
    -0.624509732657773 + 0.0*i,
    0.0552245438345788 + 0.0*i,
    -0.531028415088795 + 0.0*i,
    -0.118948373778716 + 0.0*i,
    -0.00465184213326469 + 0.0*i,
    0.0386404236358479 + 0.0*i,
    -1.2702752144547 + 0.0*i,
    0.064700807071536 + 0.0*i,
    -0.336234386399349 + 0.0*i,
    0.33370584878488 + 0.0*i,
    0.337394464272965 + 0.0*i,
    0.776696169112884 + 0.0*i,
    0.619097241815044 + 0.0*i,
    0.0286671325285287 + 0.0*i,
    -0.10650907128073 + 0.0*i,
    0.0239724105964683 + 0.0*i,
    -0.486859177513347 + 0.0*i,
    0.366534485866577 + 0.0*i,
    -0.0519782580337747 + 0.0*i,
    0.368473213823227 + 0.0*i,
    0.647121760678385 + 0.0*i,
    1.0162697761068 + 0.0*i,
    -0.276015732176892 + 0.0*i,
    -0.0362661704949677 + 0.0*i,
    -0.0161244207536155 + 0.0*i,
    0.703625134527183 + 0.0*i,
    -0.244748535208662 + 0.0*i,
    0.270125693243039 + 0.0*i,
    0.311199847913928 + 0.0*i,
    -0.800946627530054 + 0.0*i,
    -0.569366491652897 + 0.0*i,
    -0.109673017578631 + 0.0*i,
    -0.441672879276182 + 0.0*i,
    0.508986877972293 + 0.0*i,
    0.769725574346241 + 0.0*i,
    0.0275015911143961 + 0.0*i,
    -0.490695181599161 + 0.0*i,
    0.320032426247979 + 0.0*i,
    0.138253490968984 + 0.0*i,
    0.400205476315899 + 0.0*i,
    0.733189080023686 + 0.0*i,
    0.523264286899868 + 0.0*i,
    -0.163199652882423 + 0.0*i,
    0.0347706908000873 + 0.0*i,
    0.506859409028831 + 0.0*i,
    -0.651648376526592 + 0.0*i,
    0.270829436319418 + 0.0*i,
    0.257665676646441 + 0.0*i,
    0.0271585711627566 + 0.0*i,
    0.407040817928504 + 0.0*i,
    0.00049941100061009 + 0.0*i,
    0.0783881475270028 + 0.0*i,
    -0.592125618954164 + 0.0*i,
    0.291510951691565 + 0.0*i,
    0.31500004069144 + 0.0*i,
    0.0881104438788493 + 0.0*i,
    -0.540060160309254 + 0.0*i,
    0.0996962710261185 + 0.0*i,
    -0.0414949916159692 + 0.0*i,
    0.675171445856862 + 0.0*i,
    0.616198259855712 + 0.0*i,
    -0.357602679629978 + 0.0*i,
    0.425130913499681 + 0.0*i,
    0.0582795018487824 + 0.0*i,
    -0.330638434454441 + 0.0*i,
    1.41016882482085 + 0.0*i,
    -0.60661776847597 + 0.0*i,
    -0.122294057536151 + 0.0*i,
    0.121138274556297 + 0.0*i,
    0.538918798562301 + 0.0*i,
    -0.311998124370117 + 0.0*i,
    -0.482449210925048 + 0.0*i,
    -0.132873493107923 + 0.0*i,
    -0.265237713576927 + 0.0*i,
    -0.582687420431974 + 0.0*i,
    -0.954694425150626 + 0.0*i,
    -0.292381806174907 + 0.0*i,
    0.130635037891904 + 0.0*i,
    -0.30600054334094 + 0.0*i,
    -0.0661796381879592 + 0.0*i,
    -0.0763713922162295 + 0.0*i,
    0.351716256850232 + 0.0*i,
    -0.156432734784924 + 0.0*i,
    -0.90794813293387 + 0.0*i,
    0.350605650432714 + 0.0*i,
    -0.397957563713619 + 0.0*i,
    0.439413844778779 + 0.0*i,
    -0.105891503356267 + 0.0*i,
    1.04383724643677 + 0.0*i
]);