V:=Matrix(CC,4,115,[
    -0.410361483046679 + 0.0*i,
    1.08911902227222 + 0.0*i,
    0.382172075521559 + 0.0*i,
    0.368244696000123 + 0.0*i,
    -0.28948273823793 + 0.0*i,
    0.0202485859192242 + 0.0*i,
    -0.0656235617474112 + 0.0*i,
    0.111293945090101 + 0.0*i,
    0.768888960603531 + 0.0*i,
    0.290966261962901 + 0.0*i,
    0.591245819951856 + 0.0*i,
    -0.059403331735507 + 0.0*i,
    0.222393132149828 + 0.0*i,
    0.419900722433484 + 0.0*i,
    -0.146181221959443 + 0.0*i,
    -0.0497352985396362 + 0.0*i,
    0.211655821598094 + 0.0*i,
    0.177036146867873 + 0.0*i,
    -0.379255277934317 + 0.0*i,
    0.078378481813855 + 0.0*i,
    1.10189446697732 + 0.0*i,
    1.09721122316113e-06 + 0.0*i,
    -0.505747857485628 + 0.0*i,
    -0.796095047725996 + 0.0*i,
    0.705159955699424 + 0.0*i,
    0.398380503389076 + 0.0*i,
    -1.1911164185835 + 0.0*i,
    0.133244028591172 + 0.0*i,
    0.251937206478046 + 0.0*i,
    0.390534247166027 + 0.0*i,
    -0.393339253684255 + 0.0*i,
    -0.523192466098581 + 0.0*i,
    -0.373790683722035 + 0.0*i,
    -0.506646815970041 + 0.0*i,
    -0.183601087167876 + 0.0*i,
    -0.533997569730153 + 0.0*i,
    0.825719911431493 + 0.0*i,
    0.177125185036974 + 0.0*i,
    0.364539424602901 + 0.0*i,
    -0.0638663477924221 + 0.0*i,
    -0.503976055189789 + 0.0*i,
    0.717010583685979 + 0.0*i,
    -0.0659295604930562 + 0.0*i,
    -0.799458806760876 + 0.0*i,
    -0.282481293311478 + 0.0*i,
    -0.943233466221862 + 0.0*i,
    0.864247483588271 + 0.0*i,
    -0.237738997502892 + 0.0*i,
    -0.509189925174816 + 0.0*i,
    -0.343456418577757 + 0.0*i,
    0.0240045277083844 + 0.0*i,
    -0.428280658280959 + 0.0*i,
    0.38878930153817 + 0.0*i,
    0.647119606830966 + 0.0*i,
    0.308794906914517 + 0.0*i,
    0.449195762592674 + 0.0*i,
    0.45362832074234 + 0.0*i,
    -0.0810301233658164 + 0.0*i,
    -0.256158420456047 + 0.0*i,
    -0.00480578067231746 + 0.0*i,
    -0.371092850955566 + 0.0*i,
    1.26895304203206 + 0.0*i,
    0.443277325983053 + 0.0*i,
    -0.036478385794631 + 0.0*i,
    -0.631801890840139 + 0.0*i,
    -0.296428477325396 + 0.0*i,
    0.508001109785555 + 0.0*i,
    -0.612604871425395 + 0.0*i,
    -0.284518028740319 + 0.0*i,
    -0.564963801680134 + 0.0*i,
    0.439590557874269 + 0.0*i,
    -0.03078371262236 + 0.0*i,
    0.128031659733868 + 0.0*i,
    -0.0930872469589304 + 0.0*i,
    0.558918642624574 + 0.0*i,
    -0.581224286245053 + 0.0*i,
    0.561990680692509 + 0.0*i,
    1.08561108651799 + 0.0*i,
    -1.10691737077962 + 0.0*i,
    -0.165659651461186 + 0.0*i,
    0.129961388112225 + 0.0*i,
    0.519403999719436 + 0.0*i,
    0.379346469864854 + 0.0*i,
    -0.388726253324402 + 0.0*i,
    -0.404706855866274 + 0.0*i,
    0.993685179051814 + 0.0*i,
    -0.581214316175258 + 0.0*i,
    -0.303266626851978 + 0.0*i,
    0.0698087756254696 + 0.0*i,
    0.0499255803052176 + 0.0*i,
    0.226532981770682 + 0.0*i,
    -0.363722757238298 + 0.0*i,
    -0.560909930263089 + 0.0*i,
    0.352336997667213 + 0.0*i,
    -0.127089756262494 + 0.0*i,
    0.0839392823822799 + 0.0*i,
    -0.798507435584751 + 0.0*i,
    0.183181224503998 + 0.0*i,
    -0.506186268582714 + 0.0*i,
    0.253362535275807 + 0.0*i,
    -0.172009577568773 + 0.0*i,
    0.387414067438947 + 0.0*i,
    0.211477492847263 + 0.0*i,
    -0.12649860641149 + 0.0*i,
    -0.813603697006806 + 0.0*i,
    0.968002238900445 + 0.0*i,
    -0.156375470766235 + 0.0*i,
    -0.54166600444207 + 0.0*i,
    -0.081919085250106 + 0.0*i,
    0.0616683305073253 + 0.0*i,
    -0.191466945628322 + 0.0*i,
    0.300478391349258 + 0.0*i,
    -0.702457068642591 + 0.0*i,
    -0.656048868740851 + 0.0*i,
    0.40362233017427 + 0.0*i,
    0.36137466066334 + 0.0*i,
    0.570686788146983 + 0.0*i,
    0.18224901891474 + 0.0*i,
    -0.369039352655912 + 0.0*i,
    0.0313220952379923 + 0.0*i,
    -0.778017624380875 + 0.0*i,
    -0.148696977921065 + 0.0*i,
    -0.425055564028779 + 0.0*i,
    -0.135906111192564 + 0.0*i,
    0.566705653518049 + 0.0*i,
    -0.263099714226059 + 0.0*i,
    0.720993456670515 + 0.0*i,
    -0.132088895468175 + 0.0*i,
    1.00859819199681 + 0.0*i,
    0.427282398640961 + 0.0*i,
    0.443255005756202 + 0.0*i,
    -0.000307544360520758 + 0.0*i,
    -0.399062110991447 + 0.0*i,
    -0.744910504728333 + 0.0*i,
    0.232359543504369 + 0.0*i,
    -0.513336148066207 + 0.0*i,
    0.530812154561195 + 0.0*i,
    -0.811787453118222 + 0.0*i,
    0.319309758652077 + 0.0*i,
    0.245913882257551 + 0.0*i,
    0.242612018519815 + 0.0*i,
    -0.884792390890858 + 0.0*i,
    1.1385938220054 + 0.0*i,
    -0.307798399224562 + 0.0*i,
    -0.442260025763587 + 0.0*i,
    0.653825520213109 + 0.0*i,
    0.141788352022122 + 0.0*i,
    0.823482007258982 + 0.0*i,
    -0.837597775135583 + 0.0*i,
    -0.163955910706916 + 0.0*i,
    0.821691619346155 + 0.0*i,
    0.0699112453303901 + 0.0*i,
    0.453704940541867 + 0.0*i,
    0.0665706744875238 + 0.0*i,
    0.928675784531799 + 0.0*i,
    -0.256165405029849 + 0.0*i,
    -0.288431359920946 + 0.0*i,
    0.541929373564065 + 0.0*i,
    -0.633294650821887 + 0.0*i,
    -0.365637652023053 + 0.0*i,
    1.00529024097837 + 0.0*i,
    -0.0344493822259914 + 0.0*i,
    -0.527295178661909 + 0.0*i,
    -0.234804979434759 + 0.0*i,
    -0.0294938293825218 + 0.0*i,
    0.134694814527169 + 0.0*i,
    -0.594501325099733 + 0.0*i,
    -0.162155081799234 + 0.0*i,
    0.398972908931469 + 0.0*i,
    -0.0359627058452746 + 0.0*i,
    -0.0820725462221096 + 0.0*i,
    0.143389378456342 + 0.0*i,
    -0.178917100132348 + 0.0*i,
    -0.0857192681142313 + 0.0*i,
    -0.228772715415224 + 0.0*i,
    -0.858278939710803 + 0.0*i,
    -0.572389615478468 + 0.0*i,
    -0.393596419538735 + 0.0*i,
    -0.564339499349632 + 0.0*i,
    0.0801763300050508 + 0.0*i,
    0.00996471035106208 + 0.0*i,
    0.179516431483417 + 0.0*i,
    0.037641231801041 + 0.0*i,
    -0.542067638637587 + 0.0*i,
    0.303981658815427 + 0.0*i,
    -0.929485379660151 + 0.0*i,
    0.330052631249275 + 0.0*i,
    0.0906059355673206 + 0.0*i,
    -0.402837672482733 + 0.0*i,
    -0.682501709259247 + 0.0*i,
    0.51225902143496 + 0.0*i,
    -0.685680678302466 + 0.0*i,
    0.292469899559612 + 0.0*i,
    0.0436604119662652 + 0.0*i,
    0.432408068980394 + 0.0*i,
    -0.483677321677292 + 0.0*i,
    0.0691659137146751 + 0.0*i,
    0.381342802494415 + 0.0*i,
    -0.157099651869283 + 0.0*i,
    -0.60830360430423 + 0.0*i,
    -0.236450395793836 + 0.0*i,
    0.100017361115842 + 0.0*i,
    -0.522693341850637 + 0.0*i,
    -0.862557864883689 + 0.0*i,
    -0.222509628836345 + 0.0*i,
    0.0864664293140573 + 0.0*i,
    0.469379156518343 + 0.0*i,
    0.121088451209832 + 0.0*i,
    0.0184025152984753 + 0.0*i,
    0.109985022382319 + 0.0*i,
    0.604570271030369 + 0.0*i,
    -0.0574625313986774 + 0.0*i,
    0.238262669067463 + 0.0*i,
    -1.00354898377035 + 0.0*i,
    -0.539070843849098 + 0.0*i,
    -0.33736157974135 + 0.0*i,
    -0.57058003293711 + 0.0*i,
    -0.315098094506255 + 0.0*i,
    -1.20550998170655 + 0.0*i,
    -0.629766956107578 + 0.0*i,
    -0.506555284748556 + 0.0*i,
    -0.243026540005763 + 0.0*i,
    0.448986294993284 + 0.0*i,
    1.08473262872804 + 0.0*i,
    0.296688056253708 + 0.0*i,
    -0.360097911413753 + 0.0*i,
    0.651575725386295 + 0.0*i,
    -0.121595341601802 + 0.0*i,
    1.14636621101482 + 0.0*i,
    0.159039894940288 + 0.0*i,
    -0.272313268058213 + 0.0*i,
    0.358443140232703 + 0.0*i,
    -0.531278091570522 + 0.0*i,
    -0.0755877934860982 + 0.0*i,
    0.450023830308484 + 0.0*i,
    -0.862909300606611 + 0.0*i,
    0.333472055530992 + 0.0*i,
    0.00615406986057612 + 0.0*i,
    0.0219410759279078 + 0.0*i,
    0.50307827964173 + 0.0*i,
    0.331662789373289 + 0.0*i,
    0.728354380433475 + 0.0*i,
    -0.512453108864841 + 0.0*i,
    -0.0998109621877406 + 0.0*i,
    -0.489567267791955 + 0.0*i,
    0.179752693216152 + 0.0*i,
    -0.652771844885719 + 0.0*i,
    0.359250224540617 + 0.0*i,
    -0.197426664456053 + 0.0*i,
    0.147962122773795 + 0.0*i,
    -0.806408018210747 + 0.0*i,
    0.330898866544891 + 0.0*i,
    -0.561439943132761 + 0.0*i,
    0.191722477941341 + 0.0*i,
    0.331427055408109 + 0.0*i,
    0.634565047966385 + 0.0*i,
    0.0479957699286192 + 0.0*i,
    -0.27510842221792 + 0.0*i,
    -0.0383600427647447 + 0.0*i,
    0.170256744171851 + 0.0*i,
    -0.232438146344075 + 0.0*i,
    0.224983536930243 + 0.0*i,
    0.052354768266974 + 0.0*i,
    1.37831673012864 + 0.0*i,
    -0.209205805233031 + 0.0*i,
    0.510026501565336 + 0.0*i,
    0.101132689865492 + 0.0*i,
    -0.589475642790044 + 0.0*i,
    -0.922425758715239 + 0.0*i,
    0.389334052838773 + 0.0*i,
    0.101344666120254 + 0.0*i,
    0.109681424866405 + 0.0*i,
    0.475774116655008 + 0.0*i,
    0.306618555810345 + 0.0*i,
    0.224938213211909 + 0.0*i,
    -1.00399123119753 + 0.0*i,
    0.844572520603415 + 0.0*i,
    -0.165876523993107 + 0.0*i,
    -0.310249845780254 + 0.0*i,
    -0.384767147894758 + 0.0*i,
    -0.190072127038901 + 0.0*i,
    0.243334187191533 + 0.0*i,
    -0.723000173319995 + 0.0*i,
    0.0660317090823569 + 0.0*i,
    -0.322799852236689 + 0.0*i,
    -0.110023519626523 + 0.0*i,
    0.190543694174981 + 0.0*i,
    -1.0337425387868 + 0.0*i,
    0.159131707296501 + 0.0*i,
    0.918965302997151 + 0.0*i,
    0.117689960000548 + 0.0*i,
    0.280289847796517 + 0.0*i,
    0.344894225895264 + 0.0*i,
    -0.333762339302701 + 0.0*i,
    -0.538223764043879 + 0.0*i,
    0.414490783307108 + 0.0*i,
    -0.679042044717669 + 0.0*i,
    -0.604346917433658 + 0.0*i,
    -0.414664262513041 + 0.0*i,
    0.397069990896733 + 0.0*i,
    0.190910125443023 + 0.0*i,
    0.321972925009754 + 0.0*i,
    0.673709830827697 + 0.0*i,
    0.411732411523668 + 0.0*i,
    -0.374493344693961 + 0.0*i,
    0.239844472180006 + 0.0*i,
    -0.410290741546775 + 0.0*i,
    0.114171162377217 + 0.0*i,
    0.402588564401947 + 0.0*i,
    -0.481555369439114 + 0.0*i,
    -0.197964366690055 + 0.0*i,
    0.579885966017505 + 0.0*i,
    0.0933116331480787 + 0.0*i,
    1.14814096406256 + 0.0*i,
    -0.76958218589285 + 0.0*i,
    -0.24144335358204 + 0.0*i,
    0.143843808386917 + 0.0*i,
    0.0443470110415364 + 0.0*i,
    -0.827696396633684 + 0.0*i,
    0.88904092095754 + 0.0*i,
    -0.0648775720382031 + 0.0*i,
    -0.20719640207271 + 0.0*i,
    0.363503770249064 + 0.0*i,
    -0.216585113070605 + 0.0*i,
    0.0351632038432739 + 0.0*i,
    0.0793070724433836 + 0.0*i,
    -0.581516570276543 + 0.0*i,
    0.398946251961431 + 0.0*i,
    0.181661606256202 + 0.0*i,
    -0.452147336774285 + 0.0*i,
    -0.257449494348473 + 0.0*i,
    -0.671884240543856 + 0.0*i,
    -0.715103667408943 + 0.0*i,
    -0.183007897498478 + 0.0*i,
    0.723782689145437 + 0.0*i,
    0.27493016948585 + 0.0*i,
    -0.594145090179707 + 0.0*i,
    -0.21772713088306 + 0.0*i,
    0.279520223458194 + 0.0*i,
    -0.622693878666157 + 0.0*i,
    -1.20341510157416 + 0.0*i,
    -0.307769086197324 + 0.0*i,
    0.225062158176666 + 0.0*i,
    0.138977141552821 + 0.0*i,
    1.23441073317135 + 0.0*i,
    0.69760482221009 + 0.0*i,
    0.11822325330566 + 0.0*i,
    -0.477794715926916 + 0.0*i,
    0.813996903720585 + 0.0*i,
    -0.113783757171068 + 0.0*i,
    0.914421763632167 + 0.0*i,
    1.30919643472128 + 0.0*i,
    0.812602164242408 + 0.0*i,
    0.267016296235156 + 0.0*i,
    -0.180999183109256 + 0.0*i,
    -0.950450465998719 + 0.0*i,
    0.18533935400335 + 0.0*i,
    0.0562991873241584 + 0.0*i,
    0.209908062111992 + 0.0*i,
    -0.161692616424529 + 0.0*i,
    0.420981694329953 + 0.0*i,
    -0.292888497117742 + 0.0*i,
    0.595570772844391 + 0.0*i,
    -0.818352729556256 + 0.0*i,
    0.156625837086786 + 0.0*i,
    -0.10282552963834 + 0.0*i,
    -0.749798235678853 + 0.0*i,
    -0.297834894932603 + 0.0*i,
    -0.423524705131955 + 0.0*i,
    0.491790145268334 + 0.0*i,
    -0.356224946053226 + 0.0*i,
    -0.422415384496218 + 0.0*i,
    -0.178592374755607 + 0.0*i,
    0.357682346341516 + 0.0*i,
    -0.382641944959943 + 0.0*i,
    -0.302876601475331 + 0.0*i,
    0.364217996415941 + 0.0*i,
    -0.347405694049444 + 0.0*i,
    -0.19353642604779 + 0.0*i,
    -0.345567160485825 + 0.0*i,
    -0.0238158277340776 + 0.0*i,
    0.466854552958958 + 0.0*i,
    -0.58456336549711 + 0.0*i,
    -0.877954034081869 + 0.0*i,
    0.529477436092921 + 0.0*i,
    -0.421307297755662 + 0.0*i,
    0.394436832641752 + 0.0*i,
    0.727209234801661 + 0.0*i,
    0.612218224869568 + 0.0*i,
    -0.412821071010202 + 0.0*i,
    -0.378887626468271 + 0.0*i,
    0.917771049917947 + 0.0*i,
    -0.502402714557615 + 0.0*i,
    -0.645004250962779 + 0.0*i,
    -0.363691063168183 + 0.0*i,
    -0.473353346585335 + 0.0*i,
    -0.675995615606584 + 0.0*i,
    -0.39070235737256 + 0.0*i,
    0.42327054898821 + 0.0*i,
    -0.0454240839233833 + 0.0*i,
    0.24124554899101 + 0.0*i,
    0.0434233584361845 + 0.0*i,
    -0.432240155037529 + 0.0*i,
    0.427935486206587 + 0.0*i,
    -0.494262562071996 + 0.0*i,
    0.117310921172439 + 0.0*i,
    0.660503095522747 + 0.0*i,
    -0.282541739632626 + 0.0*i,
    -0.76999505496407 + 0.0*i,
    -0.00322843263970666 + 0.0*i,
    -0.319292334775332 + 0.0*i,
    0.32330885225846 + 0.0*i,
    0.60145356059599 + 0.0*i,
    0.601119998867583 + 0.0*i,
    -0.269812440255494 + 0.0*i,
    0.924254430893996 + 0.0*i,
    -0.45649868938175 + 0.0*i,
    -0.0305045424550023 + 0.0*i,
    -0.172210801545198 + 0.0*i,
    -0.261596312885099 + 0.0*i,
    0.51481846199565 + 0.0*i,
    0.0786546774230989 + 0.0*i,
    -0.293471298995075 + 0.0*i,
    0.196980498505294 + 0.0*i,
    -0.0961907477449045 + 0.0*i,
    -0.331342498965523 + 0.0*i,
    -0.202649656899437 + 0.0*i,
    -0.703588718485507 + 0.0*i,
    -0.387907754310233 + 0.0*i,
    -0.305002044777763 + 0.0*i,
    -0.989110075698536 + 0.0*i,
    0.341924994405516 + 0.0*i,
    1.07437432709268 + 0.0*i,
    0.307350414160725 + 0.0*i,
    0.52382076187083 + 0.0*i,
    -0.0912531443402683 + 0.0*i,
    -0.452495128255446 + 0.0*i,
    -0.354078082053582 + 0.0*i,
    0.197502205140425 + 0.0*i,
    0.734069245560586 + 0.0*i,
    0.580261208255554 + 0.0*i,
    0.775272475345318 + 0.0*i,
    -0.305957255287552 + 0.0*i,
    -0.369870469961281 + 0.0*i,
    -0.0701419885009672 + 0.0*i,
    -1.19401739202272 + 0.0*i,
    -0.195759085288835 + 0.0*i,
    0.317573191900969 + 0.0*i,
    -0.0827489217219616 + 0.0*i,
    0.118374798306926 + 0.0*i,
    0.171707492166553 + 0.0*i,
    -0.48005108565882 + 0.0*i,
    0.866320713957617 + 0.0*i,
    0.0608785129963893 + 0.0*i,
    0.274158624973375 + 0.0*i,
    -0.278252664696158 + 0.0*i,
    0.298524999217816 + 0.0*i,
    -0.203731889034169 + 0.0*i,
    0.554607170388337 + 0.0*i,
    -0.64166424885669 + 0.0*i
]);