V:=Matrix(CC,4,129,[
    0.487297330193887 + 0.0*i,
    -0.392483175690844 + 0.0*i,
    -0.311433306709953 + 0.0*i,
    0.575892837887882 + 0.0*i,
    0.994947545831968 + 0.0*i,
    0.356598371219272 + 0.0*i,
    -0.0150000619704574 + 0.0*i,
    -0.714101888904376 + 0.0*i,
    0.347240243091738 + 0.0*i,
    0.0795909142093474 + 0.0*i,
    -0.790067427934351 + 0.0*i,
    -0.048320755010301 + 0.0*i,
    0.460599595116408 + 0.0*i,
    0.665343024069573 + 0.0*i,
    0.143704544542439 + 0.0*i,
    0.585803082638895 + 0.0*i,
    0.0223215408743413 + 0.0*i,
    -0.582966596045515 + 0.0*i,
    0.299630929955788 + 0.0*i,
    0.765900787998143 + 0.0*i,
    -0.499886679631665 + 0.0*i,
    -0.527291621670945 + 0.0*i,
    -0.629301379269652 + 0.0*i,
    -1.02073757107897 + 0.0*i,
    -0.0358886978637719 + 0.0*i,
    0.158937227094571 + 0.0*i,
    -0.587133955157674 + 0.0*i,
    0.0764366643242232 + 0.0*i,
    -0.856637468002291 + 0.0*i,
    0.534824564442616 + 0.0*i,
    0.111936003844213 + 0.0*i,
    -0.425508880754598 + 0.0*i,
    -0.283818612198297 + 0.0*i,
    0.0157876248166962 + 0.0*i,
    0.552366567205486 + 0.0*i,
    -0.415726916510318 + 0.0*i,
    0.3868863617562 + 0.0*i,
    0.111630038168763 + 0.0*i,
    0.78182631947642 + 0.0*i,
    -0.546594342405988 + 0.0*i,
    0.195887271236224 + 0.0*i,
    0.15939003966271 + 0.0*i,
    -0.0376880444761058 + 0.0*i,
    -0.39338834214486 + 0.0*i,
    -0.28807643341784 + 0.0*i,
    -0.178788093494809 + 0.0*i,
    -0.0257567906530121 + 0.0*i,
    1.40618048732395 + 0.0*i,
    -0.383792501528058 + 0.0*i,
    -0.00286530784208803 + 0.0*i,
    0.798440334930762 + 0.0*i,
    -0.0778624882291129 + 0.0*i,
    -0.552656780637573 + 0.0*i,
    0.0130407461972058 + 0.0*i,
    0.281762261499643 + 0.0*i,
    0.624283550581983 + 0.0*i,
    -0.06221373442899 + 0.0*i,
    1.03067368471647 + 0.0*i,
    -0.127753226173784 + 0.0*i,
    -0.198712863967533 + 0.0*i,
    -0.391830602664201 + 0.0*i,
    0.531286542975224 + 0.0*i,
    -0.146017912311378 + 0.0*i,
    -1.19037084963338 + 0.0*i,
    -0.315013706570466 + 0.0*i,
    -0.153974660731456 + 0.0*i,
    -0.237367807850131 + 0.0*i,
    0.393899457124546 + 0.0*i,
    -0.60696079337805 + 0.0*i,
    0.56211029063285 + 0.0*i,
    0.176008479673876 + 0.0*i,
    -0.57376969929387 + 0.0*i,
    0.326841681220833 + 0.0*i,
    0.0644803142070108 + 0.0*i,
    0.60098883982984 + 0.0*i,
    -0.588818323672566 + 0.0*i,
    0.26384358544538 + 0.0*i,
    0.464963117315809 + 0.0*i,
    0.355744626080642 + 0.0*i,
    0.284807422735212 + 0.0*i,
    -0.484374779827829 + 0.0*i,
    0.184121064168364 + 0.0*i,
    0.21678174864424 + 0.0*i,
    -0.660035078765748 + 0.0*i,
    -0.830682240568999 + 0.0*i,
    -0.704403876360856 + 0.0*i,
    -0.194549893631176 + 0.0*i,
    0.759982880439306 + 0.0*i,
    0.313754741147015 + 0.0*i,
    -0.0942345512806698 + 0.0*i,
    0.418611779975244 + 0.0*i,
    -0.502323774176421 + 0.0*i,
    0.40596435154324 + 0.0*i,
    0.732300605679213 + 0.0*i,
    -0.0109554648725294 + 0.0*i,
    -0.207111446934636 + 0.0*i,
    -0.154992492655933 + 0.0*i,
    -0.142298098911973 + 0.0*i,
    -0.693672749053322 + 0.0*i,
    0.997119261457661 + 0.0*i,
    -0.476645956021425 + 0.0*i,
    0.279382443308294 + 0.0*i,
    -0.873622389074373 + 0.0*i,
    0.0543324603967277 + 0.0*i,
    0.400944409766217 + 0.0*i,
    -0.725873761555655 + 0.0*i,
    0.717894177663778 + 0.0*i,
    -0.215656252559451 + 0.0*i,
    0.341608891690885 + 0.0*i,
    0.624999230879005 + 0.0*i,
    0.551581463694961 + 0.0*i,
    0.765488840098696 + 0.0*i,
    0.466045649139243 + 0.0*i,
    0.685997552132036 + 0.0*i,
    0.304576961226025 + 0.0*i,
    1.01243825722422 + 0.0*i,
    -0.147207864920881 + 0.0*i,
    -0.740552810664649 + 0.0*i,
    -0.466906690502942 + 0.0*i,
    -0.517122658346398 + 0.0*i,
    -0.122605989916481 + 0.0*i,
    -0.454157311585206 + 0.0*i,
    0.523663067471262 + 0.0*i,
    -0.606814167318555 + 0.0*i,
    0.269387580972634 + 0.0*i,
    0.680639097060695 + 0.0*i,
    -0.829322434750409 + 0.0*i,
    -1.13953537319193 + 0.0*i,
    0.038547290722152 + 0.0*i,
    -0.277789914291763 + 0.0*i,
    0.260381239361897 + 0.0*i,
    -0.110044688995128 + 0.0*i,
    0.655923491136635 + 0.0*i,
    -0.344154142639609 + 0.0*i,
    0.767492167183591 + 0.0*i,
    0.811082939152859 + 0.0*i,
    0.728136179458567 + 0.0*i,
    0.278408389049712 + 0.0*i,
    -0.484727362603582 + 0.0*i,
    -0.695676018109783 + 0.0*i,
    -0.0895546821626663 + 0.0*i,
    0.336104256115174 + 0.0*i,
    -0.484322140663789 + 0.0*i,
    -0.694292075336649 + 0.0*i,
    0.227426796610761 + 0.0*i,
    0.0993680782365411 + 0.0*i,
    0.482200545854485 + 0.0*i,
    -0.399997671537029 + 0.0*i,
    -0.831933781575735 + 0.0*i,
    0.58238745060053 + 0.0*i,
    0.588961516656946 + 0.0*i,
    -0.399085966329243 + 0.0*i,
    0.592595341823295 + 0.0*i,
    0.220740331436496 + 0.0*i,
    0.196565781424881 + 0.0*i,
    0.253047821002515 + 0.0*i,
    0.539328912949069 + 0.0*i,
    0.183768721446184 + 0.0*i,
    -0.312843273158369 + 0.0*i,
    0.561251323339437 + 0.0*i,
    0.118168679851775 + 0.0*i,
    0.271626174741352 + 0.0*i,
    0.552406095500748 + 0.0*i,
    0.0510734129171587 + 0.0*i,
    0.281773427986738 + 0.0*i,
    -0.321052719758782 + 0.0*i,
    -0.0654304657409902 + 0.0*i,
    0.463921798749706 + 0.0*i,
    -0.342170375914376 + 0.0*i,
    -0.0647197260902332 + 0.0*i,
    -0.305075541515992 + 0.0*i,
    -0.798751266553259 + 0.0*i,
    -0.392066670096322 + 0.0*i,
    0.763647974423829 + 0.0*i,
    0.0278481174975569 + 0.0*i,
    0.430713683286993 + 0.0*i,
    -0.139464155020976 + 0.0*i,
    -0.706890274637177 + 0.0*i,
    -0.385059268923123 + 0.0*i,
    0.170931278241051 + 0.0*i,
    0.614724871969089 + 0.0*i,
    -0.108514592714584 + 0.0*i,
    0.552295434159327 + 0.0*i,
    -0.210252755501722 + 0.0*i,
    -0.559670141179304 + 0.0*i,
    -0.0284942332103274 + 0.0*i,
    0.155572992243345 + 0.0*i,
    0.570500788973812 + 0.0*i,
    -0.45150145565688 + 0.0*i,
    -0.754333727399919 + 0.0*i,
    -0.162119256281365 + 0.0*i,
    -0.0501708715805276 + 0.0*i,
    -0.441808692657946 + 0.0*i,
    -0.707353024729844 + 0.0*i,
    0.0273234031976758 + 0.0*i,
    0.319919135033954 + 0.0*i,
    -0.00933892249874504 + 0.0*i,
    0.193867576829541 + 0.0*i,
    -0.516345519306167 + 0.0*i,
    0.20979899705083 + 0.0*i,
    -0.687060299158513 + 0.0*i,
    -0.417373418772656 + 0.0*i,
    0.823671461402266 + 0.0*i,
    0.862459501081905 + 0.0*i,
    0.237812951737037 + 0.0*i,
    0.069101150962442 + 0.0*i,
    -0.11541592017645 + 0.0*i,
    -0.332926724306948 + 0.0*i,
    0.474131341525001 + 0.0*i,
    0.529381833579856 + 0.0*i,
    -0.0940821602098568 + 0.0*i,
    0.0929300602161824 + 0.0*i,
    -0.600662217418709 + 0.0*i,
    -0.501912614048712 + 0.0*i,
    1.01486570083408 + 0.0*i,
    1.19427792791198 + 0.0*i,
    0.527231826749505 + 0.0*i,
    -0.67065055858432 + 0.0*i,
    0.15028298035306 + 0.0*i,
    1.17436447807909 + 0.0*i,
    0.032218737823358 + 0.0*i,
    -0.191058523679603 + 0.0*i,
    -1.08710829641301 + 0.0*i,
    -0.0939883708252573 + 0.0*i,
    0.585770479552303 + 0.0*i,
    0.0516518490735438 + 0.0*i,
    0.249149275582655 + 0.0*i,
    0.484340548591107 + 0.0*i,
    -0.233138430334233 + 0.0*i,
    -0.42074338336192 + 0.0*i,
    -0.477349638097566 + 0.0*i,
    0.0494864143968593 + 0.0*i,
    -0.617495900678466 + 0.0*i,
    0.197791870011652 + 0.0*i,
    -0.531553754515491 + 0.0*i,
    -0.202049415461641 + 0.0*i,
    -0.358384553387001 + 0.0*i,
    -0.567177186833135 + 0.0*i,
    -0.547337712858331 + 0.0*i,
    0.731422078507533 + 0.0*i,
    -0.424535466833391 + 0.0*i,
    -0.123528276247767 + 0.0*i,
    -0.327405193087334 + 0.0*i,
    -0.157047799199157 + 0.0*i,
    0.00606925077254384 + 0.0*i,
    0.185398698463273 + 0.0*i,
    0.175650929249263 + 0.0*i,
    -0.083217672096833 + 0.0*i,
    -1.3247920204459 + 0.0*i,
    0.784343835526871 + 0.0*i,
    0.10676631971026 + 0.0*i,
    0.0649813910244387 + 0.0*i,
    -0.386031609187317 + 0.0*i,
    0.348166358393593 + 0.0*i,
    -0.367224197273901 + 0.0*i,
    -0.020321863625392 + 0.0*i,
    -0.139602511731289 + 0.0*i,
    -0.307381070408685 + 0.0*i,
    -0.17014564650781 + 0.0*i,
    0.173358625330538 + 0.0*i,
    -0.111470128691152 + 0.0*i,
    -0.117795972223748 + 0.0*i,
    0.320176958754602 + 0.0*i,
    -0.117239634183212 + 0.0*i,
    -0.426172469293446 + 0.0*i,
    -0.0823824960857758 + 0.0*i,
    0.120350566844418 + 0.0*i,
    -0.350457406587614 + 0.0*i,
    -0.35821972927419 + 0.0*i,
    0.0228710947618209 + 0.0*i,
    -1.65378360264974 + 0.0*i,
    0.0214199654787475 + 0.0*i,
    0.173838849225476 + 0.0*i,
    0.289580357250916 + 0.0*i,
    0.546180653408556 + 0.0*i,
    0.238553618889014 + 0.0*i,
    0.472300191268388 + 0.0*i,
    0.723434810783974 + 0.0*i,
    -0.368192519078386 + 0.0*i,
    0.134724902071488 + 0.0*i,
    -0.0684311669825522 + 0.0*i,
    0.0935590187932871 + 0.0*i,
    0.675299834252747 + 0.0*i,
    -0.449671620128343 + 0.0*i,
    -0.770364763858971 + 0.0*i,
    0.119053666557792 + 0.0*i,
    0.477417178772344 + 0.0*i,
    -0.292006154189002 + 0.0*i,
    0.186752382646108 + 0.0*i,
    0.138873363216634 + 0.0*i,
    1.14310525723804 + 0.0*i,
    0.0515983951559047 + 0.0*i,
    -0.375210225775021 + 0.0*i,
    -0.234882560569898 + 0.0*i,
    -0.942567002197748 + 0.0*i,
    0.63801882674313 + 0.0*i,
    0.203860893577653 + 0.0*i,
    0.532929482737075 + 0.0*i,
    0.236108961463821 + 0.0*i,
    -0.819357652944319 + 0.0*i,
    -0.267292649380039 + 0.0*i,
    0.0436173972829521 + 0.0*i,
    -0.0720946572610586 + 0.0*i,
    0.179524393850824 + 0.0*i,
    -0.605923981952278 + 0.0*i,
    -0.814069937867134 + 0.0*i,
    -0.688083099827652 + 0.0*i,
    0.610019536954891 + 0.0*i,
    0.360396893544571 + 0.0*i,
    -0.00588395712901239 + 0.0*i,
    0.0228707861316988 + 0.0*i,
    0.916145026776743 + 0.0*i,
    0.32583744765095 + 0.0*i,
    0.681562802668648 + 0.0*i,
    0.0777203650594677 + 0.0*i,
    0.101196476978026 + 0.0*i,
    -0.260090787728876 + 0.0*i,
    -0.070008038019056 + 0.0*i,
    -0.395792243701847 + 0.0*i,
    0.0248753150953899 + 0.0*i,
    -0.864612680594184 + 0.0*i,
    -0.285821430275226 + 0.0*i,
    0.246933105750857 + 0.0*i,
    0.346980197623038 + 0.0*i,
    -0.805627479271789 + 0.0*i,
    -0.0472086144438086 + 0.0*i,
    1.07196152262052 + 0.0*i,
    0.498802445132826 + 0.0*i,
    0.145717667001058 + 0.0*i,
    0.654833147362285 + 0.0*i,
    -0.217799368373679 + 0.0*i,
    -0.101556721310576 + 0.0*i,
    -0.267771497346979 + 0.0*i,
    0.0898476069215244 + 0.0*i,
    0.0523192188572473 + 0.0*i,
    -0.582823530601391 + 0.0*i,
    -0.152153063995718 + 0.0*i,
    0.692098551173957 + 0.0*i,
    0.922327242271488 + 0.0*i,
    -0.601594143893949 + 0.0*i,
    -0.118388870318543 + 0.0*i,
    0.531833823767885 + 0.0*i,
    -0.206701363484684 + 0.0*i,
    -0.222376772812571 + 0.0*i,
    -0.202116615710397 + 0.0*i,
    -0.192707167953036 + 0.0*i,
    -0.154684167036764 + 0.0*i,
    -0.717465464750708 + 0.0*i,
    -0.58197826345312 + 0.0*i,
    -0.72890256950969 + 0.0*i,
    0.261386355442573 + 0.0*i,
    -0.281177032218065 + 0.0*i,
    0.687012424365824 + 0.0*i,
    0.203737944653906 + 0.0*i,
    -0.031176952617794 + 0.0*i,
    1.15868192429657 + 0.0*i,
    0.885721486234068 + 0.0*i,
    -0.575816209079319 + 0.0*i,
    -0.828687854583989 + 0.0*i,
    0.486597677074406 + 0.0*i,
    -0.0135773708510238 + 0.0*i,
    0.40462352895487 + 0.0*i,
    -0.258427136544071 + 0.0*i,
    -0.116457165015314 + 0.0*i,
    -0.0754972852157849 + 0.0*i,
    0.836505364482701 + 0.0*i,
    -0.0656873061778651 + 0.0*i,
    0.305442907351131 + 0.0*i,
    -0.978530975058926 + 0.0*i,
    -0.423830413817934 + 0.0*i,
    -0.711803379338276 + 0.0*i,
    0.366123840414503 + 0.0*i,
    -0.345704906745026 + 0.0*i,
    -1.041969904976 + 0.0*i,
    0.208801737864195 + 0.0*i,
    0.119135164592291 + 0.0*i,
    -0.32534656003703 + 0.0*i,
    0.0114133149931325 + 0.0*i,
    -0.699363318201486 + 0.0*i,
    -0.142048781392113 + 0.0*i,
    0.010172525877778 + 0.0*i,
    -0.461163425070524 + 0.0*i,
    0.396163288157768 + 0.0*i,
    -0.310750700412337 + 0.0*i,
    -0.063970930355728 + 0.0*i,
    -0.718036464074076 + 0.0*i,
    0.173931242892065 + 0.0*i,
    0.340410891174022 + 0.0*i,
    -0.163244060155064 + 0.0*i,
    -0.112873616661737 + 0.0*i,
    0.183608729806215 + 0.0*i,
    0.429700108087147 + 0.0*i,
    0.143716301994066 + 0.0*i,
    0.431647941089511 + 0.0*i,
    -1.02134828199377 + 0.0*i,
    -0.886172974731487 + 0.0*i,
    0.485570311413651 + 0.0*i,
    0.120977682844136 + 0.0*i,
    -0.0343168747028139 + 0.0*i,
    -0.0938129464539722 + 0.0*i,
    -0.480068181194079 + 0.0*i,
    -0.452033869420654 + 0.0*i,
    0.425116468337486 + 0.0*i,
    -0.47008737127786 + 0.0*i,
    -0.485464843084081 + 0.0*i,
    -0.0406866824147812 + 0.0*i,
    -0.484096242461823 + 0.0*i,
    0.360204852093007 + 0.0*i,
    -1.17958751014251 + 0.0*i,
    0.0144705855704467 + 0.0*i,
    0.286100495873953 + 0.0*i,
    -0.505776085380341 + 0.0*i,
    0.383570442264241 + 0.0*i,
    -0.88961390223486 + 0.0*i,
    0.241281060537134 + 0.0*i,
    0.669120916445076 + 0.0*i,
    0.657410256042054 + 0.0*i,
    -0.0274900358607887 + 0.0*i,
    0.47577995393529 + 0.0*i,
    -0.0717376114321968 + 0.0*i,
    -1.01472977797135 + 0.0*i,
    0.732493599316249 + 0.0*i,
    -0.303746898250304 + 0.0*i,
    0.43670042460417 + 0.0*i,
    0.777049199040198 + 0.0*i,
    0.785832456326084 + 0.0*i,
    0.189757241691943 + 0.0*i,
    0.628879291455158 + 0.0*i,
    -0.381365128900763 + 0.0*i,
    -0.879379813862517 + 0.0*i,
    -1.51583554591031 + 0.0*i,
    -0.208955145362354 + 0.0*i,
    0.138605214722187 + 0.0*i,
    0.0287004281704052 + 0.0*i,
    0.36291287403496 + 0.0*i,
    -0.388484754974449 + 0.0*i,
    0.605021545212717 + 0.0*i,
    -0.770008025552587 + 0.0*i,
    0.00539684312152474 + 0.0*i,
    -0.145963362274092 + 0.0*i,
    -0.737654435429602 + 0.0*i,
    0.82416754947861 + 0.0*i,
    -0.0910869367677837 + 0.0*i,
    -0.808779517464567 + 0.0*i,
    0.664786978975802 + 0.0*i,
    -0.337722780959558 + 0.0*i,
    0.244766910978772 + 0.0*i,
    -0.731778462950917 + 0.0*i,
    -0.0634715841693578 + 0.0*i,
    -0.641635288034241 + 0.0*i,
    0.723845365363146 + 0.0*i,
    0.00623386498195501 + 0.0*i,
    0.0649715780444023 + 0.0*i,
    0.0466894697289789 + 0.0*i,
    -0.384169225714036 + 0.0*i,
    0.273478963372736 + 0.0*i,
    0.550705326616943 + 0.0*i,
    -0.610860773885151 + 0.0*i,
    0.457220786321884 + 0.0*i,
    0.344677574278702 + 0.0*i,
    0.72086778591871 + 0.0*i,
    0.914963530689915 + 0.0*i,
    0.419195452122775 + 0.0*i,
    0.334305266149426 + 0.0*i,
    -0.152407235544574 + 0.0*i,
    -0.343901503947906 + 0.0*i,
    0.24938572716683 + 0.0*i,
    0.193183998948382 + 0.0*i,
    -0.148369449974809 + 0.0*i,
    0.812111913610289 + 0.0*i,
    -0.81494757945139 + 0.0*i,
    0.398142454788263 + 0.0*i,
    0.0888382309779475 + 0.0*i,
    0.389084992875681 + 0.0*i,
    -0.464612155373563 + 0.0*i,
    -0.740453158385115 + 0.0*i,
    0.143005382862385 + 0.0*i,
    0.225119587441652 + 0.0*i,
    0.902814466798487 + 0.0*i,
    0.118835988402855 + 0.0*i,
    0.0536429165891216 + 0.0*i,
    -0.282014859317503 + 0.0*i,
    -0.0776093431375089 + 0.0*i,
    0.112491524091673 + 0.0*i,
    0.522594959523739 + 0.0*i,
    -1.10170575008139 + 0.0*i,
    -0.476995364894803 + 0.0*i,
    0.242102016518915 + 0.0*i,
    0.0683818590266595 + 0.0*i,
    -0.0714623238621849 + 0.0*i,
    -0.326969709037961 + 0.0*i,
    0.207472403416945 + 0.0*i,
    -0.0245239924812258 + 0.0*i,
    -0.341394316972998 + 0.0*i,
    -0.241051071502426 + 0.0*i,
    0.233344650795054 + 0.0*i,
    -0.0389187668701943 + 0.0*i,
    0.312992812694449 + 0.0*i,
    0.403187717478729 + 0.0*i,
    0.511334234420997 + 0.0*i,
    -0.37538400809321 + 0.0*i,
    -0.0108593397867286 + 0.0*i,
    -0.364467530314365 + 0.0*i,
    -0.377569321819068 + 0.0*i,
    0.605359518636106 + 0.0*i,
    0.188795165999344 + 0.0*i,
    -0.67585337015528 + 0.0*i,
    -0.269011775836808 + 0.0*i,
    -0.65953905181518 + 0.0*i,
    -0.230224013584849 + 0.0*i,
    -0.968162961448648 + 0.0*i,
    0.0869563291726603 + 0.0*i,
    0.302230772106103 + 0.0*i,
    -0.634223857952786 + 0.0*i,
    0.319786840554149 + 0.0*i,
    0.356139419114395 + 0.0*i
]);