V:=Matrix(CC,8,55,[
    0.230695494698321 + 0.0*i,
    0.826143982084121 + 0.0*i,
    0.275428990817298 + 0.0*i,
    -0.490880581192006 + 0.0*i,
    -0.338806506204292 + 0.0*i,
    0.0133380091375507 + 0.0*i,
    -0.309225596814306 + 0.0*i,
    0.14494212416225 + 0.0*i,
    -0.0218322746032529 + 0.0*i,
    -0.542427344962262 + 0.0*i,
    -0.461709639771566 + 0.0*i,
    0.0435479872786863 + 0.0*i,
    0.475153336133173 + 0.0*i,
    -0.0544798932286636 + 0.0*i,
    -0.227444197641934 + 0.0*i,
    -0.177146203412416 + 0.0*i,
    0.369410330549034 + 0.0*i,
    -0.380193099971606 + 0.0*i,
    -0.458930943293011 + 0.0*i,
    0.564702203460655 + 0.0*i,
    0.0246306011275377 + 0.0*i,
    -0.208142611914711 + 0.0*i,
    0.00582389417989385 + 0.0*i,
    -0.404732370863408 + 0.0*i,
    0.367540299155472 + 0.0*i,
    0.192636743565966 + 0.0*i,
    -0.0938636228826187 + 0.0*i,
    -0.233081593928895 + 0.0*i,
    0.0143337905508584 + 0.0*i,
    0.0149661357827474 + 0.0*i,
    -0.471330585633828 + 0.0*i,
    0.00974717767778481 + 0.0*i,
    -0.00531364170619564 + 0.0*i,
    -0.0759879404736346 + 0.0*i,
    0.52390986615453 + 0.0*i,
    0.378622217786177 + 0.0*i,
    -0.102051644354602 + 0.0*i,
    0.152129657147658 + 0.0*i,
    -0.0440021427558488 + 0.0*i,
    -0.143897749558929 + 0.0*i,
    -0.193335189657273 + 0.0*i,
    0.13310334427376 + 0.0*i,
    -0.0307230192466908 + 0.0*i,
    -0.0642070609359642 + 0.0*i,
    -0.176527832798675 + 0.0*i,
    0.104810242948009 + 0.0*i,
    -0.0111810368145341 + 0.0*i,
    0.683003116229234 + 0.0*i,
    0.601494551053947 + 0.0*i,
    -0.179896473448335 + 0.0*i,
    -0.606611875830439 + 0.0*i,
    -0.467842278751974 + 0.0*i,
    0.018182793323447 + 0.0*i,
    0.871096038359219 + 0.0*i,
    -0.0976165932950841 + 0.0*i,
    0.226976944905218 + 0.0*i,
    -0.27531914004299 + 0.0*i,
    0.316315622738772 + 0.0*i,
    -0.209448861233637 + 0.0*i,
    0.204102894662603 + 0.0*i,
    0.642594692355506 + 0.0*i,
    -0.383751718346372 + 0.0*i,
    0.892278636957679 + 0.0*i,
    -0.0295983892704067 + 0.0*i,
    0.480815987946136 + 0.0*i,
    -0.502020954967827 + 0.0*i,
    -0.43979531659518 + 0.0*i,
    -0.0197759703275983 + 0.0*i,
    0.0899835880392618 + 0.0*i,
    0.566286706724259 + 0.0*i,
    0.328155563480167 + 0.0*i,
    0.160392963547062 + 0.0*i,
    -0.377147767176092 + 0.0*i,
    -0.090641539515874 + 0.0*i,
    0.240561067617734 + 0.0*i,
    0.380506342089794 + 0.0*i,
    0.129774733591658 + 0.0*i,
    0.299950270030367 + 0.0*i,
    0.252860050014006 + 0.0*i,
    0.421182916770438 + 0.0*i,
    0.162225667995506 + 0.0*i,
    -0.0535890691298814 + 0.0*i,
    0.552807499979581 + 0.0*i,
    0.045480866337685 + 0.0*i,
    -0.576422929774309 + 0.0*i,
    0.131288654557506 + 0.0*i,
    0.0428941747967854 + 0.0*i,
    -0.226659447247448 + 0.0*i,
    -0.513320812818213 + 0.0*i,
    -0.0796560592295361 + 0.0*i,
    0.183325580379554 + 0.0*i,
    0.420037931572425 + 0.0*i,
    0.122444225825918 + 0.0*i,
    -0.703061835615111 + 0.0*i,
    -0.394099390614492 + 0.0*i,
    0.588123277088447 + 0.0*i,
    -0.0515766272485619 + 0.0*i,
    -0.0710848715739634 + 0.0*i,
    0.358673286484366 + 0.0*i,
    0.47696433254247 + 0.0*i,
    0.421366230490909 + 0.0*i,
    -0.225766055660405 + 0.0*i,
    0.494708454312729 + 0.0*i,
    -0.0301506896896474 + 0.0*i,
    0.254794178703472 + 0.0*i,
    0.255405332406545 + 0.0*i,
    0.150150872408299 + 0.0*i,
    -0.303602533325331 + 0.0*i,
    0.0511490196428362 + 0.0*i,
    -0.32050273051885 + 0.0*i,
    -0.103115405609506 + 0.0*i,
    -0.432772975999487 + 0.0*i,
    -0.314375528087142 + 0.0*i,
    0.60938712778485 + 0.0*i,
    -0.0662657200353967 + 0.0*i,
    0.179388337228823 + 0.0*i,
    0.354188227111314 + 0.0*i,
    -0.120843677356057 + 0.0*i,
    -0.875021635310509 + 0.0*i,
    0.225385666781945 + 0.0*i,
    0.347144874291267 + 0.0*i,
    0.103734528988263 + 0.0*i,
    0.378538567821344 + 0.0*i,
    0.451424869249735 + 0.0*i,
    0.206529161787481 + 0.0*i,
    0.258008957849834 + 0.0*i,
    0.191006227497121 + 0.0*i,
    -0.412176995886507 + 0.0*i,
    0.0963106426715686 + 0.0*i,
    0.101163374262631 + 0.0*i,
    -0.100760764500535 + 0.0*i,
    -0.372300722291754 + 0.0*i,
    0.164400800251388 + 0.0*i,
    0.258619538275974 + 0.0*i,
    0.0586964525521657 + 0.0*i,
    -0.0506049638038647 + 0.0*i,
    0.00871162896301369 + 0.0*i,
    -0.29181494065619 + 0.0*i,
    0.230035362300052 + 0.0*i,
    0.550733215526178 + 0.0*i,
    0.543607640241691 + 0.0*i,
    -0.303986660820781 + 0.0*i,
    -0.156011605382927 + 0.0*i,
    0.526243795973839 + 0.0*i,
    -0.36325278052557 + 0.0*i,
    0.808701428693651 + 0.0*i,
    -0.192535870609015 + 0.0*i,
    -0.589073573679351 + 0.0*i,
    -0.464823485479374 + 0.0*i,
    -0.036783399152422 + 0.0*i,
    -0.540630139517031 + 0.0*i,
    -0.124362565418956 + 0.0*i,
    -0.567610015946221 + 0.0*i,
    0.303389566502847 + 0.0*i,
    -0.23908162619508 + 0.0*i,
    0.0831287886814643 + 0.0*i,
    -0.210120966546082 + 0.0*i,
    0.0717677028244292 + 0.0*i,
    -0.100342754316861 + 0.0*i,
    -0.117325861339494 + 0.0*i,
    -0.306722628900806 + 0.0*i,
    -0.0865416206015942 + 0.0*i,
    -0.115469690316052 + 0.0*i,
    0.341912287763299 + 0.0*i,
    -0.576226226141125 + 0.0*i,
    0.177559894891998 + 0.0*i,
    0.0208367405069941 + 0.0*i,
    -0.328525821938228 + 0.0*i,
    0.144118263577315 + 0.0*i,
    0.564953101380901 + 0.0*i,
    0.0650924158243662 + 0.0*i,
    0.0952058374032961 + 0.0*i,
    -0.0759433466699063 + 0.0*i,
    -0.47077857104524 + 0.0*i,
    0.368448483501385 + 0.0*i,
    0.355724750261795 + 0.0*i,
    -0.503801186140075 + 0.0*i,
    -0.113196141700367 + 0.0*i,
    -0.286365552842566 + 0.0*i,
    0.485397079263164 + 0.0*i,
    -0.391060758788471 + 0.0*i,
    0.128544388073862 + 0.0*i,
    0.0458175984867418 + 0.0*i,
    0.366953154425664 + 0.0*i,
    -0.169452285691247 + 0.0*i,
    -0.526245937934857 + 0.0*i,
    -0.21128652380411 + 0.0*i,
    -0.0314666535374961 + 0.0*i,
    0.118907833470846 + 0.0*i,
    0.21557014792507 + 0.0*i,
    0.747634026327564 + 0.0*i,
    0.466406005408628 + 0.0*i,
    -0.17860046680767 + 0.0*i,
    -0.0655942419784201 + 0.0*i,
    -0.343840082032924 + 0.0*i,
    0.0203506015568837 + 0.0*i,
    0.143611182147 + 0.0*i,
    -0.129874346296993 + 0.0*i,
    0.204545940248867 + 0.0*i,
    0.776975265240759 + 0.0*i,
    -0.0766908688030975 + 0.0*i,
    -0.543062776225555 + 0.0*i,
    -0.129962171079611 + 0.0*i,
    0.54012147305361 + 0.0*i,
    -0.136564383232429 + 0.0*i,
    0.355644529170035 + 0.0*i,
    0.248645347736981 + 0.0*i,
    0.203256138347003 + 0.0*i,
    -0.303213638987207 + 0.0*i,
    -0.201721800533395 + 0.0*i,
    0.36906611918194 + 0.0*i,
    -0.730265139738118 + 0.0*i,
    0.0356912379719661 + 0.0*i,
    -0.209827093396184 + 0.0*i,
    0.0791410101327009 + 0.0*i,
    -0.368811871901327 + 0.0*i,
    0.0185600357608864 + 0.0*i,
    0.338918421982069 + 0.0*i,
    0.0379259498638033 + 0.0*i,
    0.315305721782738 + 0.0*i,
    0.130771664977761 + 0.0*i,
    -0.182154724676894 + 0.0*i,
    0.657870792506794 + 0.0*i,
    -0.375588337573116 + 0.0*i,
    0.449438918082621 + 0.0*i,
    -0.238495105461534 + 0.0*i,
    0.502463409202738 + 0.0*i,
    0.203920157923398 + 0.0*i,
    -0.286053724314979 + 0.0*i,
    0.285194826085289 + 0.0*i,
    0.517984139352108 + 0.0*i,
    -0.632457847458551 + 0.0*i,
    0.674250494419007 + 0.0*i,
    -0.75312198687903 + 0.0*i,
    0.260998414137883 + 0.0*i,
    -0.564079844392712 + 0.0*i,
    -0.549463438374035 + 0.0*i,
    0.0174729538766007 + 0.0*i,
    0.09966024699314 + 0.0*i,
    0.0323293670298095 + 0.0*i,
    -0.0753051101271322 + 0.0*i,
    0.577180690444649 + 0.0*i,
    0.0146677180218691 + 0.0*i,
    -0.485119427002494 + 0.0*i,
    0.395858724310594 + 0.0*i,
    0.049033253327525 + 0.0*i,
    0.334765079364705 + 0.0*i,
    -0.145571839590907 + 0.0*i,
    0.645392101521835 + 0.0*i,
    0.062642710850017 + 0.0*i,
    -0.00402951926916717 + 0.0*i,
    -0.76679954829063 + 0.0*i,
    -0.126191505385526 + 0.0*i,
    -0.287123486224549 + 0.0*i,
    0.0312559506723329 + 0.0*i,
    0.0925285508960687 + 0.0*i,
    -0.222939236942367 + 0.0*i,
    0.490265183519615 + 0.0*i,
    0.0643733766772615 + 0.0*i,
    0.455938872673652 + 0.0*i,
    -0.184966364818666 + 0.0*i,
    0.289638774151825 + 0.0*i,
    -0.287003202432689 + 0.0*i,
    0.35037068904639 + 0.0*i,
    -0.0944919250901088 + 0.0*i,
    -0.173381466639613 + 0.0*i,
    0.493371985394826 + 0.0*i,
    -0.29128381067493 + 0.0*i,
    0.00465273099950686 + 0.0*i,
    -0.630799223839511 + 0.0*i,
    0.231324469301819 + 0.0*i,
    -0.397335081753867 + 0.0*i,
    -0.440047915776308 + 0.0*i,
    0.0779906324514 + 0.0*i,
    0.172526219634387 + 0.0*i,
    -0.16333289935712 + 0.0*i,
    0.153206841338231 + 0.0*i,
    -0.185297046893748 + 0.0*i,
    -0.277681595105527 + 0.0*i,
    0.270863290645277 + 0.0*i,
    0.139174977681145 + 0.0*i,
    -0.433294665845106 + 0.0*i,
    0.208741305330789 + 0.0*i,
    -0.0975333986683975 + 0.0*i,
    -0.319537661031646 + 0.0*i,
    -0.0787063598659901 + 0.0*i,
    -0.130303140344724 + 0.0*i,
    0.008422283502102 + 0.0*i,
    0.383780246782256 + 0.0*i,
    -0.0502679747782367 + 0.0*i,
    -0.522718841020197 + 0.0*i,
    -0.245398705286442 + 0.0*i,
    -0.661863366336634 + 0.0*i,
    0.716309739316667 + 0.0*i,
    0.037258093762039 + 0.0*i,
    0.133641539718842 + 0.0*i,
    0.534429277554155 + 0.0*i,
    -0.383353125011015 + 0.0*i,
    0.130055254453036 + 0.0*i,
    0.408760243187724 + 0.0*i,
    -0.627267040045276 + 0.0*i,
    -0.504220466284761 + 0.0*i,
    0.70490361599512 + 0.0*i,
    0.687829097331292 + 0.0*i,
    0.360916797006514 + 0.0*i,
    0.551920027278064 + 0.0*i,
    -0.0361950041065529 + 0.0*i,
    0.0930660431742977 + 0.0*i,
    0.339237228812943 + 0.0*i,
    0.116810730199721 + 0.0*i,
    0.0394129728291048 + 0.0*i,
    -0.0188717881552834 + 0.0*i,
    -0.062207821186317 + 0.0*i,
    -0.17005630418709 + 0.0*i,
    -0.0228088190584943 + 0.0*i,
    -0.102061462407346 + 0.0*i,
    -0.0940030552679991 + 0.0*i,
    0.353216655259117 + 0.0*i,
    -0.652951249583845 + 0.0*i,
    -0.678988147550122 + 0.0*i,
    0.294669479889672 + 0.0*i,
    -0.243437415235583 + 0.0*i,
    0.0623755218537441 + 0.0*i,
    0.769461510127624 + 0.0*i,
    0.256992663740624 + 0.0*i,
    0.275700787229521 + 0.0*i,
    -0.134591723891973 + 0.0*i,
    -0.457154616968663 + 0.0*i,
    -0.256514929729241 + 0.0*i,
    0.40139860396508 + 0.0*i,
    0.540909989678512 + 0.0*i,
    0.0563304487179041 + 0.0*i,
    -0.258597334899253 + 0.0*i,
    -0.326538706525402 + 0.0*i,
    0.39487288737232 + 0.0*i,
    -0.509735954319861 + 0.0*i,
    0.444490152579375 + 0.0*i,
    0.22085824968358 + 0.0*i,
    0.0358032581294164 + 0.0*i,
    -0.104103804600355 + 0.0*i,
    0.0529681952655111 + 0.0*i,
    0.389340258041239 + 0.0*i,
    0.015704537628498 + 0.0*i,
    -0.14019117185337 + 0.0*i,
    0.42114565950393 + 0.0*i,
    -0.004030918825503 + 0.0*i,
    -0.61187896896826 + 0.0*i,
    -0.312822375813965 + 0.0*i,
    -0.32456851706557 + 0.0*i,
    0.348559404790156 + 0.0*i,
    -0.457070474445199 + 0.0*i,
    0.179374584064707 + 0.0*i,
    0.24143809746351 + 0.0*i,
    0.60641285745582 + 0.0*i,
    -0.431639588518796 + 0.0*i,
    0.16551767510627 + 0.0*i,
    -0.582041485643876 + 0.0*i,
    0.158339060953629 + 0.0*i,
    0.0885393118716805 + 0.0*i,
    0.334002356926937 + 0.0*i,
    0.0694695591776359 + 0.0*i,
    0.261124888176579 + 0.0*i,
    0.37328178979444 + 0.0*i,
    -0.453286964077725 + 0.0*i,
    -0.00773254950049803 + 0.0*i,
    0.28542663661835 + 0.0*i,
    0.371041355276401 + 0.0*i,
    -0.410448944648566 + 0.0*i,
    -0.0658852451569749 + 0.0*i,
    -0.414077677446224 + 0.0*i,
    0.250455511898173 + 0.0*i,
    0.743132359273844 + 0.0*i,
    0.691509851324756 + 0.0*i,
    0.384097457542502 + 0.0*i,
    -0.181780533732185 + 0.0*i,
    -0.0362582840521375 + 0.0*i,
    0.193058261092288 + 0.0*i,
    0.407154493591728 + 0.0*i,
    -0.00798212565488807 + 0.0*i,
    0.0210117606431002 + 0.0*i,
    -0.50071312143543 + 0.0*i,
    -0.455585158969277 + 0.0*i,
    0.521759590464469 + 0.0*i,
    -0.277513033110299 + 0.0*i,
    -0.386932494277825 + 0.0*i,
    0.211582690177017 + 0.0*i,
    -0.25166924228385 + 0.0*i,
    0.35243663338521 + 0.0*i,
    -0.18781296047262 + 0.0*i,
    -0.341078394098639 + 0.0*i,
    0.310981673894541 + 0.0*i,
    -0.0741006556869278 + 0.0*i,
    -0.21253427968151 + 0.0*i,
    -0.0486507982023377 + 0.0*i,
    -0.382783509720693 + 0.0*i,
    0.114702582931737 + 0.0*i,
    -0.0933851560120834 + 0.0*i,
    0.400754357312183 + 0.0*i,
    0.16818153086092 + 0.0*i,
    0.441621966989307 + 0.0*i,
    0.203849631580125 + 0.0*i,
    -0.329611375596719 + 0.0*i,
    0.0553933668746336 + 0.0*i,
    0.275931759069127 + 0.0*i,
    0.706740627462242 + 0.0*i,
    -0.659945001607566 + 0.0*i,
    -0.378544660478561 + 0.0*i,
    -0.862697105760348 + 0.0*i,
    0.0697733131136686 + 0.0*i,
    -0.390524178813828 + 0.0*i,
    0.0392631221777144 + 0.0*i,
    0.354765810947297 + 0.0*i,
    0.473919310001817 + 0.0*i,
    0.214334816376138 + 0.0*i,
    -0.178777636841415 + 0.0*i,
    -0.433088998186 + 0.0*i,
    -0.335709043048724 + 0.0*i,
    -0.508684375980639 + 0.0*i,
    0.12492872554292 + 0.0*i,
    0.153874429141322 + 0.0*i,
    -0.348323164307484 + 0.0*i,
    0.551192826505243 + 0.0*i,
    -0.441990262083628 + 0.0*i,
    0.0422463801644877 + 0.0*i,
    -0.649337242367287 + 0.0*i,
    -0.35921912775137 + 0.0*i,
    -0.527418771286007 + 0.0*i,
    0.172214769486713 + 0.0*i,
    0.141839058388424 + 0.0*i,
    0.411738535488691 + 0.0*i,
    -0.767236664440339 + 0.0*i,
    -0.275688390887231 + 0.0*i,
    -0.252740083043297 + 0.0*i,
    0.0838560782276074 + 0.0*i,
    0.267537285508489 + 0.0*i,
    0.117956322182149 + 0.0*i,
    -0.0686600764605957 + 0.0*i,
    -0.316343592909453 + 0.0*i,
    0.227875866519464 + 0.0*i,
    -0.291568253317774 + 0.0*i
]);