V:=Matrix(CC,4,50,[
    -0.474302117020814 + 0.0*i,
    -0.527654521968785 + 0.0*i,
    -0.742768419001769 + 0.0*i,
    0.814990927522105 + 0.0*i,
    0.808216693893119 + 0.0*i,
    -0.196222083521214 + 0.0*i,
    0.248757392142034 + 0.0*i,
    -0.333084142478664 + 0.0*i,
    0.534722510763406 + 0.0*i,
    0.422418362561963 + 0.0*i,
    -0.190416716390374 + 0.0*i,
    0.682462435669961 + 0.0*i,
    0.856023182470921 + 0.0*i,
    0.193223138897992 + 0.0*i,
    0.888272586479344 + 0.0*i,
    0.112663991605889 + 0.0*i,
    -0.790874727153611 + 0.0*i,
    0.689247807789949 + 0.0*i,
    -0.319145422377008 + 0.0*i,
    -0.275438777380615 + 0.0*i,
    -0.448720778742964 + 0.0*i,
    0.0794889638293044 + 0.0*i,
    -0.52794816630642 + 0.0*i,
    -0.0440377587328239 + 0.0*i,
    0.195617978915838 + 0.0*i,
    -0.967226207108604 + 0.0*i,
    -0.503713838840087 + 0.0*i,
    -0.102918679901251 + 0.0*i,
    0.395151877364826 + 0.0*i,
    -0.773591192459528 + 0.0*i,
    -0.515791839186707 + 0.0*i,
    -0.147509706555045 + 0.0*i,
    -0.48859177635363 + 0.0*i,
    0.600868019252206 + 0.0*i,
    -0.748226853286241 + 0.0*i,
    0.341648636632995 + 0.0*i,
    0.870739830497935 + 0.0*i,
    -0.00135986818954043 + 0.0*i,
    0.153362945585507 + 0.0*i,
    0.204500836833266 + 0.0*i,
    0.0430102493832007 + 0.0*i,
    -0.115126201462068 + 0.0*i,
    0.412913040621832 + 0.0*i,
    -0.632541570901295 + 0.0*i,
    0.577718091003965 + 0.0*i,
    0.350366318898797 + 0.0*i,
    -0.174583831520581 + 0.0*i,
    0.514887944666596 + 0.0*i,
    0.0591965415405452 + 0.0*i,
    0.262020992840284 + 0.0*i,
    -0.0253877287174097 + 0.0*i,
    -0.298807691090686 + 0.0*i,
    0.082314439602922 + 0.0*i,
    -0.0493684941116924 + 0.0*i,
    -0.0497893157906314 + 0.0*i,
    0.422683028494504 + 0.0*i,
    0.908892240073113 + 0.0*i,
    -0.52395071079936 + 0.0*i,
    -0.463868455834877 + 0.0*i,
    -0.377257690441072 + 0.0*i,
    -0.355374846306032 + 0.0*i,
    0.461822983903644 + 0.0*i,
    -0.0621583539736181 + 0.0*i,
    -0.205457400727883 + 0.0*i,
    -0.449236324432448 + 0.0*i,
    0.140715678108969 + 0.0*i,
    0.107223408208926 + 0.0*i,
    0.549137227672767 + 0.0*i,
    -0.243540150347997 + 0.0*i,
    -0.745696276649837 + 0.0*i,
    -0.855034849205904 + 0.0*i,
    -0.141744924261643 + 0.0*i,
    0.745721739848743 + 0.0*i,
    0.765791132196647 + 0.0*i,
    0.742237500585268 + 0.0*i,
    -0.0761248118316588 + 0.0*i,
    -0.300536124188781 + 0.0*i,
    0.977596901107864 + 0.0*i,
    -0.122274505297864 + 0.0*i,
    0.409748958242322 + 0.0*i,
    0.81444594053606 + 0.0*i,
    -0.352530493327577 + 0.0*i,
    0.00491659645975791 + 0.0*i,
    0.674537347862298 + 0.0*i,
    -0.315562545168885 + 0.0*i,
    0.14434807815049 + 0.0*i,
    0.430742691588797 + 0.0*i,
    -0.742776453180692 + 0.0*i,
    0.397017788525348 + 0.0*i,
    -0.3927622210303 + 0.0*i,
    0.743660147983897 + 0.0*i,
    0.691229509546701 + 0.0*i,
    -0.369396654580742 + 0.0*i,
    0.476191445385396 + 0.0*i,
    0.473421264598813 + 0.0*i,
    -0.758041478520014 + 0.0*i,
    0.806638403200747 + 0.0*i,
    -0.502656708522472 + 0.0*i,
    -0.319511265236713 + 0.0*i,
    -0.0332222321724613 + 0.0*i,
    -0.736539860491866 + 0.0*i,
    0.0215766056264277 + 0.0*i,
    0.26648644598051 + 0.0*i,
    0.290449403727919 + 0.0*i,
    0.275603846309158 + 0.0*i,
    -0.887369339568409 + 0.0*i,
    0.26082978680465 + 0.0*i,
    -0.442486133855127 + 0.0*i,
    -0.590562551006617 + 0.0*i,
    -0.799052681048518 + 0.0*i,
    0.727771675871731 + 0.0*i,
    -0.515430937236942 + 0.0*i,
    -0.519492934396483 + 0.0*i,
    -0.377910597297694 + 0.0*i,
    0.0094722713444003 + 0.0*i,
    0.818295698756899 + 0.0*i,
    -0.605849476394516 + 0.0*i,
    0.474433979288027 + 0.0*i,
    -0.927315747389619 + 0.0*i,
    -0.0798921373154829 + 0.0*i,
    0.057819015620236 + 0.0*i,
    -0.903995246066976 + 0.0*i,
    -0.419637764650045 + 0.0*i,
    -0.441305548208408 + 0.0*i,
    -0.616472098232168 + 0.0*i,
    -0.0285689228114331 + 0.0*i,
    0.664367330035108 + 0.0*i,
    -0.118554095382434 + 0.0*i,
    0.192905508064799 + 0.0*i,
    0.213202377846797 + 0.0*i,
    0.293013283335469 + 0.0*i,
    0.15483789678158 + 0.0*i,
    0.565034778881618 + 0.0*i,
    -0.281611347017587 + 0.0*i,
    0.170104958924219 + 0.0*i,
    -0.927872614378297 + 0.0*i,
    0.0138014047441095 + 0.0*i,
    0.379482482009578 + 0.0*i,
    -0.160026105387246 + 0.0*i,
    -0.320227886409177 + 0.0*i,
    0.667741189077143 + 0.0*i,
    0.568610202286965 + 0.0*i,
    0.707816862621603 + 0.0*i,
    -0.450951925369149 + 0.0*i,
    0.507173033074581 + 0.0*i,
    0.0630597992898279 + 0.0*i,
    0.185749317461652 + 0.0*i,
    0.0977134356634446 + 0.0*i,
    0.614030608495831 + 0.0*i,
    0.396501442713192 + 0.0*i,
    0.47204450765446 + 0.0*i,
    -0.745304814280833 + 0.0*i,
    -0.598591791571386 + 0.0*i,
    -0.448474834963319 + 0.0*i,
    0.487103536230472 + 0.0*i,
    0.107279816440928 + 0.0*i,
    0.0981976278958672 + 0.0*i,
    0.669799772185099 + 0.0*i,
    0.424261238247727 + 0.0*i,
    -0.203249641261272 + 0.0*i,
    0.508155790038422 + 0.0*i,
    -0.185082656359252 + 0.0*i,
    -7.83446212742849e-05 + 0.0*i,
    0.894328632508818 + 0.0*i,
    0.141119223835699 + 0.0*i,
    0.539565935491542 + 0.0*i,
    -0.0553330716585491 + 0.0*i,
    -0.19443363202104 + 0.0*i,
    -0.0600692008864923 + 0.0*i,
    -0.619992484640388 + 0.0*i,
    0.290284322681934 + 0.0*i,
    0.424365748469039 + 0.0*i,
    -0.100324641305706 + 0.0*i,
    0.484552664304786 + 0.0*i,
    -0.0396536363829351 + 0.0*i,
    0.0908109386206873 + 0.0*i,
    -0.491485524055477 + 0.0*i,
    -0.00176090005191226 + 0.0*i,
    -0.894244045034508 + 0.0*i,
    0.46235249926992 + 0.0*i,
    0.0289565622284621 + 0.0*i,
    -0.885452225502624 + 0.0*i,
    0.655375539302492 + 0.0*i,
    0.296039694662412 + 0.0*i,
    0.642800066190358 + 0.0*i,
    -0.0579445257079561 + 0.0*i,
    0.220999091984169 + 0.0*i,
    0.532797480523491 + 0.0*i,
    -0.900403442714444 + 0.0*i,
    -0.839545920110541 + 0.0*i,
    -0.168527324291809 + 0.0*i,
    0.425795822058585 + 0.0*i,
    0.425011268118451 + 0.0*i,
    0.391538665376392 + 0.0*i,
    0.46390618545967 + 0.0*i,
    -0.546398946150178 + 0.0*i,
    -0.521825465740497 + 0.0*i,
    0.687457410283206 + 0.0*i,
    -0.685313633981509 + 0.0*i,
    0.895548644226006 + 0.0*i
]);