V:=Matrix(CC,4,125,[
    0.230686373484226 + 0.0*i,
    -0.00905723506866523 + 0.0*i,
    -0.202126052196693 + 0.0*i,
    -0.0362085648059687 + 0.0*i,
    -0.881474406881587 + 0.0*i,
    -0.740487764104711 + 0.0*i,
    -0.411389097857612 + 0.0*i,
    0.930822195460489 + 0.0*i,
    -0.30636834535709 + 0.0*i,
    -0.0756366892952274 + 0.0*i,
    -0.611525662780545 + 0.0*i,
    -0.460387698772831 + 0.0*i,
    -0.277654267375997 + 0.0*i,
    0.0396205094882036 + 0.0*i,
    -0.262420210019476 + 0.0*i,
    -1.01296359747411 + 0.0*i,
    -0.3946497483955 + 0.0*i,
    -0.121032966799561 + 0.0*i,
    0.393668523354924 + 0.0*i,
    0.318921354422916 + 0.0*i,
    0.443461191174366 + 0.0*i,
    -0.461569240515005 + 0.0*i,
    -0.348936242425426 + 0.0*i,
    -0.625194750690651 + 0.0*i,
    -1.12322275486577 + 0.0*i,
    0.626979947564479 + 0.0*i,
    0.321700437709221 + 0.0*i,
    -0.331954130929722 + 0.0*i,
    -0.379349440942039 + 0.0*i,
    -1.00683138911778 + 0.0*i,
    -0.0699810305002933 + 0.0*i,
    0.795696945910482 + 0.0*i,
    -0.077434353055626 + 0.0*i,
    -0.236377635554249 + 0.0*i,
    0.223108222104447 + 0.0*i,
    -0.452028451820365 + 0.0*i,
    1.13650765552821 + 0.0*i,
    0.115311892230047 + 0.0*i,
    -0.224137318358881 + 0.0*i,
    9.56693793757357e-05 + 0.0*i,
    -0.26318178947797 + 0.0*i,
    -0.450752262414306 + 0.0*i,
    0.368982384020347 + 0.0*i,
    -0.731677040366159 + 0.0*i,
    -0.207584030966665 + 0.0*i,
    0.0315322272903359 + 0.0*i,
    0.306547740501014 + 0.0*i,
    0.133588202635658 + 0.0*i,
    -0.118473847942004 + 0.0*i,
    -0.382793500986917 + 0.0*i,
    1.03528347363261 + 0.0*i,
    -0.163564956719568 + 0.0*i,
    -0.135144211750771 + 0.0*i,
    -0.304137993234032 + 0.0*i,
    -0.351312473506346 + 0.0*i,
    0.230852369613828 + 0.0*i,
    0.578284850448011 + 0.0*i,
    0.997038321405124 + 0.0*i,
    0.418207978999221 + 0.0*i,
    -0.0456704140616726 + 0.0*i,
    -0.505692157093349 + 0.0*i,
    -0.34651580400076 + 0.0*i,
    -0.140249676966585 + 0.0*i,
    -0.471026306991581 + 0.0*i,
    0.0882645493305313 + 0.0*i,
    0.312867842516487 + 0.0*i,
    -0.0383226149180278 + 0.0*i,
    -0.351410130232386 + 0.0*i,
    -0.396379589068172 + 0.0*i,
    -0.808763171418655 + 0.0*i,
    -0.648775384998448 + 0.0*i,
    0.392758875634232 + 0.0*i,
    -0.461393455716628 + 0.0*i,
    -0.112275162703302 + 0.0*i,
    0.0526158064715171 + 0.0*i,
    -0.223306720466034 + 0.0*i,
    0.506800616212142 + 0.0*i,
    -0.461117501994113 + 0.0*i,
    -0.0446755732188279 + 0.0*i,
    0.196860293732818 + 0.0*i,
    -0.543237024394044 + 0.0*i,
    0.367617773719605 + 0.0*i,
    0.202816123598115 + 0.0*i,
    -0.6066339918947 + 0.0*i,
    -0.854750619568746 + 0.0*i,
    1.10068631058937 + 0.0*i,
    -0.877138228425039 + 0.0*i,
    0.0965720374395118 + 0.0*i,
    0.279214207967323 + 0.0*i,
    -0.282924042283238 + 0.0*i,
    -0.97757641526826 + 0.0*i,
    0.204312958866241 + 0.0*i,
    0.423185783683093 + 0.0*i,
    -0.614955512293684 + 0.0*i,
    0.334600550416348 + 0.0*i,
    0.050854509875397 + 0.0*i,
    0.402009529612899 + 0.0*i,
    0.172904266965429 + 0.0*i,
    0.266461507316272 + 0.0*i,
    -0.0793960696866753 + 0.0*i,
    0.162091951405595 + 0.0*i,
    -0.570775383566997 + 0.0*i,
    0.137873333183888 + 0.0*i,
    0.0845950737142755 + 0.0*i,
    0.911103757948947 + 0.0*i,
    -0.354029326943115 + 0.0*i,
    -0.36234506105942 + 0.0*i,
    0.952281295637367 + 0.0*i,
    -0.174325505617102 + 0.0*i,
    -0.63691259760249 + 0.0*i,
    -0.421101871412696 + 0.0*i,
    -0.00968938716474254 + 0.0*i,
    -0.449996214775613 + 0.0*i,
    -0.0392523724677219 + 0.0*i,
    0.649538281285483 + 0.0*i,
    0.438043285846083 + 0.0*i,
    0.334231089801325 + 0.0*i,
    -0.561049143935403 + 0.0*i,
    -0.0365890180518902 + 0.0*i,
    0.414894574904767 + 0.0*i,
    0.401919464390993 + 0.0*i,
    0.317784927440832 + 0.0*i,
    -1.00653221123836 + 0.0*i,
    -0.129974600294612 + 0.0*i,
    -0.689543482301511 + 0.0*i,
    -0.309071574871989 + 0.0*i,
    -0.741626029950077 + 0.0*i,
    0.633743338667556 + 0.0*i,
    -0.573577698142971 + 0.0*i,
    -0.805023799737597 + 0.0*i,
    0.305768725131498 + 0.0*i,
    0.333789877825676 + 0.0*i,
    -0.179939944166712 + 0.0*i,
    0.687751934526971 + 0.0*i,
    -0.0591220354988524 + 0.0*i,
    -1.06735458006889 + 0.0*i,
    0.25967580672433 + 0.0*i,
    0.963742200037232 + 0.0*i,
    -0.693521084448946 + 0.0*i,
    0.136702682120059 + 0.0*i,
    0.482057392058909 + 0.0*i,
    -0.111698611267911 + 0.0*i,
    -0.957376975156868 + 0.0*i,
    -0.739248706753594 + 0.0*i,
    0.0599286600808596 + 0.0*i,
    -0.219746391506831 + 0.0*i,
    0.423501115082934 + 0.0*i,
    -0.00482957118536747 + 0.0*i,
    0.095444171472673 + 0.0*i,
    1.078493224864 + 0.0*i,
    0.489899882388047 + 0.0*i,
    0.258525242394157 + 0.0*i,
    1.27293814466255 + 0.0*i,
    0.160948149951058 + 0.0*i,
    -0.654380491074572 + 0.0*i,
    0.142823973378544 + 0.0*i,
    0.700355466656616 + 0.0*i,
    0.491990903070648 + 0.0*i,
    0.512989994030339 + 0.0*i,
    0.487458949402341 + 0.0*i,
    -0.0562614688379739 + 0.0*i,
    -0.131637126808341 + 0.0*i,
    -0.0308241721813415 + 0.0*i,
    -1.05843584320636 + 0.0*i,
    0.178588720869448 + 0.0*i,
    -0.812136992140083 + 0.0*i,
    0.248561944793172 + 0.0*i,
    0.316967853795063 + 0.0*i,
    -0.0296760858715426 + 0.0*i,
    -0.516676474791799 + 0.0*i,
    0.592878678018269 + 0.0*i,
    -0.798289821066936 + 0.0*i,
    -0.0620470792049184 + 0.0*i,
    -0.110409703834204 + 0.0*i,
    -0.377974117771577 + 0.0*i,
    -0.299756834268132 + 0.0*i,
    0.423106398510637 + 0.0*i,
    0.407970352871143 + 0.0*i,
    1.13113334151792 + 0.0*i,
    0.38401242115758 + 0.0*i,
    0.041628103436166 + 0.0*i,
    0.327226345188845 + 0.0*i,
    1.02117600876758 + 0.0*i,
    -0.428599381950129 + 0.0*i,
    0.196155353094295 + 0.0*i,
    0.401097241457095 + 0.0*i,
    0.226155533470857 + 0.0*i,
    0.750322736668499 + 0.0*i,
    -0.463020358047573 + 0.0*i,
    0.659430599700793 + 0.0*i,
    0.898845558678457 + 0.0*i,
    0.264974521020629 + 0.0*i,
    0.52954121221457 + 0.0*i,
    0.130730817122594 + 0.0*i,
    -1.09155006593588 + 0.0*i,
    0.284097304589605 + 0.0*i,
    -0.43966591977271 + 0.0*i,
    -0.183635549206732 + 0.0*i,
    0.547585236586589 + 0.0*i,
    0.702200801826975 + 0.0*i,
    0.414185224757374 + 0.0*i,
    0.0543121616407229 + 0.0*i,
    1.09229104094709 + 0.0*i,
    -0.452590742037937 + 0.0*i,
    1.02257114902624 + 0.0*i,
    -0.591802341358074 + 0.0*i,
    -0.442245913346554 + 0.0*i,
    -1.11133319772873 + 0.0*i,
    -0.542283513288122 + 0.0*i,
    -0.326738014862484 + 0.0*i,
    -0.177098892967856 + 0.0*i,
    0.232049951990966 + 0.0*i,
    0.28484299116237 + 0.0*i,
    -0.497988510666792 + 0.0*i,
    -0.354407971299794 + 0.0*i,
    -0.40412294076631 + 0.0*i,
    0.345810535505009 + 0.0*i,
    0.418111858163091 + 0.0*i,
    0.268321745123408 + 0.0*i,
    -0.122853093048178 + 0.0*i,
    -0.229947203898361 + 0.0*i,
    0.177560574972082 + 0.0*i,
    -0.230659952432142 + 0.0*i,
    -0.369774866277315 + 0.0*i,
    0.0128412385150632 + 0.0*i,
    0.670795913971064 + 0.0*i,
    -0.199366301944434 + 0.0*i,
    0.453918800862266 + 0.0*i,
    0.125357631025069 + 0.0*i,
    -0.181963754836688 + 0.0*i,
    1.06295657007098 + 0.0*i,
    -0.407218550449299 + 0.0*i,
    -0.266023031752384 + 0.0*i,
    -0.302904853796986 + 0.0*i,
    -0.644703853502323 + 0.0*i,
    0.100758682380271 + 0.0*i,
    -0.306435491738635 + 0.0*i,
    0.344155828586154 + 0.0*i,
    -0.371450915734711 + 0.0*i,
    -0.0316736659615945 + 0.0*i,
    -1.39565473063757 + 0.0*i,
    0.71374448503489 + 0.0*i,
    -0.59048626915448 + 0.0*i,
    -0.529222142763031 + 0.0*i,
    0.14631210165485 + 0.0*i,
    0.0981060447617246 + 0.0*i,
    0.107550929870567 + 0.0*i,
    -0.212064803359783 + 0.0*i,
    0.0657115092576744 + 0.0*i,
    0.166009422457975 + 0.0*i,
    -0.788479561199104 + 0.0*i,
    0.301460440703344 + 0.0*i,
    0.849071855602333 + 0.0*i,
    -0.0894336044543291 + 0.0*i,
    1.18207906222395 + 0.0*i,
    0.162241522811388 + 0.0*i,
    -0.567484982689191 + 0.0*i,
    0.392552092187703 + 0.0*i,
    0.0209705686468931 + 0.0*i,
    -0.232658553587812 + 0.0*i,
    -0.24329478427499 + 0.0*i,
    0.41102053077245 + 0.0*i,
    -0.399945343442485 + 0.0*i,
    -0.486269178285333 + 0.0*i,
    -0.234943874493806 + 0.0*i,
    -1.02459599316327 + 0.0*i,
    0.608575869780936 + 0.0*i,
    -0.746120553388232 + 0.0*i,
    -0.195574311362592 + 0.0*i,
    0.133009036324035 + 0.0*i,
    -0.269574387546354 + 0.0*i,
    0.222897500312306 + 0.0*i,
    -0.504443169426783 + 0.0*i,
    -0.32061227403167 + 0.0*i,
    -0.276312996923913 + 0.0*i,
    0.523407629063203 + 0.0*i,
    0.0381525388271774 + 0.0*i,
    0.313435761033069 + 0.0*i,
    -0.693755919757103 + 0.0*i,
    -0.215791855518744 + 0.0*i,
    -0.388505455607019 + 0.0*i,
    0.206043802909553 + 0.0*i,
    -0.252404859729564 + 0.0*i,
    0.411083903511928 + 0.0*i,
    0.144286334639844 + 0.0*i,
    -0.144043086990505 + 0.0*i,
    -0.316541539711717 + 0.0*i,
    -0.478165577091102 + 0.0*i,
    0.264010062919799 + 0.0*i,
    0.315547011748967 + 0.0*i,
    0.702428498749863 + 0.0*i,
    0.249936131586952 + 0.0*i,
    -0.235511236963664 + 0.0*i,
    -0.155095244857826 + 0.0*i,
    -0.607274578146386 + 0.0*i,
    0.0619101202189774 + 0.0*i,
    0.0910222514657196 + 0.0*i,
    -0.0661250501556873 + 0.0*i,
    0.640109531010374 + 0.0*i,
    0.172600807412999 + 0.0*i,
    0.281573924779351 + 0.0*i,
    0.309862481175934 + 0.0*i,
    0.273738520958 + 0.0*i,
    0.2522256285134 + 0.0*i,
    -0.165861080656745 + 0.0*i,
    -0.449424432596086 + 0.0*i,
    0.088886020214827 + 0.0*i,
    -0.953028186488157 + 0.0*i,
    -0.617054438876971 + 0.0*i,
    0.401864937919814 + 0.0*i,
    0.784799056657431 + 0.0*i,
    0.300358107712339 + 0.0*i,
    -0.288777725735673 + 0.0*i,
    0.202314082599933 + 0.0*i,
    1.00447927921045 + 0.0*i,
    0.345537831876164 + 0.0*i,
    0.411957208447324 + 0.0*i,
    0.217758016795509 + 0.0*i,
    -0.876436980849178 + 0.0*i,
    0.545430513858097 + 0.0*i,
    -0.081035764813354 + 0.0*i,
    0.0642590892259503 + 0.0*i,
    0.521942369057912 + 0.0*i,
    0.0748915552873093 + 0.0*i,
    -0.162446232928606 + 0.0*i,
    -0.928711103538182 + 0.0*i,
    -0.115701400765301 + 0.0*i,
    -0.304229877759903 + 0.0*i,
    0.0296466804140227 + 0.0*i,
    -0.463877529087647 + 0.0*i,
    -0.263456263696545 + 0.0*i,
    0.425274468044239 + 0.0*i,
    -0.247194799134026 + 0.0*i,
    -1.02164615889192 + 0.0*i,
    -0.328606585276891 + 0.0*i,
    0.264375816377429 + 0.0*i,
    -1.41896842988127 + 0.0*i,
    0.0631850260643898 + 0.0*i,
    -0.88789982375768 + 0.0*i,
    -0.624933414845512 + 0.0*i,
    -0.456874568326908 + 0.0*i,
    -0.311209699242465 + 0.0*i,
    -0.258378141967757 + 0.0*i,
    -0.0465800846235 + 0.0*i,
    0.47777680675215 + 0.0*i,
    -0.236104761027536 + 0.0*i,
    -0.28216978992697 + 0.0*i,
    -0.230344161898778 + 0.0*i,
    1.01889326344469 + 0.0*i,
    0.373987719802322 + 0.0*i,
    0.106767163080696 + 0.0*i,
    -0.190678216880834 + 0.0*i,
    -0.097047119795489 + 0.0*i,
    0.370906250662294 + 0.0*i,
    -0.0166600866768667 + 0.0*i,
    0.431902643663537 + 0.0*i,
    -0.188579223864204 + 0.0*i,
    -0.447273499692984 + 0.0*i,
    -0.105097598399549 + 0.0*i,
    -0.65757581822318 + 0.0*i,
    -0.574194089636429 + 0.0*i,
    -0.0750573601359459 + 0.0*i,
    0.0557650785228376 + 0.0*i,
    -0.443070627166235 + 0.0*i,
    -0.680763845787581 + 0.0*i,
    0.585417955619219 + 0.0*i,
    -0.177451658006324 + 0.0*i,
    -0.0625830891387685 + 0.0*i,
    -0.632971694586755 + 0.0*i,
    -0.329283572520274 + 0.0*i,
    0.166332254537586 + 0.0*i,
    -0.217109476109623 + 0.0*i,
    0.33208321217024 + 0.0*i,
    -0.411014452043706 + 0.0*i,
    -0.108075142813856 + 0.0*i,
    -1.04548058167126 + 0.0*i,
    0.592307232990983 + 0.0*i,
    -0.453667167942931 + 0.0*i,
    -0.0306967993995816 + 0.0*i,
    0.322898231995588 + 0.0*i,
    -0.443603878101626 + 0.0*i,
    0.487332589458151 + 0.0*i,
    0.05027037066906 + 0.0*i,
    0.493672379979387 + 0.0*i,
    -0.251801643061235 + 0.0*i,
    -0.0915553422520939 + 0.0*i,
    -0.820626765672683 + 0.0*i,
    -0.22759398875928 + 0.0*i,
    -0.00602559208803511 + 0.0*i,
    -0.0477898346223809 + 0.0*i,
    0.144533597181218 + 0.0*i,
    0.183682750399216 + 0.0*i,
    -0.495819442573137 + 0.0*i,
    0.858333899563303 + 0.0*i,
    -0.596194235292146 + 0.0*i,
    -0.510185920125911 + 0.0*i,
    0.396251465581033 + 0.0*i,
    0.102292757495356 + 0.0*i,
    -0.596791514626472 + 0.0*i,
    -0.0249495020008765 + 0.0*i,
    0.0302997517023688 + 0.0*i,
    -0.00225280489031853 + 0.0*i,
    -0.20717090632101 + 0.0*i,
    0.216636801588241 + 0.0*i,
    0.769998869996027 + 0.0*i,
    0.312178261474441 + 0.0*i,
    0.126777072095692 + 0.0*i,
    -1.00461958745777 + 0.0*i,
    -0.321349941046182 + 0.0*i,
    -0.498192925952199 + 0.0*i,
    0.757786290611888 + 0.0*i,
    -0.539285700405799 + 0.0*i,
    -0.77238917154814 + 0.0*i,
    0.257813426427175 + 0.0*i,
    -1.07847204220249 + 0.0*i,
    -0.15593062489499 + 0.0*i,
    0.443144095467355 + 0.0*i,
    -0.165146484736684 + 0.0*i,
    0.569681469939506 + 0.0*i,
    0.448127474817023 + 0.0*i,
    0.286345135335756 + 0.0*i,
    0.148238939088051 + 0.0*i,
    -0.78246154462545 + 0.0*i,
    -0.281484098745689 + 0.0*i,
    -0.690740529359428 + 0.0*i,
    0.916074014187619 + 0.0*i,
    0.1837260101943 + 0.0*i,
    -1.16449776793787 + 0.0*i,
    -0.455121216177125 + 0.0*i,
    0.240848993701864 + 0.0*i,
    -0.0642574727847172 + 0.0*i,
    0.82434060147265 + 0.0*i,
    0.669691240808249 + 0.0*i,
    -0.427027397294327 + 0.0*i,
    0.900209043441888 + 0.0*i,
    0.161274663787449 + 0.0*i,
    -0.270555468642537 + 0.0*i,
    -0.273565556811357 + 0.0*i,
    -0.0966200827599791 + 0.0*i,
    0.560033258426763 + 0.0*i,
    1.12375857228778 + 0.0*i,
    -0.102055193129503 + 0.0*i,
    -0.154807672838636 + 0.0*i,
    -0.0089987543686106 + 0.0*i,
    0.16232625098348 + 0.0*i,
    0.0327071244342042 + 0.0*i,
    0.134535422497539 + 0.0*i,
    -0.0811390749888175 + 0.0*i,
    -0.442061376637531 + 0.0*i,
    -0.194105990899712 + 0.0*i,
    0.638029163771634 + 0.0*i,
    -0.00130284180627955 + 0.0*i,
    0.00705401627187895 + 0.0*i,
    -0.434542943583956 + 0.0*i,
    -0.96366754662348 + 0.0*i,
    0.0494775085762422 + 0.0*i,
    -0.696696608769335 + 0.0*i,
    0.00340184318911903 + 0.0*i,
    -0.284441910024139 + 0.0*i,
    0.524187176214426 + 0.0*i,
    -0.620262858923479 + 0.0*i,
    0.25134529319968 + 0.0*i,
    -0.820510318354889 + 0.0*i,
    0.104106396291199 + 0.0*i,
    -0.045771583840167 + 0.0*i,
    -0.101548391709301 + 0.0*i,
    -0.197186494066125 + 0.0*i,
    -0.63809278011003 + 0.0*i,
    0.408444328032504 + 0.0*i,
    -0.188922999017818 + 0.0*i,
    -0.112999767259697 + 0.0*i,
    0.796450898735732 + 0.0*i,
    1.04264453764535 + 0.0*i,
    0.114738875291543 + 0.0*i,
    0.535352040421945 + 0.0*i,
    -0.205620775212026 + 0.0*i,
    0.191105329494807 + 0.0*i,
    0.186817456382727 + 0.0*i,
    0.266452272175017 + 0.0*i,
    -1.14559902607274 + 0.0*i,
    0.962664662121091 + 0.0*i,
    1.35487648627115 + 0.0*i,
    0.441975201865489 + 0.0*i,
    0.04433982801999 + 0.0*i,
    -0.454019689532132 + 0.0*i,
    -0.0865057032265232 + 0.0*i,
    -0.419161010179358 + 0.0*i,
    -0.464428959112458 + 0.0*i,
    0.547486924862863 + 0.0*i,
    0.549187202172522 + 0.0*i,
    -0.341973781566263 + 0.0*i,
    -0.0424243629202849 + 0.0*i,
    -0.241931632170411 + 0.0*i,
    -0.623564202008257 + 0.0*i,
    0.656186849276481 + 0.0*i,
    0.504937896635749 + 0.0*i,
    -0.242699092351978 + 0.0*i,
    -0.167318434518666 + 0.0*i,
    0.095247834151092 + 0.0*i,
    -0.195701820814235 + 0.0*i
]);