V:=Matrix(CC,4,12,[
    0.495086326971196 + 0.0*i,
    -0.539452487007936 + 0.0*i,
    0.309462858631537 + 0.0*i,
    0.270329275471224 + 0.0*i,
    0.154519736950358 + 0.0*i,
    0.193845620517014 + 0.0*i,
    0.312365291396856 + 0.0*i,
    0.367388426048127 + 0.0*i,
    0.662889200924026 + 0.0*i,
    -0.224450771878969 + 0.0*i,
    -0.855044377018294 + 0.0*i,
    0.702221401582462 + 0.0*i,
    0.548869093587004 + 0.0*i,
    0.528692226602094 + 0.0*i,
    -0.917824991166933 + 0.0*i,
    0.874408661708149 + 0.0*i,
    -0.602819653479689 + 0.0*i,
    -0.702805430110239 + 0.0*i,
    -0.739468394389511 + 0.0*i,
    0.612613161311521 + 0.0*i,
    -0.0216470644159106 + 0.0*i,
    0.221027549486517 + 0.0*i,
    0.61275996960658 + 0.0*i,
    0.63863342290096 + 0.0*i,
    -0.252835485748536 + 0.0*i,
    -0.249082061493909 + 0.0*i,
    -0.286313813639522 + 0.0*i,
    0.29991671665052 + 0.0*i,
    0.785868660094701 + 0.0*i,
    0.349907032262751 + 0.0*i,
    0.368940625124484 + 0.0*i,
    0.162711697826871 + 0.0*i,
    -0.153834929813585 + 0.0*i,
    0.865994873945438 + 0.0*i,
    -0.32506325523811 + 0.0*i,
    -0.245655535419695 + 0.0*i,
    -0.640692542218957 + 0.0*i,
    -0.564778904175989 + 0.0*i,
    0.16237627818807 + 0.0*i,
    -0.157001715534586 + 0.0*i,
    -0.118271275290161 + 0.0*i,
    0.1030626513932 + 0.0*i,
    0.401026719349077 + 0.0*i,
    -0.644344487610073 + 0.0*i,
    0.73752325682221 + 0.0*i,
    0.449388896702693 + 0.0*i,
    0.405710420842145 + 0.0*i,
    0.235484525259463 + 0.0*i
]);