V:=Matrix(CC,4,12,[
    -0.531492545194868 + 0.0*i,
    -0.28334547196754 + 0.0*i,
    0.725956129314713 + 0.0*i,
    0.0053904132200948 + 0.0*i,
    0.193716759270579 + 0.0*i,
    0.626335533809484 + 0.0*i,
    -0.189241343428733 + 0.0*i,
    0.537053023836722 + 0.0*i,
    0.820430135026872 + 0.0*i,
    0.815558424670225 + 0.0*i,
    -0.0947547441679141 + 0.0*i,
    -0.089237655771241 + 0.0*i,
    0.0997664481484002 + 0.0*i,
    -0.0650566821835607 + 0.0*i,
    -0.652741458263306 + 0.0*i,
    0.209329302781711 + 0.0*i,
    -0.552833894314833 + 0.0*i,
    0.725297209274609 + 0.0*i,
    0.760200625459513 + 0.0*i,
    0.107478581992976 + 0.0*i,
    0.172172253261053 + 0.0*i,
    -0.0349097784189615 + 0.0*i,
    -0.825797097607485 + 0.0*i,
    -0.616580806630891 + 0.0*i,
    0.477837684170215 + 0.0*i,
    0.0370140183198944 + 0.0*i,
    0.138548544741332 + 0.0*i,
    0.977684015718516 + 0.0*i,
    0.615824330419343 + 0.0*i,
    -0.152356012631742 + 0.0*i,
    0.362559995824419 + 0.0*i,
    0.500309921076741 + 0.0*i,
    0.464047023880447 + 0.0*i,
    -0.514364310436635 + 0.0*i,
    -0.323492608532959 + 0.0*i,
    0.653810417206219 + 0.0*i,
    -0.692655851665346 + 0.0*i,
    0.956384664211269 + 0.0*i,
    0.165391603123526 + 0.0*i,
    -0.0222489125261479 + 0.0*i,
    -0.5266369114285 + 0.0*i,
    0.241103334311426 + 0.0*i,
    0.504465536358791 + 0.0*i,
    0.670476932335873 + 0.0*i,
    -0.285475472449448 + 0.0*i,
    -0.263445856967357 + 0.0*i,
    0.452184179152018 + 0.0*i,
    0.429643589050298 + 0.0*i
]);