V:=Matrix(CC,4,24,[
    -0.47561959686407 + 0.0*i,
    -0.0183224069316825 + 0.0*i,
    -0.506572802044074 + 0.0*i,
    -0.0580481530860773 + 0.0*i,
    0.201833069916389 + 0.0*i,
    0.570261158168004 + 0.0*i,
    -0.0473244918100886 + 0.0*i,
    -0.207089839961735 + 0.0*i,
    -0.335842161917824 + 0.0*i,
    0.133300253827641 + 0.0*i,
    0.476310578415499 + 0.0*i,
    0.573477587269188 + 0.0*i,
    0.650914412964396 + 0.0*i,
    -0.123815667712197 + 0.0*i,
    0.172761377112464 + 0.0*i,
    -1.23267786819236 + 0.0*i,
    -0.1373365984627 + 0.0*i,
    0.245891912035479 + 0.0*i,
    0.814653937361997 + 0.0*i,
    0.8302070911114 + 0.0*i,
    -0.0306659547110387 + 0.0*i,
    -0.118076563103887 + 0.0*i,
    0.307196828826953 + 0.0*i,
    0.397084715267323 + 0.0*i,
    0.639602337960036 + 0.0*i,
    -0.544295827836486 + 0.0*i,
    0.43665764479032 + 0.0*i,
    0.0310615260459991 + 0.0*i,
    1.15717254233593 + 0.0*i,
    0.0575504821252623 + 0.0*i,
    0.294222262242808 + 0.0*i,
    0.674500531860703 + 0.0*i,
    -0.407561589679842 + 0.0*i,
    -0.811992957535798 + 0.0*i,
    0.335648369760408 + 0.0*i,
    -0.341537808600982 + 0.0*i,
    0.394474217184778 + 0.0*i,
    0.856796247343245 + 0.0*i,
    0.493436862375223 + 0.0*i,
    0.26502369054958 + 0.0*i,
    0.982893119610656 + 0.0*i,
    -0.993071443226318 + 0.0*i,
    -0.485287223046585 + 0.0*i,
    0.264118531375062 + 0.0*i,
    0.303979016207898 + 0.0*i,
    -0.682110251923056 + 0.0*i,
    0.133160825975778 + 0.0*i,
    0.14195735299458 + 0.0*i,
    -0.169357919950274 + 0.0*i,
    -0.314128882177628 + 0.0*i,
    -0.0690945451225052 + 0.0*i,
    -0.809816722945584 + 0.0*i,
    0.414923165688724 + 0.0*i,
    0.326355668032984 + 0.0*i,
    -0.695062226157 + 0.0*i,
    -0.252372677492276 + 0.0*i,
    -0.544946492850044 + 0.0*i,
    0.314277692332477 + 0.0*i,
    0.880136418227569 + 0.0*i,
    -0.566948487403845 + 0.0*i,
    -0.0070342027412385 + 0.0*i,
    0.00866085879354207 + 0.0*i,
    0.00438230149289123 + 0.0*i,
    0.00985538645633279 + 0.0*i,
    -0.154725801822052 + 0.0*i,
    0.736011350851858 + 0.0*i,
    -0.161396560601265 + 0.0*i,
    -0.948660333267084 + 0.0*i,
    -0.0371650611745744 + 0.0*i,
    -0.91283812036006 + 0.0*i,
    -0.170522548455274 + 0.0*i,
    -0.545410871569132 + 0.0*i,
    0.634799401449945 + 0.0*i,
    0.0435809342059327 + 0.0*i,
    0.630997505131784 + 0.0*i,
    -1.01925027933592 + 0.0*i,
    0.259951800762047 + 0.0*i,
    0.706550113297998 + 0.0*i,
    0.165486151807609 + 0.0*i,
    -0.092605396507839 + 0.0*i,
    0.757782394830673 + 0.0*i,
    -0.493502635985681 + 0.0*i,
    -0.497683456880484 + 0.0*i,
    0.276381066473864 + 0.0*i,
    -0.189738062621172 + 0.0*i,
    0.770888402038392 + 0.0*i,
    -0.472769229163827 + 0.0*i,
    -0.324101880287306 + 0.0*i,
    -0.220851120683524 + 0.0*i,
    -0.182576928062611 + 0.0*i,
    -0.323216506298611 + 0.0*i,
    0.243325512681643 + 0.0*i,
    -0.358573461413729 + 0.0*i,
    0.221806496755451 + 0.0*i,
    -0.229481867341761 + 0.0*i,
    0.237870737379233 + 0.0*i
]);