V:=Matrix(CC,5,13,[
    0.163776414827212 + 0.0*i,
    -0.260464424102937 + 0.0*i,
    -0.339683132146378 + 0.0*i,
    0.19559053087945 + 0.0*i,
    0.238825877527052 + 0.0*i,
    0.344303948277193 + 0.0*i,
    0.903892158090458 + 0.0*i,
    -0.506857669987262 + 0.0*i,
    -0.415491640455156 + 0.0*i,
    0.53561965812546 + 0.0*i,
    -0.342422589867507 + 0.0*i,
    0.613625624133059 + 0.0*i,
    -0.0963830722203292 + 0.0*i,
    -0.331213413014446 + 0.0*i,
    0.641225171725481 + 0.0*i,
    0.494939659999056 + 0.0*i,
    -0.608201938944126 + 0.0*i,
    0.361781124114961 + 0.0*i,
    0.854466649941654 + 0.0*i,
    0.0487451586895185 + 0.0*i,
    -0.0394596614319736 + 0.0*i,
    0.15885798188434 + 0.0*i,
    0.545790005555035 + 0.0*i,
    0.0404419704989919 + 0.0*i,
    -0.555257001010485 + 0.0*i,
    0.0536018134825551 + 0.0*i,
    -0.369914400521164 + 0.0*i,
    -0.255140447455708 + 0.0*i,
    -0.703388544985011 + 0.0*i,
    -0.702635319235273 + 0.0*i,
    0.645710801502888 + 0.0*i,
    -0.251108900497639 + 0.0*i,
    -0.190017770601287 + 0.0*i,
    0.356926408805003 + 0.0*i,
    -0.703361435643081 + 0.0*i,
    0.00178385535316813 + 0.0*i,
    0.0758765639281391 + 0.0*i,
    -0.141506459902145 + 0.0*i,
    -0.374437045343451 + 0.0*i,
    -0.808381805502252 + 0.0*i,
    0.101174565168777 + 0.0*i,
    -0.5323065608787 + 0.0*i,
    0.160638772927448 + 0.0*i,
    0.125130374029315 + 0.0*i,
    0.271294608432974 + 0.0*i,
    -0.155058475902798 + 0.0*i,
    -0.616125260459997 + 0.0*i,
    0.545632658151692 + 0.0*i,
    -0.538636433358219 + 0.0*i,
    -0.757751617529805 + 0.0*i,
    -0.229754177315786 + 0.0*i,
    -0.0591081720779121 + 0.0*i,
    0.191806634693775 + 0.0*i,
    -0.639000654796232 + 0.0*i,
    0.133963129116489 + 0.0*i,
    0.21422845748168 + 0.0*i,
    0.624698007434609 + 0.0*i,
    0.174008053502098 + 0.0*i,
    0.391657785547177 + 0.0*i,
    0.495565739264339 + 0.0*i,
    0.0326398187687765 + 0.0*i,
    -0.326147966004855 + 0.0*i,
    -0.486914027728112 + 0.0*i,
    -0.48827366213394 + 0.0*i,
    0.901600359088707 + 0.0*i
]);