V:=Matrix(CC,4,32,[
    0.232025308770525 + 0.0*i,
    0.0878051124716514 + 0.0*i,
    -0.172593340984618 + 0.0*i,
    -0.286144696932188 + 0.0*i,
    0.481158071157873 + 0.0*i,
    -0.183781574827165 + 0.0*i,
    -0.640674445121793 + 0.0*i,
    0.128667391998105 + 0.0*i,
    -0.12874912270093 + 0.0*i,
    0.507846255793307 + 0.0*i,
    0.980243265946836 + 0.0*i,
    0.427454035116114 + 0.0*i,
    0.0935249667504593 + 0.0*i,
    -0.726915961869503 + 0.0*i,
    -0.00613778171270669 + 0.0*i,
    0.780469321582463 + 0.0*i,
    -0.495241080267833 + 0.0*i,
    0.465023919151123 + 0.0*i,
    -0.589421584823789 + 0.0*i,
    0.697314319815158 + 0.0*i,
    -0.330276187232488 + 0.0*i,
    0.827443392075216 + 0.0*i,
    0.632169204811333 + 0.0*i,
    -0.363122201808778 + 0.0*i,
    -0.0647132527835322 + 0.0*i,
    -0.658442452156309 + 0.0*i,
    0.0687816184346291 + 0.0*i,
    -0.527850382893187 + 0.0*i,
    0.801001322975464 + 0.0*i,
    -0.112003977764758 + 0.0*i,
    0.417033443990401 + 0.0*i,
    -0.205154635579322 + 0.0*i,
    0.95520403663968 + 0.0*i,
    -0.824234945514517 + 0.0*i,
    0.891439050881448 + 0.0*i,
    0.451506068677562 + 0.0*i,
    -0.222922436393835 + 0.0*i,
    -0.638604226116423 + 0.0*i,
    -0.093840091089468 + 0.0*i,
    -0.247302029077485 + 0.0*i,
    0.155417762009544 + 0.0*i,
    0.369328278370865 + 0.0*i,
    0.0114012162933836 + 0.0*i,
    0.324918995294729 + 0.0*i,
    0.00206015281536787 + 0.0*i,
    -0.0796989670856487 + 0.0*i,
    -0.196709288251602 + 0.0*i,
    -0.0404140317672379 + 0.0*i,
    0.61970150986363 + 0.0*i,
    -0.184603600033372 + 0.0*i,
    0.680817141307845 + 0.0*i,
    -0.606326234324339 + 0.0*i,
    0.791259674798823 + 0.0*i,
    -0.256052233756232 + 0.0*i,
    0.72617788672914 + 0.0*i,
    0.46107218886744 + 0.0*i,
    0.665144542801935 + 0.0*i,
    0.156866352754654 + 0.0*i,
    0.507265716385853 + 0.0*i,
    -0.397152269800626 + 0.0*i,
    0.481954710642719 + 0.0*i,
    -0.222923701707203 + 0.0*i,
    0.537904928559716 + 0.0*i,
    -0.894739646240576 + 0.0*i,
    0.0925343766324145 + 0.0*i,
    0.581736113551869 + 0.0*i,
    0.294273594327413 + 0.0*i,
    0.690330863346236 + 0.0*i,
    0.0227429432564189 + 0.0*i,
    0.0770477089722412 + 0.0*i,
    -0.499462618848894 + 0.0*i,
    -0.924078908673377 + 0.0*i,
    0.850224744533512 + 0.0*i,
    -0.52363374263308 + 0.0*i,
    -0.173692848476009 + 0.0*i,
    0.784167707908429 + 0.0*i,
    0.488545346628506 + 0.0*i,
    0.175859790298183 + 0.0*i,
    0.279879003872451 + 0.0*i,
    -0.606376064491984 + 0.0*i,
    0.428874122465022 + 0.0*i,
    0.824024432521782 + 0.0*i,
    -0.0264848856185328 + 0.0*i,
    -0.182182352449157 + 0.0*i,
    -0.439508256030121 + 0.0*i,
    0.395442273761966 + 0.0*i,
    -0.34044786121938 + 0.0*i,
    -0.153109759548542 + 0.0*i,
    0.66535481760166 + 0.0*i,
    -0.0241492107622555 + 0.0*i,
    0.379848562674319 + 0.0*i,
    -0.505282359679974 + 0.0*i,
    0.407215250754098 + 0.0*i,
    0.977278538256677 + 0.0*i,
    -0.621725149689644 + 0.0*i,
    -0.0909241428950098 + 0.0*i,
    -0.274982216908732 + 0.0*i,
    -0.282916545302618 + 0.0*i,
    0.0278616165230208 + 0.0*i,
    -0.563014549844867 + 0.0*i,
    -0.267429984300831 + 0.0*i,
    0.737597060070483 + 0.0*i,
    -0.677028962379448 + 0.0*i,
    0.137885276306634 + 0.0*i,
    0.486927206820981 + 0.0*i,
    0.597119704250037 + 0.0*i,
    0.139127210381721 + 0.0*i,
    -0.278103997296975 + 0.0*i,
    -0.90365167845056 + 0.0*i,
    0.660123208683994 + 0.0*i,
    0.903589485393416 + 0.0*i,
    -0.0989823875084999 + 0.0*i,
    0.401711375729253 + 0.0*i,
    0.23489430802086 + 0.0*i,
    0.22801053696247 + 0.0*i,
    0.337684867986862 + 0.0*i,
    -0.329549819087677 + 0.0*i,
    -0.354715012388278 + 0.0*i,
    0.0964154684127439 + 0.0*i,
    0.816117228888515 + 0.0*i,
    0.193317666552972 + 0.0*i,
    -0.845379858293949 + 0.0*i,
    0.820660706789577 + 0.0*i,
    0.619480358271508 + 0.0*i,
    0.0269928485384097 + 0.0*i,
    -0.0966615535300203 + 0.0*i,
    -0.473804075768193 + 0.0*i,
    -0.446467824582043 + 0.0*i
]);