V:=Matrix(CC,4,120,[
    -0.135061008023953 + 0.0*i,
    -0.136507991117661 + 0.0*i,
    -0.735918951510549 + 0.0*i,
    0.0352072782493265 + 0.0*i,
    0.367196157290034 + 0.0*i,
    0.595301486956806 + 0.0*i,
    -0.679876885478506 + 0.0*i,
    0.362120575492017 + 0.0*i,
    0.787247245462172 + 0.0*i,
    -1.01090853300562 + 0.0*i,
    -0.356632684427221 + 0.0*i,
    -0.104092155276883 + 0.0*i,
    -0.119713518801719 + 0.0*i,
    -0.383652190475169 + 0.0*i,
    0.118709952009847 + 0.0*i,
    -0.760436483194255 + 0.0*i,
    0.75086128040339 + 0.0*i,
    0.395109440677726 + 0.0*i,
    0.652944355684136 + 0.0*i,
    0.827800210966353 + 0.0*i,
    0.29656866897389 + 0.0*i,
    0.476772941663515 + 0.0*i,
    0.250176061753559 + 0.0*i,
    -0.513345597762266 + 0.0*i,
    0.424424337241321 + 0.0*i,
    0.80973052744786 + 0.0*i,
    -0.311834855290658 + 0.0*i,
    -0.34426646933203 + 0.0*i,
    0.053305665511378 + 0.0*i,
    0.0756382739827178 + 0.0*i,
    0.533972941421596 + 0.0*i,
    -1.00524069545791 + 0.0*i,
    0.31880649462751 + 0.0*i,
    0.0228017189248442 + 0.0*i,
    -0.430399715284009 + 0.0*i,
    0.00290792914939061 + 0.0*i,
    0.744854109550606 + 0.0*i,
    0.0911992099279574 + 0.0*i,
    0.186358737819574 + 0.0*i,
    0.714295682056816 + 0.0*i,
    0.0513577912673854 + 0.0*i,
    0.0624736593436925 + 0.0*i,
    -0.894593613763017 + 0.0*i,
    0.880166805946958 + 0.0*i,
    0.278997401170211 + 0.0*i,
    0.398309311217984 + 0.0*i,
    -0.164604343497551 + 0.0*i,
    0.513020794467914 + 0.0*i,
    -0.494974521271632 + 0.0*i,
    -0.199479151154205 + 0.0*i,
    -0.389754225551796 + 0.0*i,
    -0.352781805660826 + 0.0*i,
    0.332922812757652 + 0.0*i,
    -0.667254743907552 + 0.0*i,
    0.418121949708959 + 0.0*i,
    0.538619782377922 + 0.0*i,
    0.0554089413869063 + 0.0*i,
    -0.577270381562841 + 0.0*i,
    -0.331124488010815 + 0.0*i,
    -0.563498765243372 + 0.0*i,
    0.168536178331731 + 0.0*i,
    -0.442651880737982 + 0.0*i,
    -0.390174116268639 + 0.0*i,
    0.0495900546843075 + 0.0*i,
    0.764479118525392 + 0.0*i,
    0.133920028960893 + 0.0*i,
    -0.236250845228689 + 0.0*i,
    0.792977985735288 + 0.0*i,
    -0.607356699311561 + 0.0*i,
    0.00752598267982432 + 0.0*i,
    -0.664827035696637 + 0.0*i,
    0.733964981263105 + 0.0*i,
    0.280031462436577 + 0.0*i,
    -0.491490822790646 + 0.0*i,
    -0.556046997627871 + 0.0*i,
    -0.140778208940847 + 0.0*i,
    -0.117017121758598 + 0.0*i,
    -1.0638646621402 + 0.0*i,
    1.29316757016946 + 0.0*i,
    0.272815508504275 + 0.0*i,
    -0.23416692115742 + 0.0*i,
    0.0866035996679027 + 0.0*i,
    -0.932070871671011 + 0.0*i,
    0.519356950337877 + 0.0*i,
    -0.0951713418700622 + 0.0*i,
    -0.750805312301725 + 0.0*i,
    0.119120982388468 + 0.0*i,
    -0.61425345978343 + 0.0*i,
    0.073383314837378 + 0.0*i,
    0.494264302042906 + 0.0*i,
    0.323950290972478 + 0.0*i,
    -0.147727927878613 + 0.0*i,
    0.0875197794518707 + 0.0*i,
    -0.954773384246926 + 0.0*i,
    0.745007097712776 + 0.0*i,
    -0.386148843131531 + 0.0*i,
    0.169353533584734 + 0.0*i,
    -0.802527863629064 + 0.0*i,
    -0.137019812076991 + 0.0*i,
    0.0338951709414472 + 0.0*i,
    -0.283338499126607 + 0.0*i,
    0.0681823400779984 + 0.0*i,
    -0.0255092721331302 + 0.0*i,
    -0.387859205937977 + 0.0*i,
    0.637524124857411 + 0.0*i,
    0.254332328639648 + 0.0*i,
    0.43420810660728 + 0.0*i,
    -0.283336442595312 + 0.0*i,
    0.126567256507655 + 0.0*i,
    0.883859183773967 + 0.0*i,
    -0.301428695564188 + 0.0*i,
    -1.01926047854121 + 0.0*i,
    -0.199108451016507 + 0.0*i,
    0.343029056823462 + 0.0*i,
    0.565016275633913 + 0.0*i,
    -0.420539541645234 + 0.0*i,
    -0.600873679228712 + 0.0*i,
    0.0449034273481116 + 0.0*i,
    0.403494018554544 + 0.0*i,
    -0.591389416154258 + 0.0*i,
    0.408572147625894 + 0.0*i,
    0.152810333559643 + 0.0*i,
    -0.579311844247561 + 0.0*i,
    -0.751365935328669 + 0.0*i,
    -0.133896331751712 + 0.0*i,
    -0.236102135045022 + 0.0*i,
    0.642980013779626 + 0.0*i,
    0.649721845498559 + 0.0*i,
    -0.294973277169548 + 0.0*i,
    0.400062060012767 + 0.0*i,
    -0.131000516288199 + 0.0*i,
    1.29832639000234 + 0.0*i,
    0.0469304015229312 + 0.0*i,
    0.0750504949447882 + 0.0*i,
    -0.294809739264215 + 0.0*i,
    -0.351006069843508 + 0.0*i,
    -0.568802200441731 + 0.0*i,
    0.194474382892587 + 0.0*i,
    -0.156851325579054 + 0.0*i,
    0.267814586261817 + 0.0*i,
    0.273972616886287 + 0.0*i,
    -0.441152101705344 + 0.0*i,
    0.369811872411431 + 0.0*i,
    0.214214765495919 + 0.0*i,
    -0.673529681321659 + 0.0*i,
    0.309157900106624 + 0.0*i,
    0.510784676753374 + 0.0*i,
    -0.637940669922053 + 0.0*i,
    -0.309912995305642 + 0.0*i,
    0.0217162651266927 + 0.0*i,
    -0.756291438600791 + 0.0*i,
    0.898910636417052 + 0.0*i,
    -0.0972212945593711 + 0.0*i,
    -0.457945345978646 + 0.0*i,
    -0.104252472804265 + 0.0*i,
    0.38879617309282 + 0.0*i,
    0.595066910345444 + 0.0*i,
    -0.392991025201978 + 0.0*i,
    -0.78436054459954 + 0.0*i,
    -0.73530846949517 + 0.0*i,
    0.729232826965322 + 0.0*i,
    -0.500134526085143 + 0.0*i,
    -0.12207252198858 + 0.0*i,
    0.501611591275953 + 0.0*i,
    1.08466977855551 + 0.0*i,
    -0.288031210598134 + 0.0*i,
    -0.752063938947417 + 0.0*i,
    0.378263095564735 + 0.0*i,
    0.576661310777536 + 0.0*i,
    -0.140221423225814 + 0.0*i,
    -0.846713011503828 + 0.0*i,
    -0.317560130945882 + 0.0*i,
    0.318267665038011 + 0.0*i,
    0.246672747079675 + 0.0*i,
    -0.442634868926785 + 0.0*i,
    0.745189061004691 + 0.0*i,
    -0.123641946701764 + 0.0*i,
    0.380757306676548 + 0.0*i,
    0.742940272192366 + 0.0*i,
    -0.562009545966905 + 0.0*i,
    -0.174852536194444 + 0.0*i,
    0.0638638025832855 + 0.0*i,
    0.898060314504434 + 0.0*i,
    0.931984541986005 + 0.0*i,
    0.203453521965245 + 0.0*i,
    -0.0563199253607696 + 0.0*i,
    -0.105316691498076 + 0.0*i,
    0.476282740019966 + 0.0*i,
    0.109521675791623 + 0.0*i,
    -0.449860667841409 + 0.0*i,
    -0.49594743444603 + 0.0*i,
    -0.521544486817556 + 0.0*i,
    0.157749302403628 + 0.0*i,
    -0.542633425004539 + 0.0*i,
    -0.366736402336916 + 0.0*i,
    -0.503375659045955 + 0.0*i,
    0.296468908586133 + 0.0*i,
    -0.544323565121526 + 0.0*i,
    -0.359843128876875 + 0.0*i,
    0.29304325097212 + 0.0*i,
    -0.247690120078124 + 0.0*i,
    -0.039694141433472 + 0.0*i,
    -0.316451744467514 + 0.0*i,
    -1.00823569422315 + 0.0*i,
    0.0304787793524937 + 0.0*i,
    0.528196149300158 + 0.0*i,
    0.261956782810801 + 0.0*i,
    0.137591913978786 + 0.0*i,
    -1.16779005868562 + 0.0*i,
    0.0474028831960992 + 0.0*i,
    -0.206441786498463 + 0.0*i,
    -0.395182849279849 + 0.0*i,
    0.0703468702595899 + 0.0*i,
    -0.521974237503942 + 0.0*i,
    0.444714464435212 + 0.0*i,
    0.45873247762058 + 0.0*i,
    -0.537737801253752 + 0.0*i,
    0.35021307200953 + 0.0*i,
    -1.05833170043051 + 0.0*i,
    0.695951523855999 + 0.0*i,
    0.198244901121331 + 0.0*i,
    0.727315479418957 + 0.0*i,
    -0.362320241421698 + 0.0*i,
    0.508036606419669 + 0.0*i,
    -0.236857472584975 + 0.0*i,
    0.233988618459283 + 0.0*i,
    0.557708841498099 + 0.0*i,
    -0.391203204990845 + 0.0*i,
    -0.0109304686324615 + 0.0*i,
    0.444852182426575 + 0.0*i,
    0.205281144198974 + 0.0*i,
    0.398735612311413 + 0.0*i,
    0.393093409163277 + 0.0*i,
    1.09631173433567 + 0.0*i,
    0.87715793047698 + 0.0*i,
    0.0695367222106835 + 0.0*i,
    -0.414410900186162 + 0.0*i,
    0.565934575273361 + 0.0*i,
    1.06763068401648 + 0.0*i,
    0.379511854376858 + 0.0*i,
    -0.364615071074164 + 0.0*i,
    0.710718801239758 + 0.0*i,
    -1.32789438632817 + 0.0*i,
    -0.229838780683918 + 0.0*i,
    -0.921861058231729 + 0.0*i,
    0.487405467382851 + 0.0*i,
    -0.316488932271709 + 0.0*i,
    -0.304813091170152 + 0.0*i,
    -0.140274177952679 + 0.0*i,
    0.765192360597096 + 0.0*i,
    -0.275262840359612 + 0.0*i,
    -0.0963542696011791 + 0.0*i,
    -0.39259888581813 + 0.0*i,
    0.269522079135865 + 0.0*i,
    -0.475729245548848 + 0.0*i,
    0.597214867666998 + 0.0*i,
    0.312639546795899 + 0.0*i,
    0.127025242627434 + 0.0*i,
    0.68926784935851 + 0.0*i,
    0.123749394371111 + 0.0*i,
    0.116063783357596 + 0.0*i,
    0.399062195893105 + 0.0*i,
    -0.693766192300719 + 0.0*i,
    0.0397705375566406 + 0.0*i,
    -0.563946549747276 + 0.0*i,
    0.138251432793166 + 0.0*i,
    -0.0534947520647768 + 0.0*i,
    0.818140245136193 + 0.0*i,
    -0.117208825359612 + 0.0*i,
    0.722062208036312 + 0.0*i,
    -0.0973093057665123 + 0.0*i,
    0.328815080261537 + 0.0*i,
    0.466451311218281 + 0.0*i,
    -0.483587185830616 + 0.0*i,
    -0.33371107599485 + 0.0*i,
    0.0475626747945221 + 0.0*i,
    0.299140541603299 + 0.0*i,
    0.530721780839201 + 0.0*i,
    -0.686875307429265 + 0.0*i,
    -0.588875087479831 + 0.0*i,
    0.143787731938169 + 0.0*i,
    1.09807077215883 + 0.0*i,
    -0.353154725952323 + 0.0*i,
    0.449549572891426 + 0.0*i,
    -0.500441619405229 + 0.0*i,
    -0.991571076929877 + 0.0*i,
    -0.844704111287524 + 0.0*i,
    0.365578943122916 + 0.0*i,
    -0.213202284271683 + 0.0*i,
    1.10629074569315 + 0.0*i,
    -0.365510844745041 + 0.0*i,
    -0.298503982551567 + 0.0*i,
    0.307056586909595 + 0.0*i,
    -0.130723935130313 + 0.0*i,
    0.483228533135375 + 0.0*i,
    0.0739690566687796 + 0.0*i,
    0.572097973255168 + 0.0*i,
    -0.0808060854184026 + 0.0*i,
    0.630039610266809 + 0.0*i,
    0.0921069349617769 + 0.0*i,
    0.2174720758931 + 0.0*i,
    -0.422288850988006 + 0.0*i,
    -0.343687044490978 + 0.0*i,
    0.52803144073075 + 0.0*i,
    0.179516158007305 + 0.0*i,
    0.230439686435626 + 0.0*i,
    -0.241079367824416 + 0.0*i,
    -0.769897788233742 + 0.0*i,
    -1.50601315858145 + 0.0*i,
    0.509698517139309 + 0.0*i,
    0.0142764228596771 + 0.0*i,
    0.115946317931656 + 0.0*i,
    -0.0306318253934368 + 0.0*i,
    -0.136685073727757 + 0.0*i,
    0.254397990028868 + 0.0*i,
    0.151389263784664 + 0.0*i,
    0.698586483174596 + 0.0*i,
    0.401970941325668 + 0.0*i,
    0.417551840611282 + 0.0*i,
    -0.378021806198679 + 0.0*i,
    -0.739986467055226 + 0.0*i,
    -0.0359884632162149 + 0.0*i,
    0.126737932511688 + 0.0*i,
    0.553943551240656 + 0.0*i,
    0.366787925961191 + 0.0*i,
    0.433648686004778 + 0.0*i,
    0.0676646493741657 + 0.0*i,
    -0.175495166283397 + 0.0*i,
    -0.260952212380948 + 0.0*i,
    -0.224663236027423 + 0.0*i,
    -1.02602227122947 + 0.0*i,
    -0.78498212773828 + 0.0*i,
    1.09244875362486 + 0.0*i,
    -0.310478010867846 + 0.0*i,
    0.119579651683724 + 0.0*i,
    -0.563723210652749 + 0.0*i,
    0.16767657847069 + 0.0*i,
    -0.360399230597932 + 0.0*i,
    0.0217922190534546 + 0.0*i,
    -0.43685614963699 + 0.0*i,
    0.46157469316921 + 0.0*i,
    0.223893527267433 + 0.0*i,
    -0.185548537829258 + 0.0*i,
    0.362604061296571 + 0.0*i,
    -0.027454056834704 + 0.0*i,
    -0.789428749546185 + 0.0*i,
    -0.642923977187618 + 0.0*i,
    0.886317759373383 + 0.0*i,
    -0.391635846936048 + 0.0*i,
    -0.229283666323264 + 0.0*i,
    0.531004282119516 + 0.0*i,
    0.300869064205024 + 0.0*i,
    0.45985742996562 + 0.0*i,
    0.305221118542529 + 0.0*i,
    -0.320824712260743 + 0.0*i,
    0.0946251294164949 + 0.0*i,
    -0.408849223208167 + 0.0*i,
    -0.314104912788618 + 0.0*i,
    -0.228737648155164 + 0.0*i,
    -0.067889255705594 + 0.0*i,
    -0.3337141183032 + 0.0*i,
    0.0327813586195964 + 0.0*i,
    0.675165946653504 + 0.0*i,
    -0.243383648403407 + 0.0*i,
    -0.132189720165022 + 0.0*i,
    -0.479475283191882 + 0.0*i,
    -1.19573292932183 + 0.0*i,
    -0.21075612668654 + 0.0*i,
    -0.100763454977735 + 0.0*i,
    -0.189622544619413 + 0.0*i,
    0.237465380195138 + 0.0*i,
    -0.434340674985524 + 0.0*i,
    -0.0688250366235531 + 0.0*i,
    -0.120640075395063 + 0.0*i,
    -0.463243322548695 + 0.0*i,
    -0.469010689893276 + 0.0*i,
    -0.29749099496557 + 0.0*i,
    0.253110587743986 + 0.0*i,
    0.235965872304721 + 0.0*i,
    -0.118725236708107 + 0.0*i,
    0.352182028292289 + 0.0*i,
    -0.70891099282284 + 0.0*i,
    0.07179687653056 + 0.0*i,
    -0.0325649175647362 + 0.0*i,
    0.119143936594101 + 0.0*i,
    0.691437483712515 + 0.0*i,
    0.36834691998 + 0.0*i,
    0.236397578663274 + 0.0*i,
    0.38808361562502 + 0.0*i,
    0.492725167833734 + 0.0*i,
    0.343765978441218 + 0.0*i,
    0.214693671112155 + 0.0*i,
    0.30380924412426 + 0.0*i,
    -0.848884221584493 + 0.0*i,
    0.602927746940169 + 0.0*i,
    -0.262863419699192 + 0.0*i,
    0.269758095250755 + 0.0*i,
    -0.424259973315565 + 0.0*i,
    -0.450851549846393 + 0.0*i,
    0.261559089776294 + 0.0*i,
    0.771152254584915 + 0.0*i,
    -0.0108947999132595 + 0.0*i,
    -0.324072276881063 + 0.0*i,
    0.331926708908539 + 0.0*i,
    0.410591725417545 + 0.0*i,
    -0.0679761832779543 + 0.0*i,
    -0.429356254818998 + 0.0*i,
    -0.629048744872978 + 0.0*i,
    0.886969927038932 + 0.0*i,
    0.225128095630792 + 0.0*i,
    -0.420596443284358 + 0.0*i,
    0.411226016793501 + 0.0*i,
    0.619552794202337 + 0.0*i,
    -0.365467838959392 + 0.0*i,
    0.143603461469042 + 0.0*i,
    0.0376246296037261 + 0.0*i,
    0.198685011841871 + 0.0*i,
    0.26756699016557 + 0.0*i,
    0.157003559802293 + 0.0*i,
    -0.320443111683134 + 0.0*i,
    -0.467407327116658 + 0.0*i,
    0.426108693186552 + 0.0*i,
    -0.156478777942806 + 0.0*i,
    -0.234427921188299 + 0.0*i,
    -0.390602131664436 + 0.0*i,
    0.623380675755744 + 0.0*i,
    1.04371247181132 + 0.0*i,
    0.377989524247228 + 0.0*i,
    0.706306625916349 + 0.0*i,
    -0.0567072579671205 + 0.0*i,
    0.8923942846268 + 0.0*i,
    0.0927209710553076 + 0.0*i,
    -1.06324834153239 + 0.0*i,
    -0.448757202274512 + 0.0*i,
    -0.359258289563685 + 0.0*i,
    -0.208268001195126 + 0.0*i,
    0.285211907182296 + 0.0*i,
    0.0967870387520098 + 0.0*i,
    0.468149957473091 + 0.0*i,
    -0.194081732583341 + 0.0*i,
    -0.673435277662436 + 0.0*i,
    0.208695223457911 + 0.0*i,
    0.217142835584055 + 0.0*i,
    0.118839963038673 + 0.0*i,
    -0.193192311649731 + 0.0*i,
    0.633131907071339 + 0.0*i,
    -0.83355998951052 + 0.0*i,
    -0.625332247642982 + 0.0*i,
    -0.374516459714117 + 0.0*i,
    -0.248742843630937 + 0.0*i,
    0.859826747768589 + 0.0*i,
    -0.198877330061968 + 0.0*i,
    -0.631222954772321 + 0.0*i,
    0.00975198387344315 + 0.0*i,
    0.37548166469963 + 0.0*i,
    1.19297064504429 + 0.0*i,
    0.520002002885368 + 0.0*i,
    0.468936556012988 + 0.0*i,
    0.226396993426653 + 0.0*i,
    0.268660992981806 + 0.0*i,
    0.839133877219517 + 0.0*i,
    0.458104686948067 + 0.0*i,
    0.510902860899711 + 0.0*i,
    -1.10735839451694 + 0.0*i,
    -0.244155261044967 + 0.0*i,
    -0.103105149654091 + 0.0*i,
    0.396448023116766 + 0.0*i,
    1.0052968061121 + 0.0*i,
    0.20307445954411 + 0.0*i,
    -0.169872820281981 + 0.0*i,
    0.266308254876746 + 0.0*i,
    -0.478865540519989 + 0.0*i,
    -0.485619193259706 + 0.0*i,
    0.496264387024715 + 0.0*i,
    -0.109508042080526 + 0.0*i,
    0.340588463763202 + 0.0*i,
    0.96872817492841 + 0.0*i,
    -0.883819873441236 + 0.0*i,
    -0.340125532431936 + 0.0*i,
    -0.00929374075756604 + 0.0*i
]);