V:=Matrix(CC,8,17,[
    0.457426961611215 + 0.0*i,
    0.215905730939863 + 0.0*i,
    -0.297051390517083 + 0.0*i,
    -0.268694606027489 + 0.0*i,
    0.483782884225982 + 0.0*i,
    -0.224700033829638 + 0.0*i,
    0.446791327061834 + 0.0*i,
    0.245884182434531 + 0.0*i,
    -0.0697546851806485 + 0.0*i,
    -0.0346716196034724 + 0.0*i,
    0.551912496775636 + 0.0*i,
    -0.489329398613303 + 0.0*i,
    0.357143022428504 + 0.0*i,
    0.17282532384824 + 0.0*i,
    0.585927700097971 + 0.0*i,
    -0.0808380265748521 + 0.0*i,
    -0.258859773439821 + 0.0*i,
    -0.223367355860399 + 0.0*i,
    -0.1653483486479 + 0.0*i,
    0.0679466074279297 + 0.0*i,
    0.0672503329338072 + 0.0*i,
    0.580118529398171 + 0.0*i,
    0.439039027293649 + 0.0*i,
    0.0448873790933603 + 0.0*i,
    0.31756975631629 + 0.0*i,
    -0.0236475720457723 + 0.0*i,
    0.279801079336773 + 0.0*i,
    -0.316918515992175 + 0.0*i,
    0.0600839418327852 + 0.0*i,
    0.676774476111127 + 0.0*i,
    -0.00543950538772373 + 0.0*i,
    -0.0716900724542055 + 0.0*i,
    -0.585221767000783 + 0.0*i,
    0.64150915670258 + 0.0*i,
    -0.379598700235871 + 0.0*i,
    0.343619888382551 + 0.0*i,
    0.846987865588141 + 0.0*i,
    0.304161872372998 + 0.0*i,
    -0.0518847009143027 + 0.0*i,
    -0.225230034612334 + 0.0*i,
    -0.306733697552535 + 0.0*i,
    0.299847961781367 + 0.0*i,
    -0.0626929724409055 + 0.0*i,
    -0.301352451360498 + 0.0*i,
    0.228403279965263 + 0.0*i,
    0.10714061775901 + 0.0*i,
    0.199459283038631 + 0.0*i,
    0.203480560525953 + 0.0*i,
    0.536408589127371 + 0.0*i,
    0.406708409339619 + 0.0*i,
    0.30186660970815 + 0.0*i,
    0.513861303026781 + 0.0*i,
    0.218150867864712 + 0.0*i,
    0.308893388003385 + 0.0*i,
    -0.611072494507497 + 0.0*i,
    -0.308817256913413 + 0.0*i,
    0.0281659675165241 + 0.0*i,
    0.325863490853213 + 0.0*i,
    -0.175293030803674 + 0.0*i,
    0.00820846238137047 + 0.0*i,
    -0.0705297316960463 + 0.0*i,
    -0.586938300365122 + 0.0*i,
    0.565092283444863 + 0.0*i,
    0.563117699005164 + 0.0*i,
    0.325270562725174 + 0.0*i,
    0.0988871146885763 + 0.0*i,
    0.105728306284351 + 0.0*i,
    -0.0870185698205964 + 0.0*i,
    -0.0847597140847043 + 0.0*i,
    -0.832663780778637 + 0.0*i,
    0.113014988170774 + 0.0*i,
    -0.325677716563564 + 0.0*i,
    0.0996064229234656 + 0.0*i,
    0.18490956148911 + 0.0*i,
    -0.352887827102022 + 0.0*i,
    0.411369354088773 + 0.0*i,
    0.1462406657568 + 0.0*i,
    -0.227417119808528 + 0.0*i,
    -0.247414368757227 + 0.0*i,
    -0.37366002186227 + 0.0*i,
    -0.080623773815576 + 0.0*i,
    0.695933763878417 + 0.0*i,
    0.0294627549562366 + 0.0*i,
    0.112159105872978 + 0.0*i,
    -0.434756617388725 + 0.0*i,
    -0.209990908614417 + 0.0*i,
    -0.189657788642611 + 0.0*i,
    -0.0911599261939206 + 0.0*i,
    -0.554276981430603 + 0.0*i,
    0.53568656744793 + 0.0*i,
    0.225238181611766 + 0.0*i,
    -0.0767626755309183 + 0.0*i,
    -0.445244123452898 + 0.0*i,
    0.59890549716556 + 0.0*i,
    -0.54665258270512 + 0.0*i,
    0.051035321796415 + 0.0*i,
    0.226321028218673 + 0.0*i,
    -0.177520069464387 + 0.0*i,
    -0.402293327603404 + 0.0*i,
    0.372788576288999 + 0.0*i,
    0.237869221187077 + 0.0*i,
    0.295246821595064 + 0.0*i,
    -0.192388900704553 + 0.0*i,
    0.141304486305603 + 0.0*i,
    -0.273774536512473 + 0.0*i,
    -0.17984979441688 + 0.0*i,
    -0.0323963637614406 + 0.0*i,
    0.783851485176494 + 0.0*i,
    -0.26948939621625 + 0.0*i,
    -0.342158525254145 + 0.0*i,
    -0.595418609407038 + 0.0*i,
    0.408723016916071 + 0.0*i,
    0.149989329135772 + 0.0*i,
    0.1486915284975 + 0.0*i,
    0.130639595841129 + 0.0*i,
    0.355818157222567 + 0.0*i,
    0.11863812194744 + 0.0*i,
    0.616290802082055 + 0.0*i,
    0.0383724421999152 + 0.0*i,
    -0.493337551224804 + 0.0*i,
    -0.10929139106379 + 0.0*i,
    -0.0593253996463718 + 0.0*i,
    -0.103337123207501 + 0.0*i,
    0.189994661524509 + 0.0*i,
    0.0515573868147496 + 0.0*i,
    0.625428826407278 + 0.0*i,
    0.486124629983088 + 0.0*i,
    -0.505552723285028 + 0.0*i,
    -0.55126361422644 + 0.0*i,
    0.335491809478849 + 0.0*i,
    0.464605807250879 + 0.0*i,
    0.0330528312287001 + 0.0*i,
    -0.220815435959473 + 0.0*i,
    -0.451614187452533 + 0.0*i,
    0.162003465272927 + 0.0*i,
    -0.375797146042384 + 0.0*i
]);