V:=Matrix(CC,4,12,[
    -0.368865983495751 + 0.0*i,
    0.21278064618659 + 0.0*i,
    -0.937529644328593 + 0.0*i,
    -0.555733227380388 + 0.0*i,
    -0.121225578961503 + 0.0*i,
    -0.00395589427648066 + 0.0*i,
    0.192077544272296 + 0.0*i,
    -0.127525814489158 + 0.0*i,
    -0.0905727418400367 + 0.0*i,
    0.295001689222615 + 0.0*i,
    -0.655325940655345 + 0.0*i,
    0.831757426200466 + 0.0*i,
    0.342704162533184 + 0.0*i,
    -0.872282129944131 + 0.0*i,
    0.325411078886474 + 0.0*i,
    -0.0413299151499683 + 0.0*i,
    0.280103182099308 + 0.0*i,
    0.916487351177866 + 0.0*i,
    0.430183838682582 + 0.0*i,
    0.284472724637479 + 0.0*i,
    0.612227720161883 + 0.0*i,
    0.570609417440955 + 0.0*i,
    0.138230886523496 + 0.0*i,
    0.404621679690248 + 0.0*i,
    0.567037213358215 + 0.0*i,
    -0.400632116785603 + 0.0*i,
    0.120073228607818 + 0.0*i,
    -0.737166854594968 + 0.0*i,
    -0.297514746652192 + 0.0*i,
    -0.383669763957944 + 0.0*i,
    -0.801124355025347 + 0.0*i,
    0.927865000254737 + 0.0*i,
    -0.168219800809007 + 0.0*i,
    0.354627475929088 + 0.0*i,
    -0.594032745527626 + 0.0*i,
    -0.263683886972323 + 0.0*i,
    0.642887194773239 + 0.0*i,
    0.0312695778861365 + 0.0*i,
    0.142764906170941 + 0.0*i,
    -0.385862568023626 + 0.0*i,
    -0.911403369717771 + 0.0*i,
    -0.158965635160313 + 0.0*i,
    0.362178778521772 + 0.0*i,
    -0.107759587883425 + 0.0*i,
    0.768954752240195 + 0.0*i,
    -0.691049955655317 + 0.0*i,
    0.471887433911283 + 0.0*i,
    0.253704903582182 + 0.0*i
]);