V:=Matrix(CC,4,99,[
    -0.0700214724776144 + 0.0*i,
    0.712198435920196 + 0.0*i,
    -0.578389883591935 + 0.0*i,
    0.566734611199872 + 0.0*i,
    -0.975307138008754 + 0.0*i,
    -0.190508538529895 + 0.0*i,
    -0.141752237844084 + 0.0*i,
    -0.398435294143529 + 0.0*i,
    1.33568619642863 + 0.0*i,
    -0.212786431653029 + 0.0*i,
    -0.785097360159823 + 0.0*i,
    -0.109147151317682 + 0.0*i,
    0.201434934474271 + 0.0*i,
    -0.500213998891259 + 0.0*i,
    0.293698779786287 + 0.0*i,
    0.267897075176589 + 0.0*i,
    -0.610526159265289 + 0.0*i,
    -0.293364460761411 + 0.0*i,
    0.102982452347102 + 0.0*i,
    0.804854081785681 + 0.0*i,
    0.0751169169006412 + 0.0*i,
    -0.0319523251867827 + 0.0*i,
    0.734126665943514 + 0.0*i,
    0.334439327546086 + 0.0*i,
    0.245866311348013 + 0.0*i,
    -0.144942758764599 + 0.0*i,
    -0.795448807997992 + 0.0*i,
    -0.560513346005726 + 0.0*i,
    -0.77829127872268 + 0.0*i,
    -0.67604259246514 + 0.0*i,
    0.486232979199895 + 0.0*i,
    -0.498359166028093 + 0.0*i,
    0.431841920744352 + 0.0*i,
    0.626214326543317 + 0.0*i,
    0.22793071909908 + 0.0*i,
    0.825140982301427 + 0.0*i,
    0.093497034166967 + 0.0*i,
    -0.199174254499761 + 0.0*i,
    0.419018762133886 + 0.0*i,
    -0.0384253677568889 + 0.0*i,
    -0.74298633634163 + 0.0*i,
    0.581149750197624 + 0.0*i,
    1.31387996888204 + 0.0*i,
    -0.562730322559007 + 0.0*i,
    -0.0769672054535836 + 0.0*i,
    0.0898982047112075 + 0.0*i,
    -0.0959252113222816 + 0.0*i,
    -0.742998823797708 + 0.0*i,
    0.137269417786014 + 0.0*i,
    0.276856675188134 + 0.0*i,
    0.445158374627418 + 0.0*i,
    0.445773923679961 + 0.0*i,
    0.751134048230277 + 0.0*i,
    0.607342641335114 + 0.0*i,
    0.367991131329195 + 0.0*i,
    -0.109175214639995 + 0.0*i,
    0.486171995919873 + 0.0*i,
    -0.471608659558351 + 0.0*i,
    0.02502616073342 + 0.0*i,
    -0.456566348480914 + 0.0*i,
    -0.28673363882598 + 0.0*i,
    -0.234872093408541 + 0.0*i,
    0.35165922952757 + 0.0*i,
    0.545325149909222 + 0.0*i,
    0.296642715575387 + 0.0*i,
    0.315135891075229 + 0.0*i,
    -0.421633984999651 + 0.0*i,
    -0.83156340071845 + 0.0*i,
    -0.400452553159388 + 0.0*i,
    0.325891556628529 + 0.0*i,
    -0.179524604694706 + 0.0*i,
    0.231965918390366 + 0.0*i,
    0.390206497492277 + 0.0*i,
    0.615672317417643 + 0.0*i,
    -0.641409628327155 + 0.0*i,
    0.340265577401152 + 0.0*i,
    -0.161883352760615 + 0.0*i,
    1.18029734372251 + 0.0*i,
    0.530471520137209 + 0.0*i,
    0.423053708850448 + 0.0*i,
    -0.176387568337948 + 0.0*i,
    0.270959303674454 + 0.0*i,
    0.183032349060988 + 0.0*i,
    -0.321915963307119 + 0.0*i,
    -0.341572449559808 + 0.0*i,
    -0.49964027880241 + 0.0*i,
    -0.275679775490086 + 0.0*i,
    -0.248052749695585 + 0.0*i,
    -0.233856895739644 + 0.0*i,
    0.0573657243718963 + 0.0*i,
    0.453199379434154 + 0.0*i,
    -0.304001346265504 + 0.0*i,
    -0.422008528481433 + 0.0*i,
    -0.783633878185483 + 0.0*i,
    1.15260727340875 + 0.0*i,
    -0.0979382549365111 + 0.0*i,
    -0.571222024567918 + 0.0*i,
    0.757022406832101 + 0.0*i,
    0.339211337217194 + 0.0*i,
    0.116686898206601 + 0.0*i,
    0.275626697824169 + 0.0*i,
    0.158091736047901 + 0.0*i,
    -0.401267137768623 + 0.0*i,
    0.338022075260694 + 0.0*i,
    0.458847747224163 + 0.0*i,
    1.03333710011412 + 0.0*i,
    0.207026473079969 + 0.0*i,
    0.257660271206729 + 0.0*i,
    -0.64196267283857 + 0.0*i,
    -0.240162444880171 + 0.0*i,
    0.00984032821247533 + 0.0*i,
    0.400312233851445 + 0.0*i,
    0.376684584495043 + 0.0*i,
    0.0317338498353939 + 0.0*i,
    0.362152686593693 + 0.0*i,
    0.0729917308651104 + 0.0*i,
    0.535066079468311 + 0.0*i,
    0.213085676235218 + 0.0*i,
    -0.0207229773514381 + 0.0*i,
    -0.118675907083832 + 0.0*i,
    0.190262465315122 + 0.0*i,
    -0.898292965838961 + 0.0*i,
    -0.33062800113158 + 0.0*i,
    0.368496403065634 + 0.0*i,
    0.328466125527811 + 0.0*i,
    -0.349662152554804 + 0.0*i,
    -1.15837343143702 + 0.0*i,
    -0.0477919843607913 + 0.0*i,
    0.153741306330096 + 0.0*i,
    -0.366310271034948 + 0.0*i,
    0.226308578704429 + 0.0*i,
    0.899957406194504 + 0.0*i,
    0.44913248896414 + 0.0*i,
    -0.100842203387521 + 0.0*i,
    -0.813765666861 + 0.0*i,
    0.469639449515387 + 0.0*i,
    0.22810846696735 + 0.0*i,
    -0.993518131190942 + 0.0*i,
    0.333365668539857 + 0.0*i,
    -0.36430871172043 + 0.0*i,
    0.0339460603292926 + 0.0*i,
    -0.0426628796066941 + 0.0*i,
    0.245774426655978 + 0.0*i,
    -0.115122742782118 + 0.0*i,
    -0.0645134643270308 + 0.0*i,
    -0.214665184406533 + 0.0*i,
    -0.23137660572727 + 0.0*i,
    -0.411362120470796 + 0.0*i,
    0.272425512012467 + 0.0*i,
    -0.232180101522542 + 0.0*i,
    -0.889678333943314 + 0.0*i,
    -0.138739009352844 + 0.0*i,
    0.000616581197250986 + 0.0*i,
    0.0355329318381629 + 0.0*i,
    0.421483285477606 + 0.0*i,
    -0.628434830271158 + 0.0*i,
    -0.664111896775239 + 0.0*i,
    -0.549679039928146 + 0.0*i,
    0.148726965835347 + 0.0*i,
    -0.0748813832441628 + 0.0*i,
    0.688781738162444 + 0.0*i,
    -0.316923461338793 + 0.0*i,
    -0.624974950497663 + 0.0*i,
    0.373743097038504 + 0.0*i,
    0.107848783142204 + 0.0*i,
    0.471643069857481 + 0.0*i,
    -0.00699435659057552 + 0.0*i,
    0.0689142670039952 + 0.0*i,
    0.64436676639735 + 0.0*i,
    -1.01048688273921 + 0.0*i,
    0.428818292544327 + 0.0*i,
    -0.116117565438177 + 0.0*i,
    -0.479796648440976 + 0.0*i,
    0.244997198671357 + 0.0*i,
    0.110805545377209 + 0.0*i,
    0.329962264741977 + 0.0*i,
    -0.0134650462406042 + 0.0*i,
    0.389914558581525 + 0.0*i,
    -0.518687441108642 + 0.0*i,
    -1.08433307433898 + 0.0*i,
    -0.342312519860026 + 0.0*i,
    0.32425712809569 + 0.0*i,
    -0.310940211179297 + 0.0*i,
    -0.128831779028962 + 0.0*i,
    -0.457537968027715 + 0.0*i,
    -0.0800640537063878 + 0.0*i,
    -0.0402517869424292 + 0.0*i,
    0.248497796464237 + 0.0*i,
    0.433913805776897 + 0.0*i,
    0.0804174497644877 + 0.0*i,
    1.0203992783529 + 0.0*i,
    0.261176576782841 + 0.0*i,
    0.112877653850629 + 0.0*i,
    0.257130029818137 + 0.0*i,
    -0.377038441312881 + 0.0*i,
    1.16370936171177 + 0.0*i,
    -0.523597810448382 + 0.0*i,
    0.503849729244978 + 0.0*i,
    0.409058261794248 + 0.0*i,
    1.19146993237558 + 0.0*i,
    0.0954004769782206 + 0.0*i,
    0.463815769538074 + 0.0*i,
    0.308739498346448 + 0.0*i,
    -0.3146307608779 + 0.0*i,
    -0.47768780877389 + 0.0*i,
    0.313444658658199 + 0.0*i,
    -0.21194778923509 + 0.0*i,
    -0.68843953705123 + 0.0*i,
    0.812396304178165 + 0.0*i,
    -0.71784815852423 + 0.0*i,
    0.554145818965013 + 0.0*i,
    0.590092356021499 + 0.0*i,
    -0.443011014236564 + 0.0*i,
    1.00377622779642 + 0.0*i,
    0.182358651072299 + 0.0*i,
    0.109403685207009 + 0.0*i,
    -0.109430514141202 + 0.0*i,
    -0.139906209561682 + 0.0*i,
    -0.0565487293050793 + 0.0*i,
    -0.0573635389834957 + 0.0*i,
    0.350542551771121 + 0.0*i,
    -0.886428958156022 + 0.0*i,
    0.302240211997116 + 0.0*i,
    -0.813240930646634 + 0.0*i,
    -0.159816834326374 + 0.0*i,
    -0.428831324713328 + 0.0*i,
    -0.689419711490466 + 0.0*i,
    0.176925694916685 + 0.0*i,
    -0.61379412347783 + 0.0*i,
    0.385812200013416 + 0.0*i,
    0.352786560954052 + 0.0*i,
    -0.0653249375950802 + 0.0*i,
    0.177762640917401 + 0.0*i,
    0.541593544457683 + 0.0*i,
    0.407517699346078 + 0.0*i,
    0.189215840832319 + 0.0*i,
    0.577198903617689 + 0.0*i,
    -0.396234686196289 + 0.0*i,
    -0.103718218880481 + 0.0*i,
    -0.387523505164289 + 0.0*i,
    0.709702873477233 + 0.0*i,
    -0.238168494498352 + 0.0*i,
    -0.594748315518755 + 0.0*i,
    0.563944151666118 + 0.0*i,
    -0.51905914724258 + 0.0*i,
    -0.0588643090178935 + 0.0*i,
    0.0673263820061807 + 0.0*i,
    -0.374590038622116 + 0.0*i,
    0.410440616717245 + 0.0*i,
    0.539007451710094 + 0.0*i,
    -0.0100734040041268 + 0.0*i,
    0.859486479254767 + 0.0*i,
    -0.247802304850363 + 0.0*i,
    0.547496906174492 + 0.0*i,
    -0.612894702729965 + 0.0*i,
    0.219265961175449 + 0.0*i,
    -0.292643772157607 + 0.0*i,
    0.17536093919364 + 0.0*i,
    0.429007114662024 + 0.0*i,
    0.992777869181267 + 0.0*i,
    -0.298781484219692 + 0.0*i,
    0.549261668508308 + 0.0*i,
    0.680584809687095 + 0.0*i,
    0.0106556359741136 + 0.0*i,
    -0.370261554332979 + 0.0*i,
    0.86606179634085 + 0.0*i,
    -0.17999245428194 + 0.0*i,
    0.0616540376252468 + 0.0*i,
    -0.0365593561014015 + 0.0*i,
    -0.0371728145303367 + 0.0*i,
    0.0770466247978798 + 0.0*i,
    -0.800030048887871 + 0.0*i,
    -0.271790693697167 + 0.0*i,
    0.591573803822281 + 0.0*i,
    -0.109048814153394 + 0.0*i,
    -0.0935795903002029 + 0.0*i,
    -1.21991029846029 + 0.0*i,
    0.53661009597641 + 0.0*i,
    0.303694556520041 + 0.0*i,
    -0.0729665727832366 + 0.0*i,
    0.545196010496398 + 0.0*i,
    0.364949395069943 + 0.0*i,
    -0.156393902082414 + 0.0*i,
    0.0722506142935525 + 0.0*i,
    0.334121252056005 + 0.0*i,
    -0.385055375942863 + 0.0*i,
    0.525838488287145 + 0.0*i,
    -1.19581587937004 + 0.0*i,
    0.191112615269275 + 0.0*i,
    -0.339162130415894 + 0.0*i,
    -0.147218919047232 + 0.0*i,
    0.224881787677986 + 0.0*i,
    -0.373979539513937 + 0.0*i,
    0.177271100871912 + 0.0*i,
    0.618163094852843 + 0.0*i,
    -0.14762380832654 + 0.0*i,
    -0.276175038427466 + 0.0*i,
    -0.0334297429938907 + 0.0*i,
    0.408678092100137 + 0.0*i,
    -0.384417293138915 + 0.0*i,
    0.148791659257719 + 0.0*i,
    0.482946679706952 + 0.0*i,
    -0.802488588041153 + 0.0*i,
    0.56783375755547 + 0.0*i,
    0.198197364999973 + 0.0*i,
    -0.177505692691596 + 0.0*i,
    -0.0216094238733025 + 0.0*i,
    0.0675411627648673 + 0.0*i,
    0.248139508103982 + 0.0*i,
    -0.74298436771097 + 0.0*i,
    0.0918143871191636 + 0.0*i,
    0.235886758407421 + 0.0*i,
    -0.214060846570294 + 0.0*i,
    -0.472864954792195 + 0.0*i,
    -0.198310193875896 + 0.0*i,
    0.343920541917858 + 0.0*i,
    -0.340412558774779 + 0.0*i,
    -0.049677122801786 + 0.0*i,
    -0.618291905487002 + 0.0*i,
    -0.341666973760389 + 0.0*i,
    1.3424464985374 + 0.0*i,
    0.0955128190985802 + 0.0*i,
    0.417434765592816 + 0.0*i,
    0.654875384460525 + 0.0*i,
    0.119861595728177 + 0.0*i,
    -0.628203435116936 + 0.0*i,
    -0.514372165658009 + 0.0*i,
    0.190574820065355 + 0.0*i,
    1.46099421311664 + 0.0*i,
    0.295845097449032 + 0.0*i,
    -0.544931372223826 + 0.0*i,
    -0.216546683693358 + 0.0*i,
    0.633986100356231 + 0.0*i,
    1.29236766598126 + 0.0*i,
    -0.105432375716529 + 0.0*i,
    -0.332081803207419 + 0.0*i,
    0.178633273789489 + 0.0*i,
    -0.221027597177243 + 0.0*i,
    -0.524799236810443 + 0.0*i,
    -0.278449153806552 + 0.0*i,
    0.093255740223326 + 0.0*i,
    0.418787079867233 + 0.0*i,
    -1.24538927999828 + 0.0*i,
    0.567125228528705 + 0.0*i,
    -0.818431474722956 + 0.0*i,
    0.774578109165554 + 0.0*i,
    1.08364190902917 + 0.0*i,
    -0.666009407543411 + 0.0*i,
    0.222401535165695 + 0.0*i,
    0.0125790486794222 + 0.0*i,
    -0.251663291659638 + 0.0*i,
    1.33600398776977 + 0.0*i,
    -0.34535849979724 + 0.0*i,
    0.09332188516354 + 0.0*i,
    -0.199360094707072 + 0.0*i,
    0.29013915389152 + 0.0*i,
    0.785205674152287 + 0.0*i,
    0.151390045140089 + 0.0*i,
    0.328360290274105 + 0.0*i,
    0.498754959485442 + 0.0*i,
    0.272441642009197 + 0.0*i,
    -0.239170413389783 + 0.0*i,
    0.141815980306015 + 0.0*i,
    -0.833351747381283 + 0.0*i,
    0.211658413689196 + 0.0*i,
    1.37903084373747 + 0.0*i,
    -0.231083707238353 + 0.0*i,
    1.17361495824904 + 0.0*i,
    0.200815329724908 + 0.0*i,
    0.529528662499922 + 0.0*i,
    0.0505705589121866 + 0.0*i,
    -0.182005671500087 + 0.0*i,
    0.254075982255481 + 0.0*i,
    -0.869302843625175 + 0.0*i,
    0.357022814102469 + 0.0*i,
    -0.0243174966170355 + 0.0*i,
    0.166757415537394 + 0.0*i,
    -0.787095819225489 + 0.0*i,
    -0.0934233866549387 + 0.0*i,
    0.496005512620881 + 0.0*i,
    -0.22724312050792 + 0.0*i,
    0.749748106481939 + 0.0*i,
    0.10830794716395 + 0.0*i,
    -0.329591692683362 + 0.0*i,
    -0.863448774780967 + 0.0*i,
    -0.526631034588019 + 0.0*i,
    0.21498530992472 + 0.0*i,
    -0.444558125702269 + 0.0*i,
    -0.130815842402482 + 0.0*i,
    0.0631312606791417 + 0.0*i,
    -0.385135564204699 + 0.0*i,
    0.497461507882694 + 0.0*i,
    0.285539778899978 + 0.0*i,
    0.298213142784725 + 0.0*i,
    -0.509644505230295 + 0.0*i,
    0.271100369769305 + 0.0*i
]);