V:=Matrix(CC,4,13,[
    0.698302171746553 + 0.0*i,
    0.426475665074261 + 0.0*i,
    0.565953003330959 + 0.0*i,
    -0.0282311314251778 + 0.0*i,
    0.351973749399713 + 0.0*i,
    -0.542394288263788 + 0.0*i,
    0.108390484039843 + 0.0*i,
    -0.404320630270962 + 0.0*i,
    -0.260843269052006 + 0.0*i,
    -0.149690021466632 + 0.0*i,
    0.734457442231205 + 0.0*i,
    0.800149242937375 + 0.0*i,
    0.0496129166439039 + 0.0*i,
    0.0478641264348339 + 0.0*i,
    -0.100331550435924 + 0.0*i,
    0.227566995013778 + 0.0*i,
    0.555948963236592 + 0.0*i,
    -1.00413940938418 + 0.0*i,
    -0.833959545727492 + 0.0*i,
    0.183628230757573 + 0.0*i,
    -0.327086923492726 + 0.0*i,
    0.6938457947871 + 0.0*i,
    0.0469868918519951 + 0.0*i,
    -0.176946454444921 + 0.0*i,
    0.431307244557301 + 0.0*i,
    -0.754259256647472 + 0.0*i,
    -0.269698316881161 + 0.0*i,
    -0.0700185966637852 + 0.0*i,
    0.715919059864034 + 0.0*i,
    0.353679779508379 + 0.0*i,
    -0.252184707142217 + 0.0*i,
    0.0782070144760357 + 0.0*i,
    -0.81351814392063 + 0.0*i,
    0.797242169935648 + 0.0*i,
    -0.410721345631483 + 0.0*i,
    -0.920493104229363 + 0.0*i,
    -0.638393910257662 + 0.0*i,
    -0.17806665028813 + 0.0*i,
    0.454560726988945 + 0.0*i,
    0.654162607057453 + 0.0*i,
    -0.893444295571896 + 0.0*i,
    -0.319544600594534 + 0.0*i,
    -0.731356359834047 + 0.0*i,
    -0.000520923274524068 + 0.0*i,
    -0.0833097287896691 + 0.0*i,
    0.517109542145831 + 0.0*i,
    0.0269595240833791 + 0.0*i,
    0.496777729034414 + 0.0*i,
    -0.320064212836898 + 0.0*i,
    -0.218613522431088 + 0.0*i,
    -0.425696653497636 + 0.0*i,
    0.441805254419127 + 0.0*i
]);