V:=Matrix(CC,4,12,[
    -0.692807485032078 + 0.0*i,
    0.491037762464338 + 0.0*i,
    0.0552764685580978 + 0.0*i,
    0.412878945716394 + 0.0*i,
    0.481736350090973 + 0.0*i,
    0.224417680121153 + 0.0*i,
    -0.881349377991264 + 0.0*i,
    -0.019184168103554 + 0.0*i,
    -0.266620082305184 + 0.0*i,
    0.826072909430566 + 0.0*i,
    0.462552182011631 + 0.0*i,
    0.279928539308853 + 0.0*i,
    -0.255404351311297 + 0.0*i,
    -0.364318971244873 + 0.0*i,
    0.859197879525789 + 0.0*i,
    -0.609869558214277 + 0.0*i,
    0.267131457100707 + 0.0*i,
    -0.611529511984382 + 0.0*i,
    -0.348531548256033 + 0.0*i,
    -0.230532040269527 + 0.0*i,
    -0.247210540745814 + 0.0*i,
    -0.510666331274563 + 0.0*i,
    0.0365994168063959 + 0.0*i,
    0.865273909531707 + 0.0*i,
    -0.595578972907378 + 0.0*i,
    -0.655555174940115 + 0.0*i,
    -0.400259960654354 + 0.0*i,
    0.298290578887478 + 0.0*i,
    -0.387630198754195 + 0.0*i,
    -0.583011197487127 + 0.0*i,
    0.304298408363956 + 0.0*i,
    0.970220541931029 + 0.0*i,
    0.0725439774857138 + 0.0*i,
    0.0959615522707215 + 0.0*i,
    0.582590343179085 + 0.0*i,
    0.297288394052336 + 0.0*i,
    0.316341734593106 + 0.0*i,
    -0.443171541995115 + 0.0*i,
    -0.313871756835668 + 0.0*i,
    -0.607134934503538 + 0.0*i,
    0.73913036917858 + 0.0*i,
    0.485557725122163 + 0.0*i,
    0.095663537734227 + 0.0*i,
    -0.0718265001124576 + 0.0*i,
    0.928729267109792 + 0.0*i,
    0.218208219124056 + 0.0*i,
    0.667303869043322 + 0.0*i,
    0.290793199930657 + 0.0*i
]);