V:=Matrix(CC,4,85,[
    -0.095353797802022 + 0.0*i,
    -0.313981637170394 + 0.0*i,
    -0.0283509558020539 + 0.0*i,
    0.516317057588772 + 0.0*i,
    -0.0741198619288558 + 0.0*i,
    0.113658014555894 + 0.0*i,
    0.409045535934034 + 0.0*i,
    -0.00175100218940694 + 0.0*i,
    0.356838292286719 + 0.0*i,
    -0.569220775587966 + 0.0*i,
    -0.934146239246462 + 0.0*i,
    -0.0783779536794229 + 0.0*i,
    -0.224965271644665 + 0.0*i,
    -0.0133426338178622 + 0.0*i,
    0.323268259810043 + 0.0*i,
    -0.560099064849039 + 0.0*i,
    0.482879742006917 + 0.0*i,
    0.789787414940228 + 0.0*i,
    0.869422507322238 + 0.0*i,
    0.489462368965484 + 0.0*i,
    -0.0641666862812818 + 0.0*i,
    0.397413687547623 + 0.0*i,
    -0.692626639075712 + 0.0*i,
    0.322764485260727 + 0.0*i,
    -0.410327952620731 + 0.0*i,
    -0.158905571341808 + 0.0*i,
    0.536631550063349 + 0.0*i,
    0.167939083194462 + 0.0*i,
    -0.472189444326771 + 0.0*i,
    0.0716740361539601 + 0.0*i,
    0.175987922112925 + 0.0*i,
    -0.3623737653772 + 0.0*i,
    -1.16349912668337 + 0.0*i,
    0.0807262891837224 + 0.0*i,
    0.140369478684997 + 0.0*i,
    -0.263574809006911 + 0.0*i,
    0.0869309572847509 + 0.0*i,
    -0.869697083397808 + 0.0*i,
    -0.47961788951555 + 0.0*i,
    -0.360490518466657 + 0.0*i,
    -0.0880693440329482 + 0.0*i,
    -0.119681695166027 + 0.0*i,
    -0.311451241274516 + 0.0*i,
    -0.01012335100737 + 0.0*i,
    0.115175639871743 + 0.0*i,
    -0.0930866778637888 + 0.0*i,
    0.350478820398143 + 0.0*i,
    -0.373267356602141 + 0.0*i,
    -0.554447315340159 + 0.0*i,
    0.384730365515158 + 0.0*i,
    -0.691297661391691 + 0.0*i,
    -0.0830929073234448 + 0.0*i,
    0.780349477672381 + 0.0*i,
    0.501323765257881 + 0.0*i,
    -0.474057109271891 + 0.0*i,
    -1.0941189824883 + 0.0*i,
    0.711750396521505 + 0.0*i,
    0.261280626622423 + 0.0*i,
    -0.156312940487344 + 0.0*i,
    -0.158594965368268 + 0.0*i,
    0.788280445475026 + 0.0*i,
    -0.149242945102282 + 0.0*i,
    -0.930491607642054 + 0.0*i,
    -0.537175641943994 + 0.0*i,
    -1.02981040914329 + 0.0*i,
    -0.590395412864532 + 0.0*i,
    -0.506580309138491 + 0.0*i,
    0.217518992678453 + 0.0*i,
    0.376811939127527 + 0.0*i,
    0.262885031480259 + 0.0*i,
    -1.01138828370496 + 0.0*i,
    0.844427508141742 + 0.0*i,
    -0.100336882601871 + 0.0*i,
    -0.772452999805729 + 0.0*i,
    -0.412189253974621 + 0.0*i,
    0.0820844475205236 + 0.0*i,
    0.298450035384172 + 0.0*i,
    -0.196848246192804 + 0.0*i,
    -0.111532041296234 + 0.0*i,
    -0.409558395634234 + 0.0*i,
    -0.0633858754255573 + 0.0*i,
    -0.488526159214787 + 0.0*i,
    0.186786420751895 + 0.0*i,
    0.119519457779302 + 0.0*i,
    0.226297667788367 + 0.0*i,
    0.436298515155704 + 0.0*i,
    -0.392130309186638 + 0.0*i,
    0.544066347706089 + 0.0*i,
    -0.925775240019423 + 0.0*i,
    0.427699102477491 + 0.0*i,
    -0.262710981302005 + 0.0*i,
    -0.1446390702559 + 0.0*i,
    0.237158715937258 + 0.0*i,
    0.921147479414667 + 0.0*i,
    -0.642889285826088 + 0.0*i,
    0.527805766814183 + 0.0*i,
    0.551445607898152 + 0.0*i,
    -0.507570546328138 + 0.0*i,
    0.211509473731561 + 0.0*i,
    -0.588496784584304 + 0.0*i,
    0.0604513543673377 + 0.0*i,
    0.181523420495043 + 0.0*i,
    0.88964549739021 + 0.0*i,
    -0.0134093825271146 + 0.0*i,
    -0.0891472703501567 + 0.0*i,
    0.27009771596773 + 0.0*i,
    0.274556497299808 + 0.0*i,
    -0.709792677269928 + 0.0*i,
    0.285500043861879 + 0.0*i,
    0.0432484838172977 + 0.0*i,
    -0.497373189829892 + 0.0*i,
    -0.624292728756072 + 0.0*i,
    -0.472746537375452 + 0.0*i,
    -1.1983759665114 + 0.0*i,
    0.86012679508278 + 0.0*i,
    -0.398166468288871 + 0.0*i,
    -0.723718600276725 + 0.0*i,
    -0.235819612069363 + 0.0*i,
    -0.455565130861223 + 0.0*i,
    0.45877978210218 + 0.0*i,
    -0.483567006478943 + 0.0*i,
    -0.168250633567625 + 0.0*i,
    -0.43831941145234 + 0.0*i,
    -0.782570350774732 + 0.0*i,
    -0.0434683153043528 + 0.0*i,
    -0.533065296049525 + 0.0*i,
    0.478896920124498 + 0.0*i,
    0.836724518998512 + 0.0*i,
    0.205498524295274 + 0.0*i,
    -1.0208999147749 + 0.0*i,
    0.24728615459192 + 0.0*i,
    -0.379470299212022 + 0.0*i,
    0.237828674519387 + 0.0*i,
    -0.171125213499107 + 0.0*i,
    0.482244942927386 + 0.0*i,
    -0.253746130547709 + 0.0*i,
    -0.519157707970459 + 0.0*i,
    -0.154905336134073 + 0.0*i,
    0.0376508762434223 + 0.0*i,
    -0.367325794137304 + 0.0*i,
    0.0265994100932539 + 0.0*i,
    -0.477605814599387 + 0.0*i,
    0.708732334664068 + 0.0*i,
    0.971649673888586 + 0.0*i,
    0.487180523808058 + 0.0*i,
    -0.907152571828559 + 0.0*i,
    0.0948024951338466 + 0.0*i,
    -0.123678908592447 + 0.0*i,
    0.00961762986683033 + 0.0*i,
    0.199386681955032 + 0.0*i,
    0.470139255358298 + 0.0*i,
    0.149727709686773 + 0.0*i,
    0.729607808993098 + 0.0*i,
    0.626086001726632 + 0.0*i,
    0.379927742443111 + 0.0*i,
    0.137308380825604 + 0.0*i,
    0.335515141628787 + 0.0*i,
    -0.387320875204363 + 0.0*i,
    -0.724085395376448 + 0.0*i,
    1.01711641874463 + 0.0*i,
    -1.15694462902133 + 0.0*i,
    0.100136567627778 + 0.0*i,
    0.564925402689163 + 0.0*i,
    0.172323981275848 + 0.0*i,
    -0.225768601811788 + 0.0*i,
    -0.611490058738967 + 0.0*i,
    -0.327461289488518 + 0.0*i,
    0.241267558338334 + 0.0*i,
    -0.310800908862719 + 0.0*i,
    -0.0259973360389589 + 0.0*i,
    -0.538465470723915 + 0.0*i,
    0.558142088780776 + 0.0*i,
    0.00504565858409809 + 0.0*i,
    -0.0295977105026861 + 0.0*i,
    -0.44537873288257 + 0.0*i,
    -0.480179721796466 + 0.0*i,
    0.54088755881695 + 0.0*i,
    -0.0555284487678237 + 0.0*i,
    -0.771223654073426 + 0.0*i,
    -0.429776279110733 + 0.0*i,
    0.711573911558691 + 0.0*i,
    -0.856416942502161 + 0.0*i,
    0.263140064697473 + 0.0*i,
    0.297978712940815 + 0.0*i,
    0.0359246279214097 + 0.0*i,
    -0.670287745387718 + 0.0*i,
    -0.0870208010416087 + 0.0*i,
    -0.538990458335362 + 0.0*i,
    0.189091041363088 + 0.0*i,
    -1.1716169008615 + 0.0*i,
    0.845934443931504 + 0.0*i,
    -0.906351999839973 + 0.0*i,
    0.494128384482594 + 0.0*i,
    -0.165770412506622 + 0.0*i,
    -1.43701003304245 + 0.0*i,
    0.174955135148734 + 0.0*i,
    0.448964814859356 + 0.0*i,
    0.764013482482923 + 0.0*i,
    -0.0131078203895747 + 0.0*i,
    0.546297302622522 + 0.0*i,
    0.190478076313748 + 0.0*i,
    -0.535567868256671 + 0.0*i,
    -0.0609770300764789 + 0.0*i,
    0.503860555561113 + 0.0*i,
    -0.0931618547174208 + 0.0*i,
    0.165131236843556 + 0.0*i,
    0.0319860401485266 + 0.0*i,
    -0.893890338908687 + 0.0*i,
    0.0424602102352661 + 0.0*i,
    -0.081588446443106 + 0.0*i,
    -0.469487346470597 + 0.0*i,
    -0.443627844984347 + 0.0*i,
    -0.132855270733146 + 0.0*i,
    0.49307886083476 + 0.0*i,
    -0.535461673498549 + 0.0*i,
    -0.483525218644672 + 0.0*i,
    -0.418890481204351 + 0.0*i,
    -0.937357675950256 + 0.0*i,
    -0.473709820097946 + 0.0*i,
    -0.354419997053066 + 0.0*i,
    0.0669211337930202 + 0.0*i,
    0.153093769687749 + 0.0*i,
    0.179661989213233 + 0.0*i,
    0.498056018729248 + 0.0*i,
    -0.331516756794191 + 0.0*i,
    0.163555779526233 + 0.0*i,
    0.410675402932969 + 0.0*i,
    -0.358157109351132 + 0.0*i,
    -0.317876264125374 + 0.0*i,
    -0.640768759754234 + 0.0*i,
    -0.104698392054425 + 0.0*i,
    0.0836005586351579 + 0.0*i,
    0.418942067880776 + 0.0*i,
    0.145526464279361 + 0.0*i,
    -0.259472775630679 + 0.0*i,
    -0.68198719845596 + 0.0*i,
    0.250995323919191 + 0.0*i,
    -0.930640236852553 + 0.0*i,
    -0.139304561345596 + 0.0*i,
    -0.0869401965331466 + 0.0*i,
    0.544148372511129 + 0.0*i,
    -0.0264328431504847 + 0.0*i,
    -0.348806033790425 + 0.0*i,
    -0.179571449048184 + 0.0*i,
    0.204999484307712 + 0.0*i,
    -0.405281147284007 + 0.0*i,
    0.135209369800621 + 0.0*i,
    -0.025283415333179 + 0.0*i,
    -0.321978932992339 + 0.0*i,
    0.513030508380565 + 0.0*i,
    -0.671846651043388 + 0.0*i,
    0.577764069477492 + 0.0*i,
    -0.734064244536767 + 0.0*i,
    0.0759921653852177 + 0.0*i,
    0.723200887588983 + 0.0*i,
    -0.166227321334467 + 0.0*i,
    0.777767155725077 + 0.0*i,
    0.636492690402902 + 0.0*i,
    0.891562197403919 + 0.0*i,
    0.265948123715747 + 0.0*i,
    0.12413556216692 + 0.0*i,
    -0.777116938169339 + 0.0*i,
    0.966018891345861 + 0.0*i,
    0.643267233497513 + 0.0*i,
    -0.722778883769431 + 0.0*i,
    -0.457075334835776 + 0.0*i,
    0.449202303247332 + 0.0*i,
    0.106525195926673 + 0.0*i,
    -0.422455467833895 + 0.0*i,
    0.235169532659391 + 0.0*i,
    -0.454459013699539 + 0.0*i,
    -0.0487032141610335 + 0.0*i,
    -0.200125191744738 + 0.0*i,
    -0.281195659922915 + 0.0*i,
    -0.11650260010099 + 0.0*i,
    -0.624490225953912 + 0.0*i,
    0.712043079974887 + 0.0*i,
    0.882339406672115 + 0.0*i,
    0.0594192460645929 + 0.0*i,
    -0.421276588850793 + 0.0*i,
    0.23024736825237 + 0.0*i,
    -0.770201106690709 + 0.0*i,
    0.278154477963967 + 0.0*i,
    0.536956086302999 + 0.0*i,
    0.407482742224983 + 0.0*i,
    1.11849476111382 + 0.0*i,
    -0.432033874615278 + 0.0*i,
    0.0364971756250595 + 0.0*i,
    -0.751592291005309 + 0.0*i,
    0.149465634436481 + 0.0*i,
    -0.667733689625066 + 0.0*i,
    -0.484268362658076 + 0.0*i,
    0.166088916100717 + 0.0*i,
    -0.180898612083335 + 0.0*i,
    -0.0274278593953545 + 0.0*i,
    0.362992863812827 + 0.0*i,
    0.191089243018873 + 0.0*i,
    -0.24848361462441 + 0.0*i,
    -0.518900578911815 + 0.0*i,
    0.152079244792119 + 0.0*i,
    -1.05313660011487 + 0.0*i,
    -0.235978609650541 + 0.0*i,
    0.251756812622266 + 0.0*i,
    0.993425585790705 + 0.0*i,
    -0.654134973151153 + 0.0*i,
    0.601949845808398 + 0.0*i,
    -0.223887497330938 + 0.0*i,
    0.342266378320805 + 0.0*i,
    -0.489829341483572 + 0.0*i,
    0.868222404970228 + 0.0*i,
    0.415454012338086 + 0.0*i,
    0.280726292491227 + 0.0*i,
    -0.262255212480131 + 0.0*i,
    0.146737615134448 + 0.0*i,
    0.622710385783537 + 0.0*i,
    -0.470871330451229 + 0.0*i,
    0.151126972058835 + 0.0*i,
    -0.454749990426149 + 0.0*i,
    0.705547433521881 + 0.0*i,
    -0.706272328928929 + 0.0*i,
    0.184684528216488 + 0.0*i,
    0.0474743127052146 + 0.0*i,
    0.0484478347254872 + 0.0*i,
    0.941850952234158 + 0.0*i,
    0.189383010546726 + 0.0*i,
    0.443819893734471 + 0.0*i,
    -0.352218200800662 + 0.0*i,
    0.0504709754020171 + 0.0*i,
    0.234255722878144 + 0.0*i,
    -0.065089534472416 + 0.0*i,
    -0.324123084882898 + 0.0*i,
    -0.608612852591121 + 0.0*i,
    -0.193951717780569 + 0.0*i,
    -0.663947948054492 + 0.0*i,
    0.479137005826626 + 0.0*i,
    -1.10102332168553 + 0.0*i,
    0.350863223968841 + 0.0*i,
    0.0375013889857807 + 0.0*i,
    -0.333115704319083 + 0.0*i,
    0.239840683506668 + 0.0*i
]);