V:=Matrix(CC,4,100,[
    -0.144505354461808 + 0.0*i,
    0.308423494991704 + 0.0*i,
    0.630055558378473 + 0.0*i,
    -0.262518332148511 + 0.0*i,
    -0.219437418551539 + 0.0*i,
    -0.0145491984673878 + 0.0*i,
    -0.0482677548388704 + 0.0*i,
    0.684307538012421 + 0.0*i,
    0.238776687032973 + 0.0*i,
    0.816383010887266 + 0.0*i,
    -0.128394393884855 + 0.0*i,
    -0.222763976594437 + 0.0*i,
    0.3622308429776 + 0.0*i,
    -0.802211551557607 + 0.0*i,
    0.284900483755071 + 0.0*i,
    -0.373426746627255 + 0.0*i,
    -0.00540204061130089 + 0.0*i,
    -0.824229845004924 + 0.0*i,
    -0.393616535599758 + 0.0*i,
    -0.322807768472847 + 0.0*i,
    0.487291706366113 + 0.0*i,
    -0.0272853870524971 + 0.0*i,
    -0.200743696361318 + 0.0*i,
    -0.464187635667502 + 0.0*i,
    -0.107036670147428 + 0.0*i,
    0.373661323922911 + 0.0*i,
    0.940931787718591 + 0.0*i,
    0.268468326143747 + 0.0*i,
    0.490962732931101 + 0.0*i,
    -0.567145796653828 + 0.0*i,
    0.526874168117205 + 0.0*i,
    0.518166989959814 + 0.0*i,
    0.921356434834819 + 0.0*i,
    0.0212585116290482 + 0.0*i,
    0.397378704929514 + 0.0*i,
    -0.392880554287725 + 0.0*i,
    -0.102988862989888 + 0.0*i,
    0.152631738155833 + 0.0*i,
    0.258966395938055 + 0.0*i,
    1.04110593928468 + 0.0*i,
    -0.15606213574532 + 0.0*i,
    0.283922747040349 + 0.0*i,
    -0.346039780055994 + 0.0*i,
    -0.378918883451194 + 0.0*i,
    -0.354796306390402 + 0.0*i,
    -0.447560384894915 + 0.0*i,
    -0.0391548816176427 + 0.0*i,
    -0.741576820566119 + 0.0*i,
    -0.0964112373944435 + 0.0*i,
    0.0896726887893815 + 0.0*i,
    -0.43794893858956 + 0.0*i,
    -0.154674568495837 + 0.0*i,
    1.16847276201687 + 0.0*i,
    -0.427644211000528 + 0.0*i,
    -0.652949303141047 + 0.0*i,
    -0.929075359894647 + 0.0*i,
    0.0253387643622061 + 0.0*i,
    0.759855153192656 + 0.0*i,
    0.88365615834139 + 0.0*i,
    -0.749376062628388 + 0.0*i,
    -0.314388138374801 + 0.0*i,
    -0.893983787259569 + 0.0*i,
    1.24365850686301 + 0.0*i,
    0.276391234789229 + 0.0*i,
    0.197643055230824 + 0.0*i,
    0.122043037261755 + 0.0*i,
    -0.310063040687993 + 0.0*i,
    0.897272737997617 + 0.0*i,
    -0.541883049435188 + 0.0*i,
    -0.413963218547836 + 0.0*i,
    -0.76734581073041 + 0.0*i,
    1.07997686981103 + 0.0*i,
    0.535264774374277 + 0.0*i,
    0.371099754933959 + 0.0*i,
    -0.648792865261815 + 0.0*i,
    0.0918935229927065 + 0.0*i,
    0.134206759281854 + 0.0*i,
    0.345287552076947 + 0.0*i,
    -0.299980637772789 + 0.0*i,
    -0.1398521447799 + 0.0*i,
    0.40097447903214 + 0.0*i,
    -0.446217942334836 + 0.0*i,
    0.0808569364898406 + 0.0*i,
    0.880596040831244 + 0.0*i,
    0.239416648690907 + 0.0*i,
    -0.00559858771141584 + 0.0*i,
    0.206034630546718 + 0.0*i,
    -0.469778122546868 + 0.0*i,
    0.133993455837509 + 0.0*i,
    -0.073291389220115 + 0.0*i,
    -0.205659727664211 + 0.0*i,
    -0.113895885964457 + 0.0*i,
    -0.343517303936808 + 0.0*i,
    -0.0263044157635411 + 0.0*i,
    -0.317209846615572 + 0.0*i,
    -0.34310228801701 + 0.0*i,
    0.485528522765515 + 0.0*i,
    0.263721956927264 + 0.0*i,
    -0.422634843987838 + 0.0*i,
    0.306180822421784 + 0.0*i,
    -0.842682230857347 + 0.0*i,
    -0.10919416875499 + 0.0*i,
    0.363407174919672 + 0.0*i,
    -0.751944673557199 + 0.0*i,
    -0.513021849341775 + 0.0*i,
    -0.442297512328794 + 0.0*i,
    -0.533513834049586 + 0.0*i,
    0.281752285859407 + 0.0*i,
    0.250656212048988 + 0.0*i,
    0.301893864663201 + 0.0*i,
    -0.762445586739586 + 0.0*i,
    -0.477667224875821 + 0.0*i,
    0.275767238628189 + 0.0*i,
    0.901273214731718 + 0.0*i,
    0.190330574191498 + 0.0*i,
    0.626934228892598 + 0.0*i,
    -0.745908810155227 + 0.0*i,
    0.0168275505977765 + 0.0*i,
    0.441389447730107 + 0.0*i,
    -0.542377664555937 + 0.0*i,
    0.271201374209317 + 0.0*i,
    -0.217242824495414 + 0.0*i,
    0.0482791106425144 + 0.0*i,
    -0.678542319096837 + 0.0*i,
    -0.473801580621317 + 0.0*i,
    -0.603490886389116 + 0.0*i,
    0.0591348213711921 + 0.0*i,
    0.0952569072647396 + 0.0*i,
    0.850337369710879 + 0.0*i,
    -0.130178357312632 + 0.0*i,
    -0.337158351481013 + 0.0*i,
    -0.241611497335521 + 0.0*i,
    0.935358207250847 + 0.0*i,
    -0.895687032821552 + 0.0*i,
    0.481594196403358 + 0.0*i,
    -0.973481457818925 + 0.0*i,
    0.168844571467291 + 0.0*i,
    -0.010961970655061 + 0.0*i,
    -0.119855889957918 + 0.0*i,
    0.216672660788897 + 0.0*i,
    0.754261740218107 + 0.0*i,
    -0.0926486199425647 + 0.0*i,
    -0.28019918134875 + 0.0*i,
    -0.134306983141636 + 0.0*i,
    0.195889519891891 + 0.0*i,
    0.0534752322709083 + 0.0*i,
    -0.0330181362984312 + 0.0*i,
    -0.451849229132461 + 0.0*i,
    -0.315577950893751 + 0.0*i,
    0.056782636485622 + 0.0*i,
    0.67588355113436 + 0.0*i,
    0.780768622644536 + 0.0*i,
    0.457986098202389 + 0.0*i,
    -0.201595108977837 + 0.0*i,
    0.163077394003091 + 0.0*i,
    -0.237142184146054 + 0.0*i,
    0.629999184907579 + 0.0*i,
    0.00324479823326694 + 0.0*i,
    -0.279817834837753 + 0.0*i,
    0.805367849602259 + 0.0*i,
    -0.338101059780184 + 0.0*i,
    0.0387356538886808 + 0.0*i,
    0.175199642081952 + 0.0*i,
    -0.274028147052734 + 0.0*i,
    -0.17920030118822 + 0.0*i,
    -1.1351163292243 + 0.0*i,
    -0.218958291381456 + 0.0*i,
    -0.801872245808527 + 0.0*i,
    -0.0279054127212402 + 0.0*i,
    -0.387359886718977 + 0.0*i,
    0.385440093737938 + 0.0*i,
    -0.337023046526947 + 0.0*i,
    0.764691253183246 + 0.0*i,
    -0.10773491261775 + 0.0*i,
    -0.92425707303499 + 0.0*i,
    0.267394829068918 + 0.0*i,
    0.0382959876847266 + 0.0*i,
    0.146773413992819 + 0.0*i,
    0.607002629989427 + 0.0*i,
    0.806981377020118 + 0.0*i,
    -0.0595485977599806 + 0.0*i,
    0.223562185161029 + 0.0*i,
    0.0857060960084423 + 0.0*i,
    -0.514004303410988 + 0.0*i,
    -0.365986156301052 + 0.0*i,
    0.662709301618915 + 0.0*i,
    0.775220452260305 + 0.0*i,
    -0.93531974830913 + 0.0*i,
    -0.236575695492495 + 0.0*i,
    -0.53157036511382 + 0.0*i,
    -0.427924935711394 + 0.0*i,
    -0.424124815774425 + 0.0*i,
    0.0896470893055491 + 0.0*i,
    -0.0497039460137085 + 0.0*i,
    0.333896139190112 + 0.0*i,
    0.41775017706861 + 0.0*i,
    0.650638435221736 + 0.0*i,
    -0.100296652141991 + 0.0*i,
    1.28197411955433 + 0.0*i,
    -0.0667905023273935 + 0.0*i,
    -0.0971918097832423 + 0.0*i,
    -0.195067277850779 + 0.0*i,
    0.538619059336103 + 0.0*i,
    -0.854387438709926 + 0.0*i,
    0.240197139051399 + 0.0*i,
    0.402862976767836 + 0.0*i,
    0.368684716303133 + 0.0*i,
    -0.341701364953855 + 0.0*i,
    -0.676891248719032 + 0.0*i,
    0.299158126134944 + 0.0*i,
    0.30029430754522 + 0.0*i,
    0.358954075983415 + 0.0*i,
    -0.204769126685093 + 0.0*i,
    -0.0358391330625806 + 0.0*i,
    0.103230835358637 + 0.0*i,
    -0.0365264958143536 + 0.0*i,
    -0.235436773100187 + 0.0*i,
    0.338930466261212 + 0.0*i,
    0.00132158704127727 + 0.0*i,
    0.554348081750515 + 0.0*i,
    -0.276196507663155 + 0.0*i,
    0.522920055402933 + 0.0*i,
    0.366178352640333 + 0.0*i,
    -0.461146866658904 + 0.0*i,
    -0.210793487545809 + 0.0*i,
    0.289872657582505 + 0.0*i,
    -0.126636966126912 + 0.0*i,
    0.315389483329038 + 0.0*i,
    0.123943870381522 + 0.0*i,
    0.541141758955497 + 0.0*i,
    -1.15490976345879 + 0.0*i,
    0.368038110982212 + 0.0*i,
    0.0440726140023754 + 0.0*i,
    0.787991238207096 + 0.0*i,
    0.31362678370822 + 0.0*i,
    0.41296716592519 + 0.0*i,
    -0.35733620794531 + 0.0*i,
    -0.912474138671815 + 0.0*i,
    0.158424091328898 + 0.0*i,
    0.0845076475163642 + 0.0*i,
    -0.0161773095397922 + 0.0*i,
    -0.0556442491551541 + 0.0*i,
    0.232627385011087 + 0.0*i,
    -1.04643026337191 + 0.0*i,
    0.376583782014114 + 0.0*i,
    0.602135630526649 + 0.0*i,
    0.544748888109049 + 0.0*i,
    0.5164882002175 + 0.0*i,
    -0.446730164130543 + 0.0*i,
    -0.566845708139648 + 0.0*i,
    -0.955913516077565 + 0.0*i,
    0.770678105993947 + 0.0*i,
    -0.136344662054975 + 0.0*i,
    0.486348140420467 + 0.0*i,
    -1.07296278194488 + 0.0*i,
    0.604569528141522 + 0.0*i,
    -0.552986048067731 + 0.0*i,
    -0.814425873593504 + 0.0*i,
    0.820743303897136 + 0.0*i,
    -0.127056055845697 + 0.0*i,
    0.332026515951153 + 0.0*i,
    -0.187621367802628 + 0.0*i,
    0.266398551623427 + 0.0*i,
    0.0828863039993728 + 0.0*i,
    -0.614913994365551 + 0.0*i,
    -1.02060782629843 + 0.0*i,
    -0.949098573569399 + 0.0*i,
    0.382387598510877 + 0.0*i,
    0.368482838014604 + 0.0*i,
    0.764836479533155 + 0.0*i,
    -0.0333683745975445 + 0.0*i,
    0.14662912243714 + 0.0*i,
    0.00779151701188316 + 0.0*i,
    0.415432440035919 + 0.0*i,
    0.0708733501031266 + 0.0*i,
    0.324396033044617 + 0.0*i,
    -0.117547243659987 + 0.0*i,
    -1.46462869619924 + 0.0*i,
    0.161157254438709 + 0.0*i,
    0.559880203277955 + 0.0*i,
    -0.652210935304554 + 0.0*i,
    -0.242230597421992 + 0.0*i,
    0.100186168393477 + 0.0*i,
    -0.442193087945012 + 0.0*i,
    0.600088215546035 + 0.0*i,
    0.582117364362473 + 0.0*i,
    1.1777567711533 + 0.0*i,
    -0.142244359655247 + 0.0*i,
    -0.433390374623468 + 0.0*i,
    0.501434022102542 + 0.0*i,
    -0.144624106409734 + 0.0*i,
    0.305733875350904 + 0.0*i,
    0.149385173026461 + 0.0*i,
    0.00388566563231101 + 0.0*i,
    0.405709786184337 + 0.0*i,
    0.944044744540403 + 0.0*i,
    0.456968776496087 + 0.0*i,
    -0.666216809150988 + 0.0*i,
    0.0592270467880186 + 0.0*i,
    -0.0595587274481063 + 0.0*i,
    -0.353866229226912 + 0.0*i,
    -0.255119893165986 + 0.0*i,
    -0.0916125045060105 + 0.0*i,
    0.113021826931998 + 0.0*i,
    -0.208511616391328 + 0.0*i,
    -0.952613188954612 + 0.0*i,
    0.0642900151081679 + 0.0*i,
    -0.0482210989370997 + 0.0*i,
    0.409865966304184 + 0.0*i,
    -1.183454355052 + 0.0*i,
    -0.431484930137231 + 0.0*i,
    -0.522848207743682 + 0.0*i,
    0.227834126935002 + 0.0*i,
    -0.476539368419984 + 0.0*i,
    0.470645252351978 + 0.0*i,
    -0.143472926944629 + 0.0*i,
    -0.303952670631706 + 0.0*i,
    -0.536567271067607 + 0.0*i,
    -0.236948250500327 + 0.0*i,
    -0.504972257930788 + 0.0*i,
    -0.0374888002838855 + 0.0*i,
    0.549785695493821 + 0.0*i,
    0.529782816057904 + 0.0*i,
    1.0011344056566 + 0.0*i,
    0.256342381434856 + 0.0*i,
    -0.267820637332976 + 0.0*i,
    -0.0279776094831798 + 0.0*i,
    -0.206535185780212 + 0.0*i,
    -0.191610152390193 + 0.0*i,
    0.0316368311474697 + 0.0*i,
    0.702805077805336 + 0.0*i,
    0.368362810268301 + 0.0*i,
    0.00082443236123827 + 0.0*i,
    -0.464550115507309 + 0.0*i,
    -0.358912047600989 + 0.0*i,
    0.0265765176819649 + 0.0*i,
    -0.670434283025224 + 0.0*i,
    -0.751642123764873 + 0.0*i,
    0.0794927981142293 + 0.0*i,
    -0.335824072677809 + 0.0*i,
    -0.906749745290983 + 0.0*i,
    -0.316020237227299 + 0.0*i,
    0.125384879824125 + 0.0*i,
    -0.604958880095671 + 0.0*i,
    -0.119308822435559 + 0.0*i,
    -0.131297389708904 + 0.0*i,
    0.454645667001202 + 0.0*i,
    0.494965806353785 + 0.0*i,
    0.604248356246864 + 0.0*i,
    0.57034436253917 + 0.0*i,
    0.473356771347945 + 0.0*i,
    0.377418798125507 + 0.0*i,
    0.861606685837041 + 0.0*i,
    0.492416344234871 + 0.0*i,
    0.298113043241498 + 0.0*i,
    0.0301526487923693 + 0.0*i,
    -0.173420902851813 + 0.0*i,
    -0.142176769455113 + 0.0*i,
    0.783233211652275 + 0.0*i,
    0.080029040175928 + 0.0*i,
    -0.0831553004017425 + 0.0*i,
    0.522423117354333 + 0.0*i,
    0.0439842051952632 + 0.0*i,
    -1.29926165944479 + 0.0*i,
    -0.35480128218311 + 0.0*i,
    0.711249375817446 + 0.0*i,
    0.204736295858131 + 0.0*i,
    0.299682709435639 + 0.0*i,
    1.05506774318548 + 0.0*i,
    -0.330472713667868 + 0.0*i,
    0.0381530260313495 + 0.0*i,
    -0.874629182594169 + 0.0*i,
    -0.22496909089801 + 0.0*i,
    -0.596707778559828 + 0.0*i,
    -0.032022053084065 + 0.0*i,
    -0.263511311729895 + 0.0*i,
    0.442342635723217 + 0.0*i,
    -0.32264605422851 + 0.0*i,
    0.325666399726155 + 0.0*i,
    -0.109648649200894 + 0.0*i,
    -0.433868928481187 + 0.0*i,
    -1.3073555118148 + 0.0*i,
    -0.0330714746243985 + 0.0*i,
    -0.433610786368802 + 0.0*i,
    0.552966576195265 + 0.0*i,
    0.16628568630718 + 0.0*i,
    0.223848882274231 + 0.0*i,
    -0.28027397408626 + 0.0*i,
    -0.000121274596815506 + 0.0*i,
    0.0497415613076943 + 0.0*i,
    -0.044027865252027 + 0.0*i,
    -0.355366417415114 + 0.0*i,
    0.799617928142466 + 0.0*i,
    0.707377869847171 + 0.0*i,
    -1.05426382423421 + 0.0*i,
    -0.0979473229158724 + 0.0*i,
    0.0301175388717372 + 0.0*i,
    -0.66885550059151 + 0.0*i,
    0.591025851997427 + 0.0*i,
    0.337507188040674 + 0.0*i
]);