V:=Matrix(CC,4,97,[
    -0.378919105962793 + 0.0*i,
    0.273517416113731 + 0.0*i,
    0.19833028356564 + 0.0*i,
    0.449387523251062 + 0.0*i,
    0.635948807939448 + 0.0*i,
    0.712438854088942 + 0.0*i,
    0.138134284112172 + 0.0*i,
    -0.277058597769031 + 0.0*i,
    0.773913354666162 + 0.0*i,
    0.376475490446203 + 0.0*i,
    0.713004272020296 + 0.0*i,
    -0.232559092679244 + 0.0*i,
    -0.392788687647667 + 0.0*i,
    0.429816031058753 + 0.0*i,
    -0.311915707355535 + 0.0*i,
    -0.781004001581151 + 0.0*i,
    0.658383956029666 + 0.0*i,
    0.247923987289397 + 0.0*i,
    -0.599799983694514 + 0.0*i,
    -0.922076273182282 + 0.0*i,
    0.473823470209932 + 0.0*i,
    -0.593543249363585 + 0.0*i,
    0.697903592806071 + 0.0*i,
    0.0427510461628304 + 0.0*i,
    0.0397910343048832 + 0.0*i,
    0.658497864417185 + 0.0*i,
    0.630662306539532 + 0.0*i,
    -0.531657501705589 + 0.0*i,
    0.909370504186025 + 0.0*i,
    0.23534390035746 + 0.0*i,
    0.360452867234396 + 0.0*i,
    0.468272580522355 + 0.0*i,
    -0.0275238306941341 + 0.0*i,
    -0.594912105532929 + 0.0*i,
    1.01795142596967 + 0.0*i,
    -0.324113476467848 + 0.0*i,
    -0.41964948283366 + 0.0*i,
    0.480598610979932 + 0.0*i,
    -0.112548849442145 + 0.0*i,
    0.0773986535574692 + 0.0*i,
    0.61930061926688 + 0.0*i,
    0.286722273198829 + 0.0*i,
    -0.447968148946591 + 0.0*i,
    0.813616153935873 + 0.0*i,
    0.0414745206783049 + 0.0*i,
    -1.00604345300303 + 0.0*i,
    1.01476043265893 + 0.0*i,
    0.0945521827627035 + 0.0*i,
    0.897212557703704 + 0.0*i,
    -0.282798367373029 + 0.0*i,
    0.613909451938301 + 0.0*i,
    0.93024252489207 + 0.0*i,
    0.509223259848565 + 0.0*i,
    1.15022300121599 + 0.0*i,
    -0.662308652486737 + 0.0*i,
    0.391834127789979 + 0.0*i,
    0.208702458577108 + 0.0*i,
    -0.613902556366431 + 0.0*i,
    1.09761202569899 + 0.0*i,
    0.40368037695024 + 0.0*i,
    0.768791427516779 + 0.0*i,
    -0.22293767064579 + 0.0*i,
    0.0184306899944296 + 0.0*i,
    0.787106877296565 + 0.0*i,
    -0.213908370863311 + 0.0*i,
    0.167852905139962 + 0.0*i,
    -0.166982407367516 + 0.0*i,
    -1.03412461315081 + 0.0*i,
    0.208921616767571 + 0.0*i,
    0.271671480427128 + 0.0*i,
    0.391202269406517 + 0.0*i,
    -0.288300592821907 + 0.0*i,
    -0.166175151298831 + 0.0*i,
    0.401938106908748 + 0.0*i,
    -0.223199185895567 + 0.0*i,
    0.66872732623774 + 0.0*i,
    0.0725315702513643 + 0.0*i,
    0.295421766087754 + 0.0*i,
    -0.480105276016221 + 0.0*i,
    -0.598891307713534 + 0.0*i,
    -0.271528063420805 + 0.0*i,
    0.313899405808622 + 0.0*i,
    0.0801645870451465 + 0.0*i,
    0.805268282851013 + 0.0*i,
    0.157662025000661 + 0.0*i,
    -0.0526262136417516 + 0.0*i,
    0.297839888583488 + 0.0*i,
    0.129146559388974 + 0.0*i,
    -0.388882876735846 + 0.0*i,
    0.442849711371775 + 0.0*i,
    -0.133285713715329 + 0.0*i,
    -0.353556779017681 + 0.0*i,
    -0.835599329014678 + 0.0*i,
    -0.659785038956034 + 0.0*i,
    0.591635168803445 + 0.0*i,
    0.328204905397956 + 0.0*i,
    -0.148579102111402 + 0.0*i,
    -0.220291901261576 + 0.0*i,
    -0.244094766752119 + 0.0*i,
    -0.689463438256824 + 0.0*i,
    0.661286915668398 + 0.0*i,
    -0.0992825317663655 + 0.0*i,
    0.234825605260108 + 0.0*i,
    0.647314043856553 + 0.0*i,
    0.323746556739218 + 0.0*i,
    0.132835098308294 + 0.0*i,
    0.107744953204234 + 0.0*i,
    -0.552733635060488 + 0.0*i,
    -0.497714588147916 + 0.0*i,
    0.106115929125938 + 0.0*i,
    -0.311280888052802 + 0.0*i,
    -0.588057919197494 + 0.0*i,
    -1.06917129504301 + 0.0*i,
    0.21187539735377 + 0.0*i,
    0.00165826505457315 + 0.0*i,
    0.149312537794954 + 0.0*i,
    0.159671236438175 + 0.0*i,
    0.687786784908791 + 0.0*i,
    -0.228223217639348 + 0.0*i,
    0.172657783529677 + 0.0*i,
    0.341897908665041 + 0.0*i,
    -0.647023411138803 + 0.0*i,
    -0.160674930938253 + 0.0*i,
    -0.285663843964375 + 0.0*i,
    -0.408795172962315 + 0.0*i,
    1.03827328305045 + 0.0*i,
    0.486501382247459 + 0.0*i,
    -0.704384086508716 + 0.0*i,
    -0.812957809069284 + 0.0*i,
    -0.426687890448297 + 0.0*i,
    -0.198182102960511 + 0.0*i,
    -0.225939202400424 + 0.0*i,
    -0.0276150097834288 + 0.0*i,
    0.349868011631478 + 0.0*i,
    -0.360424722251962 + 0.0*i,
    0.314778932346218 + 0.0*i,
    0.37375896821008 + 0.0*i,
    0.531304910998489 + 0.0*i,
    0.364555639270509 + 0.0*i,
    0.0385320035623609 + 0.0*i,
    -0.0383608926270459 + 0.0*i,
    -0.090235552218123 + 0.0*i,
    -0.105522028227945 + 0.0*i,
    0.981968046027219 + 0.0*i,
    0.85757282677498 + 0.0*i,
    -0.0907816072254609 + 0.0*i,
    0.326249163999884 + 0.0*i,
    0.095254392270939 + 0.0*i,
    0.721951336681081 + 0.0*i,
    -0.337836660459561 + 0.0*i,
    0.0833609866046637 + 0.0*i,
    -0.29981999469526 + 0.0*i,
    -0.658696516706089 + 0.0*i,
    0.211714334675939 + 0.0*i,
    -0.212385164508283 + 0.0*i,
    -0.299758006089911 + 0.0*i,
    0.202847732522164 + 0.0*i,
    -0.867760056382757 + 0.0*i,
    0.297851159238269 + 0.0*i,
    0.484699559969377 + 0.0*i,
    -0.0224308376340566 + 0.0*i,
    1.41798988423216 + 0.0*i,
    -0.791254361639653 + 0.0*i,
    -0.345790180264197 + 0.0*i,
    -0.903730876719652 + 0.0*i,
    0.267962519238401 + 0.0*i,
    -0.400638206046533 + 0.0*i,
    -0.1905592324158 + 0.0*i,
    1.09382002218284 + 0.0*i,
    0.295131920175248 + 0.0*i,
    -0.178750803991407 + 0.0*i,
    0.963360376518156 + 0.0*i,
    -0.694927480406752 + 0.0*i,
    0.0354714541807803 + 0.0*i,
    0.249550831133242 + 0.0*i,
    -0.0284193429386122 + 0.0*i,
    -0.352998677403909 + 0.0*i,
    -0.303912448735255 + 0.0*i,
    -0.0440781614519173 + 0.0*i,
    0.400814355289592 + 0.0*i,
    0.643016121318716 + 0.0*i,
    -0.599593128924783 + 0.0*i,
    0.442514599106963 + 0.0*i,
    -0.0564436754270917 + 0.0*i,
    0.294306764597889 + 0.0*i,
    0.097412789587138 + 0.0*i,
    0.298464528518155 + 0.0*i,
    -1.18455745591728 + 0.0*i,
    -0.469637254269609 + 0.0*i,
    -0.13964471269824 + 0.0*i,
    -0.0798895393249455 + 0.0*i,
    -0.769179980415667 + 0.0*i,
    0.559696416711018 + 0.0*i,
    0.337153029594851 + 0.0*i,
    -0.10653671691766 + 0.0*i,
    -0.225689534463668 + 0.0*i,
    -0.870562222799283 + 0.0*i,
    -0.113362121037056 + 0.0*i,
    0.230922836324307 + 0.0*i,
    -0.635572288185408 + 0.0*i,
    -0.659669600902558 + 0.0*i,
    -0.290905853002913 + 0.0*i,
    0.283192213749855 + 0.0*i,
    -0.3270390970763 + 0.0*i,
    0.27381181619812 + 0.0*i,
    0.103014129036656 + 0.0*i,
    0.0662640422790569 + 0.0*i,
    0.536954653805728 + 0.0*i,
    -0.380695922603792 + 0.0*i,
    -1.05917850850566 + 0.0*i,
    -1.09278093333848 + 0.0*i,
    -0.388992454494438 + 0.0*i,
    -0.332088198974016 + 0.0*i,
    0.723908675770003 + 0.0*i,
    -0.337620181366516 + 0.0*i,
    -0.350702016838395 + 0.0*i,
    0.210204972657026 + 0.0*i,
    -0.571350565381955 + 0.0*i,
    0.367520077327435 + 0.0*i,
    -0.551986022687834 + 0.0*i,
    -0.468829009236036 + 0.0*i,
    -0.117709871292763 + 0.0*i,
    -0.964632365197911 + 0.0*i,
    -0.0747113440686003 + 0.0*i,
    -1.06264018628379 + 0.0*i,
    0.587699080368068 + 0.0*i,
    -0.302685015575516 + 0.0*i,
    0.0711896844368865 + 0.0*i,
    0.718383722730239 + 0.0*i,
    0.746844404861536 + 0.0*i,
    -0.112763538366457 + 0.0*i,
    1.01903097953573 + 0.0*i,
    -0.102362803455335 + 0.0*i,
    0.685060777067531 + 0.0*i,
    -0.0616707559437693 + 0.0*i,
    0.570301544329646 + 0.0*i,
    -0.650315570888674 + 0.0*i,
    -0.0990590997920963 + 0.0*i,
    -0.207736105039734 + 0.0*i,
    0.670026028407741 + 0.0*i,
    0.399466209769175 + 0.0*i,
    -0.831139917395948 + 0.0*i,
    0.881245727169767 + 0.0*i,
    0.333518720959822 + 0.0*i,
    -0.0153760440883808 + 0.0*i,
    -0.426400213387921 + 0.0*i,
    0.828019086630633 + 0.0*i,
    -0.284714950399419 + 0.0*i,
    -0.74722254447443 + 0.0*i,
    0.0314729667058668 + 0.0*i,
    0.18360966033482 + 0.0*i,
    0.317858518498391 + 0.0*i,
    0.391781432527189 + 0.0*i,
    -0.102667277905044 + 0.0*i,
    0.542434073710673 + 0.0*i,
    0.372191018833386 + 0.0*i,
    -0.615858058075268 + 0.0*i,
    -0.0405275260711127 + 0.0*i,
    -0.0410291984117404 + 0.0*i,
    0.461584647876497 + 0.0*i,
    0.0525539422728832 + 0.0*i,
    -0.0258631766327638 + 0.0*i,
    0.256436875775917 + 0.0*i,
    -0.41019346282001 + 0.0*i,
    -0.292342565101 + 0.0*i,
    0.277853671192052 + 0.0*i,
    0.640074228214478 + 0.0*i,
    -0.439232471798845 + 0.0*i,
    0.579152632943341 + 0.0*i,
    -0.526643678042978 + 0.0*i,
    -0.159672194558964 + 0.0*i,
    -0.410089611779689 + 0.0*i,
    -0.200744734008226 + 0.0*i,
    -0.154149567337996 + 0.0*i,
    0.345309215952968 + 0.0*i,
    -0.896517899338044 + 0.0*i,
    -0.273527638420126 + 0.0*i,
    0.231951552693214 + 0.0*i,
    0.171910417122384 + 0.0*i,
    0.142273726835843 + 0.0*i,
    0.792686486455226 + 0.0*i,
    0.311303059769861 + 0.0*i,
    1.02571035295211 + 0.0*i,
    0.794203223054412 + 0.0*i,
    0.0860206983777503 + 0.0*i,
    0.175986010653235 + 0.0*i,
    -0.091399642343898 + 0.0*i,
    0.195707882604974 + 0.0*i,
    0.374995529970312 + 0.0*i,
    -0.400050760718625 + 0.0*i,
    -0.793708868909124 + 0.0*i,
    -0.103440005129751 + 0.0*i,
    -0.457877449113312 + 0.0*i,
    0.37304918319207 + 0.0*i,
    -0.328230335635954 + 0.0*i,
    -0.300136667933646 + 0.0*i,
    -0.0268037946317542 + 0.0*i,
    0.275694249745143 + 0.0*i,
    -0.155240641346166 + 0.0*i,
    -0.105607453300912 + 0.0*i,
    -1.17923259319887 + 0.0*i,
    -0.012466315529547 + 0.0*i,
    0.182562129059594 + 0.0*i,
    0.250859993907545 + 0.0*i,
    -0.871801767322943 + 0.0*i,
    0.323442588826929 + 0.0*i,
    -0.0478710566904757 + 0.0*i,
    -0.00757779386477854 + 0.0*i,
    0.065090138099607 + 0.0*i,
    -0.578278092084741 + 0.0*i,
    -0.672481859420265 + 0.0*i,
    -0.703282766674505 + 0.0*i,
    0.34306417205256 + 0.0*i,
    0.186446281249054 + 0.0*i,
    0.377511367534041 + 0.0*i,
    0.709571976437038 + 0.0*i,
    0.201056791481925 + 0.0*i,
    -0.775670999983775 + 0.0*i,
    -0.211113431835838 + 0.0*i,
    0.0707835330142501 + 0.0*i,
    0.290170458723705 + 0.0*i,
    -0.0556675580151713 + 0.0*i,
    -0.569878553694986 + 0.0*i,
    0.518772968436467 + 0.0*i,
    0.648042410685623 + 0.0*i,
    0.112217941700577 + 0.0*i,
    -1.00218698197242 + 0.0*i,
    -0.277240119787865 + 0.0*i,
    0.00286052924640706 + 0.0*i,
    0.453742093778234 + 0.0*i,
    -0.399536119673075 + 0.0*i,
    -0.564591650503903 + 0.0*i,
    0.522871618872111 + 0.0*i,
    0.360900214155039 + 0.0*i,
    -0.470209536009201 + 0.0*i,
    -0.232392107564552 + 0.0*i,
    0.512025277344119 + 0.0*i,
    -0.541120139134787 + 0.0*i,
    -0.349373467606459 + 0.0*i,
    0.211522791815323 + 0.0*i,
    1.19930652192728 + 0.0*i,
    0.206635267351332 + 0.0*i,
    -0.22143842580217 + 0.0*i,
    0.0740056773080291 + 0.0*i,
    0.281652464795746 + 0.0*i,
    0.336463913203798 + 0.0*i,
    -0.342141668410639 + 0.0*i,
    0.79483812774054 + 0.0*i,
    -0.355806655847963 + 0.0*i,
    0.230086354112712 + 0.0*i,
    0.498253434934425 + 0.0*i,
    0.65957959531458 + 0.0*i,
    0.536218877459248 + 0.0*i,
    1.06415784322818 + 0.0*i,
    -0.0149408628822182 + 0.0*i,
    0.183168573789047 + 0.0*i,
    0.0969991213277338 + 0.0*i,
    0.222003953384609 + 0.0*i,
    -0.357504606412727 + 0.0*i,
    -0.379246893544917 + 0.0*i,
    0.0360376979812181 + 0.0*i,
    -0.0852824938534449 + 0.0*i,
    -0.495516269934982 + 0.0*i,
    0.159418410201526 + 0.0*i,
    0.331452709218636 + 0.0*i,
    0.0773511401566086 + 0.0*i,
    0.883408443895903 + 0.0*i,
    0.360449229962676 + 0.0*i,
    -0.0423619359387329 + 0.0*i,
    -0.0113587760001959 + 0.0*i,
    -0.599206925859056 + 0.0*i,
    0.461683116604044 + 0.0*i,
    0.185033198514936 + 0.0*i,
    0.610375964015762 + 0.0*i,
    0.186577769817692 + 0.0*i,
    0.27328408891502 + 0.0*i,
    0.0558018207591474 + 0.0*i,
    -0.315319733655179 + 0.0*i,
    -0.989883364165147 + 0.0*i,
    0.17234366593776 + 0.0*i,
    -0.521495089476301 + 0.0*i,
    -0.0165438900172075 + 0.0*i,
    -0.316014284007305 + 0.0*i,
    0.633599299399001 + 0.0*i,
    0.075108009001991 + 0.0*i,
    -0.724828867386017 + 0.0*i,
    -0.545162744718219 + 0.0*i,
    -0.925701750948598 + 0.0*i
]);