V:=Matrix(CC,4,133,[
    -0.294115668463122 + 0.0*i,
    -0.138078096720205 + 0.0*i,
    -0.0910818672261161 + 0.0*i,
    0.404212867739825 + 0.0*i,
    -0.247912634071993 + 0.0*i,
    0.399712247561497 + 0.0*i,
    0.119627399480918 + 0.0*i,
    0.410845499798574 + 0.0*i,
    -0.164223440587927 + 0.0*i,
    -0.38047185772261 + 0.0*i,
    0.265016117632672 + 0.0*i,
    -0.19478014177609 + 0.0*i,
    -0.112557780907606 + 0.0*i,
    0.281846888376608 + 0.0*i,
    0.112971073129365 + 0.0*i,
    -0.355988610616633 + 0.0*i,
    -0.365275720191553 + 0.0*i,
    0.2808972011613 + 0.0*i,
    -0.0819399265895339 + 0.0*i,
    0.187681530175883 + 0.0*i,
    0.042935060804232 + 0.0*i,
    -0.300674547992199 + 0.0*i,
    0.126671695406948 + 0.0*i,
    -0.166758150351158 + 0.0*i,
    0.321505563988425 + 0.0*i,
    -0.322499362274452 + 0.0*i,
    -0.217949657781479 + 0.0*i,
    0.450900247077351 + 0.0*i,
    -0.0369927402874671 + 0.0*i,
    -0.122447469777351 + 0.0*i,
    -0.148706859209726 + 0.0*i,
    0.150414443126348 + 0.0*i,
    0.381619894181771 + 0.0*i,
    0.005599325607025 + 0.0*i,
    0.176784670055096 + 0.0*i,
    -0.220504270628289 + 0.0*i,
    0.0205538654311562 + 0.0*i,
    -0.0584155471156494 + 0.0*i,
    -0.0650091382204243 + 0.0*i,
    -0.080388096086966 + 0.0*i,
    0.0182005045427557 + 0.0*i,
    0.442823511468221 + 0.0*i,
    -0.169320495211414 + 0.0*i,
    -0.331600794886651 + 0.0*i,
    -0.0132999937924489 + 0.0*i,
    -0.330149384133096 + 0.0*i,
    -0.277530070116399 + 0.0*i,
    0.411173435580565 + 0.0*i,
    -0.00526976303387951 + 0.0*i,
    -0.050203758814075 + 0.0*i,
    -0.237084788657817 + 0.0*i,
    0.379431233808854 + 0.0*i,
    -0.11819712365828 + 0.0*i,
    0.365779834399321 + 0.0*i,
    0.424624336629914 + 0.0*i,
    0.284592350378962 + 0.0*i,
    -0.0976602621137854 + 0.0*i,
    0.15484690110093 + 0.0*i,
    -0.204032105090034 + 0.0*i,
    0.216888932170521 + 0.0*i,
    -0.0712579391484782 + 0.0*i,
    -0.122260770634145 + 0.0*i,
    -0.258754600045111 + 0.0*i,
    0.18748334002215 + 0.0*i,
    0.309752298531647 + 0.0*i,
    -0.0754316285015859 + 0.0*i,
    0.0215582720030695 + 0.0*i,
    -0.100358849159573 + 0.0*i,
    0.154704967976434 + 0.0*i,
    -0.119808103928326 + 0.0*i,
    0.0112465374789249 + 0.0*i,
    -0.169721626363251 + 0.0*i,
    -0.260415866266607 + 0.0*i,
    0.429101614100349 + 0.0*i,
    -0.48529144610659 + 0.0*i,
    -0.180197046083959 + 0.0*i,
    0.268996100992918 + 0.0*i,
    -0.147672504020445 + 0.0*i,
    0.0627501617897829 + 0.0*i,
    0.121615106016857 + 0.0*i,
    0.204485621448987 + 0.0*i,
    0.303251044720024 + 0.0*i,
    0.12056187891767 + 0.0*i,
    -0.459973243235862 + 0.0*i,
    0.0559488653741681 + 0.0*i,
    -0.293721824926974 + 0.0*i,
    -0.150931112489041 + 0.0*i,
    0.285182615071704 + 0.0*i,
    -0.199756383494833 + 0.0*i,
    0.232757434742107 + 0.0*i,
    0.144502665698223 + 0.0*i,
    0.00585163223132683 + 0.0*i,
    -0.00462528239956906 + 0.0*i,
    -0.269287025062806 + 0.0*i,
    -0.0879665960047295 + 0.0*i,
    0.340271105259664 + 0.0*i,
    0.244594201769953 + 0.0*i,
    0.439108054727994 + 0.0*i,
    0.318928190966247 + 0.0*i,
    0.431860010645802 + 0.0*i,
    0.0701713166823625 + 0.0*i,
    -0.0356607989346101 + 0.0*i,
    0.154994748282961 + 0.0*i,
    -0.024103724074978 + 0.0*i,
    0.331591489424929 + 0.0*i,
    -0.0854284287734791 + 0.0*i,
    0.169476992916821 + 0.0*i,
    0.0420190457304506 + 0.0*i,
    0.241237745189358 + 0.0*i,
    0.365751038149629 + 0.0*i,
    -0.0569378049960466 + 0.0*i,
    -0.406223490301133 + 0.0*i,
    0.12637141240385 + 0.0*i,
    0.331137914190641 + 0.0*i,
    0.431165145464691 + 0.0*i,
    0.00553124345550439 + 0.0*i,
    -0.0128182788411146 + 0.0*i,
    -0.257676806674818 + 0.0*i,
    -0.291095085827149 + 0.0*i,
    0.0916840808114236 + 0.0*i,
    -0.252006782423245 + 0.0*i,
    -0.358303715408025 + 0.0*i,
    0.409037645485975 + 0.0*i,
    0.118110512874436 + 0.0*i,
    -0.0886319325880018 + 0.0*i,
    -0.305640296444238 + 0.0*i,
    -0.263167329339542 + 0.0*i,
    0.23254238826339 + 0.0*i,
    -0.238468791414497 + 0.0*i,
    0.33948878925624 + 0.0*i,
    0.092690215995508 + 0.0*i,
    -0.187183488179096 + 0.0*i,
    0.158385049150799 + 0.0*i,
    -0.287806403006059 + 0.0*i,
    -0.212183345883219 + 0.0*i,
    0.0325309232744076 + 0.0*i,
    -0.0724997973933484 + 0.0*i,
    0.234952289078395 + 0.0*i,
    0.0962042153939437 + 0.0*i,
    -0.250071925511104 + 0.0*i,
    0.198999011054095 + 0.0*i,
    0.183762578360328 + 0.0*i,
    0.259664861122179 + 0.0*i,
    0.289722239110897 + 0.0*i,
    -0.165476312277618 + 0.0*i,
    0.416539100245059 + 0.0*i,
    -0.218483337148163 + 0.0*i,
    -0.204718044159266 + 0.0*i,
    0.19284344245888 + 0.0*i,
    -0.0379663044179119 + 0.0*i,
    -0.0198021523577574 + 0.0*i,
    -0.152300255545676 + 0.0*i,
    -0.444042871135936 + 0.0*i,
    0.291097875319645 + 0.0*i,
    -0.045607805747899 + 0.0*i,
    0.376661147329872 + 0.0*i,
    0.292971420124119 + 0.0*i,
    0.0813100335720934 + 0.0*i,
    0.259750749633666 + 0.0*i,
    0.376644260436359 + 0.0*i,
    -0.0593055725018566 + 0.0*i,
    -0.373069879938543 + 0.0*i,
    0.0698495757469029 + 0.0*i,
    -0.193497071785837 + 0.0*i,
    0.393225909293636 + 0.0*i,
    -0.24470498570221 + 0.0*i,
    -0.397002787604651 + 0.0*i,
    -0.207529469924108 + 0.0*i,
    -0.109536204653661 + 0.0*i,
    0.323467840539991 + 0.0*i,
    0.375096200977944 + 0.0*i,
    0.387955719945079 + 0.0*i,
    0.4529758323348 + 0.0*i,
    -0.471181485089535 + 0.0*i,
    0.0299978359583731 + 0.0*i,
    -0.440634429623049 + 0.0*i,
    0.304527984317724 + 0.0*i,
    0.175142247091218 + 0.0*i,
    -0.0197656508250152 + 0.0*i,
    -0.154275851890793 + 0.0*i,
    0.192653058605618 + 0.0*i,
    0.216877943587289 + 0.0*i,
    -0.289317585387075 + 0.0*i,
    -0.0503284622042179 + 0.0*i,
    0.289502830650563 + 0.0*i,
    -0.156159321308779 + 0.0*i,
    -0.309994397439902 + 0.0*i,
    -0.0676809750809225 + 0.0*i,
    0.265151048990831 + 0.0*i,
    -0.00523257230996671 + 0.0*i,
    0.341071756373575 + 0.0*i,
    0.376123144891678 + 0.0*i,
    0.205266049637995 + 0.0*i,
    0.0405152439120971 + 0.0*i,
    -0.320161911324989 + 0.0*i,
    -0.28086505996721 + 0.0*i,
    0.425907906191445 + 0.0*i,
    -0.0369360003531613 + 0.0*i,
    -0.338474635726639 + 0.0*i,
    0.100149691456624 + 0.0*i,
    -0.0448596036216801 + 0.0*i,
    -0.267146445671106 + 0.0*i,
    0.259874230911784 + 0.0*i,
    0.23876808824426 + 0.0*i,
    -0.188596342710464 + 0.0*i,
    0.401076868205377 + 0.0*i,
    -0.110098242289737 + 0.0*i,
    -0.0690256767039489 + 0.0*i,
    0.215901566706418 + 0.0*i,
    0.235178362872829 + 0.0*i,
    0.0437071571747633 + 0.0*i,
    -0.42589267549489 + 0.0*i,
    -0.365300811745467 + 0.0*i,
    0.184309921071514 + 0.0*i,
    -0.140933872741795 + 0.0*i,
    0.000611907048947237 + 0.0*i,
    0.152446433200967 + 0.0*i,
    0.444180920735127 + 0.0*i,
    0.17145124232892 + 0.0*i,
    0.372693281894083 + 0.0*i,
    -0.145009664901237 + 0.0*i,
    0.111978010705269 + 0.0*i,
    -0.331029769988744 + 0.0*i,
    -0.0142101385580797 + 0.0*i,
    -0.13836473821287 + 0.0*i,
    0.173075309513197 + 0.0*i,
    0.0864561036489675 + 0.0*i,
    -0.327712530948338 + 0.0*i,
    0.329662206645516 + 0.0*i,
    -0.0516802187988869 + 0.0*i,
    -0.0723479534535776 + 0.0*i,
    -0.0185376737578232 + 0.0*i,
    -0.0581572320913075 + 0.0*i,
    0.13647070941313 + 0.0*i,
    0.114953163205462 + 0.0*i,
    0.294741192587392 + 0.0*i,
    -0.478004261809674 + 0.0*i,
    0.116475929761739 + 0.0*i,
    -0.130044447035514 + 0.0*i,
    -0.272059956661379 + 0.0*i,
    -0.223172709637742 + 0.0*i,
    -0.11374356298004 + 0.0*i,
    -0.161337370334154 + 0.0*i,
    -0.0712416026532607 + 0.0*i,
    -0.135407600493078 + 0.0*i,
    -0.0601860512999253 + 0.0*i,
    -0.23590363331919 + 0.0*i,
    0.144936719302483 + 0.0*i,
    0.320747320601103 + 0.0*i,
    -0.0683113631708094 + 0.0*i,
    -0.110502942483854 + 0.0*i,
    -0.339568927416166 + 0.0*i,
    0.41158845556923 + 0.0*i,
    -0.320750834557336 + 0.0*i,
    -0.156876985624397 + 0.0*i,
    0.134256823300597 + 0.0*i,
    -0.0156719274923417 + 0.0*i,
    0.226861624685409 + 0.0*i,
    0.0470638532433917 + 0.0*i,
    -0.0555574011413319 + 0.0*i,
    0.416490107987788 + 0.0*i,
    0.355423921668319 + 0.0*i,
    0.27086352677531 + 0.0*i,
    -0.0383917262699777 + 0.0*i,
    0.0682787035396587 + 0.0*i,
    0.159842709759098 + 0.0*i,
    0.101329495040637 + 0.0*i,
    0.0109692097692242 + 0.0*i,
    -0.400659294094164 + 0.0*i,
    -0.270221727964837 + 0.0*i,
    0.338494905073457 + 0.0*i,
    -0.231634520097246 + 0.0*i,
    -0.269862099894263 + 0.0*i,
    0.153072431964131 + 0.0*i,
    -0.425392296453959 + 0.0*i,
    0.0436777761797651 + 0.0*i,
    0.290321240801718 + 0.0*i,
    0.346483084378344 + 0.0*i,
    -0.12981023903217 + 0.0*i,
    -0.0547239204939008 + 0.0*i,
    -0.252141704569863 + 0.0*i,
    -0.0140845602394539 + 0.0*i,
    0.0606726157531474 + 0.0*i,
    -0.352519100721581 + 0.0*i,
    -0.220035278912459 + 0.0*i,
    0.0874302802694527 + 0.0*i,
    -0.367749732832747 + 0.0*i,
    -0.380013030104927 + 0.0*i,
    -0.200012377561296 + 0.0*i,
    -0.285956204303369 + 0.0*i,
    -0.183226550740813 + 0.0*i,
    0.238079453695328 + 0.0*i,
    -0.0893253904515796 + 0.0*i,
    -0.0894090689812513 + 0.0*i,
    -0.0219090618895894 + 0.0*i,
    -0.277212311873664 + 0.0*i,
    0.20819999533716 + 0.0*i,
    0.0224145377762033 + 0.0*i,
    -0.154125752952157 + 0.0*i,
    -0.213135980236749 + 0.0*i,
    -0.387810366501276 + 0.0*i,
    -0.313953448768621 + 0.0*i,
    -0.0902493347676084 + 0.0*i,
    -0.293893367718632 + 0.0*i,
    -0.241929207086984 + 0.0*i,
    0.118254838301769 + 0.0*i,
    -0.0726351109830025 + 0.0*i,
    0.194999641560186 + 0.0*i,
    -0.115620362988875 + 0.0*i,
    -0.141336993447126 + 0.0*i,
    -0.356424974960558 + 0.0*i,
    -0.16411864021249 + 0.0*i,
    0.377456718382272 + 0.0*i,
    -0.0747022425166632 + 0.0*i,
    -0.304957400642145 + 0.0*i,
    -0.145383642176698 + 0.0*i,
    -0.0542580363417197 + 0.0*i,
    -0.0434137493994134 + 0.0*i,
    -0.325109329055504 + 0.0*i,
    0.046927749536918 + 0.0*i,
    0.129737748647709 + 0.0*i,
    -0.0814264653651817 + 0.0*i,
    -0.438487851207443 + 0.0*i,
    -0.307929824913899 + 0.0*i,
    0.0303763466288163 + 0.0*i,
    -0.334943594738937 + 0.0*i,
    -0.231528792650887 + 0.0*i,
    -0.299058569658249 + 0.0*i,
    -0.164814484781463 + 0.0*i,
    -0.00310721091620726 + 0.0*i,
    -0.021086048867401 + 0.0*i,
    0.196638859617983 + 0.0*i,
    0.156259821370719 + 0.0*i,
    0.452412751458639 + 0.0*i,
    -0.0524678443384705 + 0.0*i,
    -0.124610272928398 + 0.0*i,
    -0.411152010955153 + 0.0*i,
    -0.402699800161903 + 0.0*i,
    0.098183674493751 + 0.0*i,
    -0.107415529621398 + 0.0*i,
    0.0259637312232024 + 0.0*i,
    -0.360919739890412 + 0.0*i,
    0.129790060877097 + 0.0*i,
    0.424757379222452 + 0.0*i,
    -0.0124383203781177 + 0.0*i,
    -0.232505490133338 + 0.0*i,
    0.00444464731731759 + 0.0*i,
    -0.219012800598732 + 0.0*i,
    -0.340423275378205 + 0.0*i,
    -0.0595177406241521 + 0.0*i,
    -0.16915934024206 + 0.0*i,
    -0.152206650098012 + 0.0*i,
    0.273280219191002 + 0.0*i,
    -0.234313471699529 + 0.0*i,
    -0.0684489749945436 + 0.0*i,
    0.269567817734339 + 0.0*i,
    -0.155527779218407 + 0.0*i,
    0.0662457333667788 + 0.0*i,
    0.393821061978542 + 0.0*i,
    -0.33491330354686 + 0.0*i,
    -0.218037539803726 + 0.0*i,
    0.0603413526647025 + 0.0*i,
    -0.413752064717674 + 0.0*i,
    -0.0997351583534918 + 0.0*i,
    -0.313951972201458 + 0.0*i,
    0.154334904495197 + 0.0*i,
    -0.191242325134452 + 0.0*i,
    0.474776948716073 + 0.0*i,
    0.28112547535718 + 0.0*i,
    0.066350700624101 + 0.0*i,
    0.27865651119171 + 0.0*i,
    0.45696124181077 + 0.0*i,
    0.173308806872283 + 0.0*i,
    -0.399654595826286 + 0.0*i,
    0.246795013541202 + 0.0*i,
    0.284688538077835 + 0.0*i,
    -0.0148843904893389 + 0.0*i,
    -0.035509956253392 + 0.0*i,
    0.0564349888083216 + 0.0*i,
    0.213880392907429 + 0.0*i,
    0.0555068367154819 + 0.0*i,
    0.369579027427796 + 0.0*i,
    0.435328565350782 + 0.0*i,
    0.205894041116701 + 0.0*i,
    -0.151741689124115 + 0.0*i,
    0.227577008046574 + 0.0*i,
    0.234652605273982 + 0.0*i,
    -0.265111965042402 + 0.0*i,
    -0.206186240082482 + 0.0*i,
    0.471788698029388 + 0.0*i,
    0.0901503800391307 + 0.0*i,
    -0.352855803229421 + 0.0*i,
    -0.173514507361998 + 0.0*i,
    -0.0986186476171823 + 0.0*i,
    0.131079981998782 + 0.0*i,
    -0.203063759664076 + 0.0*i,
    -0.33556270058601 + 0.0*i,
    0.131485217476561 + 0.0*i,
    0.415165613323072 + 0.0*i,
    0.248860762899396 + 0.0*i,
    -0.411806041285093 + 0.0*i,
    -0.266072436324618 + 0.0*i,
    -0.00586199037853738 + 0.0*i,
    -0.104106931083406 + 0.0*i,
    -0.120633430229542 + 0.0*i,
    0.302334005697705 + 0.0*i,
    -0.046563470162469 + 0.0*i,
    0.0544779194393685 + 0.0*i,
    0.141961478193541 + 0.0*i,
    -0.0408455271772816 + 0.0*i,
    -0.234441802128641 + 0.0*i,
    0.182998185997194 + 0.0*i,
    -0.324406836314052 + 0.0*i,
    -0.336767331838343 + 0.0*i,
    -0.287277301649571 + 0.0*i,
    -0.316647812929516 + 0.0*i,
    -0.183535270098335 + 0.0*i,
    -0.403501579986934 + 0.0*i,
    0.00019330123856779 + 0.0*i,
    0.122064165486512 + 0.0*i,
    0.0338035314138576 + 0.0*i,
    -0.200354880037776 + 0.0*i,
    0.217122538563952 + 0.0*i,
    -0.312042941506631 + 0.0*i,
    0.114021743130779 + 0.0*i,
    -0.192636354396878 + 0.0*i,
    0.155276505471485 + 0.0*i,
    -0.324299335704019 + 0.0*i,
    0.377811970742451 + 0.0*i,
    0.362894030425426 + 0.0*i,
    -0.24309340797964 + 0.0*i,
    0.0958680877760952 + 0.0*i,
    0.185984854161982 + 0.0*i,
    -0.123174080572397 + 0.0*i,
    -0.27966828943165 + 0.0*i,
    -0.355596370171785 + 0.0*i,
    0.0257164060319034 + 0.0*i,
    -0.165020719274105 + 0.0*i,
    -0.0488434634495817 + 0.0*i,
    -0.114738751631814 + 0.0*i,
    -0.0284591496201483 + 0.0*i,
    0.0649793557088349 + 0.0*i,
    0.141275508467257 + 0.0*i,
    0.282266427956735 + 0.0*i,
    -0.309633556120863 + 0.0*i,
    -0.0170968219878231 + 0.0*i,
    -0.0871971698062843 + 0.0*i,
    -0.316263175067672 + 0.0*i,
    0.364797488581339 + 0.0*i,
    -0.411938839284507 + 0.0*i,
    0.0897408722010088 + 0.0*i,
    0.316959361278208 + 0.0*i,
    0.0746418828865022 + 0.0*i,
    -0.202919477889842 + 0.0*i,
    0.288393677693991 + 0.0*i,
    0.192767800122894 + 0.0*i,
    -0.0349072069026951 + 0.0*i,
    0.240621251843763 + 0.0*i,
    -0.203159573044994 + 0.0*i,
    -0.422101987873746 + 0.0*i,
    0.161980487676764 + 0.0*i,
    0.263694104503043 + 0.0*i,
    0.165155496538818 + 0.0*i,
    -0.373911040639587 + 0.0*i,
    -0.296861093101925 + 0.0*i,
    -0.455095000858382 + 0.0*i,
    0.151396901558175 + 0.0*i,
    0.377318037341148 + 0.0*i,
    0.381554184567806 + 0.0*i,
    -0.121149792417175 + 0.0*i,
    -0.106611009202406 + 0.0*i,
    0.0295994909487492 + 0.0*i,
    -0.0141505249166831 + 0.0*i,
    0.017509753096436 + 0.0*i,
    -0.166712244657427 + 0.0*i,
    0.310094712417661 + 0.0*i,
    -0.176578058829308 + 0.0*i,
    0.2241832529768 + 0.0*i,
    -0.208252991732533 + 0.0*i,
    -0.410761253023291 + 0.0*i,
    0.28530786319025 + 0.0*i,
    -0.333559917338728 + 0.0*i,
    -0.000688653985390025 + 0.0*i,
    0.0916958110695818 + 0.0*i,
    0.313723497694757 + 0.0*i,
    -0.0270343815563522 + 0.0*i,
    -0.284393019638833 + 0.0*i,
    -0.412382443618469 + 0.0*i,
    0.0133993547471859 + 0.0*i,
    -0.442665012162689 + 0.0*i,
    0.465438555973544 + 0.0*i,
    0.239345177045359 + 0.0*i,
    0.222479676099821 + 0.0*i,
    -0.272342448284988 + 0.0*i,
    -0.0896371503759814 + 0.0*i,
    0.00452452804372453 + 0.0*i,
    -0.187274640464458 + 0.0*i,
    0.19000151086886 + 0.0*i,
    0.162193024470125 + 0.0*i,
    0.424916536921237 + 0.0*i,
    0.00618825606363673 + 0.0*i,
    0.172914883816348 + 0.0*i,
    0.0716209329579627 + 0.0*i,
    -0.200579755209253 + 0.0*i,
    -0.0413998846451629 + 0.0*i,
    0.322598082172859 + 0.0*i,
    0.163686546979519 + 0.0*i,
    0.320660268565632 + 0.0*i,
    -0.0426447975030682 + 0.0*i,
    -0.474695645486106 + 0.0*i,
    0.245205343952258 + 0.0*i,
    -0.463903428012457 + 0.0*i,
    0.159031271843658 + 0.0*i,
    0.17815914475686 + 0.0*i,
    0.032124166043274 + 0.0*i,
    -0.138354563304884 + 0.0*i,
    -0.340357535295074 + 0.0*i,
    -0.125660452299367 + 0.0*i,
    0.0633426441249797 + 0.0*i,
    -0.14129195943443 + 0.0*i,
    -0.12935823936891 + 0.0*i,
    0.132485391303209 + 0.0*i,
    0.0662900515053072 + 0.0*i,
    0.41334196181952 + 0.0*i,
    -0.138569752754294 + 0.0*i,
    0.372051719369742 + 0.0*i,
    -0.033574484945282 + 0.0*i,
    -0.205168862956855 + 0.0*i,
    -0.0637977807148945 + 0.0*i,
    0.348500597266593 + 0.0*i,
    -0.427422750468719 + 0.0*i,
    -0.102566979774632 + 0.0*i
]);