V:=Matrix(CC,4,135,[
    0.127415505896928 + 0.0*i,
    1.02450262052668 + 0.0*i,
    0.487665754882826 + 0.0*i,
    0.494031135336785 + 0.0*i,
    -0.046670294364765 + 0.0*i,
    -0.595780038189095 + 0.0*i,
    -0.372399445628133 + 0.0*i,
    -0.190540914833582 + 0.0*i,
    -0.688000064338865 + 0.0*i,
    -0.254455983592522 + 0.0*i,
    -0.00496523540434749 + 0.0*i,
    0.55984157047459 + 0.0*i,
    0.376442780875991 + 0.0*i,
    -0.178427921817709 + 0.0*i,
    -0.858199937448965 + 0.0*i,
    -0.229216840985094 + 0.0*i,
    -0.183923044305362 + 0.0*i,
    -0.792084401058149 + 0.0*i,
    0.102442159168781 + 0.0*i,
    -0.520708888671675 + 0.0*i,
    0.164128557908182 + 0.0*i,
    0.544173634686644 + 0.0*i,
    0.607872507815126 + 0.0*i,
    0.0912202450029606 + 0.0*i,
    -0.431755985295744 + 0.0*i,
    -0.666719729955086 + 0.0*i,
    -0.247252980332235 + 0.0*i,
    1.05214717762581 + 0.0*i,
    0.168534837368649 + 0.0*i,
    -0.404970046094737 + 0.0*i,
    -0.114212444716241 + 0.0*i,
    0.226056969085332 + 0.0*i,
    -1.06417295404051 + 0.0*i,
    1.15375514640121 + 0.0*i,
    0.188037962126806 + 0.0*i,
    0.0839828828444806 + 0.0*i,
    0.544309639968243 + 0.0*i,
    0.00164463985821497 + 0.0*i,
    -0.368986625142537 + 0.0*i,
    0.107981624049543 + 0.0*i,
    0.654668448587281 + 0.0*i,
    -0.61949805625128 + 0.0*i,
    -0.100717176085897 + 0.0*i,
    -0.19638964764107 + 0.0*i,
    -0.944151627222772 + 0.0*i,
    0.374227706193117 + 0.0*i,
    -0.119503979388778 + 0.0*i,
    0.433995085755056 + 0.0*i,
    -0.094772092726237 + 0.0*i,
    0.0439778790395597 + 0.0*i,
    0.969596950875818 + 0.0*i,
    0.823348822712352 + 0.0*i,
    -0.44038825430398 + 0.0*i,
    -1.1963631491409 + 0.0*i,
    -0.218314995342708 + 0.0*i,
    -0.251655629363833 + 0.0*i,
    0.341979625401735 + 0.0*i,
    0.205260246084498 + 0.0*i,
    -0.522905440172556 + 0.0*i,
    0.802670728021263 + 0.0*i,
    -0.567004533288286 + 0.0*i,
    0.240745815488037 + 0.0*i,
    0.360399378226949 + 0.0*i,
    0.38414737970875 + 0.0*i,
    -0.0433541355622867 + 0.0*i,
    0.513121023046235 + 0.0*i,
    -0.744274254915844 + 0.0*i,
    -0.124592492481845 + 0.0*i,
    0.2742047499759 + 0.0*i,
    0.44607562160515 + 0.0*i,
    0.215891651392652 + 0.0*i,
    -0.151229878294157 + 0.0*i,
    -0.517040139861687 + 0.0*i,
    -0.355405787278817 + 0.0*i,
    0.110188792900952 + 0.0*i,
    0.364707187343001 + 0.0*i,
    -0.253641436117475 + 0.0*i,
    0.429966163715711 + 0.0*i,
    -0.338141777860006 + 0.0*i,
    -0.218195545714954 + 0.0*i,
    -0.524255976034189 + 0.0*i,
    -0.182299223564692 + 0.0*i,
    0.0674272879890988 + 0.0*i,
    -1.03293100091597 + 0.0*i,
    -0.352111447616638 + 0.0*i,
    0.0310508453512863 + 0.0*i,
    0.151214062727141 + 0.0*i,
    0.582207168990648 + 0.0*i,
    -0.524017434432188 + 0.0*i,
    -0.186827809052614 + 0.0*i,
    0.0204242791952359 + 0.0*i,
    -0.0859738363802776 + 0.0*i,
    0.268171057129549 + 0.0*i,
    -0.624856037331275 + 0.0*i,
    -0.50090412803603 + 0.0*i,
    0.182987162795777 + 0.0*i,
    -0.190495441562571 + 0.0*i,
    0.957291859262436 + 0.0*i,
    -0.606185193592959 + 0.0*i,
    -0.247040083026151 + 0.0*i,
    -0.363230328259218 + 0.0*i,
    0.371658940814152 + 0.0*i,
    0.46857747709741 + 0.0*i,
    0.334665672316516 + 0.0*i,
    0.250058594798851 + 0.0*i,
    -0.0816165136596137 + 0.0*i,
    0.265726003078675 + 0.0*i,
    -0.427828452301344 + 0.0*i,
    0.0996580196186622 + 0.0*i,
    -0.35290270123113 + 0.0*i,
    -0.158298668574117 + 0.0*i,
    0.545240087104391 + 0.0*i,
    -0.166776523354528 + 0.0*i,
    -0.662957852108289 + 0.0*i,
    0.481282527835853 + 0.0*i,
    -0.452832978690219 + 0.0*i,
    0.54344221386601 + 0.0*i,
    -0.985478643791882 + 0.0*i,
    -0.162141533487202 + 0.0*i,
    0.160064970431131 + 0.0*i,
    0.373201095773871 + 0.0*i,
    -0.252854377843692 + 0.0*i,
    -0.369406698223185 + 0.0*i,
    -0.0987976790756684 + 0.0*i,
    -0.045111585698079 + 0.0*i,
    0.642898626666943 + 0.0*i,
    -0.165431446479683 + 0.0*i,
    -0.163576161420495 + 0.0*i,
    0.214045243956096 + 0.0*i,
    0.680146775632178 + 0.0*i,
    -0.0707186364678499 + 0.0*i,
    -0.447643577752094 + 0.0*i,
    0.248703263158296 + 0.0*i,
    0.436669828466929 + 0.0*i,
    -0.467174455690449 + 0.0*i,
    0.242292105398524 + 0.0*i,
    0.0881264650823753 + 0.0*i,
    0.300116760657414 + 0.0*i,
    -0.453328395964787 + 0.0*i,
    0.265798062937531 + 0.0*i,
    0.392820417541619 + 0.0*i,
    -0.471739437410685 + 0.0*i,
    0.299754382136684 + 0.0*i,
    -0.261848645373925 + 0.0*i,
    -0.295719246212751 + 0.0*i,
    0.110693401401552 + 0.0*i,
    -0.890476782920316 + 0.0*i,
    0.178844554250399 + 0.0*i,
    0.0886227034204515 + 0.0*i,
    -0.0364965418671949 + 0.0*i,
    -0.73544629179869 + 0.0*i,
    0.0662852746844209 + 0.0*i,
    -0.0466436619386941 + 0.0*i,
    0.564899568650692 + 0.0*i,
    -0.0973325224265205 + 0.0*i,
    -0.209972557479247 + 0.0*i,
    -0.203852061238788 + 0.0*i,
    -0.412391757520406 + 0.0*i,
    -0.776400233100249 + 0.0*i,
    -0.965146953254944 + 0.0*i,
    -0.0894304258939858 + 0.0*i,
    0.485799038904029 + 0.0*i,
    0.50332470542587 + 0.0*i,
    -1.03459863510822 + 0.0*i,
    0.709280913818936 + 0.0*i,
    -0.170705638723234 + 0.0*i,
    0.369897711977817 + 0.0*i,
    0.362300034125958 + 0.0*i,
    0.36909557431918 + 0.0*i,
    -0.126760284864895 + 0.0*i,
    -0.295776430534698 + 0.0*i,
    -0.474027354505586 + 0.0*i,
    0.102943716854465 + 0.0*i,
    -0.490842690330106 + 0.0*i,
    -0.169917439161302 + 0.0*i,
    0.774558907545323 + 0.0*i,
    0.139232995834584 + 0.0*i,
    -0.0848122621986674 + 0.0*i,
    0.300031906087553 + 0.0*i,
    0.0961468152710396 + 0.0*i,
    -0.249454239241363 + 0.0*i,
    -0.310116855562711 + 0.0*i,
    -0.74404443803685 + 0.0*i,
    0.418121253474962 + 0.0*i,
    -0.100027275560268 + 0.0*i,
    -0.347522635837106 + 0.0*i,
    0.0234088138504393 + 0.0*i,
    0.13418101667619 + 0.0*i,
    -0.368392335945994 + 0.0*i,
    1.07303194669114 + 0.0*i,
    0.6717671598863 + 0.0*i,
    0.213366739607572 + 0.0*i,
    -0.527842643907503 + 0.0*i,
    0.806910782184185 + 0.0*i,
    0.208261327223511 + 0.0*i,
    0.264199055013783 + 0.0*i,
    0.898895865572137 + 0.0*i,
    -0.187779699976878 + 0.0*i,
    0.0549764291686331 + 0.0*i,
    -0.760812742342636 + 0.0*i,
    0.803872859800555 + 0.0*i,
    -0.910910500078077 + 0.0*i,
    0.150123448769969 + 0.0*i,
    -0.565403180555606 + 0.0*i,
    -0.111924858412159 + 0.0*i,
    0.374470058885248 + 0.0*i,
    -0.189423642603339 + 0.0*i,
    -0.865870759225118 + 0.0*i,
    -0.301344765929657 + 0.0*i,
    -0.261831411972468 + 0.0*i,
    0.657244233242438 + 0.0*i,
    -0.312264354227129 + 0.0*i,
    0.594467430757806 + 0.0*i,
    0.0123718931688877 + 0.0*i,
    -0.0467850797896429 + 0.0*i,
    0.717973051876042 + 0.0*i,
    0.577059679409051 + 0.0*i,
    -0.502539569177731 + 0.0*i,
    -0.491101979461259 + 0.0*i,
    0.000748335940798943 + 0.0*i,
    0.257926652214297 + 0.0*i,
    -0.486338722637965 + 0.0*i,
    -0.284345289846657 + 0.0*i,
    -1.08949774121125 + 0.0*i,
    0.130746423265444 + 0.0*i,
    0.301530981909451 + 0.0*i,
    -0.177766371025235 + 0.0*i,
    0.854920575679117 + 0.0*i,
    -0.225297460974509 + 0.0*i,
    -0.146156219997397 + 0.0*i,
    -0.330294771535985 + 0.0*i,
    -0.198277237810821 + 0.0*i,
    -0.715680304839877 + 0.0*i,
    0.153818145540211 + 0.0*i,
    -0.0479954189116244 + 0.0*i,
    -0.630269344713936 + 0.0*i,
    0.0625979073064011 + 0.0*i,
    -0.613788953313487 + 0.0*i,
    -0.0617134856917696 + 0.0*i,
    0.410361534187337 + 0.0*i,
    0.1360081522068 + 0.0*i,
    0.628044568817661 + 0.0*i,
    0.0468214478621323 + 0.0*i,
    -0.226526336767318 + 0.0*i,
    0.607587006953085 + 0.0*i,
    -0.52008707290973 + 0.0*i,
    -0.0765165280445307 + 0.0*i,
    -0.328208036484229 + 0.0*i,
    0.630061460179926 + 0.0*i,
    0.0601500283899827 + 0.0*i,
    0.377248889385177 + 0.0*i,
    -0.35469888863486 + 0.0*i,
    -1.19706974858725 + 0.0*i,
    -0.0193959061365141 + 0.0*i,
    -0.132847023011489 + 0.0*i,
    0.0454399060650095 + 0.0*i,
    0.13764945972529 + 0.0*i,
    0.508385984968885 + 0.0*i,
    0.406028637666742 + 0.0*i,
    -0.407346135413724 + 0.0*i,
    -0.519469888617067 + 0.0*i,
    -0.0203083208677199 + 0.0*i,
    -0.734661012722913 + 0.0*i,
    -0.202965322730631 + 0.0*i,
    -0.0449504910461776 + 0.0*i,
    -0.513993220760194 + 0.0*i,
    0.435400327064192 + 0.0*i,
    -0.134477599907523 + 0.0*i,
    -0.524802802034167 + 0.0*i,
    -0.17859835639287 + 0.0*i,
    0.38527177484062 + 0.0*i,
    0.26562725748214 + 0.0*i,
    -0.321461361256529 + 0.0*i,
    -0.110113167897234 + 0.0*i,
    -0.296620647346619 + 0.0*i,
    -0.657056586688805 + 0.0*i,
    0.94511842956984 + 0.0*i,
    -0.340143493668544 + 0.0*i,
    0.808705422100269 + 0.0*i,
    -0.117254959896943 + 0.0*i,
    0.395583139510357 + 0.0*i,
    -0.0407493471675283 + 0.0*i,
    0.18712549768746 + 0.0*i,
    -0.0474281403987991 + 0.0*i,
    0.888020129783484 + 0.0*i,
    0.827281929137575 + 0.0*i,
    0.29931033134097 + 0.0*i,
    -0.159095988440368 + 0.0*i,
    0.087664763565103 + 0.0*i,
    -0.139989629765673 + 0.0*i,
    0.392025256549663 + 0.0*i,
    -0.447563571193648 + 0.0*i,
    -0.436408753298478 + 0.0*i,
    -0.0937732753338354 + 0.0*i,
    0.382567669475582 + 0.0*i,
    -0.300986746845934 + 0.0*i,
    0.759458712375546 + 0.0*i,
    -0.0153541698619211 + 0.0*i,
    -0.37316170663198 + 0.0*i,
    0.0862479798432107 + 0.0*i,
    0.0301782783165245 + 0.0*i,
    -0.183267958476877 + 0.0*i,
    -0.0420110378942162 + 0.0*i,
    -0.290168337727216 + 0.0*i,
    0.635600712530292 + 0.0*i,
    -0.238111306510678 + 0.0*i,
    0.0127261701847544 + 0.0*i,
    0.270074294701074 + 0.0*i,
    0.133342496564409 + 0.0*i,
    -0.0633601590343674 + 0.0*i,
    -1.46549753976284 + 0.0*i,
    0.593534103413947 + 0.0*i,
    0.0375223185442872 + 0.0*i,
    0.0627295081224273 + 0.0*i,
    0.449483256831989 + 0.0*i,
    -0.719406905410251 + 0.0*i,
    0.440619351224605 + 0.0*i,
    0.807842359436692 + 0.0*i,
    -0.128721608721977 + 0.0*i,
    0.1591263028796 + 0.0*i,
    0.228448220321341 + 0.0*i,
    -0.376937327453327 + 0.0*i,
    0.512150129319297 + 0.0*i,
    -0.164610593628235 + 0.0*i,
    -0.241437766369105 + 0.0*i,
    0.731607123147289 + 0.0*i,
    -0.555611313446465 + 0.0*i,
    0.0117592223581301 + 0.0*i,
    -0.699359332311054 + 0.0*i,
    0.84077284765602 + 0.0*i,
    -0.663179022865005 + 0.0*i,
    -0.0913433530482575 + 0.0*i,
    0.0428298789575186 + 0.0*i,
    0.296863265153731 + 0.0*i,
    -0.619227047407234 + 0.0*i,
    -0.637650558756266 + 0.0*i,
    0.151612724512391 + 0.0*i,
    -0.170616077710182 + 0.0*i,
    0.149693760962107 + 0.0*i,
    -0.842333861111642 + 0.0*i,
    0.0466665844457475 + 0.0*i,
    -0.396699762396761 + 0.0*i,
    -0.213115692446147 + 0.0*i,
    -0.0160412057186036 + 0.0*i,
    0.284810429082293 + 0.0*i,
    -0.487060385864464 + 0.0*i,
    -0.59842715139519 + 0.0*i,
    -0.180802323213506 + 0.0*i,
    1.04813540953123 + 0.0*i,
    -0.926415181648994 + 0.0*i,
    1.15722378535797 + 0.0*i,
    0.166586293127103 + 0.0*i,
    0.640608245486857 + 0.0*i,
    0.109166202732361 + 0.0*i,
    -0.139052619560085 + 0.0*i,
    -0.277536328881051 + 0.0*i,
    -0.0398732414933591 + 0.0*i,
    -0.501941591125733 + 0.0*i,
    -0.280042506909388 + 0.0*i,
    0.0388573371265357 + 0.0*i,
    -0.702635968595827 + 0.0*i,
    0.0104667821440411 + 0.0*i,
    0.488366179840622 + 0.0*i,
    -0.556363860048231 + 0.0*i,
    -0.579959636359288 + 0.0*i,
    -0.456793480514756 + 0.0*i,
    0.0987767312969565 + 0.0*i,
    0.237419354073264 + 0.0*i,
    -0.0902887040988695 + 0.0*i,
    -0.834897586844138 + 0.0*i,
    -0.093339747373774 + 0.0*i,
    0.59942661314997 + 0.0*i,
    0.128296235805436 + 0.0*i,
    -0.917304381486565 + 0.0*i,
    0.576342720829955 + 0.0*i,
    0.300192667810972 + 0.0*i,
    -0.312321852777772 + 0.0*i,
    0.401132480211815 + 0.0*i,
    -0.344000489491668 + 0.0*i,
    -1.13699405407228 + 0.0*i,
    -0.531612646000521 + 0.0*i,
    0.342653416147104 + 0.0*i,
    -0.406329760604331 + 0.0*i,
    0.965426545515831 + 0.0*i,
    0.543561971552535 + 0.0*i,
    0.487189817091971 + 0.0*i,
    -0.553483031333782 + 0.0*i,
    0.381163240175584 + 0.0*i,
    -0.450603176620689 + 0.0*i,
    -0.500596305696322 + 0.0*i,
    -0.0231421184741022 + 0.0*i,
    0.497624367897971 + 0.0*i,
    -0.0536642852492935 + 0.0*i,
    0.339277232509648 + 0.0*i,
    -0.241524140008781 + 0.0*i,
    0.689101246421064 + 0.0*i,
    -0.187789234989765 + 0.0*i,
    -0.106613370198928 + 0.0*i,
    -0.575893182640231 + 0.0*i,
    -0.481062288638633 + 0.0*i,
    0.319656542060122 + 0.0*i,
    -0.185309834184813 + 0.0*i,
    0.597828023759544 + 0.0*i,
    0.893182197516317 + 0.0*i,
    0.287751911646312 + 0.0*i,
    -0.336408145189082 + 0.0*i,
    0.603256636896046 + 0.0*i,
    -0.79650597222996 + 0.0*i,
    -0.351469639369028 + 0.0*i,
    0.0540585075850359 + 0.0*i,
    -0.312823283585382 + 0.0*i,
    -0.607704232735739 + 0.0*i,
    0.257150459687866 + 0.0*i,
    -0.498271791254927 + 0.0*i,
    -0.407855416923027 + 0.0*i,
    0.793929457785238 + 0.0*i,
    1.32379020887226 + 0.0*i,
    0.446206605264148 + 0.0*i,
    -0.0722929645777677 + 0.0*i,
    -0.465177030898676 + 0.0*i,
    -0.0864454195972803 + 0.0*i,
    1.23239616683009 + 0.0*i,
    -0.359632966460826 + 0.0*i,
    -0.455408083587181 + 0.0*i,
    0.858356039064413 + 0.0*i,
    -0.815673086016144 + 0.0*i,
    0.0380707016555222 + 0.0*i,
    -0.0600081315682613 + 0.0*i,
    -0.368660549039866 + 0.0*i,
    -0.0778262166599564 + 0.0*i,
    0.192124261670599 + 0.0*i,
    0.322585677138737 + 0.0*i,
    0.333517238544487 + 0.0*i,
    0.207959005879449 + 0.0*i,
    0.103900293114118 + 0.0*i,
    -0.254315031696855 + 0.0*i,
    -0.723528925196739 + 0.0*i,
    0.18073031180144 + 0.0*i,
    0.551030685576845 + 0.0*i,
    0.299762325307992 + 0.0*i,
    -0.221115460909364 + 0.0*i,
    0.181877621258555 + 0.0*i,
    0.457980914407906 + 0.0*i,
    -0.156098410824463 + 0.0*i,
    0.697483084867625 + 0.0*i,
    -0.659451017757687 + 0.0*i,
    -0.0670845834851172 + 0.0*i,
    -0.308573155145975 + 0.0*i,
    -0.353866334857213 + 0.0*i,
    0.399296900237123 + 0.0*i,
    0.90343785551457 + 0.0*i,
    0.759342663253179 + 0.0*i,
    -0.580865190887253 + 0.0*i,
    -0.268258073624355 + 0.0*i,
    -0.231817175812168 + 0.0*i,
    0.155967025818309 + 0.0*i,
    0.840666771522622 + 0.0*i,
    0.0556743613375732 + 0.0*i,
    -0.191449083180683 + 0.0*i,
    -0.742100362356402 + 0.0*i,
    -0.805133054961838 + 0.0*i,
    0.306170325719767 + 0.0*i,
    0.142932017992977 + 0.0*i,
    0.4018190208826 + 0.0*i,
    -0.618937649438002 + 0.0*i,
    -0.20573499368638 + 0.0*i,
    -0.109730092137768 + 0.0*i,
    -1.20736425133964 + 0.0*i,
    0.553032060508174 + 0.0*i,
    0.161198123164764 + 0.0*i,
    -0.88706753146556 + 0.0*i,
    -0.272699145041892 + 0.0*i,
    0.571182050665245 + 0.0*i,
    -1.03402020357811 + 0.0*i,
    0.00124313583447263 + 0.0*i,
    0.391976842336405 + 0.0*i,
    -0.694750151015121 + 0.0*i,
    -0.258314983894511 + 0.0*i,
    0.100777502111447 + 0.0*i,
    -0.513739061859136 + 0.0*i,
    -0.266588370367486 + 0.0*i,
    0.924992288799807 + 0.0*i,
    0.751306911275339 + 0.0*i,
    0.284640040210581 + 0.0*i,
    -0.934000939819699 + 0.0*i,
    -0.659072070665457 + 0.0*i,
    -0.767332656023797 + 0.0*i,
    -0.755584475087588 + 0.0*i,
    -0.298001017141279 + 0.0*i,
    -0.54158130614903 + 0.0*i,
    0.216448743491847 + 0.0*i,
    -0.635295018581301 + 0.0*i,
    0.00944454946399149 + 0.0*i,
    -1.38550319330219 + 0.0*i,
    0.304162557622326 + 0.0*i,
    -0.82637378991103 + 0.0*i,
    -0.350885982713816 + 0.0*i,
    -0.874158289759571 + 0.0*i,
    -0.128099409195877 + 0.0*i,
    0.273327583385989 + 0.0*i,
    1.44015891328695 + 0.0*i,
    -0.611801901120563 + 0.0*i,
    0.651898301342384 + 0.0*i,
    -0.184192505298714 + 0.0*i,
    -0.437471793445389 + 0.0*i,
    -0.587336842918363 + 0.0*i,
    0.147410183394995 + 0.0*i,
    -0.347125107135161 + 0.0*i,
    0.150449653536227 + 0.0*i,
    0.498935811925182 + 0.0*i,
    0.190267470346779 + 0.0*i,
    -0.0803753272196522 + 0.0*i,
    0.399123985201422 + 0.0*i,
    0.764015933176226 + 0.0*i,
    0.459813229674834 + 0.0*i,
    0.0979883957910617 + 0.0*i,
    0.685059691442493 + 0.0*i,
    -1.26806909684959 + 0.0*i,
    -0.338546813410238 + 0.0*i,
    -0.781799411659984 + 0.0*i,
    0.320026074986209 + 0.0*i,
    0.450455905291826 + 0.0*i,
    -1.15325184554876 + 0.0*i,
    -0.350334047839889 + 0.0*i,
    -0.184988513425164 + 0.0*i,
    -0.332028201956723 + 0.0*i,
    -0.777355375293016 + 0.0*i,
    0.784696231156934 + 0.0*i,
    -0.586554857345176 + 0.0*i,
    -0.931913751856129 + 0.0*i,
    -0.738625169461282 + 0.0*i,
    -0.552122633952255 + 0.0*i,
    0.0511204789021778 + 0.0*i,
    -0.762111619633638 + 0.0*i,
    0.288061217036319 + 0.0*i,
    -0.0185253875809826 + 0.0*i,
    -1.0980403677728 + 0.0*i,
    -0.599201103723528 + 0.0*i,
    0.227029297264515 + 0.0*i,
    -0.367019340941473 + 0.0*i
]);