V:=Matrix(CC,4,129,[
    0.429407094731387 + 0.0*i,
    -0.0558347711160644 + 0.0*i,
    -0.274387189473916 + 0.0*i,
    -0.328854416666905 + 0.0*i,
    0.775332132829032 + 0.0*i,
    0.314299411052088 + 0.0*i,
    -0.00316326040398584 + 0.0*i,
    -0.110694094689803 + 0.0*i,
    -0.05516902241277 + 0.0*i,
    0.620342465776256 + 0.0*i,
    -0.388001973917814 + 0.0*i,
    0.456058254359694 + 0.0*i,
    0.323389289025236 + 0.0*i,
    -0.270411246548119 + 0.0*i,
    -0.393413837336811 + 0.0*i,
    0.322415152854449 + 0.0*i,
    0.451124000567658 + 0.0*i,
    0.511567500786039 + 0.0*i,
    0.677505475846822 + 0.0*i,
    0.173833011330119 + 0.0*i,
    -0.471718739678563 + 0.0*i,
    -0.368334180283597 + 0.0*i,
    0.895156335220075 + 0.0*i,
    -0.114476861057881 + 0.0*i,
    -0.958299312042414 + 0.0*i,
    0.268556168426162 + 0.0*i,
    -0.527310758394118 + 0.0*i,
    0.56615865858147 + 0.0*i,
    0.446688131070006 + 0.0*i,
    0.204535124691077 + 0.0*i,
    -0.498470310700905 + 0.0*i,
    -0.242586709368854 + 0.0*i,
    -0.44550432154341 + 0.0*i,
    -0.302990404301472 + 0.0*i,
    -0.811772872138969 + 0.0*i,
    -0.296790527380719 + 0.0*i,
    0.523244050925131 + 0.0*i,
    0.0488582734677984 + 0.0*i,
    0.489160875418742 + 0.0*i,
    -0.0949596459905399 + 0.0*i,
    1.23301760446261 + 0.0*i,
    -0.126088407113073 + 0.0*i,
    -0.404055417778366 + 0.0*i,
    -0.223900192582737 + 0.0*i,
    0.381156152707266 + 0.0*i,
    0.187630243175008 + 0.0*i,
    -0.685400608324167 + 0.0*i,
    0.176300408643387 + 0.0*i,
    0.089941443537995 + 0.0*i,
    -0.21466273248461 + 0.0*i,
    -0.552843775019893 + 0.0*i,
    -0.306204783204982 + 0.0*i,
    -0.923503262605272 + 0.0*i,
    0.0159508331862624 + 0.0*i,
    0.0784554959009893 + 0.0*i,
    0.94355295398745 + 0.0*i,
    -0.011214804068949 + 0.0*i,
    0.343090723488876 + 0.0*i,
    -0.147950599248731 + 0.0*i,
    -0.141231254267492 + 0.0*i,
    -0.0444391129726335 + 0.0*i,
    0.11488084395515 + 0.0*i,
    0.0294825253315346 + 0.0*i,
    -0.00924524086979141 + 0.0*i,
    -0.0272151712298594 + 0.0*i,
    0.84909707785766 + 0.0*i,
    -0.917423776704396 + 0.0*i,
    -0.21767602235995 + 0.0*i,
    -0.537250410171837 + 0.0*i,
    0.739020797640621 + 0.0*i,
    -0.662644355098516 + 0.0*i,
    0.394088440811614 + 0.0*i,
    -0.508685906778582 + 0.0*i,
    -0.116218057852953 + 0.0*i,
    -0.461247660261001 + 0.0*i,
    0.70281566050343 + 0.0*i,
    0.373513250548749 + 0.0*i,
    0.240768230455855 + 0.0*i,
    0.474775882422297 + 0.0*i,
    0.0925386083874571 + 0.0*i,
    -0.4037320337154 + 0.0*i,
    0.201170334328871 + 0.0*i,
    -0.0682314750507576 + 0.0*i,
    -0.860759310558109 + 0.0*i,
    -0.00250460174820044 + 0.0*i,
    0.607609662418549 + 0.0*i,
    -0.771901901901691 + 0.0*i,
    -0.345431787887814 + 0.0*i,
    0.291406123224634 + 0.0*i,
    0.580883271609151 + 0.0*i,
    0.680325880896834 + 0.0*i,
    -0.218872554999286 + 0.0*i,
    -0.549573486358396 + 0.0*i,
    -0.230013977702861 + 0.0*i,
    0.345006141280637 + 0.0*i,
    -0.596202160509983 + 0.0*i,
    -0.167944080760592 + 0.0*i,
    -0.0255800335932186 + 0.0*i,
    -0.61355140164363 + 0.0*i,
    -0.0595454940388005 + 0.0*i,
    0.586934442836788 + 0.0*i,
    -0.166120710124726 + 0.0*i,
    -0.546494366798639 + 0.0*i,
    0.281809269037957 + 0.0*i,
    -0.777013765221065 + 0.0*i,
    -0.231686627493088 + 0.0*i,
    -0.258257935861042 + 0.0*i,
    -0.684356134558777 + 0.0*i,
    -0.685560292114515 + 0.0*i,
    0.84197872585199 + 0.0*i,
    0.755976755440942 + 0.0*i,
    0.652086861687017 + 0.0*i,
    -0.108057700051633 + 0.0*i,
    -0.291963903993888 + 0.0*i,
    0.685374863779846 + 0.0*i,
    0.631549770209107 + 0.0*i,
    -0.766261675607251 + 0.0*i,
    -0.27414225563071 + 0.0*i,
    0.0724526092963496 + 0.0*i,
    0.163372935508099 + 0.0*i,
    0.777912379107283 + 0.0*i,
    -0.710268792683415 + 0.0*i,
    0.552814175528529 + 0.0*i,
    0.158881134440414 + 0.0*i,
    0.214583237059967 + 0.0*i,
    -0.84703666888826 + 0.0*i,
    0.846817026401737 + 0.0*i,
    0.159630769013761 + 0.0*i,
    -0.0160612095065035 + 0.0*i,
    -0.203092319180686 + 0.0*i,
    -0.818972372162459 + 0.0*i,
    -0.267797246084453 + 0.0*i,
    0.312078098074637 + 0.0*i,
    0.00965818100381136 + 0.0*i,
    -0.463474459812495 + 0.0*i,
    -0.681097622597608 + 0.0*i,
    0.579155389192964 + 0.0*i,
    -0.517572226813063 + 0.0*i,
    -0.478525348329638 + 0.0*i,
    -0.46600463165944 + 0.0*i,
    -0.26355461926727 + 0.0*i,
    0.737513119574403 + 0.0*i,
    0.83033001018137 + 0.0*i,
    -0.536486238132385 + 0.0*i,
    0.474987144350035 + 0.0*i,
    0.487457274418153 + 0.0*i,
    0.448495777112312 + 0.0*i,
    -0.677532047582238 + 0.0*i,
    0.181485937346085 + 0.0*i,
    0.134731100243625 + 0.0*i,
    0.104924512528429 + 0.0*i,
    0.113915538386035 + 0.0*i,
    -0.451535799858568 + 0.0*i,
    -1.42083960874269 + 0.0*i,
    -0.705203358063071 + 0.0*i,
    -0.0452855711260234 + 0.0*i,
    -0.174808843847889 + 0.0*i,
    -0.116200997969916 + 0.0*i,
    0.260654464825004 + 0.0*i,
    0.27166713432236 + 0.0*i,
    -0.562279918089486 + 0.0*i,
    0.203135979004482 + 0.0*i,
    0.394867045345545 + 0.0*i,
    0.450550622580736 + 0.0*i,
    -0.190972094808895 + 0.0*i,
    0.191064020591377 + 0.0*i,
    -0.240668974569685 + 0.0*i,
    -0.465733659407977 + 0.0*i,
    0.119365559211616 + 0.0*i,
    1.24932435581344 + 0.0*i,
    0.152505859594136 + 0.0*i,
    0.329162965316585 + 0.0*i,
    0.3892302848649 + 0.0*i,
    0.101907784683792 + 0.0*i,
    0.0199652065432139 + 0.0*i,
    -1.10802937065659 + 0.0*i,
    -0.244439025744636 + 0.0*i,
    -0.140820549338058 + 0.0*i,
    -0.938024129050271 + 0.0*i,
    -0.202238177495233 + 0.0*i,
    0.68349435272632 + 0.0*i,
    -0.32551778548455 + 0.0*i,
    -0.526495911883585 + 0.0*i,
    -0.72751308720303 + 0.0*i,
    0.166959476032603 + 0.0*i,
    0.893857964763354 + 0.0*i,
    0.40403507879571 + 0.0*i,
    0.734520739273413 + 0.0*i,
    -0.180160237635074 + 0.0*i,
    0.16995427096044 + 0.0*i,
    -0.371924831240103 + 0.0*i,
    -0.386672283022803 + 0.0*i,
    -0.819097139631862 + 0.0*i,
    -0.0120637357709604 + 0.0*i,
    -0.872850876292482 + 0.0*i,
    -0.570281900679043 + 0.0*i,
    -0.436430957643316 + 0.0*i,
    0.470050568098849 + 0.0*i,
    0.482805856103763 + 0.0*i,
    0.573626791232253 + 0.0*i,
    0.303857062547535 + 0.0*i,
    0.00948345489670702 + 0.0*i,
    0.0802517883159037 + 0.0*i,
    -1.23694952248089 + 0.0*i,
    -0.330846461616068 + 0.0*i,
    -0.470058689411324 + 0.0*i,
    0.822030341776238 + 0.0*i,
    -0.0489272902142187 + 0.0*i,
    0.22202028004906 + 0.0*i,
    0.338849719571426 + 0.0*i,
    0.100900507840065 + 0.0*i,
    0.270581608723709 + 0.0*i,
    0.186836070012011 + 0.0*i,
    0.449940926784215 + 0.0*i,
    0.275937677320196 + 0.0*i,
    -0.337752823334882 + 0.0*i,
    -1.02651697870334 + 0.0*i,
    -0.444089735410924 + 0.0*i,
    0.76585321329472 + 0.0*i,
    -0.188400049136286 + 0.0*i,
    -0.278437517160807 + 0.0*i,
    -0.165556508473604 + 0.0*i,
    -0.519908761963107 + 0.0*i,
    0.365792934919047 + 0.0*i,
    0.20004595544035 + 0.0*i,
    -0.28378552710081 + 0.0*i,
    1.24169337489931 + 0.0*i,
    -0.902116405066769 + 0.0*i,
    0.522189589883049 + 0.0*i,
    0.317424908892479 + 0.0*i,
    0.172526556550567 + 0.0*i,
    0.436090825718454 + 0.0*i,
    0.556392188033231 + 0.0*i,
    -0.415436659013445 + 0.0*i,
    -0.134248401016796 + 0.0*i,
    0.0963220692857567 + 0.0*i,
    -0.773934900424426 + 0.0*i,
    -0.277552712268875 + 0.0*i,
    -0.404486716604108 + 0.0*i,
    -0.49981881617423 + 0.0*i,
    -0.028951562691478 + 0.0*i,
    0.219255049096183 + 0.0*i,
    0.0536864721863666 + 0.0*i,
    0.182945081391842 + 0.0*i,
    0.6368793572052 + 0.0*i,
    0.155193087732151 + 0.0*i,
    0.600745573844883 + 0.0*i,
    0.0744741822475363 + 0.0*i,
    0.277573643550575 + 0.0*i,
    -0.429797123528101 + 0.0*i,
    -0.442736687789247 + 0.0*i,
    -0.42874001167146 + 0.0*i,
    0.953028767927572 + 0.0*i,
    -0.296720703800138 + 0.0*i,
    0.447016400511527 + 0.0*i,
    -0.43842092021495 + 0.0*i,
    -0.882675928573286 + 0.0*i,
    -0.207899987956391 + 0.0*i,
    -0.135304762010379 + 0.0*i,
    -0.499678634307876 + 0.0*i,
    0.178176244842935 + 0.0*i,
    -0.0194159681367212 + 0.0*i,
    1.11396657512379 + 0.0*i,
    -0.707795874600321 + 0.0*i,
    -0.281145469121056 + 0.0*i,
    -0.348063541149678 + 0.0*i,
    0.332217093687636 + 0.0*i,
    0.281679781165001 + 0.0*i,
    -0.111178311777331 + 0.0*i,
    0.0398411283378594 + 0.0*i,
    0.213021014163323 + 0.0*i,
    -0.874804645052023 + 0.0*i,
    -0.551265049315193 + 0.0*i,
    0.710356285799763 + 0.0*i,
    0.250654683543933 + 0.0*i,
    -0.38973628344294 + 0.0*i,
    -0.228253531422293 + 0.0*i,
    -0.273917076618322 + 0.0*i,
    -0.675587117736483 + 0.0*i,
    0.317637316209879 + 0.0*i,
    -0.135260571870695 + 0.0*i,
    -0.442267489088293 + 0.0*i,
    0.563800516004164 + 0.0*i,
    0.376176100040166 + 0.0*i,
    0.181216435517686 + 0.0*i,
    0.127011818070773 + 0.0*i,
    0.0461806532159127 + 0.0*i,
    0.365709335840732 + 0.0*i,
    0.556795316169516 + 0.0*i,
    0.313125773469375 + 0.0*i,
    -0.380243957091556 + 0.0*i,
    0.284738843843348 + 0.0*i,
    -0.191124666678632 + 0.0*i,
    0.347789529941781 + 0.0*i,
    0.115044138439022 + 0.0*i,
    -0.973628664340776 + 0.0*i,
    -0.326599002482962 + 0.0*i,
    -0.234455507065151 + 0.0*i,
    -0.27747598605314 + 0.0*i,
    0.428926634118848 + 0.0*i,
    0.265582389214307 + 0.0*i,
    0.569756420160836 + 0.0*i,
    1.70307265835902 + 0.0*i,
    0.0329633602399414 + 0.0*i,
    0.261346451042351 + 0.0*i,
    0.534603037599131 + 0.0*i,
    -0.213716388081114 + 0.0*i,
    -0.400425977806335 + 0.0*i,
    0.497205653213963 + 0.0*i,
    0.191960121804623 + 0.0*i,
    0.701505452429429 + 0.0*i,
    -0.702547957445925 + 0.0*i,
    0.633523948301322 + 0.0*i,
    -0.18787208257472 + 0.0*i,
    0.287158981912721 + 0.0*i,
    -0.127728533785087 + 0.0*i,
    0.0319602925917571 + 0.0*i,
    -0.098064233204018 + 0.0*i,
    -0.737235155579395 + 0.0*i,
    -0.154849441691734 + 0.0*i,
    0.630836506479709 + 0.0*i,
    -0.178786261501576 + 0.0*i,
    -0.0538913980197394 + 0.0*i,
    0.0884345219788359 + 0.0*i,
    0.0428620785931025 + 0.0*i,
    0.274013552433191 + 0.0*i,
    -0.41035618210642 + 0.0*i,
    -0.228412244997349 + 0.0*i,
    0.698694371063045 + 0.0*i,
    -0.196649944966719 + 0.0*i,
    0.0385470872197979 + 0.0*i,
    0.161526178762443 + 0.0*i,
    -0.57321527025528 + 0.0*i,
    0.376672825150501 + 0.0*i,
    0.129495433355208 + 0.0*i,
    0.206931911180984 + 0.0*i,
    -1.16039469248302 + 0.0*i,
    0.201560375050962 + 0.0*i,
    -0.652168254872004 + 0.0*i,
    -0.247770976141908 + 0.0*i,
    0.477465194440287 + 0.0*i,
    -0.180047146660157 + 0.0*i,
    -1.19729036376436 + 0.0*i,
    0.977903522132128 + 0.0*i,
    -0.0293437040919105 + 0.0*i,
    -0.513627621856238 + 0.0*i,
    -0.264858879551136 + 0.0*i,
    -0.0559142255656476 + 0.0*i,
    -0.436780532500086 + 0.0*i,
    1.00457038172997 + 0.0*i,
    -1.17632641188055 + 0.0*i,
    0.446906341957266 + 0.0*i,
    -0.772515291697027 + 0.0*i,
    1.65946994914829 + 0.0*i,
    -0.0202315051215728 + 0.0*i,
    -1.13669857173426 + 0.0*i,
    -0.576154969017345 + 0.0*i,
    0.468745339861926 + 0.0*i,
    0.0914069528010637 + 0.0*i,
    -0.0934733785025384 + 0.0*i,
    -0.195776346726261 + 0.0*i,
    0.109871611569076 + 0.0*i,
    0.201331209418582 + 0.0*i,
    -0.41587391685613 + 0.0*i,
    0.0397551011816146 + 0.0*i,
    -0.801232648887288 + 0.0*i,
    0.14480567342987 + 0.0*i,
    0.188906603756771 + 0.0*i,
    0.0862158715575762 + 0.0*i,
    -0.605571056144946 + 0.0*i,
    0.131512190164698 + 0.0*i,
    0.326846417862063 + 0.0*i,
    0.691726432033795 + 0.0*i,
    0.403061710569106 + 0.0*i,
    -0.0880907847275829 + 0.0*i,
    -0.589412553387493 + 0.0*i,
    0.0726161994536673 + 0.0*i,
    -0.967526039049238 + 0.0*i,
    0.569995751115985 + 0.0*i,
    0.0987022747182886 + 0.0*i,
    0.20264304754533 + 0.0*i,
    -0.104392933512131 + 0.0*i,
    0.288535821207418 + 0.0*i,
    0.743135026298958 + 0.0*i,
    -1.0626019344076 + 0.0*i,
    1.10393632360086 + 0.0*i,
    -0.186043097015398 + 0.0*i,
    0.722907789575706 + 0.0*i,
    -0.0740985293597904 + 0.0*i,
    -0.818785259444569 + 0.0*i,
    0.0271082198929962 + 0.0*i,
    0.487731283279134 + 0.0*i,
    0.847922532042119 + 0.0*i,
    0.768267949136842 + 0.0*i,
    0.289409885736608 + 0.0*i,
    0.126485788163194 + 0.0*i,
    0.419000717010649 + 0.0*i,
    0.0528952656741465 + 0.0*i,
    -0.437615591367004 + 0.0*i,
    1.19566110107773 + 0.0*i,
    -0.303354166843116 + 0.0*i,
    -1.19556833231753 + 0.0*i,
    0.122969375818341 + 0.0*i,
    -0.816676739747866 + 0.0*i,
    0.387815180097931 + 0.0*i,
    -0.349106637375809 + 0.0*i,
    0.334741638706853 + 0.0*i,
    0.403245837620309 + 0.0*i,
    0.531506329442926 + 0.0*i,
    -0.529750607443179 + 0.0*i,
    0.556387032345117 + 0.0*i,
    -0.309286824276718 + 0.0*i,
    1.10714140366939 + 0.0*i,
    -0.470725842744323 + 0.0*i,
    -0.519364253546604 + 0.0*i,
    -0.389675504929505 + 0.0*i,
    0.281980343216857 + 0.0*i,
    0.133867895026536 + 0.0*i,
    0.113952407339151 + 0.0*i,
    -0.824093103462081 + 0.0*i,
    0.165723844977657 + 0.0*i,
    0.311350661779011 + 0.0*i,
    1.28386489327735 + 0.0*i,
    0.0547521723290305 + 0.0*i,
    0.846204876121573 + 0.0*i,
    0.311374172989301 + 0.0*i,
    0.666877353774836 + 0.0*i,
    0.570337086985132 + 0.0*i,
    0.0324670833331046 + 0.0*i,
    0.0149899986260925 + 0.0*i,
    0.542519373856754 + 0.0*i,
    0.228449632136781 + 0.0*i,
    0.500168149393162 + 0.0*i,
    -0.178907085131679 + 0.0*i,
    -0.397680297075112 + 0.0*i,
    0.281392598137108 + 0.0*i,
    0.500276430052004 + 0.0*i,
    -0.435908334702241 + 0.0*i,
    -0.426884263080116 + 0.0*i,
    0.345404255974635 + 0.0*i,
    -0.0702015279673883 + 0.0*i,
    0.515202822017106 + 0.0*i,
    -0.511575222750206 + 0.0*i,
    0.709954048849664 + 0.0*i,
    -0.225827685253737 + 0.0*i,
    -0.490182974552719 + 0.0*i,
    0.106529381037332 + 0.0*i,
    -0.745722392557765 + 0.0*i,
    -0.183665015134167 + 0.0*i,
    -0.406635358605636 + 0.0*i,
    -0.299929510440447 + 0.0*i,
    0.540200610593235 + 0.0*i,
    0.361161708205055 + 0.0*i,
    0.504562115119031 + 0.0*i,
    0.0283221479902297 + 0.0*i,
    -0.237428778328305 + 0.0*i,
    -0.0677350284140883 + 0.0*i,
    0.828626352387885 + 0.0*i,
    -0.893254740163768 + 0.0*i,
    0.172422924532495 + 0.0*i,
    0.989001574344615 + 0.0*i,
    0.485071061074221 + 0.0*i,
    0.38444447790447 + 0.0*i,
    0.12484457233077 + 0.0*i,
    0.0767126478450478 + 0.0*i,
    -0.104416746273637 + 0.0*i,
    -0.318641731423543 + 0.0*i,
    -0.687963585565498 + 0.0*i,
    -0.149576447690999 + 0.0*i,
    -0.720373046311011 + 0.0*i,
    -0.0745558453336148 + 0.0*i,
    -0.0635450592537838 + 0.0*i,
    0.71567725672743 + 0.0*i,
    -0.0773645262247749 + 0.0*i,
    0.514971155330539 + 0.0*i,
    0.533970882376296 + 0.0*i,
    -0.617372024079847 + 0.0*i,
    -0.138817131446868 + 0.0*i,
    -0.662732982609038 + 0.0*i,
    -0.199980131239379 + 0.0*i,
    0.190855113888269 + 0.0*i,
    0.391834862155779 + 0.0*i,
    0.597456243868238 + 0.0*i,
    0.58909851851825 + 0.0*i,
    -0.191525819911513 + 0.0*i,
    -0.307285284201978 + 0.0*i,
    -0.176650363714714 + 0.0*i,
    0.323635882109668 + 0.0*i,
    0.346462718818546 + 0.0*i,
    0.53456162184226 + 0.0*i,
    0.678859191795729 + 0.0*i,
    -0.276523144211178 + 0.0*i,
    -0.623660643504872 + 0.0*i,
    0.392513945873127 + 0.0*i,
    0.622803218652299 + 0.0*i,
    -0.147930550159918 + 0.0*i,
    -0.246574158302949 + 0.0*i,
    0.300552420684121 + 0.0*i,
    -0.344619674674913 + 0.0*i,
    0.00259498055448358 + 0.0*i,
    0.104426433540286 + 0.0*i,
    -0.298258633633185 + 0.0*i,
    0.247862455782164 + 0.0*i,
    0.404009080411561 + 0.0*i,
    0.22939575171857 + 0.0*i,
    0.579263014278707 + 0.0*i,
    -0.00596554658854902 + 0.0*i,
    -0.0743746565337375 + 0.0*i,
    -0.0133665707366297 + 0.0*i,
    0.131936326945151 + 0.0*i,
    -0.261111529993959 + 0.0*i,
    0.548458183110869 + 0.0*i,
    -0.0538777573022908 + 0.0*i,
    0.166537965848707 + 0.0*i,
    0.180209153161681 + 0.0*i,
    0.227945357891861 + 0.0*i
]);