V:=Matrix(CC,4,23,[
    -0.623063197037367 + 0.0*i,
    0.0469543817104922 + 0.0*i,
    -0.230654314376497 + 0.0*i,
    -0.73608327729754 + 0.0*i,
    -0.81555011110292 + 0.0*i,
    -0.793071139247525 + 0.0*i,
    0.0438514345178157 + 0.0*i,
    -0.362095425014021 + 0.0*i,
    0.323012325830019 + 0.0*i,
    -0.0101835253736008 + 0.0*i,
    -0.332143315319889 + 0.0*i,
    -0.581336981191259 + 0.0*i,
    -0.255693745685541 + 0.0*i,
    -0.842158969971323 + 0.0*i,
    -0.742946053920091 + 0.0*i,
    -0.20847256256315 + 0.0*i,
    -0.504552617755188 + 0.0*i,
    0.390734478537334 + 0.0*i,
    -0.184646811353783 + 0.0*i,
    -0.394316569099822 + 0.0*i,
    0.643619993242008 + 0.0*i,
    -0.830310773668501 + 0.0*i,
    0.245798630870486 + 0.0*i,
    0.023619813481159 + 0.0*i,
    0.238867816968501 + 0.0*i,
    -0.0949204521796125 + 0.0*i,
    -0.524503255785532 + 0.0*i,
    -0.393009779082246 + 0.0*i,
    -0.328746986228929 + 0.0*i,
    0.683307615343094 + 0.0*i,
    0.417136398659868 + 0.0*i,
    -0.916202728826942 + 0.0*i,
    -0.967812557117792 + 0.0*i,
    0.199762853091996 + 0.0*i,
    0.293277208415142 + 0.0*i,
    -0.515857740751625 + 0.0*i,
    0.155580379246787 + 0.0*i,
    -0.161733294046114 + 0.0*i,
    -0.212014180030416 + 0.0*i,
    0.66851705375766 + 0.0*i,
    0.0474758471635804 + 0.0*i,
    -0.690824107034674 + 0.0*i,
    -0.544781121643924 + 0.0*i,
    -0.332046448304118 + 0.0*i,
    0.473414941138802 + 0.0*i,
    0.519011625147523 + 0.0*i,
    0.650236281869957 + 0.0*i,
    -0.857219770058712 + 0.0*i,
    -0.837686023264939 + 0.0*i,
    0.417454802906385 + 0.0*i,
    -0.322781907370318 + 0.0*i,
    -0.0554514127325006 + 0.0*i,
    -0.738841794023435 + 0.0*i,
    -0.0517499616722048 + 0.0*i,
    0.0769901226553313 + 0.0*i,
    0.0321451870150353 + 0.0*i,
    -0.0150210780905753 + 0.0*i,
    0.563774909403048 + 0.0*i,
    0.0484723681978653 + 0.0*i,
    -0.493767131679908 + 0.0*i,
    -0.0771848841173495 + 0.0*i,
    -0.363971205973845 + 0.0*i,
    -0.42349627990718 + 0.0*i,
    -0.897441559092791 + 0.0*i,
    -0.425024818916716 + 0.0*i,
    -0.740106255595102 + 0.0*i,
    0.354879095429692 + 0.0*i,
    0.28815436914965 + 0.0*i,
    -0.422718758069837 + 0.0*i,
    -0.420009689247576 + 0.0*i,
    -0.543988673832643 + 0.0*i,
    0.491335359099604 + 0.0*i,
    0.101394639080501 + 0.0*i,
    0.177153305247537 + 0.0*i,
    -0.502497915360593 + 0.0*i,
    -0.0960332751605425 + 0.0*i,
    0.823405931256268 + 0.0*i,
    0.475556931955379 + 0.0*i,
    -0.223784830769231 + 0.0*i,
    -0.902908650591844 + 0.0*i,
    0.511107721599756 + 0.0*i,
    0.82209850012679 + 0.0*i,
    0.0791558076558599 + 0.0*i,
    0.626333653333449 + 0.0*i,
    -0.85401651844808 + 0.0*i,
    0.319562223852612 + 0.0*i,
    0.0377028085032664 + 0.0*i,
    -0.538553494579341 + 0.0*i,
    -0.0448210666046103 + 0.0*i,
    0.569645452326501 + 0.0*i,
    -0.0712525947651951 + 0.0*i,
    0.701149966013783 + 0.0*i
]);