V:=Matrix(CC,4,115,[
    -0.694436428583294 + 0.0*i,
    0.579365447839713 + 0.0*i,
    -0.0435111179358229 + 0.0*i,
    -0.0736557212337778 + 0.0*i,
    0.623107711630917 + 0.0*i,
    -1.13086623256205 + 0.0*i,
    -0.314620951932525 + 0.0*i,
    0.186487489710513 + 0.0*i,
    0.326170705143587 + 0.0*i,
    0.160800874450867 + 0.0*i,
    0.285803732554364 + 0.0*i,
    0.699284910704731 + 0.0*i,
    -0.0141470832219218 + 0.0*i,
    0.184672308086342 + 0.0*i,
    0.65068956898824 + 0.0*i,
    0.191371490850507 + 0.0*i,
    -0.792310355443378 + 0.0*i,
    -0.639948407487233 + 0.0*i,
    -0.568823430897514 + 0.0*i,
    0.0072095488923005 + 0.0*i,
    0.134410766392479 + 0.0*i,
    -0.447903634644981 + 0.0*i,
    0.642241529139887 + 0.0*i,
    0.418371832606528 + 0.0*i,
    -0.0809780959368513 + 0.0*i,
    -0.423716514174311 + 0.0*i,
    -0.477575025471338 + 0.0*i,
    -0.297154703462917 + 0.0*i,
    -0.626182110423952 + 0.0*i,
    -0.234164975998469 + 0.0*i,
    0.333917764425193 + 0.0*i,
    -0.314864921342245 + 0.0*i,
    -0.161591144231654 + 0.0*i,
    0.256851941834633 + 0.0*i,
    -0.0116154369089815 + 0.0*i,
    0.374342276451318 + 0.0*i,
    1.10943867914062 + 0.0*i,
    0.507913044587833 + 0.0*i,
    -0.0503424109015358 + 0.0*i,
    0.208624496279884 + 0.0*i,
    -0.663069840825377 + 0.0*i,
    1.0560166185595 + 0.0*i,
    0.371539098400859 + 0.0*i,
    -0.172665544104925 + 0.0*i,
    0.108243050939019 + 0.0*i,
    -0.290020776844288 + 0.0*i,
    0.348572615470032 + 0.0*i,
    -0.163999324709802 + 0.0*i,
    -0.266704846660478 + 0.0*i,
    0.167637785758642 + 0.0*i,
    -0.629559170604847 + 0.0*i,
    -0.180366242540631 + 0.0*i,
    -0.130216819219149 + 0.0*i,
    -0.260963395872916 + 0.0*i,
    0.595318637760926 + 0.0*i,
    -0.766861459566631 + 0.0*i,
    -0.140322155415559 + 0.0*i,
    -0.06535155750996 + 0.0*i,
    -1.0931839632713 + 0.0*i,
    0.371228110777697 + 0.0*i,
    0.846614786061753 + 0.0*i,
    0.743566560287781 + 0.0*i,
    -0.973571233747673 + 0.0*i,
    -0.487260969234449 + 0.0*i,
    -0.320140167349606 + 0.0*i,
    -0.911954491196706 + 0.0*i,
    0.763449602487274 + 0.0*i,
    -0.153256746546577 + 0.0*i,
    0.4542506896187 + 0.0*i,
    0.00258905396890543 + 0.0*i,
    0.644511862315079 + 0.0*i,
    -0.4456041187117 + 0.0*i,
    -0.0487825995633125 + 0.0*i,
    0.206789374469092 + 0.0*i,
    -0.228066026509283 + 0.0*i,
    1.23878884784569 + 0.0*i,
    -0.791264275478022 + 0.0*i,
    -0.545951203621361 + 0.0*i,
    0.720228423782871 + 0.0*i,
    1.19361964123856 + 0.0*i,
    0.0439275988103406 + 0.0*i,
    0.00375949925123556 + 0.0*i,
    0.242728663431651 + 0.0*i,
    -0.630859364600615 + 0.0*i,
    -0.870623972176298 + 0.0*i,
    0.155710867781841 + 0.0*i,
    0.0561992909263683 + 0.0*i,
    -0.217757544561043 + 0.0*i,
    -0.0528134528526231 + 0.0*i,
    0.289527412193338 + 0.0*i,
    0.148581269688606 + 0.0*i,
    -0.168061880510438 + 0.0*i,
    0.191934057126179 + 0.0*i,
    -0.204855741575406 + 0.0*i,
    -0.0724921496484575 + 0.0*i,
    -0.410079285918107 + 0.0*i,
    -0.366373480391892 + 0.0*i,
    0.441320537122488 + 0.0*i,
    0.211257500894162 + 0.0*i,
    -0.0443819352883683 + 0.0*i,
    -0.631478649695186 + 0.0*i,
    0.686349314503911 + 0.0*i,
    0.19606506046249 + 0.0*i,
    0.182901504033797 + 0.0*i,
    -0.296329734527709 + 0.0*i,
    0.817894189600912 + 0.0*i,
    0.194858129906321 + 0.0*i,
    -0.267011670921688 + 0.0*i,
    0.87557477014333 + 0.0*i,
    -0.254093078462627 + 0.0*i,
    1.02352501085386 + 0.0*i,
    -0.893481645365844 + 0.0*i,
    0.0516171466479585 + 0.0*i,
    0.324913645381914 + 0.0*i,
    0.525650753822884 + 0.0*i,
    -1.10476381114755 + 0.0*i,
    -0.810035521912212 + 0.0*i,
    -0.93811185071937 + 0.0*i,
    0.328529636985133 + 0.0*i,
    0.721988471412959 + 0.0*i,
    0.758472341781841 + 0.0*i,
    0.575626649690791 + 0.0*i,
    -0.718718879484804 + 0.0*i,
    -0.282485429419561 + 0.0*i,
    -0.672220819633845 + 0.0*i,
    -0.172267573571538 + 0.0*i,
    0.465324197753121 + 0.0*i,
    0.154430842084856 + 0.0*i,
    -0.149400244355303 + 0.0*i,
    -0.0225040127428283 + 0.0*i,
    -0.0532361779119569 + 0.0*i,
    -0.807822265007626 + 0.0*i,
    0.244000068735382 + 0.0*i,
    0.0381890906605259 + 0.0*i,
    0.0620801381736738 + 0.0*i,
    0.573244678695835 + 0.0*i,
    0.518315654778191 + 0.0*i,
    0.0936486605030186 + 0.0*i,
    0.0561454740038176 + 0.0*i,
    -0.234741274335043 + 0.0*i,
    -0.90110256498483 + 0.0*i,
    -0.00196067746612722 + 0.0*i,
    -0.0669723373045928 + 0.0*i,
    -0.0240899080300052 + 0.0*i,
    -0.719349722543971 + 0.0*i,
    0.0361409020240348 + 0.0*i,
    -0.0595603567058384 + 0.0*i,
    -0.346987893997491 + 0.0*i,
    0.251471438200319 + 0.0*i,
    -0.237860215073883 + 0.0*i,
    0.286628969126631 + 0.0*i,
    0.180913587539799 + 0.0*i,
    -0.225457967014995 + 0.0*i,
    0.060194889835207 + 0.0*i,
    0.488473224857315 + 0.0*i,
    0.515657951202266 + 0.0*i,
    -0.0494050751975879 + 0.0*i,
    0.299272079174638 + 0.0*i,
    0.00173567047896901 + 0.0*i,
    -0.740301380547204 + 0.0*i,
    -0.655201448688336 + 0.0*i,
    -0.286354705728478 + 0.0*i,
    -0.209830013954946 + 0.0*i,
    0.246632713258374 + 0.0*i,
    -1.02172911512375 + 0.0*i,
    -0.283608676632493 + 0.0*i,
    0.016095905678944 + 0.0*i,
    0.781517677930843 + 0.0*i,
    0.421294087283531 + 0.0*i,
    0.410483350162596 + 0.0*i,
    -0.0246461243077699 + 0.0*i,
    0.493428243974079 + 0.0*i,
    0.196950532395112 + 0.0*i,
    -0.201120582264244 + 0.0*i,
    -1.12984295921316 + 0.0*i,
    0.424956333015179 + 0.0*i,
    -0.658725689752597 + 0.0*i,
    -0.342178755470517 + 0.0*i,
    0.56193202219558 + 0.0*i,
    -0.596781118963319 + 0.0*i,
    -0.812046481533335 + 0.0*i,
    -0.570663726434071 + 0.0*i,
    0.122835215084867 + 0.0*i,
    0.401811249355214 + 0.0*i,
    -0.148052743782623 + 0.0*i,
    0.245211960718778 + 0.0*i,
    -0.117657254391081 + 0.0*i,
    0.310269968348767 + 0.0*i,
    -0.665939065124995 + 0.0*i,
    0.857023030393739 + 0.0*i,
    -0.39219929016611 + 0.0*i,
    -0.201395897534782 + 0.0*i,
    0.276166461761815 + 0.0*i,
    0.362390020098837 + 0.0*i,
    -0.485740911608792 + 0.0*i,
    0.503964666986049 + 0.0*i,
    0.0356003455944797 + 0.0*i,
    0.119116685472759 + 0.0*i,
    0.026696131437754 + 0.0*i,
    -0.748287303776194 + 0.0*i,
    -0.173192327873306 + 0.0*i,
    0.695361580727378 + 0.0*i,
    -0.383128625589044 + 0.0*i,
    -0.353398787173882 + 0.0*i,
    0.182170490132266 + 0.0*i,
    -0.156503061473364 + 0.0*i,
    0.613558751252326 + 0.0*i,
    0.134362504488441 + 0.0*i,
    0.0586461618791977 + 0.0*i,
    0.047464708374562 + 0.0*i,
    0.619502279450548 + 0.0*i,
    -0.577794355478108 + 0.0*i,
    0.602590101653797 + 0.0*i,
    0.503414447850686 + 0.0*i,
    0.494862743399232 + 0.0*i,
    -0.704563426425599 + 0.0*i,
    0.73705730781309 + 0.0*i,
    -0.394561341865335 + 0.0*i,
    0.232442209180062 + 0.0*i,
    0.212340442578582 + 0.0*i,
    0.477176014891132 + 0.0*i,
    0.121717494081765 + 0.0*i,
    0.197570417018074 + 0.0*i,
    -0.064745182694754 + 0.0*i,
    -0.240780309361164 + 0.0*i,
    0.853974966071861 + 0.0*i,
    0.774401244670371 + 0.0*i,
    0.182254889258399 + 0.0*i,
    0.92632727219307 + 0.0*i,
    -0.0930140037923348 + 0.0*i,
    -0.371882571731785 + 0.0*i,
    -0.251265933258997 + 0.0*i,
    -0.158869373546217 + 0.0*i,
    -0.0487338042256558 + 0.0*i,
    -0.0743894088884565 + 0.0*i,
    -0.0269655522911668 + 0.0*i,
    0.268032853350459 + 0.0*i,
    0.301211787604108 + 0.0*i,
    -0.00442458932861016 + 0.0*i,
    0.528849758572597 + 0.0*i,
    -0.962343003797817 + 0.0*i,
    0.516026862730619 + 0.0*i,
    0.173885126932265 + 0.0*i,
    0.203146526018217 + 0.0*i,
    -0.258724222001363 + 0.0*i,
    -0.965607065308414 + 0.0*i,
    0.0680175771222551 + 0.0*i,
    -0.351042322798593 + 0.0*i,
    -0.750110737239142 + 0.0*i,
    0.587110522308979 + 0.0*i,
    0.203279635312613 + 0.0*i,
    -0.104508139977055 + 0.0*i,
    0.346453200645034 + 0.0*i,
    0.532396785394177 + 0.0*i,
    -0.0036208639694872 + 0.0*i,
    0.228863403071155 + 0.0*i,
    -0.0186980009566173 + 0.0*i,
    0.660899234375726 + 0.0*i,
    0.26951066140284 + 0.0*i,
    0.286728212073603 + 0.0*i,
    0.352885948898997 + 0.0*i,
    -0.302613499990176 + 0.0*i,
    -0.802567240494719 + 0.0*i,
    0.00909388167658806 + 0.0*i,
    0.189136753061031 + 0.0*i,
    0.470418296963819 + 0.0*i,
    -0.125640841237826 + 0.0*i,
    -0.273654095753806 + 0.0*i,
    -0.100088787709254 + 0.0*i,
    0.686748411464765 + 0.0*i,
    -0.458146630125864 + 0.0*i,
    -0.840027113144 + 0.0*i,
    0.0685577561795889 + 0.0*i,
    0.203880327387775 + 0.0*i,
    -0.699696210911799 + 0.0*i,
    -0.443949035437443 + 0.0*i,
    -0.558636251062334 + 0.0*i,
    -0.151640546525746 + 0.0*i,
    -0.298754115786883 + 0.0*i,
    0.247364443508152 + 0.0*i,
    1.18637724157981 + 0.0*i,
    -0.601323774827997 + 0.0*i,
    -0.909573446602578 + 0.0*i,
    1.16727735486456 + 0.0*i,
    1.14049225193434 + 0.0*i,
    0.108957246946009 + 0.0*i,
    -0.788412936910805 + 0.0*i,
    -0.115857051240173 + 0.0*i,
    -0.27167364316967 + 0.0*i,
    -0.606338192250115 + 0.0*i,
    0.976442365666856 + 0.0*i,
    0.293164301816481 + 0.0*i,
    0.0590695889117698 + 0.0*i,
    0.951389733347459 + 0.0*i,
    -0.894982658499447 + 0.0*i,
    0.385687211160372 + 0.0*i,
    -0.0952903852584489 + 0.0*i,
    -0.0992079509214616 + 0.0*i,
    -0.038098456382086 + 0.0*i,
    1.37427391957478 + 0.0*i,
    -0.685180095816165 + 0.0*i,
    0.269729642181086 + 0.0*i,
    0.507671346163501 + 0.0*i,
    -0.152714770353751 + 0.0*i,
    0.749900600689917 + 0.0*i,
    0.781081094954015 + 0.0*i,
    0.113980008521524 + 0.0*i,
    -0.417982205020134 + 0.0*i,
    -0.634785443005033 + 0.0*i,
    0.62278761832508 + 0.0*i,
    0.000236733854825478 + 0.0*i,
    0.604638989950992 + 0.0*i,
    -0.31850195298585 + 0.0*i,
    0.384775611825626 + 0.0*i,
    -0.851416187697575 + 0.0*i,
    -0.919742312579196 + 0.0*i,
    0.652359244472351 + 0.0*i,
    0.465622223333724 + 0.0*i,
    -0.183923656266262 + 0.0*i,
    -0.7296308505454 + 0.0*i,
    -0.818572930473811 + 0.0*i,
    -0.258633170410739 + 0.0*i,
    0.719646940213538 + 0.0*i,
    0.536674526768314 + 0.0*i,
    -0.591296659345809 + 0.0*i,
    0.506696569293514 + 0.0*i,
    -0.474279167207853 + 0.0*i,
    0.429003424300239 + 0.0*i,
    -0.980368705085316 + 0.0*i,
    0.607835425709841 + 0.0*i,
    -0.957418714920892 + 0.0*i,
    -0.494033296525894 + 0.0*i,
    0.107539253625917 + 0.0*i,
    -0.348809068768189 + 0.0*i,
    -0.890771205616895 + 0.0*i,
    -0.449742464569765 + 0.0*i,
    -0.220357447392364 + 0.0*i,
    0.0806415494891925 + 0.0*i,
    -0.606434484533434 + 0.0*i,
    0.721375949231062 + 0.0*i,
    -0.124378178529805 + 0.0*i,
    -0.234068188413916 + 0.0*i,
    -0.231259611025295 + 0.0*i,
    -0.0142364080711681 + 0.0*i,
    -0.102190692748238 + 0.0*i,
    0.808870179019252 + 0.0*i,
    0.286569706087042 + 0.0*i,
    0.457461991490578 + 0.0*i,
    0.234647241775142 + 0.0*i,
    -0.0702497946478741 + 0.0*i,
    0.167193312241938 + 0.0*i,
    0.0952972690299485 + 0.0*i,
    -0.0291278983104586 + 0.0*i,
    0.409965610686201 + 0.0*i,
    0.657938408576878 + 0.0*i,
    -1.26514305010396 + 0.0*i,
    -1.09101187210964 + 0.0*i,
    -0.347152475962841 + 0.0*i,
    -0.437181356775237 + 0.0*i,
    -0.979598681024293 + 0.0*i,
    0.0271496682823079 + 0.0*i,
    0.0821305619066639 + 0.0*i,
    0.415069486145523 + 0.0*i,
    0.017546441778813 + 0.0*i,
    0.824797975081285 + 0.0*i,
    -0.71001763872047 + 0.0*i,
    -0.19547908005101 + 0.0*i,
    -0.216197638275786 + 0.0*i,
    0.186501067860567 + 0.0*i,
    -0.584797549352629 + 0.0*i,
    0.11548046008584 + 0.0*i,
    -0.227272139428168 + 0.0*i,
    -0.0238864634430114 + 0.0*i,
    -0.0861752853757015 + 0.0*i,
    -0.0238184860963892 + 0.0*i,
    0.037037937249199 + 0.0*i,
    -0.83187369248152 + 0.0*i,
    0.192148454814294 + 0.0*i,
    -0.103130610313826 + 0.0*i,
    0.691505834506547 + 0.0*i,
    0.153262336903781 + 0.0*i,
    -0.584708303721094 + 0.0*i,
    0.100792287796889 + 0.0*i,
    0.220985778799396 + 0.0*i,
    -0.0783425073684642 + 0.0*i,
    0.973834075936996 + 0.0*i,
    0.252915615038685 + 0.0*i,
    0.422488133097046 + 0.0*i,
    -0.229180678577884 + 0.0*i,
    0.161762165668379 + 0.0*i,
    -0.0348393807479715 + 0.0*i,
    -0.427259467872071 + 0.0*i,
    0.272939512367902 + 0.0*i,
    -0.8404249288353 + 0.0*i,
    0.588110192457593 + 0.0*i,
    0.424366676362811 + 0.0*i,
    -0.380634449041968 + 0.0*i,
    -0.838082593042872 + 0.0*i,
    -0.487391592670319 + 0.0*i,
    -0.72676153518725 + 0.0*i,
    -0.488531027557791 + 0.0*i,
    -0.186728731717989 + 0.0*i,
    0.154769652833068 + 0.0*i,
    0.0318754807944341 + 0.0*i,
    0.379984123447178 + 0.0*i,
    0.258472046939683 + 0.0*i,
    -0.106308581790297 + 0.0*i,
    -0.260418454827793 + 0.0*i,
    0.188524292823452 + 0.0*i,
    -0.202607301863705 + 0.0*i,
    -0.0282026849093007 + 0.0*i,
    -0.191544410740189 + 0.0*i,
    0.205613206547313 + 0.0*i,
    -0.0206013033095633 + 0.0*i,
    0.344427777416065 + 0.0*i,
    -0.445952979049015 + 0.0*i,
    0.711365486497673 + 0.0*i,
    0.7668664423759 + 0.0*i,
    0.521435616709177 + 0.0*i,
    -0.408965623618716 + 0.0*i,
    0.889292716434786 + 0.0*i,
    -0.0462096324674585 + 0.0*i,
    0.309157280025927 + 0.0*i,
    0.106573889647032 + 0.0*i,
    -0.399515037039705 + 0.0*i,
    -0.136036986874221 + 0.0*i,
    -0.196629693277328 + 0.0*i,
    -0.383398021319161 + 0.0*i,
    -0.0504835812573992 + 0.0*i,
    -0.393753836762055 + 0.0*i,
    -0.264436976484846 + 0.0*i,
    -0.76945254166068 + 0.0*i,
    0.655279235638953 + 0.0*i,
    -0.0166827833132759 + 0.0*i,
    -0.70840597575446 + 0.0*i,
    0.459803298056914 + 0.0*i,
    0.180838978429497 + 0.0*i,
    0.123945227111767 + 0.0*i,
    -0.0997266287367826 + 0.0*i,
    -0.600012640922162 + 0.0*i,
    -0.559408470111911 + 0.0*i,
    0.234872700100287 + 0.0*i,
    0.279000821749899 + 0.0*i,
    0.912015544818351 + 0.0*i,
    1.41062410993488 + 0.0*i,
    0.263452465698497 + 0.0*i,
    0.632967789235798 + 0.0*i,
    -0.166981805443166 + 0.0*i,
    -0.118442854275616 + 0.0*i,
    0.324368361480546 + 0.0*i,
    0.0796686779333132 + 0.0*i,
    -0.563682694751065 + 0.0*i,
    -0.337176205187428 + 0.0*i,
    -0.65400743681009 + 0.0*i,
    0.269952682181368 + 0.0*i,
    0.0105171345804856 + 0.0*i,
    -0.0048454407806429 + 0.0*i,
    0.528396322367561 + 0.0*i,
    0.0323269538760541 + 0.0*i,
    -0.0885120423402699 + 0.0*i
]);