V:=Matrix(CC,4,57,[
    -0.0914727643350081 + 0.0*i,
    0.202354944382015 + 0.0*i,
    0.127326361676979 + 0.0*i,
    0.271193712027713 + 0.0*i,
    0.539476162408204 + 0.0*i,
    -0.65793472420787 + 0.0*i,
    -0.485568743705176 + 0.0*i,
    -0.619916778599434 + 0.0*i,
    0.0920069552304365 + 0.0*i,
    -0.237092461214605 + 0.0*i,
    -0.322198429918597 + 0.0*i,
    -0.000828055303414125 + 0.0*i,
    -0.164198203044933 + 0.0*i,
    0.101020185040174 + 0.0*i,
    0.578964008647385 + 0.0*i,
    -0.218918979943085 + 0.0*i,
    0.103100050221611 + 0.0*i,
    -0.312777937111361 + 0.0*i,
    -0.921416569269209 + 0.0*i,
    -0.399595699672848 + 0.0*i,
    -0.356166941665893 + 0.0*i,
    -0.836101239695672 + 0.0*i,
    -0.196535016090816 + 0.0*i,
    -0.0100160002375606 + 0.0*i,
    0.554878755296215 + 0.0*i,
    0.113200858384248 + 0.0*i,
    -1.10451981624563 + 0.0*i,
    0.283827270103232 + 0.0*i,
    -0.598413573508039 + 0.0*i,
    -0.440744339554076 + 0.0*i,
    -0.0159117302447411 + 0.0*i,
    0.0103727070040382 + 0.0*i,
    -0.0184748209581115 + 0.0*i,
    0.503449609371608 + 0.0*i,
    -0.296930597928598 + 0.0*i,
    0.714380621311063 + 0.0*i,
    -0.396052779433858 + 0.0*i,
    -0.197624781397328 + 0.0*i,
    -0.839848789522504 + 0.0*i,
    0.159541881589619 + 0.0*i,
    0.8061924581026 + 0.0*i,
    -0.767724438889423 + 0.0*i,
    0.202258346480086 + 0.0*i,
    -0.368946103219294 + 0.0*i,
    0.286274633196704 + 0.0*i,
    -0.646853244620552 + 0.0*i,
    0.511200753904999 + 0.0*i,
    0.247690890816895 + 0.0*i,
    -0.547506221771735 + 0.0*i,
    0.031027438309772 + 0.0*i,
    0.46394874437581 + 0.0*i,
    0.14158247650812 + 0.0*i,
    -0.337263744194714 + 0.0*i,
    -0.178641836803512 + 0.0*i,
    -0.927029125384174 + 0.0*i,
    0.960288293793374 + 0.0*i,
    -0.88452408849969 + 0.0*i,
    -0.980616083321913 + 0.0*i,
    -0.401464207552311 + 0.0*i,
    0.263145999489274 + 0.0*i,
    -0.0011467689430101 + 0.0*i,
    -0.436420619915732 + 0.0*i,
    0.521475705809347 + 0.0*i,
    -0.491159567899317 + 0.0*i,
    -0.0129125218504255 + 0.0*i,
    -0.680206020289375 + 0.0*i,
    -0.351793231684904 + 0.0*i,
    0.461465787924224 + 0.0*i,
    0.0971334715698498 + 0.0*i,
    0.272929947292055 + 0.0*i,
    -0.41573558095501 + 0.0*i,
    -0.564971638768876 + 0.0*i,
    0.511301628298903 + 0.0*i,
    0.488354675793649 + 0.0*i,
    -0.196586127442492 + 0.0*i,
    -0.109916879231047 + 0.0*i,
    0.0111259760555615 + 0.0*i,
    0.913100981713536 + 0.0*i,
    -0.331289856588959 + 0.0*i,
    0.174038710237723 + 0.0*i,
    -0.70712510063491 + 0.0*i,
    -0.802444437790359 + 0.0*i,
    0.505594463206787 + 0.0*i,
    0.02268789282398 + 0.0*i,
    -0.0218860577755856 + 0.0*i,
    -0.0285205108681665 + 0.0*i,
    0.206093553484382 + 0.0*i,
    -0.808613621768559 + 0.0*i,
    0.205896092453064 + 0.0*i,
    -0.00336257509278621 + 0.0*i,
    0.241365924977832 + 0.0*i,
    -0.0835803146653271 + 0.0*i,
    -0.618937992055133 + 0.0*i,
    -0.576088166428041 + 0.0*i,
    0.841318424222346 + 0.0*i,
    -0.179031995624466 + 0.0*i,
    -0.389540076493274 + 0.0*i,
    -0.51858484908753 + 0.0*i,
    -0.974976271452199 + 0.0*i,
    -0.402772429464904 + 0.0*i,
    0.12961273891574 + 0.0*i,
    -0.341090310526574 + 0.0*i,
    -0.158503515173834 + 0.0*i,
    -0.836011908186013 + 0.0*i,
    0.116465501532437 + 0.0*i,
    -0.255513312008637 + 0.0*i,
    0.286400513255991 + 0.0*i,
    0.0719312461195774 + 0.0*i,
    0.499580382214487 + 0.0*i,
    -1.19164513696336 + 0.0*i,
    0.146404065393603 + 0.0*i,
    0.537784177561846 + 0.0*i,
    0.360156381446669 + 0.0*i,
    -0.409176055172972 + 0.0*i,
    -0.104519944335847 + 0.0*i,
    -0.653587763984367 + 0.0*i,
    0.79082484678932 + 0.0*i,
    -0.327007213527865 + 0.0*i,
    -1.08609939589067 + 0.0*i,
    -0.16319658681848 + 0.0*i,
    -0.274005173933481 + 0.0*i,
    0.441715540084769 + 0.0*i,
    0.52345882685295 + 0.0*i,
    -0.885332431314742 + 0.0*i,
    -0.195721099118108 + 0.0*i,
    0.612314578631293 + 0.0*i,
    -0.556896180391102 + 0.0*i,
    0.193999212940297 + 0.0*i,
    -0.571737318339294 + 0.0*i,
    -0.737892899682032 + 0.0*i,
    -0.236347793119127 + 0.0*i,
    0.911448439101535 + 0.0*i,
    -0.00268429765601127 + 0.0*i,
    -0.166004708537224 + 0.0*i,
    0.221851579878951 + 0.0*i,
    0.601648501723204 + 0.0*i,
    0.721271861403568 + 0.0*i,
    -0.565563846490672 + 0.0*i,
    -0.22490229875121 + 0.0*i,
    -0.946708907525505 + 0.0*i,
    0.0684313598001686 + 0.0*i,
    -0.593508688171838 + 0.0*i,
    -0.524977571379101 + 0.0*i,
    -0.60010337394275 + 0.0*i,
    0.697617552082323 + 0.0*i,
    0.430220239520119 + 0.0*i,
    0.203554217476873 + 0.0*i,
    0.173068360545777 + 0.0*i,
    0.251308993426058 + 0.0*i,
    -0.166911723378064 + 0.0*i,
    -0.121876549236101 + 0.0*i,
    0.282027293360505 + 0.0*i,
    -0.610831040168466 + 0.0*i,
    -0.203463930938476 + 0.0*i,
    0.0431987963447626 + 0.0*i,
    0.196463290886764 + 0.0*i,
    0.16662927707499 + 0.0*i,
    -0.752719874126928 + 0.0*i,
    0.538804852049667 + 0.0*i,
    0.0654311362085742 + 0.0*i,
    0.780693884678102 + 0.0*i,
    0.744823212856185 + 0.0*i,
    -0.984239463457692 + 0.0*i,
    -0.540318877069888 + 0.0*i,
    -0.262007765713309 + 0.0*i,
    0.298730169693328 + 0.0*i,
    -0.357871664787039 + 0.0*i,
    0.834653408774496 + 0.0*i,
    -0.099322430122225 + 0.0*i,
    0.347848950902579 + 0.0*i,
    -0.129452034029033 + 0.0*i,
    0.483287499610056 + 0.0*i,
    -0.33724517780889 + 0.0*i,
    0.223361624807867 + 0.0*i,
    -0.569883659525455 + 0.0*i,
    -0.0693010425501838 + 0.0*i,
    -0.808759188447264 + 0.0*i,
    -0.853793281723009 + 0.0*i,
    0.298227561645892 + 0.0*i,
    -0.301176191486013 + 0.0*i,
    -0.467534391814826 + 0.0*i,
    0.873448252644776 + 0.0*i,
    0.0792650068037775 + 0.0*i,
    0.746721686708252 + 0.0*i,
    -0.495436480910775 + 0.0*i,
    0.496703099649048 + 0.0*i,
    -0.232081627037624 + 0.0*i,
    -0.574959541452462 + 0.0*i,
    -0.403958382524271 + 0.0*i,
    0.710115974326487 + 0.0*i,
    -0.569894307035111 + 0.0*i,
    -0.129989849377445 + 0.0*i,
    -0.485045362718407 + 0.0*i,
    -0.229633404683927 + 0.0*i,
    0.120702063362981 + 0.0*i,
    -0.251697426285619 + 0.0*i,
    0.487678797869711 + 0.0*i,
    -0.27050774478348 + 0.0*i,
    -1.00011621086074 + 0.0*i,
    -0.69579202604811 + 0.0*i,
    0.039092341956919 + 0.0*i,
    0.375274666941197 + 0.0*i,
    -0.235986525238912 + 0.0*i,
    -0.0653968234037147 + 0.0*i,
    -0.67251377967207 + 0.0*i,
    0.20096258889954 + 0.0*i,
    0.162375400071294 + 0.0*i,
    -0.43799477537162 + 0.0*i,
    0.696816302261033 + 0.0*i,
    -0.137239812381006 + 0.0*i,
    0.695300739347923 + 0.0*i,
    -0.351626303606147 + 0.0*i,
    -0.124301410813247 + 0.0*i,
    -0.945346399708273 + 0.0*i,
    0.319332626721626 + 0.0*i,
    0.928427207456461 + 0.0*i,
    -0.529102929984964 + 0.0*i,
    7.60634865271251e-05 + 0.0*i,
    -0.614568321828248 + 0.0*i,
    0.234174793614244 + 0.0*i,
    0.521601708287994 + 0.0*i,
    -0.608324187590797 + 0.0*i,
    -1.04345289623162 + 0.0*i,
    0.071029174820513 + 0.0*i,
    0.676821279063547 + 0.0*i,
    0.194062515461707 + 0.0*i,
    0.0808679539992097 + 0.0*i,
    0.46729877836552 + 0.0*i
]);