V:=Matrix(CC,4,12,[
    -0.580488470202638 + 0.0*i,
    -0.0816647125243335 + 0.0*i,
    -0.297293713384917 + 0.0*i,
    -0.509896661092554 + 0.0*i,
    0.130081277457391 + 0.0*i,
    0.564471870935153 + 0.0*i,
    -0.212602947707839 + 0.0*i,
    -0.434390593476836 + 0.0*i,
    -0.498823757677741 + 0.0*i,
    -0.921214209805596 + 0.0*i,
    0.789820143098193 + 0.0*i,
    -0.13139406670788 + 0.0*i,
    0.811027035221475 + 0.0*i,
    0.623078620253464 + 0.0*i,
    -0.550588972062938 + 0.0*i,
    0.0265886619685857 + 0.0*i,
    -0.499159316892896 + 0.0*i,
    0.389358429850397 + 0.0*i,
    0.577177634030713 + 0.0*i,
    -0.888517746743388 + 0.0*i,
    0.187948414968932 + 0.0*i,
    -0.122607965128716 + 0.0*i,
    -0.124332104475461 + 0.0*i,
    -0.246940069602482 + 0.0*i,
    -0.0620935992382085 + 0.0*i,
    0.477765855085892 + 0.0*i,
    0.265417364893011 + 0.0*i,
    0.838192376204265 + 0.0*i,
    0.831025767187735 + 0.0*i,
    0.719276856427498 + 0.0*i,
    0.57277501131173 + 0.0*i,
    0.11174891076044 + 0.0*i,
    -0.539859454325227 + 0.0*i,
    0.18388427752351 + 0.0*i,
    0.136291194986963 + 0.0*i,
    0.320175472509241 + 0.0*i,
    0.0375854896909775 + 0.0*i,
    -0.613875960944395 + 0.0*i,
    -0.733499730223355 + 0.0*i,
    -0.191655885728652 + 0.0*i,
    0.208122588596497 + 0.0*i,
    0.111410609167969 + 0.0*i,
    0.541843844495344 + 0.0*i,
    0.096711979427318 + 0.0*i,
    0.651461450634336 + 0.0*i,
    0.320184695166561 + 0.0*i,
    0.584936218336733 + 0.0*i,
    0.90512091350392 + 0.0*i
]);