V:=Matrix(CC,4,12,[
    -0.197541743536505 + 0.0*i,
    -0.0441990389023602 + 0.0*i,
    0.73678908206412 + 0.0*i,
    -0.151427877401076 + 0.0*i,
    -0.585092092983827 + 0.0*i,
    -0.0891459044684943 + 0.0*i,
    0.540286819460488 + 0.0*i,
    -0.781226069141114 + 0.0*i,
    0.241658012611237 + 0.0*i,
    0.0452551747226816 + 0.0*i,
    0.826945069805649 + 0.0*i,
    0.629406753393376 + 0.0*i,
    0.555044938998078 + 0.0*i,
    -0.799471547151818 + 0.0*i,
    -0.212917684412998 + 0.0*i,
    -0.364600581646098 + 0.0*i,
    0.577783912389711 + 0.0*i,
    0.120724425090356 + 0.0*i,
    0.341782179046663 + 0.0*i,
    -0.586529676752091 + 0.0*i,
    0.24439473794474 + 0.0*i,
    -0.919585364612008 + 0.0*i,
    -0.332944025779913 + 0.0*i,
    0.221598418156125 + 0.0*i,
    -0.352950727801576 + 0.0*i,
    0.569307652928226 + 0.0*i,
    0.641572299506596 + 0.0*i,
    -0.713810603946059 + 0.0*i,
    0.0721416805545031 + 0.0*i,
    0.929755391121993 + 0.0*i,
    0.287283209291235 + 0.0*i,
    -0.0720101341429855 + 0.0*i,
    -0.216406431526541 + 0.0*i,
    -0.360916785630481 + 0.0*i,
    -0.288609760481503 + 0.0*i,
    -0.642309726448123 + 0.0*i,
    -0.726781730762114 + 0.0*i,
    -0.186588083395493 + 0.0*i,
    0.0138331237441794 + 0.0*i,
    -0.578412626559598 + 0.0*i,
    0.564518080310493 + 0.0*i,
    -0.336442939910715 + 0.0*i,
    -0.713281479190862 + 0.0*i,
    -0.201026822254027 + 0.0*i,
    0.913754783015154 + 0.0*i,
    0.148375891289573 + 0.0*i,
    0.349313086609088 + 0.0*i,
    -0.377187770695397 + 0.0*i
]);