V:=Matrix(CC,9,19,[
    0.308621624853708 + 0.0*i,
    -0.259655668317862 + 0.0*i,
    0.0886289934512586 + 0.0*i,
    0.459218604806945 + 0.0*i,
    -0.239489523129341 + 0.0*i,
    0.330359377632334 + 0.0*i,
    -0.168459230677236 + 0.0*i,
    0.254130672951934 + 0.0*i,
    -0.0389435947338272 + 0.0*i,
    -0.020894663926755 + 0.0*i,
    0.130761563224705 + 0.0*i,
    0.479396659641044 + 0.0*i,
    0.273284470390312 + 0.0*i,
    0.115437372858448 + 0.0*i,
    -0.168743922872512 + 0.0*i,
    -0.113015515770535 + 0.0*i,
    -0.553472490034957 + 0.0*i,
    0.310375576585074 + 0.0*i,
    -0.835019832981527 + 0.0*i,
    0.243045500246143 + 0.0*i,
    -0.593594976083901 + 0.0*i,
    -0.0271653321997716 + 0.0*i,
    0.326673779447897 + 0.0*i,
    0.442763579049984 + 0.0*i,
    0.162229616372252 + 0.0*i,
    0.386378354109046 + 0.0*i,
    -0.0609487514074733 + 0.0*i,
    -0.397241376301826 + 0.0*i,
    -0.3425073341475 + 0.0*i,
    0.395340243050342 + 0.0*i,
    -0.143996895757286 + 0.0*i,
    -0.337437514953233 + 0.0*i,
    0.332547013270349 + 0.0*i,
    -0.117196203327712 + 0.0*i,
    0.0258653115637631 + 0.0*i,
    -0.297353525761252 + 0.0*i,
    -0.593126011245994 + 0.0*i,
    0.180886797433308 + 0.0*i,
    0.0689390176659477 + 0.0*i,
    0.187402297275981 + 0.0*i,
    -0.129615672276484 + 0.0*i,
    -0.565187837594747 + 0.0*i,
    -0.558096987698741 + 0.0*i,
    0.303703723915981 + 0.0*i,
    0.712315998217288 + 0.0*i,
    0.150042718208253 + 0.0*i,
    0.226438971580035 + 0.0*i,
    0.0647869515177103 + 0.0*i,
    0.180397644126599 + 0.0*i,
    0.281440765646894 + 0.0*i,
    -0.0633267824254278 + 0.0*i,
    -0.381966501154551 + 0.0*i,
    0.242699834007092 + 0.0*i,
    -0.160253656073794 + 0.0*i,
    -0.487933431189821 + 0.0*i,
    -0.322382007891534 + 0.0*i,
    0.0461194766933379 + 0.0*i,
    -0.441784825042144 + 0.0*i,
    -0.432322709424898 + 0.0*i,
    -0.0937962733094208 + 0.0*i,
    0.151998583512301 + 0.0*i,
    -0.099951938385137 + 0.0*i,
    0.493589775764373 + 0.0*i,
    0.0797685045951901 + 0.0*i,
    -0.2345772682829 + 0.0*i,
    0.078882249725609 + 0.0*i,
    0.228173175167933 + 0.0*i,
    0.0382235903890606 + 0.0*i,
    -0.435745457977682 + 0.0*i,
    -0.368241637174103 + 0.0*i,
    0.244145987684412 + 0.0*i,
    0.878882139718984 + 0.0*i,
    0.0463707764661178 + 0.0*i,
    0.0942160454203189 + 0.0*i,
    0.341634676624569 + 0.0*i,
    -0.276123927743773 + 0.0*i,
    -0.437908146095676 + 0.0*i,
    -0.206580814872656 + 0.0*i,
    -0.217468410186212 + 0.0*i,
    -0.111253052811096 + 0.0*i,
    0.495605525006266 + 0.0*i,
    -0.374162211390851 + 0.0*i,
    -0.106711658916935 + 0.0*i,
    0.796500968252238 + 0.0*i,
    0.135967549092087 + 0.0*i,
    0.557280127867208 + 0.0*i,
    -0.0203520111526096 + 0.0*i,
    0.211200506296214 + 0.0*i,
    -0.563553635939432 + 0.0*i,
    0.0364474682619455 + 0.0*i,
    -0.0813225629886816 + 0.0*i,
    -0.393514584112735 + 0.0*i,
    -0.182095724230325 + 0.0*i,
    -0.0770707079252845 + 0.0*i,
    -0.00128296843613652 + 0.0*i,
    -0.289983139356149 + 0.0*i,
    -0.0590047112161246 + 0.0*i,
    0.184221984976006 + 0.0*i,
    -0.398782024177075 + 0.0*i,
    0.263001855524591 + 0.0*i,
    0.244982931204721 + 0.0*i,
    0.058513997891486 + 0.0*i,
    0.153139949908664 + 0.0*i,
    -0.507080898017376 + 0.0*i,
    0.296439227860328 + 0.0*i,
    0.798808159291955 + 0.0*i,
    0.277805884180075 + 0.0*i,
    0.543858391748344 + 0.0*i,
    0.0783354685478867 + 0.0*i,
    0.0823021994840851 + 0.0*i,
    0.014806519597466 + 0.0*i,
    0.528346210400688 + 0.0*i,
    0.111196266506686 + 0.0*i,
    -0.08783277504728 + 0.0*i,
    0.0404054131025196 + 0.0*i,
    0.491437431779698 + 0.0*i,
    0.522676142488329 + 0.0*i,
    0.399275223715791 + 0.0*i,
    0.228668000542707 + 0.0*i,
    0.274775256258395 + 0.0*i,
    0.362861786180949 + 0.0*i,
    -0.346329626955759 + 0.0*i,
    -0.192520003568854 + 0.0*i,
    0.355553107112909 + 0.0*i,
    -0.115570964173111 + 0.0*i,
    0.0474808304775358 + 0.0*i,
    -0.1478937740499 + 0.0*i,
    -0.0166056080792847 + 0.0*i,
    -0.189351280447675 + 0.0*i,
    -0.819405155975954 + 0.0*i,
    0.00814837302112769 + 0.0*i,
    0.252213000454122 + 0.0*i,
    0.181479676195273 + 0.0*i,
    0.535274111775469 + 0.0*i,
    0.257210277143305 + 0.0*i,
    -0.119773733833645 + 0.0*i,
    -0.100978845446423 + 0.0*i,
    -0.0734151706780186 + 0.0*i,
    -0.506288261631903 + 0.0*i,
    0.361299572671066 + 0.0*i,
    -0.212926166627781 + 0.0*i,
    0.148583651518332 + 0.0*i,
    0.469079089986803 + 0.0*i,
    0.218126149129778 + 0.0*i,
    0.424177308218112 + 0.0*i,
    -0.189939702470137 + 0.0*i,
    0.778963985888746 + 0.0*i,
    0.268699195918832 + 0.0*i,
    0.294208175649101 + 0.0*i,
    0.196316434901459 + 0.0*i,
    0.101405137268448 + 0.0*i,
    -0.19097598869129 + 0.0*i,
    0.286633528056063 + 0.0*i,
    0.0352149574094351 + 0.0*i,
    0.77528602809837 + 0.0*i,
    0.00481053882053517 + 0.0*i,
    0.217997026125346 + 0.0*i,
    -0.000160407968017283 + 0.0*i,
    -0.191138575077759 + 0.0*i,
    0.170256612190354 + 0.0*i,
    0.67146756074136 + 0.0*i,
    0.279157218948369 + 0.0*i,
    0.304214628652283 + 0.0*i,
    -0.418673115611815 + 0.0*i,
    0.00327162470316548 + 0.0*i,
    -0.236422041958979 + 0.0*i,
    0.0458617581063675 + 0.0*i,
    0.2130237121449 + 0.0*i,
    0.0771054197646329 + 0.0*i,
    -0.492107577036636 + 0.0*i,
    -0.340129868350752 + 0.0*i
]);