V:=Matrix(CC,4,16,[
    0.508608646807857 + 0.0*i,
    0.259947500999315 + 0.0*i,
    0.57931168718493 + 0.0*i,
    -0.793458614782002 + 0.0*i,
    0.160650149353589 + 0.0*i,
    0.0457045066861931 + 0.0*i,
    -0.59759283534417 + 0.0*i,
    0.110985120353399 + 0.0*i,
    -0.299837854240301 + 0.0*i,
    0.418503273638587 + 0.0*i,
    -0.60883783553965 + 0.0*i,
    0.310008254971104 + 0.0*i,
    0.803663001621484 + 0.0*i,
    -0.383253612856442 + 0.0*i,
    0.928670124822736 + 0.0*i,
    0.409118038170211 + 0.0*i,
    0.643645973481906 + 0.0*i,
    0.230025642805559 + 0.0*i,
    0.820276963790855 + 0.0*i,
    -0.452074292248628 + 0.0*i,
    -0.943702082564951 + 0.0*i,
    -0.486022439352942 + 0.0*i,
    -0.079166254061027 + 0.0*i,
    -0.880066572355085 + 0.0*i,
    -0.160282627176062 + 0.0*i,
    0.740227870123806 + 0.0*i,
    0.312184133058049 + 0.0*i,
    0.691024203092983 + 0.0*i,
    -0.0594371278745782 + 0.0*i,
    0.564459079034979 + 0.0*i,
    -0.0992079133175797 + 0.0*i,
    0.121372799422928 + 0.0*i,
    0.544906276709357 + 0.0*i,
    -0.652628313027896 + 0.0*i,
    0.0289845531813178 + 0.0*i,
    0.377665891281524 + 0.0*i,
    0.0643486431988541 + 0.0*i,
    -0.0311875586331167 + 0.0*i,
    -0.647309294120838 + 0.0*i,
    0.198018510782308 + 0.0*i,
    -0.151675340418336 + 0.0*i,
    0.0398760633918184 + 0.0*i,
    0.535251380011378 + 0.0*i,
    -0.530438938493743 + 0.0*i,
    -0.180071243037762 + 0.0*i,
    -0.542160631295744 + 0.0*i,
    0.36073701422443 + 0.0*i,
    0.343229795123975 + 0.0*i,
    -0.133632264218291 + 0.0*i,
    -0.665835966466343 + 0.0*i,
    0.440924523439082 + 0.0*i,
    0.0911859594158241 + 0.0*i,
    0.247076050668498 + 0.0*i,
    0.860535202574716 + 0.0*i,
    0.429451243330321 + 0.0*i,
    -0.41777741014168 + 0.0*i,
    -0.931795487218316 + 0.0*i,
    -0.482961225299223 + 0.0*i,
    -0.51245260762609 + 0.0*i,
    -0.311249147242825 + 0.0*i,
    -0.56399583618445 + 0.0*i,
    -0.485171225671324 + 0.0*i,
    0.0534584771751054 + 0.0*i,
    -0.8193495275358 + 0.0*i
]);