V:=Matrix(CC,4,17,[
    0.0589793535615656 + 0.0*i,
    -0.112809651177199 + 0.0*i,
    0.680624988636375 + 0.0*i,
    0.240993138377015 + 0.0*i,
    -0.0223505593241439 + 0.0*i,
    -0.127066755302907 + 0.0*i,
    0.0881319067010744 + 0.0*i,
    0.160640796671563 + 0.0*i,
    1.31296499878128 + 0.0*i,
    0.236372179675488 + 0.0*i,
    -0.324036733923707 + 0.0*i,
    -0.582216824812859 + 0.0*i,
    -0.34039420513506 + 0.0*i,
    -0.305914701006768 + 0.0*i,
    0.647688353183331 + 0.0*i,
    -0.153527515819476 + 0.0*i,
    0.0191888551474266 + 0.0*i,
    -0.322164955927345 + 0.0*i,
    -0.360195801901424 + 0.0*i,
    -1.13935111572503 + 0.0*i,
    -0.0315080643741082 + 0.0*i,
    -0.0615401856960521 + 0.0*i,
    -0.0260119805187102 + 0.0*i,
    0.0258245670739588 + 0.0*i,
    0.465990119110623 + 0.0*i,
    -0.841370648315642 + 0.0*i,
    -0.368935246393562 + 0.0*i,
    0.320692971782728 + 0.0*i,
    -0.144869898350599 + 0.0*i,
    -1.04198951740936 + 0.0*i,
    -0.00351274798385188 + 0.0*i,
    -0.459329139417241 + 0.0*i,
    -0.400721439985302 + 0.0*i,
    0.0114810694261787 + 0.0*i,
    -0.336789539249006 + 0.0*i,
    -1.51389076208328 + 0.0*i,
    -0.244892211699768 + 0.0*i,
    -0.0457045677972897 + 0.0*i,
    -0.206578001846676 + 0.0*i,
    0.515965274304419 + 0.0*i,
    -0.648752614632196 + 0.0*i,
    -0.0904931482334276 + 0.0*i,
    0.40360766972387 + 0.0*i,
    0.321208793024017 + 0.0*i,
    -0.381296318307857 + 0.0*i,
    -0.126655927921307 + 0.0*i,
    0.794305447945459 + 0.0*i,
    -0.129477554950223 + 0.0*i,
    -0.736913937273575 + 0.0*i,
    0.213511380479447 + 0.0*i,
    -0.0107156920773659 + 0.0*i,
    0.408624844325153 + 0.0*i,
    0.0467178097405324 + 0.0*i,
    0.168529245867149 + 0.0*i,
    0.568994453747293 + 0.0*i,
    -1.29028424931041 + 0.0*i,
    -0.722153521802215 + 0.0*i,
    -0.123959941729733 + 0.0*i,
    -0.16740323217563 + 0.0*i,
    -0.123163523686323 + 0.0*i,
    -0.0278297748712176 + 0.0*i,
    0.841674406911058 + 0.0*i,
    -0.309075448114127 + 0.0*i,
    -0.458805220054234 + 0.0*i,
    -0.542867064266223 + 0.0*i,
    -0.387239454025743 + 0.0*i,
    -0.505517292488882 + 0.0*i,
    -0.0672722125494031 + 0.0*i
]);