V:=Matrix(CC,4,15,[
    -0.606319303500136 + 0.0*i,
    -0.759030964873566 + 0.0*i,
    0.347708411691355 + 0.0*i,
    -0.028562284269799 + 0.0*i,
    -0.820115560191656 + 0.0*i,
    0.215178787629715 + 0.0*i,
    -0.0546492145097649 + 0.0*i,
    -0.778219805927356 + 0.0*i,
    -0.167242648026253 + 0.0*i,
    0.660523709588854 + 0.0*i,
    -0.252036127686089 + 0.0*i,
    -0.02230197731277 + 0.0*i,
    0.565286809779365 + 0.0*i,
    0.103130303675772 + 0.0*i,
    0.684930942849881 + 0.0*i,
    -0.232519142004997 + 0.0*i,
    0.636052905705226 + 0.0*i,
    0.320998310863997 + 0.0*i,
    -0.816312149785949 + 0.0*i,
    -0.105782578820902 + 0.0*i,
    -0.687659457115907 + 0.0*i,
    -0.854430538998176 + 0.0*i,
    -0.087445219836412 + 0.0*i,
    0.570313602272707 + 0.0*i,
    -0.112443691021373 + 0.0*i,
    -0.300835245317796 + 0.0*i,
    -0.0189759362172664 + 0.0*i,
    -0.474984721611037 + 0.0*i,
    0.147188794305304 + 0.0*i,
    0.71819279162063 + 0.0*i,
    -0.670342955790292 + 0.0*i,
    -0.0415155124190232 + 0.0*i,
    0.0335399174867277 + 0.0*i,
    -0.499062192411572 + 0.0*i,
    0.447781731308344 + 0.0*i,
    -0.484556626129307 + 0.0*i,
    0.490134934218659 + 0.0*i,
    -0.469542968770459 + 0.0*i,
    -0.514341234134432 + 0.0*i,
    -0.564888136567972 + 0.0*i,
    -0.128221523922036 + 0.0*i,
    0.996199359936312 + 0.0*i,
    0.22250790966989 + 0.0*i,
    -0.693033533759226 + 0.0*i,
    -0.0494080294923837 + 0.0*i,
    0.332576892063611 + 0.0*i,
    -0.112778904549699 + 0.0*i,
    -0.862743611107845 + 0.0*i,
    -0.333519840356933 + 0.0*i,
    -0.350621870218381 + 0.0*i,
    0.506334308811633 + 0.0*i,
    -0.197290524610607 + 0.0*i,
    -0.397550025992942 + 0.0*i,
    -0.625587544460224 + 0.0*i,
    -0.494488085333196 + 0.0*i,
    -0.915084399789993 + 0.0*i,
    0.137763267298766 + 0.0*i,
    -0.621465139361661 + 0.0*i,
    0.675968745825699 + 0.0*i,
    -0.158788554591257 + 0.0*i
]);