V:=Matrix(CC,4,125,[
    0.502188855617851 + 0.0*i,
    -0.49149507648929 + 0.0*i,
    -0.880546785032811 + 0.0*i,
    -0.357643089088979 + 0.0*i,
    -0.186319561045289 + 0.0*i,
    -0.20534350124184 + 0.0*i,
    -0.0778685692524179 + 0.0*i,
    0.0102707976983829 + 0.0*i,
    0.177249110888096 + 0.0*i,
    -0.389194949516831 + 0.0*i,
    0.729755208142385 + 0.0*i,
    0.770578423465321 + 0.0*i,
    -0.136718098301616 + 0.0*i,
    0.0240113497188353 + 0.0*i,
    0.1716689867046 + 0.0*i,
    -0.427240790393209 + 0.0*i,
    0.276297947064604 + 0.0*i,
    -1.17613667068564 + 0.0*i,
    0.512912442052314 + 0.0*i,
    0.0769744326278025 + 0.0*i,
    0.369551566839929 + 0.0*i,
    0.488538576031729 + 0.0*i,
    -1.44019046064106 + 0.0*i,
    0.361673215815798 + 0.0*i,
    -0.328728421071306 + 0.0*i,
    -0.042940129972461 + 0.0*i,
    0.635547649944241 + 0.0*i,
    -0.2698477309431 + 0.0*i,
    0.356587392013615 + 0.0*i,
    0.155342942257422 + 0.0*i,
    -0.444301455255434 + 0.0*i,
    -0.357749160055821 + 0.0*i,
    -0.418562618214373 + 0.0*i,
    -0.367175105928245 + 0.0*i,
    0.0345512143395099 + 0.0*i,
    -1.02866667818087 + 0.0*i,
    0.814263973192026 + 0.0*i,
    0.54799705846116 + 0.0*i,
    -0.0537562027419058 + 0.0*i,
    -0.32217484836796 + 0.0*i,
    0.537850989679968 + 0.0*i,
    0.0328974596086811 + 0.0*i,
    0.273114229996501 + 0.0*i,
    -0.0365089084977011 + 0.0*i,
    0.037820174130465 + 0.0*i,
    0.23089255861274 + 0.0*i,
    -0.681893323348037 + 0.0*i,
    1.08285182341229 + 0.0*i,
    -0.483544334958915 + 0.0*i,
    -0.280383728825941 + 0.0*i,
    0.573398874675098 + 0.0*i,
    -0.529784160051495 + 0.0*i,
    -0.381385279240634 + 0.0*i,
    0.443866365860823 + 0.0*i,
    -0.289278586975412 + 0.0*i,
    -0.09241880647452 + 0.0*i,
    -0.267572057587212 + 0.0*i,
    -0.713731265943528 + 0.0*i,
    0.0350097517924174 + 0.0*i,
    -0.222844259494179 + 0.0*i,
    -0.370711371085913 + 0.0*i,
    -0.609537742114173 + 0.0*i,
    -0.0358231597707872 + 0.0*i,
    -1.26650607843235 + 0.0*i,
    0.756365014014431 + 0.0*i,
    0.305515067177616 + 0.0*i,
    0.0519201985876727 + 0.0*i,
    -0.711729086296459 + 0.0*i,
    0.429177719219955 + 0.0*i,
    0.854146753195112 + 0.0*i,
    -0.0997513114571551 + 0.0*i,
    -0.309677196939815 + 0.0*i,
    0.648674963796577 + 0.0*i,
    0.416762873835383 + 0.0*i,
    -0.101644441625935 + 0.0*i,
    0.190538525607122 + 0.0*i,
    -0.0307778593231661 + 0.0*i,
    0.533292362827205 + 0.0*i,
    0.173862687623254 + 0.0*i,
    -0.755561133661061 + 0.0*i,
    0.326143779384376 + 0.0*i,
    -0.405776570841057 + 0.0*i,
    -0.34165699702377 + 0.0*i,
    -0.604750109200921 + 0.0*i,
    -0.372078263357406 + 0.0*i,
    0.350978981615307 + 0.0*i,
    -1.06612690185019 + 0.0*i,
    0.318386646045444 + 0.0*i,
    0.541945571437347 + 0.0*i,
    -0.1358817552314 + 0.0*i,
    -0.156348800954084 + 0.0*i,
    -0.128252728711206 + 0.0*i,
    0.930587608284595 + 0.0*i,
    -0.623301777357187 + 0.0*i,
    0.537368483409072 + 0.0*i,
    -0.162643133291153 + 0.0*i,
    0.860234086370674 + 0.0*i,
    -0.727492582822487 + 0.0*i,
    0.125900532794983 + 0.0*i,
    0.214143933108014 + 0.0*i,
    0.775135317227758 + 0.0*i,
    0.151216924358925 + 0.0*i,
    -0.265147563036048 + 0.0*i,
    -0.827139777352251 + 0.0*i,
    0.682211764683891 + 0.0*i,
    -0.109912872618094 + 0.0*i,
    0.948984849599805 + 0.0*i,
    0.346092594045459 + 0.0*i,
    -1.14472581862262 + 0.0*i,
    0.953571618421241 + 0.0*i,
    0.102519919792308 + 0.0*i,
    -0.0478073803910225 + 0.0*i,
    -0.24459162650938 + 0.0*i,
    0.509805489407514 + 0.0*i,
    0.0512425060788297 + 0.0*i,
    0.177893827958911 + 0.0*i,
    -0.583030438779509 + 0.0*i,
    -0.0220257884850098 + 0.0*i,
    -0.338520471933368 + 0.0*i,
    0.672433043712974 + 0.0*i,
    0.740722846232169 + 0.0*i,
    0.621341144460207 + 0.0*i,
    0.411226586785103 + 0.0*i,
    -0.14204075002872 + 0.0*i,
    -0.364715991020155 + 0.0*i,
    0.0301412004712774 + 0.0*i,
    -0.0124155173711207 + 0.0*i,
    -0.737856099307485 + 0.0*i,
    0.382787277525674 + 0.0*i,
    -0.745283806892071 + 0.0*i,
    0.0935731439686926 + 0.0*i,
    0.326905220947739 + 0.0*i,
    -0.0848442294192086 + 0.0*i,
    0.0268010580509443 + 0.0*i,
    0.654492463353055 + 0.0*i,
    -0.0405364329435784 + 0.0*i,
    0.706566692168023 + 0.0*i,
    -0.273505508902436 + 0.0*i,
    -0.746415133286647 + 0.0*i,
    -0.100177374934333 + 0.0*i,
    0.781089939507261 + 0.0*i,
    0.794315238178354 + 0.0*i,
    -0.156456647826172 + 0.0*i,
    0.335749249490489 + 0.0*i,
    -0.83780544116758 + 0.0*i,
    0.135291463228866 + 0.0*i,
    0.0516979731961796 + 0.0*i,
    0.52077997201254 + 0.0*i,
    0.671961764298275 + 0.0*i,
    -0.234861735987768 + 0.0*i,
    -0.410072670278705 + 0.0*i,
    -0.721331399391889 + 0.0*i,
    -1.09283007253898 + 0.0*i,
    -0.587866736044782 + 0.0*i,
    -0.47484145733491 + 0.0*i,
    0.331543800712279 + 0.0*i,
    -0.322048839179199 + 0.0*i,
    -0.582595671942748 + 0.0*i,
    -0.324114343351401 + 0.0*i,
    0.558372290852463 + 0.0*i,
    0.117830470684316 + 0.0*i,
    0.364049941774042 + 0.0*i,
    -0.272175610489554 + 0.0*i,
    0.203302072876692 + 0.0*i,
    0.0388900677109058 + 0.0*i,
    0.370069939961945 + 0.0*i,
    -0.389768619333056 + 0.0*i,
    0.75848402929931 + 0.0*i,
    0.00704577410979376 + 0.0*i,
    -0.548568654136044 + 0.0*i,
    -0.68532937189427 + 0.0*i,
    -0.610017125098423 + 0.0*i,
    -0.0674810690930902 + 0.0*i,
    0.146101530922654 + 0.0*i,
    -0.386239510412942 + 0.0*i,
    -0.165045195728811 + 0.0*i,
    -0.0679424797342577 + 0.0*i,
    -0.0870151752887974 + 0.0*i,
    0.00905104444879517 + 0.0*i,
    -0.0574247908282506 + 0.0*i,
    -0.797683323730459 + 0.0*i,
    0.303550055985704 + 0.0*i,
    -1.01241046645647 + 0.0*i,
    0.480969009934105 + 0.0*i,
    -0.34860493697068 + 0.0*i,
    -0.407091221734219 + 0.0*i,
    -0.457755133841514 + 0.0*i,
    -0.174672009139949 + 0.0*i,
    -0.870776471714184 + 0.0*i,
    -0.356968575629149 + 0.0*i,
    0.190554275658849 + 0.0*i,
    0.669999466310894 + 0.0*i,
    0.624710190040424 + 0.0*i,
    0.215890316729521 + 0.0*i,
    0.276201213994925 + 0.0*i,
    0.137989509942097 + 0.0*i,
    -0.879971253055448 + 0.0*i,
    0.041320304862715 + 0.0*i,
    -0.159902962140584 + 0.0*i,
    -0.120846181787653 + 0.0*i,
    0.0561425256643378 + 0.0*i,
    -0.0682475023519753 + 0.0*i,
    -0.225736273027892 + 0.0*i,
    -0.605934419368016 + 0.0*i,
    1.11182888141507 + 0.0*i,
    -0.0145272407110174 + 0.0*i,
    -0.129100279523417 + 0.0*i,
    0.0766779155211579 + 0.0*i,
    -0.329788897428281 + 0.0*i,
    -0.108291106659019 + 0.0*i,
    0.240585796184189 + 0.0*i,
    -0.420298712565782 + 0.0*i,
    0.780513371764776 + 0.0*i,
    0.340898252615644 + 0.0*i,
    -0.104456370094791 + 0.0*i,
    0.624192970345221 + 0.0*i,
    0.205126579914659 + 0.0*i,
    -0.276391346783401 + 0.0*i,
    -0.212776410458528 + 0.0*i,
    -0.758880666794639 + 0.0*i,
    0.417040192150872 + 0.0*i,
    -0.0987336466353426 + 0.0*i,
    -0.33081809432883 + 0.0*i,
    0.825909631189775 + 0.0*i,
    0.142927607735375 + 0.0*i,
    -0.118313372463054 + 0.0*i,
    0.0162001065055272 + 0.0*i,
    0.439005666528369 + 0.0*i,
    0.704894438289163 + 0.0*i,
    0.355029302115655 + 0.0*i,
    -0.545885392777705 + 0.0*i,
    -0.978950964278386 + 0.0*i,
    -0.258500455817441 + 0.0*i,
    0.828570184039792 + 0.0*i,
    0.446470053387459 + 0.0*i,
    -0.340514724604841 + 0.0*i,
    -0.0662436837705238 + 0.0*i,
    0.390182083429391 + 0.0*i,
    0.207086757080984 + 0.0*i,
    0.635611542753308 + 0.0*i,
    0.0145926105840723 + 0.0*i,
    0.372468649654225 + 0.0*i,
    -0.692423801699212 + 0.0*i,
    0.0228106584591811 + 0.0*i,
    -0.31465571589897 + 0.0*i,
    0.123798846087284 + 0.0*i,
    -0.54970135732286 + 0.0*i,
    0.548981478672108 + 0.0*i,
    0.329283956577029 + 0.0*i,
    -0.468816052667203 + 0.0*i,
    -0.258471621329796 + 0.0*i,
    -0.270251026430223 + 0.0*i,
    0.200935324335597 + 0.0*i,
    0.386549373128322 + 0.0*i,
    -0.7758252912007 + 0.0*i,
    0.00914908383836613 + 0.0*i,
    -0.370163520649594 + 0.0*i,
    -0.839198947231675 + 0.0*i,
    -0.149034461102702 + 0.0*i,
    -0.0820750504286272 + 0.0*i,
    -0.0329730277200727 + 0.0*i,
    -0.00640555879575993 + 0.0*i,
    0.0728566967607622 + 0.0*i,
    0.184714155048141 + 0.0*i,
    -0.783902470884647 + 0.0*i,
    0.289476966804696 + 0.0*i,
    0.36665291448278 + 0.0*i,
    -0.729941301215911 + 0.0*i,
    -0.183817992368182 + 0.0*i,
    -0.962336692105491 + 0.0*i,
    -0.874381610149413 + 0.0*i,
    -0.327786163808537 + 0.0*i,
    0.595056672833314 + 0.0*i,
    -0.141155111842475 + 0.0*i,
    0.513263044391828 + 0.0*i,
    0.935356914645111 + 0.0*i,
    -0.20384759354659 + 0.0*i,
    0.557804047383198 + 0.0*i,
    -0.017623725978707 + 0.0*i,
    -0.46171637183386 + 0.0*i,
    -0.145988195022864 + 0.0*i,
    0.56269201661805 + 0.0*i,
    -0.825455581371636 + 0.0*i,
    -0.23379493483412 + 0.0*i,
    0.362881649879424 + 0.0*i,
    0.0482347523238357 + 0.0*i,
    -0.232341375325137 + 0.0*i,
    0.394687770484485 + 0.0*i,
    -0.207888425318037 + 0.0*i,
    -0.834456724992903 + 0.0*i,
    0.724713405120858 + 0.0*i,
    0.245839998968227 + 0.0*i,
    0.332194159073647 + 0.0*i,
    0.211077431983608 + 0.0*i,
    -0.0973974649471001 + 0.0*i,
    -0.465237592990612 + 0.0*i,
    -0.440179908624694 + 0.0*i,
    0.825428437317919 + 0.0*i,
    0.104321603698369 + 0.0*i,
    -0.639400506246211 + 0.0*i,
    0.121386960775589 + 0.0*i,
    -0.307586204051791 + 0.0*i,
    -0.508455436293652 + 0.0*i,
    -0.381327288734635 + 0.0*i,
    -0.14649251395077 + 0.0*i,
    -0.12005809346137 + 0.0*i,
    1.04536310073646 + 0.0*i,
    -0.935872212897609 + 0.0*i,
    0.602391315513767 + 0.0*i,
    0.129926043358354 + 0.0*i,
    -0.431455050480908 + 0.0*i,
    -0.344931015153483 + 0.0*i,
    -0.485667932557839 + 0.0*i,
    -0.32831752832135 + 0.0*i,
    0.893579501844615 + 0.0*i,
    -0.0750562907132935 + 0.0*i,
    0.0766119770957049 + 0.0*i,
    0.382612861499107 + 0.0*i,
    0.36530824502936 + 0.0*i,
    -0.595471646957059 + 0.0*i,
    0.431269941593378 + 0.0*i,
    0.721804543400855 + 0.0*i,
    -0.428527835966286 + 0.0*i,
    0.0846414342939392 + 0.0*i,
    0.333499198658848 + 0.0*i,
    0.247741824724285 + 0.0*i,
    -1.14674788149765 + 0.0*i,
    -0.072853684130343 + 0.0*i,
    -0.221516501634358 + 0.0*i,
    0.571940563993627 + 0.0*i,
    0.315734562525986 + 0.0*i,
    -0.125571195383714 + 0.0*i,
    0.222374924168599 + 0.0*i,
    -0.654099177067981 + 0.0*i,
    1.13541191529928 + 0.0*i,
    -0.738189711367902 + 0.0*i,
    0.328299380241385 + 0.0*i,
    -0.597697956789408 + 0.0*i,
    -0.436756220162056 + 0.0*i,
    -0.445403996965252 + 0.0*i,
    0.241352531840396 + 0.0*i,
    0.352222538272606 + 0.0*i,
    -0.301129111447381 + 0.0*i,
    -0.144206940015394 + 0.0*i,
    0.45442151920377 + 0.0*i,
    -0.755961287445468 + 0.0*i,
    0.164077809463881 + 0.0*i,
    0.157183699216809 + 0.0*i,
    1.03313504073393 + 0.0*i,
    -0.337451761909337 + 0.0*i,
    -0.113753472815712 + 0.0*i,
    0.294771016246596 + 0.0*i,
    0.396073062791428 + 0.0*i,
    -0.0685121836968449 + 0.0*i,
    -0.710121628659718 + 0.0*i,
    -0.354920419589883 + 0.0*i,
    0.283913810794825 + 0.0*i,
    0.293315931341477 + 0.0*i,
    0.278632619626579 + 0.0*i,
    0.532973351549374 + 0.0*i,
    0.0600350872902609 + 0.0*i,
    -0.0775945784081926 + 0.0*i,
    -0.238480000569364 + 0.0*i,
    -0.128392413802378 + 0.0*i,
    0.641268978455451 + 0.0*i,
    -0.191043010513984 + 0.0*i,
    -0.128706476843014 + 0.0*i,
    0.237056829883918 + 0.0*i,
    -0.297230050573222 + 0.0*i,
    -1.02237942169613 + 0.0*i,
    -0.0588128122719079 + 0.0*i,
    0.456682960361446 + 0.0*i,
    0.620335304854945 + 0.0*i,
    0.616785717845675 + 0.0*i,
    0.544139623204994 + 0.0*i,
    0.0480655714510053 + 0.0*i,
    -0.517807900687549 + 0.0*i,
    0.114870704935552 + 0.0*i,
    0.0972804249840896 + 0.0*i,
    0.0724363178499977 + 0.0*i,
    -0.80524535116106 + 0.0*i,
    0.357853434789857 + 0.0*i,
    0.916850248015876 + 0.0*i,
    0.402064492469114 + 0.0*i,
    1.29150853004697 + 0.0*i,
    0.310330031203087 + 0.0*i,
    -0.446947759821257 + 0.0*i,
    -0.00465168676260275 + 0.0*i,
    -0.696131017379232 + 0.0*i,
    1.11255262295359 + 0.0*i,
    0.065694717130676 + 0.0*i,
    -0.0670988685850435 + 0.0*i,
    0.0852843219289895 + 0.0*i,
    -1.28330857735111 + 0.0*i,
    -0.0873671658920953 + 0.0*i,
    0.32067801514996 + 0.0*i,
    -0.138587553083133 + 0.0*i,
    0.507156931255874 + 0.0*i,
    -0.872861290923554 + 0.0*i,
    0.0161028202696177 + 0.0*i,
    0.037887524435302 + 0.0*i,
    -0.524350531646688 + 0.0*i,
    0.19904880666979 + 0.0*i,
    -0.00845565319500398 + 0.0*i,
    0.287774913256673 + 0.0*i,
    -0.683886731768283 + 0.0*i,
    -0.402112631806103 + 0.0*i,
    0.269095527106659 + 0.0*i,
    -0.229599791323423 + 0.0*i,
    -0.596312779185733 + 0.0*i,
    0.438924835307641 + 0.0*i,
    -0.537852037459313 + 0.0*i,
    -0.122726800887296 + 0.0*i,
    -0.0706958337849833 + 0.0*i,
    0.0994818721878846 + 0.0*i,
    0.36684823221569 + 0.0*i,
    -0.0132702082753212 + 0.0*i,
    0.549842584236013 + 0.0*i,
    -0.448413625259209 + 0.0*i,
    0.0813865204379099 + 0.0*i,
    1.207161452306 + 0.0*i,
    -0.791323670122867 + 0.0*i,
    -0.56255237485034 + 0.0*i,
    -0.938716176337386 + 0.0*i,
    0.43690732580557 + 0.0*i,
    -0.0274808670903961 + 0.0*i,
    1.00511541883905 + 0.0*i,
    -0.191780079981289 + 0.0*i,
    0.761451945704387 + 0.0*i,
    -0.193392999414982 + 0.0*i,
    0.490074819929178 + 0.0*i,
    -0.993801762944748 + 0.0*i,
    0.993952374082767 + 0.0*i,
    0.166366952287996 + 0.0*i,
    -0.657212487894152 + 0.0*i,
    -0.0658454609353906 + 0.0*i,
    0.474424197319877 + 0.0*i,
    0.551470215289345 + 0.0*i,
    0.16195818797496 + 0.0*i,
    -0.230173454015347 + 0.0*i,
    -0.379741557758168 + 0.0*i,
    0.0944458344488283 + 0.0*i,
    -0.932501664298745 + 0.0*i,
    0.315820665645072 + 0.0*i,
    -0.0479483970932297 + 0.0*i,
    -0.973923993296618 + 0.0*i,
    0.0311949758717245 + 0.0*i,
    -0.210526486454628 + 0.0*i,
    -0.390000931343023 + 0.0*i,
    -0.293869061054855 + 0.0*i,
    -0.686180791950419 + 0.0*i,
    1.10212186095828 + 0.0*i,
    -0.299707095038529 + 0.0*i,
    -0.0467908091881637 + 0.0*i,
    0.623570529596988 + 0.0*i,
    0.196350741968815 + 0.0*i,
    0.0818017296137708 + 0.0*i,
    -0.0723984216346646 + 0.0*i,
    -0.88492395996762 + 0.0*i,
    -1.41247391823974 + 0.0*i,
    -0.853254433738699 + 0.0*i,
    0.00324690464793198 + 0.0*i,
    -0.370584934811604 + 0.0*i,
    0.64926853358534 + 0.0*i,
    0.14801401510164 + 0.0*i,
    -0.397494649950994 + 0.0*i,
    -0.095120298273762 + 0.0*i,
    0.611503879747069 + 0.0*i,
    0.266477515688228 + 0.0*i,
    -0.181924593218073 + 0.0*i,
    -0.082497204948302 + 0.0*i,
    -0.433835870443565 + 0.0*i,
    0.166977514585932 + 0.0*i,
    -0.108985699262031 + 0.0*i,
    0.131518472092258 + 0.0*i,
    -0.0210012053516587 + 0.0*i,
    0.216277268375271 + 0.0*i,
    -0.712826038741151 + 0.0*i,
    -0.430778316480221 + 0.0*i,
    0.00849566574287578 + 0.0*i,
    -0.081127934005803 + 0.0*i,
    -0.173047695213832 + 0.0*i,
    -0.0286118723778488 + 0.0*i,
    -0.268798041266749 + 0.0*i,
    0.704160270337642 + 0.0*i,
    0.24305853086097 + 0.0*i,
    -0.0883895247625235 + 0.0*i,
    -0.330454768751965 + 0.0*i,
    0.157485824124589 + 0.0*i,
    0.424791788801736 + 0.0*i,
    0.415737258888499 + 0.0*i,
    -0.140957726445897 + 0.0*i,
    0.366181767196683 + 0.0*i,
    0.188258505871116 + 0.0*i,
    -1.06863311179692 + 0.0*i,
    0.47602751782273 + 0.0*i,
    0.313954158374387 + 0.0*i,
    0.596539949602571 + 0.0*i,
    -0.3485961797339 + 0.0*i,
    -1.13692572099037 + 0.0*i
]);