V:=Matrix(CC,9,31,[
    -0.37442278222307 + 0.0*i,
    0.36627404191885 + 0.0*i,
    0.147691773070449 + 0.0*i,
    -0.4438405335511 + 0.0*i,
    -0.0378274588380365 + 0.0*i,
    0.145776348974955 + 0.0*i,
    -0.256396576075649 + 0.0*i,
    0.16080299384293 + 0.0*i,
    -0.394379633903265 + 0.0*i,
    -0.210212605823665 + 0.0*i,
    -0.0466189374402334 + 0.0*i,
    -0.20393969835444 + 0.0*i,
    0.317629790500974 + 0.0*i,
    -0.138205408974925 + 0.0*i,
    -0.662494904117273 + 0.0*i,
    -0.292471049364806 + 0.0*i,
    0.185315543959248 + 0.0*i,
    0.175915825027844 + 0.0*i,
    -0.330328575600306 + 0.0*i,
    -0.125362793358552 + 0.0*i,
    0.106677598583911 + 0.0*i,
    0.512526922131357 + 0.0*i,
    0.071166172416496 + 0.0*i,
    -0.373114661046332 + 0.0*i,
    0.408736861584216 + 0.0*i,
    0.105010814416448 + 0.0*i,
    -0.665477830347009 + 0.0*i,
    -0.255425296366129 + 0.0*i,
    -0.285357418579536 + 0.0*i,
    0.111564159971365 + 0.0*i,
    -0.183500750350501 + 0.0*i,
    0.462009676237619 + 0.0*i,
    -0.108874515236874 + 0.0*i,
    0.18539708158575 + 0.0*i,
    -0.0550344300125118 + 0.0*i,
    0.251558309311175 + 0.0*i,
    -0.3515669205949 + 0.0*i,
    0.46011802141801 + 0.0*i,
    -0.382396402192438 + 0.0*i,
    -0.763510529353997 + 0.0*i,
    -0.553759681229397 + 0.0*i,
    0.574618498439882 + 0.0*i,
    0.198823773229182 + 0.0*i,
    0.313014589797187 + 0.0*i,
    -0.00240672780108987 + 0.0*i,
    0.170144439471165 + 0.0*i,
    -0.343239073797502 + 0.0*i,
    -0.0873702569339233 + 0.0*i,
    -0.305643209024579 + 0.0*i,
    -0.304833750699318 + 0.0*i,
    -0.0754545777503097 + 0.0*i,
    0.439031685327238 + 0.0*i,
    0.250664521840952 + 0.0*i,
    -0.166641716467297 + 0.0*i,
    -0.619171282216761 + 0.0*i,
    -0.053263769723311 + 0.0*i,
    -0.0897587466029911 + 0.0*i,
    0.0698332744332516 + 0.0*i,
    -0.297560497160674 + 0.0*i,
    0.422407518285878 + 0.0*i,
    0.265362769008703 + 0.0*i,
    -0.161112779525385 + 0.0*i,
    0.490541156903846 + 0.0*i,
    0.165524948914715 + 0.0*i,
    -0.485452784412103 + 0.0*i,
    0.0909834255650998 + 0.0*i,
    -0.19201777722896 + 0.0*i,
    0.46359951514086 + 0.0*i,
    0.278692927488283 + 0.0*i,
    -0.509535700472755 + 0.0*i,
    -0.213511040718467 + 0.0*i,
    -0.171563475413475 + 0.0*i,
    -0.0659254614193317 + 0.0*i,
    -0.0793476693956718 + 0.0*i,
    0.581642402537577 + 0.0*i,
    0.484944256420902 + 0.0*i,
    -0.557598492085087 + 0.0*i,
    0.341983107285096 + 0.0*i,
    -0.260722265499214 + 0.0*i,
    -0.0387266490036735 + 0.0*i,
    -0.300828585210581 + 0.0*i,
    -0.612965249419404 + 0.0*i,
    -0.303864913837182 + 0.0*i,
    -0.234234013995646 + 0.0*i,
    -0.105953705300856 + 0.0*i,
    0.394372191120125 + 0.0*i,
    -0.24660166595083 + 0.0*i,
    0.1278662925016 + 0.0*i,
    0.31405419358109 + 0.0*i,
    -0.128586219832923 + 0.0*i,
    -0.506120793215676 + 0.0*i,
    0.00970331282347602 + 0.0*i,
    -0.55137355027967 + 0.0*i,
    0.23861866849465 + 0.0*i,
    -0.273628756938183 + 0.0*i,
    0.0932886314958408 + 0.0*i,
    0.514726329098703 + 0.0*i,
    0.2319302178469 + 0.0*i,
    0.282307637992374 + 0.0*i,
    -0.493409858521535 + 0.0*i,
    0.226539158515571 + 0.0*i,
    0.323678226631114 + 0.0*i,
    -0.0202756525702824 + 0.0*i,
    0.170319486573495 + 0.0*i,
    0.509335103389205 + 0.0*i,
    0.0725485872109719 + 0.0*i,
    -0.445993340953512 + 0.0*i,
    -0.0608043371090645 + 0.0*i,
    -0.190576417669743 + 0.0*i,
    -0.0155339434723785 + 0.0*i,
    0.0366802180243125 + 0.0*i,
    -0.638331641912139 + 0.0*i,
    -0.29969123692508 + 0.0*i,
    -0.513011151996525 + 0.0*i,
    0.345426667228128 + 0.0*i,
    -0.520574578250412 + 0.0*i,
    -0.169236629341965 + 0.0*i,
    0.165362039442881 + 0.0*i,
    -0.135573728392966 + 0.0*i,
    0.119489903412292 + 0.0*i,
    -0.266933341251214 + 0.0*i,
    0.374612614051643 + 0.0*i,
    -0.480604023396799 + 0.0*i,
    0.0884103163756207 + 0.0*i,
    0.0808840304337001 + 0.0*i,
    0.172765372385303 + 0.0*i,
    0.400069555073832 + 0.0*i,
    -0.0376353296505735 + 0.0*i,
    0.625617666900228 + 0.0*i,
    -0.0181624823361381 + 0.0*i,
    -0.475788986268414 + 0.0*i,
    -0.361444696958612 + 0.0*i,
    -0.20677927525782 + 0.0*i,
    0.175748760649561 + 0.0*i,
    -0.201308458677127 + 0.0*i,
    -0.458607565216426 + 0.0*i,
    -0.488708828726318 + 0.0*i,
    -0.132753330506782 + 0.0*i,
    -0.199892172147917 + 0.0*i,
    -0.331521505654243 + 0.0*i,
    -0.247669757307153 + 0.0*i,
    -0.721640229055853 + 0.0*i,
    -0.412934054341755 + 0.0*i,
    0.0783842006073451 + 0.0*i,
    0.323212346436563 + 0.0*i,
    -0.246864989332925 + 0.0*i,
    -0.103944928438047 + 0.0*i,
    0.305682023868456 + 0.0*i,
    0.0702166139740579 + 0.0*i,
    -0.0835063194399396 + 0.0*i,
    -0.0111318955930651 + 0.0*i,
    0.68503309800857 + 0.0*i,
    -0.102705280232537 + 0.0*i,
    -0.169619462538559 + 0.0*i,
    -0.456467719710981 + 0.0*i,
    0.506730763279302 + 0.0*i,
    0.0339495669113695 + 0.0*i,
    -0.102724489722611 + 0.0*i,
    -0.0733083105438989 + 0.0*i,
    -0.200733760932256 + 0.0*i,
    -0.257283958200269 + 0.0*i,
    -0.243286696467991 + 0.0*i,
    0.193885402291219 + 0.0*i,
    -0.129237591980774 + 0.0*i,
    0.0925545545868953 + 0.0*i,
    -0.274319127741551 + 0.0*i,
    -0.610442867145523 + 0.0*i,
    -0.301241897522242 + 0.0*i,
    0.251565711395772 + 0.0*i,
    -0.261795504845764 + 0.0*i,
    -0.393015451338826 + 0.0*i,
    0.00825376467153419 + 0.0*i,
    -0.147841471727455 + 0.0*i,
    0.315210954899787 + 0.0*i,
    -0.109207336478317 + 0.0*i,
    -0.482867684970621 + 0.0*i,
    0.193626787032945 + 0.0*i,
    -0.00452180793610695 + 0.0*i,
    0.217720290731472 + 0.0*i,
    -0.511475864677572 + 0.0*i,
    -0.792470089479072 + 0.0*i,
    -0.415283282999731 + 0.0*i,
    -0.43207016250439 + 0.0*i,
    0.475694751882969 + 0.0*i,
    0.464497455078983 + 0.0*i,
    0.053782381130883 + 0.0*i,
    -0.166592987581053 + 0.0*i,
    -0.372342727186316 + 0.0*i,
    0.674204639554865 + 0.0*i,
    -0.278450624689107 + 0.0*i,
    0.00733729590365077 + 0.0*i,
    -0.0774963199393951 + 0.0*i,
    -0.163077492579321 + 0.0*i,
    -0.489427749127535 + 0.0*i,
    0.00156924235271327 + 0.0*i,
    -0.114023289329719 + 0.0*i,
    -0.560359374784831 + 0.0*i,
    0.200676075431526 + 0.0*i,
    0.199594712038339 + 0.0*i,
    0.310496798158131 + 0.0*i,
    -0.303024734856133 + 0.0*i,
    0.586102649274554 + 0.0*i,
    -0.50179949784396 + 0.0*i,
    0.0810472025303851 + 0.0*i,
    -0.00839905220096274 + 0.0*i,
    0.0116683115732542 + 0.0*i,
    -0.201887197596579 + 0.0*i,
    0.221416103632159 + 0.0*i,
    -0.669928699527954 + 0.0*i,
    -0.142211076462169 + 0.0*i,
    0.0877208035042309 + 0.0*i,
    -0.199685165712448 + 0.0*i,
    0.0127139500796913 + 0.0*i,
    0.256683381009013 + 0.0*i,
    0.0182667182604078 + 0.0*i,
    0.603527326129929 + 0.0*i,
    0.615994946037742 + 0.0*i,
    -0.11346988197386 + 0.0*i,
    -0.140296130044892 + 0.0*i,
    0.270716953460134 + 0.0*i,
    0.426591798283481 + 0.0*i,
    -0.399030223684279 + 0.0*i,
    0.57726770047845 + 0.0*i,
    -0.0361448633713569 + 0.0*i,
    -0.110340586959021 + 0.0*i,
    0.145136600468688 + 0.0*i,
    -0.749544548752061 + 0.0*i,
    -0.176681240650457 + 0.0*i,
    0.172562529234362 + 0.0*i,
    -0.143713625031908 + 0.0*i,
    -0.576757627683304 + 0.0*i,
    -0.0653945662913324 + 0.0*i,
    0.176872306348832 + 0.0*i,
    -0.0408241831485632 + 0.0*i,
    -0.53621522044499 + 0.0*i,
    -0.0885945339815941 + 0.0*i,
    0.356935018738227 + 0.0*i,
    0.176306855585391 + 0.0*i,
    0.124540061179197 + 0.0*i,
    0.479055416819614 + 0.0*i,
    0.275224765585271 + 0.0*i,
    -0.549904992624574 + 0.0*i,
    0.345654376480259 + 0.0*i,
    -0.461109272085665 + 0.0*i,
    -0.100857651702662 + 0.0*i,
    0.314421894715608 + 0.0*i,
    0.252882397249409 + 0.0*i,
    -0.0707106139629505 + 0.0*i,
    0.210883324887896 + 0.0*i,
    0.748631009734908 + 0.0*i,
    -0.0792162732006637 + 0.0*i,
    0.517576803063902 + 0.0*i,
    -0.499327420206793 + 0.0*i,
    -0.395120374732428 + 0.0*i,
    -0.295761547589895 + 0.0*i,
    0.30618749391057 + 0.0*i,
    -0.18973153285754 + 0.0*i,
    0.0311589348984103 + 0.0*i,
    0.414625185564306 + 0.0*i,
    -0.0264978613668503 + 0.0*i,
    0.247822040930869 + 0.0*i,
    0.183612909160016 + 0.0*i,
    -0.108018900942154 + 0.0*i,
    -0.0131479848958369 + 0.0*i,
    -0.762949974518356 + 0.0*i,
    -0.17972516909539 + 0.0*i,
    -0.140898985210241 + 0.0*i,
    0.603897914026934 + 0.0*i,
    -0.183100707633045 + 0.0*i,
    0.579644734653813 + 0.0*i,
    -0.000835813054636372 + 0.0*i,
    0.27094268720414 + 0.0*i,
    0.41057015413147 + 0.0*i,
    0.391830391491215 + 0.0*i,
    0.226258384548754 + 0.0*i,
    0.155092519904779 + 0.0*i,
    0.0569302197319464 + 0.0*i,
    0.102169633912699 + 0.0*i,
    0.173074811824132 + 0.0*i
]);