V:=Matrix(CC,4,136,[
    0.0323061677358073 + 0.0*i,
    0.466885099920902 + 0.0*i,
    0.972299930329223 + 0.0*i,
    0.0297741272124692 + 0.0*i,
    -0.674319220157873 + 0.0*i,
    -0.693324872527524 + 0.0*i,
    -0.0297290431830113 + 0.0*i,
    -1.0678896986123 + 0.0*i,
    -0.614329403477047 + 0.0*i,
    0.735929180880245 + 0.0*i,
    0.399658656534035 + 0.0*i,
    -0.121158604810104 + 0.0*i,
    -0.36024943986521 + 0.0*i,
    0.0972658274803475 + 0.0*i,
    -0.320642637117236 + 0.0*i,
    -0.658882379820624 + 0.0*i,
    0.747778971706882 + 0.0*i,
    0.911325159769991 + 0.0*i,
    0.423220503766267 + 0.0*i,
    0.10191662863551 + 0.0*i,
    0.498078091746459 + 0.0*i,
    0.281500314421477 + 0.0*i,
    0.0229639100149432 + 0.0*i,
    0.182246467969853 + 0.0*i,
    0.816924254978863 + 0.0*i,
    0.369807392820516 + 0.0*i,
    0.597545792428684 + 0.0*i,
    -0.385996111545492 + 0.0*i,
    -0.500234755242429 + 0.0*i,
    -0.359602304260895 + 0.0*i,
    0.414162901963449 + 0.0*i,
    -0.362421182417241 + 0.0*i,
    -0.482913984260147 + 0.0*i,
    0.527820889395026 + 0.0*i,
    -0.0202153655156987 + 0.0*i,
    -0.150570750293268 + 0.0*i,
    0.819005460541337 + 0.0*i,
    0.0385842576801053 + 0.0*i,
    -0.435930878021375 + 0.0*i,
    -0.246144901166493 + 0.0*i,
    0.172048926847807 + 0.0*i,
    0.135986146391817 + 0.0*i,
    -0.162770147556269 + 0.0*i,
    -0.298407915343245 + 0.0*i,
    -0.427284827007007 + 0.0*i,
    -0.730444588175302 + 0.0*i,
    -0.422454474241638 + 0.0*i,
    0.451143888867082 + 0.0*i,
    0.276591191857651 + 0.0*i,
    -0.208339212513685 + 0.0*i,
    -0.303003451034057 + 0.0*i,
    0.473969092535075 + 0.0*i,
    0.847248021906767 + 0.0*i,
    -0.147764687638466 + 0.0*i,
    0.139670887355685 + 0.0*i,
    0.675903684146776 + 0.0*i,
    0.282674606057741 + 0.0*i,
    -0.00531502374631879 + 0.0*i,
    -0.411261838752158 + 0.0*i,
    0.810366692788599 + 0.0*i,
    -0.00382075758212216 + 0.0*i,
    -0.475478633618108 + 0.0*i,
    -0.254115019271628 + 0.0*i,
    -0.679587606586629 + 0.0*i,
    0.143769056859827 + 0.0*i,
    0.0515272253059608 + 0.0*i,
    -0.17362172756842 + 0.0*i,
    0.701513467379347 + 0.0*i,
    0.642366564369009 + 0.0*i,
    -0.863065888512848 + 0.0*i,
    0.527491249241084 + 0.0*i,
    -0.473743915325735 + 0.0*i,
    -0.376999771924937 + 0.0*i,
    0.00622298403448038 + 0.0*i,
    -1.12804226033438 + 0.0*i,
    0.135126058470671 + 0.0*i,
    -0.389491871659027 + 0.0*i,
    -0.0726987476784712 + 0.0*i,
    -0.13003374727536 + 0.0*i,
    0.533612422820698 + 0.0*i,
    -0.52624923277659 + 0.0*i,
    0.439911165521797 + 0.0*i,
    -0.226495365713421 + 0.0*i,
    0.385779600465364 + 0.0*i,
    0.00455844012395053 + 0.0*i,
    0.446627352006372 + 0.0*i,
    0.0911004041851659 + 0.0*i,
    -0.260349500163883 + 0.0*i,
    -0.755343204875691 + 0.0*i,
    0.517424152491233 + 0.0*i,
    -0.0430576652104308 + 0.0*i,
    0.459720102346271 + 0.0*i,
    1.67623078235601 + 0.0*i,
    0.309523385456082 + 0.0*i,
    -0.109997132510715 + 0.0*i,
    0.524326628044242 + 0.0*i,
    -0.446309347826336 + 0.0*i,
    0.088737110030861 + 0.0*i,
    0.522198860031663 + 0.0*i,
    -0.119805418796714 + 0.0*i,
    -0.269806273547563 + 0.0*i,
    0.504449447931044 + 0.0*i,
    -0.238065722538949 + 0.0*i,
    -0.0406509352942601 + 0.0*i,
    -0.077316035318957 + 0.0*i,
    -0.44628066488679 + 0.0*i,
    -0.802283459684675 + 0.0*i,
    0.932862221330963 + 0.0*i,
    0.814209863567753 + 0.0*i,
    -0.541000138851104 + 0.0*i,
    0.672576081523389 + 0.0*i,
    -0.650321745343059 + 0.0*i,
    -0.0694252359880934 + 0.0*i,
    -0.64676044933207 + 0.0*i,
    -0.368561780801165 + 0.0*i,
    -0.655034701342834 + 0.0*i,
    0.142616679558069 + 0.0*i,
    -0.267242181471365 + 0.0*i,
    0.160192433148771 + 0.0*i,
    -0.152501084164918 + 0.0*i,
    -0.278788154268821 + 0.0*i,
    0.49742520103145 + 0.0*i,
    -0.924584491728393 + 0.0*i,
    0.127298992064009 + 0.0*i,
    0.189148284298695 + 0.0*i,
    0.0580783903489288 + 0.0*i,
    -0.211414892166017 + 0.0*i,
    -0.426663341254987 + 0.0*i,
    -0.743660568074505 + 0.0*i,
    -0.233268297736611 + 0.0*i,
    0.416673311109523 + 0.0*i,
    -0.108417696430423 + 0.0*i,
    0.0779060407706809 + 0.0*i,
    -0.441234121754362 + 0.0*i,
    0.122047769801905 + 0.0*i,
    -0.265908372016296 + 0.0*i,
    1.15606990631814 + 0.0*i,
    -0.154561624572136 + 0.0*i,
    -0.121657898422324 + 0.0*i,
    -0.266958215698113 + 0.0*i,
    -0.221787418097599 + 0.0*i,
    0.493778773530968 + 0.0*i,
    -0.119433238818271 + 0.0*i,
    0.226283077328904 + 0.0*i,
    -0.192298225306392 + 0.0*i,
    -0.294236151950911 + 0.0*i,
    -0.897605450802813 + 0.0*i,
    0.175293911785929 + 0.0*i,
    -0.0105475490763747 + 0.0*i,
    -0.280126492276388 + 0.0*i,
    0.593240988002322 + 0.0*i,
    -0.0727054438199978 + 0.0*i,
    -0.452949423973924 + 0.0*i,
    -0.146799740274833 + 0.0*i,
    0.0824784054687619 + 0.0*i,
    -0.701679084073333 + 0.0*i,
    0.260790284696605 + 0.0*i,
    0.521414643623287 + 0.0*i,
    0.909418656680623 + 0.0*i,
    -0.147766955271297 + 0.0*i,
    0.522771173724522 + 0.0*i,
    -0.70613849621301 + 0.0*i,
    0.246208080190877 + 0.0*i,
    -0.510906666439069 + 0.0*i,
    0.185640746509554 + 0.0*i,
    -1.29583977615846 + 0.0*i,
    -0.841492264545238 + 0.0*i,
    0.906774816091184 + 0.0*i,
    0.108232314370784 + 0.0*i,
    -0.189540724852349 + 0.0*i,
    -0.321893039740918 + 0.0*i,
    0.0889321525743376 + 0.0*i,
    0.762803401577204 + 0.0*i,
    0.655448690122079 + 0.0*i,
    -0.398901983116179 + 0.0*i,
    -0.467380348143994 + 0.0*i,
    0.302828357951866 + 0.0*i,
    0.375960239434711 + 0.0*i,
    -0.168210306154011 + 0.0*i,
    -1.1918392476023 + 0.0*i,
    -0.220387009719119 + 0.0*i,
    0.143626375180685 + 0.0*i,
    -0.529542726183289 + 0.0*i,
    0.348157611991508 + 0.0*i,
    -0.347818413394449 + 0.0*i,
    0.769189629590446 + 0.0*i,
    -0.337409613742935 + 0.0*i,
    0.107357921430923 + 0.0*i,
    -0.678539653339194 + 0.0*i,
    -0.596781694824968 + 0.0*i,
    -0.401440979870452 + 0.0*i,
    0.00424941897068442 + 0.0*i,
    0.666892684092933 + 0.0*i,
    0.603410056451843 + 0.0*i,
    -0.0709544004365811 + 0.0*i,
    -0.592294332258123 + 0.0*i,
    0.236653225474868 + 0.0*i,
    -0.903643468370287 + 0.0*i,
    -0.0923931167571859 + 0.0*i,
    0.00029335445197879 + 0.0*i,
    -0.549448086442319 + 0.0*i,
    0.0998326379277197 + 0.0*i,
    0.283555573068275 + 0.0*i,
    0.108484404965178 + 0.0*i,
    0.675939102071281 + 0.0*i,
    0.0877637830013768 + 0.0*i,
    -0.874509929763159 + 0.0*i,
    0.320928744130833 + 0.0*i,
    -0.455050860156029 + 0.0*i,
    -0.194586947628291 + 0.0*i,
    0.537385914146435 + 0.0*i,
    1.18590863889787 + 0.0*i,
    0.147670080089713 + 0.0*i,
    -0.386049643806339 + 0.0*i,
    0.258804917366471 + 0.0*i,
    0.322567527502445 + 0.0*i,
    0.0817680203819733 + 0.0*i,
    -0.840639541698769 + 0.0*i,
    -0.956956760229609 + 0.0*i,
    0.452929225649323 + 0.0*i,
    1.05136439367971 + 0.0*i,
    0.997373336973039 + 0.0*i,
    0.148669408194413 + 0.0*i,
    0.83667206760226 + 0.0*i,
    0.79161359301006 + 0.0*i,
    0.213194760737345 + 0.0*i,
    -0.00230015319156188 + 0.0*i,
    -0.612261787194491 + 0.0*i,
    -0.705036282510951 + 0.0*i,
    0.060241797800846 + 0.0*i,
    -0.495961771184031 + 0.0*i,
    0.423614595779323 + 0.0*i,
    0.565729734998273 + 0.0*i,
    -0.0423629069765434 + 0.0*i,
    0.657547379424112 + 0.0*i,
    -0.0183700251403285 + 0.0*i,
    0.281784771102844 + 0.0*i,
    -0.146807391801828 + 0.0*i,
    0.60484760442209 + 0.0*i,
    0.979735540162409 + 0.0*i,
    -0.0822019069288954 + 0.0*i,
    -0.0940266650572673 + 0.0*i,
    -0.124848287211164 + 0.0*i,
    0.883507763230049 + 0.0*i,
    0.403914235528861 + 0.0*i,
    0.226030927563436 + 0.0*i,
    0.189605710971877 + 0.0*i,
    -0.0349453557821392 + 0.0*i,
    0.44586892640188 + 0.0*i,
    0.383020154650976 + 0.0*i,
    -0.119696610695212 + 0.0*i,
    -1.36514792997693 + 0.0*i,
    0.328666227975171 + 0.0*i,
    0.296133263618614 + 0.0*i,
    0.233035064873486 + 0.0*i,
    -0.258850206380126 + 0.0*i,
    0.423686643836613 + 0.0*i,
    -0.581199663108644 + 0.0*i,
    -0.202089983776466 + 0.0*i,
    0.465644974838727 + 0.0*i,
    -0.476197389120785 + 0.0*i,
    0.0427515596858989 + 0.0*i,
    -0.431882522985612 + 0.0*i,
    0.06495141529371 + 0.0*i,
    -0.366005063626956 + 0.0*i,
    -0.0812703300186782 + 0.0*i,
    -0.0539813157350137 + 0.0*i,
    -0.0330324218686752 + 0.0*i,
    -0.157504954455878 + 0.0*i,
    0.750100092398562 + 0.0*i,
    0.83419877966708 + 0.0*i,
    0.40610560096185 + 0.0*i,
    0.29999604342429 + 0.0*i,
    -0.189189117143946 + 0.0*i,
    0.155424269247572 + 0.0*i,
    -0.0581903571571014 + 0.0*i,
    1.21760055643806 + 0.0*i,
    -0.840421255622478 + 0.0*i,
    0.10744392776638 + 0.0*i,
    -0.173703913167417 + 0.0*i,
    0.232965029831272 + 0.0*i,
    -0.703530554636722 + 0.0*i,
    -0.596509991339792 + 0.0*i,
    -0.531845955625411 + 0.0*i,
    0.0177065105520263 + 0.0*i,
    -0.478237321633484 + 0.0*i,
    -0.31179246079538 + 0.0*i,
    -0.487918113801267 + 0.0*i,
    -0.180791023616997 + 0.0*i,
    0.449163755493123 + 0.0*i,
    -0.410256273312148 + 0.0*i,
    0.581544827248035 + 0.0*i,
    -0.100303133469648 + 0.0*i,
    -0.297443395763375 + 0.0*i,
    1.25836662126327 + 0.0*i,
    -0.421743524262949 + 0.0*i,
    0.0393920154039067 + 0.0*i,
    0.392850340365811 + 0.0*i,
    0.103726366912381 + 0.0*i,
    0.21010359987032 + 0.0*i,
    -0.232985327891318 + 0.0*i,
    -0.369400958818819 + 0.0*i,
    0.211148614760518 + 0.0*i,
    -1.18891367961993 + 0.0*i,
    0.418288255610906 + 0.0*i,
    -0.942260103003171 + 0.0*i,
    -0.546758198772835 + 0.0*i,
    0.0572275625406296 + 0.0*i,
    0.293445775811551 + 0.0*i,
    -0.582400212366633 + 0.0*i,
    0.0498417683210309 + 0.0*i,
    0.325574324773755 + 0.0*i,
    0.299222815544286 + 0.0*i,
    -0.412597518443673 + 0.0*i,
    -0.484068989464385 + 0.0*i,
    0.672707454055743 + 0.0*i,
    -0.456611056911513 + 0.0*i,
    0.586854713832537 + 0.0*i,
    1.0004743549222 + 0.0*i,
    0.00604868969029498 + 0.0*i,
    -0.366683519186906 + 0.0*i,
    0.571097244053628 + 0.0*i,
    -0.250543788869495 + 0.0*i,
    0.199595545410484 + 0.0*i,
    -0.490403761281262 + 0.0*i,
    -0.383041609038139 + 0.0*i,
    -0.000293267319586685 + 0.0*i,
    -0.55171444712606 + 0.0*i,
    -0.00103781337168582 + 0.0*i,
    -0.692077752957997 + 0.0*i,
    -0.346398496742563 + 0.0*i,
    0.103034350595483 + 0.0*i,
    -0.597048176696731 + 0.0*i,
    -0.0972983366904937 + 0.0*i,
    0.110299683886869 + 0.0*i,
    0.100420816257066 + 0.0*i,
    0.125182988668622 + 0.0*i,
    1.61585329474294 + 0.0*i,
    0.33700680083341 + 0.0*i,
    0.599213251500687 + 0.0*i,
    0.761473444791877 + 0.0*i,
    0.277105796863862 + 0.0*i,
    -0.181837907623743 + 0.0*i,
    -0.74248812349917 + 0.0*i,
    -0.0336812913333155 + 0.0*i,
    0.368751512088924 + 0.0*i,
    -0.779592355767088 + 0.0*i,
    0.24802525423846 + 0.0*i,
    0.285726863070745 + 0.0*i,
    -0.0232807669314265 + 0.0*i,
    0.290291959684745 + 0.0*i,
    -0.651411731132757 + 0.0*i,
    -0.850330991579274 + 0.0*i,
    0.493675786860152 + 0.0*i,
    -0.540535028622982 + 0.0*i,
    -0.851221915615772 + 0.0*i,
    -0.227121549412245 + 0.0*i,
    -0.422717609356425 + 0.0*i,
    -0.582449015339743 + 0.0*i,
    0.158381406147427 + 0.0*i,
    -0.0424644558494032 + 0.0*i,
    0.0524812400819176 + 0.0*i,
    -0.342607764960126 + 0.0*i,
    -0.240629710486444 + 0.0*i,
    -0.523983935812386 + 0.0*i,
    1.29886205300905 + 0.0*i,
    0.921584439339383 + 0.0*i,
    0.565510718109075 + 0.0*i,
    0.525500720076505 + 0.0*i,
    -0.608683988113318 + 0.0*i,
    0.0104772620100934 + 0.0*i,
    -0.104381752977996 + 0.0*i,
    0.231666943753156 + 0.0*i,
    0.174656921218082 + 0.0*i,
    0.378487031008967 + 0.0*i,
    0.361143987590375 + 0.0*i,
    -0.397140111778247 + 0.0*i,
    0.878733610633895 + 0.0*i,
    0.325730089905927 + 0.0*i,
    0.0472733475441718 + 0.0*i,
    0.875689420006396 + 0.0*i,
    -0.264008720364361 + 0.0*i,
    0.373815471848646 + 0.0*i,
    -0.00273567881212502 + 0.0*i,
    -0.129042400714217 + 0.0*i,
    -0.401532567709883 + 0.0*i,
    -0.146993983053278 + 0.0*i,
    0.261313445595384 + 0.0*i,
    0.0551730883035458 + 0.0*i,
    -0.223197569743751 + 0.0*i,
    -1.01294035760637 + 0.0*i,
    0.219268256930872 + 0.0*i,
    0.0597902245239121 + 0.0*i,
    -0.621312285313392 + 0.0*i,
    0.226324207566741 + 0.0*i,
    -0.438099620782321 + 0.0*i,
    0.130743246898106 + 0.0*i,
    0.28858115204932 + 0.0*i,
    -0.739926126657312 + 0.0*i,
    0.198740517166311 + 0.0*i,
    -0.204558007047523 + 0.0*i,
    0.645085847434071 + 0.0*i,
    -0.184695449353174 + 0.0*i,
    -0.431182093569042 + 0.0*i,
    -0.302859962509363 + 0.0*i,
    0.0469059364292757 + 0.0*i,
    -0.836743585565332 + 0.0*i,
    -0.603903519698796 + 0.0*i,
    -0.316155624388799 + 0.0*i,
    -0.0103325430587603 + 0.0*i,
    -0.0233381472374116 + 0.0*i,
    0.209939405813047 + 0.0*i,
    0.00975104329676386 + 0.0*i,
    -0.209727378156274 + 0.0*i,
    -0.666925968697678 + 0.0*i,
    0.0155327073977658 + 0.0*i,
    0.966295434060286 + 0.0*i,
    0.338654070816991 + 0.0*i,
    -0.836974665029982 + 0.0*i,
    -0.297250931192473 + 0.0*i,
    -0.223466934795675 + 0.0*i,
    0.278406789820783 + 0.0*i,
    0.363293425389159 + 0.0*i,
    -0.0620935398130115 + 0.0*i,
    -0.137883832742863 + 0.0*i,
    -0.381342193130912 + 0.0*i,
    -0.348880729595589 + 0.0*i,
    0.0761268321249674 + 0.0*i,
    0.487115959541732 + 0.0*i,
    -0.380686689498671 + 0.0*i,
    -0.0914531268869404 + 0.0*i,
    -0.345647327207378 + 0.0*i,
    -0.54355520259563 + 0.0*i,
    1.62897725478722 + 0.0*i,
    0.245206525284986 + 0.0*i,
    -0.35427318114625 + 0.0*i,
    -0.0433514849158966 + 0.0*i,
    -0.00784835839611723 + 0.0*i,
    -0.762781696989442 + 0.0*i,
    -0.104576426402454 + 0.0*i,
    -0.388958695795579 + 0.0*i,
    -0.886154147551589 + 0.0*i,
    -0.503806772926267 + 0.0*i,
    0.144777969142064 + 0.0*i,
    -0.576312046149828 + 0.0*i,
    0.0571071119163439 + 0.0*i,
    -0.394647769693951 + 0.0*i,
    0.342944342142187 + 0.0*i,
    0.503661773348209 + 0.0*i,
    0.388670710182696 + 0.0*i,
    -0.556607932062221 + 0.0*i,
    0.195721288518276 + 0.0*i,
    -0.261409173378665 + 0.0*i,
    -0.943568580334942 + 0.0*i,
    -1.12511053074808 + 0.0*i,
    -0.650494323274216 + 0.0*i,
    -0.389055848093223 + 0.0*i,
    -0.111016931756034 + 0.0*i,
    -0.278091091782 + 0.0*i,
    -0.215595347176648 + 0.0*i,
    0.792383623373169 + 0.0*i,
    0.0643489546102046 + 0.0*i,
    0.240228748085001 + 0.0*i,
    -0.541902543962215 + 0.0*i,
    -1.15652930564428 + 0.0*i,
    0.561798977787937 + 0.0*i,
    0.278107684001214 + 0.0*i,
    0.00619292898081047 + 0.0*i,
    -0.651853576221943 + 0.0*i,
    -1.14121994123402 + 0.0*i,
    0.174212353681987 + 0.0*i,
    0.589054831102881 + 0.0*i,
    -0.174292544238083 + 0.0*i,
    0.257582057849091 + 0.0*i,
    0.367660057856741 + 0.0*i,
    -1.15498083874197 + 0.0*i,
    -0.356798831670126 + 0.0*i,
    -0.254833579190605 + 0.0*i,
    0.141531859333764 + 0.0*i,
    -0.708955678488772 + 0.0*i,
    0.577054582622769 + 0.0*i,
    -0.0356565747796245 + 0.0*i,
    0.475216971371702 + 0.0*i,
    -0.569323398301649 + 0.0*i,
    -0.601723002165151 + 0.0*i,
    0.296299344239476 + 0.0*i,
    -0.636274304132234 + 0.0*i,
    0.167785994521538 + 0.0*i,
    -0.828629940737826 + 0.0*i,
    -0.50605446237357 + 0.0*i,
    -0.401002314676141 + 0.0*i,
    0.365335003174986 + 0.0*i,
    -0.436429100416838 + 0.0*i,
    -0.296285465646414 + 0.0*i,
    0.103679472612925 + 0.0*i,
    -0.153574964914982 + 0.0*i,
    -0.0792602229743593 + 0.0*i,
    -0.57196450709376 + 0.0*i,
    0.0735160394384115 + 0.0*i,
    -0.329722949030994 + 0.0*i,
    -0.526595388354873 + 0.0*i,
    -0.580639334124184 + 0.0*i,
    -0.267771493204913 + 0.0*i,
    0.130973347978892 + 0.0*i,
    0.401143057345622 + 0.0*i,
    0.747246581506337 + 0.0*i,
    -0.28939286474775 + 0.0*i,
    0.403665228486144 + 0.0*i,
    -0.398197448660088 + 0.0*i,
    -0.139095200592978 + 0.0*i,
    0.599699444781435 + 0.0*i,
    0.00396545779409056 + 0.0*i,
    0.143618076034617 + 0.0*i,
    0.236647783676009 + 0.0*i,
    -0.259593340818217 + 0.0*i,
    -0.138131673016967 + 0.0*i,
    0.758215849413008 + 0.0*i,
    -0.689003710324158 + 0.0*i,
    -0.704205392646277 + 0.0*i,
    0.879403548720133 + 0.0*i,
    -0.268665364723726 + 0.0*i,
    0.281955481470682 + 0.0*i,
    0.159687519409489 + 0.0*i,
    -0.322996707317708 + 0.0*i,
    -0.133993610618102 + 0.0*i,
    -0.643393129000852 + 0.0*i,
    0.235687432045171 + 0.0*i,
    0.428110557911332 + 0.0*i,
    0.768939241761239 + 0.0*i,
    0.641336151931425 + 0.0*i,
    0.0614709182797686 + 0.0*i,
    0.783714804673482 + 0.0*i,
    0.09583233555733 + 0.0*i,
    0.550604239465152 + 0.0*i,
    0.973782229977897 + 0.0*i,
    0.197516017681067 + 0.0*i,
    0.505612491017019 + 0.0*i,
    0.232105352307274 + 0.0*i,
    -0.159993288261007 + 0.0*i,
    0.0636453292975244 + 0.0*i,
    0.145746677583517 + 0.0*i,
    0.359104912233679 + 0.0*i,
    -0.354016172596392 + 0.0*i,
    0.365046009202532 + 0.0*i
]);