V:=Matrix(CC,3,16,[
    0.254209329755753 + 0.0*i,
    0.868685535642066 + 0.0*i,
    0.611021191666542 + 0.0*i,
    -0.213565279592022 + 0.0*i,
    -0.360554201557018 + 0.0*i,
    -0.996275400254535 + 0.0*i,
    -0.633112394960009 + 0.0*i,
    0.279112437893291 + 0.0*i,
    -0.360704161770588 + 0.0*i,
    0.429172779010921 + 0.0*i,
    -0.41611282588343 + 0.0*i,
    -1.06813007354318 + 0.0*i,
    0.26306607735002 + 0.0*i,
    0.87743903208278 + 0.0*i,
    -0.32973238540225 + 0.0*i,
    0.824457013967232 + 0.0*i,
    -0.248397869501642 + 0.0*i,
    -0.390204880980802 + 0.0*i,
    0.255548324444786 + 0.0*i,
    -0.385303473993782 + 0.0*i,
    -0.172262598477915 + 0.0*i,
    -0.101575398170642 + 0.0*i,
    0.750055542308206 + 0.0*i,
    -0.915312304134482 + 0.0*i,
    -0.0032107780233207 + 0.0*i,
    -0.39317619942198 + 0.0*i,
    0.951751893488035 + 0.0*i,
    -0.167728229376777 + 0.0*i,
    -0.36169747980358 + 0.0*i,
    0.36007120599627 + 0.0*i,
    -0.316356826325305 + 0.0*i,
    -0.685209841611132 + 0.0*i,
    0.241174255053431 + 0.0*i,
    -0.572198560930367 + 0.0*i,
    0.0440468069029554 + 0.0*i,
    -1.04694541149486 + 0.0*i,
    0.860506845450021 + 0.0*i,
    -0.62839997028926 + 0.0*i,
    -0.232475924947425 + 0.0*i,
    -0.506082937400567 + 0.0*i,
    0.993400916755677 + 0.0*i,
    0.376693770317864 + 0.0*i,
    -0.341378051276682 + 0.0*i,
    0.15185991533869 + 0.0*i,
    1.02575438423759 + 0.0*i,
    -0.303052658034022 + 0.0*i,
    0.880840866091077 + 0.0*i,
    0.0223772434238824 + 0.0*i
]);