V:=Matrix(CC,4,16,[
    0.815840262888991 + 0.0*i,
    0.363533666833283 + 0.0*i,
    0.399114078467584 + 0.0*i,
    0.538952542002846 + 0.0*i,
    0.529268915529462 + 0.0*i,
    0.0348470766351023 + 0.0*i,
    -0.40681692616969 + 0.0*i,
    -0.664795355575945 + 0.0*i,
    -0.904815878539824 + 0.0*i,
    -0.0479251191865799 + 0.0*i,
    0.334528524915339 + 0.0*i,
    0.38338779129101 + 0.0*i,
    -0.113409108021242 + 0.0*i,
    0.129850792504339 + 0.0*i,
    0.354787328661489 + 0.0*i,
    -0.146287752818698 + 0.0*i,
    0.18922287258352 + 0.0*i,
    0.440705600138291 + 0.0*i,
    -0.553565570176914 + 0.0*i,
    -0.0399348281145208 + 0.0*i,
    -1.21039151421997 + 0.0*i,
    -0.108928954670719 + 0.0*i,
    -0.238249431888445 + 0.0*i,
    -0.132894963958723 + 0.0*i,
    -0.406346489824462 + 0.0*i,
    -0.0268741318470576 + 0.0*i,
    0.742746146924979 + 0.0*i,
    -0.760995152893504 + 0.0*i,
    -0.0886237064460473 + 0.0*i,
    -0.986017286816926 + 0.0*i,
    -0.0792015474652083 + 0.0*i,
    0.640747070957992 + 0.0*i,
    -0.279175365755136 + 0.0*i,
    0.275351639160151 + 0.0*i,
    -0.156851463765526 + 0.0*i,
    0.197766060174332 + 0.0*i,
    -0.324829508121822 + 0.0*i,
    0.688899749016547 + 0.0*i,
    -1.17419322489285 + 0.0*i,
    0.32454230518548 + 0.0*i,
    -0.448902605846889 + 0.0*i,
    0.411191406005011 + 0.0*i,
    -0.449659179109334 + 0.0*i,
    -0.20389350727176 + 0.0*i,
    -0.0878226185243565 + 0.0*i,
    -0.222516875875296 + 0.0*i,
    0.576828219599817 + 0.0*i,
    -0.110962542568381 + 0.0*i,
    -0.0711065110496577 + 0.0*i,
    -0.23638891232026 + 0.0*i,
    0.702562265046663 + 0.0*i,
    0.784146118008641 + 0.0*i,
    -0.124229487107203 + 0.0*i,
    -0.015049700648291 + 0.0*i,
    -0.0898923041296599 + 0.0*i,
    0.70975511354835 + 0.0*i,
    0.650766820227522 + 0.0*i,
    0.52965234096367 + 0.0*i,
    -0.199574182857899 + 0.0*i,
    0.11392813424426 + 0.0*i,
    -0.614560877095201 + 0.0*i,
    0.0799895888957288 + 0.0*i,
    -1.15767666446238 + 0.0*i,
    0.589560624889432 + 0.0*i
]);