V:=Matrix(CC,4,15,[
    -0.348026090569622 + 0.0*i,
    -0.921132795318913 + 0.0*i,
    -0.518648350297978 + 0.0*i,
    1.03407208561044 + 0.0*i,
    0.225312204456227 + 0.0*i,
    0.0987451839802342 + 0.0*i,
    -0.496863248545848 + 0.0*i,
    -0.874725757065725 + 0.0*i,
    0.0336315804322217 + 0.0*i,
    0.0276294675022962 + 0.0*i,
    0.907764146439886 + 0.0*i,
    0.732891933401794 + 0.0*i,
    0.621733370785649 + 0.0*i,
    0.647103379655777 + 0.0*i,
    -0.411105637615773 + 0.0*i,
    0.0263117220840083 + 0.0*i,
    -0.715355481698758 + 0.0*i,
    -0.32729432818033 + 0.0*i,
    -0.725136433246031 + 0.0*i,
    0.303946278554993 + 0.0*i,
    0.947828015847021 + 0.0*i,
    -0.266977192832826 + 0.0*i,
    0.929291585577194 + 0.0*i,
    0.174521351709917 + 0.0*i,
    -0.278246582577981 + 0.0*i,
    0.177774442251279 + 0.0*i,
    1.05057989559921 + 0.0*i,
    -0.205603538243624 + 0.0*i,
    -0.244034889396422 + 0.0*i,
    0.0655744704277943 + 0.0*i,
    -0.678806741049053 + 0.0*i,
    -0.866084089541213 + 0.0*i,
    -0.0327155197579648 + 0.0*i,
    -0.152271693442357 + 0.0*i,
    0.184738219103401 + 0.0*i,
    -0.295624192121854 + 0.0*i,
    0.110256947459208 + 0.0*i,
    -0.739999116128642 + 0.0*i,
    0.0815359356708291 + 0.0*i,
    -0.331677456702659 + 0.0*i,
    -0.998806674640016 + 0.0*i,
    -0.0795836596105415 + 0.0*i,
    0.565435689459046 + 0.0*i,
    -0.340953294379689 + 0.0*i,
    0.376932176482224 + 0.0*i,
    0.0906276859348089 + 0.0*i,
    -0.283477948975644 + 0.0*i,
    0.274886284095859 + 0.0*i,
    -0.640352917213295 + 0.0*i,
    -0.277537142647052 + 0.0*i,
    -0.41613223654536 + 0.0*i,
    -0.154597014898706 + 0.0*i,
    -0.321930751658359 + 0.0*i,
    -0.142215102198101 + 0.0*i,
    0.174363199343584 + 0.0*i,
    -0.234140030802505 + 0.0*i,
    0.00258289952491338 + 0.0*i,
    -0.148360109210374 + 0.0*i,
    0.0153520794390103 + 0.0*i,
    0.408885615280279 + 0.0*i
]);