V:=Matrix(CC,4,86,[
    -0.185437964559526 + 0.0*i,
    0.523440681783665 + 0.0*i,
    -0.281908144846144 + 0.0*i,
    0.0476637013465064 + 0.0*i,
    -0.730605123615232 + 0.0*i,
    -0.216922462451922 + 0.0*i,
    -0.169247698832864 + 0.0*i,
    -0.0714573117020781 + 0.0*i,
    -0.343371881226293 + 0.0*i,
    -0.298376066029039 + 0.0*i,
    1.01266847804469 + 0.0*i,
    0.690507123553828 + 0.0*i,
    0.516107332216218 + 0.0*i,
    0.0083833185571229 + 0.0*i,
    -0.234948831640882 + 0.0*i,
    -0.373227310062843 + 0.0*i,
    0.617429531503594 + 0.0*i,
    0.663333774739771 + 0.0*i,
    1.23659956471526 + 0.0*i,
    -0.911584512020173 + 0.0*i,
    0.170009395410425 + 0.0*i,
    1.12110918097479 + 0.0*i,
    0.526828667882019 + 0.0*i,
    0.327591637925844 + 0.0*i,
    0.98938681074814 + 0.0*i,
    0.491640703837371 + 0.0*i,
    0.326873018586027 + 0.0*i,
    -0.181863397183632 + 0.0*i,
    -0.341259062206748 + 0.0*i,
    0.674809446876835 + 0.0*i,
    -0.071470157680495 + 0.0*i,
    0.68848262934614 + 0.0*i,
    -0.0528743439930619 + 0.0*i,
    0.76969941730927 + 0.0*i,
    -0.299292138823623 + 0.0*i,
    -0.873172925059686 + 0.0*i,
    -0.301920622558095 + 0.0*i,
    -0.593586830008251 + 0.0*i,
    -0.877841862258244 + 0.0*i,
    0.229516602994958 + 0.0*i,
    0.16647849943654 + 0.0*i,
    0.599962466186366 + 0.0*i,
    0.0135695432375424 + 0.0*i,
    0.0525079383798578 + 0.0*i,
    -0.0360130489757693 + 0.0*i,
    0.168317747894657 + 0.0*i,
    0.885181327230512 + 0.0*i,
    -0.0393110390023687 + 0.0*i,
    -0.0974779075109503 + 0.0*i,
    -0.707981787671666 + 0.0*i,
    -0.173872890769421 + 0.0*i,
    0.400273056343166 + 0.0*i,
    0.427161451903774 + 0.0*i,
    0.181747931437276 + 0.0*i,
    -0.392055627156527 + 0.0*i,
    0.164781874364875 + 0.0*i,
    -0.77462302641985 + 0.0*i,
    -0.488413687357927 + 0.0*i,
    0.0843165087313328 + 0.0*i,
    0.242163562366233 + 0.0*i,
    0.351436311538566 + 0.0*i,
    0.318971566541902 + 0.0*i,
    0.275454121666664 + 0.0*i,
    -0.0727372797736903 + 0.0*i,
    0.460784068655061 + 0.0*i,
    -0.137357375087873 + 0.0*i,
    0.614302887426817 + 0.0*i,
    0.28700083873701 + 0.0*i,
    -0.46308150484379 + 0.0*i,
    0.0172784649484122 + 0.0*i,
    -0.160425544460467 + 0.0*i,
    -0.0885453798222246 + 0.0*i,
    -1.00110146156408 + 0.0*i,
    -0.244045489398801 + 0.0*i,
    -0.215551836769927 + 0.0*i,
    -0.0785219370220154 + 0.0*i,
    -0.353841045325767 + 0.0*i,
    -0.317856151193659 + 0.0*i,
    0.156404676000748 + 0.0*i,
    0.0442082411400665 + 0.0*i,
    -0.323148722768164 + 0.0*i,
    -0.197820726365685 + 0.0*i,
    -0.445939112283721 + 0.0*i,
    0.0919198774374945 + 0.0*i,
    -0.17506905224195 + 0.0*i,
    -0.0272517836300239 + 0.0*i,
    -0.0902892359562374 + 0.0*i,
    0.307478644708585 + 0.0*i,
    -0.199937562361301 + 0.0*i,
    0.327382257680878 + 0.0*i,
    -0.480906219926738 + 0.0*i,
    -0.159436262469298 + 0.0*i,
    0.197898422524134 + 0.0*i,
    -0.0524955942895218 + 0.0*i,
    0.446417654817255 + 0.0*i,
    -0.882376776842868 + 0.0*i,
    -0.827992978718608 + 0.0*i,
    0.783462593789005 + 0.0*i,
    -0.167935146615588 + 0.0*i,
    0.623555106769704 + 0.0*i,
    0.509311725501921 + 0.0*i,
    0.900658057772142 + 0.0*i,
    -0.895139313094906 + 0.0*i,
    -0.200226081953117 + 0.0*i,
    0.308005053121648 + 0.0*i,
    -0.0884741565765828 + 0.0*i,
    -0.113930029971202 + 0.0*i,
    0.192322192809788 + 0.0*i,
    0.000776891336285523 + 0.0*i,
    0.447615292739907 + 0.0*i,
    0.533755418594123 + 0.0*i,
    0.248454481336928 + 0.0*i,
    -0.181295935327742 + 0.0*i,
    0.51728132712973 + 0.0*i,
    -1.18399827448841 + 0.0*i,
    -0.152202626358398 + 0.0*i,
    0.0417027058439828 + 0.0*i,
    0.173309818748387 + 0.0*i,
    -0.211764423877719 + 0.0*i,
    -0.360721371818876 + 0.0*i,
    -1.15232420910563 + 0.0*i,
    -0.125274070993769 + 0.0*i,
    0.344713068442033 + 0.0*i,
    -0.913759044713847 + 0.0*i,
    0.116654571172576 + 0.0*i,
    0.598520319247282 + 0.0*i,
    -0.290583855752595 + 0.0*i,
    0.0543755271718743 + 0.0*i,
    0.477096888191324 + 0.0*i,
    0.729593390301126 + 0.0*i,
    -0.347493017990526 + 0.0*i,
    0.509163826971955 + 0.0*i,
    0.634966760977699 + 0.0*i,
    0.736885873909938 + 0.0*i,
    -0.614950900899109 + 0.0*i,
    0.455176603262839 + 0.0*i,
    0.40006452394547 + 0.0*i,
    -0.0131465901207029 + 0.0*i,
    0.48142506580804 + 0.0*i,
    -0.0930660993548225 + 0.0*i,
    -0.126143255919745 + 0.0*i,
    0.184319543074732 + 0.0*i,
    -0.345471182932502 + 0.0*i,
    -0.0392757177400017 + 0.0*i,
    -0.450331213948161 + 0.0*i,
    -0.699603392721647 + 0.0*i,
    -0.600090673959003 + 0.0*i,
    1.10973718994179 + 0.0*i,
    -0.579564728169278 + 0.0*i,
    0.56337530380018 + 0.0*i,
    0.772019027340705 + 0.0*i,
    -0.129498038007528 + 0.0*i,
    -0.00939457348138098 + 0.0*i,
    -0.901846116679475 + 0.0*i,
    -0.264445779850022 + 0.0*i,
    0.404902873838543 + 0.0*i,
    0.141277295738482 + 0.0*i,
    0.195883233165996 + 0.0*i,
    0.620485333219503 + 0.0*i,
    0.0878400717932462 + 0.0*i,
    -0.117973949120708 + 0.0*i,
    0.219443381596592 + 0.0*i,
    0.770029293422836 + 0.0*i,
    0.736388352401319 + 0.0*i,
    0.0141988403928648 + 0.0*i,
    0.391093487763287 + 0.0*i,
    -0.381814336776349 + 0.0*i,
    0.438137499556204 + 0.0*i,
    0.0509070741962488 + 0.0*i,
    -0.0906314349116181 + 0.0*i,
    -0.26407570618808 + 0.0*i,
    -0.172266824000531 + 0.0*i,
    0.094161345901064 + 0.0*i,
    0.0948076509751712 + 0.0*i,
    -0.198032300231475 + 0.0*i,
    -0.571407550168113 + 0.0*i,
    0.0706459126826537 + 0.0*i,
    -0.481782278512452 + 0.0*i,
    -0.61423321960839 + 0.0*i,
    0.385343074265691 + 0.0*i,
    0.444562026335151 + 0.0*i,
    0.233152367239381 + 0.0*i,
    0.419727856207552 + 0.0*i,
    0.142720269334082 + 0.0*i,
    1.12114135545729 + 0.0*i,
    -0.54163035313451 + 0.0*i,
    0.0952143548762161 + 0.0*i,
    0.782700128830856 + 0.0*i,
    -0.172784365603493 + 0.0*i,
    -0.571275594808334 + 0.0*i,
    0.278978247233967 + 0.0*i,
    0.288862660761571 + 0.0*i,
    0.936641113708023 + 0.0*i,
    0.175131902507756 + 0.0*i,
    0.784345602898422 + 0.0*i,
    -0.189600777459717 + 0.0*i,
    0.979736349684175 + 0.0*i,
    -1.08001134441895 + 0.0*i,
    -1.15444407249431 + 0.0*i,
    0.2675698474421 + 0.0*i,
    -0.174161822144012 + 0.0*i,
    0.123655663661733 + 0.0*i,
    -0.352126548622826 + 0.0*i,
    0.96263539395151 + 0.0*i,
    0.0894783683915963 + 0.0*i,
    -0.184207379989593 + 0.0*i,
    0.752867573023523 + 0.0*i,
    0.320242802001497 + 0.0*i,
    0.156849557741603 + 0.0*i,
    0.219425056929518 + 0.0*i,
    0.954323678475939 + 0.0*i,
    0.613800850020985 + 0.0*i,
    0.504426518765996 + 0.0*i,
    0.31263822930662 + 0.0*i,
    0.737242905583557 + 0.0*i,
    0.0625889523573235 + 0.0*i,
    -0.469476680698443 + 0.0*i,
    -0.262018566312154 + 0.0*i,
    0.479833893449657 + 0.0*i,
    -0.10352483364969 + 0.0*i,
    0.578103722709605 + 0.0*i,
    0.463523775791727 + 0.0*i,
    -0.350035570327827 + 0.0*i,
    0.537421600174103 + 0.0*i,
    -0.372439455404894 + 0.0*i,
    -0.136966411396561 + 0.0*i,
    -0.533641983932637 + 0.0*i,
    0.719965935767708 + 0.0*i,
    -0.0328447233996495 + 0.0*i,
    0.994899248229473 + 0.0*i,
    -0.0684816763238458 + 0.0*i,
    0.141769116816993 + 0.0*i,
    0.1111325471485 + 0.0*i,
    0.424421617092162 + 0.0*i,
    0.228450491216985 + 0.0*i,
    0.894806465209267 + 0.0*i,
    -0.234144840823505 + 0.0*i,
    0.070677348248931 + 0.0*i,
    0.540405236400736 + 0.0*i,
    0.373333977919632 + 0.0*i,
    0.729473696189689 + 0.0*i,
    -0.326049514956822 + 0.0*i,
    0.0051178591623888 + 0.0*i,
    0.483287953584328 + 0.0*i,
    0.142766210183989 + 0.0*i,
    -0.0562537762607706 + 0.0*i,
    -0.815848687415944 + 0.0*i,
    0.0333367064812488 + 0.0*i,
    0.0638470943500938 + 0.0*i,
    -0.631830192514913 + 0.0*i,
    0.605659686578623 + 0.0*i,
    0.676716800457266 + 0.0*i,
    -0.932908893317448 + 0.0*i,
    0.368652740563973 + 0.0*i,
    -0.182909962970423 + 0.0*i,
    0.78037183432202 + 0.0*i,
    -0.0350640658702717 + 0.0*i,
    0.16253760920599 + 0.0*i,
    -0.314534818445158 + 0.0*i,
    0.168697347350193 + 0.0*i,
    -0.112706910765027 + 0.0*i,
    -0.947893364679834 + 0.0*i,
    0.757492733707053 + 0.0*i,
    0.736491656408111 + 0.0*i,
    -1.11824688046698 + 0.0*i,
    -0.535473196812794 + 0.0*i,
    0.348856995218639 + 0.0*i,
    -0.435766520558783 + 0.0*i,
    -0.147541309764602 + 0.0*i,
    0.0825152047873955 + 0.0*i,
    -0.303776859525568 + 0.0*i,
    0.0611948788824901 + 0.0*i,
    -0.0315612758434457 + 0.0*i,
    -0.123525888329026 + 0.0*i,
    0.119249569901109 + 0.0*i,
    -0.246745917569196 + 0.0*i,
    0.347057807128787 + 0.0*i,
    -0.409305320562695 + 0.0*i,
    -0.612719040890813 + 0.0*i,
    0.88284332771752 + 0.0*i,
    -0.00565394764957137 + 0.0*i,
    1.18340581730866 + 0.0*i,
    0.00922717061806298 + 0.0*i,
    -0.237930632274083 + 0.0*i,
    -0.187077872905401 + 0.0*i,
    -0.306334013913687 + 0.0*i,
    -0.306737884178556 + 0.0*i,
    -0.104387469816014 + 0.0*i,
    0.603720284545922 + 0.0*i,
    0.639827356084057 + 0.0*i,
    0.196390629915597 + 0.0*i,
    -0.103293971639945 + 0.0*i,
    -0.0549133143323578 + 0.0*i,
    0.955160510940883 + 0.0*i,
    -0.6259851861492 + 0.0*i,
    -0.290870512483493 + 0.0*i,
    0.170108661150396 + 0.0*i,
    -0.981464571346472 + 0.0*i,
    -0.876771108900816 + 0.0*i,
    -0.356852600178064 + 0.0*i,
    0.449382365588245 + 0.0*i,
    -0.64564766867393 + 0.0*i,
    -0.342440572418042 + 0.0*i,
    0.357142207904516 + 0.0*i,
    -0.137755794082614 + 0.0*i,
    0.260348352504272 + 0.0*i,
    0.12898253650113 + 0.0*i,
    0.814152785481326 + 0.0*i,
    0.365098808278745 + 0.0*i,
    -0.33848911170587 + 0.0*i,
    -0.577182675206434 + 0.0*i,
    -0.178110151218338 + 0.0*i,
    -0.463202307486675 + 0.0*i,
    -0.14223661006028 + 0.0*i,
    0.0819826594838874 + 0.0*i,
    -0.849322190003199 + 0.0*i,
    1.05646126726848 + 0.0*i,
    0.0528762247061474 + 0.0*i,
    0.962828700416346 + 0.0*i,
    -0.474994317534752 + 0.0*i,
    0.00479107190406956 + 0.0*i,
    0.668256364528161 + 0.0*i,
    -0.639432353868443 + 0.0*i,
    0.0445395793068811 + 0.0*i,
    -0.440518151490523 + 0.0*i,
    -0.851921973797952 + 0.0*i,
    0.552270148753458 + 0.0*i,
    0.693636988417805 + 0.0*i,
    -0.85493173426351 + 0.0*i,
    0.613058210229803 + 0.0*i,
    -0.25089503977297 + 0.0*i,
    0.362298283008805 + 0.0*i,
    0.476820086699628 + 0.0*i,
    0.0873915856864881 + 0.0*i,
    0.851414752662702 + 0.0*i,
    -0.533177577459028 + 0.0*i,
    0.565334971751948 + 0.0*i,
    0.0223591589160886 + 0.0*i,
    -0.0163658236418212 + 0.0*i,
    0.163571322339475 + 0.0*i,
    -0.365884589715431 + 0.0*i,
    0.015459144743883 + 0.0*i,
    0.191378254222614 + 0.0*i,
    0.735564757926036 + 0.0*i
]);