V:=Matrix(CC,4,133,[
    0.640166396549938 + 0.0*i,
    -0.70384277427662 + 0.0*i,
    -0.24202770556446 + 0.0*i,
    0.179077203545876 + 0.0*i,
    1.05897676180591 + 0.0*i,
    0.329204701841662 + 0.0*i,
    -0.446525405423742 + 0.0*i,
    0.348801555756305 + 0.0*i,
    -0.53782699181973 + 0.0*i,
    -0.352801671435777 + 0.0*i,
    0.615054468367528 + 0.0*i,
    -0.659895788235815 + 0.0*i,
    1.08857338939696 + 0.0*i,
    -0.15075403489878 + 0.0*i,
    1.09547733269753 + 0.0*i,
    -0.564702848821547 + 0.0*i,
    0.213194918385849 + 0.0*i,
    -0.312172985199785 + 0.0*i,
    -0.116467993443812 + 0.0*i,
    -0.472082301026275 + 0.0*i,
    -0.716968122836717 + 0.0*i,
    0.0272436018762813 + 0.0*i,
    -0.0322822694130817 + 0.0*i,
    -0.0235226551332147 + 0.0*i,
    -0.0913074588953821 + 0.0*i,
    -0.132468257387868 + 0.0*i,
    -0.0499954116436076 + 0.0*i,
    -0.37910512839182 + 0.0*i,
    -1.2642774835186 + 0.0*i,
    0.0731239295202218 + 0.0*i,
    0.10749931384759 + 0.0*i,
    -0.289773350673698 + 0.0*i,
    -0.623101344306376 + 0.0*i,
    -0.20952552429304 + 0.0*i,
    -0.0698297778974653 + 0.0*i,
    0.341245496848567 + 0.0*i,
    -0.330882357985018 + 0.0*i,
    0.0899211264337234 + 0.0*i,
    -1.27944429079639 + 0.0*i,
    -0.00509876352768474 + 0.0*i,
    0.400476744515403 + 0.0*i,
    0.743415125834321 + 0.0*i,
    -0.598230755476337 + 0.0*i,
    -0.138799043467782 + 0.0*i,
    0.01287688038685 + 0.0*i,
    0.610564202618307 + 0.0*i,
    0.44349183257449 + 0.0*i,
    -0.592388831348365 + 0.0*i,
    -0.615874193584245 + 0.0*i,
    -0.254244364020672 + 0.0*i,
    0.239435972657087 + 0.0*i,
    0.938022684075525 + 0.0*i,
    -0.448725295028746 + 0.0*i,
    -0.086220643638662 + 0.0*i,
    -0.215752697749747 + 0.0*i,
    -1.19843517262496 + 0.0*i,
    -0.110599109817705 + 0.0*i,
    -0.73025941495035 + 0.0*i,
    -0.207227355355545 + 0.0*i,
    -0.794130980637365 + 0.0*i,
    0.306882805175007 + 0.0*i,
    -0.314230733191261 + 0.0*i,
    -0.549762799115803 + 0.0*i,
    -0.542114737488969 + 0.0*i,
    0.381418114436157 + 0.0*i,
    0.192310851079324 + 0.0*i,
    -0.691130642236841 + 0.0*i,
    0.202587777598567 + 0.0*i,
    0.289064032146479 + 0.0*i,
    0.265136180646485 + 0.0*i,
    0.123689243296809 + 0.0*i,
    -0.0260887368689818 + 0.0*i,
    -0.0872870498760548 + 0.0*i,
    0.192771053841673 + 0.0*i,
    -0.321080454563654 + 0.0*i,
    0.10805151889527 + 0.0*i,
    -0.287854864071684 + 0.0*i,
    0.400846204024684 + 0.0*i,
    -0.255997060655853 + 0.0*i,
    0.57439010632715 + 0.0*i,
    0.527868182872146 + 0.0*i,
    -0.221201383678838 + 0.0*i,
    0.376515190690936 + 0.0*i,
    0.321877374411835 + 0.0*i,
    0.0988132592143989 + 0.0*i,
    0.205633109986461 + 0.0*i,
    0.0227444929793542 + 0.0*i,
    -0.283802055454748 + 0.0*i,
    0.386872107642681 + 0.0*i,
    -0.442052047955841 + 0.0*i,
    0.711090616672161 + 0.0*i,
    0.364675365797148 + 0.0*i,
    -0.214669064278026 + 0.0*i,
    0.431020369856712 + 0.0*i,
    0.454660522239093 + 0.0*i,
    -0.762043848866171 + 0.0*i,
    -0.324147056406306 + 0.0*i,
    0.326290323907209 + 0.0*i,
    0.111050370203291 + 0.0*i,
    0.182008925047732 + 0.0*i,
    -0.378489373243782 + 0.0*i,
    0.676758460203642 + 0.0*i,
    -0.163892992800396 + 0.0*i,
    1.65064951122721 + 0.0*i,
    0.0212281183865999 + 0.0*i,
    0.00744476547658527 + 0.0*i,
    0.96075606298954 + 0.0*i,
    -0.40006491190467 + 0.0*i,
    -1.15870559282061 + 0.0*i,
    0.312109074182146 + 0.0*i,
    0.605816460347209 + 0.0*i,
    -0.342381518905484 + 0.0*i,
    -0.199018927739405 + 0.0*i,
    -0.233038639392383 + 0.0*i,
    0.982641573472066 + 0.0*i,
    0.938138187049105 + 0.0*i,
    0.57372059991419 + 0.0*i,
    -0.0743034337719916 + 0.0*i,
    0.87843596174488 + 0.0*i,
    -0.303564739704262 + 0.0*i,
    0.000138126622957929 + 0.0*i,
    -0.665005116389867 + 0.0*i,
    -0.479951854536263 + 0.0*i,
    0.0561244707316875 + 0.0*i,
    1.10371862944149 + 0.0*i,
    0.12304196895196 + 0.0*i,
    -0.159255242971028 + 0.0*i,
    -0.772252937271049 + 0.0*i,
    -0.520119726164527 + 0.0*i,
    -0.251900346846062 + 0.0*i,
    0.0342218871466653 + 0.0*i,
    -0.122160947546969 + 0.0*i,
    0.630737738948093 + 0.0*i,
    -0.531594506373965 + 0.0*i,
    0.370251177228089 + 0.0*i,
    -0.644143364005887 + 0.0*i,
    -0.406073479991532 + 0.0*i,
    -0.381459531292315 + 0.0*i,
    1.05502286452616 + 0.0*i,
    0.152773084586773 + 0.0*i,
    -0.244595671692423 + 0.0*i,
    1.35423166492169 + 0.0*i,
    0.416148597588467 + 0.0*i,
    0.319496228498504 + 0.0*i,
    -0.163934064910206 + 0.0*i,
    -0.102879479591285 + 0.0*i,
    -0.489141215417193 + 0.0*i,
    -0.406188415994 + 0.0*i,
    -0.359556927451779 + 0.0*i,
    -0.567435365665343 + 0.0*i,
    0.115449129693908 + 0.0*i,
    -0.274826446573825 + 0.0*i,
    0.322838785137127 + 0.0*i,
    -0.497946340435306 + 0.0*i,
    0.472922962307487 + 0.0*i,
    -0.107735096946274 + 0.0*i,
    -0.106421834228949 + 0.0*i,
    -0.12494233193672 + 0.0*i,
    0.633581305245225 + 0.0*i,
    1.16814477769582 + 0.0*i,
    -0.602525262636806 + 0.0*i,
    0.49713719441759 + 0.0*i,
    0.357941425542896 + 0.0*i,
    0.432724745456673 + 0.0*i,
    0.158330944177538 + 0.0*i,
    -0.255430418814968 + 0.0*i,
    -0.268999059304667 + 0.0*i,
    0.123362307017332 + 0.0*i,
    0.368405333196541 + 0.0*i,
    -0.163545926538188 + 0.0*i,
    0.226470340894158 + 0.0*i,
    0.029180239234942 + 0.0*i,
    -0.496541214821308 + 0.0*i,
    0.38995491213027 + 0.0*i,
    0.0869033384426811 + 0.0*i,
    0.0538973211821172 + 0.0*i,
    0.0510673322014927 + 0.0*i,
    0.28808348515888 + 0.0*i,
    0.258527303096721 + 0.0*i,
    0.902255909839589 + 0.0*i,
    -0.664553176770884 + 0.0*i,
    -0.52915188297752 + 0.0*i,
    -0.348806693522177 + 0.0*i,
    0.138270969104623 + 0.0*i,
    0.264210100052475 + 0.0*i,
    0.772693833539398 + 0.0*i,
    -0.167393933930562 + 0.0*i,
    0.0383909887743617 + 0.0*i,
    -0.320748216753775 + 0.0*i,
    0.171510742316422 + 0.0*i,
    0.109835565051042 + 0.0*i,
    -0.346462665231968 + 0.0*i,
    -0.650533131819155 + 0.0*i,
    -0.384921080272657 + 0.0*i,
    -0.111070221451974 + 0.0*i,
    -0.492420425780407 + 0.0*i,
    -0.90043724860688 + 0.0*i,
    0.979880154426594 + 0.0*i,
    -0.250249428803835 + 0.0*i,
    -0.162991155756247 + 0.0*i,
    -0.24791072819337 + 0.0*i,
    0.377529039975151 + 0.0*i,
    0.0709708040045589 + 0.0*i,
    -0.397982629769801 + 0.0*i,
    0.143193651343859 + 0.0*i,
    0.525413067349168 + 0.0*i,
    0.0585523096669142 + 0.0*i,
    0.197223324157476 + 0.0*i,
    0.0502209591890569 + 0.0*i,
    -0.585820641814197 + 0.0*i,
    0.0618849254667486 + 0.0*i,
    -0.149906893662568 + 0.0*i,
    0.00511652755040223 + 0.0*i,
    0.188904382518997 + 0.0*i,
    -0.126307632029006 + 0.0*i,
    0.0911136467443178 + 0.0*i,
    -0.205982640533663 + 0.0*i,
    0.477844592619724 + 0.0*i,
    0.480210289246677 + 0.0*i,
    0.366627512079831 + 0.0*i,
    -0.58576151016376 + 0.0*i,
    0.262675317341189 + 0.0*i,
    1.26847545367368 + 0.0*i,
    -0.0455033557556464 + 0.0*i,
    0.757881486177567 + 0.0*i,
    0.37168736768055 + 0.0*i,
    -0.207689204433557 + 0.0*i,
    -0.795004502282882 + 0.0*i,
    0.0538966281255499 + 0.0*i,
    0.49196076202817 + 0.0*i,
    -0.062887341221112 + 0.0*i,
    -0.374212832292126 + 0.0*i,
    0.127266863336661 + 0.0*i,
    0.0552114272257078 + 0.0*i,
    -0.568939024034709 + 0.0*i,
    0.333999978846884 + 0.0*i,
    -0.240484571064333 + 0.0*i,
    0.167998415345686 + 0.0*i,
    0.372934864570601 + 0.0*i,
    -0.502129026766936 + 0.0*i,
    0.189062413121464 + 0.0*i,
    0.0978908276452993 + 0.0*i,
    0.497821751006137 + 0.0*i,
    0.0287243653820138 + 0.0*i,
    -0.346792589194326 + 0.0*i,
    -0.144698162197279 + 0.0*i,
    -1.05714896845972 + 0.0*i,
    0.27012173793951 + 0.0*i,
    -0.0787059695340133 + 0.0*i,
    -1.05076059253879 + 0.0*i,
    -0.103834624855657 + 0.0*i,
    -0.500233595014327 + 0.0*i,
    -0.143725184436405 + 0.0*i,
    -0.948874956775709 + 0.0*i,
    -0.064589677124707 + 0.0*i,
    0.800512779049216 + 0.0*i,
    -0.579569907600561 + 0.0*i,
    0.184734627688656 + 0.0*i,
    -0.27114975698277 + 0.0*i,
    -0.319872091185407 + 0.0*i,
    0.158644853537517 + 0.0*i,
    -0.726639063667984 + 0.0*i,
    -0.452835660350655 + 0.0*i,
    0.659472101265562 + 0.0*i,
    0.430761162748629 + 0.0*i,
    0.0778086510992004 + 0.0*i,
    -0.443221643470028 + 0.0*i,
    -0.418129058798212 + 0.0*i,
    0.587613815665155 + 0.0*i,
    0.0660630256076741 + 0.0*i,
    0.543555319345596 + 0.0*i,
    -0.741809307920872 + 0.0*i,
    -0.360157299322494 + 0.0*i,
    0.567018557307438 + 0.0*i,
    0.324735465786114 + 0.0*i,
    -0.383655397079739 + 0.0*i,
    -0.0760128882936568 + 0.0*i,
    0.0712783612010918 + 0.0*i,
    0.64644357739358 + 0.0*i,
    0.174273431858185 + 0.0*i,
    0.97572197112368 + 0.0*i,
    0.573672032143591 + 0.0*i,
    0.272374057083796 + 0.0*i,
    0.564706548265331 + 0.0*i,
    -0.185618661503372 + 0.0*i,
    0.666392678642981 + 0.0*i,
    0.0806594799813073 + 0.0*i,
    0.12529956244875 + 0.0*i,
    0.886151273469836 + 0.0*i,
    -0.0842557766926351 + 0.0*i,
    0.612772718634784 + 0.0*i,
    -0.619100380549987 + 0.0*i,
    0.0619550654532933 + 0.0*i,
    -0.6898915360786 + 0.0*i,
    -0.143309816054199 + 0.0*i,
    -0.459616559896146 + 0.0*i,
    -0.73781520427679 + 0.0*i,
    -0.400013757704778 + 0.0*i,
    -0.495219567815611 + 0.0*i,
    -0.107618983537566 + 0.0*i,
    0.227985393865827 + 0.0*i,
    0.325164030040751 + 0.0*i,
    1.22928212255506 + 0.0*i,
    0.604670470265188 + 0.0*i,
    -0.138230570678098 + 0.0*i,
    0.240856109241527 + 0.0*i,
    0.773327411304914 + 0.0*i,
    -0.185994194655763 + 0.0*i,
    -0.521875458237151 + 0.0*i,
    -0.524082764983024 + 0.0*i,
    -0.284061371571417 + 0.0*i,
    -0.610943863624387 + 0.0*i,
    0.195761305371379 + 0.0*i,
    1.03312139436279 + 0.0*i,
    0.570644518661431 + 0.0*i,
    -0.0621125273439366 + 0.0*i,
    -0.515929135232466 + 0.0*i,
    0.13398291385065 + 0.0*i,
    0.597691419293269 + 0.0*i,
    -0.0914424689763806 + 0.0*i,
    0.674729645877419 + 0.0*i,
    0.146693334146311 + 0.0*i,
    0.299329519110824 + 0.0*i,
    0.36171113462544 + 0.0*i,
    1.17025938789266 + 0.0*i,
    -0.316409634119697 + 0.0*i,
    -0.77942799257314 + 0.0*i,
    0.162274051962252 + 0.0*i,
    0.0396554492650631 + 0.0*i,
    -0.36698647609648 + 0.0*i,
    0.875960724418103 + 0.0*i,
    -0.0722464396161307 + 0.0*i,
    -0.243295983265354 + 0.0*i,
    -0.0516107923851817 + 0.0*i,
    -0.237633944164307 + 0.0*i,
    -0.270549532511818 + 0.0*i,
    -0.532535658948657 + 0.0*i,
    0.111142384755862 + 0.0*i,
    0.333985478618958 + 0.0*i,
    0.213164147720549 + 0.0*i,
    0.0533365292890462 + 0.0*i,
    -0.783534377055703 + 0.0*i,
    -0.223657120260883 + 0.0*i,
    0.0310615899281317 + 0.0*i,
    -0.463970281889999 + 0.0*i,
    -0.562949509262096 + 0.0*i,
    -0.243522800652491 + 0.0*i,
    0.486798821756357 + 0.0*i,
    -0.539756575960166 + 0.0*i,
    -0.374471406261058 + 0.0*i,
    0.775457870014768 + 0.0*i,
    -0.65222817180169 + 0.0*i,
    0.310259334496521 + 0.0*i,
    0.435458771606088 + 0.0*i,
    -0.99595259729428 + 0.0*i,
    -0.550160423467573 + 0.0*i,
    0.976998777606519 + 0.0*i,
    0.0372058473903901 + 0.0*i,
    -0.20127246954134 + 0.0*i,
    -0.495556358157474 + 0.0*i,
    0.130222916570129 + 0.0*i,
    -0.357887349704632 + 0.0*i,
    -0.905364253399973 + 0.0*i,
    -0.233368606004996 + 0.0*i,
    0.496954302062047 + 0.0*i,
    -0.500534736824299 + 0.0*i,
    -0.356592473652442 + 0.0*i,
    -0.913496708302042 + 0.0*i,
    0.67634945000699 + 0.0*i,
    -0.538988429663574 + 0.0*i,
    -0.0447792472676652 + 0.0*i,
    0.0720251375439281 + 0.0*i,
    0.894375496982427 + 0.0*i,
    -0.628081211475414 + 0.0*i,
    -0.111624450081477 + 0.0*i,
    -0.705223028716131 + 0.0*i,
    -0.539449010655572 + 0.0*i,
    -0.521173149128163 + 0.0*i,
    -0.207203946835444 + 0.0*i,
    0.594402286272406 + 0.0*i,
    -0.231079023625947 + 0.0*i,
    -0.30600990758227 + 0.0*i,
    0.276558839207506 + 0.0*i,
    -0.228144455971572 + 0.0*i,
    -0.207084426004159 + 0.0*i,
    0.00220917929610874 + 0.0*i,
    -0.593517630933633 + 0.0*i,
    -0.264428014075215 + 0.0*i,
    -0.27126510087956 + 0.0*i,
    -0.175273505018863 + 0.0*i,
    0.210674071663869 + 0.0*i,
    0.633671028645572 + 0.0*i,
    -0.0436931439853996 + 0.0*i,
    0.246896085879905 + 0.0*i,
    -0.704052389520277 + 0.0*i,
    0.0790808060471537 + 0.0*i,
    0.731421614475909 + 0.0*i,
    0.512108805070026 + 0.0*i,
    0.257591705411944 + 0.0*i,
    -0.372567666946179 + 0.0*i,
    -0.35172317218585 + 0.0*i,
    0.405964468503864 + 0.0*i,
    -0.758244272225531 + 0.0*i,
    -0.468615943863336 + 0.0*i,
    0.188619351291359 + 0.0*i,
    0.685601584320474 + 0.0*i,
    -0.718013619901406 + 0.0*i,
    -0.226448391279449 + 0.0*i,
    0.047124181243951 + 0.0*i,
    -0.460771198216779 + 0.0*i,
    0.283066409683691 + 0.0*i,
    0.186734648827335 + 0.0*i,
    0.39964510106085 + 0.0*i,
    1.10795389945567 + 0.0*i,
    -0.326146559243377 + 0.0*i,
    -0.587091153071527 + 0.0*i,
    -0.234698804429529 + 0.0*i,
    0.960046575670018 + 0.0*i,
    -0.333840850828843 + 0.0*i,
    0.851000753161302 + 0.0*i,
    0.814748251331363 + 0.0*i,
    -0.757166164559488 + 0.0*i,
    0.0317090276245764 + 0.0*i,
    0.309244948523662 + 0.0*i,
    0.166464858547647 + 0.0*i,
    -0.0621410985370908 + 0.0*i,
    -0.18407618302636 + 0.0*i,
    -0.256626559168789 + 0.0*i,
    0.841340672806292 + 0.0*i,
    -1.02982098225799 + 0.0*i,
    0.454371400202314 + 0.0*i,
    -0.995489342702384 + 0.0*i,
    0.550221112660241 + 0.0*i,
    -0.513998584591439 + 0.0*i,
    -0.810199642766977 + 0.0*i,
    0.629553940592922 + 0.0*i,
    -0.259866852813499 + 0.0*i,
    -0.424069331359904 + 0.0*i,
    0.142513393391282 + 0.0*i,
    0.133289119019665 + 0.0*i,
    -0.414138040729374 + 0.0*i,
    -0.202312609279115 + 0.0*i,
    -0.495985579543749 + 0.0*i,
    0.203723372027711 + 0.0*i,
    -0.0529234676623206 + 0.0*i,
    -0.183091811097166 + 0.0*i,
    -0.578594218468306 + 0.0*i,
    -0.822035821043525 + 0.0*i,
    -0.520470229117068 + 0.0*i,
    -0.0486411096420173 + 0.0*i,
    -0.370451612506502 + 0.0*i,
    0.0027279011800251 + 0.0*i,
    -0.0200214615843033 + 0.0*i,
    0.294705588382172 + 0.0*i,
    0.503339273860344 + 0.0*i,
    -0.437904237270675 + 0.0*i,
    -0.331963064458255 + 0.0*i,
    -0.0741490402597486 + 0.0*i,
    0.352533654059197 + 0.0*i,
    0.71638276190672 + 0.0*i,
    0.562480525767861 + 0.0*i,
    -0.0565821613390587 + 0.0*i,
    -0.0937299815953216 + 0.0*i,
    0.765983572840655 + 0.0*i,
    0.278770096074237 + 0.0*i,
    -0.42295890685445 + 0.0*i,
    0.00492371293111127 + 0.0*i,
    -0.315596359121016 + 0.0*i,
    -0.00954590649787583 + 0.0*i,
    0.490420666588693 + 0.0*i,
    0.00860464015767057 + 0.0*i,
    -0.333673646179192 + 0.0*i,
    0.436218122474975 + 0.0*i,
    -0.905792450425503 + 0.0*i,
    -0.233435288540648 + 0.0*i,
    -0.272866391883508 + 0.0*i,
    0.365511609191338 + 0.0*i,
    -0.490365229672795 + 0.0*i,
    -0.0257626880625518 + 0.0*i,
    -0.0732300512887834 + 0.0*i,
    0.0239700028151843 + 0.0*i,
    0.299520694857749 + 0.0*i,
    0.343611214691986 + 0.0*i,
    -0.889133284060257 + 0.0*i,
    -0.22924749180907 + 0.0*i,
    0.336384391297151 + 0.0*i,
    0.834952966056616 + 0.0*i,
    0.381733928823896 + 0.0*i,
    0.0508051973833428 + 0.0*i,
    0.186195829311948 + 0.0*i,
    -0.483482725394457 + 0.0*i,
    0.824002098540136 + 0.0*i,
    0.924818702678636 + 0.0*i,
    0.214514537473337 + 0.0*i,
    -0.0709009950774891 + 0.0*i,
    -0.4836393431216 + 0.0*i,
    -0.00584719312293955 + 0.0*i,
    -0.332248033994933 + 0.0*i,
    0.252513006978554 + 0.0*i,
    0.618605562775922 + 0.0*i,
    0.015405993459417 + 0.0*i,
    0.295928729962992 + 0.0*i,
    -0.501633749213432 + 0.0*i,
    -0.972926718411586 + 0.0*i,
    0.101949915630817 + 0.0*i,
    -0.6263820725215 + 0.0*i,
    -0.550446403989048 + 0.0*i,
    0.387401581258481 + 0.0*i,
    -0.258666281051158 + 0.0*i,
    -0.533447702301283 + 0.0*i,
    -0.432042314422061 + 0.0*i,
    0.200512691150043 + 0.0*i,
    0.85030015561291 + 0.0*i,
    -0.296553084300593 + 0.0*i,
    -0.0717181364850018 + 0.0*i,
    -0.373034622341132 + 0.0*i,
    -0.476844965109196 + 0.0*i,
    0.0199466769470614 + 0.0*i,
    -0.260631402161058 + 0.0*i,
    -0.120955406605273 + 0.0*i,
    -0.0169164408301428 + 0.0*i,
    -0.527405363624326 + 0.0*i,
    1.64598249962318 + 0.0*i,
    -0.617976321822698 + 0.0*i,
    0.830188478011524 + 0.0*i,
    1.45435573533436 + 0.0*i,
    -0.944708254090118 + 0.0*i,
    0.462601511958576 + 0.0*i,
    -0.0606690556974674 + 0.0*i,
    0.945217819211613 + 0.0*i,
    -0.61863998511673 + 0.0*i,
    -0.0418850703089703 + 0.0*i
]);