V:=Matrix(CC,4,16,[
    -0.0019591535428637 + 0.0*i,
    -0.0355277355977788 + 0.0*i,
    -0.479581073544226 + 0.0*i,
    -0.288928144950606 + 0.0*i,
    -0.375116828448944 + 0.0*i,
    0.659549331910874 + 0.0*i,
    -0.9212531968314 + 0.0*i,
    0.878397552843384 + 0.0*i,
    -0.0190613234549121 + 0.0*i,
    -0.0580725001071901 + 0.0*i,
    0.437968181179694 + 0.0*i,
    0.146463308247214 + 0.0*i,
    0.565265300235296 + 0.0*i,
    -0.147637763343131 + 0.0*i,
    -0.740223623555093 + 0.0*i,
    -0.175688983818258 + 0.0*i,
    0.461507951816451 + 0.0*i,
    -0.577858063207701 + 0.0*i,
    -0.264747191483301 + 0.0*i,
    0.470720757861824 + 0.0*i,
    0.316019348532584 + 0.0*i,
    0.35251505584887 + 0.0*i,
    0.454933234774291 + 0.0*i,
    0.273792095736427 + 0.0*i,
    -0.0211814891025578 + 0.0*i,
    0.784351309680559 + 0.0*i,
    -0.125725789721756 + 0.0*i,
    0.540950867452485 + 0.0*i,
    -0.0187294899745975 + 0.0*i,
    0.386293144420938 + 0.0*i,
    -0.570717648938 + 0.0*i,
    0.771152405137191 + 0.0*i,
    -0.425590602283192 + 0.0*i,
    -0.603031488810448 + 0.0*i,
    0.927448057262305 + 0.0*i,
    0.0325081220942845 + 0.0*i,
    -0.207033757034506 + 0.0*i,
    -0.153481899193558 + 0.0*i,
    -0.370077763453082 + 0.0*i,
    0.129807834105561 + 0.0*i,
    -0.106367094099321 + 0.0*i,
    -0.32650776812498 + 0.0*i,
    -0.709785364576583 + 0.0*i,
    0.951060763678544 + 0.0*i,
    0.367063480990105 + 0.0*i,
    0.877639720657133 + 0.0*i,
    -0.333892244833288 + 0.0*i,
    -0.105702184554165 + 0.0*i,
    -0.210957538404278 + 0.0*i,
    0.996023525796969 + 0.0*i,
    0.0129358879880096 + 0.0*i,
    -0.718077201013506 + 0.0*i,
    0.80402374134221 + 0.0*i,
    -0.542555681755412 + 0.0*i,
    0.650246916418092 + 0.0*i,
    -0.8945578946507 + 0.0*i,
    0.48080096091798 + 0.0*i,
    -0.00944297132078933 + 0.0*i,
    -0.480781085231399 + 0.0*i,
    0.267560448583013 + 0.0*i,
    -0.128822528719815 + 0.0*i,
    -0.152442714813519 + 0.0*i,
    -0.610548823121083 + 0.0*i,
    0.412900212971281 + 0.0*i
]);