V:=Matrix(CC,4,86,[
    -0.113062010081579 + 0.0*i,
    -0.100212352268918 + 0.0*i,
    0.253811084135023 + 0.0*i,
    0.392704817737141 + 0.0*i,
    -0.260188845644351 + 0.0*i,
    0.335982476505538 + 0.0*i,
    -0.147708414491802 + 0.0*i,
    -0.216147588035327 + 0.0*i,
    0.031741570408196 + 0.0*i,
    -0.10722053935008 + 0.0*i,
    0.0756387773947727 + 0.0*i,
    0.395839790745527 + 0.0*i,
    -0.180009251756489 + 0.0*i,
    0.39301745685414 + 0.0*i,
    0.365827182085623 + 0.0*i,
    0.188314464996489 + 0.0*i,
    -0.175025852844024 + 0.0*i,
    0.0963656495892217 + 0.0*i,
    -0.244477454933479 + 0.0*i,
    -0.0736847824134127 + 0.0*i,
    -0.366091435534128 + 0.0*i,
    -0.0124093274043025 + 0.0*i,
    0.324206734252267 + 0.0*i,
    0.246479528097504 + 0.0*i,
    -0.115483704660646 + 0.0*i,
    0.0282823517940869 + 0.0*i,
    -0.0132559685912712 + 0.0*i,
    0.230916266338518 + 0.0*i,
    -0.447460756412975 + 0.0*i,
    0.0716281369435506 + 0.0*i,
    0.115990348880532 + 0.0*i,
    0.163249809299247 + 0.0*i,
    0.306777946340822 + 0.0*i,
    0.242488500168522 + 0.0*i,
    -0.0863968089478221 + 0.0*i,
    -0.247814025558607 + 0.0*i,
    -0.201040603239573 + 0.0*i,
    0.217798012897036 + 0.0*i,
    0.119784423814103 + 0.0*i,
    0.378954497557162 + 0.0*i,
    -0.287402626480639 + 0.0*i,
    -0.10404630439778 + 0.0*i,
    0.212179394121248 + 0.0*i,
    0.0996574965343694 + 0.0*i,
    -0.064775966943464 + 0.0*i,
    0.350794837024927 + 0.0*i,
    -0.112515628479281 + 0.0*i,
    -0.10656020493264 + 0.0*i,
    0.0439058034548018 + 0.0*i,
    -0.0874340940425769 + 0.0*i,
    -0.00478650450365845 + 0.0*i,
    -0.277374065929499 + 0.0*i,
    0.0705570665318499 + 0.0*i,
    -0.362621265660965 + 0.0*i,
    -0.35379886510869 + 0.0*i,
    0.164576786546224 + 0.0*i,
    -0.0888592342857789 + 0.0*i,
    0.0593897803894799 + 0.0*i,
    -0.0243058888518851 + 0.0*i,
    0.274984169096873 + 0.0*i,
    -0.0915132119917349 + 0.0*i,
    -0.107387545580852 + 0.0*i,
    0.2372793058063 + 0.0*i,
    0.261452366231999 + 0.0*i,
    -0.26327548052576 + 0.0*i,
    -0.249062143803504 + 0.0*i,
    0.166279071827315 + 0.0*i,
    -0.208558578180971 + 0.0*i,
    -0.386624567775467 + 0.0*i,
    0.134084256550593 + 0.0*i,
    0.0958166673593994 + 0.0*i,
    -0.396091829419243 + 0.0*i,
    0.0328905344135123 + 0.0*i,
    0.25819351313257 + 0.0*i,
    -0.062014523616665 + 0.0*i,
    -0.37842757904606 + 0.0*i,
    -0.220370532031484 + 0.0*i,
    -0.153169879777468 + 0.0*i,
    0.0290137864871147 + 0.0*i,
    0.0248507055088012 + 0.0*i,
    0.263077093521184 + 0.0*i,
    -0.202573396704969 + 0.0*i,
    -0.276022455166466 + 0.0*i,
    0.0505991124939848 + 0.0*i,
    0.235029485350922 + 0.0*i,
    0.306415306332873 + 0.0*i,
    0.385745615997849 + 0.0*i,
    0.155225894721132 + 0.0*i,
    0.164677821253464 + 0.0*i,
    -0.160557348407907 + 0.0*i,
    -0.362994927608893 + 0.0*i,
    0.201197077326319 + 0.0*i,
    0.148082999410579 + 0.0*i,
    0.0849674644027592 + 0.0*i,
    0.254942242050841 + 0.0*i,
    0.0887814508980619 + 0.0*i,
    -0.210932932306828 + 0.0*i,
    0.0187048980028675 + 0.0*i,
    -0.239075570896857 + 0.0*i,
    -0.185690863700785 + 0.0*i,
    0.181778483132111 + 0.0*i,
    -0.101706492033453 + 0.0*i,
    -0.215024714682183 + 0.0*i,
    0.1300839610383 + 0.0*i,
    0.268534785477873 + 0.0*i,
    -0.0115658188489558 + 0.0*i,
    0.0210267109898964 + 0.0*i,
    0.114754497761164 + 0.0*i,
    -0.231042456239972 + 0.0*i,
    -0.297016243552628 + 0.0*i,
    -0.261861537442545 + 0.0*i,
    -0.234244150278107 + 0.0*i,
    0.318144627981758 + 0.0*i,
    -0.160071482415993 + 0.0*i,
    -0.011159931127595 + 0.0*i,
    0.183776461053918 + 0.0*i,
    0.136243041414859 + 0.0*i,
    -0.0136362388036918 + 0.0*i,
    0.0996350487722025 + 0.0*i,
    0.0667389901925539 + 0.0*i,
    -0.398843162316804 + 0.0*i,
    -0.249051915736972 + 0.0*i,
    0.184560529637811 + 0.0*i,
    0.258266271023027 + 0.0*i,
    -0.0376444522073402 + 0.0*i,
    0.119835706552812 + 0.0*i,
    0.342520978265315 + 0.0*i,
    0.428486531398514 + 0.0*i,
    -0.19521883814977 + 0.0*i,
    -0.27421675434328 + 0.0*i,
    -0.434911111139672 + 0.0*i,
    -0.175578680139832 + 0.0*i,
    -0.228312554410918 + 0.0*i,
    -0.125337374020979 + 0.0*i,
    -0.111131513033653 + 0.0*i,
    -0.415833984278725 + 0.0*i,
    0.0152289635198051 + 0.0*i,
    0.0876032559343686 + 0.0*i,
    -0.217289866150466 + 0.0*i,
    -0.227350733671205 + 0.0*i,
    0.051124434735351 + 0.0*i,
    0.356623528198139 + 0.0*i,
    -0.00401928650818637 + 0.0*i,
    0.109607633727742 + 0.0*i,
    -0.14896938189768 + 0.0*i,
    0.0857442635143267 + 0.0*i,
    -0.00584497263399204 + 0.0*i,
    -0.33394097823376 + 0.0*i,
    -0.330093923700432 + 0.0*i,
    -0.254754558422532 + 0.0*i,
    -0.250457585463872 + 0.0*i,
    -0.072664102717678 + 0.0*i,
    0.0783140432501048 + 0.0*i,
    -0.0741043737060112 + 0.0*i,
    -0.0274552218465573 + 0.0*i,
    0.210004737210019 + 0.0*i,
    -0.409473820457696 + 0.0*i,
    0.0538686638500967 + 0.0*i,
    0.098205199420788 + 0.0*i,
    0.198822275277377 + 0.0*i,
    0.326853021548403 + 0.0*i,
    -0.209510771148172 + 0.0*i,
    -0.332749760074157 + 0.0*i,
    0.346437130695044 + 0.0*i,
    -0.329821474505173 + 0.0*i,
    -0.339844622043257 + 0.0*i,
    -0.15824858861227 + 0.0*i,
    -0.331787668917158 + 0.0*i,
    -0.0317270889629688 + 0.0*i,
    -0.320020927604135 + 0.0*i,
    -0.106155655376608 + 0.0*i,
    -0.0113148075743103 + 0.0*i,
    -0.15653827173042 + 0.0*i,
    0.306954583393543 + 0.0*i,
    -0.052518286466551 + 0.0*i,
    -0.126287105463009 + 0.0*i,
    -0.00781400451960108 + 0.0*i,
    -0.0398929479931325 + 0.0*i,
    0.302437898548887 + 0.0*i,
    -0.0860102975838076 + 0.0*i,
    0.347629070344862 + 0.0*i,
    -0.421891899969086 + 0.0*i,
    0.354476167341999 + 0.0*i,
    0.203492354188983 + 0.0*i,
    0.218663553446296 + 0.0*i,
    0.0893835600746695 + 0.0*i,
    0.158989895180526 + 0.0*i,
    0.175870926514117 + 0.0*i,
    -0.0312194799269709 + 0.0*i,
    -0.411621578389641 + 0.0*i,
    0.234314971157611 + 0.0*i,
    0.0820829415839077 + 0.0*i,
    -0.0173624782031746 + 0.0*i,
    -0.25074468224819 + 0.0*i,
    0.143272426063797 + 0.0*i,
    -0.0445349751108745 + 0.0*i,
    0.164953792811689 + 0.0*i,
    0.0504692872124326 + 0.0*i,
    -0.193455485762306 + 0.0*i,
    -0.361325315133625 + 0.0*i,
    -0.00371962933235732 + 0.0*i,
    -0.364440617621966 + 0.0*i,
    0.081140214557519 + 0.0*i,
    -0.0046382483671538 + 0.0*i,
    0.153376774144541 + 0.0*i,
    -0.347706225317389 + 0.0*i,
    0.0312165181448179 + 0.0*i,
    -0.224630157508562 + 0.0*i,
    -0.296924979276987 + 0.0*i,
    0.287920207664066 + 0.0*i,
    -0.410207330992723 + 0.0*i,
    -0.1312957525539 + 0.0*i,
    0.0447718222967067 + 0.0*i,
    0.0630606290879636 + 0.0*i,
    -0.0916168704970448 + 0.0*i,
    0.154530768383611 + 0.0*i,
    0.0921082814913196 + 0.0*i,
    -0.158436148942587 + 0.0*i,
    -0.221078352785202 + 0.0*i,
    0.309938377843546 + 0.0*i,
    -0.192544052844219 + 0.0*i,
    -0.163761576727348 + 0.0*i,
    0.422886642797081 + 0.0*i,
    0.134693342256877 + 0.0*i,
    -0.0496094479968119 + 0.0*i,
    -0.0715243140386101 + 0.0*i,
    -0.223412796402708 + 0.0*i,
    0.0364730685777669 + 0.0*i,
    -0.284403304394779 + 0.0*i,
    0.207694194339841 + 0.0*i,
    -0.42328147140475 + 0.0*i,
    0.186389068045051 + 0.0*i,
    -0.369699455047744 + 0.0*i,
    0.266874593131602 + 0.0*i,
    0.184614652137633 + 0.0*i,
    0.083757982983015 + 0.0*i,
    0.198613597836582 + 0.0*i,
    -0.361753436437706 + 0.0*i,
    -0.268374530047545 + 0.0*i,
    -0.357332034791734 + 0.0*i,
    0.219339183235583 + 0.0*i,
    0.298264192341524 + 0.0*i,
    0.0343446756776818 + 0.0*i,
    -0.0161749715776181 + 0.0*i,
    -0.126920224347579 + 0.0*i,
    -0.30043333741204 + 0.0*i,
    0.129432731122548 + 0.0*i,
    0.0954614418727753 + 0.0*i,
    0.168541207210121 + 0.0*i,
    0.214528972531796 + 0.0*i,
    -0.299807166991507 + 0.0*i,
    -0.142785965472644 + 0.0*i,
    0.32357771851368 + 0.0*i,
    -0.142847082523263 + 0.0*i,
    0.194871160968347 + 0.0*i,
    0.303346124788408 + 0.0*i,
    0.261995193192054 + 0.0*i,
    -0.29578125444043 + 0.0*i,
    -0.123430904332278 + 0.0*i,
    -0.284289751783082 + 0.0*i,
    0.327031352382578 + 0.0*i,
    0.0763998202160777 + 0.0*i,
    0.0204380298481134 + 0.0*i,
    -0.214509777583897 + 0.0*i,
    0.257265817133496 + 0.0*i,
    -0.37443366744875 + 0.0*i,
    0.134440572666387 + 0.0*i,
    0.0332985985879964 + 0.0*i,
    0.171409213067348 + 0.0*i,
    0.0857476176473971 + 0.0*i,
    -0.262665080525824 + 0.0*i,
    -0.0576973866883645 + 0.0*i,
    -0.0945140414112462 + 0.0*i,
    -0.343045971721315 + 0.0*i,
    0.353391240258802 + 0.0*i,
    -0.0353326960897028 + 0.0*i,
    -0.12328299702045 + 0.0*i,
    -0.435676902635614 + 0.0*i,
    0.26406203258958 + 0.0*i,
    0.345054784217535 + 0.0*i,
    0.15943848032228 + 0.0*i,
    0.231456019718833 + 0.0*i,
    0.298835707910591 + 0.0*i,
    -0.382541576275909 + 0.0*i,
    0.252750849344602 + 0.0*i,
    -0.0414333383085837 + 0.0*i,
    0.044458259949354 + 0.0*i,
    0.169698043645601 + 0.0*i,
    0.397040427622262 + 0.0*i,
    -0.420777844657496 + 0.0*i,
    0.270930118048864 + 0.0*i,
    -0.119674635647646 + 0.0*i,
    0.19363554735301 + 0.0*i,
    -0.135684666978429 + 0.0*i,
    0.194007198278898 + 0.0*i,
    -0.0158700329183672 + 0.0*i,
    0.122258612879307 + 0.0*i,
    0.166959526233077 + 0.0*i,
    0.0325786478186016 + 0.0*i,
    -0.0725179157470515 + 0.0*i,
    -0.323471817874842 + 0.0*i,
    0.302962806508142 + 0.0*i,
    -0.0467573044960628 + 0.0*i,
    -0.168267664938424 + 0.0*i,
    -0.289702644891872 + 0.0*i,
    0.279349132088611 + 0.0*i,
    -0.380853484808027 + 0.0*i,
    -0.0389544530939047 + 0.0*i,
    0.166339453339583 + 0.0*i,
    -0.318558358173154 + 0.0*i,
    0.381510465733214 + 0.0*i,
    -0.112577203197315 + 0.0*i,
    0.148872527796002 + 0.0*i,
    0.228819832238544 + 0.0*i,
    -0.335506652277504 + 0.0*i,
    -0.374654513013329 + 0.0*i,
    0.0270175525128285 + 0.0*i,
    -0.291127801346162 + 0.0*i,
    0.237325979598337 + 0.0*i,
    0.0938397227546229 + 0.0*i,
    -0.0426434043426237 + 0.0*i,
    -0.250781869504471 + 0.0*i,
    0.154919759631097 + 0.0*i,
    0.0680095205903808 + 0.0*i,
    0.306873915083248 + 0.0*i,
    -0.159698891025068 + 0.0*i,
    0.0614875306614064 + 0.0*i,
    -0.217977995897507 + 0.0*i,
    -0.157330762627277 + 0.0*i,
    -0.202641871969235 + 0.0*i,
    -0.416688995596698 + 0.0*i,
    0.0515353466108782 + 0.0*i,
    0.26738367374339 + 0.0*i,
    0.0337100335292785 + 0.0*i,
    -0.11284340336938 + 0.0*i,
    0.115034022265002 + 0.0*i,
    0.0854076505487985 + 0.0*i,
    0.257199196168151 + 0.0*i,
    0.0384250612295249 + 0.0*i,
    0.170634722386207 + 0.0*i,
    0.301541907804153 + 0.0*i,
    -0.0612097965116313 + 0.0*i,
    0.24970982881402 + 0.0*i,
    0.146090237558067 + 0.0*i
]);