V:=Matrix(CC,4,26,[
    -0.208677859835845 + 0.0*i,
    -0.493189900067698 + 0.0*i,
    0.297573451258638 + 0.0*i,
    0.337924673979572 + 0.0*i,
    -0.272652224063874 + 0.0*i,
    0.118530451278412 + 0.0*i,
    -0.152085841866253 + 0.0*i,
    0.592839470328516 + 0.0*i,
    -0.0553361605780815 + 0.0*i,
    -0.259199425755741 + 0.0*i,
    0.243011219843247 + 0.0*i,
    0.127425407770005 + 0.0*i,
    -0.1351402161639 + 0.0*i,
    -0.189241521088594 + 0.0*i,
    -0.341680522609887 + 0.0*i,
    0.369606800294832 + 0.0*i,
    0.557554222935983 + 0.0*i,
    0.907902970931942 + 0.0*i,
    0.276374310350874 + 0.0*i,
    0.445080014345811 + 0.0*i,
    -0.63576596059508 + 0.0*i,
    0.875926332493932 + 0.0*i,
    -0.773998671029926 + 0.0*i,
    -0.563418978261827 + 0.0*i,
    0.810255595120096 + 0.0*i,
    -0.819938480034365 + 0.0*i,
    -0.529084283974896 + 0.0*i,
    -0.727735450712064 + 0.0*i,
    0.0143590839217051 + 0.0*i,
    -0.46333615986574 + 0.0*i,
    0.689800275993887 + 0.0*i,
    -0.0142147422250263 + 0.0*i,
    -0.0340570734046242 + 0.0*i,
    -0.102352352987699 + 0.0*i,
    1.03928888285046 + 0.0*i,
    -0.138183012175254 + 0.0*i,
    0.530585067224713 + 0.0*i,
    0.618663211171484 + 0.0*i,
    0.674000000105177 + 0.0*i,
    -0.530344470675225 + 0.0*i,
    0.593164801865967 + 0.0*i,
    0.109144402056546 + 0.0*i,
    -0.531789884004496 + 0.0*i,
    0.0549389613633472 + 0.0*i,
    0.620103821269319 + 0.0*i,
    0.67449562984436 + 0.0*i,
    0.0124039093307497 + 0.0*i,
    0.0270178647343555 + 0.0*i,
    -0.132033650671871 + 0.0*i,
    0.575131933050166 + 0.0*i,
    0.577255820073448 + 0.0*i,
    0.600485059016364 + 0.0*i,
    -0.357073587880881 + 0.0*i,
    0.0338106776961391 + 0.0*i,
    0.773693042364547 + 0.0*i,
    0.283586050920881 + 0.0*i,
    -0.369638078513148 + 0.0*i,
    0.501375861418621 + 0.0*i,
    -1.00255612127683 + 0.0*i,
    -0.0242325679286298 + 0.0*i,
    0.0182427957654934 + 0.0*i,
    0.262983480091272 + 0.0*i,
    -0.0244287939404556 + 0.0*i,
    -0.554144669805073 + 0.0*i,
    0.478811653674086 + 0.0*i,
    0.49504338201822 + 0.0*i,
    0.733930843837105 + 0.0*i,
    -0.804919285016555 + 0.0*i,
    -0.115217932428146 + 0.0*i,
    -0.33674189074336 + 0.0*i,
    -0.691624058791843 + 0.0*i,
    0.629758037795783 + 0.0*i,
    0.717312889146315 + 0.0*i,
    0.430748421987479 + 0.0*i,
    -0.413648653808387 + 0.0*i,
    -0.631807701943186 + 0.0*i,
    -0.101976578754197 + 0.0*i,
    0.119817360648897 + 0.0*i,
    0.716741566909074 + 0.0*i,
    -0.511465575285044 + 0.0*i,
    -0.568499899520284 + 0.0*i,
    0.567166012631125 + 0.0*i,
    0.592772933263285 + 0.0*i,
    0.870252015887349 + 0.0*i,
    -0.212509151973751 + 0.0*i,
    -0.829505423419112 + 0.0*i,
    -0.102347565766899 + 0.0*i,
    -0.950309356336467 + 0.0*i,
    -0.684409003555722 + 0.0*i,
    -0.24792833657923 + 0.0*i,
    0.611976407920664 + 0.0*i,
    0.547517096618652 + 0.0*i,
    -0.220581567169522 + 0.0*i,
    0.399880145111186 + 0.0*i,
    0.637406339569418 + 0.0*i,
    0.306136624952586 + 0.0*i,
    0.168280616821132 + 0.0*i,
    -0.0183619936769131 + 0.0*i,
    0.393166763508729 + 0.0*i,
    -0.253965947008783 + 0.0*i,
    -0.505696294320568 + 0.0*i,
    -0.116238626561671 + 0.0*i,
    -0.246198864307581 + 0.0*i,
    0.151255036840136 + 0.0*i
]);