V:=Matrix(CC,4,12,[
    -0.788882877601723 + 0.0*i,
    -0.556313511048995 + 0.0*i,
    -0.715799627899418 + 0.0*i,
    -0.336526987361013 + 0.0*i,
    0.49443696393239 + 0.0*i,
    -0.260318313987925 + 0.0*i,
    -0.819445437841909 + 0.0*i,
    0.444053464770561 + 0.0*i,
    0.251752584454244 + 0.0*i,
    -0.00697092411997591 + 0.0*i,
    0.191568505890692 + 0.0*i,
    0.606676561812466 + 0.0*i,
    -0.413778152982028 + 0.0*i,
    -0.327002109073408 + 0.0*i,
    0.0233704846641455 + 0.0*i,
    -0.161702815719095 + 0.0*i,
    -0.66864380601822 + 0.0*i,
    0.544536380119579 + 0.0*i,
    0.247004642487374 + 0.0*i,
    0.575526161086425 + 0.0*i,
    -0.56472407497516 + 0.0*i,
    -0.656824368116395 + 0.0*i,
    0.873929177920349 + 0.0*i,
    0.19245039528264 + 0.0*i,
    -0.408467738123038 + 0.0*i,
    -0.567492236579542 + 0.0*i,
    0.524166490574348 + 0.0*i,
    0.914704938629006 + 0.0*i,
    -0.0216341627410243 + 0.0*i,
    0.344854357586334 + 0.0*i,
    -0.0651481862675062 + 0.0*i,
    -0.203447087660605 + 0.0*i,
    0.604702445714837 + 0.0*i,
    0.627188419343001 + 0.0*i,
    0.378247261170315 + 0.0*i,
    -0.53111385329565 + 0.0*i,
    0.160357117101953 + 0.0*i,
    -0.718865052003817 + 0.0*i,
    0.438433637007787 + 0.0*i,
    -0.0121884734966197 + 0.0*i,
    -0.508687096572401 + 0.0*i,
    0.680023424438817 + 0.0*i,
    -0.496386612458773 + 0.0*i,
    -0.643951851865893 + 0.0*i,
    0.489818915413134 + 0.0*i,
    -0.400093232697644 + 0.0*i,
    -0.208322252630615 + 0.0*i,
    0.540007359231757 + 0.0*i
]);