V:=Matrix(CC,9,20,[
    0.49316176777023 + 0.0*i,
    -0.122730244812617 + 0.0*i,
    -0.0555325971185302 + 0.0*i,
    -0.469231091542433 + 0.0*i,
    -0.719339761175635 + 0.0*i,
    -0.252195203183062 + 0.0*i,
    0.474148426211485 + 0.0*i,
    0.261546470901639 + 0.0*i,
    -0.316506748277504 + 0.0*i,
    0.547196469061831 + 0.0*i,
    -0.236857467916964 + 0.0*i,
    -0.353922008002492 + 0.0*i,
    0.389077642820284 + 0.0*i,
    0.0446508912506528 + 0.0*i,
    -0.0220742239697603 + 0.0*i,
    0.15790072034661 + 0.0*i,
    -0.377992523053781 + 0.0*i,
    0.156157764296952 + 0.0*i,
    0.0938796283114429 + 0.0*i,
    -0.324653841342259 + 0.0*i,
    -0.124844393491647 + 0.0*i,
    0.223123478958159 + 0.0*i,
    0.029249287375331 + 0.0*i,
    0.344668658485148 + 0.0*i,
    -0.165990707232984 + 0.0*i,
    -0.597343251316171 + 0.0*i,
    0.0858648073980945 + 0.0*i,
    -0.593808447532136 + 0.0*i,
    0.0867056028658065 + 0.0*i,
    -0.0249261462493031 + 0.0*i,
    -0.183049929486366 + 0.0*i,
    -0.416589616674683 + 0.0*i,
    -0.239344161045717 + 0.0*i,
    -0.481583500747314 + 0.0*i,
    0.0130800000465746 + 0.0*i,
    -0.101107454336836 + 0.0*i,
    -0.413787515038666 + 0.0*i,
    0.0470778933886553 + 0.0*i,
    -0.541576009918343 + 0.0*i,
    0.475865259812048 + 0.0*i,
    -0.226607901480804 + 0.0*i,
    -0.020618828110878 + 0.0*i,
    -0.0699000889495286 + 0.0*i,
    0.341949297391851 + 0.0*i,
    0.16697168050006 + 0.0*i,
    -0.372383958192921 + 0.0*i,
    -0.208097648557459 + 0.0*i,
    -0.241060608991572 + 0.0*i,
    -0.603126396154765 + 0.0*i,
    -0.11758068524493 + 0.0*i,
    0.244129700695646 + 0.0*i,
    0.537535523881972 + 0.0*i,
    0.596881112163114 + 0.0*i,
    0.344262954842313 + 0.0*i,
    0.103427039226554 + 0.0*i,
    -0.0548565992016761 + 0.0*i,
    -0.579303506592375 + 0.0*i,
    0.443143301469951 + 0.0*i,
    0.262306221399029 + 0.0*i,
    -0.0138865445829386 + 0.0*i,
    0.242375210498847 + 0.0*i,
    0.207781340890511 + 0.0*i,
    0.0598856261890497 + 0.0*i,
    0.181385498110991 + 0.0*i,
    0.0291977831424807 + 0.0*i,
    0.556508526707073 + 0.0*i,
    -0.171700389843382 + 0.0*i,
    0.0789112098197987 + 0.0*i,
    0.0906935827572872 + 0.0*i,
    0.5410514195901 + 0.0*i,
    -0.1293267202305 + 0.0*i,
    0.229930525929148 + 0.0*i,
    -0.17426321216884 + 0.0*i,
    0.370103638513708 + 0.0*i,
    -0.233000795143525 + 0.0*i,
    -0.684167301668753 + 0.0*i,
    -0.287417565607801 + 0.0*i,
    0.512182461543428 + 0.0*i,
    -0.0641484608744719 + 0.0*i,
    0.593032147458607 + 0.0*i,
    -0.299515821094649 + 0.0*i,
    -0.224819668360863 + 0.0*i,
    -0.477545093003175 + 0.0*i,
    0.0839387135896378 + 0.0*i,
    -0.478181784714684 + 0.0*i,
    0.0601612625876334 + 0.0*i,
    -0.564901247049396 + 0.0*i,
    0.250074373545184 + 0.0*i,
    0.279111798143901 + 0.0*i,
    0.315222769671747 + 0.0*i,
    0.334094991860049 + 0.0*i,
    0.133622883954153 + 0.0*i,
    -0.153078398491787 + 0.0*i,
    -0.311549535862583 + 0.0*i,
    0.265419782716795 + 0.0*i,
    0.591008017170305 + 0.0*i,
    -0.0502384503736043 + 0.0*i,
    0.323710286842082 + 0.0*i,
    0.128222446008987 + 0.0*i,
    0.370284654557667 + 0.0*i,
    0.653366768358397 + 0.0*i,
    -0.601510925173515 + 0.0*i,
    -0.443621408151594 + 0.0*i,
    0.336150733319067 + 0.0*i,
    0.0319757305941681 + 0.0*i,
    0.0763309707176448 + 0.0*i,
    -0.190283418763913 + 0.0*i,
    -0.364874593147656 + 0.0*i,
    -0.144803173451995 + 0.0*i,
    -0.0478414198426573 + 0.0*i,
    -0.432927672297669 + 0.0*i,
    -0.0618706241695429 + 0.0*i,
    -0.536815574630687 + 0.0*i,
    0.0926641517761734 + 0.0*i,
    0.320713468266375 + 0.0*i,
    -0.0919645665993729 + 0.0*i,
    -0.264578469523078 + 0.0*i,
    -0.386891063336932 + 0.0*i,
    0.408722111854214 + 0.0*i,
    -0.181873634400633 + 0.0*i,
    0.330710384935846 + 0.0*i,
    0.243314448948332 + 0.0*i,
    -0.410988125898555 + 0.0*i,
    -0.4358875465949 + 0.0*i,
    -0.246936035375964 + 0.0*i,
    0.185542462691623 + 0.0*i,
    -0.10588810807531 + 0.0*i,
    -0.467554729845036 + 0.0*i,
    -0.529035372724326 + 0.0*i,
    -0.151851024943843 + 0.0*i,
    0.727770889799662 + 0.0*i,
    -0.106685179181113 + 0.0*i,
    -0.185672900586836 + 0.0*i,
    0.198420977724361 + 0.0*i,
    0.409299172929187 + 0.0*i,
    -0.051855879678261 + 0.0*i,
    0.246540359419991 + 0.0*i,
    0.0209321961932927 + 0.0*i,
    -0.446225076316333 + 0.0*i,
    0.125455584377444 + 0.0*i,
    0.0131133330827994 + 0.0*i,
    0.487891458919073 + 0.0*i,
    0.400140114315721 + 0.0*i,
    0.101181439252429 + 0.0*i,
    0.203034734282141 + 0.0*i,
    -0.110024567369345 + 0.0*i,
    -0.523068321450497 + 0.0*i,
    -0.187617192046896 + 0.0*i,
    0.28630836292265 + 0.0*i,
    0.371504941766145 + 0.0*i,
    -0.075541697574558 + 0.0*i,
    -0.571605181502382 + 0.0*i,
    0.0843968141050555 + 0.0*i,
    0.598398448527925 + 0.0*i,
    0.432402308659564 + 0.0*i,
    0.283089865097819 + 0.0*i,
    0.276373777128824 + 0.0*i,
    0.128912107401122 + 0.0*i,
    0.0888900807124866 + 0.0*i,
    -0.261751811667676 + 0.0*i,
    -0.0635940114024733 + 0.0*i,
    -0.426511492340508 + 0.0*i,
    0.482511407328519 + 0.0*i,
    0.437549391844886 + 0.0*i,
    -0.306583053459313 + 0.0*i,
    -0.275745764559974 + 0.0*i,
    0.232754280998907 + 0.0*i,
    0.257475173818043 + 0.0*i,
    -0.242179929863897 + 0.0*i,
    -0.362373770373599 + 0.0*i,
    -0.0283582061110854 + 0.0*i,
    0.008556434942571 + 0.0*i,
    -0.226248422564702 + 0.0*i,
    0.0887070764119852 + 0.0*i,
    0.638016238651196 + 0.0*i,
    -0.233108391475766 + 0.0*i,
    0.240534580565696 + 0.0*i,
    0.49192425004021 + 0.0*i,
    -0.483568173309979 + 0.0*i,
    -0.247373719694274 + 0.0*i
]);