V:=Matrix(CC,4,127,[
    -0.186958370955198 + 0.0*i,
    -0.340134135658267 + 0.0*i,
    0.372151905509645 + 0.0*i,
    -0.303000501502212 + 0.0*i,
    0.150648960803492 + 0.0*i,
    -0.0303284082745777 + 0.0*i,
    -0.154876304734074 + 0.0*i,
    0.458967482632903 + 0.0*i,
    -0.126422587713769 + 0.0*i,
    0.382246169201099 + 0.0*i,
    0.0222384866996984 + 0.0*i,
    -0.0482193133625608 + 0.0*i,
    0.229374721477735 + 0.0*i,
    0.0545617228389369 + 0.0*i,
    -0.405469813716375 + 0.0*i,
    -0.232100415224218 + 0.0*i,
    0.03957093652763 + 0.0*i,
    0.067435684910179 + 0.0*i,
    -0.168276435402554 + 0.0*i,
    0.150612341655727 + 0.0*i,
    0.0996043295037929 + 0.0*i,
    -0.162531766431258 + 0.0*i,
    -0.400728108689822 + 0.0*i,
    -0.145086104895241 + 0.0*i,
    0.171778350560782 + 0.0*i,
    -0.245605198387449 + 0.0*i,
    -0.0837160693440027 + 0.0*i,
    0.268337482067113 + 0.0*i,
    0.128233834528378 + 0.0*i,
    0.353560018775262 + 0.0*i,
    0.168555206464038 + 0.0*i,
    -0.00718821108968199 + 0.0*i,
    -0.250584981121615 + 0.0*i,
    0.254761954542475 + 0.0*i,
    -0.120221531963791 + 0.0*i,
    0.0411128863617984 + 0.0*i,
    -0.00015174598235654 + 0.0*i,
    -0.348674359175018 + 0.0*i,
    -0.0331143669534246 + 0.0*i,
    -0.3076549546596 + 0.0*i,
    -0.403377605070394 + 0.0*i,
    0.201350306238675 + 0.0*i,
    0.449736221732213 + 0.0*i,
    -0.256079211102399 + 0.0*i,
    -0.155931117605805 + 0.0*i,
    0.222719545445239 + 0.0*i,
    0.25026608385203 + 0.0*i,
    -0.0625111555470619 + 0.0*i,
    0.0581359814909787 + 0.0*i,
    0.147719782796435 + 0.0*i,
    0.114488761590274 + 0.0*i,
    -0.216354797797914 + 0.0*i,
    0.365889788300608 + 0.0*i,
    0.368729856269049 + 0.0*i,
    0.0488262878182931 + 0.0*i,
    -0.39948136085161 + 0.0*i,
    -0.163091287261245 + 0.0*i,
    -0.199029147191417 + 0.0*i,
    -0.186805358366239 + 0.0*i,
    0.264690044253545 + 0.0*i,
    0.346208528999616 + 0.0*i,
    -0.259708515207904 + 0.0*i,
    0.0237833250645522 + 0.0*i,
    0.423390965992169 + 0.0*i,
    -0.123910095903024 + 0.0*i,
    -0.0885101609760177 + 0.0*i,
    0.00384226039702102 + 0.0*i,
    -0.00268636137872387 + 0.0*i,
    0.0941146630646547 + 0.0*i,
    0.283118793316193 + 0.0*i,
    0.0327799834814858 + 0.0*i,
    0.0774766633921777 + 0.0*i,
    -0.11539401915278 + 0.0*i,
    0.158582612006681 + 0.0*i,
    -0.0251095519416349 + 0.0*i,
    0.36458784012439 + 0.0*i,
    0.262924596780758 + 0.0*i,
    -0.289983657569013 + 0.0*i,
    0.263110073550843 + 0.0*i,
    -0.31995534832223 + 0.0*i,
    -0.214511410812977 + 0.0*i,
    0.0337755808023434 + 0.0*i,
    0.0565911997522095 + 0.0*i,
    0.164519378197813 + 0.0*i,
    0.170889186033392 + 0.0*i,
    0.138881097219543 + 0.0*i,
    0.311582730644535 + 0.0*i,
    0.0333537661833717 + 0.0*i,
    0.305788176779735 + 0.0*i,
    -0.266875751174597 + 0.0*i,
    -0.123255156546591 + 0.0*i,
    -0.237004051132374 + 0.0*i,
    0.406746207591557 + 0.0*i,
    -0.197452306199596 + 0.0*i,
    0.446418751193793 + 0.0*i,
    0.0563626067579293 + 0.0*i,
    0.215049694605989 + 0.0*i,
    -0.177433996064835 + 0.0*i,
    -0.251542630170786 + 0.0*i,
    0.115197677692706 + 0.0*i,
    -0.28235534425268 + 0.0*i,
    -0.315501631724265 + 0.0*i,
    -0.460225707451091 + 0.0*i,
    -0.00154805818260045 + 0.0*i,
    -0.337790995886749 + 0.0*i,
    0.124094071256808 + 0.0*i,
    -0.16538254568217 + 0.0*i,
    0.130068711707215 + 0.0*i,
    0.358582195929019 + 0.0*i,
    0.245151217804848 + 0.0*i,
    0.195646998580376 + 0.0*i,
    -0.0452963139633565 + 0.0*i,
    -0.423173751729489 + 0.0*i,
    -0.42462096238355 + 0.0*i,
    0.0685220568044505 + 0.0*i,
    -0.354427088787061 + 0.0*i,
    0.113732921359441 + 0.0*i,
    -0.333061435017675 + 0.0*i,
    0.240912407037685 + 0.0*i,
    -0.29268155832283 + 0.0*i,
    0.158744296211105 + 0.0*i,
    0.325040537282085 + 0.0*i,
    -0.182297059426688 + 0.0*i,
    -0.315438796998022 + 0.0*i,
    -0.0133684479302871 + 0.0*i,
    -0.00593936018914198 + 0.0*i,
    -0.247192145468285 + 0.0*i,
    0.286216628902041 + 0.0*i,
    -0.0706505691786586 + 0.0*i,
    -0.0277756666067724 + 0.0*i,
    -0.26740848207106 + 0.0*i,
    -0.208750720038591 + 0.0*i,
    -0.304067493808359 + 0.0*i,
    -0.248046447158706 + 0.0*i,
    0.0513075315765996 + 0.0*i,
    -0.0684273648888638 + 0.0*i,
    0.0796958092351321 + 0.0*i,
    0.0727694321761199 + 0.0*i,
    -0.257578343432056 + 0.0*i,
    0.369946152928234 + 0.0*i,
    0.115664446788118 + 0.0*i,
    -0.232303003957885 + 0.0*i,
    -0.15273116297816 + 0.0*i,
    0.11436991568879 + 0.0*i,
    0.323455178979102 + 0.0*i,
    0.310938024623163 + 0.0*i,
    -0.0752848784029461 + 0.0*i,
    -0.426873254097273 + 0.0*i,
    0.425509219810031 + 0.0*i,
    0.0756233681167723 + 0.0*i,
    -0.261938667893108 + 0.0*i,
    0.185614576284006 + 0.0*i,
    -0.112267956163885 + 0.0*i,
    0.2675911208202 + 0.0*i,
    -0.0342972352793688 + 0.0*i,
    -0.449012785329883 + 0.0*i,
    -0.019366634235347 + 0.0*i,
    0.368772827060864 + 0.0*i,
    -0.0232929474601578 + 0.0*i,
    -0.246883572422761 + 0.0*i,
    0.20995836800437 + 0.0*i,
    0.290676693928037 + 0.0*i,
    0.349994141503204 + 0.0*i,
    -0.0354133428488833 + 0.0*i,
    0.230170235953332 + 0.0*i,
    0.311848000223545 + 0.0*i,
    0.176060892584961 + 0.0*i,
    -0.215222199150695 + 0.0*i,
    0.419042508790484 + 0.0*i,
    -0.0556725630420452 + 0.0*i,
    -0.318605624615714 + 0.0*i,
    0.15889860892533 + 0.0*i,
    -0.333963167219126 + 0.0*i,
    -0.171862786493791 + 0.0*i,
    -0.129364462032124 + 0.0*i,
    0.123840889983038 + 0.0*i,
    -0.12816268242273 + 0.0*i,
    -0.217559995334114 + 0.0*i,
    -0.220461816145887 + 0.0*i,
    -0.25652353217426 + 0.0*i,
    0.120690906936853 + 0.0*i,
    0.168804046762928 + 0.0*i,
    -0.0661666934358074 + 0.0*i,
    0.19075383263177 + 0.0*i,
    0.0092956278847655 + 0.0*i,
    0.0735413600791388 + 0.0*i,
    0.301843393104469 + 0.0*i,
    -0.141530739326041 + 0.0*i,
    0.357040000062214 + 0.0*i,
    -0.388341884728298 + 0.0*i,
    -0.218039066860269 + 0.0*i,
    -0.427177563889176 + 0.0*i,
    0.119012305803563 + 0.0*i,
    0.184965494638014 + 0.0*i,
    0.172319317517168 + 0.0*i,
    -0.0492969779211595 + 0.0*i,
    0.0657269835898732 + 0.0*i,
    -0.0321758667451534 + 0.0*i,
    0.283471271800441 + 0.0*i,
    0.218044325738846 + 0.0*i,
    0.271796981651306 + 0.0*i,
    -0.474726758174206 + 0.0*i,
    0.144397685848149 + 0.0*i,
    -0.185857501345299 + 0.0*i,
    0.310210167824312 + 0.0*i,
    -0.247913709046005 + 0.0*i,
    0.212612484785135 + 0.0*i,
    -0.233639334669346 + 0.0*i,
    -0.0674874995352755 + 0.0*i,
    -0.428943001614285 + 0.0*i,
    -0.375465662179361 + 0.0*i,
    -0.0756170563696237 + 0.0*i,
    0.424786284037208 + 0.0*i,
    -0.154057452053398 + 0.0*i,
    0.435964309923421 + 0.0*i,
    -0.0845324954071701 + 0.0*i,
    -0.185452610681092 + 0.0*i,
    -0.0328290882023489 + 0.0*i,
    -0.0584760991983392 + 0.0*i,
    0.159060387969011 + 0.0*i,
    -0.0237811403363541 + 0.0*i,
    -0.10368291537892 + 0.0*i,
    0.168132880717775 + 0.0*i,
    -0.172033000305514 + 0.0*i,
    0.0804796714457287 + 0.0*i,
    -0.324525015530654 + 0.0*i,
    0.388880342912409 + 0.0*i,
    0.319349167591605 + 0.0*i,
    0.0950892435432785 + 0.0*i,
    -0.0690082283899478 + 0.0*i,
    0.368274562133407 + 0.0*i,
    -0.285425141977766 + 0.0*i,
    -0.133459037155539 + 0.0*i,
    -0.0533472142182206 + 0.0*i,
    -0.339589487249921 + 0.0*i,
    -0.235929764286811 + 0.0*i,
    0.00775845297029473 + 0.0*i,
    0.0968972238543936 + 0.0*i,
    0.240909292030972 + 0.0*i,
    0.0171436097656403 + 0.0*i,
    0.108779694646926 + 0.0*i,
    0.328757028260179 + 0.0*i,
    -0.15462940147047 + 0.0*i,
    -0.346327844669772 + 0.0*i,
    0.00877606848538669 + 0.0*i,
    0.0469266445643582 + 0.0*i,
    0.375566629170919 + 0.0*i,
    -0.309988047820134 + 0.0*i,
    -0.0709349635660991 + 0.0*i,
    -0.0572256446940661 + 0.0*i,
    -0.353680911254505 + 0.0*i,
    -0.415590569438298 + 0.0*i,
    -0.231402507856009 + 0.0*i,
    -0.101183812713852 + 0.0*i,
    -0.328790087395299 + 0.0*i,
    -0.194236929695695 + 0.0*i,
    0.0268733335925927 + 0.0*i,
    -0.242843739515541 + 0.0*i,
    -0.351201588914025 + 0.0*i,
    -0.282272548690155 + 0.0*i,
    0.21528835656356 + 0.0*i,
    -0.0655645950743987 + 0.0*i,
    0.43775163098604 + 0.0*i,
    0.275323648859997 + 0.0*i,
    0.460303523891119 + 0.0*i,
    -0.396772119876765 + 0.0*i,
    -0.191942855004697 + 0.0*i,
    0.390604324654261 + 0.0*i,
    0.102429721778775 + 0.0*i,
    0.00144031621517604 + 0.0*i,
    -0.364092292514933 + 0.0*i,
    0.190324177861616 + 0.0*i,
    -0.0433482626437949 + 0.0*i,
    -0.349625436794158 + 0.0*i,
    0.0780865464188073 + 0.0*i,
    -0.143273283492498 + 0.0*i,
    0.220495602522724 + 0.0*i,
    -0.347794678265933 + 0.0*i,
    0.214528112066266 + 0.0*i,
    0.316221146631016 + 0.0*i,
    -0.378599713182334 + 0.0*i,
    -0.371177522208971 + 0.0*i,
    -0.0927559460831039 + 0.0*i,
    0.228593440698303 + 0.0*i,
    0.243402731628578 + 0.0*i,
    0.01175872578153 + 0.0*i,
    -0.188148460452436 + 0.0*i,
    0.310877399639921 + 0.0*i,
    0.114899416855583 + 0.0*i,
    0.0662838360828254 + 0.0*i,
    -0.245349318528446 + 0.0*i,
    -0.094948370619995 + 0.0*i,
    -0.256663645601314 + 0.0*i,
    -0.195600942785924 + 0.0*i,
    -0.120949566718281 + 0.0*i,
    0.0155478985045063 + 0.0*i,
    -0.0950196889829745 + 0.0*i,
    0.00834532853707494 + 0.0*i,
    0.0120045578172005 + 0.0*i,
    0.231778172161407 + 0.0*i,
    -0.0692927040260368 + 0.0*i,
    0.336398301977748 + 0.0*i,
    -0.449561944124466 + 0.0*i,
    -0.231633723103702 + 0.0*i,
    0.295063359398752 + 0.0*i,
    0.199534800455431 + 0.0*i,
    0.169571718219035 + 0.0*i,
    -0.0071221310793379 + 0.0*i,
    0.286950609298667 + 0.0*i,
    0.242476019899566 + 0.0*i,
    0.408032476113338 + 0.0*i,
    -0.354929773389815 + 0.0*i,
    -0.422741332736463 + 0.0*i,
    -0.217525855151019 + 0.0*i,
    -0.283380146893945 + 0.0*i,
    0.0664572828445194 + 0.0*i,
    -0.259592051789157 + 0.0*i,
    -0.066239215021584 + 0.0*i,
    -0.134314757529977 + 0.0*i,
    -0.444290186326022 + 0.0*i,
    -0.149155082642367 + 0.0*i,
    0.0667211231630333 + 0.0*i,
    -0.380794099851013 + 0.0*i,
    0.30619994703384 + 0.0*i,
    0.220907110446054 + 0.0*i,
    -0.371692256565907 + 0.0*i,
    0.210481110736328 + 0.0*i,
    -0.334049544706099 + 0.0*i,
    0.039335686989687 + 0.0*i,
    -0.130441125932033 + 0.0*i,
    -0.296034319318243 + 0.0*i,
    -0.088207656249924 + 0.0*i,
    -0.230713873594843 + 0.0*i,
    0.098598341951811 + 0.0*i,
    0.00102982327585443 + 0.0*i,
    -0.456566654948426 + 0.0*i,
    -0.0135785215490945 + 0.0*i,
    -0.129494067999876 + 0.0*i,
    0.213843465065133 + 0.0*i,
    -0.0992003706747146 + 0.0*i,
    0.3096304066424 + 0.0*i,
    0.135384655247588 + 0.0*i,
    0.0384592698765279 + 0.0*i,
    0.347708687712571 + 0.0*i,
    -0.360187291388842 + 0.0*i,
    -0.196698407240129 + 0.0*i,
    0.0984992832547615 + 0.0*i,
    0.167746035440685 + 0.0*i,
    0.118903320533415 + 0.0*i,
    0.109662947011495 + 0.0*i,
    0.220732093355514 + 0.0*i,
    -0.0539462107885699 + 0.0*i,
    -0.121934997186412 + 0.0*i,
    -0.113892691222496 + 0.0*i,
    0.22096391982499 + 0.0*i,
    -0.332262923062836 + 0.0*i,
    -0.0400384196345192 + 0.0*i,
    -0.219879711188722 + 0.0*i,
    0.0852161807131734 + 0.0*i,
    0.36064680436478 + 0.0*i,
    0.132719065849053 + 0.0*i,
    -0.220142051769001 + 0.0*i,
    -0.0920524629514569 + 0.0*i,
    -0.398235613485989 + 0.0*i,
    0.424231873520019 + 0.0*i,
    0.360351120143519 + 0.0*i,
    -0.173009412679891 + 0.0*i,
    -0.0333037392558662 + 0.0*i,
    -0.0100265811040361 + 0.0*i,
    0.244335241846793 + 0.0*i,
    -0.289486473144866 + 0.0*i,
    0.153347278404378 + 0.0*i,
    -0.297295946989208 + 0.0*i,
    -0.00643755211172773 + 0.0*i,
    0.102440113960286 + 0.0*i,
    -0.214984774399026 + 0.0*i,
    -0.0692235311703309 + 0.0*i,
    -0.0500085550407675 + 0.0*i,
    0.242509260620595 + 0.0*i,
    0.127440628428366 + 0.0*i,
    -0.347417093542198 + 0.0*i,
    0.101551800002674 + 0.0*i,
    0.269770150881487 + 0.0*i,
    0.304522008126601 + 0.0*i,
    -0.0581252906973812 + 0.0*i,
    0.16447867569622 + 0.0*i,
    0.238851528290149 + 0.0*i,
    -0.313101045986384 + 0.0*i,
    -0.105757178140768 + 0.0*i,
    -0.0907907143874836 + 0.0*i,
    0.0304831385066662 + 0.0*i,
    0.108861142713891 + 0.0*i,
    0.051362556812465 + 0.0*i,
    -0.0420052388152715 + 0.0*i,
    -0.245475307798949 + 0.0*i,
    -0.0434790484297311 + 0.0*i,
    -0.392247099254897 + 0.0*i,
    0.29029018370995 + 0.0*i,
    0.277752373408364 + 0.0*i,
    -0.321894618594704 + 0.0*i,
    0.273087184280961 + 0.0*i,
    0.174177049424414 + 0.0*i,
    0.0669516027804082 + 0.0*i,
    0.115884450700623 + 0.0*i,
    -0.129839090843477 + 0.0*i,
    -0.349520713109349 + 0.0*i,
    -0.230798886097202 + 0.0*i,
    -0.0798511249623213 + 0.0*i,
    0.0967738517539176 + 0.0*i,
    -0.0131999830146377 + 0.0*i,
    0.217857702142555 + 0.0*i,
    -0.0543654465547422 + 0.0*i,
    -0.477445160193757 + 0.0*i,
    -0.264333793777297 + 0.0*i,
    -0.153852803607567 + 0.0*i,
    0.330691891136699 + 0.0*i,
    -0.319497089169257 + 0.0*i,
    0.411661481387641 + 0.0*i,
    -0.212885894601443 + 0.0*i,
    -0.255797726459149 + 0.0*i,
    0.250783541779185 + 0.0*i,
    0.0948617821862907 + 0.0*i,
    -0.0842780468866961 + 0.0*i,
    0.123896857893121 + 0.0*i,
    -0.245439326546182 + 0.0*i,
    0.420022335944758 + 0.0*i,
    0.129065083242537 + 0.0*i,
    0.354402865218336 + 0.0*i,
    0.306622883852912 + 0.0*i,
    -0.095919962767614 + 0.0*i,
    -0.371427134569862 + 0.0*i,
    -0.277035808157279 + 0.0*i,
    0.304772417683743 + 0.0*i,
    -0.033863198699238 + 0.0*i,
    -0.280196726724348 + 0.0*i,
    0.329729700027527 + 0.0*i,
    -0.0633311112596852 + 0.0*i,
    0.0298401054804492 + 0.0*i,
    0.250367624479175 + 0.0*i,
    -0.0711911721608153 + 0.0*i,
    0.137355254217632 + 0.0*i,
    0.0516055909436489 + 0.0*i,
    0.151717463040606 + 0.0*i,
    -0.0657862893151629 + 0.0*i,
    -0.0381913838685631 + 0.0*i,
    -0.125610595888787 + 0.0*i,
    0.109518711743378 + 0.0*i,
    0.416572095666473 + 0.0*i,
    -0.438996294634789 + 0.0*i,
    -0.255931148027423 + 0.0*i,
    -0.0822042705316907 + 0.0*i,
    0.422823632486808 + 0.0*i,
    0.103100744909334 + 0.0*i,
    -0.353097975993409 + 0.0*i,
    -0.146655005705785 + 0.0*i,
    0.0130316617713393 + 0.0*i,
    0.250497148108854 + 0.0*i,
    -0.197261934067125 + 0.0*i,
    0.173091868957195 + 0.0*i,
    0.185667086430845 + 0.0*i,
    0.266470823425478 + 0.0*i,
    0.354080188548043 + 0.0*i,
    0.093509358276777 + 0.0*i,
    -0.201572697579897 + 0.0*i,
    0.209058813199933 + 0.0*i,
    -0.379527086910512 + 0.0*i,
    0.136746430402572 + 0.0*i,
    0.108014341890011 + 0.0*i,
    -0.13116275550299 + 0.0*i,
    -0.349356371066685 + 0.0*i,
    -0.0237434193472145 + 0.0*i,
    -0.275109873423109 + 0.0*i,
    -0.358381225217126 + 0.0*i,
    0.180806692875331 + 0.0*i,
    -0.407209152653551 + 0.0*i,
    0.071593100616545 + 0.0*i,
    0.429194375698206 + 0.0*i,
    0.326025652294245 + 0.0*i,
    -0.432300681555328 + 0.0*i,
    0.213848994519183 + 0.0*i,
    -0.231412444393984 + 0.0*i,
    0.0230664056931971 + 0.0*i,
    0.100324220231746 + 0.0*i,
    -0.0373745299283122 + 0.0*i,
    0.214770657021541 + 0.0*i,
    0.161394892742441 + 0.0*i,
    0.241515381888138 + 0.0*i,
    0.426049527761587 + 0.0*i,
    -0.20321001796478 + 0.0*i,
    0.174983593541625 + 0.0*i,
    -0.105993641076074 + 0.0*i,
    -0.03383060153839 + 0.0*i,
    0.18493115234423 + 0.0*i,
    0.117982010340714 + 0.0*i,
    0.174651887018009 + 0.0*i,
    0.34135393118228 + 0.0*i,
    0.138011719201126 + 0.0*i,
    0.0741092847555672 + 0.0*i,
    0.303078453096872 + 0.0*i,
    -0.264657803135807 + 0.0*i,
    -0.068900191921145 + 0.0*i,
    -0.312715857172735 + 0.0*i,
    0.264168302546621 + 0.0*i,
    0.428173086713319 + 0.0*i,
    -0.055813962272535 + 0.0*i,
    0.0327382841938186 + 0.0*i,
    0.401326225870822 + 0.0*i,
    -0.178130880264737 + 0.0*i
]);