V:=Matrix(CC,4,127,[
    0.534732930114184 + 0.0*i,
    -0.439767379138286 + 0.0*i,
    0.144618313984899 + 0.0*i,
    -1.13414645710936 + 0.0*i,
    0.423187825808815 + 0.0*i,
    -0.652102373938776 + 0.0*i,
    0.134120188125367 + 0.0*i,
    -0.077100559061634 + 0.0*i,
    -0.610736705128377 + 0.0*i,
    0.752506187372739 + 0.0*i,
    1.2592388319779 + 0.0*i,
    0.926426103048372 + 0.0*i,
    -0.38926997510113 + 0.0*i,
    0.246769054803087 + 0.0*i,
    0.111574839531525 + 0.0*i,
    -0.302304805142303 + 0.0*i,
    -0.434730759481618 + 0.0*i,
    0.834374453943377 + 0.0*i,
    0.90317877824198 + 0.0*i,
    0.76616157279436 + 0.0*i,
    -0.354389522149882 + 0.0*i,
    -0.783326664280732 + 0.0*i,
    0.0279256867814975 + 0.0*i,
    0.120411264284055 + 0.0*i,
    0.263860411198798 + 0.0*i,
    -0.153742497447545 + 0.0*i,
    -0.0985778209404317 + 0.0*i,
    0.2636752129436 + 0.0*i,
    0.00240911598954584 + 0.0*i,
    0.179881035736141 + 0.0*i,
    -0.581653423321143 + 0.0*i,
    0.840148308648892 + 0.0*i,
    0.061409258890511 + 0.0*i,
    -0.28678148861932 + 0.0*i,
    -0.0994824802432905 + 0.0*i,
    -0.199392131841396 + 0.0*i,
    0.494349480552827 + 0.0*i,
    -0.474939243304525 + 0.0*i,
    0.152517272663056 + 0.0*i,
    -0.334216319665776 + 0.0*i,
    -0.127441303465783 + 0.0*i,
    -0.217527431179907 + 0.0*i,
    0.460814091009335 + 0.0*i,
    -0.114427287176249 + 0.0*i,
    -0.183866055463493 + 0.0*i,
    -0.130965451158641 + 0.0*i,
    -0.386923972588052 + 0.0*i,
    0.184500002594321 + 0.0*i,
    -0.0408939439984374 + 0.0*i,
    -0.123875596667044 + 0.0*i,
    0.725067959247229 + 0.0*i,
    -0.856691308507799 + 0.0*i,
    0.635357080929179 + 0.0*i,
    0.998966768248528 + 0.0*i,
    0.294393754559793 + 0.0*i,
    -0.190367489901454 + 0.0*i,
    1.03670908076247 + 0.0*i,
    1.01626157533717 + 0.0*i,
    -0.14881783604949 + 0.0*i,
    0.107120041277958 + 0.0*i,
    -0.0153682388250775 + 0.0*i,
    -0.267038393368582 + 0.0*i,
    0.607773341263687 + 0.0*i,
    -0.309606156423234 + 0.0*i,
    -0.132653665067106 + 0.0*i,
    0.864319712348298 + 0.0*i,
    -0.253722581889836 + 0.0*i,
    -0.194659250539126 + 0.0*i,
    1.28927696610423 + 0.0*i,
    0.193897296857051 + 0.0*i,
    0.563119889250011 + 0.0*i,
    0.0754071931764475 + 0.0*i,
    0.251300271467242 + 0.0*i,
    0.136449437587399 + 0.0*i,
    -0.812180092092115 + 0.0*i,
    0.187896689679367 + 0.0*i,
    -0.117883736979971 + 0.0*i,
    0.446181546949119 + 0.0*i,
    -0.117345923673906 + 0.0*i,
    0.715603721047401 + 0.0*i,
    -0.317415540742943 + 0.0*i,
    -0.932620167320196 + 0.0*i,
    0.45295084484101 + 0.0*i,
    -1.02204848341839 + 0.0*i,
    0.319277169577159 + 0.0*i,
    0.931946537302172 + 0.0*i,
    0.416276417283305 + 0.0*i,
    0.0125987052222589 + 0.0*i,
    -0.206780206368825 + 0.0*i,
    0.0173505425394263 + 0.0*i,
    0.244503306408554 + 0.0*i,
    -0.637793884358778 + 0.0*i,
    -0.155182847834365 + 0.0*i,
    0.412731692937499 + 0.0*i,
    0.7287016814653 + 0.0*i,
    0.487506890045036 + 0.0*i,
    0.547587851209263 + 0.0*i,
    -0.320623214656515 + 0.0*i,
    -0.705512691966775 + 0.0*i,
    -0.651694330711533 + 0.0*i,
    0.305860669610183 + 0.0*i,
    0.275216944945266 + 0.0*i,
    0.270224860944099 + 0.0*i,
    -0.594718694083219 + 0.0*i,
    -0.323850253557905 + 0.0*i,
    -0.0765003329269259 + 0.0*i,
    0.718971689374854 + 0.0*i,
    0.529738060695719 + 0.0*i,
    -0.202017435634274 + 0.0*i,
    0.369649120254022 + 0.0*i,
    0.11810167523951 + 0.0*i,
    -0.394375082851998 + 0.0*i,
    -0.0345487825967223 + 0.0*i,
    0.411482969645685 + 0.0*i,
    -0.0377171526930469 + 0.0*i,
    -0.651052063750035 + 0.0*i,
    0.685778675799679 + 0.0*i,
    -0.175904152706403 + 0.0*i,
    -0.410533757023574 + 0.0*i,
    -0.110625146977394 + 0.0*i,
    -0.166036346835122 + 0.0*i,
    0.0190624174476852 + 0.0*i,
    -0.777995314444177 + 0.0*i,
    -0.0468993936245809 + 0.0*i,
    -0.275037402817685 + 0.0*i,
    -0.288193920076724 + 0.0*i,
    -0.296852947629078 + 0.0*i,
    -0.113328649527216 + 0.0*i,
    0.540020484833111 + 0.0*i,
    -0.335567752879676 + 0.0*i,
    -0.425545162300312 + 0.0*i,
    -0.79796706524919 + 0.0*i,
    -0.310888880812434 + 0.0*i,
    -0.443578720458451 + 0.0*i,
    -0.250383062628956 + 0.0*i,
    0.928565417452151 + 0.0*i,
    -0.081627341709719 + 0.0*i,
    -0.343427045497468 + 0.0*i,
    -0.520769487057288 + 0.0*i,
    0.0550020268399244 + 0.0*i,
    -0.764117163466373 + 0.0*i,
    -0.314761546435435 + 0.0*i,
    -0.320978036353873 + 0.0*i,
    0.352271798501901 + 0.0*i,
    -0.166154071380357 + 0.0*i,
    -0.101107397046188 + 0.0*i,
    -0.0968902684951495 + 0.0*i,
    -0.428699301100517 + 0.0*i,
    0.21815244493586 + 0.0*i,
    0.0429828133752792 + 0.0*i,
    -0.238207795745017 + 0.0*i,
    0.498943458450511 + 0.0*i,
    0.491281624524826 + 0.0*i,
    0.315141747176987 + 0.0*i,
    -0.14819010751458 + 0.0*i,
    -0.206804809501819 + 0.0*i,
    -0.165453713860583 + 0.0*i,
    0.460693972390644 + 0.0*i,
    0.391378068225483 + 0.0*i,
    0.829602245641144 + 0.0*i,
    -0.525396204337343 + 0.0*i,
    1.25257673194306 + 0.0*i,
    -0.0989735079134648 + 0.0*i,
    0.997002017553046 + 0.0*i,
    0.789593266928362 + 0.0*i,
    -0.139798356574222 + 0.0*i,
    -0.233281372785696 + 0.0*i,
    0.128500832519434 + 0.0*i,
    0.483888093715786 + 0.0*i,
    -1.05380442536353 + 0.0*i,
    -0.0169749712880893 + 0.0*i,
    -0.0196090669149787 + 0.0*i,
    -0.580972300042183 + 0.0*i,
    -0.3630247775589 + 0.0*i,
    0.147605614835922 + 0.0*i,
    0.45923550301156 + 0.0*i,
    -0.458987682732228 + 0.0*i,
    0.154979944455189 + 0.0*i,
    -0.0883305968321909 + 0.0*i,
    -0.245775341216759 + 0.0*i,
    0.140010655105799 + 0.0*i,
    0.0851011805042749 + 0.0*i,
    0.671201346653889 + 0.0*i,
    0.596571727153652 + 0.0*i,
    -0.707495661518272 + 0.0*i,
    0.215346353430703 + 0.0*i,
    0.0694988239724088 + 0.0*i,
    -0.129222404944938 + 0.0*i,
    -0.864543707425865 + 0.0*i,
    0.134801866996946 + 0.0*i,
    -0.754946733191952 + 0.0*i,
    0.00470550512797369 + 0.0*i,
    -0.955658552421777 + 0.0*i,
    0.477385562446894 + 0.0*i,
    -0.860176671563509 + 0.0*i,
    -0.129966315088102 + 0.0*i,
    0.692188212913088 + 0.0*i,
    0.0198575082995777 + 0.0*i,
    -0.759460963047629 + 0.0*i,
    -0.0854539216025334 + 0.0*i,
    1.20191177651821 + 0.0*i,
    -0.975648331087385 + 0.0*i,
    -0.504203426038266 + 0.0*i,
    0.0820002557888674 + 0.0*i,
    -0.265947744985632 + 0.0*i,
    -0.751888508896854 + 0.0*i,
    -0.422715535562998 + 0.0*i,
    0.576203889875671 + 0.0*i,
    -0.0234672982337088 + 0.0*i,
    0.110952955260113 + 0.0*i,
    -0.362120770589447 + 0.0*i,
    0.466314618543167 + 0.0*i,
    0.615038608007136 + 0.0*i,
    -0.50534429386951 + 0.0*i,
    1.04916226275984 + 0.0*i,
    0.685247640568268 + 0.0*i,
    0.552448687347241 + 0.0*i,
    -0.0381801842211173 + 0.0*i,
    0.425772926046061 + 0.0*i,
    -1.11923399068342 + 0.0*i,
    0.654479566633616 + 0.0*i,
    -0.118547345053683 + 0.0*i,
    0.447048297737605 + 0.0*i,
    0.0730790722363648 + 0.0*i,
    -0.569716859122705 + 0.0*i,
    -0.483642458606928 + 0.0*i,
    -0.559050957381718 + 0.0*i,
    0.162516475348038 + 0.0*i,
    -0.311701234737899 + 0.0*i,
    -0.402310789695202 + 0.0*i,
    -0.607745213490348 + 0.0*i,
    -0.155800924801349 + 0.0*i,
    -0.248418917171579 + 0.0*i,
    0.139106376208888 + 0.0*i,
    -0.523726302356514 + 0.0*i,
    -0.153951045127993 + 0.0*i,
    0.0175467108426813 + 0.0*i,
    -0.316191281963809 + 0.0*i,
    -0.499113805490604 + 0.0*i,
    0.262292161049147 + 0.0*i,
    -0.29179830151332 + 0.0*i,
    0.877457517306334 + 0.0*i,
    -0.724567671291042 + 0.0*i,
    -0.433105011660024 + 0.0*i,
    -0.229364134155739 + 0.0*i,
    -0.674334023698582 + 0.0*i,
    0.809500484232658 + 0.0*i,
    -0.0131223475620943 + 0.0*i,
    0.126877715867071 + 0.0*i,
    0.23054529725378 + 0.0*i,
    -0.056801380497777 + 0.0*i,
    -0.964680535212024 + 0.0*i,
    -0.0225483685006891 + 0.0*i,
    -0.314418223313708 + 0.0*i,
    0.636877438109046 + 0.0*i,
    0.297832469210444 + 0.0*i,
    -0.401190807801074 + 0.0*i,
    0.41460529473095 + 0.0*i,
    0.251331196773389 + 0.0*i,
    -0.286590682023149 + 0.0*i,
    0.00761786745161736 + 0.0*i,
    -0.209093471816422 + 0.0*i,
    -0.421405920509831 + 0.0*i,
    0.0855586791555916 + 0.0*i,
    -0.618649048910937 + 0.0*i,
    -0.119195893982432 + 0.0*i,
    0.454450425273595 + 0.0*i,
    -0.72773570003027 + 0.0*i,
    0.848590768083433 + 0.0*i,
    -0.033031392892315 + 0.0*i,
    -1.1250111921437 + 0.0*i,
    -0.0602552376258149 + 0.0*i,
    -0.49602959667381 + 0.0*i,
    -0.609581658806078 + 0.0*i,
    1.29624738291883 + 0.0*i,
    -0.22206190678515 + 0.0*i,
    -0.389960982466804 + 0.0*i,
    0.569702444620456 + 0.0*i,
    0.648149054741917 + 0.0*i,
    -0.388541754511876 + 0.0*i,
    -0.785801925371083 + 0.0*i,
    0.841205003282071 + 0.0*i,
    0.249530762086464 + 0.0*i,
    0.180412820696598 + 0.0*i,
    -0.29582071403223 + 0.0*i,
    -0.337191270222973 + 0.0*i,
    -0.275848227024358 + 0.0*i,
    -0.532071468907218 + 0.0*i,
    0.48870555282663 + 0.0*i,
    0.514552991274193 + 0.0*i,
    -0.222886538528833 + 0.0*i,
    -0.380948227390616 + 0.0*i,
    -0.977925510142484 + 0.0*i,
    -0.030554891041041 + 0.0*i,
    0.502999024803605 + 0.0*i,
    -0.277993660193963 + 0.0*i,
    -0.310044678236832 + 0.0*i,
    -0.98293554646424 + 0.0*i,
    0.608512469230398 + 0.0*i,
    -0.536099043667826 + 0.0*i,
    -0.0982464244181878 + 0.0*i,
    0.210399296395443 + 0.0*i,
    -0.737461218155805 + 0.0*i,
    0.69172708489088 + 0.0*i,
    0.324748009293563 + 0.0*i,
    -0.617448041890086 + 0.0*i,
    -0.46810642437742 + 0.0*i,
    -0.175311198386037 + 0.0*i,
    -0.2786596494094 + 0.0*i,
    0.434756482658298 + 0.0*i,
    0.504359648094966 + 0.0*i,
    0.170089029764676 + 0.0*i,
    0.812262536112926 + 0.0*i,
    -0.660738830019697 + 0.0*i,
    0.26504796234714 + 0.0*i,
    0.144765340275782 + 0.0*i,
    -0.301753968073132 + 0.0*i,
    0.175902113618048 + 0.0*i,
    1.53595346938045 + 0.0*i,
    0.240459216768153 + 0.0*i,
    1.50845478328172 + 0.0*i,
    0.049022897767578 + 0.0*i,
    0.958583602169729 + 0.0*i,
    -0.44392697696729 + 0.0*i,
    -0.459220749378141 + 0.0*i,
    -0.275551400224933 + 0.0*i,
    0.368404786456253 + 0.0*i,
    -0.918398931593902 + 0.0*i,
    -0.117936800046996 + 0.0*i,
    -0.393226137980307 + 0.0*i,
    0.389329932443353 + 0.0*i,
    0.530799208605242 + 0.0*i,
    -0.0215260809199573 + 0.0*i,
    -0.358433010099175 + 0.0*i,
    0.216141279774131 + 0.0*i,
    -0.237434180370415 + 0.0*i,
    0.254517704366777 + 0.0*i,
    -0.5682016945848 + 0.0*i,
    -0.348788882405087 + 0.0*i,
    -0.407845524354261 + 0.0*i,
    0.587246637412793 + 0.0*i,
    -0.0285992049535679 + 0.0*i,
    -0.289101773726844 + 0.0*i,
    0.897214460264467 + 0.0*i,
    0.389248959856689 + 0.0*i,
    0.403021273988484 + 0.0*i,
    0.741630613684109 + 0.0*i,
    0.784258974721124 + 0.0*i,
    -0.884137780212582 + 0.0*i,
    -0.664089148335937 + 0.0*i,
    -0.0595128058252578 + 0.0*i,
    -0.238538231093489 + 0.0*i,
    0.33168371964351 + 0.0*i,
    0.541651573450723 + 0.0*i,
    -0.566566650858535 + 0.0*i,
    -0.110490326444552 + 0.0*i,
    -0.000736247234660078 + 0.0*i,
    0.0345658932797769 + 0.0*i,
    0.129806428118673 + 0.0*i,
    -0.40043248465749 + 0.0*i,
    -0.521243053724187 + 0.0*i,
    0.419237017371147 + 0.0*i,
    0.397946933705373 + 0.0*i,
    -0.505009470350594 + 0.0*i,
    -0.489038595139941 + 0.0*i,
    -0.0435469625745063 + 0.0*i,
    -0.126404377302023 + 0.0*i,
    0.115358763546332 + 0.0*i,
    0.257843411043982 + 0.0*i,
    0.552953986301399 + 0.0*i,
    0.403414123685536 + 0.0*i,
    0.478287841264327 + 0.0*i,
    -0.193376017398431 + 0.0*i,
    -0.302718763364548 + 0.0*i,
    0.339804623893699 + 0.0*i,
    -0.00489119724665767 + 0.0*i,
    0.0908840051197431 + 0.0*i,
    0.0141046240393237 + 0.0*i,
    -0.805889936436214 + 0.0*i,
    0.445257048106884 + 0.0*i,
    0.0862208488643279 + 0.0*i,
    -0.569674842260515 + 0.0*i,
    -0.0397142521140961 + 0.0*i,
    0.661749195526827 + 0.0*i,
    0.0834085489690703 + 0.0*i,
    -0.482024635415802 + 0.0*i,
    0.243282266719411 + 0.0*i,
    -0.938704687684272 + 0.0*i,
    0.00464663329819914 + 0.0*i,
    0.236711168638872 + 0.0*i,
    0.924053679289086 + 0.0*i,
    0.0740217365652257 + 0.0*i,
    -0.491649532986391 + 0.0*i,
    -0.359176237624077 + 0.0*i,
    0.698869630425486 + 0.0*i,
    -0.34910940176984 + 0.0*i,
    0.353686371541835 + 0.0*i,
    -0.433127398894062 + 0.0*i,
    -0.123747198128198 + 0.0*i,
    -0.156977374797115 + 0.0*i,
    0.520224370249517 + 0.0*i,
    -0.892817859074536 + 0.0*i,
    -0.138549552750422 + 0.0*i,
    -0.431956237617511 + 0.0*i,
    0.589065724814905 + 0.0*i,
    -0.490633366489565 + 0.0*i,
    0.557575195255804 + 0.0*i,
    0.312145259396035 + 0.0*i,
    0.124842676754847 + 0.0*i,
    0.203943698138069 + 0.0*i,
    0.348614865228942 + 0.0*i,
    0.23400235363636 + 0.0*i,
    -0.152639639344285 + 0.0*i,
    0.261369876038692 + 0.0*i,
    0.555771536350165 + 0.0*i,
    0.0514990314881295 + 0.0*i,
    0.0742595996329451 + 0.0*i,
    -0.135097405487227 + 0.0*i,
    -1.19094109303067 + 0.0*i,
    0.986311467693768 + 0.0*i,
    -0.455668878942971 + 0.0*i,
    0.160081295204962 + 0.0*i,
    0.788056180840494 + 0.0*i,
    -0.0771924492397164 + 0.0*i,
    -0.155365674561686 + 0.0*i,
    -0.310235393527911 + 0.0*i,
    -0.868809823080803 + 0.0*i,
    0.0678607175042818 + 0.0*i,
    -0.48194285680016 + 0.0*i,
    -0.353957192604747 + 0.0*i,
    -0.416017317789067 + 0.0*i,
    -0.686248723792572 + 0.0*i,
    -0.234695463547177 + 0.0*i,
    -0.158050477657428 + 0.0*i,
    0.772453456593166 + 0.0*i,
    0.198837226259334 + 0.0*i,
    -0.124530983759791 + 0.0*i,
    0.154895132040837 + 0.0*i,
    0.602744104505555 + 0.0*i,
    -0.422190338291145 + 0.0*i,
    0.567890571261243 + 0.0*i,
    -0.372652527820093 + 0.0*i,
    0.156938259929866 + 0.0*i,
    0.202863386070634 + 0.0*i,
    -0.193762554301189 + 0.0*i,
    0.458632118903468 + 0.0*i,
    0.0708302273991618 + 0.0*i,
    0.19223906567675 + 0.0*i,
    -0.00897705105862171 + 0.0*i,
    -0.194235773053043 + 0.0*i,
    0.407333596240331 + 0.0*i,
    0.167380521574612 + 0.0*i,
    -0.00942070203004384 + 0.0*i,
    0.422829277339484 + 0.0*i,
    1.06312832248708 + 0.0*i,
    -0.508328865420354 + 0.0*i,
    0.23757764258511 + 0.0*i,
    -0.894122876328237 + 0.0*i,
    0.12705642924711 + 0.0*i,
    0.174032100357834 + 0.0*i,
    0.381358488626016 + 0.0*i,
    1.03830921288394 + 0.0*i,
    0.0233484927618765 + 0.0*i,
    -1.04822776673408 + 0.0*i,
    0.903035208465154 + 0.0*i,
    -0.434977065233617 + 0.0*i,
    0.0177966175234538 + 0.0*i,
    0.337162163279959 + 0.0*i,
    -0.137548130658391 + 0.0*i,
    0.308161893032409 + 0.0*i,
    -0.443239549033516 + 0.0*i,
    -0.263781099364914 + 0.0*i,
    0.524813117679283 + 0.0*i,
    0.535765168613618 + 0.0*i,
    0.315181990147853 + 0.0*i,
    -0.08313534920708 + 0.0*i,
    -0.187975139391671 + 0.0*i,
    -0.0381449496812945 + 0.0*i,
    0.332125495637257 + 0.0*i,
    1.16021126812358 + 0.0*i,
    0.581125210536881 + 0.0*i,
    -0.150948047659278 + 0.0*i,
    0.348888406654991 + 0.0*i,
    -0.200803403776985 + 0.0*i,
    0.952997805638143 + 0.0*i,
    -0.125379520932325 + 0.0*i,
    0.104558450435326 + 0.0*i,
    0.413992482667137 + 0.0*i,
    0.338622926297474 + 0.0*i,
    0.244250806663 + 0.0*i,
    0.47879996493158 + 0.0*i,
    -0.0659785057044323 + 0.0*i,
    0.269845507157719 + 0.0*i,
    -1.0048288692769 + 0.0*i,
    0.0775035269817245 + 0.0*i,
    0.804571889857403 + 0.0*i,
    0.045891886323457 + 0.0*i,
    0.248123889310976 + 0.0*i,
    -0.706021895176828 + 0.0*i,
    -0.412805880521327 + 0.0*i,
    -0.183268898029737 + 0.0*i,
    -0.415010431665521 + 0.0*i,
    0.207418655124596 + 0.0*i,
    0.910433778363903 + 0.0*i,
    0.0267098851017328 + 0.0*i,
    -0.0568966989906959 + 0.0*i,
    -0.47723248155815 + 0.0*i,
    0.663102801599963 + 0.0*i
]);