V:=Matrix(CC,4,17,[
    0.122235394627973 + 0.0*i,
    0.177297511771113 + 0.0*i,
    -0.0265747508952846 + 0.0*i,
    0.303588158608985 + 0.0*i,
    -0.296209432154406 + 0.0*i,
    0.233107867143347 + 0.0*i,
    -0.243221857089208 + 0.0*i,
    -0.176682593675392 + 0.0*i,
    0.392347743211567 + 0.0*i,
    0.113558009478441 + 0.0*i,
    0.308248279558162 + 0.0*i,
    -0.0251794557036517 + 0.0*i,
    0.0176291848226996 + 0.0*i,
    -0.401591261506031 + 0.0*i,
    -0.31796040529494 + 0.0*i,
    0.0309877031283178 + 0.0*i,
    0.26773061580421 + 0.0*i,
    0.0767718001473346 + 0.0*i,
    -0.125323932542533 + 0.0*i,
    0.0877826216937768 + 0.0*i,
    -0.0278633356067885 + 0.0*i,
    0.0801665374311474 + 0.0*i,
    0.320739298267434 + 0.0*i,
    0.282954907923349 + 0.0*i,
    -0.222888172970396 + 0.0*i,
    -0.137496052112049 + 0.0*i,
    -0.175777115282463 + 0.0*i,
    0.068194179711426 + 0.0*i,
    -0.265939962689685 + 0.0*i,
    0.0315322512077581 + 0.0*i,
    -0.117512882185273 + 0.0*i,
    -0.00560091433135369 + 0.0*i,
    0.307589111937368 + 0.0*i,
    0.0177207494143038 + 0.0*i,
    -0.0699053986427645 + 0.0*i,
    0.165510899655931 + 0.0*i,
    -0.390057943272019 + 0.0*i,
    -0.269029824337786 + 0.0*i,
    0.0113949870454384 + 0.0*i,
    0.0911314994802729 + 0.0*i,
    0.19968887154606 + 0.0*i,
    0.310568624148872 + 0.0*i,
    0.0770612973662248 + 0.0*i,
    0.320221075861183 + 0.0*i,
    -0.0821124891549115 + 0.0*i,
    -0.148532141618055 + 0.0*i,
    0.251153191536974 + 0.0*i,
    0.0476455403245465 + 0.0*i,
    0.220052775313112 + 0.0*i,
    0.224781644384339 + 0.0*i,
    0.320649025613124 + 0.0*i,
    -0.390004292388414 + 0.0*i,
    -0.318399650540097 + 0.0*i,
    -0.134211115038422 + 0.0*i,
    0.109538429296943 + 0.0*i,
    0.285859041054806 + 0.0*i,
    0.114042718328459 + 0.0*i,
    0.0107568547841683 + 0.0*i,
    -0.176353440105741 + 0.0*i,
    0.0159613891707594 + 0.0*i,
    -0.175646778581885 + 0.0*i,
    0.268394903445216 + 0.0*i,
    0.293639830290435 + 0.0*i,
    0.337227446285454 + 0.0*i,
    0.0257566856634363 + 0.0*i,
    0.167188997681629 + 0.0*i,
    0.179720978322888 + 0.0*i,
    0.0650242776366186 + 0.0*i
]);