V:=Matrix(CC,4,133,[
    -0.142471039168416 + 0.0*i,
    -0.595315723826962 + 0.0*i,
    -0.461012730411565 + 0.0*i,
    0.26551100064163 + 0.0*i,
    0.739580207551532 + 0.0*i,
    0.539254637757851 + 0.0*i,
    -0.102789571942027 + 0.0*i,
    -0.871037026149906 + 0.0*i,
    -0.948531421032216 + 0.0*i,
    -0.469460233791113 + 0.0*i,
    -0.11223578778378 + 0.0*i,
    -0.110083566515001 + 0.0*i,
    -0.155596357807072 + 0.0*i,
    -0.298125939612578 + 0.0*i,
    -0.372311971849434 + 0.0*i,
    0.753436927063573 + 0.0*i,
    -0.493801772321154 + 0.0*i,
    0.699277744126855 + 0.0*i,
    -0.174911018613408 + 0.0*i,
    -0.534441354355675 + 0.0*i,
    0.000382050883776966 + 0.0*i,
    0.191031259245925 + 0.0*i,
    -0.0869338237433319 + 0.0*i,
    0.276165455939826 + 0.0*i,
    -0.581309474268077 + 0.0*i,
    -0.21737785415807 + 0.0*i,
    0.77982744809129 + 0.0*i,
    -0.297112503937532 + 0.0*i,
    -0.534818601405625 + 0.0*i,
    -0.3117258534425 + 0.0*i,
    -0.127121889027249 + 0.0*i,
    -0.296646524804543 + 0.0*i,
    0.200981725986037 + 0.0*i,
    0.279740543565263 + 0.0*i,
    0.252841095769756 + 0.0*i,
    0.772722883288635 + 0.0*i,
    0.0679545579895846 + 0.0*i,
    -0.357756871634001 + 0.0*i,
    -0.378573970118324 + 0.0*i,
    -0.926509383206655 + 0.0*i,
    0.130416653337249 + 0.0*i,
    -0.375976314828799 + 0.0*i,
    -0.296788302695565 + 0.0*i,
    0.10528065529947 + 0.0*i,
    0.506572728040094 + 0.0*i,
    -0.280257639625242 + 0.0*i,
    -0.349959974005497 + 0.0*i,
    0.859683590533091 + 0.0*i,
    -0.593172104666527 + 0.0*i,
    -0.098415417869069 + 0.0*i,
    -0.449495131239798 + 0.0*i,
    0.0473826426289594 + 0.0*i,
    0.297452191856493 + 0.0*i,
    -0.159964350536924 + 0.0*i,
    0.120792821810395 + 0.0*i,
    -0.843830852324777 + 0.0*i,
    1.09019071448772 + 0.0*i,
    -0.627205753715796 + 0.0*i,
    0.877229718239895 + 0.0*i,
    -0.31476606825073 + 0.0*i,
    0.450509389983642 + 0.0*i,
    -0.0432521249008673 + 0.0*i,
    0.115590152302324 + 0.0*i,
    0.0469021680771018 + 0.0*i,
    -0.702118300191463 + 0.0*i,
    -0.460044483566373 + 0.0*i,
    -0.00329604529469755 + 0.0*i,
    -1.00845034118771 + 0.0*i,
    0.370002586514175 + 0.0*i,
    -0.0164214642819807 + 0.0*i,
    0.228207569534094 + 0.0*i,
    0.743989112081441 + 0.0*i,
    0.482150842658422 + 0.0*i,
    0.0736326171232533 + 0.0*i,
    0.129034130053157 + 0.0*i,
    -0.135922723563554 + 0.0*i,
    -0.0258414544829851 + 0.0*i,
    -0.346063502898353 + 0.0*i,
    -0.0980906654178712 + 0.0*i,
    -0.990205415839834 + 0.0*i,
    0.166580694921163 + 0.0*i,
    0.275291581472834 + 0.0*i,
    0.835617018582228 + 0.0*i,
    0.271138790360282 + 0.0*i,
    -0.25865080491963 + 0.0*i,
    0.329762660259816 + 0.0*i,
    -0.792933571270989 + 0.0*i,
    -0.563906245229124 + 0.0*i,
    0.102415261112616 + 0.0*i,
    0.372469003981579 + 0.0*i,
    0.142445959661644 + 0.0*i,
    0.41310162476015 + 0.0*i,
    0.262925563597814 + 0.0*i,
    -0.545344489669639 + 0.0*i,
    0.684610000233531 + 0.0*i,
    -0.722095801254452 + 0.0*i,
    0.712283179996345 + 0.0*i,
    1.22453575358993 + 0.0*i,
    0.348228878364502 + 0.0*i,
    -0.651691489212115 + 0.0*i,
    -0.40058095976269 + 0.0*i,
    -0.246426050257929 + 0.0*i,
    0.169068858900125 + 0.0*i,
    -0.601511837188283 + 0.0*i,
    -0.78150524439774 + 0.0*i,
    -0.186822195689688 + 0.0*i,
    0.521137611803497 + 0.0*i,
    -0.189053152487382 + 0.0*i,
    0.0389978056508419 + 0.0*i,
    -0.035298950231273 + 0.0*i,
    -0.708748797904035 + 0.0*i,
    0.810541577627327 + 0.0*i,
    -0.523675388748721 + 0.0*i,
    -0.517526180220924 + 0.0*i,
    0.333531957445921 + 0.0*i,
    -0.291801999043784 + 0.0*i,
    0.265846735269792 + 0.0*i,
    -0.0923436384038076 + 0.0*i,
    -0.209469299737123 + 0.0*i,
    0.00789103715244157 + 0.0*i,
    -0.299122952355936 + 0.0*i,
    0.301918311537533 + 0.0*i,
    -0.514748499355445 + 0.0*i,
    -0.196324579422354 + 0.0*i,
    0.135218307786177 + 0.0*i,
    0.224249171334807 + 0.0*i,
    -0.323660189023505 + 0.0*i,
    0.543995853958454 + 0.0*i,
    -0.422782534362655 + 0.0*i,
    -0.566277486194828 + 0.0*i,
    -0.106373309104849 + 0.0*i,
    -1.16522994335119 + 0.0*i,
    -0.877519813429985 + 0.0*i,
    0.367367220805723 + 0.0*i,
    0.410999793066764 + 0.0*i,
    0.244376901831033 + 0.0*i,
    -0.160695383803314 + 0.0*i,
    0.0828554831357669 + 0.0*i,
    -0.194397404615692 + 0.0*i,
    -0.618688887317867 + 0.0*i,
    0.0671972343992622 + 0.0*i,
    -0.42572899497665 + 0.0*i,
    -0.121017327390039 + 0.0*i,
    0.278008852945267 + 0.0*i,
    0.478163174950814 + 0.0*i,
    0.0299132746838486 + 0.0*i,
    -0.865843119482075 + 0.0*i,
    0.251590575113665 + 0.0*i,
    0.00100704576753484 + 0.0*i,
    -0.0386091086098831 + 0.0*i,
    1.03409467602368 + 0.0*i,
    -0.00025524181810635 + 0.0*i,
    0.221581097884272 + 0.0*i,
    -0.811668006975867 + 0.0*i,
    -0.0391296311099988 + 0.0*i,
    0.721925680394659 + 0.0*i,
    -1.00178153919684 + 0.0*i,
    -0.401852441943093 + 0.0*i,
    -0.0643463494246388 + 0.0*i,
    0.113080185259257 + 0.0*i,
    0.0158649390108027 + 0.0*i,
    0.76424217627106 + 0.0*i,
    -0.00109553320635482 + 0.0*i,
    0.679513460962831 + 0.0*i,
    -0.387068375664778 + 0.0*i,
    0.203552215993063 + 0.0*i,
    1.52159355278429 + 0.0*i,
    0.58597582801382 + 0.0*i,
    0.436116421257022 + 0.0*i,
    -0.321117243514058 + 0.0*i,
    -0.384288733495063 + 0.0*i,
    -0.306225826392265 + 0.0*i,
    -0.486895429491471 + 0.0*i,
    -0.00222745134404706 + 0.0*i,
    0.0288201191023327 + 0.0*i,
    -0.286282706564518 + 0.0*i,
    0.854471948263179 + 0.0*i,
    -0.0863305049081569 + 0.0*i,
    -0.0361746068904223 + 0.0*i,
    0.399585685621997 + 0.0*i,
    0.267534305716442 + 0.0*i,
    0.0749371912644816 + 0.0*i,
    -0.218772490186627 + 0.0*i,
    1.47275604050757 + 0.0*i,
    0.987858983264243 + 0.0*i,
    -0.583467430439836 + 0.0*i,
    0.592385018157227 + 0.0*i,
    0.204199136709007 + 0.0*i,
    0.101262934713928 + 0.0*i,
    -0.443060560714215 + 0.0*i,
    -0.670260642174117 + 0.0*i,
    -0.270876769389997 + 0.0*i,
    0.367162191204406 + 0.0*i,
    -0.0273456198203755 + 0.0*i,
    -0.152191539426077 + 0.0*i,
    0.390733474422031 + 0.0*i,
    -0.338233351267926 + 0.0*i,
    0.328712920065076 + 0.0*i,
    -0.487247028742814 + 0.0*i,
    -0.391045637822882 + 0.0*i,
    -0.0307215694163085 + 0.0*i,
    -0.371599966993182 + 0.0*i,
    -0.349255245976382 + 0.0*i,
    0.461161353469856 + 0.0*i,
    -0.155447858394882 + 0.0*i,
    -0.585463463189044 + 0.0*i,
    0.419184765039634 + 0.0*i,
    -0.555012728008891 + 0.0*i,
    0.386174390974177 + 0.0*i,
    0.212312681134207 + 0.0*i,
    0.370391778658009 + 0.0*i,
    -0.223499372570011 + 0.0*i,
    0.100810062778368 + 0.0*i,
    -0.0391491162074166 + 0.0*i,
    0.615191479727997 + 0.0*i,
    0.2751087017671 + 0.0*i,
    -0.858871332239262 + 0.0*i,
    -0.402320388232909 + 0.0*i,
    -0.684182034355417 + 0.0*i,
    -0.62080122718164 + 0.0*i,
    -0.404324876370898 + 0.0*i,
    -0.471610058180614 + 0.0*i,
    -0.347508663258835 + 0.0*i,
    0.547920450556563 + 0.0*i,
    0.102273753935042 + 0.0*i,
    -0.682640211941319 + 0.0*i,
    1.024430586936 + 0.0*i,
    0.415652069820507 + 0.0*i,
    -0.846614240340313 + 0.0*i,
    -0.50903439732509 + 0.0*i,
    -0.33806604817173 + 0.0*i,
    0.864293258681719 + 0.0*i,
    -0.00202434713958947 + 0.0*i,
    0.219616307831418 + 0.0*i,
    -0.287926009007081 + 0.0*i,
    -0.394063991353683 + 0.0*i,
    0.662016149196871 + 0.0*i,
    0.792923527374157 + 0.0*i,
    0.687855986354336 + 0.0*i,
    -0.305483536005555 + 0.0*i,
    0.051379215864133 + 0.0*i,
    -0.355903878865224 + 0.0*i,
    -0.432636708687836 + 0.0*i,
    0.0188517188679595 + 0.0*i,
    -0.44214150364305 + 0.0*i,
    0.100117749042204 + 0.0*i,
    -0.358421248861164 + 0.0*i,
    0.704475659557731 + 0.0*i,
    -0.847791425459652 + 0.0*i,
    -0.523208186347171 + 0.0*i,
    -0.082968486128405 + 0.0*i,
    0.100589974948942 + 0.0*i,
    0.744676128251326 + 0.0*i,
    -0.0288615657181138 + 0.0*i,
    -0.802304489277965 + 0.0*i,
    -0.353114317309759 + 0.0*i,
    0.827099669844979 + 0.0*i,
    0.114753220922116 + 0.0*i,
    0.101918519379751 + 0.0*i,
    -0.181697188031178 + 0.0*i,
    -0.24796084638795 + 0.0*i,
    -0.398040501403091 + 0.0*i,
    -0.181696623253971 + 0.0*i,
    -0.51288863199001 + 0.0*i,
    0.858269571488646 + 0.0*i,
    -0.387878834188736 + 0.0*i,
    0.69549630935535 + 0.0*i,
    0.866513452301414 + 0.0*i,
    0.367085378178794 + 0.0*i,
    1.05624608171261 + 0.0*i,
    -0.33008627459392 + 0.0*i,
    0.718802769035417 + 0.0*i,
    -0.0305118596543408 + 0.0*i,
    -0.146316667542217 + 0.0*i,
    0.487068271673383 + 0.0*i,
    -0.203280666728766 + 0.0*i,
    0.433436317023468 + 0.0*i,
    -0.0516488011446178 + 0.0*i,
    -0.2049720800645 + 0.0*i,
    -0.645369464254376 + 0.0*i,
    0.410198769356249 + 0.0*i,
    -0.0287010803149078 + 0.0*i,
    -0.4237255688521 + 0.0*i,
    0.381945739179677 + 0.0*i,
    0.557721286326905 + 0.0*i,
    -0.269928352075047 + 0.0*i,
    0.0436816199287717 + 0.0*i,
    0.432173106991387 + 0.0*i,
    0.397765301988995 + 0.0*i,
    -0.0292255450485086 + 0.0*i,
    1.07186686934296 + 0.0*i,
    0.731369998945281 + 0.0*i,
    0.561117049627251 + 0.0*i,
    0.353002355904096 + 0.0*i,
    0.145971065272393 + 0.0*i,
    -0.0857348422379401 + 0.0*i,
    -0.122729463453333 + 0.0*i,
    0.331107260520298 + 0.0*i,
    0.728191325795172 + 0.0*i,
    0.724839417279224 + 0.0*i,
    0.309976875499228 + 0.0*i,
    -0.292874831822502 + 0.0*i,
    -0.21778361820035 + 0.0*i,
    0.222655435400335 + 0.0*i,
    0.059517110537854 + 0.0*i,
    -0.503654489306494 + 0.0*i,
    -0.101837932435356 + 0.0*i,
    -0.607398291829753 + 0.0*i,
    -0.250474387204841 + 0.0*i,
    -0.144733754121733 + 0.0*i,
    0.0396091181987262 + 0.0*i,
    0.0216391422803702 + 0.0*i,
    0.393365638909279 + 0.0*i,
    0.821288427143677 + 0.0*i,
    1.12640118707485 + 0.0*i,
    0.299792189825381 + 0.0*i,
    0.297997546882603 + 0.0*i,
    -0.574620446782994 + 0.0*i,
    -0.256683079930814 + 0.0*i,
    -0.742671750369259 + 0.0*i,
    -0.140702857943805 + 0.0*i,
    0.304846076407955 + 0.0*i,
    0.151401069682347 + 0.0*i,
    -0.278338347124384 + 0.0*i,
    0.405242003478619 + 0.0*i,
    -0.138762066771148 + 0.0*i,
    0.141720605995026 + 0.0*i,
    0.137779135611139 + 0.0*i,
    0.169345879248346 + 0.0*i,
    -0.0122500116240942 + 0.0*i,
    -0.061762868796957 + 0.0*i,
    0.873146731267856 + 0.0*i,
    0.507627731549627 + 0.0*i,
    1.2349155365123 + 0.0*i,
    0.32549409047595 + 0.0*i,
    -0.212201972001177 + 0.0*i,
    0.356067036406116 + 0.0*i,
    0.235430353224933 + 0.0*i,
    -0.609241064004259 + 0.0*i,
    -0.583921276396941 + 0.0*i,
    0.20724080936196 + 0.0*i,
    -0.123638123340614 + 0.0*i,
    -0.332150574326888 + 0.0*i,
    0.0590443708285455 + 0.0*i,
    0.509364973203413 + 0.0*i,
    -0.847711612841473 + 0.0*i,
    0.436731759340548 + 0.0*i,
    0.230002387685464 + 0.0*i,
    0.382059606657373 + 0.0*i,
    -0.20257442912616 + 0.0*i,
    0.011619958536453 + 0.0*i,
    -0.943934345217026 + 0.0*i,
    0.224540724994767 + 0.0*i,
    0.149732389198948 + 0.0*i,
    -0.464519427782231 + 0.0*i,
    0.175723808355973 + 0.0*i,
    -0.28974396981789 + 0.0*i,
    -0.425369572775054 + 0.0*i,
    0.0931697627089713 + 0.0*i,
    0.301579359150161 + 0.0*i,
    -0.0919006308119304 + 0.0*i,
    0.323979326555764 + 0.0*i,
    0.277275856001943 + 0.0*i,
    0.318002638934852 + 0.0*i,
    -0.426237333316282 + 0.0*i,
    -1.40112710127955 + 0.0*i,
    0.318206973085035 + 0.0*i,
    0.0477494917554381 + 0.0*i,
    -0.687670445416612 + 0.0*i,
    0.0857098472744055 + 0.0*i,
    -0.311054429686909 + 0.0*i,
    0.275386698342031 + 0.0*i,
    0.784916555467446 + 0.0*i,
    -0.0222356294180515 + 0.0*i,
    0.0729725351505355 + 0.0*i,
    -0.0145099670492088 + 0.0*i,
    -0.813836813034945 + 0.0*i,
    -0.602745733385953 + 0.0*i,
    -0.788030838828954 + 0.0*i,
    -1.10135179933177 + 0.0*i,
    -0.665672032545793 + 0.0*i,
    -0.117486062984169 + 0.0*i,
    0.119793958108653 + 0.0*i,
    0.318540932010096 + 0.0*i,
    -0.127132106376388 + 0.0*i,
    -1.24200574269469 + 0.0*i,
    0.634942705130826 + 0.0*i,
    0.275757026982611 + 0.0*i,
    0.195468434069941 + 0.0*i,
    -0.385841540269447 + 0.0*i,
    -0.245019127297666 + 0.0*i,
    -0.0628782142161182 + 0.0*i,
    -0.398832316935407 + 0.0*i,
    0.393491391855656 + 0.0*i,
    -0.295217347374001 + 0.0*i,
    0.241692084843825 + 0.0*i,
    0.0223250216557028 + 0.0*i,
    -0.0017672803283433 + 0.0*i,
    1.51233686914712 + 0.0*i,
    0.391973084970858 + 0.0*i,
    0.0161832612742103 + 0.0*i,
    0.712772185407593 + 0.0*i,
    -0.15267542343638 + 0.0*i,
    0.410640705445943 + 0.0*i,
    -1.00406369467857 + 0.0*i,
    -0.812311740491962 + 0.0*i,
    -0.635061578252189 + 0.0*i,
    0.120746642231001 + 0.0*i,
    0.615153092191241 + 0.0*i,
    -0.639834097137436 + 0.0*i,
    0.0473427585293234 + 0.0*i,
    -0.443830227737422 + 0.0*i,
    -0.621691471776811 + 0.0*i,
    -0.37218316271715 + 0.0*i,
    -0.621439668329858 + 0.0*i,
    0.12931393709528 + 0.0*i,
    0.689362033798969 + 0.0*i,
    0.308302471352355 + 0.0*i,
    -0.532075812620014 + 0.0*i,
    -0.288043121805744 + 0.0*i,
    -0.0867797167928596 + 0.0*i,
    0.408559136947592 + 0.0*i,
    -0.721326770905267 + 0.0*i,
    -0.521983491064693 + 0.0*i,
    -0.695813181193187 + 0.0*i,
    0.941177126135524 + 0.0*i,
    -0.711276895121292 + 0.0*i,
    0.8597060109984 + 0.0*i,
    0.529402488733603 + 0.0*i,
    0.11591299530023 + 0.0*i,
    0.030580816029174 + 0.0*i,
    0.00515489987173747 + 0.0*i,
    0.960701744403607 + 0.0*i,
    0.048215868716923 + 0.0*i,
    -0.622358457585342 + 0.0*i,
    -0.556100887074747 + 0.0*i,
    0.154731975756594 + 0.0*i,
    0.17231892363216 + 0.0*i,
    0.417054261017492 + 0.0*i,
    0.124909644650906 + 0.0*i,
    -0.220576923526661 + 0.0*i,
    0.457352822708022 + 0.0*i,
    -0.184305203104351 + 0.0*i,
    -0.177676836965314 + 0.0*i,
    -0.443781526963291 + 0.0*i,
    -0.564489897732624 + 0.0*i,
    0.860571370215817 + 0.0*i,
    -1.03821678430577 + 0.0*i,
    -0.864099556396816 + 0.0*i,
    0.19501372990748 + 0.0*i,
    -0.134029737634928 + 0.0*i,
    -0.0860785829010118 + 0.0*i,
    1.11479754924333 + 0.0*i,
    -0.51927882681871 + 0.0*i,
    -0.0768571106064484 + 0.0*i,
    -0.374530227285362 + 0.0*i,
    -0.0885326661778868 + 0.0*i,
    0.368262505120427 + 0.0*i,
    0.267779650690758 + 0.0*i,
    -0.303495992502885 + 0.0*i,
    0.270200587784112 + 0.0*i,
    -0.784593579321309 + 0.0*i,
    -0.609017968541387 + 0.0*i,
    -0.0522345284906981 + 0.0*i,
    0.510176661997826 + 0.0*i,
    -0.597947725428477 + 0.0*i,
    0.398094902191927 + 0.0*i,
    -0.511834764738982 + 0.0*i,
    0.773546811147771 + 0.0*i,
    0.107248323735794 + 0.0*i,
    -0.339859238091121 + 0.0*i,
    -0.530336815857632 + 0.0*i,
    0.870951692386602 + 0.0*i,
    0.233107267987377 + 0.0*i,
    -0.640396223565705 + 0.0*i,
    0.154647760728029 + 0.0*i,
    -0.457747634966846 + 0.0*i,
    -0.444896031477009 + 0.0*i,
    -1.11930321818456 + 0.0*i,
    -0.824372499711953 + 0.0*i,
    0.108998042055418 + 0.0*i,
    0.52208252621107 + 0.0*i,
    0.481366448190288 + 0.0*i,
    -0.0614539852772649 + 0.0*i,
    0.852567463435359 + 0.0*i,
    0.745958206465306 + 0.0*i,
    0.720024840495714 + 0.0*i,
    -0.340043858100304 + 0.0*i,
    -0.573888610527889 + 0.0*i,
    -0.600583659916389 + 0.0*i,
    -0.0527623154818492 + 0.0*i,
    -0.266867926050102 + 0.0*i,
    0.461755079960595 + 0.0*i,
    -0.0180127306691196 + 0.0*i,
    -0.012932846267174 + 0.0*i,
    -0.619493994964422 + 0.0*i,
    0.243356925349721 + 0.0*i,
    0.51025310572008 + 0.0*i,
    -0.333578534226245 + 0.0*i,
    0.0284859146207442 + 0.0*i,
    -0.674900306773131 + 0.0*i,
    -0.25311138582987 + 0.0*i,
    0.39348529101316 + 0.0*i,
    0.347818520286044 + 0.0*i,
    -0.239894406317722 + 0.0*i,
    -0.997226611220618 + 0.0*i,
    0.854697824903816 + 0.0*i,
    0.358704628871378 + 0.0*i,
    0.139174069197986 + 0.0*i,
    0.53379023385978 + 0.0*i,
    0.311719410257636 + 0.0*i,
    -0.362023895780026 + 0.0*i,
    -0.252012400843489 + 0.0*i,
    0.671245328406946 + 0.0*i,
    -0.279258751307487 + 0.0*i,
    -0.543478715719345 + 0.0*i,
    -0.207286491273704 + 0.0*i,
    0.331589149401337 + 0.0*i,
    0.344979780341133 + 0.0*i,
    0.619712999320752 + 0.0*i,
    0.0656877334830492 + 0.0*i,
    -0.849685672000729 + 0.0*i,
    0.772980160400639 + 0.0*i,
    -0.663331256859788 + 0.0*i,
    -0.119746824388674 + 0.0*i,
    0.284544316863542 + 0.0*i,
    -0.2338528194219 + 0.0*i,
    0.286150970019667 + 0.0*i,
    0.0246313143110654 + 0.0*i,
    -1.21456113996528 + 0.0*i,
    0.131730635521059 + 0.0*i,
    0.264606868105516 + 0.0*i
]);