V:=Matrix(CC,4,15,[
    0.18002980377506 + 0.0*i,
    0.351170889738684 + 0.0*i,
    -0.374576882121386 + 0.0*i,
    0.310763019013752 + 0.0*i,
    0.76316077787217 + 0.0*i,
    -0.588469155892174 + 0.0*i,
    0.939799172941579 + 0.0*i,
    0.880723819598029 + 0.0*i,
    0.224692122240925 + 0.0*i,
    -0.341737407338812 + 0.0*i,
    -0.507726027335277 + 0.0*i,
    0.35655008269551 + 0.0*i,
    0.545007572110377 + 0.0*i,
    0.351772051067894 + 0.0*i,
    -0.466565704312195 + 0.0*i,
    0.956282136508356 + 0.0*i,
    0.523552458375084 + 0.0*i,
    -0.597318981248859 + 0.0*i,
    -0.576097586307557 + 0.0*i,
    -0.356754508671213 + 0.0*i,
    0.291126437690842 + 0.0*i,
    0.167246260472981 + 0.0*i,
    -0.0200894572879093 + 0.0*i,
    0.557167256408555 + 0.0*i,
    0.877801817694192 + 0.0*i,
    -0.449852597676068 + 0.0*i,
    0.0490937935816492 + 0.0*i,
    -0.697558068690116 + 0.0*i,
    -0.161401377088022 + 0.0*i,
    -0.096469233141514 + 0.0*i,
    -0.0389597504238208 + 0.0*i,
    -0.331063156194811 + 0.0*i,
    -0.650118670117199 + 0.0*i,
    0.593307901059572 + 0.0*i,
    0.493870857000165 + 0.0*i,
    0.309836904912495 + 0.0*i,
    -0.222655854761698 + 0.0*i,
    0.204505948415305 + 0.0*i,
    0.0255175461281712 + 0.0*i,
    -0.248883246580801 + 0.0*i,
    0.881171225449 + 0.0*i,
    0.625150759180251 + 0.0*i,
    -0.450297614571993 + 0.0*i,
    -0.686223862474918 + 0.0*i,
    -0.327900133245318 + 0.0*i,
    -0.153324765003246 + 0.0*i,
    0.693369501309134 + 0.0*i,
    0.259988209824448 + 0.0*i,
    -0.442053984272079 + 0.0*i,
    0.175992295724153 + 0.0*i,
    -0.676817691497494 + 0.0*i,
    0.156758942695005 + 0.0*i,
    -0.404864882609495 + 0.0*i,
    -0.793566547145957 + 0.0*i,
    -0.104812156711913 + 0.0*i,
    -0.0355790057358334 + 0.0*i,
    -0.671752715708576 + 0.0*i,
    0.0616845526945947 + 0.0*i,
    -0.613834972089823 + 0.0*i,
    -0.810526559174627 + 0.0*i
]);