V:=Matrix(CC,4,17,[
    -0.487849777912129 + 0.0*i,
    -0.634146044578826 + 0.0*i,
    0.495881975023005 + 0.0*i,
    0.139054396436894 + 0.0*i,
    0.799769833513943 + 0.0*i,
    0.503789950644849 + 0.0*i,
    -0.611475581757953 + 0.0*i,
    -0.398253358527437 + 0.0*i,
    -0.539883903041539 + 0.0*i,
    -0.264056794620907 + 0.0*i,
    -0.304885875317222 + 0.0*i,
    0.00692291561978344 + 0.0*i,
    -0.733072037912474 + 0.0*i,
    0.315304393078984 + 0.0*i,
    -0.706881744798326 + 0.0*i,
    0.513793113251689 + 0.0*i,
    0.102924231648535 + 0.0*i,
    -0.174491340998566 + 0.0*i,
    -0.514392334500406 + 0.0*i,
    -0.899295866516506 + 0.0*i,
    0.183257306269127 + 0.0*i,
    -0.0176359769184112 + 0.0*i,
    -0.168229747936461 + 0.0*i,
    0.707953195769835 + 0.0*i,
    0.539698092078642 + 0.0*i,
    -0.8179820520412 + 0.0*i,
    0.245456497166232 + 0.0*i,
    0.444440358976755 + 0.0*i,
    0.141858086179596 + 0.0*i,
    0.22532069832111 + 0.0*i,
    0.0857446432824698 + 0.0*i,
    0.201095820093764 + 0.0*i,
    0.17494812396141 + 0.0*i,
    -0.103420964443463 + 0.0*i,
    -0.650476838144855 + 0.0*i,
    -0.749134618863313 + 0.0*i,
    0.226467016904122 + 0.0*i,
    -1.04380525030338 + 0.0*i,
    -0.663974131894735 + 0.0*i,
    -0.586595251860754 + 0.0*i,
    0.08632958557722 + 0.0*i,
    0.595836412241848 + 0.0*i,
    0.2732660999824 + 0.0*i,
    0.135193139195863 + 0.0*i,
    0.666264108609149 + 0.0*i,
    -0.831968481939065 + 0.0*i,
    -0.593177601029969 + 0.0*i,
    -0.556262834053383 + 0.0*i,
    0.374119886056543 + 0.0*i,
    0.13148518493931 + 0.0*i,
    0.0468736055446727 + 0.0*i,
    0.653814150739054 + 0.0*i,
    -0.200269854004037 + 0.0*i,
    0.261129314116874 + 0.0*i,
    -0.0591137325679411 + 0.0*i,
    -0.246032970793146 + 0.0*i,
    0.627115635772139 + 0.0*i,
    0.545854630941376 + 0.0*i,
    -0.532342998529566 + 0.0*i,
    -0.421539153083069 + 0.0*i,
    -0.867282241522178 + 0.0*i,
    -0.363784745472439 + 0.0*i,
    -0.559508923238766 + 0.0*i,
    0.395101725108229 + 0.0*i,
    -0.834246830695563 + 0.0*i,
    0.290679296396842 + 0.0*i,
    -0.300038447131719 + 0.0*i,
    0.677859259467922 + 0.0*i
]);