V:=Matrix(CC,4,17,[
    0.544976139303659 + 0.0*i,
    0.663398937403331 + 0.0*i,
    1.01317307607665 + 0.0*i,
    -0.486171117744172 + 0.0*i,
    -0.898360197389432 + 0.0*i,
    0.0667291157792845 + 0.0*i,
    0.438708395772154 + 0.0*i,
    -0.25850732501452 + 0.0*i,
    0.0751208131711249 + 0.0*i,
    -0.0382497665709682 + 0.0*i,
    0.387856680943218 + 0.0*i,
    -0.629695420123509 + 0.0*i,
    0.48172545657847 + 0.0*i,
    -0.416698357429314 + 0.0*i,
    -0.0122502989125734 + 0.0*i,
    -0.0617603357374092 + 0.0*i,
    0.563042415323089 + 0.0*i,
    0.912799656560258 + 0.0*i,
    -0.0591647540773088 + 0.0*i,
    0.287612292419548 + 0.0*i,
    0.644509758236439 + 0.0*i,
    0.369070656426239 + 0.0*i,
    0.458351738069325 + 0.0*i,
    -0.871253524309205 + 0.0*i,
    -0.65591170434234 + 0.0*i,
    -0.280535309094957 + 0.0*i,
    0.912684367538793 + 0.0*i,
    0.381144682974399 + 0.0*i,
    0.203686166246374 + 0.0*i,
    -0.236317746335073 + 0.0*i,
    0.547075564933311 + 0.0*i,
    0.131091606757016 + 0.0*i,
    0.0659341877152619 + 0.0*i,
    -0.174358732206637 + 0.0*i,
    0.345045567719057 + 0.0*i,
    -0.280751492475605 + 0.0*i,
    -0.150714724105029 + 0.0*i,
    -0.0680783976358696 + 0.0*i,
    -0.413875414930731 + 0.0*i,
    -0.694665107085792 + 0.0*i,
    -0.311956932091408 + 0.0*i,
    0.38349430986448 + 0.0*i,
    0.167940667854361 + 0.0*i,
    -0.274201284749959 + 0.0*i,
    0.255475248843442 + 0.0*i,
    -0.706357699929864 + 0.0*i,
    -0.46779394382183 + 0.0*i,
    -0.290946814796092 + 0.0*i,
    0.874222949818257 + 0.0*i,
    0.0690444109804691 + 0.0*i,
    -0.795436087472667 + 0.0*i,
    -0.110104244383297 + 0.0*i,
    0.699194262129155 + 0.0*i,
    -0.0386716313960539 + 0.0*i,
    0.492987644154496 + 0.0*i,
    -0.294003518455699 + 0.0*i,
    -0.615281563054833 + 0.0*i,
    0.301125465779232 + 0.0*i,
    -0.60494927471696 + 0.0*i,
    -0.467793321702108 + 0.0*i,
    -0.0870828819551921 + 0.0*i,
    -0.826436293128881 + 0.0*i,
    0.407051916463744 + 0.0*i,
    -0.719253610012491 + 0.0*i,
    -0.553965407645201 + 0.0*i,
    -0.482451186725642 + 0.0*i,
    -0.987375348806652 + 0.0*i,
    -0.0458302021768731 + 0.0*i
]);