V:=Matrix(CC,4,15,[
    -0.429413456398659 + 0.0*i,
    0.284351831528651 + 0.0*i,
    0.766357597341865 + 0.0*i,
    -0.844911452730824 + 0.0*i,
    0.770461085275534 + 0.0*i,
    0.0692278541508522 + 0.0*i,
    0.339617553982063 + 0.0*i,
    -0.326190757774719 + 0.0*i,
    -0.294484827721601 + 0.0*i,
    -0.160775083367387 + 0.0*i,
    -0.149529371256526 + 0.0*i,
    -0.470960907468098 + 0.0*i,
    0.488615306833223 + 0.0*i,
    -0.882052918739729 + 0.0*i,
    0.0862619413112158 + 0.0*i,
    -0.626845964302292 + 0.0*i,
    0.164107548078822 + 0.0*i,
    0.264148064535742 + 0.0*i,
    0.339303699181747 + 0.0*i,
    0.59772896602644 + 0.0*i,
    0.823637268690846 + 0.0*i,
    -0.356172452060022 + 0.0*i,
    -0.186082918303567 + 0.0*i,
    0.976113383244161 + 0.0*i,
    -0.572897370572907 + 0.0*i,
    0.0552012296211136 + 0.0*i,
    -0.85094088860276 + 0.0*i,
    0.340381609606964 + 0.0*i,
    0.425113385824336 + 0.0*i,
    -1.11658153289162 + 0.0*i,
    -0.0774710963506878 + 0.0*i,
    -0.206569156210093 + 0.0*i,
    0.140398036925469 + 0.0*i,
    0.910491196146771 + 0.0*i,
    0.34135142403232 + 0.0*i,
    -0.410571096259423 + 0.0*i,
    -0.615819222893786 + 0.0*i,
    -0.229228787899715 + 0.0*i,
    0.0785641871067453 + 0.0*i,
    0.738459407741239 + 0.0*i,
    -0.042329342081266 + 0.0*i,
    -0.0354388783816017 + 0.0*i,
    0.631774331527334 + 0.0*i,
    0.360805111957684 + 0.0*i,
    -0.10282791652256 + 0.0*i,
    0.380076456263931 + 0.0*i,
    -0.704241279225426 + 0.0*i,
    -0.241643212167126 + 0.0*i,
    0.0305170195240055 + 0.0*i,
    0.394160385133467 + 0.0*i,
    -0.133565226135252 + 0.0*i,
    0.795636410080783 + 0.0*i,
    -0.399515093029167 + 0.0*i,
    0.108287632714145 + 0.0*i,
    0.31160814050666 + 0.0*i,
    -0.244755297354439 + 0.0*i,
    0.902967922152568 + 0.0*i,
    -0.251329416919275 + 0.0*i,
    0.294194814441647 + 0.0*i,
    -0.609110476948562 + 0.0*i
]);