V:=Matrix(CC,4,19,[
    -0.114777516061575 + 0.0*i,
    -0.282952427276892 + 0.0*i,
    0.322990458134409 + 0.0*i,
    -0.108211983848674 + 0.0*i,
    -0.0768275802302298 + 0.0*i,
    0.452167540886268 + 0.0*i,
    -0.697181609460714 + 0.0*i,
    -0.0869169478869665 + 0.0*i,
    -0.393402178794315 + 0.0*i,
    0.0645198046031168 + 0.0*i,
    0.159930749060943 + 0.0*i,
    0.39035579056408 + 0.0*i,
    0.845942798986925 + 0.0*i,
    -0.616131614437154 + 0.0*i,
    -0.150731941121208 + 0.0*i,
    0.69039691318413 + 0.0*i,
    -0.323475563704838 + 0.0*i,
    -0.413354473708587 + 0.0*i,
    0.717083460022893 + 0.0*i,
    -0.351227313551505 + 0.0*i,
    0.316015668249377 + 0.0*i,
    0.60241915035536 + 0.0*i,
    0.137458059390428 + 0.0*i,
    -0.868055053649228 + 0.0*i,
    0.540124902155429 + 0.0*i,
    0.551436531242338 + 0.0*i,
    -0.173548351737436 + 0.0*i,
    0.958949163930093 + 0.0*i,
    -0.418010139860051 + 0.0*i,
    -0.282405345398464 + 0.0*i,
    0.186073604674584 + 0.0*i,
    0.0174920641331597 + 0.0*i,
    -0.555063568780033 + 0.0*i,
    0.799625570063113 + 0.0*i,
    -0.405099681774361 + 0.0*i,
    -0.430164497608476 + 0.0*i,
    -0.844108437503091 + 0.0*i,
    -0.445246638246764 + 0.0*i,
    -0.0841065285919198 + 0.0*i,
    0.691728623702802 + 0.0*i,
    -0.250755106796985 + 0.0*i,
    -0.256806210004713 + 0.0*i,
    -0.411585418884721 + 0.0*i,
    0.694839426215816 + 0.0*i,
    0.434819902216361 + 0.0*i,
    0.816095630100733 + 0.0*i,
    0.138890255619536 + 0.0*i,
    0.476539814466167 + 0.0*i,
    0.923989267322048 + 0.0*i,
    -0.79191491153504 + 0.0*i,
    -0.179824808566692 + 0.0*i,
    0.510695877998649 + 0.0*i,
    -0.569102146546187 + 0.0*i,
    0.42854541449355 + 0.0*i,
    -0.350396347138529 + 0.0*i,
    -0.0187678338969973 + 0.0*i,
    0.406488398388756 + 0.0*i,
    -0.902105109194788 + 0.0*i,
    -0.570213970732233 + 0.0*i,
    0.615055430638786 + 0.0*i,
    -0.943007574571821 + 0.0*i,
    0.2619644099818 + 0.0*i,
    0.189632157124215 + 0.0*i,
    -0.141443724838328 + 0.0*i,
    0.554462870568932 + 0.0*i,
    0.404619747874036 + 0.0*i,
    -0.750516567605126 + 0.0*i,
    -0.172970313945058 + 0.0*i,
    0.3636085841981 + 0.0*i,
    0.505777119214878 + 0.0*i,
    -0.161788574951736 + 0.0*i,
    -0.128492786401273 + 0.0*i,
    0.4288124978118 + 0.0*i,
    0.773406254306955 + 0.0*i,
    -0.297670045479428 + 0.0*i,
    -0.360432211561219 + 0.0*i
]);