V:=Matrix(CC,4,124,[
    -0.0769218064345694 + 0.0*i,
    0.208532909926299 + 0.0*i,
    0.962412463173886 + 0.0*i,
    0.960339094804363 + 0.0*i,
    0.38223969415668 + 0.0*i,
    1.11142053085762 + 0.0*i,
    -1.03072339861556 + 0.0*i,
    -0.317588445751357 + 0.0*i,
    0.331045603649303 + 0.0*i,
    -0.215884878178092 + 0.0*i,
    0.290667322096779 + 0.0*i,
    -0.785579825045997 + 0.0*i,
    -0.382845464904635 + 0.0*i,
    0.382898621772673 + 0.0*i,
    0.0240834204484064 + 0.0*i,
    -0.727024300537306 + 0.0*i,
    0.18913021984992 + 0.0*i,
    0.0155227243701738 + 0.0*i,
    0.40631468103607 + 0.0*i,
    0.654406419071941 + 0.0*i,
    0.249632051714251 + 0.0*i,
    0.104737111566172 + 0.0*i,
    -0.65802144410059 + 0.0*i,
    0.0112800871424847 + 0.0*i,
    -0.104380414787726 + 0.0*i,
    0.149318925966729 + 0.0*i,
    -0.828114031882995 + 0.0*i,
    0.377541324519975 + 0.0*i,
    0.405565081018913 + 0.0*i,
    -0.561482071263023 + 0.0*i,
    -0.371218957827798 + 0.0*i,
    0.0875973324983583 + 0.0*i,
    0.136370412260658 + 0.0*i,
    -0.385953997441982 + 0.0*i,
    -0.414629382954057 + 0.0*i,
    -0.475148364666734 + 0.0*i,
    0.357501021440676 + 0.0*i,
    0.686193823541572 + 0.0*i,
    0.935261019998266 + 0.0*i,
    -0.155183799584047 + 0.0*i,
    0.361800219646843 + 0.0*i,
    0.251151751611655 + 0.0*i,
    -0.341948247126772 + 0.0*i,
    -0.338702727857016 + 0.0*i,
    0.077814537805309 + 0.0*i,
    0.0884607759117152 + 0.0*i,
    0.647860935148377 + 0.0*i,
    -0.0303069617288449 + 0.0*i,
    -0.0346778093314973 + 0.0*i,
    0.0323329378829191 + 0.0*i,
    -0.442218493099068 + 0.0*i,
    -0.382405010104652 + 0.0*i,
    -0.372347623429749 + 0.0*i,
    -0.937970797584585 + 0.0*i,
    -0.276072015541972 + 0.0*i,
    0.521413929872245 + 0.0*i,
    -0.432587188559918 + 0.0*i,
    -0.059456653091494 + 0.0*i,
    0.315879573855482 + 0.0*i,
    -0.151278042434713 + 0.0*i,
    0.747422805444579 + 0.0*i,
    0.207758181721027 + 0.0*i,
    0.104511314133075 + 0.0*i,
    -0.00812394183238399 + 0.0*i,
    0.68577742551101 + 0.0*i,
    -1.20623979230049 + 0.0*i,
    0.124463539979437 + 0.0*i,
    0.246261575436678 + 0.0*i,
    0.230920750814174 + 0.0*i,
    0.604981007611595 + 0.0*i,
    0.200245592441178 + 0.0*i,
    0.37366031526881 + 0.0*i,
    0.413543035794116 + 0.0*i,
    -0.76266711297833 + 0.0*i,
    0.328254587520259 + 0.0*i,
    0.373898671166857 + 0.0*i,
    0.871228041967147 + 0.0*i,
    -0.460929537350583 + 0.0*i,
    0.665198002444609 + 0.0*i,
    -0.201006926503592 + 0.0*i,
    0.38396342922034 + 0.0*i,
    0.569799581695701 + 0.0*i,
    -0.460454587655139 + 0.0*i,
    0.058798008464013 + 0.0*i,
    -0.918559647877306 + 0.0*i,
    -0.501365135528619 + 0.0*i,
    -0.917968660980229 + 0.0*i,
    -0.0258834902936074 + 0.0*i,
    -1.04521366900349 + 0.0*i,
    -0.345998396724353 + 0.0*i,
    1.10497281406817 + 0.0*i,
    -0.0898239743456984 + 0.0*i,
    -0.0567427182633118 + 0.0*i,
    -0.21833072079457 + 0.0*i,
    -0.585738132987181 + 0.0*i,
    -0.954184907821543 + 0.0*i,
    0.00960177834915899 + 0.0*i,
    -0.53325909244357 + 0.0*i,
    0.0883917922461719 + 0.0*i,
    0.574778443407968 + 0.0*i,
    -0.506423471433139 + 0.0*i,
    0.304569014996985 + 0.0*i,
    -0.0553253903548694 + 0.0*i,
    0.034181758599513 + 0.0*i,
    -0.319725161024107 + 0.0*i,
    -0.296957282423254 + 0.0*i,
    0.181071432945683 + 0.0*i,
    0.413520144985878 + 0.0*i,
    0.010282931666631 + 0.0*i,
    -0.732500622877463 + 0.0*i,
    -0.84049448305941 + 0.0*i,
    0.204200533101912 + 0.0*i,
    -0.304642626828848 + 0.0*i,
    -0.277833436230646 + 0.0*i,
    0.0340612444406079 + 0.0*i,
    -0.11286699703231 + 0.0*i,
    -0.116028543817316 + 0.0*i,
    0.306331238341389 + 0.0*i,
    -0.0532404474705627 + 0.0*i,
    -0.744426904464508 + 0.0*i,
    0.552364995313151 + 0.0*i,
    -0.114147881447614 + 0.0*i,
    -0.249261578726826 + 0.0*i,
    0.424063551406795 + 0.0*i,
    -0.350391826246152 + 0.0*i,
    0.77917296798496 + 0.0*i,
    -0.273330174923031 + 0.0*i,
    0.341800667098485 + 0.0*i,
    -0.470464821655974 + 0.0*i,
    0.249881487840472 + 0.0*i,
    -0.86484903423122 + 0.0*i,
    1.09443326232807 + 0.0*i,
    -0.424984704457689 + 0.0*i,
    -0.157486061494415 + 0.0*i,
    -0.200054301115391 + 0.0*i,
    -0.120514371024988 + 0.0*i,
    -0.26078468521647 + 0.0*i,
    0.22003020855063 + 0.0*i,
    -0.558116244936593 + 0.0*i,
    0.0917046747802443 + 0.0*i,
    0.17069097873977 + 0.0*i,
    -0.0202689543795529 + 0.0*i,
    0.491419757420947 + 0.0*i,
    -0.514118563128764 + 0.0*i,
    0.084901925351049 + 0.0*i,
    -0.624587390010422 + 0.0*i,
    -0.381634897039047 + 0.0*i,
    0.0411673267311086 + 0.0*i,
    0.669517151273596 + 0.0*i,
    0.494272822759348 + 0.0*i,
    -0.467761804102836 + 0.0*i,
    0.36245950575184 + 0.0*i,
    -0.257068880626538 + 0.0*i,
    -0.359474730861664 + 0.0*i,
    -0.753950108704787 + 0.0*i,
    -0.789210502523377 + 0.0*i,
    -1.37405090243477 + 0.0*i,
    -0.810409315603381 + 0.0*i,
    -0.16937594366861 + 0.0*i,
    0.00186338869028205 + 0.0*i,
    0.209050479101832 + 0.0*i,
    -0.354847440595749 + 0.0*i,
    0.323564970388123 + 0.0*i,
    -0.338439792798966 + 0.0*i,
    -0.477459116879851 + 0.0*i,
    0.256143692977239 + 0.0*i,
    -0.0419236532997326 + 0.0*i,
    -0.441418075546548 + 0.0*i,
    -0.929934104455151 + 0.0*i,
    0.428439583819822 + 0.0*i,
    -0.153088979486966 + 0.0*i,
    -0.353946938141859 + 0.0*i,
    -0.721256113132344 + 0.0*i,
    0.203176738497396 + 0.0*i,
    0.752572586951273 + 0.0*i,
    -0.0292593576712858 + 0.0*i,
    0.144130147099604 + 0.0*i,
    -0.97398483771413 + 0.0*i,
    -0.400502860800576 + 0.0*i,
    0.0766425548626929 + 0.0*i,
    -1.16254831124803 + 0.0*i,
    0.371103886251368 + 0.0*i,
    -0.109585201221786 + 0.0*i,
    -0.714044230936429 + 0.0*i,
    0.521828716361992 + 0.0*i,
    0.292178379234875 + 0.0*i,
    0.0853927638950561 + 0.0*i,
    -0.863104090742386 + 0.0*i,
    -1.15604609765929 + 0.0*i,
    -0.239026842581409 + 0.0*i,
    -0.0241907039260043 + 0.0*i,
    -0.617233775045324 + 0.0*i,
    -0.470870883377398 + 0.0*i,
    -0.280092709631323 + 0.0*i,
    -0.570722491453632 + 0.0*i,
    0.300364532077477 + 0.0*i,
    -1.08998512901539 + 0.0*i,
    0.0489005968549601 + 0.0*i,
    1.15890971581337 + 0.0*i,
    0.322065515125882 + 0.0*i,
    -0.769877976191557 + 0.0*i,
    -0.201053794282975 + 0.0*i,
    0.867185885291042 + 0.0*i,
    0.191896863254116 + 0.0*i,
    -0.399844677580678 + 0.0*i,
    0.0109424666655754 + 0.0*i,
    0.636139513551537 + 0.0*i,
    0.568681503595848 + 0.0*i,
    -0.382531807935771 + 0.0*i,
    0.0633396603877541 + 0.0*i,
    0.216198362130726 + 0.0*i,
    0.00663765098852769 + 0.0*i,
    0.560001410701968 + 0.0*i,
    1.32881982154144 + 0.0*i,
    -0.11324217156739 + 0.0*i,
    0.575755500418788 + 0.0*i,
    -0.429317039891829 + 0.0*i,
    -0.377373538907779 + 0.0*i,
    0.165933315970339 + 0.0*i,
    -0.0526526501789825 + 0.0*i,
    -1.22731867518795 + 0.0*i,
    0.391622037002049 + 0.0*i,
    -0.543971486827159 + 0.0*i,
    -0.356341117815304 + 0.0*i,
    0.344604786906843 + 0.0*i,
    -0.0054271575863583 + 0.0*i,
    -0.130321084515785 + 0.0*i,
    -0.829903595242917 + 0.0*i,
    0.14264933452208 + 0.0*i,
    -0.0234820223606022 + 0.0*i,
    -0.170242034358504 + 0.0*i,
    0.956531936956982 + 0.0*i,
    0.0419286258383796 + 0.0*i,
    -0.0475083027280782 + 0.0*i,
    -0.528143718205973 + 0.0*i,
    -0.438259683877356 + 0.0*i,
    -0.342471636942019 + 0.0*i,
    -0.448864070217732 + 0.0*i,
    0.30832896918446 + 0.0*i,
    0.267213189080195 + 0.0*i,
    0.0314484243693415 + 0.0*i,
    0.416490510386634 + 0.0*i,
    -0.230898759378899 + 0.0*i,
    -0.513395041559694 + 0.0*i,
    1.01359233348679 + 0.0*i,
    -0.057571504167893 + 0.0*i,
    -0.231853814904634 + 0.0*i,
    -0.976991017763077 + 0.0*i,
    -0.402448036086453 + 0.0*i,
    -0.210775242115524 + 0.0*i,
    -0.0712282158993834 + 0.0*i,
    0.432670747739103 + 0.0*i,
    0.505301818143398 + 0.0*i,
    -0.156128102596662 + 0.0*i,
    -0.381751104917889 + 0.0*i,
    0.0905879472696539 + 0.0*i,
    -0.183626581598211 + 0.0*i,
    0.166919249610536 + 0.0*i,
    0.56593989150182 + 0.0*i,
    -0.288417501848966 + 0.0*i,
    -0.719489276914967 + 0.0*i,
    0.0470898021756255 + 0.0*i,
    -0.00843510449761306 + 0.0*i,
    -0.779218480277464 + 0.0*i,
    -0.225914157639953 + 0.0*i,
    0.185517584575704 + 0.0*i,
    0.0555176874700534 + 0.0*i,
    0.632828158682776 + 0.0*i,
    0.278603583696079 + 0.0*i,
    -0.510747978177895 + 0.0*i,
    -1.49657431035087 + 0.0*i,
    0.111273308173759 + 0.0*i,
    -0.952547659927084 + 0.0*i,
    -0.424704939833276 + 0.0*i,
    -0.549327306836968 + 0.0*i,
    0.00425195397896121 + 0.0*i,
    -0.509109961733218 + 0.0*i,
    0.0149756154947094 + 0.0*i,
    -1.01526742444596 + 0.0*i,
    0.436729356244343 + 0.0*i,
    0.213456971547421 + 0.0*i,
    0.340449753119578 + 0.0*i,
    -0.444464301922316 + 0.0*i,
    -0.382424222614204 + 0.0*i,
    -0.530168663067367 + 0.0*i,
    0.284371962200541 + 0.0*i,
    0.54572831577924 + 0.0*i,
    0.222027361612303 + 0.0*i,
    -0.727401336884235 + 0.0*i,
    1.00593563324751 + 0.0*i,
    -0.271592082229901 + 0.0*i,
    0.0491901219709741 + 0.0*i,
    0.0779897179315182 + 0.0*i,
    -0.210198469313969 + 0.0*i,
    -0.137902993762802 + 0.0*i,
    0.697150925969152 + 0.0*i,
    0.300286292030479 + 0.0*i,
    -0.61626441314951 + 0.0*i,
    0.793819434353352 + 0.0*i,
    0.453304030452148 + 0.0*i,
    0.279468867155409 + 0.0*i,
    -0.217814560376303 + 0.0*i,
    -0.569128461500913 + 0.0*i,
    -0.0253464692577792 + 0.0*i,
    0.27577226350789 + 0.0*i,
    -0.282680814276529 + 0.0*i,
    0.0208482408306305 + 0.0*i,
    0.0603876625377865 + 0.0*i,
    -0.554677017224239 + 0.0*i,
    0.0373724151780421 + 0.0*i,
    0.126489715086393 + 0.0*i,
    0.0269885660784982 + 0.0*i,
    -0.154076125464412 + 0.0*i,
    0.119225289704728 + 0.0*i,
    0.984717799563195 + 0.0*i,
    0.558264814485925 + 0.0*i,
    0.487018283810401 + 0.0*i,
    -0.620169249061721 + 0.0*i,
    -1.5855155650636 + 0.0*i,
    0.201496948171341 + 0.0*i,
    -0.829955390767888 + 0.0*i,
    0.330593899624674 + 0.0*i,
    0.220473108891785 + 0.0*i,
    0.327513875334561 + 0.0*i,
    0.381867524884697 + 0.0*i,
    0.452056041037466 + 0.0*i,
    -0.207610046090639 + 0.0*i,
    0.94033361422366 + 0.0*i,
    -0.228741908814132 + 0.0*i,
    0.365643003229961 + 0.0*i,
    -0.491059893509714 + 0.0*i,
    -0.146182825061399 + 0.0*i,
    -0.218460942739198 + 0.0*i,
    0.372130125282906 + 0.0*i,
    0.548750636052323 + 0.0*i,
    0.493449680800036 + 0.0*i,
    0.471971812858399 + 0.0*i,
    -0.129807256562626 + 0.0*i,
    0.950076490795576 + 0.0*i,
    -0.724768679808402 + 0.0*i,
    -0.223973531272957 + 0.0*i,
    -0.215449921724087 + 0.0*i,
    -0.0263579797108946 + 0.0*i,
    -0.322572922271849 + 0.0*i,
    0.387585855296658 + 0.0*i,
    -0.351495112014451 + 0.0*i,
    -0.551451616366162 + 0.0*i,
    0.397081331752301 + 0.0*i,
    -0.189487486321319 + 0.0*i,
    -0.33927397987698 + 0.0*i,
    -0.33966431203964 + 0.0*i,
    -0.756701664882019 + 0.0*i,
    -1.1716513938223 + 0.0*i,
    0.0710699397238075 + 0.0*i,
    0.30769789504237 + 0.0*i,
    -0.133092847145578 + 0.0*i,
    0.45179963848575 + 0.0*i,
    -0.503683151397602 + 0.0*i,
    0.156171045277337 + 0.0*i,
    0.221009379088935 + 0.0*i,
    0.0662996103912262 + 0.0*i,
    -0.137601054122573 + 0.0*i,
    -0.0477834603434181 + 0.0*i,
    -0.195383759229745 + 0.0*i,
    -0.408556445032167 + 0.0*i,
    -0.30930751654197 + 0.0*i,
    -0.382512388308595 + 0.0*i,
    0.227028794348934 + 0.0*i,
    0.143105356667454 + 0.0*i,
    -0.336393332792233 + 0.0*i,
    0.211923102341868 + 0.0*i,
    -0.764746774952319 + 0.0*i,
    0.407164050476083 + 0.0*i,
    -0.0524047470989747 + 0.0*i,
    -0.0957477121007465 + 0.0*i,
    0.0723811977916855 + 0.0*i,
    -0.725229614328627 + 0.0*i,
    0.527916089927686 + 0.0*i,
    -0.0796513322904165 + 0.0*i,
    -0.442226034840001 + 0.0*i,
    -0.00885248887579545 + 0.0*i,
    -0.340218007174904 + 0.0*i,
    0.225985922254431 + 0.0*i,
    -0.168445251984336 + 0.0*i,
    0.987616528260463 + 0.0*i,
    0.274430936203188 + 0.0*i,
    -0.230486553949488 + 0.0*i,
    0.194273523025092 + 0.0*i,
    -0.647304202984421 + 0.0*i,
    0.496736067213572 + 0.0*i,
    0.454951967594338 + 0.0*i,
    0.0790986872305343 + 0.0*i,
    -0.542337686552561 + 0.0*i,
    0.489986118642577 + 0.0*i,
    0.267605722346435 + 0.0*i,
    0.151146234364656 + 0.0*i,
    0.406875805128511 + 0.0*i,
    0.132638576453254 + 0.0*i,
    -0.377252870025767 + 0.0*i,
    -1.00490454593303 + 0.0*i,
    -0.127554351830085 + 0.0*i,
    0.649654143860052 + 0.0*i,
    -1.17073633527372 + 0.0*i,
    -0.413822231621262 + 0.0*i,
    0.471189014419103 + 0.0*i,
    -0.296908227037939 + 0.0*i,
    0.367655540484624 + 0.0*i,
    -0.0677900052702986 + 0.0*i,
    0.0870077023391158 + 0.0*i,
    -0.889060502841633 + 0.0*i,
    0.829694376648565 + 0.0*i,
    -0.0114984039883531 + 0.0*i,
    -1.13472920635396 + 0.0*i,
    0.610506405135773 + 0.0*i,
    -0.423845392892363 + 0.0*i,
    -1.45802237917639 + 0.0*i,
    0.364191698740956 + 0.0*i,
    -0.0782681450114546 + 0.0*i,
    -0.471826506987568 + 0.0*i,
    0.110823806228008 + 0.0*i,
    0.485319441274687 + 0.0*i,
    0.357878469623652 + 0.0*i,
    0.0128609745937043 + 0.0*i,
    -0.346623187475725 + 0.0*i,
    0.0479504685102083 + 0.0*i,
    -0.231265513663958 + 0.0*i,
    -0.0892791613184369 + 0.0*i,
    -0.496217114346169 + 0.0*i,
    -0.305142638345637 + 0.0*i,
    -0.603579018727856 + 0.0*i,
    0.0334402838684401 + 0.0*i,
    -0.903329502806 + 0.0*i,
    -0.431875592186888 + 0.0*i,
    -0.594430026280744 + 0.0*i,
    0.246252556855434 + 0.0*i,
    -0.32349122894431 + 0.0*i,
    0.132999816749635 + 0.0*i,
    -0.348319288067183 + 0.0*i,
    -0.674331370393158 + 0.0*i,
    -0.522406791494319 + 0.0*i,
    -0.127741330078951 + 0.0*i,
    -0.0954939651815041 + 0.0*i,
    0.0793021404086363 + 0.0*i,
    -0.0396764260797404 + 0.0*i,
    -0.643984425176432 + 0.0*i,
    -0.86790128423921 + 0.0*i,
    -0.368688647255258 + 0.0*i,
    1.31567795325911 + 0.0*i,
    0.822042564308655 + 0.0*i,
    0.264494649722669 + 0.0*i,
    0.15672388806902 + 0.0*i,
    0.650546010768689 + 0.0*i,
    -0.182434399070735 + 0.0*i,
    -0.251057406636445 + 0.0*i,
    0.225894245013364 + 0.0*i,
    0.674693269568739 + 0.0*i,
    -0.421123849088672 + 0.0*i,
    0.548789654445719 + 0.0*i,
    0.652238045593779 + 0.0*i,
    0.717121196807637 + 0.0*i,
    0.178510585647676 + 0.0*i,
    0.719051990719834 + 0.0*i,
    0.912152321049444 + 0.0*i,
    0.46141780108447 + 0.0*i,
    0.553263104980996 + 0.0*i,
    0.362311028865584 + 0.0*i,
    -0.165244523663734 + 0.0*i,
    -0.798603239893739 + 0.0*i,
    0.0234723803027674 + 0.0*i,
    -0.258497765781382 + 0.0*i,
    -0.566433484238089 + 0.0*i,
    0.17912019784442 + 0.0*i,
    0.253404374247026 + 0.0*i,
    0.779039055441419 + 0.0*i,
    -0.209983432283446 + 0.0*i,
    -0.0580235575798524 + 0.0*i,
    -0.0304196691746973 + 0.0*i,
    -0.120265963740693 + 0.0*i,
    0.288841683717707 + 0.0*i,
    0.853441638521361 + 0.0*i,
    -0.438910555814875 + 0.0*i,
    -0.175789979416407 + 0.0*i,
    -0.575099095450061 + 0.0*i,
    -0.282257279505794 + 0.0*i,
    -0.0216150404384501 + 0.0*i,
    0.429921733192622 + 0.0*i,
    0.350435030779046 + 0.0*i,
    0.751423636524282 + 0.0*i,
    0.258742858686381 + 0.0*i,
    0.141210362064688 + 0.0*i,
    0.493441585010561 + 0.0*i,
    0.224006666228412 + 0.0*i,
    0.0905168369719663 + 0.0*i,
    0.207751851863765 + 0.0*i,
    -0.246718676062017 + 0.0*i,
    -0.404068529395673 + 0.0*i
]);