V:=Matrix(CC,8,32,[
    0.32174866999468 + 0.0*i,
    0.055476235551842 + 0.0*i,
    -0.358774616024093 + 0.0*i,
    0.106593368034725 + 0.0*i,
    -0.190889827983234 + 0.0*i,
    -0.713591209830958 + 0.0*i,
    0.629892211326369 + 0.0*i,
    -0.287485115506787 + 0.0*i,
    -0.680561964438931 + 0.0*i,
    -0.229744777770053 + 0.0*i,
    -0.311110107463701 + 0.0*i,
    -0.479282892207358 + 0.0*i,
    -0.0717263302850108 + 0.0*i,
    -0.444439911309614 + 0.0*i,
    -0.206285997449712 + 0.0*i,
    -0.31890372951024 + 0.0*i,
    0.133055664288944 + 0.0*i,
    0.505675056541978 + 0.0*i,
    -0.164478112282282 + 0.0*i,
    0.239012914510819 + 0.0*i,
    -0.116264419768845 + 0.0*i,
    0.163356118305007 + 0.0*i,
    0.540520326413967 + 0.0*i,
    -0.64098062672045 + 0.0*i,
    0.572652926064514 + 0.0*i,
    -0.573167769706712 + 0.0*i,
    0.559835623403547 + 0.0*i,
    0.171619199433011 + 0.0*i,
    0.362907017477815 + 0.0*i,
    -0.591647972661731 + 0.0*i,
    -0.196750353258633 + 0.0*i,
    0.476241702427066 + 0.0*i,
    0.166566063290211 + 0.0*i,
    -0.29964590393401 + 0.0*i,
    -0.411605831768647 + 0.0*i,
    -0.17522922101956 + 0.0*i,
    0.474921274363141 + 0.0*i,
    -0.749785197442796 + 0.0*i,
    -0.438698794256828 + 0.0*i,
    0.227636280085149 + 0.0*i,
    0.211778429314558 + 0.0*i,
    0.319699623311303 + 0.0*i,
    0.27461467972083 + 0.0*i,
    0.522599419783517 + 0.0*i,
    0.202313477983497 + 0.0*i,
    0.224144316453398 + 0.0*i,
    0.140863420689824 + 0.0*i,
    0.473095921482387 + 0.0*i,
    0.0107260713223524 + 0.0*i,
    -0.735771072733065 + 0.0*i,
    0.294447849637319 + 0.0*i,
    0.555368868129375 + 0.0*i,
    -0.386806219497541 + 0.0*i,
    0.201105750236254 + 0.0*i,
    -0.19336846461911 + 0.0*i,
    0.237312104637927 + 0.0*i,
    0.432854049518537 + 0.0*i,
    -0.154320725293779 + 0.0*i,
    0.0131706805464195 + 0.0*i,
    -0.853030437360002 + 0.0*i,
    -0.221534711486081 + 0.0*i,
    -0.119783355870154 + 0.0*i,
    0.402745407498038 + 0.0*i,
    0.0768358592849034 + 0.0*i,
    -0.536480043221988 + 0.0*i,
    0.550652576354875 + 0.0*i,
    0.152203196246777 + 0.0*i,
    0.0668743531814523 + 0.0*i,
    0.168422874541552 + 0.0*i,
    -0.0284588809448277 + 0.0*i,
    0.231973313538242 + 0.0*i,
    0.0152735293582369 + 0.0*i,
    0.255207163336757 + 0.0*i,
    0.23480255282932 + 0.0*i,
    0.432529916850803 + 0.0*i,
    0.100020984005636 + 0.0*i,
    0.621080946298407 + 0.0*i,
    0.182743244295537 + 0.0*i,
    0.194463021413321 + 0.0*i,
    0.515283475257272 + 0.0*i,
    0.0244624808123088 + 0.0*i,
    0.305633291742353 + 0.0*i,
    -0.0179232159849279 + 0.0*i,
    -0.50514212896465 + 0.0*i,
    0.598798834442108 + 0.0*i,
    -1.14982131874347 + 0.0*i,
    0.177009243766958 + 0.0*i,
    -0.410038772355547 + 0.0*i,
    0.088725055803546 + 0.0*i,
    -0.536582755683943 + 0.0*i,
    0.532026307719225 + 0.0*i,
    0.0537112091943954 + 0.0*i,
    0.276574491119101 + 0.0*i,
    0.293490332500134 + 0.0*i,
    0.207360998746628 + 0.0*i,
    0.32266579492678 + 0.0*i,
    -0.391849648521229 + 0.0*i,
    0.0720874229634993 + 0.0*i,
    0.423990598021335 + 0.0*i,
    0.221599897770359 + 0.0*i,
    0.0624240180147107 + 0.0*i,
    0.411961350069986 + 0.0*i,
    -0.167299530138096 + 0.0*i,
    0.303271784697028 + 0.0*i,
    -0.188558222959835 + 0.0*i,
    0.0505386189961416 + 0.0*i,
    -0.134666352504958 + 0.0*i,
    0.136063140489481 + 0.0*i,
    0.104548769762548 + 0.0*i,
    0.28507335823978 + 0.0*i,
    -0.0314977668779721 + 0.0*i,
    -0.0593257018275531 + 0.0*i,
    -0.50826988833887 + 0.0*i,
    0.144942335139766 + 0.0*i,
    0.400890624847114 + 0.0*i,
    0.140037817718555 + 0.0*i,
    -0.22364268108474 + 0.0*i,
    0.0652276950237183 + 0.0*i,
    -0.0434992065495667 + 0.0*i,
    0.135506595484761 + 0.0*i,
    0.163205200613832 + 0.0*i,
    -0.0526493496906296 + 0.0*i,
    0.43176082720463 + 0.0*i,
    -0.167721991535493 + 0.0*i,
    -0.349240238435447 + 0.0*i,
    -0.0943599388445126 + 0.0*i,
    -0.0698047886684426 + 0.0*i,
    0.275772582428983 + 0.0*i,
    -0.608755471828996 + 0.0*i,
    -0.0960782777108282 + 0.0*i,
    0.231278185079893 + 0.0*i,
    0.170612552106383 + 0.0*i,
    0.172777203291271 + 0.0*i,
    -0.207529149882612 + 0.0*i,
    -0.432358014307743 + 0.0*i,
    -0.0931843660742109 + 0.0*i,
    -0.266555931086707 + 0.0*i,
    0.44919420032017 + 0.0*i,
    0.406018104040926 + 0.0*i,
    -0.0696261475994304 + 0.0*i,
    -0.284738434982267 + 0.0*i,
    -0.0907266750688571 + 0.0*i,
    0.0827932836324825 + 0.0*i,
    0.478664184444405 + 0.0*i,
    0.266702459482726 + 0.0*i,
    0.197330639650359 + 0.0*i,
    0.367796015758571 + 0.0*i,
    -0.228253032288459 + 0.0*i,
    -0.461313252174355 + 0.0*i,
    -0.0158928196856251 + 0.0*i,
    0.615393305696632 + 0.0*i,
    -0.50249399807577 + 0.0*i,
    0.0326724911597508 + 0.0*i,
    -0.413368468940668 + 0.0*i,
    -0.307577419366928 + 0.0*i,
    -0.0163432240655754 + 0.0*i,
    0.331060359561443 + 0.0*i,
    0.34843419753483 + 0.0*i,
    0.359669181180879 + 0.0*i,
    -0.6505506250517 + 0.0*i,
    -0.0326893983560002 + 0.0*i,
    0.738238900201288 + 0.0*i,
    0.457217993748189 + 0.0*i,
    0.0741681349754851 + 0.0*i,
    0.562686866598219 + 0.0*i,
    -0.437775627440948 + 0.0*i,
    0.330961355925216 + 0.0*i,
    0.00180125122276146 + 0.0*i,
    0.176674918680647 + 0.0*i,
    -0.488386854893447 + 0.0*i,
    0.22622864047162 + 0.0*i,
    0.218447976429154 + 0.0*i,
    -0.162031661856329 + 0.0*i,
    0.0336745596643699 + 0.0*i,
    -0.140418392625031 + 0.0*i,
    0.342270563430065 + 0.0*i,
    -0.265208921333557 + 0.0*i,
    0.228937919847094 + 0.0*i,
    0.147372298120866 + 0.0*i,
    0.0175056603760946 + 0.0*i,
    -0.246938047740995 + 0.0*i,
    0.258914120060553 + 0.0*i,
    0.380142813579587 + 0.0*i,
    0.570138335220345 + 0.0*i,
    0.258120275576103 + 0.0*i,
    0.115130133767975 + 0.0*i,
    0.00357486786991772 + 0.0*i,
    -0.0892975706135941 + 0.0*i,
    -0.183956751514236 + 0.0*i,
    0.57114004015177 + 0.0*i,
    -0.370493125279562 + 0.0*i,
    -0.430265561731852 + 0.0*i,
    -0.0240217672810849 + 0.0*i,
    0.227229590119077 + 0.0*i,
    -0.445842723866743 + 0.0*i,
    0.279350336898941 + 0.0*i,
    -0.626729832394846 + 0.0*i,
    0.119792208942901 + 0.0*i,
    0.215781261769776 + 0.0*i,
    0.191978156241713 + 0.0*i,
    0.192855025687081 + 0.0*i,
    -0.235609567343213 + 0.0*i,
    -0.40873305486905 + 0.0*i,
    0.11577062064923 + 0.0*i,
    -0.0627228681437879 + 0.0*i,
    0.987263559375403 + 0.0*i,
    0.229795229136532 + 0.0*i,
    0.289558342237974 + 0.0*i,
    0.914153542346716 + 0.0*i,
    0.164299564882444 + 0.0*i,
    -0.0221722595914186 + 0.0*i,
    0.235209354124401 + 0.0*i,
    -0.373381114312349 + 0.0*i,
    0.170796492474161 + 0.0*i,
    -0.22253422013687 + 0.0*i,
    0.015203050958786 + 0.0*i,
    -0.0652164240756987 + 0.0*i,
    0.218665359064168 + 0.0*i,
    0.411506691800655 + 0.0*i,
    0.20455382073988 + 0.0*i,
    0.634052822852694 + 0.0*i,
    0.328512376494681 + 0.0*i,
    -0.709076696697392 + 0.0*i,
    -0.322432998142388 + 0.0*i,
    -0.26860590813569 + 0.0*i,
    -0.058524693677892 + 0.0*i,
    -0.216693201698753 + 0.0*i,
    0.384690407386107 + 0.0*i,
    0.122666723415838 + 0.0*i,
    0.210389832404257 + 0.0*i,
    0.135314095996287 + 0.0*i,
    -0.482600109758426 + 0.0*i,
    -0.0127255062023938 + 0.0*i,
    0.0658071953924311 + 0.0*i,
    -0.552932842504156 + 0.0*i,
    -0.643748860547021 + 0.0*i,
    0.115456289128634 + 0.0*i,
    -0.343167777858607 + 0.0*i,
    -0.400953006065629 + 0.0*i,
    -0.485163898271486 + 0.0*i,
    -0.105899159195307 + 0.0*i,
    0.249782786769461 + 0.0*i,
    -0.795705582814444 + 0.0*i,
    0.104640809578813 + 0.0*i,
    0.30408713981748 + 0.0*i,
    0.428806967922034 + 0.0*i,
    -0.235433815773132 + 0.0*i,
    -0.211224232869133 + 0.0*i,
    -0.472677246295524 + 0.0*i,
    0.249770575380667 + 0.0*i,
    0.170386335957639 + 0.0*i,
    0.363572727302217 + 0.0*i,
    -0.00852817797799481 + 0.0*i,
    -0.25588786956089 + 0.0*i,
    0.367265980336211 + 0.0*i,
    0.0314536607110841 + 0.0*i
]);