V:=Matrix(CC,4,76,[
    -0.114954333524402 + 0.0*i,
    0.422676158200298 + 0.0*i,
    -0.0724929530247387 + 0.0*i,
    -0.877518793302727 + 0.0*i,
    0.735932007165408 + 0.0*i,
    -0.972364419671765 + 0.0*i,
    0.0813510394697012 + 0.0*i,
    -0.156777007348391 + 0.0*i,
    0.454534531080825 + 0.0*i,
    1.00936670863633 + 0.0*i,
    -0.394240302442252 + 0.0*i,
    -0.0343900367394956 + 0.0*i,
    -0.499156467704956 + 0.0*i,
    0.452563424606337 + 0.0*i,
    0.22717781566877 + 0.0*i,
    -0.197945322360116 + 0.0*i,
    -0.342496084881354 + 0.0*i,
    -0.0400250116460591 + 0.0*i,
    -0.129998672355778 + 0.0*i,
    -0.513081344104898 + 0.0*i,
    0.0776927222122487 + 0.0*i,
    0.203360912347428 + 0.0*i,
    -0.550163781415013 + 0.0*i,
    0.213908838917705 + 0.0*i,
    -0.425261334720769 + 0.0*i,
    0.740853738001179 + 0.0*i,
    -0.0547337044592382 + 0.0*i,
    0.0308250329849913 + 0.0*i,
    -0.909165214364408 + 0.0*i,
    -0.590592862494154 + 0.0*i,
    -0.429079125869273 + 0.0*i,
    0.0565365422815793 + 0.0*i,
    0.361307958261022 + 0.0*i,
    -0.0430953271545782 + 0.0*i,
    0.182581525371393 + 0.0*i,
    -0.0749022971322784 + 0.0*i,
    -0.742827541373643 + 0.0*i,
    -0.00742397825597797 + 0.0*i,
    0.425641425166997 + 0.0*i,
    0.189924124079626 + 0.0*i,
    -0.591070267515007 + 0.0*i,
    0.372720989714321 + 0.0*i,
    -0.881013100082941 + 0.0*i,
    -0.153907715869078 + 0.0*i,
    0.278805644337213 + 0.0*i,
    -0.542241053597526 + 0.0*i,
    -0.599059540933954 + 0.0*i,
    0.435551216224757 + 0.0*i,
    0.308098529649579 + 0.0*i,
    0.759896960321038 + 0.0*i,
    -0.982256653415526 + 0.0*i,
    0.0391360872632472 + 0.0*i,
    0.21870959906669 + 0.0*i,
    0.931720854703013 + 0.0*i,
    -0.306786662999874 + 0.0*i,
    0.148742043910242 + 0.0*i,
    -0.112437940133714 + 0.0*i,
    1.16267345068551 + 0.0*i,
    -0.0333823034122501 + 0.0*i,
    -0.243237336617018 + 0.0*i,
    0.0474244413313586 + 0.0*i,
    0.777128629806606 + 0.0*i,
    0.785135027511283 + 0.0*i,
    -0.307193495559558 + 0.0*i,
    -0.783487943467958 + 0.0*i,
    0.475272598484821 + 0.0*i,
    0.29946958408879 + 0.0*i,
    0.0666281294146631 + 0.0*i,
    0.804003554612798 + 0.0*i,
    -0.219326806663935 + 0.0*i,
    0.223176395340699 + 0.0*i,
    -0.289658197114798 + 0.0*i,
    0.202519884955191 + 0.0*i,
    -0.016752653042119 + 0.0*i,
    -0.0337156403012846 + 0.0*i,
    0.26736696330018 + 0.0*i,
    0.338458354342444 + 0.0*i,
    0.450658585743775 + 0.0*i,
    0.773297245053122 + 0.0*i,
    -0.544036800207839 + 0.0*i,
    -0.289532918961072 + 0.0*i,
    0.758338254537396 + 0.0*i,
    0.631439309123006 + 0.0*i,
    -0.195044592111936 + 0.0*i,
    0.684694680271201 + 0.0*i,
    -0.0708982801526725 + 0.0*i,
    1.04290115701969 + 0.0*i,
    -0.0939093412809044 + 0.0*i,
    0.493311102261421 + 0.0*i,
    -0.131900167955913 + 0.0*i,
    0.0715094851047804 + 0.0*i,
    0.524943913837977 + 0.0*i,
    0.143813281965919 + 0.0*i,
    -0.773163591163431 + 0.0*i,
    0.747556862430238 + 0.0*i,
    0.698187177654758 + 0.0*i,
    -0.435781634115623 + 0.0*i,
    -0.0562419024607344 + 0.0*i,
    -0.172111577063333 + 0.0*i,
    -0.115103744962263 + 0.0*i,
    -0.875763919225334 + 0.0*i,
    0.855509779578001 + 0.0*i,
    0.580415655999403 + 0.0*i,
    0.0285462031637756 + 0.0*i,
    -0.495417491621282 + 0.0*i,
    0.435315468008664 + 0.0*i,
    -0.287676875474284 + 0.0*i,
    -0.328471993668356 + 0.0*i,
    -0.546735462508555 + 0.0*i,
    -0.16967495010002 + 0.0*i,
    0.160123569998423 + 0.0*i,
    -0.627273369112072 + 0.0*i,
    0.363711247284569 + 0.0*i,
    -0.651713584969754 + 0.0*i,
    -0.551613320401744 + 0.0*i,
    0.598032771682905 + 0.0*i,
    -0.753368339878106 + 0.0*i,
    0.783062633382116 + 0.0*i,
    0.0121888433831475 + 0.0*i,
    0.389188392191287 + 0.0*i,
    -0.398901632050723 + 0.0*i,
    -0.298151675081124 + 0.0*i,
    0.741792672274577 + 0.0*i,
    -1.19110300432984 + 0.0*i,
    0.92302728156632 + 0.0*i,
    0.183197318885992 + 0.0*i,
    -0.267262809494036 + 0.0*i,
    0.598573075126221 + 0.0*i,
    -0.404471288439851 + 0.0*i,
    -0.227371345557213 + 0.0*i,
    0.506704890746819 + 0.0*i,
    -0.476811622200038 + 0.0*i,
    -0.385239414052926 + 0.0*i,
    0.00354386825320566 + 0.0*i,
    0.608417269809136 + 0.0*i,
    0.570893098322839 + 0.0*i,
    -0.22692729249968 + 0.0*i,
    0.0526152446729115 + 0.0*i,
    -0.0731859018995804 + 0.0*i,
    0.0163275054833018 + 0.0*i,
    0.295234182280012 + 0.0*i,
    -0.0430184642948226 + 0.0*i,
    -0.113322484004265 + 0.0*i,
    0.657048685875349 + 0.0*i,
    0.381096610497348 + 0.0*i,
    -0.208478006279422 + 0.0*i,
    0.32824642883005 + 0.0*i,
    -0.43045558005835 + 0.0*i,
    0.744577279302059 + 0.0*i,
    -0.189503339286565 + 0.0*i,
    0.560326492514532 + 0.0*i,
    0.816086345683241 + 0.0*i,
    0.22235539025068 + 0.0*i,
    -0.388080909087414 + 0.0*i,
    -0.51896764457183 + 0.0*i,
    0.91515726976735 + 0.0*i,
    0.0471550839877316 + 0.0*i,
    0.328288271011637 + 0.0*i,
    0.109845886244417 + 0.0*i,
    0.794691664925174 + 0.0*i,
    -0.00487639440596025 + 0.0*i,
    -0.0428350987583236 + 0.0*i,
    -0.164493458975678 + 0.0*i,
    0.207717789397625 + 0.0*i,
    0.348958963178519 + 0.0*i,
    0.463285190640282 + 0.0*i,
    0.315043328185938 + 0.0*i,
    -0.13945324246171 + 0.0*i,
    -1.08870655198955 + 0.0*i,
    0.592448047977694 + 0.0*i,
    0.117066349197513 + 0.0*i,
    -0.94596956228567 + 0.0*i,
    0.121150720154143 + 0.0*i,
    0.465919017832392 + 0.0*i,
    -0.12838323977027 + 0.0*i,
    -0.345372577951758 + 0.0*i,
    0.175107259893483 + 0.0*i,
    0.603312847898587 + 0.0*i,
    0.577505821207876 + 0.0*i,
    -0.574533053484463 + 0.0*i,
    0.0130392903294697 + 0.0*i,
    -0.189608851185718 + 0.0*i,
    -0.759726626070541 + 0.0*i,
    -0.859266254833448 + 0.0*i,
    0.833484277457212 + 0.0*i,
    0.188027378603659 + 0.0*i,
    0.0815872832084982 + 0.0*i,
    0.520042061956311 + 0.0*i,
    0.206405358731572 + 0.0*i,
    -0.968666045979501 + 0.0*i,
    0.304037460103144 + 0.0*i,
    0.326308952632527 + 0.0*i,
    -0.18847118854552 + 0.0*i,
    -0.0964497266802312 + 0.0*i,
    -0.126711541887612 + 0.0*i,
    0.226385524487346 + 0.0*i,
    0.138283812509987 + 0.0*i,
    -0.542320772908904 + 0.0*i,
    0.492550199399965 + 0.0*i,
    -0.0897233607835333 + 0.0*i,
    0.196001548118379 + 0.0*i,
    -0.157316245507048 + 0.0*i,
    -0.374213245885159 + 0.0*i,
    -0.356992154822088 + 0.0*i,
    0.903102322682046 + 0.0*i,
    0.606532975758613 + 0.0*i,
    -0.12856572800608 + 0.0*i,
    -0.411053294772179 + 0.0*i,
    -0.925621522799556 + 0.0*i,
    -0.475497745057277 + 0.0*i,
    0.23457792365261 + 0.0*i,
    0.643133753391643 + 0.0*i,
    -0.617095365828768 + 0.0*i,
    0.516367531927621 + 0.0*i,
    -0.526906771057251 + 0.0*i,
    0.648647977922806 + 0.0*i,
    -0.216892146453998 + 0.0*i,
    0.238550414016532 + 0.0*i,
    -1.14908170659585 + 0.0*i,
    0.829556796475897 + 0.0*i,
    0.639480213567935 + 0.0*i,
    0.244531063866716 + 0.0*i,
    -0.469177395029447 + 0.0*i,
    0.37536752371747 + 0.0*i,
    -0.395894754779998 + 0.0*i,
    0.547154481239444 + 0.0*i,
    -0.0933063333685046 + 0.0*i,
    0.108245657518357 + 0.0*i,
    -0.0492709678689438 + 0.0*i,
    0.128910142673537 + 0.0*i,
    -0.311372426851897 + 0.0*i,
    0.116589563680262 + 0.0*i,
    -0.587869409734311 + 0.0*i,
    -0.276609390968684 + 0.0*i,
    0.82076543703509 + 0.0*i,
    -1.02649962162372 + 0.0*i,
    0.478736720222435 + 0.0*i,
    0.0282021917712835 + 0.0*i,
    0.568437835057769 + 0.0*i,
    0.374799046774462 + 0.0*i,
    -0.0512044045515707 + 0.0*i,
    -0.878561284701502 + 0.0*i,
    1.05904973078407 + 0.0*i,
    -0.208848366177136 + 0.0*i,
    -0.206250643382176 + 0.0*i,
    -0.298918267251359 + 0.0*i,
    -0.161937611448242 + 0.0*i,
    0.00993948700326414 + 0.0*i,
    -0.455609555208987 + 0.0*i,
    0.05284249162107 + 0.0*i,
    0.905598752534398 + 0.0*i,
    0.0631315433963505 + 0.0*i,
    0.0812293781960989 + 0.0*i,
    -0.371233542711488 + 0.0*i,
    -0.577600240386141 + 0.0*i,
    0.626684865194752 + 0.0*i,
    0.0510698376143476 + 0.0*i,
    -0.625279036635111 + 0.0*i,
    -0.848793617989071 + 0.0*i,
    0.429196854253665 + 0.0*i,
    -0.40030705290235 + 0.0*i,
    0.767642671417925 + 0.0*i,
    -0.451170453370193 + 0.0*i,
    -0.12538810897913 + 0.0*i,
    0.329705089987556 + 0.0*i,
    -0.337078227412048 + 0.0*i,
    0.471974045669524 + 0.0*i,
    -0.0483891119789688 + 0.0*i,
    -0.736622374439199 + 0.0*i,
    -0.805462423692521 + 0.0*i,
    0.434389522060218 + 0.0*i,
    0.71044364797964 + 0.0*i,
    -0.89025498112477 + 0.0*i,
    0.184090323970293 + 0.0*i,
    0.457406684060602 + 0.0*i,
    -0.100284356675436 + 0.0*i,
    0.015815749894033 + 0.0*i,
    -0.577674603852118 + 0.0*i,
    -0.503474653614338 + 0.0*i,
    -0.977788404065925 + 0.0*i,
    0.560446017441173 + 0.0*i,
    0.29705632783016 + 0.0*i,
    -0.569056680940665 + 0.0*i,
    -0.0913220977525961 + 0.0*i,
    0.221917315447952 + 0.0*i,
    0.86918761177719 + 0.0*i,
    -1.09462997960068 + 0.0*i,
    -0.378624706474029 + 0.0*i,
    -0.749849888766521 + 0.0*i,
    -0.548064469506042 + 0.0*i,
    -0.722122935310283 + 0.0*i,
    -0.309440008958941 + 0.0*i,
    0.0538952874260421 + 0.0*i,
    -0.122088391352746 + 0.0*i,
    0.0146027876977372 + 0.0*i,
    -0.181267655368662 + 0.0*i,
    0.213565801256776 + 0.0*i,
    0.316168443856995 + 0.0*i,
    -0.684745398025617 + 0.0*i,
    -0.466499480457253 + 0.0*i,
    0.291345413028735 + 0.0*i,
    0.00500254123655734 + 0.0*i,
    -0.466266291426909 + 0.0*i,
    -0.241783105156186 + 0.0*i
]);