V:=Matrix(CC,4,95,[
    -0.354353440461143 + 0.0*i,
    0.316714795722713 + 0.0*i,
    0.545168826304391 + 0.0*i,
    0.507551487696768 + 0.0*i,
    -0.055971019523712 + 0.0*i,
    0.724623335063098 + 0.0*i,
    -0.188364147214657 + 0.0*i,
    -0.105804660823509 + 0.0*i,
    0.107774066190921 + 0.0*i,
    -0.0472235404638 + 0.0*i,
    -0.322704466396831 + 0.0*i,
    0.649544853201386 + 0.0*i,
    -0.166382592094335 + 0.0*i,
    0.780751545451284 + 0.0*i,
    0.0510287827542873 + 0.0*i,
    -0.109708958081432 + 0.0*i,
    -0.162731774301358 + 0.0*i,
    -1.11136483718857 + 0.0*i,
    0.174590172279205 + 0.0*i,
    -0.135917366253807 + 0.0*i,
    0.220846454259431 + 0.0*i,
    0.18349326799557 + 0.0*i,
    0.0911673703841819 + 0.0*i,
    0.525647580071418 + 0.0*i,
    -0.398216350051764 + 0.0*i,
    -0.276471557681293 + 0.0*i,
    -0.691660453537511 + 0.0*i,
    0.278279470368785 + 0.0*i,
    0.239244424471725 + 0.0*i,
    -0.197579194005636 + 0.0*i,
    -0.462041302788841 + 0.0*i,
    -0.0806659889345658 + 0.0*i,
    -0.417261956041985 + 0.0*i,
    -0.441554777580026 + 0.0*i,
    -1.00341948714718 + 0.0*i,
    0.747052826873672 + 0.0*i,
    0.449162783040942 + 0.0*i,
    0.452923924333435 + 0.0*i,
    0.926062502377713 + 0.0*i,
    -0.411159718305184 + 0.0*i,
    0.399513312409488 + 0.0*i,
    0.170897484884288 + 0.0*i,
    -0.736108199879088 + 0.0*i,
    -0.934495550556637 + 0.0*i,
    -0.407186645933478 + 0.0*i,
    -0.0315683423931599 + 0.0*i,
    -0.347394149471628 + 0.0*i,
    0.584407574010275 + 0.0*i,
    0.433725856725484 + 0.0*i,
    0.10047036160857 + 0.0*i,
    0.337426273782661 + 0.0*i,
    0.662144397774082 + 0.0*i,
    0.773274197300542 + 0.0*i,
    -0.898830773035034 + 0.0*i,
    0.0182637707403352 + 0.0*i,
    0.675609193703727 + 0.0*i,
    0.68586233831568 + 0.0*i,
    0.120906303484733 + 0.0*i,
    0.0630654076489542 + 0.0*i,
    0.812616547193763 + 0.0*i,
    -0.0471231784320747 + 0.0*i,
    0.482831600991094 + 0.0*i,
    0.377411725277629 + 0.0*i,
    -0.480995218099079 + 0.0*i,
    -0.600055252138608 + 0.0*i,
    0.58618056704357 + 0.0*i,
    -0.0066226901860328 + 0.0*i,
    -0.218306713199303 + 0.0*i,
    -0.353097843145277 + 0.0*i,
    -0.334003838445788 + 0.0*i,
    0.0135322106732104 + 0.0*i,
    -0.364017486710895 + 0.0*i,
    -0.324414959166128 + 0.0*i,
    0.207115392783713 + 0.0*i,
    0.112732465649897 + 0.0*i,
    0.166832252333185 + 0.0*i,
    -0.392293829639975 + 0.0*i,
    -0.0837640030452757 + 0.0*i,
    0.768901900859297 + 0.0*i,
    0.242448788095719 + 0.0*i,
    1.06572272250973 + 0.0*i,
    -0.343617399247452 + 0.0*i,
    0.145139212064601 + 0.0*i,
    0.768243710618889 + 0.0*i,
    -0.304432624304968 + 0.0*i,
    -0.308990890514794 + 0.0*i,
    -0.0073840325567674 + 0.0*i,
    -0.126427262819785 + 0.0*i,
    -0.212510509028035 + 0.0*i,
    1.16798222601068 + 0.0*i,
    0.298709491695216 + 0.0*i,
    0.419706214400541 + 0.0*i,
    1.30995605414664 + 0.0*i,
    0.132113900435258 + 0.0*i,
    0.0704568738447193 + 0.0*i,
    0.32109194591272 + 0.0*i,
    -0.408268441727392 + 0.0*i,
    0.215874749792153 + 0.0*i,
    0.411219340351123 + 0.0*i,
    -0.647071791641699 + 0.0*i,
    -0.0758902794444349 + 0.0*i,
    -0.677722400338206 + 0.0*i,
    0.146927420186985 + 0.0*i,
    0.168869074351909 + 0.0*i,
    0.375670654691115 + 0.0*i,
    -0.0855791792352091 + 0.0*i,
    -0.236143911449234 + 0.0*i,
    -0.50135132177044 + 0.0*i,
    0.166329624440234 + 0.0*i,
    -0.0614781565762853 + 0.0*i,
    -0.704595170886153 + 0.0*i,
    -0.804708790483277 + 0.0*i,
    -0.320927779857292 + 0.0*i,
    0.584424279675569 + 0.0*i,
    0.077258120187315 + 0.0*i,
    -0.301152022642078 + 0.0*i,
    0.2284088980892 + 0.0*i,
    0.348442484062196 + 0.0*i,
    0.735114578620869 + 0.0*i,
    0.0516793091405147 + 0.0*i,
    0.0370170531706936 + 0.0*i,
    -0.111022945553274 + 0.0*i,
    -0.242007437476784 + 0.0*i,
    0.818148094198134 + 0.0*i,
    0.0235456153241359 + 0.0*i,
    0.241171861558462 + 0.0*i,
    -0.783080516608961 + 0.0*i,
    0.768115958120227 + 0.0*i,
    0.77471428717585 + 0.0*i,
    -0.0511653813720915 + 0.0*i,
    0.0841295031324441 + 0.0*i,
    0.312687746312752 + 0.0*i,
    -0.305435345590283 + 0.0*i,
    -0.117274275908484 + 0.0*i,
    -0.402046335248696 + 0.0*i,
    0.489350174489718 + 0.0*i,
    -0.669111768640137 + 0.0*i,
    0.998108170686417 + 0.0*i,
    -0.838264808184285 + 0.0*i,
    -0.980096710704717 + 0.0*i,
    -0.466705338092223 + 0.0*i,
    -0.298100167438635 + 0.0*i,
    0.922764812070368 + 0.0*i,
    -0.203514579435927 + 0.0*i,
    0.147108433204188 + 0.0*i,
    0.0301320464316461 + 0.0*i,
    -0.116257667071535 + 0.0*i,
    -0.161750935680232 + 0.0*i,
    -0.275283051031463 + 0.0*i,
    0.465092209081038 + 0.0*i,
    0.162452089400379 + 0.0*i,
    -0.193878551915518 + 0.0*i,
    -0.564147567735052 + 0.0*i,
    0.253644662320637 + 0.0*i,
    -0.483419398010269 + 0.0*i,
    -0.419065081699046 + 0.0*i,
    -0.32511506918347 + 0.0*i,
    -0.0980142052322061 + 0.0*i,
    -0.163305603431598 + 0.0*i,
    -0.0311609127941329 + 0.0*i,
    -0.35553562105835 + 0.0*i,
    0.0202434741223056 + 0.0*i,
    0.0845922389006664 + 0.0*i,
    0.215679681942538 + 0.0*i,
    0.0711254277176198 + 0.0*i,
    1.21460001717386 + 0.0*i,
    0.601606188261591 + 0.0*i,
    -0.177204554811273 + 0.0*i,
    -0.700327460647069 + 0.0*i,
    0.336820455358981 + 0.0*i,
    -0.916958765698675 + 0.0*i,
    0.199583111459699 + 0.0*i,
    -0.391381926830181 + 0.0*i,
    -0.493351467522938 + 0.0*i,
    0.335903593883347 + 0.0*i,
    0.804494142373972 + 0.0*i,
    1.03398466465129 + 0.0*i,
    0.846401859207777 + 0.0*i,
    0.771853367188278 + 0.0*i,
    0.17799903242602 + 0.0*i,
    -0.311359200200504 + 0.0*i,
    1.14134728695391 + 0.0*i,
    -0.595813964400356 + 0.0*i,
    0.635652971305449 + 0.0*i,
    0.185851981896171 + 0.0*i,
    -0.944802276821011 + 0.0*i,
    0.451448156019755 + 0.0*i,
    -1.00814989257575 + 0.0*i,
    -0.420237233967815 + 0.0*i,
    0.359880047745438 + 0.0*i,
    -0.388710937193301 + 0.0*i,
    0.360295541540007 + 0.0*i,
    0.358607636532835 + 0.0*i,
    0.460154913653156 + 0.0*i,
    0.216434262833783 + 0.0*i,
    0.162521226748253 + 0.0*i,
    0.50080613245333 + 0.0*i,
    0.290675007642326 + 0.0*i,
    0.282488848390314 + 0.0*i,
    -0.256228909756668 + 0.0*i,
    -0.118945514411887 + 0.0*i,
    0.637845720640875 + 0.0*i,
    -0.0528478823630895 + 0.0*i,
    0.3994355819404 + 0.0*i,
    0.809847444998299 + 0.0*i,
    -0.627770539152129 + 0.0*i,
    -0.543978811291959 + 0.0*i,
    0.632782748181529 + 0.0*i,
    0.0354063478252194 + 0.0*i,
    -0.314533431367917 + 0.0*i,
    -0.4824871708436 + 0.0*i,
    0.34652185948049 + 0.0*i,
    -0.920742814077464 + 0.0*i,
    0.439189859355488 + 0.0*i,
    -0.160576803261564 + 0.0*i,
    -0.38769848847066 + 0.0*i,
    0.78959927936771 + 0.0*i,
    0.778171620064262 + 0.0*i,
    -0.0889476510957043 + 0.0*i,
    -0.51845884096333 + 0.0*i,
    -0.425370198930268 + 0.0*i,
    0.0140570732526068 + 0.0*i,
    -1.04278591747387 + 0.0*i,
    -0.344414162366964 + 0.0*i,
    -0.564844506113391 + 0.0*i,
    0.299035756974756 + 0.0*i,
    -0.0912480953558557 + 0.0*i,
    -0.176365450795287 + 0.0*i,
    -0.27607715551787 + 0.0*i,
    0.363904774345947 + 0.0*i,
    0.808896224193827 + 0.0*i,
    0.285105143933681 + 0.0*i,
    -0.663119758430525 + 0.0*i,
    0.224476997448313 + 0.0*i,
    -0.100696400908909 + 0.0*i,
    1.08232643068913 + 0.0*i,
    0.183615627800138 + 0.0*i,
    0.919859288865925 + 0.0*i,
    0.341052680178159 + 0.0*i,
    -0.711115469982727 + 0.0*i,
    -0.0116394502300797 + 0.0*i,
    0.133742599963803 + 0.0*i,
    0.208339465173021 + 0.0*i,
    -0.111497507591141 + 0.0*i,
    -0.0534671942787944 + 0.0*i,
    -0.511446740050569 + 0.0*i,
    -0.572055657998057 + 0.0*i,
    -0.766752939148465 + 0.0*i,
    -0.383873761037212 + 0.0*i,
    0.0150796837582874 + 0.0*i,
    0.52235680857757 + 0.0*i,
    0.890136578907719 + 0.0*i,
    0.832118819881846 + 0.0*i,
    -1.12972115276572 + 0.0*i,
    1.21439143750523 + 0.0*i,
    0.274242962913748 + 0.0*i,
    0.411520409005265 + 0.0*i,
    0.624508949229528 + 0.0*i,
    0.758372702980504 + 0.0*i,
    0.28123889039093 + 0.0*i,
    -0.0533316761375492 + 0.0*i,
    0.943758779675422 + 0.0*i,
    -0.227888048371335 + 0.0*i,
    0.129734062652434 + 0.0*i,
    -0.575723793797488 + 0.0*i,
    0.432497395934125 + 0.0*i,
    1.07345835027148 + 0.0*i,
    0.596961283039702 + 0.0*i,
    -0.301421386872258 + 0.0*i,
    0.643546113099655 + 0.0*i,
    0.0227232585501897 + 0.0*i,
    0.504009132855845 + 0.0*i,
    -0.0752928571063673 + 0.0*i,
    -0.209876446032643 + 0.0*i,
    -0.126338305482932 + 0.0*i,
    -0.169760179321622 + 0.0*i,
    0.286382870312441 + 0.0*i,
    0.479974377958794 + 0.0*i,
    -0.165249584843146 + 0.0*i,
    0.59329218804456 + 0.0*i,
    -0.198685821135241 + 0.0*i,
    0.163585603577184 + 0.0*i,
    -0.0679797882278404 + 0.0*i,
    -0.0413285565657271 + 0.0*i,
    0.0838343955889268 + 0.0*i,
    0.37780092951766 + 0.0*i,
    -0.733079168329901 + 0.0*i,
    0.239884457919364 + 0.0*i,
    -0.0720132141399643 + 0.0*i,
    0.0541818130356023 + 0.0*i,
    0.253469483913126 + 0.0*i,
    -0.871542032902448 + 0.0*i,
    0.661139497303035 + 0.0*i,
    -0.43887629312845 + 0.0*i,
    0.600847416027476 + 0.0*i,
    -0.508513830096185 + 0.0*i,
    0.505865535668504 + 0.0*i,
    0.213906912293172 + 0.0*i,
    -0.524131264527302 + 0.0*i,
    0.068193713628565 + 0.0*i,
    0.631802136257883 + 0.0*i,
    0.0390317559247347 + 0.0*i,
    0.00181410429010241 + 0.0*i,
    -0.528685222773447 + 0.0*i,
    0.241077504858868 + 0.0*i,
    0.204173311505311 + 0.0*i,
    -0.0680818747207381 + 0.0*i,
    0.0794867519751547 + 0.0*i,
    0.54558319442766 + 0.0*i,
    -0.899958227180731 + 0.0*i,
    0.727269340265094 + 0.0*i,
    0.657645640726024 + 0.0*i,
    -0.28532340061221 + 0.0*i,
    0.225542705215389 + 0.0*i,
    1.19365951776381 + 0.0*i,
    -0.47664579915275 + 0.0*i,
    -0.762711661361166 + 0.0*i,
    0.485285961014082 + 0.0*i,
    -0.0825416878555206 + 0.0*i,
    0.159860205761473 + 0.0*i,
    0.0192422581321674 + 0.0*i,
    -0.811800345495685 + 0.0*i,
    -0.162281090296585 + 0.0*i,
    1.02334278914765 + 0.0*i,
    0.320484276197886 + 0.0*i,
    0.768279055362937 + 0.0*i,
    -0.0685317917075745 + 0.0*i,
    0.189824473207768 + 0.0*i,
    0.267403147383231 + 0.0*i,
    -0.0928222024380635 + 0.0*i,
    0.30211151842444 + 0.0*i,
    -0.776633208796986 + 0.0*i,
    -0.115819898401883 + 0.0*i,
    -0.303617348311097 + 0.0*i,
    -0.506483447864498 + 0.0*i,
    -0.0105545726869571 + 0.0*i,
    0.39133946045679 + 0.0*i,
    0.154483210195163 + 0.0*i,
    0.499202792910748 + 0.0*i,
    -0.686104955077929 + 0.0*i,
    0.059183732570229 + 0.0*i,
    0.528426952128424 + 0.0*i,
    0.378756837871868 + 0.0*i,
    0.681042092921861 + 0.0*i,
    -0.0452576638495115 + 0.0*i,
    -0.714710285313073 + 0.0*i,
    1.0587368377126 + 0.0*i,
    0.743741113143691 + 0.0*i,
    0.728944749604604 + 0.0*i,
    -0.196125748635056 + 0.0*i,
    -0.100288301727037 + 0.0*i,
    0.213475894738469 + 0.0*i,
    0.217686804765025 + 0.0*i,
    0.285935930474202 + 0.0*i,
    -0.237868013280578 + 0.0*i,
    0.0704032899285455 + 0.0*i,
    -0.0383328033317422 + 0.0*i,
    -0.556074728059818 + 0.0*i,
    -0.83760237527996 + 0.0*i,
    -0.0943336754041228 + 0.0*i,
    1.1205403052565 + 0.0*i,
    -0.185339523041835 + 0.0*i,
    0.26643121054581 + 0.0*i,
    -1.08721005119647 + 0.0*i,
    0.0538505180797041 + 0.0*i,
    0.562733787308756 + 0.0*i,
    -0.320379764042359 + 0.0*i,
    0.0663640883222098 + 0.0*i,
    -0.610313233686567 + 0.0*i,
    -0.332605581418028 + 0.0*i,
    0.0783967234308317 + 0.0*i,
    0.388878789236322 + 0.0*i,
    -0.144326323652418 + 0.0*i,
    0.507875942023532 + 0.0*i,
    -0.0622977941063973 + 0.0*i,
    0.232093078959489 + 0.0*i,
    0.597649725454729 + 0.0*i,
    -0.0987414013550493 + 0.0*i,
    -0.341941307617448 + 0.0*i,
    0.000997949168930667 + 0.0*i
]);