V:=Matrix(CC,4,125,[
    0.0252928394224553 + 0.0*i,
    -0.324429815748472 + 0.0*i,
    0.0423036578969949 + 0.0*i,
    -0.139094741464954 + 0.0*i,
    0.325147737152083 + 0.0*i,
    0.320854489580094 + 0.0*i,
    0.323723635038862 + 0.0*i,
    -0.387411472563008 + 0.0*i,
    -0.324132480761206 + 0.0*i,
    -0.180796567649599 + 0.0*i,
    0.179813638226328 + 0.0*i,
    -0.33786242737878 + 0.0*i,
    0.121543055686764 + 0.0*i,
    -0.0245104662907482 + 0.0*i,
    -0.224557824210448 + 0.0*i,
    -0.0839167721781225 + 0.0*i,
    0.283541275254033 + 0.0*i,
    -0.0321272691005253 + 0.0*i,
    -0.422319360282052 + 0.0*i,
    0.245540781918386 + 0.0*i,
    -0.0992246385178967 + 0.0*i,
    0.304335026101499 + 0.0*i,
    -0.394872151750829 + 0.0*i,
    0.158572347913351 + 0.0*i,
    -0.0628466630901676 + 0.0*i,
    0.12584969281253 + 0.0*i,
    -0.122323076511048 + 0.0*i,
    -0.326522770352066 + 0.0*i,
    0.21323517138997 + 0.0*i,
    -0.349536204611477 + 0.0*i,
    0.319341591177595 + 0.0*i,
    0.269575721766346 + 0.0*i,
    0.224861287978033 + 0.0*i,
    0.117380367110843 + 0.0*i,
    0.277771592707652 + 0.0*i,
    0.0152685752593124 + 0.0*i,
    0.0470994038240179 + 0.0*i,
    0.167107474774156 + 0.0*i,
    -0.437534230725454 + 0.0*i,
    0.119147313666472 + 0.0*i,
    0.375731937462639 + 0.0*i,
    0.23201926896658 + 0.0*i,
    0.0290474399400808 + 0.0*i,
    0.166175980093307 + 0.0*i,
    0.228165934734819 + 0.0*i,
    0.236274440325056 + 0.0*i,
    0.323506290947867 + 0.0*i,
    -0.0342023216729458 + 0.0*i,
    -0.219102598523746 + 0.0*i,
    -0.409222716135166 + 0.0*i,
    0.293388197044697 + 0.0*i,
    0.00836653455833563 + 0.0*i,
    0.0581728651955561 + 0.0*i,
    0.301743699087173 + 0.0*i,
    -0.235258546020135 + 0.0*i,
    0.164076615978369 + 0.0*i,
    -0.156754341827945 + 0.0*i,
    0.258287969272154 + 0.0*i,
    0.256475431319327 + 0.0*i,
    -0.152851317537468 + 0.0*i,
    0.232043967934523 + 0.0*i,
    0.137915899232756 + 0.0*i,
    0.00674457438617483 + 0.0*i,
    -0.231998353927444 + 0.0*i,
    -0.330219393705928 + 0.0*i,
    0.18045097287741 + 0.0*i,
    0.0910369901473478 + 0.0*i,
    0.335945321854838 + 0.0*i,
    0.19625445333033 + 0.0*i,
    0.392867330815028 + 0.0*i,
    0.156757289380914 + 0.0*i,
    0.438504480125171 + 0.0*i,
    0.476317716796543 + 0.0*i,
    0.270296124034975 + 0.0*i,
    0.338416864016227 + 0.0*i,
    -0.0246220539079256 + 0.0*i,
    -0.10995037353357 + 0.0*i,
    -0.236957507010037 + 0.0*i,
    -0.0832560326357641 + 0.0*i,
    0.110646484185857 + 0.0*i,
    0.406085144524308 + 0.0*i,
    0.446427926786816 + 0.0*i,
    0.156225633883301 + 0.0*i,
    -0.350967351582744 + 0.0*i,
    0.120840420718373 + 0.0*i,
    -0.00238359734955254 + 0.0*i,
    0.00552564846886485 + 0.0*i,
    0.42156946707566 + 0.0*i,
    -0.279291067381742 + 0.0*i,
    -0.125504734914515 + 0.0*i,
    0.301535318471907 + 0.0*i,
    0.199690353499686 + 0.0*i,
    0.0836288218864723 + 0.0*i,
    0.151776447175993 + 0.0*i,
    -0.0666523165806591 + 0.0*i,
    0.0552203555909629 + 0.0*i,
    0.0275848880788083 + 0.0*i,
    0.179309491610807 + 0.0*i,
    0.431494499663191 + 0.0*i,
    -0.240093890258795 + 0.0*i,
    -0.339741661478048 + 0.0*i,
    0.101955476162371 + 0.0*i,
    0.179182687693537 + 0.0*i,
    -0.213051821256707 + 0.0*i,
    0.158275940459802 + 0.0*i,
    0.308611701162949 + 0.0*i,
    0.263994472087974 + 0.0*i,
    0.132730954479863 + 0.0*i,
    -0.407743293546834 + 0.0*i,
    -0.200243821970725 + 0.0*i,
    -0.017599454399943 + 0.0*i,
    0.212125681563977 + 0.0*i,
    0.0797779911345907 + 0.0*i,
    0.426854761537081 + 0.0*i,
    0.0129547397086675 + 0.0*i,
    -0.0584244966421331 + 0.0*i,
    0.112081072756936 + 0.0*i,
    -0.348528412739871 + 0.0*i,
    0.130182300778747 + 0.0*i,
    0.130134075729219 + 0.0*i,
    -0.0732841668781272 + 0.0*i,
    -0.064628816552472 + 0.0*i,
    0.149655296171961 + 0.0*i,
    0.0926986267986174 + 0.0*i,
    0.00814198796946811 + 0.0*i,
    0.350441148240152 + 0.0*i,
    0.0245447221177743 + 0.0*i,
    -0.256669792990679 + 0.0*i,
    0.010944447606748 + 0.0*i,
    0.0726640493200982 + 0.0*i,
    0.195294926896292 + 0.0*i,
    -0.194256012205403 + 0.0*i,
    0.192427055232056 + 0.0*i,
    -0.257086343565981 + 0.0*i,
    -0.24787119656786 + 0.0*i,
    0.0657932806032705 + 0.0*i,
    -0.297035288865332 + 0.0*i,
    0.0786213316554975 + 0.0*i,
    0.176323869838155 + 0.0*i,
    0.13222629485974 + 0.0*i,
    0.0313922158461849 + 0.0*i,
    -0.099670958798519 + 0.0*i,
    -0.353130738715556 + 0.0*i,
    0.0110478063271542 + 0.0*i,
    0.271419461181783 + 0.0*i,
    0.232823426119651 + 0.0*i,
    -0.281845006440952 + 0.0*i,
    0.044703726238639 + 0.0*i,
    0.0138698810343146 + 0.0*i,
    -0.32923217153218 + 0.0*i,
    0.0637087157450046 + 0.0*i,
    -0.135734647513789 + 0.0*i,
    -0.088379627908616 + 0.0*i,
    0.327167577698876 + 0.0*i,
    -0.3203441896882 + 0.0*i,
    0.0499281258127325 + 0.0*i,
    -0.153204587393532 + 0.0*i,
    -0.343416352858703 + 0.0*i,
    -0.424002924494344 + 0.0*i,
    -0.129156624385556 + 0.0*i,
    0.0650798851147663 + 0.0*i,
    -0.209986013029842 + 0.0*i,
    0.203241472070349 + 0.0*i,
    0.016108957033703 + 0.0*i,
    -0.101587169321201 + 0.0*i,
    -0.170139332226356 + 0.0*i,
    -0.387830508427889 + 0.0*i,
    -0.0751414663069335 + 0.0*i,
    -0.28853940098264 + 0.0*i,
    0.235934582706286 + 0.0*i,
    -0.125366496632994 + 0.0*i,
    -0.235460733888163 + 0.0*i,
    -0.16573271295855 + 0.0*i,
    -0.0785606214710301 + 0.0*i,
    0.214430522092314 + 0.0*i,
    0.21876778787075 + 0.0*i,
    -0.201530542390317 + 0.0*i,
    0.320396869284291 + 0.0*i,
    -0.366472460979247 + 0.0*i,
    0.0177642924220326 + 0.0*i,
    0.228026487648087 + 0.0*i,
    0.190103150407198 + 0.0*i,
    -0.360856603277913 + 0.0*i,
    -0.220006382528102 + 0.0*i,
    0.326763652016724 + 0.0*i,
    0.0858013401584683 + 0.0*i,
    -0.0430070069871237 + 0.0*i,
    0.367670234799478 + 0.0*i,
    0.0541448284000406 + 0.0*i,
    -0.24353068009711 + 0.0*i,
    0.367304104549183 + 0.0*i,
    -0.328924809788412 + 0.0*i,
    -0.0793537357319776 + 0.0*i,
    0.411582446256297 + 0.0*i,
    0.128286140550416 + 0.0*i,
    0.150860044209421 + 0.0*i,
    0.137984107514388 + 0.0*i,
    -0.0450187864398632 + 0.0*i,
    -0.321231475298348 + 0.0*i,
    0.126138725272417 + 0.0*i,
    0.313308927082733 + 0.0*i,
    -0.260014738277987 + 0.0*i,
    0.0199569788561832 + 0.0*i,
    0.0721809066285066 + 0.0*i,
    0.117016250478522 + 0.0*i,
    0.207246650679116 + 0.0*i,
    0.142426682150016 + 0.0*i,
    0.404052614458392 + 0.0*i,
    -0.0881098208716304 + 0.0*i,
    -0.457998427311707 + 0.0*i,
    0.166946202816428 + 0.0*i,
    0.455786962800128 + 0.0*i,
    -0.0861602374523768 + 0.0*i,
    -0.283241971038757 + 0.0*i,
    -0.171138925079712 + 0.0*i,
    0.127542097143843 + 0.0*i,
    0.125570908335697 + 0.0*i,
    0.46567790210192 + 0.0*i,
    -0.228832250141721 + 0.0*i,
    -0.26247170947255 + 0.0*i,
    0.232773408364719 + 0.0*i,
    -0.127649983799373 + 0.0*i,
    -0.202240987399269 + 0.0*i,
    -0.048208076397694 + 0.0*i,
    -0.0754634873835824 + 0.0*i,
    0.0929016496448797 + 0.0*i,
    0.372914394288901 + 0.0*i,
    -0.283405880407792 + 0.0*i,
    -0.356875369366001 + 0.0*i,
    0.410498466274886 + 0.0*i,
    -0.0344906911232827 + 0.0*i,
    0.380479560783959 + 0.0*i,
    -0.31451825087547 + 0.0*i,
    0.229150649719483 + 0.0*i,
    0.0837025154576123 + 0.0*i,
    0.0337657004963348 + 0.0*i,
    -0.220140081969136 + 0.0*i,
    0.391159678010028 + 0.0*i,
    0.0682493110591126 + 0.0*i,
    -0.414019695857148 + 0.0*i,
    0.0358743136529627 + 0.0*i,
    -0.0574449250375026 + 0.0*i,
    0.256206117725635 + 0.0*i,
    -0.415805443930032 + 0.0*i,
    -0.368937514906309 + 0.0*i,
    0.268951296648122 + 0.0*i,
    0.114432398571169 + 0.0*i,
    0.281090351522754 + 0.0*i,
    -0.397170587887905 + 0.0*i,
    -0.442638316417592 + 0.0*i,
    0.108029365728 + 0.0*i,
    -0.198196826115106 + 0.0*i,
    0.0896437527985333 + 0.0*i,
    -0.382484105666326 + 0.0*i,
    -0.336758968646967 + 0.0*i,
    -0.162223082596902 + 0.0*i,
    0.292272263387344 + 0.0*i,
    -0.153958981899938 + 0.0*i,
    -0.179308139892885 + 0.0*i,
    0.0189478968642142 + 0.0*i,
    0.103714449780732 + 0.0*i,
    0.002600916985082 + 0.0*i,
    -0.176063718086608 + 0.0*i,
    0.141160703802536 + 0.0*i,
    -0.0143887570258856 + 0.0*i,
    0.416933960521303 + 0.0*i,
    0.342325042294544 + 0.0*i,
    -0.31482227366394 + 0.0*i,
    -0.226204042152472 + 0.0*i,
    -0.26880889392787 + 0.0*i,
    -0.398448872437407 + 0.0*i,
    -0.184138005493596 + 0.0*i,
    0.176083484404554 + 0.0*i,
    0.0994136932869122 + 0.0*i,
    0.307686015313566 + 0.0*i,
    -0.16558954926808 + 0.0*i,
    -0.389802117394844 + 0.0*i,
    0.119445943427327 + 0.0*i,
    0.246141338142998 + 0.0*i,
    0.0691575939699179 + 0.0*i,
    -0.0449785325260348 + 0.0*i,
    -0.350389360439814 + 0.0*i,
    0.0439910791775278 + 0.0*i,
    -0.149587204947173 + 0.0*i,
    -0.245412197144245 + 0.0*i,
    0.289256994557145 + 0.0*i,
    0.0974275277195791 + 0.0*i,
    0.00683632550772904 + 0.0*i,
    -0.11360113807333 + 0.0*i,
    0.20198928181962 + 0.0*i,
    -0.00591176135487876 + 0.0*i,
    -0.13977492117622 + 0.0*i,
    0.467835058458606 + 0.0*i,
    -0.116948970260051 + 0.0*i,
    0.350850746645578 + 0.0*i,
    -0.21818778431334 + 0.0*i,
    -0.251964932501905 + 0.0*i,
    0.349517804294678 + 0.0*i,
    0.300730756700216 + 0.0*i,
    -0.0918201736783957 + 0.0*i,
    0.138843784847847 + 0.0*i,
    -0.431597607329948 + 0.0*i,
    0.172448544787916 + 0.0*i,
    0.00985582296411419 + 0.0*i,
    -0.316940045767641 + 0.0*i,
    0.237375433207941 + 0.0*i,
    0.391779111401582 + 0.0*i,
    0.123301963279368 + 0.0*i,
    0.14312496150897 + 0.0*i,
    0.31470391608102 + 0.0*i,
    -0.303127300677649 + 0.0*i,
    -0.457101945081195 + 0.0*i,
    -0.0400404963992006 + 0.0*i,
    -0.283773481323885 + 0.0*i,
    0.0704266976275132 + 0.0*i,
    -0.139560808593299 + 0.0*i,
    0.218290076871472 + 0.0*i,
    0.0251851246247905 + 0.0*i,
    -0.098237082177032 + 0.0*i,
    -0.225511168693995 + 0.0*i,
    0.26738879709038 + 0.0*i,
    -0.118052650149593 + 0.0*i,
    0.00519356424881491 + 0.0*i,
    0.209703334591046 + 0.0*i,
    0.0884860832524838 + 0.0*i,
    -0.254462531297201 + 0.0*i,
    0.237308105788902 + 0.0*i,
    -0.416729383804131 + 0.0*i,
    -0.234784131866452 + 0.0*i,
    0.443178032954062 + 0.0*i,
    0.153298533105974 + 0.0*i,
    0.0159538669650625 + 0.0*i,
    -0.115323162614324 + 0.0*i,
    -0.292812051650273 + 0.0*i,
    0.0392432980426985 + 0.0*i,
    0.0987798525034049 + 0.0*i,
    -0.112180787632784 + 0.0*i,
    -0.205082116963286 + 0.0*i,
    0.269044413169636 + 0.0*i,
    0.411822539883453 + 0.0*i,
    0.324233694788878 + 0.0*i,
    -0.408292869711028 + 0.0*i,
    0.0576912467300702 + 0.0*i,
    0.368162563482208 + 0.0*i,
    0.383050850138086 + 0.0*i,
    0.365038306709032 + 0.0*i,
    0.351022726977674 + 0.0*i,
    0.332452665913411 + 0.0*i,
    -0.111360623483041 + 0.0*i,
    -0.19209902071456 + 0.0*i,
    -0.212371830002993 + 0.0*i,
    0.255353941641919 + 0.0*i,
    -0.0662385573064532 + 0.0*i,
    -0.0406207598933001 + 0.0*i,
    0.0609207649288759 + 0.0*i,
    -0.348689392954415 + 0.0*i,
    0.1231948292392 + 0.0*i,
    -0.249800452707094 + 0.0*i,
    0.069061353651582 + 0.0*i,
    0.0801618854873691 + 0.0*i,
    -0.0119995282076345 + 0.0*i,
    0.223435290103194 + 0.0*i,
    -0.252757092072916 + 0.0*i,
    0.0592715498963511 + 0.0*i,
    0.0562507547539017 + 0.0*i,
    -0.460384671131369 + 0.0*i,
    -0.392554924401031 + 0.0*i,
    0.0688533714545567 + 0.0*i,
    -0.0126132294218596 + 0.0*i,
    0.263990112901909 + 0.0*i,
    0.31085337769324 + 0.0*i,
    0.290126819383389 + 0.0*i,
    -0.178673760972046 + 0.0*i,
    0.198619172765214 + 0.0*i,
    -0.160491749398928 + 0.0*i,
    0.304764055104218 + 0.0*i,
    0.300343666531827 + 0.0*i,
    -0.397948410689832 + 0.0*i,
    0.260234504680789 + 0.0*i,
    -0.103197630220969 + 0.0*i,
    -0.253299375026229 + 0.0*i,
    0.067368182858118 + 0.0*i,
    0.138443728297112 + 0.0*i,
    -0.166537613932794 + 0.0*i,
    0.372635427427641 + 0.0*i,
    -0.423799989173576 + 0.0*i,
    0.163110571551714 + 0.0*i,
    0.42321122856539 + 0.0*i,
    0.421959369732097 + 0.0*i,
    0.407154718373485 + 0.0*i,
    -0.217853793688537 + 0.0*i,
    -0.132977828590536 + 0.0*i,
    0.0419715613066597 + 0.0*i,
    0.0479435119057897 + 0.0*i,
    0.15115789197989 + 0.0*i,
    -0.0550785934758806 + 0.0*i,
    -0.164223079686331 + 0.0*i,
    0.207493821083163 + 0.0*i,
    0.438577408323969 + 0.0*i,
    0.139224548850029 + 0.0*i,
    -0.436768373141005 + 0.0*i,
    -0.212279882969047 + 0.0*i,
    -0.318262020450021 + 0.0*i,
    -0.133445588327973 + 0.0*i,
    -0.0396173708092353 + 0.0*i,
    -0.352091216629694 + 0.0*i,
    -0.122066319103169 + 0.0*i,
    -0.248443965743747 + 0.0*i,
    -0.131758342478408 + 0.0*i,
    0.285125432364449 + 0.0*i,
    0.376235631122806 + 0.0*i,
    0.416357306542506 + 0.0*i,
    0.40342040122474 + 0.0*i,
    -0.151833116994787 + 0.0*i,
    0.389926662364587 + 0.0*i,
    -0.248466672128867 + 0.0*i,
    0.0712194482670342 + 0.0*i,
    -0.0744047824590213 + 0.0*i,
    -0.313016451926094 + 0.0*i,
    0.0461307843599553 + 0.0*i,
    -0.338624265764771 + 0.0*i,
    0.0798800618840147 + 0.0*i,
    -0.284474487591021 + 0.0*i,
    0.293972632484991 + 0.0*i,
    -0.0886687012674703 + 0.0*i,
    -0.277766027308588 + 0.0*i,
    -0.067138085748339 + 0.0*i,
    -0.309830263883688 + 0.0*i,
    -0.052164606344708 + 0.0*i,
    -0.267941520384999 + 0.0*i,
    0.309369883562833 + 0.0*i,
    -0.128375215669983 + 0.0*i,
    0.139711619417185 + 0.0*i,
    0.309538422269142 + 0.0*i,
    0.0300534121646508 + 0.0*i,
    0.277632165270435 + 0.0*i,
    -0.0310262107151724 + 0.0*i,
    -0.302083519090713 + 0.0*i,
    -0.0494223407133661 + 0.0*i,
    -0.223504363573834 + 0.0*i,
    -0.193907012215904 + 0.0*i,
    0.255984241532725 + 0.0*i,
    0.330168992544905 + 0.0*i,
    -0.0236204156003653 + 0.0*i,
    0.10582926300322 + 0.0*i,
    -0.328681455312579 + 0.0*i,
    -0.0789068538541314 + 0.0*i,
    -0.0398242565091267 + 0.0*i,
    -0.0831893869137516 + 0.0*i,
    0.295592150959045 + 0.0*i,
    0.243174010741559 + 0.0*i,
    0.305624155112672 + 0.0*i,
    -0.0309254575421118 + 0.0*i,
    0.404747784074916 + 0.0*i,
    -0.0770869365136852 + 0.0*i,
    -0.0476618813729632 + 0.0*i,
    0.100803033549479 + 0.0*i,
    0.143852110388124 + 0.0*i,
    -0.120072498345292 + 0.0*i,
    -0.0346307946541672 + 0.0*i,
    -0.438971542184102 + 0.0*i,
    -0.0951349022853467 + 0.0*i,
    -0.00450948385357631 + 0.0*i,
    0.0693573809177475 + 0.0*i,
    0.133989278343359 + 0.0*i,
    -0.148221872855822 + 0.0*i,
    0.0785592843233453 + 0.0*i,
    0.0583543932590275 + 0.0*i,
    -0.137919244201268 + 0.0*i,
    -0.0815835806495968 + 0.0*i,
    -0.200119773493749 + 0.0*i,
    0.305526473182691 + 0.0*i,
    0.194272489907589 + 0.0*i,
    0.178388160980865 + 0.0*i,
    -0.334483926573596 + 0.0*i,
    -0.225409027061153 + 0.0*i,
    0.140328684054687 + 0.0*i,
    0.340823335465681 + 0.0*i,
    -0.239361179406266 + 0.0*i,
    -0.178599089459153 + 0.0*i,
    0.103348862936132 + 0.0*i,
    0.0144792891711252 + 0.0*i,
    0.232588993994427 + 0.0*i,
    0.0340451493540106 + 0.0*i,
    -0.417253165352766 + 0.0*i,
    0.479171665346175 + 0.0*i,
    -0.299524044020965 + 0.0*i,
    0.046415566034037 + 0.0*i,
    -0.203062424746136 + 0.0*i,
    -0.232507930010896 + 0.0*i,
    -0.123389151947614 + 0.0*i,
    -0.245105060576442 + 0.0*i,
    -0.200932228953923 + 0.0*i,
    0.190280336711469 + 0.0*i,
    0.0477069610940008 + 0.0*i,
    0.246756377746203 + 0.0*i,
    -0.365764749206561 + 0.0*i,
    0.310962564253297 + 0.0*i,
    -0.123098899995723 + 0.0*i,
    0.100261046249829 + 0.0*i
]);