V:=Matrix(CC,4,16,[
    0.716510286703917 + 0.0*i,
    -0.175843366427909 + 0.0*i,
    0.0547626620590924 + 0.0*i,
    -0.962942456026106 + 0.0*i,
    -0.564098707269759 + 0.0*i,
    -0.651282290508735 + 0.0*i,
    0.358773200208558 + 0.0*i,
    0.0396062781534205 + 0.0*i,
    -0.684768514678694 + 0.0*i,
    0.432366056163338 + 0.0*i,
    -0.0526478686663407 + 0.0*i,
    0.0503253955474266 + 0.0*i,
    0.522241532215303 + 0.0*i,
    0.702210419205324 + 0.0*i,
    0.00917960976191284 + 0.0*i,
    -0.545885444781516 + 0.0*i,
    -0.501546966530958 + 0.0*i,
    -0.0468037710410004 + 0.0*i,
    0.128086615190535 + 0.0*i,
    0.0985636366366312 + 0.0*i,
    0.642471950307848 + 0.0*i,
    -0.258834117923374 + 0.0*i,
    -0.149860501032537 + 0.0*i,
    0.859517441013157 + 0.0*i,
    -0.296319964089884 + 0.0*i,
    -0.393852373977712 + 0.0*i,
    -0.577401666900435 + 0.0*i,
    -0.6383895163874 + 0.0*i,
    0.547076302082272 + 0.0*i,
    -0.0358088990756376 + 0.0*i,
    -0.497924632462079 + 0.0*i,
    0.750880375775566 + 0.0*i,
    -0.421376724322749 + 0.0*i,
    0.143031948312748 + 0.0*i,
    -0.772874729526504 + 0.0*i,
    -0.0360522871504468 + 0.0*i,
    -0.465347909823407 + 0.0*i,
    0.58916097900911 + 0.0*i,
    0.564312442977744 + 0.0*i,
    0.148248509897171 + 0.0*i,
    -0.687404159328221 + 0.0*i,
    -0.299995777860048 + 0.0*i,
    -0.818769338339288 + 0.0*i,
    0.0470761081447541 + 0.0*i,
    -0.116956227029395 + 0.0*i,
    0.378794371310356 + 0.0*i,
    -0.564720590958101 + 0.0*i,
    0.27438132720106 + 0.0*i,
    0.0300912665059059 + 0.0*i,
    -0.883086278512209 + 0.0*i,
    -0.640357335514277 + 0.0*i,
    0.270713844770208 + 0.0*i,
    0.247264908159849 + 0.0*i,
    -0.459892365325797 + 0.0*i,
    -0.800748131501151 + 0.0*i,
    0.469109417908453 + 0.0*i,
    0.105776224999048 + 0.0*i,
    -0.792696807846944 + 0.0*i,
    -0.116202003018178 + 0.0*i,
    -0.611928646391762 + 0.0*i,
    -0.672360336632403 + 0.0*i,
    0.63449297386793 + 0.0*i,
    0.670223169857491 + 0.0*i,
    -0.306749391105768 + 0.0*i
]);