V:=Matrix(CC,3,16,[
    -0.163165512702202 + 0.0*i,
    0.233828934789708 + 0.0*i,
    -0.834842763129113 + 0.0*i,
    -0.780235870033753 + 0.0*i,
    0.991817536220143 + 0.0*i,
    -0.413135054848312 + 0.0*i,
    0.308184243976422 + 0.0*i,
    0.679849141732007 + 0.0*i,
    0.817712437805562 + 0.0*i,
    -0.794287567621824 + 0.0*i,
    -0.245135015193714 + 0.0*i,
    -0.261575327327509 + 0.0*i,
    0.269981879500975 + 0.0*i,
    -0.691958721051999 + 0.0*i,
    0.354881076025176 + 0.0*i,
    -0.359238193499369 + 0.0*i,
    -0.946889623229226 + 0.0*i,
    0.871490866798315 + 0.0*i,
    0.549810011962394 + 0.0*i,
    0.298817314760504 + 0.0*i,
    0.103901026318508 + 0.0*i,
    0.778587353538825 + 0.0*i,
    0.598650805887116 + 0.0*i,
    0.733351952671512 + 0.0*i,
    0.336394936095951 + 0.0*i,
    0.23108428128756 + 0.0*i,
    -0.274939914472643 + 0.0*i,
    0.625961107448939 + 0.0*i,
    -0.343191680250608 + 0.0*i,
    -0.418122000326563 + 0.0*i,
    -0.919655087820836 + 0.0*i,
    -0.0109481662515553 + 0.0*i,
    -0.277086731702264 + 0.0*i,
    -0.431077369322761 + 0.0*i,
    -0.0273223644082904 + 0.0*i,
    -0.549490854802875 + 0.0*i,
    -0.0741791855992416 + 0.0*i,
    0.472357025315482 + 0.0*i,
    0.739350853367592 + 0.0*i,
    0.000240830094801018 + 0.0*i,
    0.467102575487532 + 0.0*i,
    0.561878380846975 + 0.0*i,
    0.929686435178955 + 0.0*i,
    -0.734677507546546 + 0.0*i,
    -0.899627286907131 + 0.0*i,
    0.588529626444578 + 0.0*i,
    0.168208029904829 + 0.0*i,
    -0.93318168541128 + 0.0*i
]);