V:=Matrix(CC,4,47,[
    -0.497195832878375 + 0.0*i,
    -0.181179032925649 + 0.0*i,
    -0.160920092529506 + 0.0*i,
    -0.47036995475255 + 0.0*i,
    -0.460038141320542 + 0.0*i,
    0.643238771117537 + 0.0*i,
    -0.530458785931196 + 0.0*i,
    -0.0645984569245979 + 0.0*i,
    -0.882179315244218 + 0.0*i,
    0.36534613629651 + 0.0*i,
    -0.610655993462152 + 0.0*i,
    -0.0917412390267068 + 0.0*i,
    0.159612929402434 + 0.0*i,
    -0.293383132085329 + 0.0*i,
    -0.576846889134873 + 0.0*i,
    -0.417190429231822 + 0.0*i,
    1.0835748829474 + 0.0*i,
    0.513447921748135 + 0.0*i,
    -0.426642842035582 + 0.0*i,
    -0.318338128275316 + 0.0*i,
    -0.501226348267766 + 0.0*i,
    -0.0476423915066626 + 0.0*i,
    -0.276759895179816 + 0.0*i,
    -0.862814890583676 + 0.0*i,
    0.213926352665612 + 0.0*i,
    -0.313079456219298 + 0.0*i,
    -0.104528042080188 + 0.0*i,
    0.15800016651317 + 0.0*i,
    -0.671292856513814 + 0.0*i,
    -0.960144981986986 + 0.0*i,
    0.315266384094734 + 0.0*i,
    0.469403763212485 + 0.0*i,
    -0.223610688454184 + 0.0*i,
    0.280343997969066 + 0.0*i,
    0.163213594361721 + 0.0*i,
    1.03649280362464 + 0.0*i,
    0.080342842457747 + 0.0*i,
    0.206381973975286 + 0.0*i,
    0.723093771883731 + 0.0*i,
    -0.321600484704045 + 0.0*i,
    0.124904727588779 + 0.0*i,
    -0.124858358177299 + 0.0*i,
    0.508392858415696 + 0.0*i,
    0.520920443927373 + 0.0*i,
    -0.239616101133064 + 0.0*i,
    -0.411821625494506 + 0.0*i,
    0.441369152918734 + 0.0*i,
    -0.30128107993766 + 0.0*i,
    0.504793317473736 + 0.0*i,
    0.258150971775221 + 0.0*i,
    -0.697167717980944 + 0.0*i,
    0.0403594836635717 + 0.0*i,
    -0.571834348544539 + 0.0*i,
    -0.528543734956507 + 0.0*i,
    0.459550268933973 + 0.0*i,
    0.401213261006874 + 0.0*i,
    0.128345645339212 + 0.0*i,
    -0.390312916596261 + 0.0*i,
    0.707046136233106 + 0.0*i,
    -0.833792001947464 + 0.0*i,
    -0.522927990744358 + 0.0*i,
    -0.44233997551272 + 0.0*i,
    0.747027081216356 + 0.0*i,
    0.491949533615489 + 0.0*i,
    -0.279404095936695 + 0.0*i,
    -0.95284462442306 + 0.0*i,
    -0.772896387337552 + 0.0*i,
    0.0200532665030198 + 0.0*i,
    0.538951240816339 + 0.0*i,
    0.544097978945166 + 0.0*i,
    -0.323983812066528 + 0.0*i,
    -0.534084612914658 + 0.0*i,
    0.057447859796525 + 0.0*i,
    0.408285477081121 + 0.0*i,
    -0.370266671965233 + 0.0*i,
    -0.0809245015978362 + 0.0*i,
    0.373530808112079 + 0.0*i,
    0.134338821204335 + 0.0*i,
    0.514370502978516 + 0.0*i,
    -0.137209485457327 + 0.0*i,
    0.923068816806734 + 0.0*i,
    -0.141376648995674 + 0.0*i,
    -0.374682574307332 + 0.0*i,
    -0.176623709112047 + 0.0*i,
    0.840342571745046 + 0.0*i,
    -0.838696837607051 + 0.0*i,
    0.415983165640196 + 0.0*i,
    1.14062352591911 + 0.0*i,
    0.355256347969097 + 0.0*i,
    -0.767206129394661 + 0.0*i,
    0.109238784405436 + 0.0*i,
    0.049819455036643 + 0.0*i,
    1.01079242679543 + 0.0*i,
    0.172433645618933 + 0.0*i,
    -0.969911109069364 + 0.0*i,
    -0.809690831717671 + 0.0*i,
    -0.0967563635473392 + 0.0*i,
    0.808740994100004 + 0.0*i,
    0.415359510373734 + 0.0*i,
    0.415017884764647 + 0.0*i,
    -0.700363180530773 + 0.0*i,
    -0.875788523321778 + 0.0*i,
    -0.138293483656042 + 0.0*i,
    -0.338478489698684 + 0.0*i,
    0.379943016173514 + 0.0*i,
    0.486297247324931 + 0.0*i,
    0.520494703581421 + 0.0*i,
    -0.0726742513347821 + 0.0*i,
    -0.199180759444858 + 0.0*i,
    0.870041659093103 + 0.0*i,
    -0.0921428436065392 + 0.0*i,
    -0.0238016065471211 + 0.0*i,
    -0.546185816530603 + 0.0*i,
    -0.102234907143864 + 0.0*i,
    -0.173839344771726 + 0.0*i,
    -0.174680417368838 + 0.0*i,
    -0.0729111511918904 + 0.0*i,
    -0.181880372015185 + 0.0*i,
    -0.616315919243069 + 0.0*i,
    -0.520713714451498 + 0.0*i,
    -0.189309933730076 + 0.0*i,
    0.254798122704842 + 0.0*i,
    -0.873662506829615 + 0.0*i,
    -0.567330467010675 + 0.0*i,
    0.462887649397643 + 0.0*i,
    -0.352458608676774 + 0.0*i,
    -0.0711815178926234 + 0.0*i,
    0.156665030321627 + 0.0*i,
    0.69945143883859 + 0.0*i,
    -0.490284117019681 + 0.0*i,
    0.294202185395436 + 0.0*i,
    0.221722911806043 + 0.0*i,
    -0.164566125415632 + 0.0*i,
    0.362837196544787 + 0.0*i,
    -0.00912202537049024 + 0.0*i,
    -0.574392918965771 + 0.0*i,
    0.221386853691841 + 0.0*i,
    -1.0808809339005 + 0.0*i,
    -0.703711198241415 + 0.0*i,
    -0.324617790496242 + 0.0*i,
    -0.053694234703376 + 0.0*i,
    -0.596004436142153 + 0.0*i,
    -0.175119572537374 + 0.0*i,
    -0.582365734180066 + 0.0*i,
    0.6167858796834 + 0.0*i,
    0.0486535778736927 + 0.0*i,
    0.411871112505268 + 0.0*i,
    0.449640296462422 + 0.0*i,
    0.280600905821914 + 0.0*i,
    -0.533232969207874 + 0.0*i,
    -0.21603512801297 + 0.0*i,
    -0.641865948135347 + 0.0*i,
    -0.264760422920476 + 0.0*i,
    -0.615810408145136 + 0.0*i,
    -0.826174642346993 + 0.0*i,
    0.0794674265089307 + 0.0*i,
    0.134494052841163 + 0.0*i,
    0.453049476410247 + 0.0*i,
    0.54491440703721 + 0.0*i,
    -0.0848829680167153 + 0.0*i,
    0.447295458964836 + 0.0*i,
    -1.02563352442763 + 0.0*i,
    -0.286924847433407 + 0.0*i,
    -0.605034220247491 + 0.0*i,
    0.723750386504752 + 0.0*i,
    0.841251150955243 + 0.0*i,
    -0.519567294787916 + 0.0*i,
    0.534599749020049 + 0.0*i,
    0.736655876452783 + 0.0*i,
    0.156850178076086 + 0.0*i,
    0.385608299593756 + 0.0*i,
    -1.10804294763244 + 0.0*i,
    0.474341503530546 + 0.0*i,
    0.167092360885393 + 0.0*i,
    0.368173355867079 + 0.0*i,
    0.156833570561148 + 0.0*i,
    -0.332005202742332 + 0.0*i,
    -0.0786729660445283 + 0.0*i,
    -0.0934277429211732 + 0.0*i,
    0.255641359762159 + 0.0*i,
    0.944417175889703 + 0.0*i,
    0.0308278274556518 + 0.0*i,
    0.332693126996208 + 0.0*i,
    0.37984800328067 + 0.0*i,
    0.331377879335014 + 0.0*i,
    0.0747662828324483 + 0.0*i,
    -0.0741654392485814 + 0.0*i,
    -0.208928228391366 + 0.0*i
]);