V:=Matrix(CC,4,70,[
    -0.0583618490721074 + 0.0*i,
    0.362239588264632 + 0.0*i,
    0.215928972281028 + 0.0*i,
    0.717984745064014 + 0.0*i,
    0.381504162600912 + 0.0*i,
    -0.989495270674934 + 0.0*i,
    0.218294190999695 + 0.0*i,
    -0.236492007915015 + 0.0*i,
    -0.681473700123338 + 0.0*i,
    -0.63999719394226 + 0.0*i,
    -1.07517456417467 + 0.0*i,
    1.09698021561266 + 0.0*i,
    0.658753374204964 + 0.0*i,
    0.615766792724305 + 0.0*i,
    0.856250867368891 + 0.0*i,
    -0.639867414696849 + 0.0*i,
    -0.293499169432424 + 0.0*i,
    0.14931746039757 + 0.0*i,
    0.0849012469919702 + 0.0*i,
    -0.0956547816790683 + 0.0*i,
    -0.0877605419227703 + 0.0*i,
    0.423806072231543 + 0.0*i,
    0.0531424283915889 + 0.0*i,
    0.667746270555162 + 0.0*i,
    -0.489445648847418 + 0.0*i,
    0.395592620794731 + 0.0*i,
    -0.313538504409091 + 0.0*i,
    -0.681833641608326 + 0.0*i,
    0.0577715135156994 + 0.0*i,
    0.218296613099212 + 0.0*i,
    -0.615946623952597 + 0.0*i,
    -0.263695602097647 + 0.0*i,
    0.760745743721848 + 0.0*i,
    -0.309810441009506 + 0.0*i,
    0.956470088215478 + 0.0*i,
    0.403386486982302 + 0.0*i,
    0.220799846407651 + 0.0*i,
    0.388816938096588 + 0.0*i,
    0.0112994451528137 + 0.0*i,
    0.358155711197516 + 0.0*i,
    -0.0880256364033196 + 0.0*i,
    0.295459224204738 + 0.0*i,
    -0.123648508321959 + 0.0*i,
    -0.681255090201693 + 0.0*i,
    0.750012393136904 + 0.0*i,
    -0.75904809115391 + 0.0*i,
    -0.16356208250407 + 0.0*i,
    0.305520223083414 + 0.0*i,
    -0.367343568096735 + 0.0*i,
    0.0906826972871963 + 0.0*i,
    0.700091486787789 + 0.0*i,
    1.10794283596157 + 0.0*i,
    -0.178871748350815 + 0.0*i,
    0.231087247969729 + 0.0*i,
    -0.159656149436319 + 0.0*i,
    0.505610208702635 + 0.0*i,
    0.399252055205322 + 0.0*i,
    -0.640661038233297 + 0.0*i,
    -0.511799723260587 + 0.0*i,
    0.261360887970319 + 0.0*i,
    -0.391831844463909 + 0.0*i,
    0.456738723791997 + 0.0*i,
    0.251160078183872 + 0.0*i,
    0.902760043370022 + 0.0*i,
    -0.187158875768885 + 0.0*i,
    -0.359150752789866 + 0.0*i,
    -0.104932643199073 + 0.0*i,
    -0.703280296002063 + 0.0*i,
    0.492763978580271 + 0.0*i,
    -0.29157058127552 + 0.0*i,
    0.339823342007121 + 0.0*i,
    -0.00408326211247708 + 0.0*i,
    -0.159572239767353 + 0.0*i,
    0.508664089800054 + 0.0*i,
    0.276301662027155 + 0.0*i,
    0.345291558863483 + 0.0*i,
    1.18743192249501 + 0.0*i,
    -0.239319905367601 + 0.0*i,
    0.577731270981477 + 0.0*i,
    0.658451291594803 + 0.0*i,
    0.160227764901782 + 0.0*i,
    -0.352372146682255 + 0.0*i,
    -0.244851420883269 + 0.0*i,
    0.41620394177465 + 0.0*i,
    0.0824556444567488 + 0.0*i,
    -0.689441215829909 + 0.0*i,
    -0.00261944123916203 + 0.0*i,
    -0.316912518440177 + 0.0*i,
    0.429030792914265 + 0.0*i,
    0.355218815003029 + 0.0*i,
    -0.583383507801162 + 0.0*i,
    0.125498390363462 + 0.0*i,
    -0.295244757134702 + 0.0*i,
    0.350874168661445 + 0.0*i,
    -0.450083242998337 + 0.0*i,
    -0.362921746191979 + 0.0*i,
    -0.713514276456826 + 0.0*i,
    0.289265052628632 + 0.0*i,
    0.583134253006985 + 0.0*i,
    -0.815296858126086 + 0.0*i,
    0.36499997479551 + 0.0*i,
    0.316001183533271 + 0.0*i,
    -0.14122364583197 + 0.0*i,
    -0.177302732131153 + 0.0*i,
    -0.747099147766544 + 0.0*i,
    0.360393991706478 + 0.0*i,
    -0.535019899187279 + 0.0*i,
    0.141444362196887 + 0.0*i,
    0.866861389549446 + 0.0*i,
    -0.05162987367834 + 0.0*i,
    -0.284640267586569 + 0.0*i,
    -0.947078879900165 + 0.0*i,
    -0.245386292080925 + 0.0*i,
    -0.973203610613783 + 0.0*i,
    -0.240174178826796 + 0.0*i,
    0.48647121814743 + 0.0*i,
    -0.185315366786493 + 0.0*i,
    0.600608052169138 + 0.0*i,
    -0.789625815108337 + 0.0*i,
    -0.516190194833259 + 0.0*i,
    0.0227699364120054 + 0.0*i,
    0.0856419054183261 + 0.0*i,
    -0.227576356177276 + 0.0*i,
    0.490912090966493 + 0.0*i,
    -0.443909734087275 + 0.0*i,
    0.0431800432031611 + 0.0*i,
    0.435903665140527 + 0.0*i,
    0.312616310707117 + 0.0*i,
    0.271529831679418 + 0.0*i,
    0.556222407274288 + 0.0*i,
    -0.599094565885569 + 0.0*i,
    -0.364271799629063 + 0.0*i,
    0.184541927901848 + 0.0*i,
    0.666215782671688 + 0.0*i,
    -0.507997753511745 + 0.0*i,
    1.31219527420358 + 0.0*i,
    -0.0314399497258248 + 0.0*i,
    -0.211923644395397 + 0.0*i,
    -0.143825185023507 + 0.0*i,
    -0.394564659823148 + 0.0*i,
    -0.00414213033555171 + 0.0*i,
    0.876642712263892 + 0.0*i,
    0.100861274858095 + 0.0*i,
    0.426602822938182 + 0.0*i,
    -0.355862371073813 + 0.0*i,
    -0.00662802542462974 + 0.0*i,
    -0.648415785991858 + 0.0*i,
    -0.658229060321155 + 0.0*i,
    -0.4773233424072 + 0.0*i,
    -0.448280547699979 + 0.0*i,
    -0.132832667146606 + 0.0*i,
    0.520290562366788 + 0.0*i,
    0.782201501732247 + 0.0*i,
    -0.280908775660502 + 0.0*i,
    0.485307581375157 + 0.0*i,
    0.360752576230474 + 0.0*i,
    -0.595636306567646 + 0.0*i,
    0.0241753621125839 + 0.0*i,
    -0.860197332738698 + 0.0*i,
    -0.079258344785681 + 0.0*i,
    -0.116317268052682 + 0.0*i,
    -0.477469889219753 + 0.0*i,
    -0.276216838133886 + 0.0*i,
    0.633840787678904 + 0.0*i,
    -0.887590839234865 + 0.0*i,
    -0.302273813396197 + 0.0*i,
    -0.404060319129692 + 0.0*i,
    0.227400734794675 + 0.0*i,
    -0.304957675734582 + 0.0*i,
    0.507150412994921 + 0.0*i,
    0.279671226456103 + 0.0*i,
    -0.696639396269733 + 0.0*i,
    0.560368722717473 + 0.0*i,
    -0.0150732537396695 + 0.0*i,
    -0.855004570612161 + 0.0*i,
    -1.08600315941865 + 0.0*i,
    -0.334906056217709 + 0.0*i,
    -0.842694307170963 + 0.0*i,
    0.453740037179227 + 0.0*i,
    -0.0319679872468716 + 0.0*i,
    -0.430118682743529 + 0.0*i,
    0.590893940720618 + 0.0*i,
    0.200657421127086 + 0.0*i,
    -0.165989835696623 + 0.0*i,
    0.132300059859263 + 0.0*i,
    -0.0356549034866226 + 0.0*i,
    1.05988152454079 + 0.0*i,
    0.646159978297496 + 0.0*i,
    -0.12188011927282 + 0.0*i,
    0.826698481220931 + 0.0*i,
    0.491781113809958 + 0.0*i,
    -0.421403434760981 + 0.0*i,
    -0.146297918863643 + 0.0*i,
    -0.613325071835064 + 0.0*i,
    -1.16060670178032 + 0.0*i,
    0.0492016427127005 + 0.0*i,
    0.182573016349459 + 0.0*i,
    -0.624206302609376 + 0.0*i,
    -0.655654628431821 + 0.0*i,
    -0.369261667051206 + 0.0*i,
    0.398000334357589 + 0.0*i,
    0.49123011654125 + 0.0*i,
    -0.922648174052506 + 0.0*i,
    -0.0410726101738274 + 0.0*i,
    -0.361602903554348 + 0.0*i,
    0.390927365956439 + 0.0*i,
    -0.510534672170741 + 0.0*i,
    -0.25517267240603 + 0.0*i,
    -0.0192806640744827 + 0.0*i,
    0.45903328505157 + 0.0*i,
    1.20982397985135 + 0.0*i,
    0.0181512270739101 + 0.0*i,
    -0.543486715790087 + 0.0*i,
    0.371965663297455 + 0.0*i,
    -0.488714485352602 + 0.0*i,
    -0.165951554355359 + 0.0*i,
    -0.709022409710162 + 0.0*i,
    -0.990120788983024 + 0.0*i,
    -0.392886410622431 + 0.0*i,
    -0.244064460870742 + 0.0*i,
    0.114721422386915 + 0.0*i,
    -0.224736127610278 + 0.0*i,
    -0.680912253018805 + 0.0*i,
    0.279555214402196 + 0.0*i,
    0.405538609614983 + 0.0*i,
    -0.891844781924458 + 0.0*i,
    0.614358661741199 + 0.0*i,
    -0.297253463434962 + 0.0*i,
    -0.774964601905119 + 0.0*i,
    0.306662497064985 + 0.0*i,
    0.512457992799269 + 0.0*i,
    0.183671211768541 + 0.0*i,
    1.16126937566252 + 0.0*i,
    0.121860623350786 + 0.0*i,
    -0.201816386034867 + 0.0*i,
    0.184240299554323 + 0.0*i,
    0.258346550604821 + 0.0*i,
    0.6856497169416 + 0.0*i,
    0.594652302976537 + 0.0*i,
    -0.140784768694548 + 0.0*i,
    0.210474520426047 + 0.0*i,
    -0.325688522495274 + 0.0*i,
    0.155262733285341 + 0.0*i,
    -0.285146213171271 + 0.0*i,
    0.238573966989517 + 0.0*i,
    -0.0154211232344047 + 0.0*i,
    0.404266627638373 + 0.0*i,
    0.38492511858969 + 0.0*i,
    -0.635910686301271 + 0.0*i,
    0.022665780899212 + 0.0*i,
    -0.974168137269674 + 0.0*i,
    -0.441457922426037 + 0.0*i,
    -0.0114993346749095 + 0.0*i,
    -0.135596156335582 + 0.0*i,
    0.342975121817531 + 0.0*i,
    -0.776557658082948 + 0.0*i,
    -0.15492055622412 + 0.0*i,
    -0.677829257995325 + 0.0*i,
    0.40536129809977 + 0.0*i,
    -0.332913240821265 + 0.0*i,
    0.430519840976758 + 0.0*i,
    0.410948733497024 + 0.0*i,
    -0.121519032192682 + 0.0*i,
    0.458007368537349 + 0.0*i,
    0.0322711267512779 + 0.0*i,
    -0.00853375887342428 + 0.0*i,
    0.00174738294173219 + 0.0*i,
    -0.303784059885624 + 0.0*i,
    -0.124494817313653 + 0.0*i,
    0.0906096788591195 + 0.0*i,
    0.171185366490135 + 0.0*i,
    -0.665115837277723 + 0.0*i,
    0.480041588435321 + 0.0*i,
    0.0882147485180944 + 0.0*i,
    0.203710898661339 + 0.0*i,
    0.384564285602956 + 0.0*i,
    0.709547281486705 + 0.0*i,
    0.917633549986959 + 0.0*i,
    0.226576897867895 + 0.0*i,
    0.250251755224624 + 0.0*i
]);