V:=Matrix(CC,4,118,[
    -0.262019395151733 + 0.0*i,
    -0.537449367155588 + 0.0*i,
    -0.371275496093551 + 0.0*i,
    0.661441585632507 + 0.0*i,
    0.482836242067637 + 0.0*i,
    -0.430354378390438 + 0.0*i,
    -0.0747671766933818 + 0.0*i,
    -1.22876893495146 + 0.0*i,
    0.288720054067995 + 0.0*i,
    0.384588420495213 + 0.0*i,
    -0.0326988036752362 + 0.0*i,
    0.511820538360283 + 0.0*i,
    -0.259185346276807 + 0.0*i,
    -0.000141504303335245 + 0.0*i,
    0.133476126125654 + 0.0*i,
    -0.143494682344176 + 0.0*i,
    0.214778490913393 + 0.0*i,
    0.319414398610539 + 0.0*i,
    -0.350508653640428 + 0.0*i,
    -0.230264423530697 + 0.0*i,
    0.0627736010486799 + 0.0*i,
    -0.662359081498912 + 0.0*i,
    0.122934340487345 + 0.0*i,
    -0.215782047092823 + 0.0*i,
    0.0699309690008956 + 0.0*i,
    -1.14988649036853 + 0.0*i,
    -0.233583997005522 + 0.0*i,
    0.210493745187926 + 0.0*i,
    -0.264551640997234 + 0.0*i,
    -0.517321804001325 + 0.0*i,
    -0.222807033934052 + 0.0*i,
    -0.125644617178962 + 0.0*i,
    -0.589911659861851 + 0.0*i,
    -0.111831694153384 + 0.0*i,
    0.044363795457653 + 0.0*i,
    0.120544636570807 + 0.0*i,
    0.0936915195177437 + 0.0*i,
    0.391188538506039 + 0.0*i,
    -0.615417852473334 + 0.0*i,
    0.342768273621613 + 0.0*i,
    0.848810377088219 + 0.0*i,
    0.402507458191647 + 0.0*i,
    -0.0172546932414668 + 0.0*i,
    -1.086736750475 + 0.0*i,
    0.914359235379736 + 0.0*i,
    0.147442798172309 + 0.0*i,
    0.21788456534895 + 0.0*i,
    0.288290331518233 + 0.0*i,
    -0.0848655724728664 + 0.0*i,
    -0.962965952236233 + 0.0*i,
    -0.0926978310582501 + 0.0*i,
    -0.215813344627059 + 0.0*i,
    0.799621410391859 + 0.0*i,
    0.380088082449534 + 0.0*i,
    -0.834192899159811 + 0.0*i,
    0.444839929216426 + 0.0*i,
    0.422719346402308 + 0.0*i,
    0.331272702231312 + 0.0*i,
    0.128581824217164 + 0.0*i,
    -0.338428629680858 + 0.0*i,
    0.435786126203605 + 0.0*i,
    -0.992091300611298 + 0.0*i,
    0.819662727158217 + 0.0*i,
    -0.174605367983096 + 0.0*i,
    0.114859061698596 + 0.0*i,
    0.880994733301802 + 0.0*i,
    0.802998741661319 + 0.0*i,
    0.881923935753485 + 0.0*i,
    0.243671482005734 + 0.0*i,
    -0.618034421881359 + 0.0*i,
    -0.55151515646129 + 0.0*i,
    0.0614879407725512 + 0.0*i,
    0.121065073797482 + 0.0*i,
    0.599888275384981 + 0.0*i,
    -0.344895670373188 + 0.0*i,
    0.210809364065713 + 0.0*i,
    -0.654215433880976 + 0.0*i,
    -0.82159450939089 + 0.0*i,
    0.206338314482117 + 0.0*i,
    -0.578483782178064 + 0.0*i,
    0.413083160120295 + 0.0*i,
    0.855111259150462 + 0.0*i,
    -0.200450486578377 + 0.0*i,
    0.619878907299779 + 0.0*i,
    0.0130824238409013 + 0.0*i,
    -0.186399812125874 + 0.0*i,
    -0.485372393208099 + 0.0*i,
    -0.61309427428645 + 0.0*i,
    0.611459127923793 + 0.0*i,
    -0.149041976019693 + 0.0*i,
    -0.842393311262814 + 0.0*i,
    -0.0828555784371566 + 0.0*i,
    -0.329867675896908 + 0.0*i,
    0.298882646857717 + 0.0*i,
    -0.680749928730471 + 0.0*i,
    -0.307523245131831 + 0.0*i,
    0.384416095118379 + 0.0*i,
    -0.425110399777493 + 0.0*i,
    0.238540638284949 + 0.0*i,
    -0.143031848572711 + 0.0*i,
    -0.0907960200371878 + 0.0*i,
    -0.216259587677466 + 0.0*i,
    0.916004231028169 + 0.0*i,
    0.217106529953479 + 0.0*i,
    0.380374585246827 + 0.0*i,
    0.248988393141642 + 0.0*i,
    -0.156862965116236 + 0.0*i,
    0.35218120455038 + 0.0*i,
    -0.599834579084451 + 0.0*i,
    -0.378854045464593 + 0.0*i,
    0.344316554517619 + 0.0*i,
    0.128938521412006 + 0.0*i,
    -0.449366288094365 + 0.0*i,
    -0.420366371994141 + 0.0*i,
    -0.488750913955421 + 0.0*i,
    -0.495374372836473 + 0.0*i,
    0.381647948407735 + 0.0*i,
    -0.651288789459926 + 0.0*i,
    0.00288334843310244 + 0.0*i,
    -0.347905309994198 + 0.0*i,
    0.185389777212365 + 0.0*i,
    -1.22458594112821 + 0.0*i,
    0.4130836109596 + 0.0*i,
    -0.78906504363875 + 0.0*i,
    -0.877139872177382 + 0.0*i,
    -0.523338785521298 + 0.0*i,
    -0.242499973367217 + 0.0*i,
    -0.071505755384808 + 0.0*i,
    0.0414286708341022 + 0.0*i,
    0.314786582526303 + 0.0*i,
    -0.448344394667971 + 0.0*i,
    -0.824844316466071 + 0.0*i,
    0.236964697383017 + 0.0*i,
    -0.459628135475629 + 0.0*i,
    0.446790270220422 + 0.0*i,
    -1.05136262663028 + 0.0*i,
    -0.117204336170162 + 0.0*i,
    0.0054507682502356 + 0.0*i,
    -0.363079929990443 + 0.0*i,
    0.436417394124018 + 0.0*i,
    -0.0122552764369782 + 0.0*i,
    0.315085512814578 + 0.0*i,
    0.266805831343246 + 0.0*i,
    -0.358678856467299 + 0.0*i,
    0.534388583252238 + 0.0*i,
    -0.121038852847763 + 0.0*i,
    -0.0688306684405988 + 0.0*i,
    -0.442725387455865 + 0.0*i,
    0.0296615918919502 + 0.0*i,
    -0.100297291643298 + 0.0*i,
    -0.202327565681949 + 0.0*i,
    0.812364459396399 + 0.0*i,
    0.00583271198520107 + 0.0*i,
    -0.376741298542102 + 0.0*i,
    0.475215776730465 + 0.0*i,
    0.00422159278223578 + 0.0*i,
    0.138750863626672 + 0.0*i,
    0.0546137901560411 + 0.0*i,
    -0.501436033878122 + 0.0*i,
    0.490758725003734 + 0.0*i,
    0.550078446162601 + 0.0*i,
    0.0786058382908006 + 0.0*i,
    0.43520604462618 + 0.0*i,
    -0.415080960039235 + 0.0*i,
    0.671889027648127 + 0.0*i,
    -0.02611661423318 + 0.0*i,
    -0.360668106886404 + 0.0*i,
    1.02281131106888 + 0.0*i,
    -0.501036347888332 + 0.0*i,
    0.303291117574798 + 0.0*i,
    0.211809497317696 + 0.0*i,
    -0.941062216101975 + 0.0*i,
    0.0398601631924746 + 0.0*i,
    0.421327041877139 + 0.0*i,
    0.430584249659751 + 0.0*i,
    0.333854572783609 + 0.0*i,
    -0.00972308212255668 + 0.0*i,
    0.382721125988375 + 0.0*i,
    0.306476543169848 + 0.0*i,
    0.606343922863816 + 0.0*i,
    -0.205948204318257 + 0.0*i,
    0.777792669842542 + 0.0*i,
    -0.0177370505889438 + 0.0*i,
    -0.106879706691084 + 0.0*i,
    0.0331276629359665 + 0.0*i,
    -0.107672773904427 + 0.0*i,
    -0.679391063038836 + 0.0*i,
    -1.61614309691076 + 0.0*i,
    0.489254362337771 + 0.0*i,
    -0.932507723002373 + 0.0*i,
    0.204189959740864 + 0.0*i,
    0.187165269138462 + 0.0*i,
    0.896767955046617 + 0.0*i,
    -0.134315027155942 + 0.0*i,
    0.209056401137564 + 0.0*i,
    0.129647050068445 + 0.0*i,
    0.561643337915397 + 0.0*i,
    0.277861844587095 + 0.0*i,
    -0.00590709262412007 + 0.0*i,
    -0.0675175089007265 + 0.0*i,
    0.217135707516296 + 0.0*i,
    -0.864362268228799 + 0.0*i,
    0.588963694504925 + 0.0*i,
    -0.227494066767213 + 0.0*i,
    0.375212715999473 + 0.0*i,
    0.0331310414745613 + 0.0*i,
    0.0846006828700191 + 0.0*i,
    -0.401361405308405 + 0.0*i,
    0.736420715367447 + 0.0*i,
    -0.6437361112264 + 0.0*i,
    0.577557909343645 + 0.0*i,
    -0.766939454919012 + 0.0*i,
    0.0249200565590155 + 0.0*i,
    -0.527292698684582 + 0.0*i,
    0.510422385924141 + 0.0*i,
    -0.288307422535887 + 0.0*i,
    0.779647444797713 + 0.0*i,
    0.199156227887851 + 0.0*i,
    0.120245787063572 + 0.0*i,
    0.437809923497736 + 0.0*i,
    0.31528573885402 + 0.0*i,
    -0.731488230892076 + 0.0*i,
    -0.0430197020419678 + 0.0*i,
    -0.920752768395165 + 0.0*i,
    -0.550107484263727 + 0.0*i,
    -0.620438974672545 + 0.0*i,
    0.203534282760879 + 0.0*i,
    -0.900371335265304 + 0.0*i,
    0.243779486814215 + 0.0*i,
    0.25028443354372 + 0.0*i,
    -0.233546260389887 + 0.0*i,
    -0.253586464234858 + 0.0*i,
    0.971274696180847 + 0.0*i,
    0.186302743100505 + 0.0*i,
    0.0469508265018102 + 0.0*i,
    -0.174709227822661 + 0.0*i,
    0.747426820765665 + 0.0*i,
    -0.897355889695153 + 0.0*i,
    0.326137258114959 + 0.0*i,
    -0.81396132889488 + 0.0*i,
    0.770231895456472 + 0.0*i,
    0.0110495842719555 + 0.0*i,
    0.0941034956221161 + 0.0*i,
    0.577414532915531 + 0.0*i,
    0.110398901927138 + 0.0*i,
    0.210277753489432 + 0.0*i,
    -0.255429100137807 + 0.0*i,
    -0.212971896061489 + 0.0*i,
    -0.399932596638035 + 0.0*i,
    -0.738660861764091 + 0.0*i,
    0.768623285284827 + 0.0*i,
    -0.64386543512786 + 0.0*i,
    -0.235249739031827 + 0.0*i,
    -0.319509356632694 + 0.0*i,
    0.762725431171248 + 0.0*i,
    -0.733784346979617 + 0.0*i,
    -0.171180704720049 + 0.0*i,
    0.714558530377176 + 0.0*i,
    -0.0929485063455516 + 0.0*i,
    0.358685943682559 + 0.0*i,
    0.658349027644513 + 0.0*i,
    -0.398255688229478 + 0.0*i,
    0.0366810096437309 + 0.0*i,
    0.398345512038459 + 0.0*i,
    -0.658336450485616 + 0.0*i,
    -0.279210034277609 + 0.0*i,
    0.66722318124866 + 0.0*i,
    0.589903841082454 + 0.0*i,
    -0.173467946579352 + 0.0*i,
    0.400122148676514 + 0.0*i,
    0.546514439771161 + 0.0*i,
    -0.880335036823588 + 0.0*i,
    0.0671174420217635 + 0.0*i,
    -0.320074964992583 + 0.0*i,
    0.311812817827985 + 0.0*i,
    0.0393656262197717 + 0.0*i,
    0.25327048119321 + 0.0*i,
    -0.032340322737993 + 0.0*i,
    0.330980502637671 + 0.0*i,
    0.732303411741002 + 0.0*i,
    -0.720832226287747 + 0.0*i,
    0.0275376322200727 + 0.0*i,
    -0.58282892464316 + 0.0*i,
    -0.114715588022857 + 0.0*i,
    0.180607837173799 + 0.0*i,
    -0.39066905445839 + 0.0*i,
    0.788166135556282 + 0.0*i,
    0.364849900087675 + 0.0*i,
    0.537917469669021 + 0.0*i,
    0.879176432358407 + 0.0*i,
    -0.465269569688785 + 0.0*i,
    0.222247452530497 + 0.0*i,
    0.393985903488927 + 0.0*i,
    0.0856968284454235 + 0.0*i,
    1.05666752829732 + 0.0*i,
    -0.260775691804319 + 0.0*i,
    0.612946975361407 + 0.0*i,
    -0.119591111701637 + 0.0*i,
    -0.248409804163683 + 0.0*i,
    -0.492323230356262 + 0.0*i,
    -0.320726322063149 + 0.0*i,
    0.944022271851082 + 0.0*i,
    0.775922473409914 + 0.0*i,
    0.289891554675602 + 0.0*i,
    -0.314480337874731 + 0.0*i,
    -0.412193800281073 + 0.0*i,
    0.0155873272694786 + 0.0*i,
    -0.432012743659166 + 0.0*i,
    0.255939123520527 + 0.0*i,
    0.589892490810045 + 0.0*i,
    1.20426955755875 + 0.0*i,
    0.113864828289844 + 0.0*i,
    -0.0690966962451615 + 0.0*i,
    -0.075348235268964 + 0.0*i,
    -0.201773317930364 + 0.0*i,
    0.227222134968004 + 0.0*i,
    0.475357139993741 + 0.0*i,
    -0.357552211949166 + 0.0*i,
    0.139682273519156 + 0.0*i,
    0.0754158143644667 + 0.0*i,
    0.0827662207933481 + 0.0*i,
    0.605615275734873 + 0.0*i,
    0.273553322778497 + 0.0*i,
    -0.846479263047939 + 0.0*i,
    -0.440243272774729 + 0.0*i,
    0.634971232872744 + 0.0*i,
    -0.362837586319186 + 0.0*i,
    0.383325901756927 + 0.0*i,
    0.234027818916575 + 0.0*i,
    -0.179268005595396 + 0.0*i,
    -0.143682858483165 + 0.0*i,
    0.299698703670271 + 0.0*i,
    0.535653513431174 + 0.0*i,
    1.25458510876039 + 0.0*i,
    0.0105383448957289 + 0.0*i,
    0.347577303761691 + 0.0*i,
    -0.209506265050597 + 0.0*i,
    1.57807078381186 + 0.0*i,
    0.259243462398145 + 0.0*i,
    0.660522381538231 + 0.0*i,
    0.359713203358283 + 0.0*i,
    0.190074343514972 + 0.0*i,
    0.369603718535614 + 0.0*i,
    -0.092395948217173 + 0.0*i,
    0.0595530192918081 + 0.0*i,
    0.0866604036681553 + 0.0*i,
    0.488990463880565 + 0.0*i,
    0.772116089782181 + 0.0*i,
    0.613635479382836 + 0.0*i,
    1.08624887991288 + 0.0*i,
    0.232569180825841 + 0.0*i,
    -0.451541275808594 + 0.0*i,
    0.738647267860317 + 0.0*i,
    -0.560608591619781 + 0.0*i,
    -0.210045522986677 + 0.0*i,
    -0.386659658665542 + 0.0*i,
    -0.149073965472353 + 0.0*i,
    0.188392762582228 + 0.0*i,
    0.42956707185604 + 0.0*i,
    0.169143147230606 + 0.0*i,
    0.627700073027384 + 0.0*i,
    -0.982292397381504 + 0.0*i,
    0.906980544300651 + 0.0*i,
    -0.183875250776696 + 0.0*i,
    -0.0278873562163403 + 0.0*i,
    -0.64929436740294 + 0.0*i,
    0.764646553822518 + 0.0*i,
    0.298741398485675 + 0.0*i,
    -0.230554346397674 + 0.0*i,
    -0.492033084504126 + 0.0*i,
    -0.70151458550981 + 0.0*i,
    -0.808125656105848 + 0.0*i,
    0.362036871451133 + 0.0*i,
    -0.10405855253087 + 0.0*i,
    0.353377711980935 + 0.0*i,
    -0.247930579667364 + 0.0*i,
    -0.550197634502158 + 0.0*i,
    -0.460108116780654 + 0.0*i,
    0.248622249591577 + 0.0*i,
    -0.242032537056901 + 0.0*i,
    1.02793968302235 + 0.0*i,
    -0.294985111501495 + 0.0*i,
    -0.213302724527793 + 0.0*i,
    -0.852030953644375 + 0.0*i,
    0.601125980043292 + 0.0*i,
    0.123454360628909 + 0.0*i,
    -0.717951173929327 + 0.0*i,
    0.639065070184391 + 0.0*i,
    -0.168856099995466 + 0.0*i,
    -0.285870645642728 + 0.0*i,
    -0.647021931966318 + 0.0*i,
    -0.317449944006287 + 0.0*i,
    0.148895806073022 + 0.0*i,
    -0.177043129208676 + 0.0*i,
    0.593453294747998 + 0.0*i,
    -0.281017063773408 + 0.0*i,
    -0.255769803389564 + 0.0*i,
    0.298794538065872 + 0.0*i,
    -0.16162811274215 + 0.0*i,
    -0.641702642436472 + 0.0*i,
    0.186665664100595 + 0.0*i,
    -0.380742090291695 + 0.0*i,
    -0.793937312574814 + 0.0*i,
    0.0235005259043164 + 0.0*i,
    0.39013955478403 + 0.0*i,
    -0.45836631894472 + 0.0*i,
    0.0284496955947799 + 0.0*i,
    -1.31262070803351 + 0.0*i,
    0.0473271441907643 + 0.0*i,
    0.366647650119634 + 0.0*i,
    0.482464811075664 + 0.0*i,
    0.00826577224668263 + 0.0*i,
    1.15615010846196 + 0.0*i,
    -0.0618498302940838 + 0.0*i,
    -0.964675707047051 + 0.0*i,
    0.364670991003776 + 0.0*i,
    -0.0722997562020273 + 0.0*i,
    -0.501497596054975 + 0.0*i,
    -0.0453744126482252 + 0.0*i,
    -0.298498572254552 + 0.0*i,
    0.287836410382571 + 0.0*i,
    0.451131336994579 + 0.0*i,
    0.536232690345298 + 0.0*i,
    0.448634651622067 + 0.0*i,
    0.183539930260417 + 0.0*i,
    -0.487799334413797 + 0.0*i,
    -0.71228545233588 + 0.0*i,
    0.103104289421325 + 0.0*i,
    -0.64954876651625 + 0.0*i,
    0.187180167973581 + 0.0*i,
    -0.171843998682996 + 0.0*i,
    -0.24358949416359 + 0.0*i,
    -0.0709420656803033 + 0.0*i,
    0.0746280117055521 + 0.0*i,
    0.459062790337832 + 0.0*i,
    -0.729247403996543 + 0.0*i,
    -0.716195219421793 + 0.0*i,
    1.09288050401792 + 0.0*i,
    -0.316773534407513 + 0.0*i,
    -0.815115290604014 + 0.0*i,
    0.3267353028303 + 0.0*i,
    -0.187101871681733 + 0.0*i,
    -0.0456744510968396 + 0.0*i,
    0.129801214952076 + 0.0*i,
    -0.0699952857395539 + 0.0*i,
    0.807468694600904 + 0.0*i,
    -0.275575202007339 + 0.0*i,
    -0.161046089407355 + 0.0*i,
    -0.577215966425788 + 0.0*i,
    0.517720227738149 + 0.0*i,
    -0.504250032085235 + 0.0*i,
    0.464434913501447 + 0.0*i,
    -0.177275224385018 + 0.0*i,
    -0.162578337614987 + 0.0*i,
    -0.581406083620834 + 0.0*i,
    -0.440448681583274 + 0.0*i,
    -0.551078242167995 + 0.0*i,
    0.445593563341346 + 0.0*i,
    0.271005668492995 + 0.0*i,
    0.746663569677023 + 0.0*i,
    -0.377610931470686 + 0.0*i,
    -0.0273716613006847 + 0.0*i,
    0.861216406342948 + 0.0*i,
    0.0156326795626489 + 0.0*i,
    0.276174264068965 + 0.0*i,
    -0.373707032387016 + 0.0*i,
    0.467079181376839 + 0.0*i,
    1.24511062170103 + 0.0*i,
    0.244686612367793 + 0.0*i,
    0.482468242888385 + 0.0*i,
    -0.389651243030899 + 0.0*i,
    -0.0509843900686559 + 0.0*i
]);