V:=Matrix(CC,4,51,[
    0.20344715639058 + 0.0*i,
    0.0693774020271123 + 0.0*i,
    -0.231337590658048 + 0.0*i,
    0.987745892526706 + 0.0*i,
    0.165650759700958 + 0.0*i,
    0.0392357565325734 + 0.0*i,
    -0.888769636092629 + 0.0*i,
    0.756340844482424 + 0.0*i,
    0.718493367904463 + 0.0*i,
    0.291459449024124 + 0.0*i,
    -0.315592752273298 + 0.0*i,
    0.368121307250468 + 0.0*i,
    -0.365985421453581 + 0.0*i,
    -0.315776615035906 + 0.0*i,
    -0.423868236404701 + 0.0*i,
    0.272686090591372 + 0.0*i,
    0.76651933926622 + 0.0*i,
    0.418824746717061 + 0.0*i,
    -0.104181290172758 + 0.0*i,
    -1.12140684376897 + 0.0*i,
    -0.34898463621561 + 0.0*i,
    0.200177094601282 + 0.0*i,
    -0.52838946559227 + 0.0*i,
    -0.116579436485224 + 0.0*i,
    -0.117814464297189 + 0.0*i,
    -0.220119238386439 + 0.0*i,
    0.43661633895119 + 0.0*i,
    -0.846725082469837 + 0.0*i,
    0.636849714957778 + 0.0*i,
    -0.0566181691784758 + 0.0*i,
    -0.339818393293918 + 0.0*i,
    0.896894017376343 + 0.0*i,
    -0.466576072808026 + 0.0*i,
    -0.395649024844685 + 0.0*i,
    0.88248319774375 + 0.0*i,
    -0.0710920563514467 + 0.0*i,
    -0.793423782710042 + 0.0*i,
    -0.294950735690575 + 0.0*i,
    0.620767245471007 + 0.0*i,
    0.0474426984090659 + 0.0*i,
    -0.222934595241822 + 0.0*i,
    0.616047890933479 + 0.0*i,
    0.0391083910235003 + 0.0*i,
    -0.345670256593037 + 0.0*i,
    -0.416609766817924 + 0.0*i,
    0.354208242012441 + 0.0*i,
    -0.443888533338761 + 0.0*i,
    -0.0174919799717518 + 0.0*i,
    -0.5902280971993 + 0.0*i,
    -0.453467851076915 + 0.0*i,
    0.152091866630439 + 0.0*i,
    0.188222918948332 + 0.0*i,
    0.482154029880679 + 0.0*i,
    0.215547134462331 + 0.0*i,
    -0.060217400888508 + 0.0*i,
    0.0244899783458857 + 0.0*i,
    -0.726565922967572 + 0.0*i,
    0.313708853159237 + 0.0*i,
    -0.554931056922823 + 0.0*i,
    0.0278112685137339 + 0.0*i,
    -0.268495824507485 + 0.0*i,
    -0.801080381064627 + 0.0*i,
    0.863966683198276 + 0.0*i,
    0.964276286623471 + 0.0*i,
    0.394501206691803 + 0.0*i,
    -0.108024674930106 + 0.0*i,
    -0.638167745386152 + 0.0*i,
    -0.177389777419377 + 0.0*i,
    0.346247148174721 + 0.0*i,
    0.274815188146032 + 0.0*i,
    -0.357997163991973 + 0.0*i,
    -0.645051584286641 + 0.0*i,
    -0.0361521824742881 + 0.0*i,
    -0.427918467363669 + 0.0*i,
    1.04587899839838 + 0.0*i,
    -0.638579753048467 + 0.0*i,
    -0.150201482265654 + 0.0*i,
    -0.812414795762913 + 0.0*i,
    0.00416005002636558 + 0.0*i,
    0.314088888828169 + 0.0*i,
    0.919951230058572 + 0.0*i,
    0.913761228717461 + 0.0*i,
    -0.768127784963619 + 0.0*i,
    -0.584337619781714 + 0.0*i,
    -0.551065014606393 + 0.0*i,
    0.302792231099431 + 0.0*i,
    -0.00578776026829844 + 0.0*i,
    0.19709682269862 + 0.0*i,
    0.255755760706222 + 0.0*i,
    -0.0566144805030873 + 0.0*i,
    -0.253546257978875 + 0.0*i,
    -0.443030459217403 + 0.0*i,
    0.871127104600572 + 0.0*i,
    0.321576112807751 + 0.0*i,
    -0.22047795997746 + 0.0*i,
    -0.766915576950358 + 0.0*i,
    -0.240758655320836 + 0.0*i,
    -0.874772215262948 + 0.0*i,
    0.69915162783738 + 0.0*i,
    -0.634450081897642 + 0.0*i,
    0.462843300136161 + 0.0*i,
    0.313565216952096 + 0.0*i,
    -0.743926405415219 + 0.0*i,
    -0.420944498912515 + 0.0*i,
    0.23477761178991 + 0.0*i,
    -0.0743346625290073 + 0.0*i,
    -0.0635289393432065 + 0.0*i,
    -0.387694899391525 + 0.0*i,
    0.713121640449514 + 0.0*i,
    -0.71287711759093 + 0.0*i,
    0.105288745976664 + 0.0*i,
    -0.386696590862393 + 0.0*i,
    0.122127703523918 + 0.0*i,
    -0.161470318185422 + 0.0*i,
    0.226604592371536 + 0.0*i,
    -0.560960072820504 + 0.0*i,
    0.616148018290159 + 0.0*i,
    0.935668253145272 + 0.0*i,
    0.634353708350069 + 0.0*i,
    0.365517455462751 + 0.0*i,
    -0.38569796515258 + 0.0*i,
    0.203384418802732 + 0.0*i,
    0.191587209637278 + 0.0*i,
    -0.639460375058212 + 0.0*i,
    0.452374802690438 + 0.0*i,
    0.528888519868481 + 0.0*i,
    -0.0326075771318619 + 0.0*i,
    -0.437155319525032 + 0.0*i,
    0.129832030539656 + 0.0*i,
    -0.334897695039659 + 0.0*i,
    0.867310600020068 + 0.0*i,
    -0.271901157622036 + 0.0*i,
    -0.0103489425218716 + 0.0*i,
    0.375859362336438 + 0.0*i,
    0.12391499554716 + 0.0*i,
    0.835117107975264 + 0.0*i,
    0.30201005075573 + 0.0*i,
    -1.06165105214078 + 0.0*i,
    -0.211584050411926 + 0.0*i,
    1.0624626507554 + 0.0*i,
    0.789319190997173 + 0.0*i,
    0.483902472882816 + 0.0*i,
    -0.952596543102492 + 0.0*i,
    0.134952137381942 + 0.0*i,
    -0.720629998259522 + 0.0*i,
    0.0520765568358309 + 0.0*i,
    -0.353979539420423 + 0.0*i,
    0.431124774688526 + 0.0*i,
    0.583673891672661 + 0.0*i,
    -0.592740682746889 + 0.0*i,
    -0.588707594908275 + 0.0*i,
    0.0877772802471952 + 0.0*i,
    0.577333613087998 + 0.0*i,
    -0.980049219514359 + 0.0*i,
    -0.129634366808605 + 0.0*i,
    -0.57747445103457 + 0.0*i,
    -0.80049206896114 + 0.0*i,
    0.747471977569359 + 0.0*i,
    -0.966813347957293 + 0.0*i,
    0.306366581759049 + 0.0*i,
    0.523121999895663 + 0.0*i,
    0.234879360586301 + 0.0*i,
    0.266968694191558 + 0.0*i,
    0.333083833341933 + 0.0*i,
    0.338008085698444 + 0.0*i,
    -0.0743259252831587 + 0.0*i,
    -0.101035131026054 + 0.0*i,
    -0.0956689979503562 + 0.0*i,
    0.211250749189107 + 0.0*i,
    0.00953636289092408 + 0.0*i,
    0.517389206404232 + 0.0*i,
    0.112586753358419 + 0.0*i,
    -0.36246155667981 + 0.0*i,
    0.0906764702013704 + 0.0*i,
    -0.0483422622464873 + 0.0*i,
    -0.579601309067686 + 0.0*i,
    0.189174695864545 + 0.0*i,
    0.0803462567433442 + 0.0*i,
    0.359162925060414 + 0.0*i,
    0.326575754283115 + 0.0*i,
    0.05074427018537 + 0.0*i,
    0.298093486813963 + 0.0*i,
    -0.465223633430186 + 0.0*i,
    -0.222901864986629 + 0.0*i,
    -0.194534096780364 + 0.0*i,
    0.736002535469182 + 0.0*i,
    0.0245379710768486 + 0.0*i,
    -0.0644640456687919 + 0.0*i,
    -0.206590459946668 + 0.0*i,
    -1.0798380712228 + 0.0*i,
    -0.161284776112541 + 0.0*i,
    -0.440912009502164 + 0.0*i,
    0.0671131437934546 + 0.0*i,
    0.0986225088154677 + 0.0*i,
    -0.372767601725263 + 0.0*i,
    0.119899367386255 + 0.0*i,
    -0.140544976779239 + 0.0*i,
    -0.512994618892505 + 0.0*i,
    0.361259986506537 + 0.0*i,
    0.0727276130647957 + 0.0*i,
    0.869161030604105 + 0.0*i,
    0.298067123054815 + 0.0*i,
    -0.397363271892705 + 0.0*i,
    -1.05858132610754 + 0.0*i
]);