V:=Matrix(CC,4,86,[
    0.209518321305472 + 0.0*i,
    -0.366090596009654 + 0.0*i,
    0.275983025320765 + 0.0*i,
    -0.218700893560279 + 0.0*i,
    0.289611291550327 + 0.0*i,
    -0.330760114466888 + 0.0*i,
    -0.0789797416059337 + 0.0*i,
    0.11088388072675 + 0.0*i,
    0.359182786847946 + 0.0*i,
    -0.0280149764293241 + 0.0*i,
    -0.110066127771497 + 0.0*i,
    -0.156340049302715 + 0.0*i,
    -0.100343860030917 + 0.0*i,
    -0.309309781910141 + 0.0*i,
    -0.283365690172404 + 0.0*i,
    -0.316538993574778 + 0.0*i,
    0.125543343743248 + 0.0*i,
    0.224441863332436 + 0.0*i,
    -0.0708572083529508 + 0.0*i,
    0.120015697088465 + 0.0*i,
    0.398305255243783 + 0.0*i,
    -0.282190338392406 + 0.0*i,
    0.000187267780806903 + 0.0*i,
    0.0438785971242124 + 0.0*i,
    0.214883945088599 + 0.0*i,
    0.270163418775714 + 0.0*i,
    0.0299696844565529 + 0.0*i,
    -0.348055940643759 + 0.0*i,
    0.128831907512134 + 0.0*i,
    -0.113357585629042 + 0.0*i,
    -0.352740162547522 + 0.0*i,
    0.228953507437502 + 0.0*i,
    -0.384882922340373 + 0.0*i,
    -0.0660310693243558 + 0.0*i,
    0.0771503486261872 + 0.0*i,
    0.123334072037872 + 0.0*i,
    -0.0703999469023314 + 0.0*i,
    0.0214800480442387 + 0.0*i,
    -0.226431907274573 + 0.0*i,
    0.168530977789473 + 0.0*i,
    -0.25084377281781 + 0.0*i,
    0.139191918660381 + 0.0*i,
    0.314609076465321 + 0.0*i,
    -0.301376765807603 + 0.0*i,
    -0.0775991913241303 + 0.0*i,
    0.0325419984398928 + 0.0*i,
    -0.0235936474367396 + 0.0*i,
    -0.217864399754711 + 0.0*i,
    -0.206611908421422 + 0.0*i,
    0.205021134997682 + 0.0*i,
    -0.212869455808828 + 0.0*i,
    0.055203241748966 + 0.0*i,
    -0.0103101646489149 + 0.0*i,
    -0.323466846002925 + 0.0*i,
    -0.227159751717722 + 0.0*i,
    -0.208209825235434 + 0.0*i,
    0.106307018137164 + 0.0*i,
    0.160192254957025 + 0.0*i,
    -0.136732390896288 + 0.0*i,
    0.0140837241134187 + 0.0*i,
    0.141577003163661 + 0.0*i,
    -0.0958450291234219 + 0.0*i,
    -0.297190472674937 + 0.0*i,
    0.15003918715653 + 0.0*i,
    -0.256224844339836 + 0.0*i,
    -0.196064085191838 + 0.0*i,
    -0.0533208899155467 + 0.0*i,
    -0.338255312100702 + 0.0*i,
    -0.0293573058760072 + 0.0*i,
    0.00365143355769807 + 0.0*i,
    0.0594491098513563 + 0.0*i,
    -0.216865059415178 + 0.0*i,
    0.029786225628835 + 0.0*i,
    0.215402613349868 + 0.0*i,
    -0.0236893755680409 + 0.0*i,
    0.17212068271339 + 0.0*i,
    -0.145815473725147 + 0.0*i,
    -0.17727402849168 + 0.0*i,
    -0.0232940766849086 + 0.0*i,
    -0.203458766785421 + 0.0*i,
    0.107778537702284 + 0.0*i,
    -0.364392996303211 + 0.0*i,
    0.156814923305989 + 0.0*i,
    -0.274940502473513 + 0.0*i,
    -0.136353703953039 + 0.0*i,
    0.0633260474122992 + 0.0*i,
    -0.281880887310624 + 0.0*i,
    0.0845782870534497 + 0.0*i,
    -0.144936432873185 + 0.0*i,
    -0.193001352271175 + 0.0*i,
    0.0131064672538249 + 0.0*i,
    0.108391534116104 + 0.0*i,
    0.303592170997279 + 0.0*i,
    0.323689093712958 + 0.0*i,
    0.162892946843941 + 0.0*i,
    0.400107594167327 + 0.0*i,
    0.270854563434504 + 0.0*i,
    -0.158403847843476 + 0.0*i,
    -0.233732666245337 + 0.0*i,
    -0.137649973817941 + 0.0*i,
    0.00633152945052849 + 0.0*i,
    -0.248253478363413 + 0.0*i,
    -0.125469014259831 + 0.0*i,
    -0.302609872705558 + 0.0*i,
    0.26743367013754 + 0.0*i,
    -0.0489683476662465 + 0.0*i,
    -0.0229507188731402 + 0.0*i,
    0.217197323086409 + 0.0*i,
    0.295155573818189 + 0.0*i,
    0.076647387971903 + 0.0*i,
    0.167551473728506 + 0.0*i,
    0.0694174680522648 + 0.0*i,
    0.353253309278423 + 0.0*i,
    0.0835779504971463 + 0.0*i,
    0.096416813660707 + 0.0*i,
    0.159019703399405 + 0.0*i,
    0.219646013975184 + 0.0*i,
    -0.0905016170970977 + 0.0*i,
    -0.0741974295378973 + 0.0*i,
    -0.223441626009176 + 0.0*i,
    0.0830735793833135 + 0.0*i,
    0.342449961207472 + 0.0*i,
    0.253249823977908 + 0.0*i,
    0.188340435276087 + 0.0*i,
    0.177145891266376 + 0.0*i,
    0.367562854591633 + 0.0*i,
    -0.261380440377651 + 0.0*i,
    -0.368416662678257 + 0.0*i,
    0.0385501528104371 + 0.0*i,
    -0.113346953186014 + 0.0*i,
    -0.0507926183560065 + 0.0*i,
    -0.381012167121273 + 0.0*i,
    -0.0744493898854424 + 0.0*i,
    -0.0546259650484534 + 0.0*i,
    0.284842044398152 + 0.0*i,
    0.037567899116575 + 0.0*i,
    -0.12139088727961 + 0.0*i,
    0.0632948585498691 + 0.0*i,
    -0.0273258384296773 + 0.0*i,
    0.163873165659467 + 0.0*i,
    0.00600466621371946 + 0.0*i,
    0.157094506723432 + 0.0*i,
    -0.126633006665719 + 0.0*i,
    -0.234909177172893 + 0.0*i,
    -0.220771145144802 + 0.0*i,
    0.282807240196139 + 0.0*i,
    0.224791718929154 + 0.0*i,
    -0.0375047697422247 + 0.0*i,
    0.172454637841671 + 0.0*i,
    -0.107752165787144 + 0.0*i,
    -0.265195079177668 + 0.0*i,
    0.0792427344148805 + 0.0*i,
    0.193809442785359 + 0.0*i,
    -0.0987720347141588 + 0.0*i,
    0.127757315694306 + 0.0*i,
    0.217500274776342 + 0.0*i,
    0.370474106167348 + 0.0*i,
    -0.278595111454457 + 0.0*i,
    -0.103265937958451 + 0.0*i,
    -0.328600240077669 + 0.0*i,
    0.0870662364086469 + 0.0*i,
    0.320273330254712 + 0.0*i,
    -0.182474045852264 + 0.0*i,
    0.0444195266930016 + 0.0*i,
    -0.28309744572385 + 0.0*i,
    -0.00639630813729427 + 0.0*i,
    -0.314405290736755 + 0.0*i,
    -0.0292680458546277 + 0.0*i,
    -0.147538777568746 + 0.0*i,
    -0.198084586901362 + 0.0*i,
    -0.239542895830216 + 0.0*i,
    0.111045644592791 + 0.0*i,
    0.0450140232973993 + 0.0*i,
    0.170031863437719 + 0.0*i,
    0.222989142756696 + 0.0*i,
    0.167872814450849 + 0.0*i,
    -0.223992735507534 + 0.0*i,
    -0.0570039086906175 + 0.0*i,
    -0.220947415891535 + 0.0*i,
    0.158680289366958 + 0.0*i,
    0.0655764386446111 + 0.0*i,
    0.00072470457450268 + 0.0*i,
    0.0464099176682552 + 0.0*i,
    0.312460593452667 + 0.0*i,
    -0.136514971218239 + 0.0*i,
    0.229784021854682 + 0.0*i,
    0.219600275614511 + 0.0*i,
    0.0572868032156396 + 0.0*i,
    0.106522394593672 + 0.0*i,
    -0.153027578214476 + 0.0*i,
    0.240473111830379 + 0.0*i,
    -0.322843625108415 + 0.0*i,
    0.0694465662895953 + 0.0*i,
    0.103020970272876 + 0.0*i,
    -0.0105478391493341 + 0.0*i,
    0.289672336517441 + 0.0*i,
    0.242727389701545 + 0.0*i,
    0.107720871675492 + 0.0*i,
    0.200738098967434 + 0.0*i,
    -0.0514259567435079 + 0.0*i,
    -0.292585838784286 + 0.0*i,
    0.166393903308981 + 0.0*i,
    -0.00846328218454672 + 0.0*i,
    0.248872590274668 + 0.0*i,
    0.0565139744990174 + 0.0*i,
    0.166995149789003 + 0.0*i,
    -0.227785262754585 + 0.0*i,
    -0.143965303094913 + 0.0*i,
    0.302248375645052 + 0.0*i,
    0.133966606071837 + 0.0*i,
    0.267340264886587 + 0.0*i,
    0.0188942843267355 + 0.0*i,
    -0.061837800941021 + 0.0*i,
    -0.0724453378844174 + 0.0*i,
    0.249336262814367 + 0.0*i,
    0.0224277039808476 + 0.0*i,
    -0.224890101748294 + 0.0*i,
    0.130614298342524 + 0.0*i,
    0.392331782049979 + 0.0*i,
    -0.149312067056835 + 0.0*i,
    -0.122599601891051 + 0.0*i,
    0.317907697051706 + 0.0*i,
    0.0808838310808983 + 0.0*i,
    -0.0265113459095618 + 0.0*i,
    0.155809733161878 + 0.0*i,
    -0.185507483904317 + 0.0*i,
    0.0884281157711969 + 0.0*i,
    0.291809618767815 + 0.0*i,
    0.257486016780299 + 0.0*i,
    0.29281171297074 + 0.0*i,
    0.00319781838288315 + 0.0*i,
    -0.135524415217017 + 0.0*i,
    -0.299030659619662 + 0.0*i,
    -0.348091180642629 + 0.0*i,
    0.122768880351986 + 0.0*i,
    -0.247510861181017 + 0.0*i,
    -0.177312324644395 + 0.0*i,
    0.07440695275285 + 0.0*i,
    -0.299267360883923 + 0.0*i,
    -0.178919562251375 + 0.0*i,
    -0.372769960278764 + 0.0*i,
    0.291037196068621 + 0.0*i,
    0.050488042685953 + 0.0*i,
    -0.0107151199157761 + 0.0*i,
    -0.381573871359048 + 0.0*i,
    0.100970512426345 + 0.0*i,
    0.374733256401529 + 0.0*i,
    -0.157605766123336 + 0.0*i,
    -0.338261185501967 + 0.0*i,
    -0.364973842599815 + 0.0*i,
    0.281528376111868 + 0.0*i,
    0.358817488735443 + 0.0*i,
    -0.150300242279358 + 0.0*i,
    0.076208835859612 + 0.0*i,
    0.0586192036865946 + 0.0*i,
    0.161341952189958 + 0.0*i,
    -0.244286005069823 + 0.0*i,
    0.0399205268745364 + 0.0*i,
    0.207663176679373 + 0.0*i,
    -0.00585550334919193 + 0.0*i,
    0.152958387806838 + 0.0*i,
    -0.225859197932334 + 0.0*i,
    0.178325470055773 + 0.0*i,
    0.210577774428618 + 0.0*i,
    -0.155093919847714 + 0.0*i,
    -0.132964631001511 + 0.0*i,
    -0.0988395295237577 + 0.0*i,
    -0.0937956599604957 + 0.0*i,
    0.27991824349361 + 0.0*i,
    -0.129934777513698 + 0.0*i,
    0.27472589144182 + 0.0*i,
    -0.00547055098713836 + 0.0*i,
    0.187660136500759 + 0.0*i,
    -0.0260297863039191 + 0.0*i,
    -0.356663698585706 + 0.0*i,
    0.0364608520621772 + 0.0*i,
    0.17830374131266 + 0.0*i,
    0.211131177727419 + 0.0*i,
    -0.0202253152030456 + 0.0*i,
    0.178663959573596 + 0.0*i,
    -0.284268884354656 + 0.0*i,
    0.264080326801093 + 0.0*i,
    -0.175296857425672 + 0.0*i,
    -0.283409565229183 + 0.0*i,
    0.00836776632560845 + 0.0*i,
    -0.1963351858958 + 0.0*i,
    -0.236995350607147 + 0.0*i,
    -0.322963684529498 + 0.0*i,
    0.000948381213022 + 0.0*i,
    -0.214059399232207 + 0.0*i,
    -0.0912619183606181 + 0.0*i,
    0.288501196660133 + 0.0*i,
    0.322726799884576 + 0.0*i,
    -0.117155437023166 + 0.0*i,
    -0.00181553936768679 + 0.0*i,
    0.33368174298111 + 0.0*i,
    0.0859327218958425 + 0.0*i,
    -0.0113143745244729 + 0.0*i,
    -0.176381843884621 + 0.0*i,
    -0.0868553564140586 + 0.0*i,
    -0.0668421995311663 + 0.0*i,
    -0.233671061735033 + 0.0*i,
    0.327536391727255 + 0.0*i,
    -0.0696209341528302 + 0.0*i,
    -0.069880732367751 + 0.0*i,
    -0.317194653749621 + 0.0*i,
    0.180529406932311 + 0.0*i,
    0.147093107466807 + 0.0*i,
    0.316130678974909 + 0.0*i,
    0.399834651934555 + 0.0*i,
    0.380941850643825 + 0.0*i,
    0.0336567740222146 + 0.0*i,
    -0.327150422344622 + 0.0*i,
    -0.102167837043393 + 0.0*i,
    0.277906195209053 + 0.0*i,
    -0.0162123580376627 + 0.0*i,
    -0.310221427178281 + 0.0*i,
    0.264086190357472 + 0.0*i,
    -0.0756976325431309 + 0.0*i,
    0.181027126911362 + 0.0*i,
    -0.189537468452269 + 0.0*i,
    -0.265675358907027 + 0.0*i,
    -0.00145080663422865 + 0.0*i,
    0.343653486787706 + 0.0*i,
    0.207602651289023 + 0.0*i,
    -0.119316408391769 + 0.0*i,
    -0.114817045654686 + 0.0*i,
    -0.183595655729594 + 0.0*i,
    0.16564744304052 + 0.0*i,
    0.208591988408576 + 0.0*i,
    0.0265952316793629 + 0.0*i,
    0.0276499739797678 + 0.0*i,
    0.137004762449685 + 0.0*i,
    0.100294593190372 + 0.0*i,
    0.0012255522393101 + 0.0*i,
    0.0141068869147731 + 0.0*i,
    -0.0442581639087197 + 0.0*i,
    0.0370760191479395 + 0.0*i,
    0.181685027305741 + 0.0*i,
    0.160159417230282 + 0.0*i,
    0.346112135622566 + 0.0*i,
    0.151895564752932 + 0.0*i,
    -0.188949187849853 + 0.0*i,
    -0.388162571033095 + 0.0*i
]);