V:=Matrix(CC,4,100,[
    0.243147160301055 + 0.0*i,
    -0.734361742589778 + 0.0*i,
    -0.12967731301335 + 0.0*i,
    0.417494824634001 + 0.0*i,
    0.889593818654845 + 0.0*i,
    0.691682724636048 + 0.0*i,
    0.628417739381561 + 0.0*i,
    0.372074838496821 + 0.0*i,
    0.318694619620826 + 0.0*i,
    -0.0781485645403785 + 0.0*i,
    -1.23202204564525 + 0.0*i,
    0.6739319260633 + 0.0*i,
    -0.349616034375048 + 0.0*i,
    0.98538875526248 + 0.0*i,
    0.442115322779017 + 0.0*i,
    0.996329044485158 + 0.0*i,
    -0.0481149353031733 + 0.0*i,
    -1.10700686640041 + 0.0*i,
    -0.135679553743395 + 0.0*i,
    -0.0324660873770191 + 0.0*i,
    0.546107207262092 + 0.0*i,
    0.333939199056 + 0.0*i,
    0.170402732501967 + 0.0*i,
    -0.480596132230108 + 0.0*i,
    -0.47732318074624 + 0.0*i,
    -0.0820615801291507 + 0.0*i,
    0.138800656363034 + 0.0*i,
    0.727549015608316 + 0.0*i,
    0.449021431569285 + 0.0*i,
    0.850304519521648 + 0.0*i,
    -0.479408095258531 + 0.0*i,
    -0.517754173731648 + 0.0*i,
    0.300881936671648 + 0.0*i,
    -0.191355989644175 + 0.0*i,
    -0.238383965075698 + 0.0*i,
    0.234565151870442 + 0.0*i,
    0.18213720851125 + 0.0*i,
    0.715132382050284 + 0.0*i,
    -0.255928281432262 + 0.0*i,
    -0.287225091040743 + 0.0*i,
    -0.356832761607384 + 0.0*i,
    -0.672614207582939 + 0.0*i,
    1.17874981089607 + 0.0*i,
    -0.276687341276902 + 0.0*i,
    -0.250600524292928 + 0.0*i,
    0.816956863562208 + 0.0*i,
    0.382915036503325 + 0.0*i,
    0.409411597664742 + 0.0*i,
    0.337625000532766 + 0.0*i,
    -0.548334367710321 + 0.0*i,
    -0.00127423250958057 + 0.0*i,
    0.0263711204148402 + 0.0*i,
    -0.141337085743338 + 0.0*i,
    -0.00490653025947405 + 0.0*i,
    0.222133435544259 + 0.0*i,
    0.291232523112624 + 0.0*i,
    0.770738646423904 + 0.0*i,
    -0.0301032543219883 + 0.0*i,
    -0.179135078823239 + 0.0*i,
    -0.584794197132479 + 0.0*i,
    0.180801382061245 + 0.0*i,
    -0.287297350590943 + 0.0*i,
    -0.32049658631615 + 0.0*i,
    0.825544859457524 + 0.0*i,
    -0.214086993548651 + 0.0*i,
    0.426664804986159 + 0.0*i,
    -0.265603035793029 + 0.0*i,
    -0.358576383032979 + 0.0*i,
    0.0877288299587087 + 0.0*i,
    0.0669608528643929 + 0.0*i,
    0.041860986260632 + 0.0*i,
    0.339974758468919 + 0.0*i,
    -1.11641333041677 + 0.0*i,
    -0.548884015567265 + 0.0*i,
    0.368177205233606 + 0.0*i,
    -0.158145515205273 + 0.0*i,
    -0.380780911094122 + 0.0*i,
    1.03405715872352 + 0.0*i,
    1.14401245533614 + 0.0*i,
    -0.000755349001349653 + 0.0*i,
    -0.0315987857960329 + 0.0*i,
    0.0181838591358309 + 0.0*i,
    0.672632338829409 + 0.0*i,
    -0.0654156658303819 + 0.0*i,
    0.0714759990528378 + 0.0*i,
    -0.375730602922404 + 0.0*i,
    0.521509556931049 + 0.0*i,
    -0.678184197216278 + 0.0*i,
    0.0648109508319961 + 0.0*i,
    0.586720265725081 + 0.0*i,
    -0.516487496449327 + 0.0*i,
    -0.000566687009516023 + 0.0*i,
    -0.260256642519966 + 0.0*i,
    0.73681284351165 + 0.0*i,
    -0.279254652813842 + 0.0*i,
    0.226869557768129 + 0.0*i,
    0.514430959185961 + 0.0*i,
    -0.0616373521305768 + 0.0*i,
    -0.0890271095223177 + 0.0*i,
    -0.318966203154078 + 0.0*i,
    -0.222747853931619 + 0.0*i,
    -1.01832114999055 + 0.0*i,
    1.31602039956001 + 0.0*i,
    0.179860908292434 + 0.0*i,
    -0.167861137606826 + 0.0*i,
    -0.0168273397648429 + 0.0*i,
    -0.800941379083064 + 0.0*i,
    -0.426955295091662 + 0.0*i,
    -0.0290327605113607 + 0.0*i,
    0.330500205711194 + 0.0*i,
    0.452321803867877 + 0.0*i,
    0.170464278615876 + 0.0*i,
    -0.0576310835362919 + 0.0*i,
    -0.0181882135315144 + 0.0*i,
    0.230272593209963 + 0.0*i,
    -0.762128297312759 + 0.0*i,
    0.72420694803814 + 0.0*i,
    0.268559459714801 + 0.0*i,
    -0.644310462414336 + 0.0*i,
    0.123170167886662 + 0.0*i,
    -0.11386628906538 + 0.0*i,
    0.770776053613743 + 0.0*i,
    -0.323238131614062 + 0.0*i,
    -0.13084792388877 + 0.0*i,
    -0.0576445351985004 + 0.0*i,
    0.512457872382974 + 0.0*i,
    0.0562539019051462 + 0.0*i,
    -0.595231897587289 + 0.0*i,
    -0.197246666789282 + 0.0*i,
    0.767952333622476 + 0.0*i,
    0.825529155451522 + 0.0*i,
    1.15172995104965 + 0.0*i,
    -0.124534700956315 + 0.0*i,
    0.0200504458828808 + 0.0*i,
    0.227778817720516 + 0.0*i,
    0.471770856232159 + 0.0*i,
    -0.00768151408655665 + 0.0*i,
    -0.505364067605988 + 0.0*i,
    -0.0109586688733399 + 0.0*i,
    0.169483214386073 + 0.0*i,
    0.0268711820769299 + 0.0*i,
    0.367966447162236 + 0.0*i,
    0.532821008207021 + 0.0*i,
    1.28170344454354 + 0.0*i,
    0.640376681788199 + 0.0*i,
    -0.549845774156044 + 0.0*i,
    0.0718791010333335 + 0.0*i,
    0.846822479157903 + 0.0*i,
    -0.244601964111585 + 0.0*i,
    -0.330684524135736 + 0.0*i,
    0.683879317476967 + 0.0*i,
    -0.883424070555528 + 0.0*i,
    -0.433654150824391 + 0.0*i,
    0.449645233480898 + 0.0*i,
    -0.581110762149046 + 0.0*i,
    0.289885308521725 + 0.0*i,
    0.453404392325798 + 0.0*i,
    0.0342960885967917 + 0.0*i,
    -0.485382959378918 + 0.0*i,
    -0.495804332665381 + 0.0*i,
    -0.334029630323583 + 0.0*i,
    -0.471276602706823 + 0.0*i,
    0.236868381590985 + 0.0*i,
    0.232469648036253 + 0.0*i,
    0.0305566390946321 + 0.0*i,
    1.09907565921203 + 0.0*i,
    0.290227482797916 + 0.0*i,
    0.279129189213425 + 0.0*i,
    0.346937654201611 + 0.0*i,
    0.834081054639165 + 0.0*i,
    -0.0547333773385229 + 0.0*i,
    0.00157640764932034 + 0.0*i,
    -0.299839198717802 + 0.0*i,
    -0.169811162633092 + 0.0*i,
    -0.249695268605587 + 0.0*i,
    -0.328641353448607 + 0.0*i,
    0.262625992737731 + 0.0*i,
    0.94904873219689 + 0.0*i,
    -0.317031252477445 + 0.0*i,
    0.573074980211125 + 0.0*i,
    -0.436542842700882 + 0.0*i,
    0.376094706712345 + 0.0*i,
    -0.376149406591627 + 0.0*i,
    -0.153155481031384 + 0.0*i,
    0.339110444392845 + 0.0*i,
    0.571145675876043 + 0.0*i,
    0.486729947164001 + 0.0*i,
    0.164061488676051 + 0.0*i,
    0.40387908109375 + 0.0*i,
    -0.136002599384169 + 0.0*i,
    0.474790505099571 + 0.0*i,
    0.13005133402891 + 0.0*i,
    0.424370983082294 + 0.0*i,
    0.123320223078947 + 0.0*i,
    0.745353093516761 + 0.0*i,
    -0.258755062977612 + 0.0*i,
    0.272874957791114 + 0.0*i,
    -0.5271932188202 + 0.0*i,
    -0.57351557987407 + 0.0*i,
    -0.203036882825589 + 0.0*i,
    -0.205522417867107 + 0.0*i,
    0.352381655278213 + 0.0*i,
    -0.428220032860376 + 0.0*i,
    -0.1226773341694 + 0.0*i,
    0.442698965304771 + 0.0*i,
    0.307357276601468 + 0.0*i,
    0.459827036625934 + 0.0*i,
    -0.200934950986151 + 0.0*i,
    0.24401623406919 + 0.0*i,
    -0.199554725099065 + 0.0*i,
    0.274587503752318 + 0.0*i,
    0.652343407716711 + 0.0*i,
    -0.0102511627571428 + 0.0*i,
    -0.0829568631920751 + 0.0*i,
    -0.0281548329401985 + 0.0*i,
    0.483512095059709 + 0.0*i,
    1.08338798627143 + 0.0*i,
    0.21965850532662 + 0.0*i,
    0.761949709898054 + 0.0*i,
    0.283151180453188 + 0.0*i,
    -0.262653546808497 + 0.0*i,
    -0.121599328191827 + 0.0*i,
    -0.628761547872054 + 0.0*i,
    -0.694536177600213 + 0.0*i,
    -0.354786914261231 + 0.0*i,
    -0.967373112768347 + 0.0*i,
    0.108706244167431 + 0.0*i,
    0.587924789996709 + 0.0*i,
    -0.549180208692023 + 0.0*i,
    0.157517234068502 + 0.0*i,
    -0.303475521710191 + 0.0*i,
    0.434963640040053 + 0.0*i,
    0.105303508212315 + 0.0*i,
    -0.176119446655276 + 0.0*i,
    0.445191929134145 + 0.0*i,
    0.0809606342102481 + 0.0*i,
    -0.815984848648995 + 0.0*i,
    0.0806305566388994 + 0.0*i,
    -0.356677007721857 + 0.0*i,
    0.641512076338913 + 0.0*i,
    -1.03935867083009 + 0.0*i,
    -0.531170225816695 + 0.0*i,
    -0.700105964486249 + 0.0*i,
    -0.0407955376884869 + 0.0*i,
    -0.134040736813021 + 0.0*i,
    0.443595789224395 + 0.0*i,
    0.0326480554764426 + 0.0*i,
    0.0371586391917182 + 0.0*i,
    0.4644814030611 + 0.0*i,
    0.175122063063961 + 0.0*i,
    -0.398628860015001 + 0.0*i,
    -0.982092758165376 + 0.0*i,
    0.00330558420465825 + 0.0*i,
    0.203160355911747 + 0.0*i,
    -0.100590760538076 + 0.0*i,
    -0.32785929996914 + 0.0*i,
    0.192357669633962 + 0.0*i,
    -0.0417869131028799 + 0.0*i,
    -0.0960025644862921 + 0.0*i,
    -0.662630624598378 + 0.0*i,
    0.13715065868132 + 0.0*i,
    -0.0764857186494436 + 0.0*i,
    0.375233095996067 + 0.0*i,
    -0.362968340395851 + 0.0*i,
    0.319038844986721 + 0.0*i,
    0.615501039437277 + 0.0*i,
    0.251276198939112 + 0.0*i,
    0.138272872644248 + 0.0*i,
    -0.130103777208026 + 0.0*i,
    -0.0464327968157298 + 0.0*i,
    -0.0796059116520956 + 0.0*i,
    -1.01291921273239 + 0.0*i,
    -0.824689437682755 + 0.0*i,
    -0.996617582721469 + 0.0*i,
    0.0042257984881397 + 0.0*i,
    0.272584468663222 + 0.0*i,
    -0.00297897705839036 + 0.0*i,
    -0.0298379546011902 + 0.0*i,
    -0.0587013697048283 + 0.0*i,
    0.524420557407973 + 0.0*i,
    -0.491235917345607 + 0.0*i,
    -0.0441830153427206 + 0.0*i,
    -0.278843599900999 + 0.0*i,
    0.0319911994777754 + 0.0*i,
    0.132819621979534 + 0.0*i,
    0.312628549330576 + 0.0*i,
    0.200602464919677 + 0.0*i,
    0.0658296892766112 + 0.0*i,
    -0.828731614260605 + 0.0*i,
    -0.391473158148452 + 0.0*i,
    0.773378652169735 + 0.0*i,
    1.07164567051913 + 0.0*i,
    0.599005078353884 + 0.0*i,
    -0.491777068776646 + 0.0*i,
    0.514653594368603 + 0.0*i,
    -0.179905856568448 + 0.0*i,
    -1.48937383931498 + 0.0*i,
    -0.386422883368237 + 0.0*i,
    -0.369034340425098 + 0.0*i,
    -0.11636026726183 + 0.0*i,
    0.304842756564127 + 0.0*i,
    -0.527835783906821 + 0.0*i,
    -0.206472709559652 + 0.0*i,
    -0.139132719028801 + 0.0*i,
    -0.0568241121487737 + 0.0*i,
    0.348997252694382 + 0.0*i,
    0.100773127810714 + 0.0*i,
    -0.285407866561042 + 0.0*i,
    -0.203638387985267 + 0.0*i,
    -0.95240744689899 + 0.0*i,
    0.284049790140191 + 0.0*i,
    0.855523122232763 + 0.0*i,
    -0.591000505644876 + 0.0*i,
    0.594212971607356 + 0.0*i,
    -0.591174808425248 + 0.0*i,
    0.0165046972336443 + 0.0*i,
    0.296310297587772 + 0.0*i,
    0.00285151173775994 + 0.0*i,
    -0.258814401639593 + 0.0*i,
    -0.228794462727798 + 0.0*i,
    0.589624527230707 + 0.0*i,
    -0.503636864861802 + 0.0*i,
    -1.01628825064574 + 0.0*i,
    0.349462053570901 + 0.0*i,
    0.373474780543388 + 0.0*i,
    -0.334381489684533 + 0.0*i,
    0.472011941542256 + 0.0*i,
    -0.968084095838166 + 0.0*i,
    0.375504951419679 + 0.0*i,
    0.409206009731744 + 0.0*i,
    0.284922259942525 + 0.0*i,
    -0.630636767674236 + 0.0*i,
    0.112799180851173 + 0.0*i,
    -0.0116303826930838 + 0.0*i,
    0.06237743644386 + 0.0*i,
    0.0704381314313709 + 0.0*i,
    -0.165159487906105 + 0.0*i,
    0.47793733440945 + 0.0*i,
    0.45285282196156 + 0.0*i,
    0.0991407525373349 + 0.0*i,
    -0.896157779378208 + 0.0*i,
    -0.105035365381892 + 0.0*i,
    -0.742518787008719 + 0.0*i,
    0.474446056220829 + 0.0*i,
    0.635069322365291 + 0.0*i,
    0.393557514741317 + 0.0*i,
    -0.0762036040445063 + 0.0*i,
    -0.89315218986526 + 0.0*i,
    0.794474561555329 + 0.0*i,
    -0.624002280774103 + 0.0*i,
    0.934299914236909 + 0.0*i,
    0.239619286816201 + 0.0*i,
    0.210593181614817 + 0.0*i,
    -0.344291713260529 + 0.0*i,
    -0.357874351607633 + 0.0*i,
    1.25689097091732 + 0.0*i,
    0.814495876587469 + 0.0*i,
    0.0446368731046039 + 0.0*i,
    -0.392161134245381 + 0.0*i,
    0.408570373183133 + 0.0*i,
    0.40683814596176 + 0.0*i,
    -0.574586579997266 + 0.0*i,
    -0.483319635813241 + 0.0*i,
    -0.116278050265327 + 0.0*i,
    1.15779855178999 + 0.0*i,
    0.31842028103408 + 0.0*i,
    -0.00664528435511981 + 0.0*i,
    -1.15644000879177 + 0.0*i,
    -0.840168380871951 + 0.0*i,
    0.0103227214188466 + 0.0*i,
    -0.26411189047568 + 0.0*i,
    -0.491427379839804 + 0.0*i,
    0.194900539165797 + 0.0*i,
    0.810036608197635 + 0.0*i,
    0.340603818790214 + 0.0*i,
    -0.243492757391291 + 0.0*i,
    -0.848931165111822 + 0.0*i,
    -0.730556678613928 + 0.0*i,
    0.682018357947743 + 0.0*i,
    -0.262039394040676 + 0.0*i,
    0.751284558986072 + 0.0*i,
    -1.16542386400452 + 0.0*i,
    0.226194683268137 + 0.0*i,
    -0.18524388636029 + 0.0*i,
    -0.270849467376616 + 0.0*i,
    0.883732541041085 + 0.0*i,
    -0.464631614095096 + 0.0*i,
    -0.00959926536132079 + 0.0*i,
    -0.103044364423332 + 0.0*i,
    0.0581376565393353 + 0.0*i,
    0.727592064272288 + 0.0*i,
    0.030528374064267 + 0.0*i,
    -0.05806286104612 + 0.0*i,
    -0.256365381945817 + 0.0*i,
    -0.112150164501956 + 0.0*i,
    -0.57971655279588 + 0.0*i,
    0.549193208543525 + 0.0*i,
    -0.0138886558582223 + 0.0*i,
    -0.360646962445138 + 0.0*i,
    0.542442601895637 + 0.0*i
]);