V:=Matrix(CC,4,128,[
    0.8580347924628 + 0.0*i,
    -0.137803301380294 + 0.0*i,
    -0.280947516989115 + 0.0*i,
    -0.393469396931934 + 0.0*i,
    0.534677684973653 + 0.0*i,
    0.209712250918812 + 0.0*i,
    -0.0615237154374448 + 0.0*i,
    -0.00696997037187241 + 0.0*i,
    0.0111991999153681 + 0.0*i,
    -0.118633713796863 + 0.0*i,
    -0.106419372548522 + 0.0*i,
    0.537990747243661 + 0.0*i,
    -0.763146988837865 + 0.0*i,
    0.0447312964799813 + 0.0*i,
    -0.275681352319859 + 0.0*i,
    0.248187951933976 + 0.0*i,
    -0.444516489913589 + 0.0*i,
    0.673049698237543 + 0.0*i,
    -0.710839685239256 + 0.0*i,
    0.66661183836127 + 0.0*i,
    -0.0797431686387038 + 0.0*i,
    0.175096266006986 + 0.0*i,
    0.0547875934036908 + 0.0*i,
    -0.52536112797802 + 0.0*i,
    -0.0965563147161767 + 0.0*i,
    -0.240484012350727 + 0.0*i,
    -0.388791565586707 + 0.0*i,
    -0.407425260042408 + 0.0*i,
    0.766374034072419 + 0.0*i,
    -0.922991582660358 + 0.0*i,
    0.300771003399362 + 0.0*i,
    -0.51808242076402 + 0.0*i,
    0.680651652314719 + 0.0*i,
    -0.116412658663325 + 0.0*i,
    0.449991063246704 + 0.0*i,
    0.0480196876576777 + 0.0*i,
    0.251109304139278 + 0.0*i,
    -0.293029009087496 + 0.0*i,
    0.579094050481538 + 0.0*i,
    0.0155276970031842 + 0.0*i,
    0.157009869783378 + 0.0*i,
    -0.35352963228713 + 0.0*i,
    -0.327454151000953 + 0.0*i,
    -0.0146143417736035 + 0.0*i,
    -0.741512558528915 + 0.0*i,
    -0.177005375266018 + 0.0*i,
    -0.322874543089183 + 0.0*i,
    0.160588353789081 + 0.0*i,
    -0.106171680929793 + 0.0*i,
    0.240901818038638 + 0.0*i,
    -0.353381257752079 + 0.0*i,
    0.774709979633674 + 0.0*i,
    0.143094932599506 + 0.0*i,
    -1.07886040977864 + 0.0*i,
    -0.19661002068108 + 0.0*i,
    0.584520394624329 + 0.0*i,
    0.63479095465698 + 0.0*i,
    -0.52118533100705 + 0.0*i,
    0.240886815056197 + 0.0*i,
    0.522529325932584 + 0.0*i,
    0.274490028536387 + 0.0*i,
    0.00516543287976536 + 0.0*i,
    0.859935302541219 + 0.0*i,
    -0.0388054072110667 + 0.0*i,
    -0.521566767485996 + 0.0*i,
    0.115874657588077 + 0.0*i,
    -1.51935519487944 + 0.0*i,
    0.472139925026587 + 0.0*i,
    -0.391782792166429 + 0.0*i,
    -0.293873325643441 + 0.0*i,
    0.531719184371166 + 0.0*i,
    0.5589283789122 + 0.0*i,
    -0.4942268605749 + 0.0*i,
    0.0291948358710312 + 0.0*i,
    0.299705627722387 + 0.0*i,
    -0.703148616530365 + 0.0*i,
    0.516492982681962 + 0.0*i,
    -0.533769840920415 + 0.0*i,
    -0.121174752035336 + 0.0*i,
    -0.566855305649674 + 0.0*i,
    0.15109561261685 + 0.0*i,
    -0.98369123479906 + 0.0*i,
    0.849674015380359 + 0.0*i,
    0.0924321776861763 + 0.0*i,
    0.693624054192242 + 0.0*i,
    -0.509083754119784 + 0.0*i,
    -0.430000379626913 + 0.0*i,
    0.682121931792732 + 0.0*i,
    -0.839048542826105 + 0.0*i,
    -0.361357228158013 + 0.0*i,
    0.218260192641829 + 0.0*i,
    0.326000904094072 + 0.0*i,
    0.425015749572024 + 0.0*i,
    0.403358577794935 + 0.0*i,
    0.265679707194483 + 0.0*i,
    -0.328538231234173 + 0.0*i,
    -1.30169215446078 + 0.0*i,
    -0.516552983409878 + 0.0*i,
    -0.993099069433251 + 0.0*i,
    0.373816570154501 + 0.0*i,
    0.167888190292257 + 0.0*i,
    -0.353273816565122 + 0.0*i,
    -0.0819817546884562 + 0.0*i,
    -0.351803079701508 + 0.0*i,
    -0.482355460830142 + 0.0*i,
    -0.197372011617979 + 0.0*i,
    -1.33491334094884 + 0.0*i,
    0.570694933307532 + 0.0*i,
    0.320423913821731 + 0.0*i,
    -0.436279209122861 + 0.0*i,
    -0.315261157690599 + 0.0*i,
    -0.317897143239654 + 0.0*i,
    0.000939698082779789 + 0.0*i,
    0.0780045870877775 + 0.0*i,
    0.130773051756885 + 0.0*i,
    0.272031248786695 + 0.0*i,
    -0.398280947234677 + 0.0*i,
    0.320698098200529 + 0.0*i,
    1.11738753229942 + 0.0*i,
    0.729213831808604 + 0.0*i,
    -0.576414218964329 + 0.0*i,
    0.577848744077396 + 0.0*i,
    0.584514569006629 + 0.0*i,
    -0.138034439429281 + 0.0*i,
    0.667678777133892 + 0.0*i,
    -0.296464566154699 + 0.0*i,
    0.771363034132911 + 0.0*i,
    0.72693546622694 + 0.0*i,
    -1.37881042528388 + 0.0*i,
    -0.572738187295795 + 0.0*i,
    -0.426592617915239 + 0.0*i,
    -0.248090727401361 + 0.0*i,
    -0.77869008385782 + 0.0*i,
    -0.0469844076426577 + 0.0*i,
    -0.0525385320481711 + 0.0*i,
    0.429340648134409 + 0.0*i,
    0.261591035830985 + 0.0*i,
    -0.757844105718165 + 0.0*i,
    0.387766206886125 + 0.0*i,
    0.500949525557595 + 0.0*i,
    0.770393729284034 + 0.0*i,
    0.359767592163906 + 0.0*i,
    -0.0554662500374813 + 0.0*i,
    0.0561204302006705 + 0.0*i,
    -0.338904290089399 + 0.0*i,
    -0.617180939400556 + 0.0*i,
    -1.16119967760679 + 0.0*i,
    0.452869712567896 + 0.0*i,
    -0.155528262544123 + 0.0*i,
    0.0852456804491172 + 0.0*i,
    -0.43539895364646 + 0.0*i,
    -0.570041202750176 + 0.0*i,
    0.00541930522250714 + 0.0*i,
    1.01363971605441 + 0.0*i,
    -0.0239503638021164 + 0.0*i,
    -0.631006521686463 + 0.0*i,
    -0.155874134269152 + 0.0*i,
    -0.143879587578982 + 0.0*i,
    -0.0584312489235778 + 0.0*i,
    -0.515611388595845 + 0.0*i,
    0.313743080304245 + 0.0*i,
    0.0416392888515215 + 0.0*i,
    0.426212527964696 + 0.0*i,
    -0.245800107294803 + 0.0*i,
    0.668303015831794 + 0.0*i,
    -0.264429244517387 + 0.0*i,
    -0.434671605181471 + 0.0*i,
    0.448526691626188 + 0.0*i,
    -0.034860051864736 + 0.0*i,
    0.192616228294796 + 0.0*i,
    -0.212742622422772 + 0.0*i,
    -0.209302127691074 + 0.0*i,
    0.0981734916309927 + 0.0*i,
    -0.0621826330110948 + 0.0*i,
    -0.339709809175568 + 0.0*i,
    -0.519346485678165 + 0.0*i,
    -0.825128015122599 + 0.0*i,
    -0.182501779465652 + 0.0*i,
    -0.39885928658372 + 0.0*i,
    0.846248057912718 + 0.0*i,
    -0.354481463509433 + 0.0*i,
    0.0301548061870359 + 0.0*i,
    0.475366072956072 + 0.0*i,
    0.193320119965227 + 0.0*i,
    1.14800108127904 + 0.0*i,
    -0.460468353240896 + 0.0*i,
    0.0746908508467785 + 0.0*i,
    -0.136229069825255 + 0.0*i,
    -0.417395976829607 + 0.0*i,
    0.453928878414373 + 0.0*i,
    -0.444204994322273 + 0.0*i,
    -0.127955163734497 + 0.0*i,
    0.286235569951145 + 0.0*i,
    -0.299059126577418 + 0.0*i,
    0.0405813956247716 + 0.0*i,
    -0.412760745834765 + 0.0*i,
    0.277772479354563 + 0.0*i,
    -0.166353528334696 + 0.0*i,
    1.15662951464704 + 0.0*i,
    0.74268736078421 + 0.0*i,
    -0.715786298679971 + 0.0*i,
    -0.253777177269882 + 0.0*i,
    -0.586879841341506 + 0.0*i,
    0.462816541917676 + 0.0*i,
    -0.117171456725958 + 0.0*i,
    0.072964374831806 + 0.0*i,
    -0.385089710407936 + 0.0*i,
    0.871857195511869 + 0.0*i,
    0.308290602303181 + 0.0*i,
    -0.2274282899193 + 0.0*i,
    0.287409508843972 + 0.0*i,
    -0.137861981279392 + 0.0*i,
    0.746844550504242 + 0.0*i,
    -0.697259853718263 + 0.0*i,
    -0.516878377706074 + 0.0*i,
    -0.110185996709851 + 0.0*i,
    0.1990992273234 + 0.0*i,
    0.551826626777307 + 0.0*i,
    -0.14387816572121 + 0.0*i,
    0.270006009853438 + 0.0*i,
    0.54552695294601 + 0.0*i,
    0.71171700383153 + 0.0*i,
    0.353750501171191 + 0.0*i,
    -0.245878892749534 + 0.0*i,
    -0.416492018250728 + 0.0*i,
    0.633800541487331 + 0.0*i,
    -0.106517275711827 + 0.0*i,
    -0.997428348887136 + 0.0*i,
    -1.25582999997692 + 0.0*i,
    -0.560451965044907 + 0.0*i,
    0.0548034062076233 + 0.0*i,
    0.282797977805986 + 0.0*i,
    0.125593867693715 + 0.0*i,
    0.0603048480592515 + 0.0*i,
    -0.249483412044753 + 0.0*i,
    0.553008986602559 + 0.0*i,
    0.396291002983564 + 0.0*i,
    -0.921404639450432 + 0.0*i,
    -0.397008697918851 + 0.0*i,
    -0.472882064669357 + 0.0*i,
    -0.465289794314147 + 0.0*i,
    0.928104191476107 + 0.0*i,
    -0.149749218989357 + 0.0*i,
    -0.411682064472104 + 0.0*i,
    0.00991877142983237 + 0.0*i,
    0.779783512812828 + 0.0*i,
    -0.013392792927999 + 0.0*i,
    0.00850553646811338 + 0.0*i,
    -5.65223571931816e-05 + 0.0*i,
    0.168934205058799 + 0.0*i,
    -0.362146814588728 + 0.0*i,
    -1.09328535668643 + 0.0*i,
    -0.521766880174701 + 0.0*i,
    -0.132496816289624 + 0.0*i,
    -0.363240709381208 + 0.0*i,
    0.784438635990584 + 0.0*i,
    -0.158076032799508 + 0.0*i,
    -0.267913646240979 + 0.0*i,
    -0.270122020202262 + 0.0*i,
    0.0987254415981859 + 0.0*i,
    0.512318498497418 + 0.0*i,
    0.164581334074424 + 0.0*i,
    -0.725243666288184 + 0.0*i,
    0.753079666192858 + 0.0*i,
    0.337683526681008 + 0.0*i,
    -0.0746299336919265 + 0.0*i,
    -0.254655341897436 + 0.0*i,
    0.355249506398307 + 0.0*i,
    0.243491743113547 + 0.0*i,
    -0.806442318749453 + 0.0*i,
    -0.444734323075754 + 0.0*i,
    0.322398705339753 + 0.0*i,
    0.0820423424618829 + 0.0*i,
    -0.0125768782866186 + 0.0*i,
    -0.513382701546375 + 0.0*i,
    0.486782694417078 + 0.0*i,
    0.204914811141818 + 0.0*i,
    0.325760517643875 + 0.0*i,
    0.187915570972212 + 0.0*i,
    -0.722038735413214 + 0.0*i,
    -0.714488428376064 + 0.0*i,
    0.292963753245295 + 0.0*i,
    0.866783805026338 + 0.0*i,
    -0.766303242105546 + 0.0*i,
    0.121359508672221 + 0.0*i,
    0.975731821288203 + 0.0*i,
    -0.216997066333503 + 0.0*i,
    -0.838565063002542 + 0.0*i,
    0.249616843695922 + 0.0*i,
    -0.22891305942084 + 0.0*i,
    -0.2562674514283 + 0.0*i,
    0.293409804462725 + 0.0*i,
    -0.207043562233203 + 0.0*i,
    0.375420003866475 + 0.0*i,
    0.127326461279172 + 0.0*i,
    -0.498242894471924 + 0.0*i,
    0.00189665535703878 + 0.0*i,
    -0.696425500375129 + 0.0*i,
    -0.349480439410137 + 0.0*i,
    -0.133590796067384 + 0.0*i,
    0.101417561162843 + 0.0*i,
    -0.784837624472368 + 0.0*i,
    -0.171724723358624 + 0.0*i,
    0.174235994050205 + 0.0*i,
    0.0290193502828298 + 0.0*i,
    -0.697187501175 + 0.0*i,
    0.166056311 + 0.0*i,
    -0.0517113456202278 + 0.0*i,
    -0.00486404516202758 + 0.0*i,
    0.583908599115978 + 0.0*i,
    0.30789476118777 + 0.0*i,
    -0.0398288841929392 + 0.0*i,
    -0.410870073773833 + 0.0*i,
    -0.17675886737999 + 0.0*i,
    0.321019219983471 + 0.0*i,
    -0.597399185491229 + 0.0*i,
    0.287028881508115 + 0.0*i,
    0.333042657189458 + 0.0*i,
    -0.0920386710554255 + 0.0*i,
    0.430318217222048 + 0.0*i,
    -0.964443487714133 + 0.0*i,
    0.369923930239991 + 0.0*i,
    -0.280573043012756 + 0.0*i,
    0.795615102934864 + 0.0*i,
    -0.294160899564391 + 0.0*i,
    0.225518934796005 + 0.0*i,
    0.0566908523985856 + 0.0*i,
    -1.03909610261065 + 0.0*i,
    0.229913768361508 + 0.0*i,
    0.00641143669983501 + 0.0*i,
    0.38947926934616 + 0.0*i,
    0.284871925262058 + 0.0*i,
    -0.99336781441833 + 0.0*i,
    -0.299688485609306 + 0.0*i,
    0.359657716414323 + 0.0*i,
    0.23108783590486 + 0.0*i,
    -0.0245086586839778 + 0.0*i,
    0.253682817439726 + 0.0*i,
    -0.529274860067816 + 0.0*i,
    -0.17985389768079 + 0.0*i,
    -0.00332901226643512 + 0.0*i,
    -0.315561354432956 + 0.0*i,
    -0.0151519686534649 + 0.0*i,
    -0.771808619844876 + 0.0*i,
    0.131885047743557 + 0.0*i,
    0.029348811084428 + 0.0*i,
    -0.321635758900405 + 0.0*i,
    0.254211412588534 + 0.0*i,
    -0.414323086837298 + 0.0*i,
    0.625039174727566 + 0.0*i,
    0.0758564496797056 + 0.0*i,
    0.297243592588254 + 0.0*i,
    -0.620925501894942 + 0.0*i,
    0.150687518870924 + 0.0*i,
    0.158223766077694 + 0.0*i,
    -0.217067935431515 + 0.0*i,
    -1.23031865304076 + 0.0*i,
    0.751842992967654 + 0.0*i,
    0.354667161615082 + 0.0*i,
    -0.32381696884129 + 0.0*i,
    0.164639522857766 + 0.0*i,
    -0.382895973854669 + 0.0*i,
    0.50980322520197 + 0.0*i,
    0.402038572085303 + 0.0*i,
    0.166886332241101 + 0.0*i,
    -0.0494273275132335 + 0.0*i,
    0.742761900138889 + 0.0*i,
    -0.0591498813242434 + 0.0*i,
    -0.0313796043546588 + 0.0*i,
    -0.407098873731112 + 0.0*i,
    -0.249243871926503 + 0.0*i,
    0.0178564968165635 + 0.0*i,
    0.29549982794083 + 0.0*i,
    0.477686406637974 + 0.0*i,
    0.0978411730231964 + 0.0*i,
    -0.157026949409902 + 0.0*i,
    0.46554321044098 + 0.0*i,
    -0.433490601625924 + 0.0*i,
    0.291499552102034 + 0.0*i,
    -0.0515509223228288 + 0.0*i,
    -0.558139758792049 + 0.0*i,
    -0.685560267064064 + 0.0*i,
    1.0310400969447 + 0.0*i,
    -0.555038435281539 + 0.0*i,
    0.0724357064131141 + 0.0*i,
    0.287877802569365 + 0.0*i,
    0.533616473154165 + 0.0*i,
    0.501940333390355 + 0.0*i,
    0.522341155511143 + 0.0*i,
    0.790968847901754 + 0.0*i,
    0.456024533652458 + 0.0*i,
    -0.692113712199988 + 0.0*i,
    0.193929463706336 + 0.0*i,
    -0.331923791434574 + 0.0*i,
    -0.0142432129611676 + 0.0*i,
    0.39557001860833 + 0.0*i,
    0.332566136274565 + 0.0*i,
    0.59186012157948 + 0.0*i,
    0.187994989228341 + 0.0*i,
    -0.389607867772027 + 0.0*i,
    -0.87212311678795 + 0.0*i,
    0.518786965069866 + 0.0*i,
    -0.127080327328853 + 0.0*i,
    -1.01989672452387 + 0.0*i,
    0.968608756711423 + 0.0*i,
    -0.33362448583937 + 0.0*i,
    0.0363591708912746 + 0.0*i,
    -0.688575027854267 + 0.0*i,
    0.311687525644207 + 0.0*i,
    -0.124044148525168 + 0.0*i,
    -0.4402092889356 + 0.0*i,
    -0.433953294318655 + 0.0*i,
    1.54270420480831 + 0.0*i,
    0.135617020038158 + 0.0*i,
    0.198004782334106 + 0.0*i,
    0.581275882159233 + 0.0*i,
    0.175706566653983 + 0.0*i,
    -0.732963676912316 + 0.0*i,
    -0.0500525772664401 + 0.0*i,
    -0.999203272191535 + 0.0*i,
    -0.504985534094356 + 0.0*i,
    -0.28356258564063 + 0.0*i,
    -0.736408625447888 + 0.0*i,
    0.245025206851358 + 0.0*i,
    0.496295903370794 + 0.0*i,
    -0.374916198113185 + 0.0*i,
    0.403913802981671 + 0.0*i,
    0.00664521207971821 + 0.0*i,
    0.0263855409948982 + 0.0*i,
    -0.0294168247154044 + 0.0*i,
    -0.131027313930143 + 0.0*i,
    0.359855265774413 + 0.0*i,
    -0.372797948302601 + 0.0*i,
    -0.478347906151324 + 0.0*i,
    -0.109419612380101 + 0.0*i,
    0.16872576779987 + 0.0*i,
    0.228103834490054 + 0.0*i,
    -0.487114969167061 + 0.0*i,
    -1.31796418752603 + 0.0*i,
    -0.713160942540187 + 0.0*i,
    0.666820101488451 + 0.0*i,
    -0.598152842634539 + 0.0*i,
    -0.407301959839826 + 0.0*i,
    -0.641126413412748 + 0.0*i,
    -0.145991872655664 + 0.0*i,
    0.254689474023841 + 0.0*i,
    -0.551640861884087 + 0.0*i,
    -0.405197307103167 + 0.0*i,
    0.832894652037083 + 0.0*i,
    0.588246381549476 + 0.0*i,
    -0.210819966498113 + 0.0*i,
    0.0797905357194032 + 0.0*i,
    -0.671980625790519 + 0.0*i,
    -0.95176676455892 + 0.0*i,
    -0.0304729137719556 + 0.0*i,
    0.439007162556181 + 0.0*i,
    -0.388403190816056 + 0.0*i,
    -0.00875194586125045 + 0.0*i,
    0.100102921581461 + 0.0*i,
    0.739981563876644 + 0.0*i,
    0.274199304218457 + 0.0*i,
    0.272665033200335 + 0.0*i,
    -0.809344299795385 + 0.0*i,
    -0.606762351854162 + 0.0*i,
    1.20954603708271 + 0.0*i,
    1.34811861823148 + 0.0*i,
    -0.0757026329545984 + 0.0*i,
    0.280496040190118 + 0.0*i,
    0.112783993796626 + 0.0*i,
    -0.190845660470059 + 0.0*i,
    0.889451897715292 + 0.0*i,
    0.226323409772453 + 0.0*i,
    -0.469925753090404 + 0.0*i,
    0.229364717877779 + 0.0*i,
    -0.564518567452002 + 0.0*i,
    0.218248819859942 + 0.0*i,
    0.713958819895006 + 0.0*i,
    0.01611973388203 + 0.0*i,
    -0.454259394910968 + 0.0*i,
    0.110166022954144 + 0.0*i,
    0.363171917787149 + 0.0*i,
    0.36235830728022 + 0.0*i,
    0.0355494562318473 + 0.0*i,
    0.928701196299144 + 0.0*i,
    -0.593708345697024 + 0.0*i,
    0.328807046017622 + 0.0*i,
    -1.25700522206119 + 0.0*i,
    -0.348176222749384 + 0.0*i,
    0.267842735109325 + 0.0*i,
    0.0143271429714772 + 0.0*i,
    -0.432381078963498 + 0.0*i,
    0.210524424559065 + 0.0*i,
    -0.116132705233015 + 0.0*i,
    -0.335328338019209 + 0.0*i,
    0.918610056562147 + 0.0*i,
    1.0355557902301 + 0.0*i,
    0.692491514950936 + 0.0*i,
    -0.591178974373144 + 0.0*i,
    -0.220494847919327 + 0.0*i,
    -0.362270003960634 + 0.0*i,
    -0.0444509060137301 + 0.0*i,
    0.214059070445924 + 0.0*i,
    -0.201861705413627 + 0.0*i,
    0.0843680264955092 + 0.0*i,
    0.115506134918286 + 0.0*i,
    0.209114361153523 + 0.0*i,
    0.76600855491756 + 0.0*i,
    0.401041969285322 + 0.0*i,
    -0.420224080654376 + 0.0*i,
    -0.529240609319864 + 0.0*i,
    -0.227406067948738 + 0.0*i,
    0.366141858904705 + 0.0*i
]);