V:=Matrix(CC,9,31,[
    -0.214351758096156 + 0.0*i,
    0.437480667734966 + 0.0*i,
    -0.669025172638901 + 0.0*i,
    -0.683143287630638 + 0.0*i,
    -0.306403104694798 + 0.0*i,
    0.248250752446598 + 0.0*i,
    0.169694163502108 + 0.0*i,
    0.19448339934664 + 0.0*i,
    0.427405162389999 + 0.0*i,
    0.13448411779431 + 0.0*i,
    -0.615931278144659 + 0.0*i,
    -0.222034296927056 + 0.0*i,
    -0.103404079132156 + 0.0*i,
    -0.021230497807156 + 0.0*i,
    0.376317094329856 + 0.0*i,
    -0.127641739574239 + 0.0*i,
    0.191413976719838 + 0.0*i,
    0.162713390695064 + 0.0*i,
    0.0796128401769372 + 0.0*i,
    0.599282944529337 + 0.0*i,
    0.21486422474397 + 0.0*i,
    0.113524209918798 + 0.0*i,
    -0.277056275887064 + 0.0*i,
    -0.409968437519099 + 0.0*i,
    -0.584378674541926 + 0.0*i,
    -0.163146255533238 + 0.0*i,
    -0.0875100627136416 + 0.0*i,
    0.111927393236673 + 0.0*i,
    -0.424756648059473 + 0.0*i,
    0.18505880845814 + 0.0*i,
    0.234641163752169 + 0.0*i,
    0.591804414395904 + 0.0*i,
    -0.0966023038197194 + 0.0*i,
    -0.244559869067944 + 0.0*i,
    -0.198560466050982 + 0.0*i,
    0.407282384952193 + 0.0*i,
    0.0136843210171021 + 0.0*i,
    -0.286371302293939 + 0.0*i,
    0.154360651002355 + 0.0*i,
    -0.00397762055339501 + 0.0*i,
    0.470736495888815 + 0.0*i,
    -0.353804404352192 + 0.0*i,
    -0.431065745906405 + 0.0*i,
    -0.383420349042208 + 0.0*i,
    -0.0315463763767905 + 0.0*i,
    -0.101262417320158 + 0.0*i,
    -0.286206215520926 + 0.0*i,
    0.119621546266513 + 0.0*i,
    -0.151439615864112 + 0.0*i,
    -0.569364845773796 + 0.0*i,
    -0.098895776612026 + 0.0*i,
    0.43285665434841 + 0.0*i,
    0.261450081549432 + 0.0*i,
    -0.390371719423752 + 0.0*i,
    0.538819176717662 + 0.0*i,
    -0.0592532050098993 + 0.0*i,
    0.403635027152082 + 0.0*i,
    0.120690117084664 + 0.0*i,
    0.20825490047566 + 0.0*i,
    0.650908200235127 + 0.0*i,
    0.241749967159295 + 0.0*i,
    0.165963430115268 + 0.0*i,
    -0.134012855450236 + 0.0*i,
    -0.308294657195534 + 0.0*i,
    0.288259167735156 + 0.0*i,
    0.327907114699783 + 0.0*i,
    0.232849035883846 + 0.0*i,
    0.182811640705996 + 0.0*i,
    -0.113860357391712 + 0.0*i,
    -0.622504190129651 + 0.0*i,
    0.563733720652318 + 0.0*i,
    0.188800025762811 + 0.0*i,
    -0.337561991600607 + 0.0*i,
    0.143176749483626 + 0.0*i,
    0.553617090635482 + 0.0*i,
    -0.780925256759718 + 0.0*i,
    -0.297818491229688 + 0.0*i,
    -0.502966121075801 + 0.0*i,
    -0.122843755126422 + 0.0*i,
    0.111182217726731 + 0.0*i,
    -0.0899041482797842 + 0.0*i,
    0.210805012687821 + 0.0*i,
    -0.141866872391618 + 0.0*i,
    0.346403136664963 + 0.0*i,
    0.165878197886319 + 0.0*i,
    0.544958302018731 + 0.0*i,
    -0.371583283335548 + 0.0*i,
    -0.0822830984207076 + 0.0*i,
    -0.155559579001032 + 0.0*i,
    0.127692845690693 + 0.0*i,
    -0.370941292104678 + 0.0*i,
    0.285426596861884 + 0.0*i,
    0.0414814460701901 + 0.0*i,
    -0.109276916075557 + 0.0*i,
    -0.558059110432052 + 0.0*i,
    0.114678364779938 + 0.0*i,
    -0.0485473327028282 + 0.0*i,
    0.493147264286568 + 0.0*i,
    -0.125922347823436 + 0.0*i,
    0.345822679493601 + 0.0*i,
    -0.270791829730692 + 0.0*i,
    -0.383522332437855 + 0.0*i,
    -0.162983158322539 + 0.0*i,
    0.0757566590941323 + 0.0*i,
    -0.158666560408142 + 0.0*i,
    0.190194887089814 + 0.0*i,
    -0.117558891419244 + 0.0*i,
    -0.355747459587338 + 0.0*i,
    -0.461304490438225 + 0.0*i,
    0.440588958486421 + 0.0*i,
    0.100875011095684 + 0.0*i,
    0.0963538570203637 + 0.0*i,
    0.449271302783147 + 0.0*i,
    0.487303663845849 + 0.0*i,
    -0.631994652917043 + 0.0*i,
    -0.679488182960273 + 0.0*i,
    -0.327474203561611 + 0.0*i,
    -0.199855213014131 + 0.0*i,
    -0.0995305257761233 + 0.0*i,
    -0.082774769246343 + 0.0*i,
    -0.18104087581825 + 0.0*i,
    0.10562030117003 + 0.0*i,
    -0.351232721114492 + 0.0*i,
    0.233223055415794 + 0.0*i,
    -0.321699944329602 + 0.0*i,
    -0.361103509255799 + 0.0*i,
    -0.365876852142453 + 0.0*i,
    0.151541811423757 + 0.0*i,
    -0.0578709219355741 + 0.0*i,
    0.660713750188387 + 0.0*i,
    -0.0886071394139003 + 0.0*i,
    0.399428921055724 + 0.0*i,
    0.0688389469783107 + 0.0*i,
    0.278970757742428 + 0.0*i,
    -0.248108963775398 + 0.0*i,
    -0.448591282120109 + 0.0*i,
    0.515157109968705 + 0.0*i,
    0.218665024609039 + 0.0*i,
    0.0150380420588672 + 0.0*i,
    0.0741396010554824 + 0.0*i,
    0.0754891732044186 + 0.0*i,
    -0.697845443704062 + 0.0*i,
    -0.0351574191406759 + 0.0*i,
    -0.231609584524434 + 0.0*i,
    0.0397365647561346 + 0.0*i,
    -0.403628334377962 + 0.0*i,
    0.0293744167516325 + 0.0*i,
    0.262666884294032 + 0.0*i,
    0.121336312987149 + 0.0*i,
    -0.531429381596436 + 0.0*i,
    0.0761616080852753 + 0.0*i,
    0.290306598061969 + 0.0*i,
    0.159126129830626 + 0.0*i,
    -0.293091994481714 + 0.0*i,
    -0.738835480182214 + 0.0*i,
    -0.387548167404885 + 0.0*i,
    0.243950030964407 + 0.0*i,
    -0.15046525235735 + 0.0*i,
    0.236463828533083 + 0.0*i,
    0.459978352120067 + 0.0*i,
    -0.11395435739209 + 0.0*i,
    -0.129154840760628 + 0.0*i,
    -0.339192872478972 + 0.0*i,
    0.0597287925062941 + 0.0*i,
    -0.74855195865869 + 0.0*i,
    -0.104447282604591 + 0.0*i,
    -0.234088825921195 + 0.0*i,
    0.251393440240751 + 0.0*i,
    0.312569640071543 + 0.0*i,
    0.190274548552507 + 0.0*i,
    0.179483858279595 + 0.0*i,
    -0.127468532564058 + 0.0*i,
    -0.530216954089864 + 0.0*i,
    0.156805786230212 + 0.0*i,
    0.405194380259908 + 0.0*i,
    0.508078612632042 + 0.0*i,
    -0.249178915845964 + 0.0*i,
    0.40063460702648 + 0.0*i,
    0.138941214778717 + 0.0*i,
    0.26055578214376 + 0.0*i,
    0.418092764643191 + 0.0*i,
    0.253187824573482 + 0.0*i,
    0.0829360081731952 + 0.0*i,
    0.0856817521858584 + 0.0*i,
    0.650154829588244 + 0.0*i,
    0.105522952664745 + 0.0*i,
    0.379716482886385 + 0.0*i,
    0.213910988253143 + 0.0*i,
    0.454938698175351 + 0.0*i,
    -0.488753614064301 + 0.0*i,
    0.108858190951899 + 0.0*i,
    0.350270811433546 + 0.0*i,
    0.441055485456893 + 0.0*i,
    0.131325019736872 + 0.0*i,
    0.0271112953954425 + 0.0*i,
    -0.104928950545551 + 0.0*i,
    -0.223902232914448 + 0.0*i,
    -0.454702870654617 + 0.0*i,
    0.329080324232883 + 0.0*i,
    0.175413323118683 + 0.0*i,
    -0.0540121642786245 + 0.0*i,
    -0.58408295194989 + 0.0*i,
    -0.1060331629641 + 0.0*i,
    0.0932061530987749 + 0.0*i,
    0.517622359101769 + 0.0*i,
    -0.0772533949840874 + 0.0*i,
    -0.0365726618530042 + 0.0*i,
    0.246399919537253 + 0.0*i,
    0.209258094809308 + 0.0*i,
    0.21484579831855 + 0.0*i,
    0.336665892336956 + 0.0*i,
    0.324509114197444 + 0.0*i,
    0.851442220045931 + 0.0*i,
    -0.303587491590669 + 0.0*i,
    -0.361641309969255 + 0.0*i,
    -0.438264350464633 + 0.0*i,
    0.157356328425545 + 0.0*i,
    -0.317692122741261 + 0.0*i,
    -0.415812774817865 + 0.0*i,
    0.0696757252016734 + 0.0*i,
    -0.116097969909782 + 0.0*i,
    -0.188917318620692 + 0.0*i,
    0.505846517198595 + 0.0*i,
    -0.4916913448593 + 0.0*i,
    -0.157023593500333 + 0.0*i,
    -0.325939971863512 + 0.0*i,
    -0.106404916485451 + 0.0*i,
    -0.0156418204906851 + 0.0*i,
    0.450664654742476 + 0.0*i,
    -0.212056553244298 + 0.0*i,
    0.206791494176773 + 0.0*i,
    0.681317943970404 + 0.0*i,
    -0.114273864872254 + 0.0*i,
    0.0233477239371533 + 0.0*i,
    -0.210294765239468 + 0.0*i,
    -0.299753879017707 + 0.0*i,
    -0.404171195933244 + 0.0*i,
    0.495802010572785 + 0.0*i,
    0.341387916056232 + 0.0*i,
    0.180640268317842 + 0.0*i,
    -0.0565826549469375 + 0.0*i,
    -0.50936544609747 + 0.0*i,
    -0.106876825824665 + 0.0*i,
    0.287846690125485 + 0.0*i,
    -0.769221223947725 + 0.0*i,
    -0.212562005102031 + 0.0*i,
    0.00775491855625171 + 0.0*i,
    0.284716353132244 + 0.0*i,
    -0.278384705226218 + 0.0*i,
    -0.0864812870331901 + 0.0*i,
    -0.153986673834334 + 0.0*i,
    -0.174670613696803 + 0.0*i,
    -0.412618647879669 + 0.0*i,
    0.24540632092749 + 0.0*i,
    -0.540530318964041 + 0.0*i,
    -0.394460481263951 + 0.0*i,
    0.502694137713551 + 0.0*i,
    0.210064820428541 + 0.0*i,
    0.501006767793968 + 0.0*i,
    -0.222893203113625 + 0.0*i,
    -0.151265278974644 + 0.0*i,
    0.387749659583857 + 0.0*i,
    -0.345317954746605 + 0.0*i,
    -0.177743052747094 + 0.0*i,
    0.833870067211583 + 0.0*i,
    0.319634802779959 + 0.0*i,
    0.515151475337199 + 0.0*i,
    0.0756748743145667 + 0.0*i,
    0.098768550462795 + 0.0*i,
    0.00316577791354224 + 0.0*i,
    0.22328966564994 + 0.0*i,
    0.0585638023297184 + 0.0*i,
    -0.0972450421536671 + 0.0*i,
    0.498367338052809 + 0.0*i,
    -0.258911111594581 + 0.0*i,
    -0.341905468472929 + 0.0*i,
    0.198629072769215 + 0.0*i,
    -0.124278636174294 + 0.0*i,
    -0.435771330504859 + 0.0*i
]);