V:=Matrix(CC,9,30,[
    0.157991092954243 + 0.0*i,
    0.243929470304093 + 0.0*i,
    0.0741944171315148 + 0.0*i,
    0.184812799589878 + 0.0*i,
    -0.281934340858141 + 0.0*i,
    0.433891980820626 + 0.0*i,
    0.0795018173683191 + 0.0*i,
    -0.318383607859487 + 0.0*i,
    0.0120039128603457 + 0.0*i,
    -0.271679127523018 + 0.0*i,
    0.0462169452557138 + 0.0*i,
    -0.656790323782103 + 0.0*i,
    0.143819012094141 + 0.0*i,
    0.093122489084848 + 0.0*i,
    -0.0142455038293604 + 0.0*i,
    0.575568104088842 + 0.0*i,
    0.749872619556494 + 0.0*i,
    -0.264105863788691 + 0.0*i,
    -0.560883820702125 + 0.0*i,
    -0.117555058870012 + 0.0*i,
    0.00566068592776741 + 0.0*i,
    -0.35731896536679 + 0.0*i,
    -0.242638560664589 + 0.0*i,
    0.212745544533427 + 0.0*i,
    0.495360675092446 + 0.0*i,
    0.264365571469015 + 0.0*i,
    0.150179268715316 + 0.0*i,
    -0.499471520637639 + 0.0*i,
    0.0149358076948903 + 0.0*i,
    -0.116335139114022 + 0.0*i,
    -0.279349486238499 + 0.0*i,
    0.213901773720158 + 0.0*i,
    -0.249145455715439 + 0.0*i,
    0.313226264482008 + 0.0*i,
    0.00670028552496994 + 0.0*i,
    0.441921959919841 + 0.0*i,
    -0.474697453734732 + 0.0*i,
    0.440372696398272 + 0.0*i,
    -0.291325388876431 + 0.0*i,
    0.584271193959758 + 0.0*i,
    0.127354651733485 + 0.0*i,
    0.390375595110531 + 0.0*i,
    0.115538693009241 + 0.0*i,
    0.0441511721175166 + 0.0*i,
    0.568995513124291 + 0.0*i,
    0.27621473671484 + 0.0*i,
    -0.144583547907993 + 0.0*i,
    0.0994117769764126 + 0.0*i,
    -0.195975632039144 + 0.0*i,
    0.377746787221474 + 0.0*i,
    0.346573639443367 + 0.0*i,
    0.229087094894975 + 0.0*i,
    -0.510843263021151 + 0.0*i,
    0.842088106740413 + 0.0*i,
    -0.17987044418059 + 0.0*i,
    0.245510114444736 + 0.0*i,
    -0.0345374071836488 + 0.0*i,
    -0.056619181603772 + 0.0*i,
    0.127321948416622 + 0.0*i,
    -0.0366214298281561 + 0.0*i,
    -0.25448927591487 + 0.0*i,
    0.322707556096477 + 0.0*i,
    0.429990675472618 + 0.0*i,
    0.266306953967909 + 0.0*i,
    -0.0116828772661245 + 0.0*i,
    -0.0680610851141202 + 0.0*i,
    0.217600900089071 + 0.0*i,
    0.0257121112324945 + 0.0*i,
    -0.108176208137846 + 0.0*i,
    -0.601894450881872 + 0.0*i,
    -0.283391517269745 + 0.0*i,
    0.158058617839439 + 0.0*i,
    0.340865710617879 + 0.0*i,
    0.49480302341789 + 0.0*i,
    -0.122156508820267 + 0.0*i,
    0.428389386260329 + 0.0*i,
    0.184854029360003 + 0.0*i,
    0.145339709711225 + 0.0*i,
    0.30662744215871 + 0.0*i,
    -0.153187043135972 + 0.0*i,
    0.580421164397094 + 0.0*i,
    0.255668771820186 + 0.0*i,
    0.529057275048256 + 0.0*i,
    0.291498388629365 + 0.0*i,
    -0.463269079991656 + 0.0*i,
    0.065750624708016 + 0.0*i,
    0.449276376519689 + 0.0*i,
    0.584579663357548 + 0.0*i,
    0.225724561831704 + 0.0*i,
    -0.358652598191044 + 0.0*i,
    -0.486532780391262 + 0.0*i,
    0.391591149958674 + 0.0*i,
    -0.634915733325472 + 0.0*i,
    0.02797451417454 + 0.0*i,
    -0.215903283943643 + 0.0*i,
    -0.285209355764979 + 0.0*i,
    0.165878891863596 + 0.0*i,
    0.451813178737448 + 0.0*i,
    0.490055716438787 + 0.0*i,
    -0.197631358952688 + 0.0*i,
    0.552062542725004 + 0.0*i,
    0.257238412752902 + 0.0*i,
    -0.451632417524994 + 0.0*i,
    0.164308234272696 + 0.0*i,
    0.24180790802744 + 0.0*i,
    -0.0847185138415949 + 0.0*i,
    0.333867883857988 + 0.0*i,
    0.243344520486906 + 0.0*i,
    0.508179221301388 + 0.0*i,
    -0.328382212676454 + 0.0*i,
    0.0124687911536911 + 0.0*i,
    -0.667226686372022 + 0.0*i,
    0.00950005536367861 + 0.0*i,
    0.132487905850639 + 0.0*i,
    -0.00721482915339955 + 0.0*i,
    -0.320008537000732 + 0.0*i,
    -0.0663858161412259 + 0.0*i,
    -0.198682022927631 + 0.0*i,
    -0.0724676534776278 + 0.0*i,
    -0.357206699325652 + 0.0*i,
    -0.469286981215566 + 0.0*i,
    -0.067479799232792 + 0.0*i,
    -0.0172867322389348 + 0.0*i,
    0.506899407502982 + 0.0*i,
    0.00991461992652008 + 0.0*i,
    0.0811036146230847 + 0.0*i,
    -0.541936724707795 + 0.0*i,
    -0.217072297525695 + 0.0*i,
    -0.0254170056142239 + 0.0*i,
    -0.304753725274525 + 0.0*i,
    0.183232919187709 + 0.0*i,
    -0.281702283326452 + 0.0*i,
    0.706449178519603 + 0.0*i,
    -0.175295400381027 + 0.0*i,
    -0.248156176409027 + 0.0*i,
    -0.249499339907895 + 0.0*i,
    -0.293567729820808 + 0.0*i,
    -0.189266567667247 + 0.0*i,
    -0.00404282026431184 + 0.0*i,
    -0.0449809529223687 + 0.0*i,
    -0.451135315776775 + 0.0*i,
    -0.0107444838536117 + 0.0*i,
    -0.352578311789225 + 0.0*i,
    0.0588745234487159 + 0.0*i,
    -0.402082642578396 + 0.0*i,
    -0.607155615529143 + 0.0*i,
    0.108538735422029 + 0.0*i,
    -0.144249291899574 + 0.0*i,
    -0.577316118317392 + 0.0*i,
    -0.542641747390284 + 0.0*i,
    0.125262846522048 + 0.0*i,
    -0.16174980364532 + 0.0*i,
    -0.0899977719367063 + 0.0*i,
    0.543251197148378 + 0.0*i,
    0.471066898694973 + 0.0*i,
    0.452129055988828 + 0.0*i,
    0.238161627131939 + 0.0*i,
    0.0210387280751155 + 0.0*i,
    -0.0761954976119866 + 0.0*i,
    -0.11360871696048 + 0.0*i,
    -0.677504063889941 + 0.0*i,
    -0.261906486128165 + 0.0*i,
    -0.0743112899651663 + 0.0*i,
    0.170654756134041 + 0.0*i,
    0.533020274459781 + 0.0*i,
    0.0625159741261217 + 0.0*i,
    -0.204676340358012 + 0.0*i,
    -0.0727201050902528 + 0.0*i,
    0.539424753148412 + 0.0*i,
    -0.170918970912322 + 0.0*i,
    0.422026256822116 + 0.0*i,
    -0.163727897247795 + 0.0*i,
    -0.0880529066265216 + 0.0*i,
    -0.287268738575701 + 0.0*i,
    0.26717658533406 + 0.0*i,
    -0.0856813486182393 + 0.0*i,
    -0.750912917731289 + 0.0*i,
    -0.170848648853345 + 0.0*i,
    -0.597414772969867 + 0.0*i,
    -0.0571910451420101 + 0.0*i,
    0.244995229378304 + 0.0*i,
    -0.702764684289332 + 0.0*i,
    -0.437857380873323 + 0.0*i,
    -0.279914681718135 + 0.0*i,
    -0.513212467295183 + 0.0*i,
    0.436992014378314 + 0.0*i,
    0.393624116689007 + 0.0*i,
    0.0136549331353889 + 0.0*i,
    -0.430802571736224 + 0.0*i,
    0.156070002552315 + 0.0*i,
    0.060819333536795 + 0.0*i,
    -0.172294406357148 + 0.0*i,
    0.209655862249156 + 0.0*i,
    0.390602108700041 + 0.0*i,
    -0.398740645969645 + 0.0*i,
    -0.166935564745491 + 0.0*i,
    0.251486949274753 + 0.0*i,
    0.817369755547741 + 0.0*i,
    -0.0211098103850696 + 0.0*i,
    -0.0247242518549972 + 0.0*i,
    0.0711302076651538 + 0.0*i,
    0.264174961940674 + 0.0*i,
    -0.0531659264700135 + 0.0*i,
    0.2246869959747 + 0.0*i,
    0.0858425039694495 + 0.0*i,
    -0.398480456747912 + 0.0*i,
    -0.228832552213582 + 0.0*i,
    0.213086323256342 + 0.0*i,
    0.0179305776306398 + 0.0*i,
    -0.208312782414475 + 0.0*i,
    -0.513339256074464 + 0.0*i,
    -0.335468044787316 + 0.0*i,
    -0.304769817065611 + 0.0*i,
    -0.287695419353331 + 0.0*i,
    -0.420139225360029 + 0.0*i,
    -0.0487852094485674 + 0.0*i,
    0.0442238153066748 + 0.0*i,
    -0.144891748187985 + 0.0*i,
    0.353495740207631 + 0.0*i,
    -0.213749264298708 + 0.0*i,
    -0.324131565866314 + 0.0*i,
    0.117368936202348 + 0.0*i,
    0.292204696000566 + 0.0*i,
    0.590286072723378 + 0.0*i,
    0.304741050794656 + 0.0*i,
    0.319480674915229 + 0.0*i,
    -0.159518542881731 + 0.0*i,
    -0.341460899981675 + 0.0*i,
    0.0632620855592915 + 0.0*i,
    0.808771839290515 + 0.0*i,
    -0.383976674048645 + 0.0*i,
    -0.103992975796184 + 0.0*i,
    -0.20560021877133 + 0.0*i,
    -0.0205196443083309 + 0.0*i,
    0.501034684232091 + 0.0*i,
    0.0879323839510932 + 0.0*i,
    0.282203966409197 + 0.0*i,
    0.368833788653596 + 0.0*i,
    -0.396820792204363 + 0.0*i,
    0.246317697551123 + 0.0*i,
    -0.178035477916241 + 0.0*i,
    -0.04633930657489 + 0.0*i,
    0.228808626574536 + 0.0*i,
    0.291147521463723 + 0.0*i,
    -0.460515164841769 + 0.0*i,
    -0.359054031809577 + 0.0*i,
    0.42859419665513 + 0.0*i,
    0.655583072587316 + 0.0*i,
    -0.587436969674502 + 0.0*i,
    -0.108689271293563 + 0.0*i,
    -0.0289498883669694 + 0.0*i,
    -0.359813355190592 + 0.0*i,
    0.105336593149098 + 0.0*i,
    -0.407140111722726 + 0.0*i,
    -0.0672462151127947 + 0.0*i,
    0.465760934277409 + 0.0*i,
    -0.269785004986176 + 0.0*i,
    -0.118764326940628 + 0.0*i,
    -0.0311461558715743 + 0.0*i,
    -0.131125957814965 + 0.0*i,
    -0.0591176727869168 + 0.0*i,
    -0.447721192073012 + 0.0*i,
    -0.45792494406423 + 0.0*i,
    -0.0626240566778417 + 0.0*i,
    -0.0929522695606056 + 0.0*i,
    -0.469032777170072 + 0.0*i,
    -0.238505072668719 + 0.0*i,
    0.367915258383784 + 0.0*i,
    0.261989359799228 + 0.0*i,
    0.581897730683914 + 0.0*i
]);