V:=Matrix(CC,9,32,[
    -0.329725204173977 + 0.0*i,
    0.331852020127241 + 0.0*i,
    0.618342040077201 + 0.0*i,
    0.239726910490674 + 0.0*i,
    -0.319302562757646 + 0.0*i,
    -0.0530915038143383 + 0.0*i,
    0.0525089722783698 + 0.0*i,
    -0.497111654876098 + 0.0*i,
    -0.246991736607757 + 0.0*i,
    -0.279978294473565 + 0.0*i,
    -0.384666864411226 + 0.0*i,
    0.413988067828023 + 0.0*i,
    0.371154554213411 + 0.0*i,
    0.280400264065961 + 0.0*i,
    -0.142372620342341 + 0.0*i,
    -0.43671182105207 + 0.0*i,
    0.248813374452314 + 0.0*i,
    0.456822745927988 + 0.0*i,
    0.138970488716286 + 0.0*i,
    -0.0616256390054389 + 0.0*i,
    -0.322080566233054 + 0.0*i,
    0.517458327153572 + 0.0*i,
    0.00016065643186446 + 0.0*i,
    0.234056693700489 + 0.0*i,
    0.235977203024395 + 0.0*i,
    -0.281896664999578 + 0.0*i,
    -0.414494550415198 + 0.0*i,
    -0.327205508988637 + 0.0*i,
    0.343992220273317 + 0.0*i,
    0.136536355865807 + 0.0*i,
    0.164634462013529 + 0.0*i,
    -0.537873830117567 + 0.0*i,
    0.0895381290322816 + 0.0*i,
    0.296986801539163 + 0.0*i,
    -0.411191039443108 + 0.0*i,
    0.0887217017494587 + 0.0*i,
    0.351134438019698 + 0.0*i,
    -0.287799483687745 + 0.0*i,
    -0.0808207967587925 + 0.0*i,
    0.229405379149683 + 0.0*i,
    0.508876547071886 + 0.0*i,
    -0.213659905382251 + 0.0*i,
    0.177616077636494 + 0.0*i,
    0.314522989687924 + 0.0*i,
    0.136061797669581 + 0.0*i,
    0.430773882213428 + 0.0*i,
    0.15106565536489 + 0.0*i,
    -0.512789244790043 + 0.0*i,
    -0.10991737417875 + 0.0*i,
    0.253940677184568 + 0.0*i,
    0.108928873654171 + 0.0*i,
    0.576019345063706 + 0.0*i,
    0.133558878018235 + 0.0*i,
    -0.372919294821958 + 0.0*i,
    -0.27111433710588 + 0.0*i,
    0.536937514310641 + 0.0*i,
    -0.646460091287936 + 0.0*i,
    -0.369470049333399 + 0.0*i,
    0.0810815265829557 + 0.0*i,
    -0.600212254099025 + 0.0*i,
    -0.144356701892885 + 0.0*i,
    0.00588655203974663 + 0.0*i,
    0.535797142325393 + 0.0*i,
    0.405553598661284 + 0.0*i,
    0.419762713037576 + 0.0*i,
    0.0843840037643704 + 0.0*i,
    -0.235776930698299 + 0.0*i,
    -0.0748520482036458 + 0.0*i,
    -0.341444433534913 + 0.0*i,
    0.0621524463550832 + 0.0*i,
    0.0753370501740275 + 0.0*i,
    -0.553253686436485 + 0.0*i,
    0.158504329749477 + 0.0*i,
    0.843855252963532 + 0.0*i,
    0.312313824793418 + 0.0*i,
    -0.157045627058757 + 0.0*i,
    -0.420372080866393 + 0.0*i,
    -0.14219086274744 + 0.0*i,
    -0.340505094809311 + 0.0*i,
    0.302459090903724 + 0.0*i,
    0.0261431240670793 + 0.0*i,
    0.355788146486878 + 0.0*i,
    0.120816980828071 + 0.0*i,
    -0.23448877583932 + 0.0*i,
    -0.515420103654559 + 0.0*i,
    0.216412577262373 + 0.0*i,
    -0.315496657573583 + 0.0*i,
    0.229367923769922 + 0.0*i,
    0.241101282282163 + 0.0*i,
    -0.522361454616972 + 0.0*i,
    0.0978524822215852 + 0.0*i,
    -0.0453339901388187 + 0.0*i,
    0.340145235311423 + 0.0*i,
    0.0695130368199726 + 0.0*i,
    0.645491904797792 + 0.0*i,
    0.339857827904751 + 0.0*i,
    0.110175622340795 + 0.0*i,
    -0.278974854860622 + 0.0*i,
    -0.252168759000126 + 0.0*i,
    -0.345052288212069 + 0.0*i,
    -0.255180346263975 + 0.0*i,
    0.628264937848247 + 0.0*i,
    -0.265155682954486 + 0.0*i,
    -0.253916954946909 + 0.0*i,
    -0.174350817885463 + 0.0*i,
    -0.0668283505248818 + 0.0*i,
    0.184319587944218 + 0.0*i,
    0.425571136167531 + 0.0*i,
    -0.592562852083519 + 0.0*i,
    -0.148919238184307 + 0.0*i,
    -0.72996188190222 + 0.0*i,
    -0.0754203430137199 + 0.0*i,
    0.126884785232454 + 0.0*i,
    0.493895094038003 + 0.0*i,
    0.0911303023647124 + 0.0*i,
    0.455989770966201 + 0.0*i,
    0.609255847383333 + 0.0*i,
    -0.0960656928837549 + 0.0*i,
    -0.0958699950874751 + 0.0*i,
    -0.196254155436305 + 0.0*i,
    -0.0248507267188376 + 0.0*i,
    0.41396320449118 + 0.0*i,
    -0.122850475786233 + 0.0*i,
    -0.0924085663035226 + 0.0*i,
    -0.264540227417404 + 0.0*i,
    -0.324515018224356 + 0.0*i,
    0.0989892108077716 + 0.0*i,
    -0.510274943724684 + 0.0*i,
    0.105544360473562 + 0.0*i,
    0.251517319051626 + 0.0*i,
    0.292645436258571 + 0.0*i,
    0.0284328509696717 + 0.0*i,
    -0.412408106072751 + 0.0*i,
    -0.315849550573036 + 0.0*i,
    -0.434896209690783 + 0.0*i,
    -0.106659314559337 + 0.0*i,
    -0.172805270032595 + 0.0*i,
    -0.0947953791814208 + 0.0*i,
    -0.4916250691759 + 0.0*i,
    -0.0600183709203748 + 0.0*i,
    -0.225460357855411 + 0.0*i,
    -0.255239303193548 + 0.0*i,
    -0.111956276960899 + 0.0*i,
    0.10784728287456 + 0.0*i,
    0.770743851042248 + 0.0*i,
    -0.366526613301618 + 0.0*i,
    0.0535862053410904 + 0.0*i,
    0.141999773189883 + 0.0*i,
    -0.322913911677142 + 0.0*i,
    -0.285752356591996 + 0.0*i,
    0.259399851222186 + 0.0*i,
    -0.0429830693020774 + 0.0*i,
    -0.50997096224221 + 0.0*i,
    0.509977240024897 + 0.0*i,
    0.584582676637499 + 0.0*i,
    -0.101261527448562 + 0.0*i,
    -0.124063868202427 + 0.0*i,
    0.593078630368596 + 0.0*i,
    0.427739149494918 + 0.0*i,
    0.0867085581417185 + 0.0*i,
    -0.0831807809124893 + 0.0*i,
    -0.720249272029706 + 0.0*i,
    -0.224340873099435 + 0.0*i,
    0.664755343739686 + 0.0*i,
    0.29836493999802 + 0.0*i,
    -0.270673463768762 + 0.0*i,
    -0.329561086577909 + 0.0*i,
    0.195550712714182 + 0.0*i,
    0.305969209273392 + 0.0*i,
    0.293773328359153 + 0.0*i,
    0.209418285149157 + 0.0*i,
    0.116288065312664 + 0.0*i,
    -0.0594687212807529 + 0.0*i,
    -0.346037544353796 + 0.0*i,
    -0.27806964608195 + 0.0*i,
    -0.601415111485151 + 0.0*i,
    0.36502433525644 + 0.0*i,
    0.143901671865343 + 0.0*i,
    -0.685713050239303 + 0.0*i,
    -0.266572483511373 + 0.0*i,
    0.0771584033514122 + 0.0*i,
    0.323090676239759 + 0.0*i,
    0.180233671198604 + 0.0*i,
    -0.122342148249692 + 0.0*i,
    -0.175992261857886 + 0.0*i,
    -0.114122564081966 + 0.0*i,
    0.177119972513634 + 0.0*i,
    -0.0306643626450328 + 0.0*i,
    0.261822483781995 + 0.0*i,
    0.144278839030135 + 0.0*i,
    -0.0227346529602227 + 0.0*i,
    -0.320746544003822 + 0.0*i,
    -0.258427949131545 + 0.0*i,
    -0.157928212588382 + 0.0*i,
    -0.246004858364033 + 0.0*i,
    0.574644290158885 + 0.0*i,
    0.012672071607012 + 0.0*i,
    0.332600992136955 + 0.0*i,
    0.369044147379256 + 0.0*i,
    -0.307418219616526 + 0.0*i,
    0.337331712079038 + 0.0*i,
    0.0154179110555707 + 0.0*i,
    -0.503355469119774 + 0.0*i,
    0.185487713842478 + 0.0*i,
    -0.270861987104122 + 0.0*i,
    -0.323035416268718 + 0.0*i,
    0.437249868564291 + 0.0*i,
    0.244824800106016 + 0.0*i,
    -0.0459596834916423 + 0.0*i,
    0.176695952496265 + 0.0*i,
    0.52944761872152 + 0.0*i,
    -0.030626546671826 + 0.0*i,
    -0.29087543447735 + 0.0*i,
    0.0930707835269104 + 0.0*i,
    0.490633678980726 + 0.0*i,
    0.49379704947992 + 0.0*i,
    0.116021064673209 + 0.0*i,
    0.0141752038433957 + 0.0*i,
    0.486114306366133 + 0.0*i,
    -0.342191728757022 + 0.0*i,
    -0.695354520403371 + 0.0*i,
    -0.363185223337348 + 0.0*i,
    -0.219762903689832 + 0.0*i,
    -0.150731901028186 + 0.0*i,
    -0.0327186544811199 + 0.0*i,
    -0.111723367686703 + 0.0*i,
    0.368130902668079 + 0.0*i,
    -0.0705877014137766 + 0.0*i,
    0.0932288151441277 + 0.0*i,
    -0.405461502988472 + 0.0*i,
    -0.470870923632758 + 0.0*i,
    -0.0142581818853597 + 0.0*i,
    0.500866621087949 + 0.0*i,
    -0.154941056945806 + 0.0*i,
    0.378723222883306 + 0.0*i,
    -0.570818490956456 + 0.0*i,
    -0.422166308709327 + 0.0*i,
    0.544883672414567 + 0.0*i,
    0.162325465505214 + 0.0*i,
    -0.057091230277799 + 0.0*i,
    0.125783000342337 + 0.0*i,
    0.208520176016377 + 0.0*i,
    0.349789678893392 + 0.0*i,
    -0.170835578334333 + 0.0*i,
    -0.117619026920673 + 0.0*i,
    -0.555001954530872 + 0.0*i,
    0.690169433200995 + 0.0*i,
    -0.456765474609473 + 0.0*i,
    0.328228887385921 + 0.0*i,
    -0.0761078073955107 + 0.0*i,
    -0.0688094668715144 + 0.0*i,
    -0.415294637790183 + 0.0*i,
    0.139107183266747 + 0.0*i,
    -0.505534158289084 + 0.0*i,
    0.135464965241566 + 0.0*i,
    -0.136053604037781 + 0.0*i,
    0.783968546753965 + 0.0*i,
    0.334982759791898 + 0.0*i,
    -0.0586393709043334 + 0.0*i,
    0.16323111494114 + 0.0*i,
    0.566607458950349 + 0.0*i,
    -0.250977016007878 + 0.0*i,
    0.50261342400157 + 0.0*i,
    -0.437574087352883 + 0.0*i,
    -0.361562229664855 + 0.0*i,
    -0.228355531612398 + 0.0*i,
    -0.0271271806850521 + 0.0*i,
    0.383784823069069 + 0.0*i,
    -0.0403918936818419 + 0.0*i,
    -0.32664137356673 + 0.0*i,
    -0.054255281391597 + 0.0*i,
    0.125780823751019 + 0.0*i,
    0.393339274906578 + 0.0*i,
    -0.365020947269313 + 0.0*i,
    -0.264737261940082 + 0.0*i,
    -0.526817144375217 + 0.0*i,
    0.176560964491698 + 0.0*i,
    -0.176314599240282 + 0.0*i,
    0.0135632949398485 + 0.0*i,
    -0.308189527905075 + 0.0*i,
    -0.235104327432184 + 0.0*i,
    -0.247575270422645 + 0.0*i,
    -0.442390230266002 + 0.0*i,
    -0.474599939156308 + 0.0*i,
    -0.287522866994988 + 0.0*i,
    -0.327025408357034 + 0.0*i,
    -0.106707137412325 + 0.0*i,
    -0.108428102334256 + 0.0*i
]);