V:=Matrix(CC,4,24,[
    -0.169372619441125 + 0.0*i,
    -0.431428774765954 + 0.0*i,
    -0.767753951502117 + 0.0*i,
    -0.513515472225501 + 0.0*i,
    -0.666884627700052 + 0.0*i,
    0.615263272839423 + 0.0*i,
    -0.022339494199537 + 0.0*i,
    -0.0788671455176994 + 0.0*i,
    -0.280661892118304 + 0.0*i,
    -0.0966169522613985 + 0.0*i,
    -0.805106158612874 + 0.0*i,
    -0.258881511278567 + 0.0*i,
    -0.122353361821166 + 0.0*i,
    -0.603609045911407 + 0.0*i,
    -0.0193524557763632 + 0.0*i,
    -0.348539940660584 + 0.0*i,
    0.698477443377843 + 0.0*i,
    0.521573724275638 + 0.0*i,
    0.196741124855771 + 0.0*i,
    0.370838097177075 + 0.0*i,
    -0.965456779237942 + 0.0*i,
    -0.294791770469936 + 0.0*i,
    0.492074059094524 + 0.0*i,
    -0.774764953562702 + 0.0*i,
    -0.141052964264914 + 0.0*i,
    0.784671279391885 + 0.0*i,
    -0.370822557246956 + 0.0*i,
    0.23716407003999 + 0.0*i,
    -0.0427950701194009 + 0.0*i,
    -0.557693519659305 + 0.0*i,
    0.268547826082177 + 0.0*i,
    0.392327057974457 + 0.0*i,
    -0.412106960081594 + 0.0*i,
    0.872528695275098 + 0.0*i,
    -0.11231532957341 + 0.0*i,
    -0.757277004330752 + 0.0*i,
    0.473450118525241 + 0.0*i,
    -0.116855880626911 + 0.0*i,
    -0.557797989247436 + 0.0*i,
    0.0595690801748251 + 0.0*i,
    -0.336988907654058 + 0.0*i,
    -0.729128658941633 + 0.0*i,
    0.929898445723975 + 0.0*i,
    -0.211984694885474 + 0.0*i,
    0.208026457490144 + 0.0*i,
    -0.44927063499148 + 0.0*i,
    0.671690126890802 + 0.0*i,
    -0.557586229184941 + 0.0*i,
    -0.618161360072758 + 0.0*i,
    0.177733179580898 + 0.0*i,
    -0.507958322776228 + 0.0*i,
    0.705892525428789 + 0.0*i,
    0.644980819008343 + 0.0*i,
    0.458980277624568 + 0.0*i,
    -0.766586502078412 + 0.0*i,
    -0.0473974992114431 + 0.0*i,
    -0.495356410079938 + 0.0*i,
    -0.454539852395909 + 0.0*i,
    -0.223005139216977 + 0.0*i,
    -0.504320916818818 + 0.0*i,
    0.855717142767156 + 0.0*i,
    0.132072879559202 + 0.0*i,
    0.369891262316911 + 0.0*i,
    -0.929631461148235 + 0.0*i,
    0.439136208967919 + 0.0*i,
    -0.280535327687777 + 0.0*i,
    0.0950561202985267 + 0.0*i,
    -0.192581430461774 + 0.0*i,
    0.145554119623211 + 0.0*i,
    0.820549603521689 + 0.0*i,
    -0.19910306580751 + 0.0*i,
    0.234176756820957 + 0.0*i,
    -0.754515414003406 + 0.0*i,
    0.40813124418196 + 0.0*i,
    0.122567709092055 + 0.0*i,
    0.426345876268147 + 0.0*i,
    -0.370719865157192 + 0.0*i,
    0.315857797080603 + 0.0*i,
    0.58286203078999 + 0.0*i,
    0.915211959060577 + 0.0*i,
    0.711349972065507 + 0.0*i,
    0.150838864491742 + 0.0*i,
    -0.538013055593687 + 0.0*i,
    -0.324302813260993 + 0.0*i,
    -0.16918277599658 + 0.0*i,
    0.777533007236201 + 0.0*i,
    0.742743118250546 + 0.0*i,
    -0.103714901990213 + 0.0*i,
    -0.453571523779614 + 0.0*i,
    0.342975478386325 + 0.0*i,
    -0.29588197718755 + 0.0*i,
    0.883433069031093 + 0.0*i,
    0.0585849696450658 + 0.0*i,
    0.194812876263229 + 0.0*i,
    0.516772157715282 + 0.0*i,
    0.18438576495793 + 0.0*i
]);