V:=Matrix(CC,3,16,[
    0.262294712506459 + 0.0*i,
    -0.594356577124145 + 0.0*i,
    0.452244177376723 + 0.0*i,
    -0.234425524857406 + 0.0*i,
    0.992225086987554 + 0.0*i,
    -0.148545996080474 + 0.0*i,
    0.122679571074523 + 0.0*i,
    0.150857642444538 + 0.0*i,
    -0.724260652297817 + 0.0*i,
    -0.660152275970514 + 0.0*i,
    0.918464306729871 + 0.0*i,
    -0.457935096760897 + 0.0*i,
    -0.748008549117417 + 0.0*i,
    0.332874762692256 + 0.0*i,
    -0.777143773334835 + 0.0*i,
    -0.26786599630491 + 0.0*i,
    -0.201459792599327 + 0.0*i,
    -0.76702174087759 + 0.0*i,
    -0.658171762780294 + 0.0*i,
    0.654128601358693 + 0.0*i,
    0.190730129801045 + 0.0*i,
    -0.940832660723589 + 0.0*i,
    0.856928453360764 + 0.0*i,
    0.292261255678217 + 0.0*i,
    -0.625938831725495 + 0.0*i,
    -0.307591172846576 + 0.0*i,
    -0.35944935645459 + 0.0*i,
    0.907067554508595 + 0.0*i,
    -0.0917163150955872 + 0.0*i,
    0.486480353601983 + 0.0*i,
    0.383397480910678 + 0.0*i,
    0.287234080727951 + 0.0*i,
    0.934469516131848 + 0.0*i,
    -0.200970882353431 + 0.0*i,
    -0.564077615136937 + 0.0*i,
    -0.690507206854522 + 0.0*i,
    0.120066264102481 + 0.0*i,
    0.317945101058638 + 0.0*i,
    0.566119291491075 + 0.0*i,
    0.891145999591779 + 0.0*i,
    0.316679380540764 + 0.0*i,
    -0.698499509870488 + 0.0*i,
    -0.248314782399702 + 0.0*i,
    -0.0414749613666638 + 0.0*i,
    0.65396610377873 + 0.0*i,
    -0.817439391625911 + 0.0*i,
    -0.520757025953529 + 0.0*i,
    0.901558054502264 + 0.0*i
]);