V:=Matrix(CC,7,19,[
    0.753489053412207 + 0.0*i,
    -0.146844449475197 + 0.0*i,
    -0.218126190243112 + 0.0*i,
    0.0735822521439039 + 0.0*i,
    0.728176341329485 + 0.0*i,
    0.725887365688738 + 0.0*i,
    0.520501398108683 + 0.0*i,
    0.130062278770879 + 0.0*i,
    -0.239961952060245 + 0.0*i,
    0.574576378136095 + 0.0*i,
    0.789312144989426 + 0.0*i,
    -0.751572025885089 + 0.0*i,
    0.654603386239924 + 0.0*i,
    0.0921778373709744 + 0.0*i,
    -0.170607115326865 + 0.0*i,
    -0.366708392175625 + 0.0*i,
    -0.484950104069735 + 0.0*i,
    0.447907439127097 + 0.0*i,
    -0.259865358915746 + 0.0*i,
    0.0653661151588553 + 0.0*i,
    0.188131736632666 + 0.0*i,
    -0.0927762015400444 + 0.0*i,
    -0.17333672607102 + 0.0*i,
    -0.245070209119895 + 0.0*i,
    -0.267235796843813 + 0.0*i,
    0.435245961660283 + 0.0*i,
    0.361615887221725 + 0.0*i,
    -0.0488354637482882 + 0.0*i,
    0.454598945956179 + 0.0*i,
    0.0004487096402892 + 0.0*i,
    0.363515392791968 + 0.0*i,
    0.222720628395541 + 0.0*i,
    -0.0087978428588122 + 0.0*i,
    -0.609906610148589 + 0.0*i,
    -0.184511316729815 + 0.0*i,
    -0.0954903045056215 + 0.0*i,
    0.0404228748213919 + 0.0*i,
    0.174950502074023 + 0.0*i,
    0.193896041047483 + 0.0*i,
    -0.0434289309677466 + 0.0*i,
    0.586575074593889 + 0.0*i,
    -0.0112411150580411 + 0.0*i,
    -0.0398767188437067 + 0.0*i,
    -0.425253125979259 + 0.0*i,
    -0.500093537287611 + 0.0*i,
    0.0698346208830002 + 0.0*i,
    0.360083040299702 + 0.0*i,
    -0.238108626511679 + 0.0*i,
    0.543466677088034 + 0.0*i,
    -0.655556975702928 + 0.0*i,
    -0.43732204878235 + 0.0*i,
    -0.101391062167829 + 0.0*i,
    0.458959027069178 + 0.0*i,
    0.272812476523059 + 0.0*i,
    0.105891473573116 + 0.0*i,
    -0.0672924808872671 + 0.0*i,
    0.398738803872265 + 0.0*i,
    0.32001437616599 + 0.0*i,
    0.0545643441854448 + 0.0*i,
    -0.0296877441811053 + 0.0*i,
    0.33240138760473 + 0.0*i,
    0.334085606705053 + 0.0*i,
    -0.663111058150411 + 0.0*i,
    0.467942466740041 + 0.0*i,
    0.73475158233584 + 0.0*i,
    0.209622846061452 + 0.0*i,
    0.102053156630001 + 0.0*i,
    -0.0929055249233741 + 0.0*i,
    -0.31190630770448 + 0.0*i,
    -0.651493867803021 + 0.0*i,
    0.455946767819635 + 0.0*i,
    -0.12050022846165 + 0.0*i,
    0.341682972756247 + 0.0*i,
    -0.716667298678242 + 0.0*i,
    0.0198882826669349 + 0.0*i,
    -0.721728027526683 + 0.0*i,
    -0.816352021444438 + 0.0*i,
    -0.0200320706789561 + 0.0*i,
    0.0268867569266342 + 0.0*i,
    -0.273198305755075 + 0.0*i,
    -0.441609419155226 + 0.0*i,
    -0.406027840462695 + 0.0*i,
    0.234598145159681 + 0.0*i,
    0.240988576621162 + 0.0*i,
    -0.737302184962605 + 0.0*i,
    -0.0325355980589796 + 0.0*i,
    0.501448103452506 + 0.0*i,
    0.277978514255713 + 0.0*i,
    0.282642423319854 + 0.0*i,
    -0.212040589980863 + 0.0*i,
    0.248202840088556 + 0.0*i,
    0.0489490677842807 + 0.0*i,
    0.150448264579187 + 0.0*i,
    -0.303317733723442 + 0.0*i,
    0.401957528365174 + 0.0*i,
    -0.175233439867301 + 0.0*i,
    -0.101815670193355 + 0.0*i,
    -0.35760500561415 + 0.0*i,
    0.981885409959293 + 0.0*i,
    -0.146819773951222 + 0.0*i,
    0.122235175580724 + 0.0*i,
    0.0666939992785034 + 0.0*i,
    0.728642636027342 + 0.0*i,
    -0.116694987980592 + 0.0*i,
    -0.423353923687445 + 0.0*i,
    -0.596904671446573 + 0.0*i,
    -0.0612241064711685 + 0.0*i,
    0.534247629444761 + 0.0*i,
    -0.175187023742594 + 0.0*i,
    0.431423818511081 + 0.0*i,
    0.0523806723115982 + 0.0*i,
    0.644184005557654 + 0.0*i,
    0.023764835296438 + 0.0*i,
    -0.137710162941123 + 0.0*i,
    0.108394855029793 + 0.0*i,
    0.217557154742476 + 0.0*i,
    -0.162180428477173 + 0.0*i,
    0.403328775727011 + 0.0*i,
    0.102913621477771 + 0.0*i,
    -0.237881675965704 + 0.0*i,
    0.232111716024955 + 0.0*i,
    0.00389666903777915 + 0.0*i,
    0.407552142163362 + 0.0*i,
    0.0994751868841473 + 0.0*i,
    -0.0919357527387007 + 0.0*i,
    0.115229358022537 + 0.0*i,
    0.239933628254144 + 0.0*i,
    0.20495778559683 + 0.0*i,
    0.18135306682486 + 0.0*i,
    -0.344612180279275 + 0.0*i,
    -0.664373312329298 + 0.0*i,
    0.192071151862246 + 0.0*i,
    0.195166859127597 + 0.0*i
]);