V:=Matrix(CC,4,71,[
    0.29060474426185 + 0.0*i,
    0.648438464692391 + 0.0*i,
    -0.165009291696392 + 0.0*i,
    -0.223978704653638 + 0.0*i,
    0.277235800431499 + 0.0*i,
    0.0435674380592374 + 0.0*i,
    0.00399188498658024 + 0.0*i,
    0.363960283712679 + 0.0*i,
    -0.274244518618652 + 0.0*i,
    0.280454162943968 + 0.0*i,
    -0.110534858635826 + 0.0*i,
    -0.274683885406658 + 0.0*i,
    0.515936738030535 + 0.0*i,
    0.616686467732315 + 0.0*i,
    -0.298612560985297 + 0.0*i,
    -0.202533929914438 + 0.0*i,
    -0.000674833801020464 + 0.0*i,
    -0.0841479112325062 + 0.0*i,
    0.0560192056803368 + 0.0*i,
    0.193215581715492 + 0.0*i,
    -0.491259867812363 + 0.0*i,
    0.0635644809943772 + 0.0*i,
    -0.711503119282565 + 0.0*i,
    0.154058372707262 + 0.0*i,
    0.154359896622048 + 0.0*i,
    0.286187108697411 + 0.0*i,
    -0.505952710902457 + 0.0*i,
    0.241488441953068 + 0.0*i,
    -0.291055895139522 + 0.0*i,
    -0.443123943152521 + 0.0*i,
    0.157236090341833 + 0.0*i,
    0.11376575136223 + 0.0*i,
    0.294075514678228 + 0.0*i,
    0.912357478828641 + 0.0*i,
    0.152097814054338 + 0.0*i,
    0.51307311989219 + 0.0*i,
    0.163567669783954 + 0.0*i,
    -0.0745106554558744 + 0.0*i,
    0.756581277609493 + 0.0*i,
    -0.138098495490454 + 0.0*i,
    0.337476045956326 + 0.0*i,
    0.0917351864293676 + 0.0*i,
    -0.713169356387705 + 0.0*i,
    -0.0429695723908744 + 0.0*i,
    0.066208800315508 + 0.0*i,
    0.642556714335431 + 0.0*i,
    0.951927413849043 + 0.0*i,
    0.386459949802793 + 0.0*i,
    -0.556260678235759 + 0.0*i,
    -0.894314726443318 + 0.0*i,
    1.06225736390754 + 0.0*i,
    -0.90677992983574 + 0.0*i,
    -0.165924459782135 + 0.0*i,
    -0.00452096950444714 + 0.0*i,
    -0.414191882767323 + 0.0*i,
    -0.687607251376226 + 0.0*i,
    -0.186617812391755 + 0.0*i,
    -0.704041710117986 + 0.0*i,
    -0.233312350096146 + 0.0*i,
    -0.614858587654299 + 0.0*i,
    1.11744736016673 + 0.0*i,
    -0.37925989581951 + 0.0*i,
    1.30996633530445 + 0.0*i,
    -0.0214221531265074 + 0.0*i,
    0.520183435920469 + 0.0*i,
    -0.416592298532073 + 0.0*i,
    -0.313451958913283 + 0.0*i,
    0.182523009411451 + 0.0*i,
    -0.209942272859289 + 0.0*i,
    0.0711895875200115 + 0.0*i,
    -0.140318347035321 + 0.0*i,
    0.740612874886139 + 0.0*i,
    0.835547747309995 + 0.0*i,
    -0.0988606373158795 + 0.0*i,
    -0.154397944405959 + 0.0*i,
    -0.573353303712697 + 0.0*i,
    -0.581394722620245 + 0.0*i,
    -0.52651628227586 + 0.0*i,
    0.3601546604591 + 0.0*i,
    0.559238948840477 + 0.0*i,
    0.0317292202185229 + 0.0*i,
    1.05912622871265 + 0.0*i,
    0.0390595026020011 + 0.0*i,
    -0.00133441843126573 + 0.0*i,
    -0.029188574895548 + 0.0*i,
    -1.12983744132574 + 0.0*i,
    -0.0346804311776918 + 0.0*i,
    0.668322679036639 + 0.0*i,
    -0.39046842146781 + 0.0*i,
    0.718369123527169 + 0.0*i,
    0.250616263867256 + 0.0*i,
    -0.114585690579336 + 0.0*i,
    0.910934451083828 + 0.0*i,
    -0.687423082960247 + 0.0*i,
    -0.384356520626732 + 0.0*i,
    -0.34208398555384 + 0.0*i,
    0.232847854370832 + 0.0*i,
    0.143378369527788 + 0.0*i,
    0.231272199151913 + 0.0*i,
    -0.387968003273242 + 0.0*i,
    0.131109817704739 + 0.0*i,
    -0.160960722690637 + 0.0*i,
    -0.782004648915047 + 0.0*i,
    -0.294049914463558 + 0.0*i,
    0.181730049461737 + 0.0*i,
    0.954916124772164 + 0.0*i,
    -0.223658029746907 + 0.0*i,
    -0.0405720855779253 + 0.0*i,
    -0.0505464362962577 + 0.0*i,
    0.758737571542168 + 0.0*i,
    0.641671963290706 + 0.0*i,
    -0.538648135787272 + 0.0*i,
    -0.479443044284962 + 0.0*i,
    0.588303449854548 + 0.0*i,
    -1.19046807767238 + 0.0*i,
    -0.0267409807471377 + 0.0*i,
    -0.395178406571249 + 0.0*i,
    0.700590615737209 + 0.0*i,
    -0.187986993458686 + 0.0*i,
    0.356827756741574 + 0.0*i,
    0.568929316169693 + 0.0*i,
    0.437905867172534 + 0.0*i,
    1.05004341896954 + 0.0*i,
    0.153686489888724 + 0.0*i,
    0.000443558127380821 + 0.0*i,
    -0.711096191356737 + 0.0*i,
    0.299152153680246 + 0.0*i,
    0.228296700395976 + 0.0*i,
    -0.171787152353102 + 0.0*i,
    -0.364798228148914 + 0.0*i,
    -0.0432739968833092 + 0.0*i,
    -0.0679518983200369 + 0.0*i,
    0.238769722517102 + 0.0*i,
    -0.0889890570143929 + 0.0*i,
    0.824320576323696 + 0.0*i,
    -0.401189699003668 + 0.0*i,
    0.401656532635673 + 0.0*i,
    -0.00299041949529009 + 0.0*i,
    -0.05197665261601 + 0.0*i,
    -0.577607493707783 + 0.0*i,
    0.297365556633232 + 0.0*i,
    -0.448865814507695 + 0.0*i,
    -0.649421040118265 + 0.0*i,
    0.0209872950962314 + 0.0*i,
    -1.19775822926149 + 0.0*i,
    -0.0967616736142961 + 0.0*i,
    -0.187627028359362 + 0.0*i,
    -0.639592867025877 + 0.0*i,
    -0.0922176913574702 + 0.0*i,
    0.705159048020919 + 0.0*i,
    -0.0376367630001474 + 0.0*i,
    -0.865772595073777 + 0.0*i,
    0.658012536143394 + 0.0*i,
    0.0786647748134227 + 0.0*i,
    -0.984347748670847 + 0.0*i,
    0.853827156592272 + 0.0*i,
    0.119456360648432 + 0.0*i,
    0.676868290790807 + 0.0*i,
    0.0936775727513085 + 0.0*i,
    0.251139004719002 + 0.0*i,
    -0.490390169467863 + 0.0*i,
    0.0745795363178741 + 0.0*i,
    -0.313004673089167 + 0.0*i,
    -0.350578252465664 + 0.0*i,
    0.420410185237026 + 0.0*i,
    0.430158095314828 + 0.0*i,
    0.27866415269174 + 0.0*i,
    1.09260059283703 + 0.0*i,
    -0.556146851006361 + 0.0*i,
    0.0539844103500062 + 0.0*i,
    0.851295965644824 + 0.0*i,
    0.15439259264743 + 0.0*i,
    0.530964407229318 + 0.0*i,
    0.111206335396471 + 0.0*i,
    1.09555481841354 + 0.0*i,
    0.706689164356063 + 0.0*i,
    -0.866834911580584 + 0.0*i,
    0.177679575988925 + 0.0*i,
    0.239518023122126 + 0.0*i,
    0.460791781496593 + 0.0*i,
    0.286031902774135 + 0.0*i,
    -0.560016277397138 + 0.0*i,
    0.595478058634119 + 0.0*i,
    0.147898825018486 + 0.0*i,
    0.370763632057132 + 0.0*i,
    -0.462542255707998 + 0.0*i,
    0.0829791521486065 + 0.0*i,
    -0.1397397025149 + 0.0*i,
    0.414057521680365 + 0.0*i,
    0.564932544149465 + 0.0*i,
    0.439148019813523 + 0.0*i,
    0.821311622999874 + 0.0*i,
    -0.624360406644356 + 0.0*i,
    -0.393854183327023 + 0.0*i,
    0.00622399144735076 + 0.0*i,
    -0.206581101104926 + 0.0*i,
    -0.131401051075238 + 0.0*i,
    -0.11799615382371 + 0.0*i,
    0.340515603104604 + 0.0*i,
    -0.574860835078112 + 0.0*i,
    0.340583444720226 + 0.0*i,
    0.246289071641577 + 0.0*i,
    0.239310871712935 + 0.0*i,
    0.353406378883423 + 0.0*i,
    -0.0677871371217415 + 0.0*i,
    0.000516682746700789 + 0.0*i,
    0.588948934768023 + 0.0*i,
    0.0599508225289179 + 0.0*i,
    0.103400903049443 + 0.0*i,
    -0.499856926686595 + 0.0*i,
    0.517905522377146 + 0.0*i,
    -0.552249091696611 + 0.0*i,
    -0.925843874597354 + 0.0*i,
    0.414926590870508 + 0.0*i,
    -0.0196079060315691 + 0.0*i,
    -0.0115811113502358 + 0.0*i,
    0.0945783272141884 + 0.0*i,
    -0.499214243810776 + 0.0*i,
    -0.261079922478629 + 0.0*i,
    -0.263186470388192 + 0.0*i,
    -1.04023330006893 + 0.0*i,
    0.0215666927121287 + 0.0*i,
    -0.133931754563653 + 0.0*i,
    0.447485667357362 + 0.0*i,
    -0.570378233458084 + 0.0*i,
    -0.595532133493446 + 0.0*i,
    -0.240441445274198 + 0.0*i,
    -0.523466085898426 + 0.0*i,
    0.266065460479884 + 0.0*i,
    -0.0553095127169724 + 0.0*i,
    -0.139194513629837 + 0.0*i,
    -0.221166860665082 + 0.0*i,
    1.16914849961006 + 0.0*i,
    -0.428136849211432 + 0.0*i,
    0.289982914802813 + 0.0*i,
    -0.281227839412706 + 0.0*i,
    -0.771394941047397 + 0.0*i,
    -0.973315539497855 + 0.0*i,
    -0.26716327573803 + 0.0*i,
    0.16182965630761 + 0.0*i,
    -0.023994258918483 + 0.0*i,
    -0.915004143127194 + 0.0*i,
    -0.195401117948098 + 0.0*i,
    0.232125048607344 + 0.0*i,
    1.13478941351529 + 0.0*i,
    0.129354100460786 + 0.0*i,
    0.984030139465856 + 0.0*i,
    -0.450849872636514 + 0.0*i,
    0.451329065181481 + 0.0*i,
    -0.565293157347273 + 0.0*i,
    1.074061340513 + 0.0*i,
    -0.57520285932758 + 0.0*i,
    0.501474475273268 + 0.0*i,
    -0.742837996476456 + 0.0*i,
    -0.0667326543996655 + 0.0*i,
    0.581920811978423 + 0.0*i,
    0.403835118890701 + 0.0*i,
    0.663267030038669 + 0.0*i,
    -0.676077748774187 + 0.0*i,
    0.119765762949599 + 0.0*i,
    -0.205932366745616 + 0.0*i,
    0.946047312597032 + 0.0*i,
    -0.579787521837451 + 0.0*i,
    -0.23175484724125 + 0.0*i,
    -0.0115092144790742 + 0.0*i,
    -0.820172857276508 + 0.0*i,
    0.160891752110527 + 0.0*i,
    -0.415075160477863 + 0.0*i,
    0.291358192481624 + 0.0*i,
    0.0345698622656566 + 0.0*i,
    0.267556646259377 + 0.0*i,
    0.524236726028929 + 0.0*i,
    0.0115503489439183 + 0.0*i,
    -0.716017730186788 + 0.0*i,
    0.17447060897827 + 0.0*i,
    0.296007668811852 + 0.0*i,
    -0.183688318462832 + 0.0*i,
    0.510540680774777 + 0.0*i,
    -0.195349923492337 + 0.0*i,
    -0.434260066929993 + 0.0*i,
    -0.601318352477776 + 0.0*i,
    -0.519292555826937 + 0.0*i,
    0.199328376025063 + 0.0*i,
    -0.516144785823247 + 0.0*i
]);