V:=Matrix(CC,8,46,[
    0.474124391256179 + 0.0*i,
    -0.276184025147465 + 0.0*i,
    0.263679645981803 + 0.0*i,
    -0.230936368225398 + 0.0*i,
    0.0691302664162001 + 0.0*i,
    -0.48712311857449 + 0.0*i,
    -0.00136725236075348 + 0.0*i,
    0.354672133520521 + 0.0*i,
    0.680303542736421 + 0.0*i,
    -0.0303154695731159 + 0.0*i,
    0.163755692908762 + 0.0*i,
    -0.261974888823059 + 0.0*i,
    -0.083722234810167 + 0.0*i,
    0.284943336556851 + 0.0*i,
    -0.0323148531350003 + 0.0*i,
    -0.221844219277643 + 0.0*i,
    -0.143983121842552 + 0.0*i,
    -0.133751889623347 + 0.0*i,
    0.101300398636466 + 0.0*i,
    0.351518056762538 + 0.0*i,
    0.365695130213852 + 0.0*i,
    0.285728577766836 + 0.0*i,
    -0.423235048540318 + 0.0*i,
    -0.322332732324611 + 0.0*i,
    0.424267296921743 + 0.0*i,
    0.54849333235762 + 0.0*i,
    0.231657766004799 + 0.0*i,
    0.227163128068708 + 0.0*i,
    -0.433796133679265 + 0.0*i,
    -0.204290979505248 + 0.0*i,
    -0.348858466168726 + 0.0*i,
    0.911344541211328 + 0.0*i,
    0.340765277885285 + 0.0*i,
    -0.340277991080174 + 0.0*i,
    0.559014677199765 + 0.0*i,
    -0.293178298051457 + 0.0*i,
    0.535964508550203 + 0.0*i,
    -0.245064275270541 + 0.0*i,
    0.0414591783008469 + 0.0*i,
    0.104313116353603 + 0.0*i,
    0.00682823017177826 + 0.0*i,
    -0.270170983174425 + 0.0*i,
    0.373307381777281 + 0.0*i,
    -0.202637091556524 + 0.0*i,
    0.152674534087251 + 0.0*i,
    0.751897164572887 + 0.0*i,
    0.0345724724669263 + 0.0*i,
    -0.0400924896123723 + 0.0*i,
    -0.0253469775433071 + 0.0*i,
    0.478626936966521 + 0.0*i,
    -0.0634030001211175 + 0.0*i,
    -0.0584031746560942 + 0.0*i,
    0.1323993697491 + 0.0*i,
    -0.0727620900018187 + 0.0*i,
    -0.463770246427293 + 0.0*i,
    -0.607871820287498 + 0.0*i,
    0.726007129761605 + 0.0*i,
    -0.705219821989547 + 0.0*i,
    0.528571932500047 + 0.0*i,
    -0.240249608471232 + 0.0*i,
    0.0678785134247322 + 0.0*i,
    -0.748724468653075 + 0.0*i,
    0.568341345247733 + 0.0*i,
    -0.0178287466655037 + 0.0*i,
    -0.300118450997772 + 0.0*i,
    0.293652031242836 + 0.0*i,
    -0.578020194067686 + 0.0*i,
    0.279208049598733 + 0.0*i,
    0.426236906427055 + 0.0*i,
    0.346585426823953 + 0.0*i,
    -0.0291380766550382 + 0.0*i,
    0.422051420129983 + 0.0*i,
    0.304756697037503 + 0.0*i,
    -0.500010109400088 + 0.0*i,
    -0.114319717539112 + 0.0*i,
    0.160790612027195 + 0.0*i,
    -0.387069319773596 + 0.0*i,
    -0.0981715976688348 + 0.0*i,
    0.205814217190635 + 0.0*i,
    0.00820358594063234 + 0.0*i,
    -0.0318681764517128 + 0.0*i,
    0.344595582561313 + 0.0*i,
    0.15921068738072 + 0.0*i,
    0.0408325237611247 + 0.0*i,
    -0.222870207640104 + 0.0*i,
    -0.558352122672326 + 0.0*i,
    0.175552930653241 + 0.0*i,
    0.0397797935929945 + 0.0*i,
    0.339614445195902 + 0.0*i,
    -0.272652302284539 + 0.0*i,
    0.326502810140619 + 0.0*i,
    0.1999044912325 + 0.0*i,
    0.44696451668687 + 0.0*i,
    -0.527348562679313 + 0.0*i,
    0.240991497450905 + 0.0*i,
    -0.124693441756786 + 0.0*i,
    0.184039323093453 + 0.0*i,
    0.275109426958739 + 0.0*i,
    -0.327838852776505 + 0.0*i,
    0.137470005323413 + 0.0*i,
    -0.0307707751814349 + 0.0*i,
    0.320744712044218 + 0.0*i,
    0.199176368502431 + 0.0*i,
    -0.33549806652147 + 0.0*i,
    -0.219488736149449 + 0.0*i,
    -0.299669979599755 + 0.0*i,
    -0.524987726603408 + 0.0*i,
    -0.128586099767318 + 0.0*i,
    -0.324167277736768 + 0.0*i,
    0.203162708307787 + 0.0*i,
    0.0876964927088123 + 0.0*i,
    -0.617194538663708 + 0.0*i,
    -0.203952402717018 + 0.0*i,
    -0.600357708750789 + 0.0*i,
    0.104321032908128 + 0.0*i,
    0.73720051195456 + 0.0*i,
    -0.135022512829382 + 0.0*i,
    -0.0127173694660936 + 0.0*i,
    0.45554901915998 + 0.0*i,
    -0.0317212868625605 + 0.0*i,
    0.145899884111004 + 0.0*i,
    0.152596074128347 + 0.0*i,
    0.0189323419573418 + 0.0*i,
    0.253065182049199 + 0.0*i,
    0.199281858596108 + 0.0*i,
    -0.556622432847156 + 0.0*i,
    -0.246112554555373 + 0.0*i,
    0.472755975337477 + 0.0*i,
    0.257749353004618 + 0.0*i,
    -0.0298834270589347 + 0.0*i,
    -0.257769486757219 + 0.0*i,
    0.36232960065168 + 0.0*i,
    0.238075465622302 + 0.0*i,
    -0.596320316717098 + 0.0*i,
    -0.554065395635722 + 0.0*i,
    -0.602109906553893 + 0.0*i,
    0.482182940716207 + 0.0*i,
    -0.282635784423754 + 0.0*i,
    0.671374066201927 + 0.0*i,
    0.113445925929285 + 0.0*i,
    0.0435821637823081 + 0.0*i,
    0.346780880548535 + 0.0*i,
    0.239300657697105 + 0.0*i,
    0.561577884980597 + 0.0*i,
    -0.624913455875681 + 0.0*i,
    -0.769746159963724 + 0.0*i,
    -0.139000817806241 + 0.0*i,
    0.385647824195985 + 0.0*i,
    0.425146781548589 + 0.0*i,
    0.00855936080267356 + 0.0*i,
    0.0939608655151443 + 0.0*i,
    0.744985591923896 + 0.0*i,
    -0.24899164526677 + 0.0*i,
    0.293411872585557 + 0.0*i,
    0.387880077357297 + 0.0*i,
    0.554985077800491 + 0.0*i,
    -0.0513346801954151 + 0.0*i,
    -0.0944850201318667 + 0.0*i,
    0.12603981186355 + 0.0*i,
    0.000950354066994639 + 0.0*i,
    0.0963917560656525 + 0.0*i,
    -0.0313284052030275 + 0.0*i,
    0.062222052574651 + 0.0*i,
    0.191990187239488 + 0.0*i,
    -0.203878446830855 + 0.0*i,
    0.453353679642552 + 0.0*i,
    0.598672004028289 + 0.0*i,
    -0.221861134243107 + 0.0*i,
    -0.29667156655283 + 0.0*i,
    -0.145908950725913 + 0.0*i,
    -0.330621703925687 + 0.0*i,
    -0.277701178818246 + 0.0*i,
    0.428146750594517 + 0.0*i,
    0.164485475920898 + 0.0*i,
    -0.0359719203130092 + 0.0*i,
    -0.416498944389892 + 0.0*i,
    -0.0349346642450958 + 0.0*i,
    -0.282590625378915 + 0.0*i,
    -0.605851750559734 + 0.0*i,
    0.168581057397964 + 0.0*i,
    -0.092148370414367 + 0.0*i,
    0.163555460583832 + 0.0*i,
    0.357470068009545 + 0.0*i,
    0.235491837152029 + 0.0*i,
    -0.0384504327335748 + 0.0*i,
    -0.354906180765499 + 0.0*i,
    -0.0810714098369941 + 0.0*i,
    0.282119790395235 + 0.0*i,
    -0.884251897102651 + 0.0*i,
    -0.253867524781605 + 0.0*i,
    -0.389010188650285 + 0.0*i,
    -0.148555947438945 + 0.0*i,
    0.11805232992064 + 0.0*i,
    -0.166823678706517 + 0.0*i,
    0.204278970184952 + 0.0*i,
    -0.228620713074156 + 0.0*i,
    -0.174122263619095 + 0.0*i,
    -0.0758772422190591 + 0.0*i,
    -0.420892785550121 + 0.0*i,
    0.379478249941978 + 0.0*i,
    -0.497870158384663 + 0.0*i,
    0.535444467947845 + 0.0*i,
    -0.0585105377928209 + 0.0*i,
    0.30280751725987 + 0.0*i,
    0.0146541460539998 + 0.0*i,
    -0.494172877752235 + 0.0*i,
    -0.369908139265577 + 0.0*i,
    -0.0127007711077314 + 0.0*i,
    -0.361341876956184 + 0.0*i,
    -0.0686648702188766 + 0.0*i,
    0.635206355496774 + 0.0*i,
    -0.384162961878598 + 0.0*i,
    -0.113335186471876 + 0.0*i,
    0.234018136479705 + 0.0*i,
    0.0146229619410243 + 0.0*i,
    -0.0728486963392996 + 0.0*i,
    -0.565858857706214 + 0.0*i,
    0.105879104453086 + 0.0*i,
    0.585604349299191 + 0.0*i,
    -0.199850249125351 + 0.0*i,
    0.305150748683249 + 0.0*i,
    -0.522938653027942 + 0.0*i,
    -0.103274026783789 + 0.0*i,
    -0.450663727117195 + 0.0*i,
    0.382868550418256 + 0.0*i,
    0.479412916907748 + 0.0*i,
    0.158236401320866 + 0.0*i,
    0.263921291610001 + 0.0*i,
    -0.475268512551601 + 0.0*i,
    -0.224180547362754 + 0.0*i,
    -0.0739671284337302 + 0.0*i,
    0.486814738216028 + 0.0*i,
    0.0756776344678825 + 0.0*i,
    -0.416796834188088 + 0.0*i,
    0.114643063131034 + 0.0*i,
    0.0101115167322547 + 0.0*i,
    0.396161167314727 + 0.0*i,
    0.285813622537072 + 0.0*i,
    0.00717491162724268 + 0.0*i,
    0.460576182758023 + 0.0*i,
    0.0213453091491771 + 0.0*i,
    -0.067767965469869 + 0.0*i,
    0.739586473747737 + 0.0*i,
    0.348425875170162 + 0.0*i,
    -0.0818229095947128 + 0.0*i,
    -0.0959088535545205 + 0.0*i,
    -0.273773285784702 + 0.0*i,
    0.622253182416764 + 0.0*i,
    -0.487127088383655 + 0.0*i,
    0.154978706167666 + 0.0*i,
    0.275276032014196 + 0.0*i,
    0.00146822638115768 + 0.0*i,
    -0.0694446376506718 + 0.0*i,
    0.476102938429046 + 0.0*i,
    -0.303052312044055 + 0.0*i,
    -0.745627813034832 + 0.0*i,
    -0.216854439083963 + 0.0*i,
    -0.386470700159296 + 0.0*i,
    0.358392852898628 + 0.0*i,
    0.468911977356253 + 0.0*i,
    -0.41920820882148 + 0.0*i,
    -0.118462128906462 + 0.0*i,
    -0.008185730728209 + 0.0*i,
    -0.33546939176369 + 0.0*i,
    -0.0675156090175316 + 0.0*i,
    -0.708848098614624 + 0.0*i,
    0.65940725722716 + 0.0*i,
    0.431001187029935 + 0.0*i,
    0.416959386470667 + 0.0*i,
    -0.0337237169809268 + 0.0*i,
    0.412062192557997 + 0.0*i,
    0.344394867332889 + 0.0*i,
    0.0687183801275419 + 0.0*i,
    0.0962311101451138 + 0.0*i,
    0.289140939528178 + 0.0*i,
    0.108928569651207 + 0.0*i,
    0.245084468312681 + 0.0*i,
    -0.502394706796276 + 0.0*i,
    0.579634063401297 + 0.0*i,
    0.272258322538693 + 0.0*i,
    -0.200350319116706 + 0.0*i,
    -0.197884248177393 + 0.0*i,
    0.272702658426191 + 0.0*i,
    -0.361192608329941 + 0.0*i,
    0.527947276509391 + 0.0*i,
    0.295269507626398 + 0.0*i,
    -0.444016198985942 + 0.0*i,
    -0.498477912080978 + 0.0*i,
    0.220610590671758 + 0.0*i,
    -0.261037481653691 + 0.0*i,
    -0.44091842005744 + 0.0*i,
    0.345212528873347 + 0.0*i,
    0.136848698956057 + 0.0*i,
    0.0303191826870156 + 0.0*i,
    0.504400521536696 + 0.0*i,
    -0.519621059703081 + 0.0*i,
    -0.116309034070577 + 0.0*i,
    0.0719087671906588 + 0.0*i,
    0.589953679102604 + 0.0*i,
    -0.0250366348864313 + 0.0*i,
    -0.719290910143123 + 0.0*i,
    0.0733191335038785 + 0.0*i,
    -0.357307287764589 + 0.0*i,
    -0.045560581783463 + 0.0*i,
    0.00978326502432888 + 0.0*i,
    -0.759417748419704 + 0.0*i,
    0.179576510456383 + 0.0*i,
    -0.0386467601796008 + 0.0*i,
    0.583864088209622 + 0.0*i,
    0.587306968847851 + 0.0*i,
    0.0496811328391938 + 0.0*i,
    -0.0553545404675702 + 0.0*i,
    0.23534327829832 + 0.0*i,
    -0.169897882576022 + 0.0*i,
    0.644737742321895 + 0.0*i,
    -0.153576912025797 + 0.0*i,
    0.0648799931361922 + 0.0*i,
    0.104549123772394 + 0.0*i,
    0.604070577948405 + 0.0*i,
    0.0931155876583374 + 0.0*i,
    0.313355046352403 + 0.0*i,
    -0.0196795794638885 + 0.0*i,
    0.0102971657368164 + 0.0*i,
    0.139584099026204 + 0.0*i,
    -0.758207654579337 + 0.0*i,
    0.515827464627393 + 0.0*i,
    0.22500333030596 + 0.0*i,
    -0.523818657696527 + 0.0*i,
    -0.2848664866274 + 0.0*i,
    0.0588587580607185 + 0.0*i,
    -0.0764585699061222 + 0.0*i,
    -0.0709707485531961 + 0.0*i,
    -0.0685761360980301 + 0.0*i,
    -0.0475202915297807 + 0.0*i,
    0.0397684748069341 + 0.0*i,
    -0.0733254327268665 + 0.0*i,
    -0.496049283157782 + 0.0*i,
    0.16853898834362 + 0.0*i,
    -0.304039292108343 + 0.0*i,
    -0.173470457414545 + 0.0*i,
    0.671100802917231 + 0.0*i,
    0.0572862964084717 + 0.0*i,
    0.592271883647481 + 0.0*i,
    0.456379628690266 + 0.0*i,
    0.37905888024533 + 0.0*i,
    0.0281872017265134 + 0.0*i,
    0.183728912522691 + 0.0*i,
    0.072065089847167 + 0.0*i,
    0.167241205855658 + 0.0*i,
    -0.445714005041496 + 0.0*i,
    0.569501840597509 + 0.0*i,
    0.0528345752230719 + 0.0*i,
    -0.657470020031516 + 0.0*i,
    0.203222577100873 + 0.0*i,
    0.184467707608631 + 0.0*i,
    0.015040881863163 + 0.0*i,
    0.307533453569713 + 0.0*i,
    0.150888052535307 + 0.0*i,
    -0.0944873602278288 + 0.0*i,
    0.527200080740284 + 0.0*i,
    0.580019475874912 + 0.0*i,
    0.46451450784433 + 0.0*i,
    -0.445398896522368 + 0.0*i,
    0.393853480741568 + 0.0*i,
    -0.0990754935322983 + 0.0*i,
    -0.643865656576217 + 0.0*i,
    -0.34717537049109 + 0.0*i,
    -0.422439585069091 + 0.0*i
]);