V:=Matrix(CC,8,42,[
    0.262074325339263 + 0.0*i,
    -0.224070639680817 + 0.0*i,
    0.728319230799698 + 0.0*i,
    -0.505867147852895 + 0.0*i,
    0.594967799841641 + 0.0*i,
    -0.364610332368139 + 0.0*i,
    -0.0678303341405743 + 0.0*i,
    0.307270451597529 + 0.0*i,
    -0.308622290638323 + 0.0*i,
    0.13790100221601 + 0.0*i,
    -0.468576278340663 + 0.0*i,
    0.0686654390688426 + 0.0*i,
    -0.329439134049757 + 0.0*i,
    0.362574987193907 + 0.0*i,
    -0.187754160806429 + 0.0*i,
    -0.274693831196913 + 0.0*i,
    0.112795916581343 + 0.0*i,
    0.20313950982505 + 0.0*i,
    -0.401977166400101 + 0.0*i,
    0.421147555628381 + 0.0*i,
    0.0726828114928817 + 0.0*i,
    0.553773941420942 + 0.0*i,
    0.223433517941866 + 0.0*i,
    -0.458445824913205 + 0.0*i,
    0.399001149408572 + 0.0*i,
    0.0258690073703292 + 0.0*i,
    0.179240321625349 + 0.0*i,
    0.626484762813293 + 0.0*i,
    0.658194472688423 + 0.0*i,
    -0.382148024193159 + 0.0*i,
    0.133862902830783 + 0.0*i,
    -0.0265388389211719 + 0.0*i,
    -0.0403119041073594 + 0.0*i,
    0.269850384965098 + 0.0*i,
    0.188739667153278 + 0.0*i,
    0.192795724718331 + 0.0*i,
    0.0521725494517025 + 0.0*i,
    0.151869851873791 + 0.0*i,
    0.00460492123704862 + 0.0*i,
    -0.476967097444376 + 0.0*i,
    -0.31189309646279 + 0.0*i,
    -0.397317596735471 + 0.0*i,
    0.313820512489844 + 0.0*i,
    0.274382149383711 + 0.0*i,
    -0.177645790368285 + 0.0*i,
    -0.229527920677281 + 0.0*i,
    0.118628087217785 + 0.0*i,
    0.637237355203598 + 0.0*i,
    0.322029903939729 + 0.0*i,
    0.215043123384341 + 0.0*i,
    -0.107476630914689 + 0.0*i,
    -0.407369237583483 + 0.0*i,
    -0.209533204836219 + 0.0*i,
    0.561175425341188 + 0.0*i,
    -0.305101266480019 + 0.0*i,
    0.818232233273526 + 0.0*i,
    0.633109336175439 + 0.0*i,
    0.474199411096428 + 0.0*i,
    -0.250198923911579 + 0.0*i,
    0.637284875774031 + 0.0*i,
    -0.0317016698786313 + 0.0*i,
    0.164473231706706 + 0.0*i,
    -0.457350811086943 + 0.0*i,
    -0.0919563428616733 + 0.0*i,
    -0.0948083508015936 + 0.0*i,
    0.129743544097956 + 0.0*i,
    0.104677797367905 + 0.0*i,
    -0.538850833005994 + 0.0*i,
    0.216388628570617 + 0.0*i,
    0.537090995344322 + 0.0*i,
    -0.296752953738964 + 0.0*i,
    0.734511971533285 + 0.0*i,
    -0.478577800507345 + 0.0*i,
    0.583489892096788 + 0.0*i,
    0.268745935558698 + 0.0*i,
    -0.418702833740954 + 0.0*i,
    -0.112568250546065 + 0.0*i,
    -0.188391852969541 + 0.0*i,
    0.126037916386371 + 0.0*i,
    0.0681658348066607 + 0.0*i,
    -0.114571161013751 + 0.0*i,
    -0.0760582246725549 + 0.0*i,
    0.145778968420182 + 0.0*i,
    0.173675070117529 + 0.0*i,
    0.291622830532264 + 0.0*i,
    -0.401243985338902 + 0.0*i,
    0.395869586918323 + 0.0*i,
    -0.0880009039230904 + 0.0*i,
    0.318920268191095 + 0.0*i,
    -0.0410470773787929 + 0.0*i,
    0.729930686395266 + 0.0*i,
    -0.375475441649892 + 0.0*i,
    -0.0723296783630622 + 0.0*i,
    -0.499542398227644 + 0.0*i,
    0.593315251139062 + 0.0*i,
    -0.0549218390407528 + 0.0*i,
    -0.268346116153183 + 0.0*i,
    0.389406928828763 + 0.0*i,
    -0.00284684266589491 + 0.0*i,
    -0.409004052030951 + 0.0*i,
    -0.0132570093468516 + 0.0*i,
    -0.327690714307127 + 0.0*i,
    0.375180316904616 + 0.0*i,
    0.317467231966436 + 0.0*i,
    -0.345232103059794 + 0.0*i,
    -0.242327958760896 + 0.0*i,
    -0.122017661265493 + 0.0*i,
    -0.390334083581497 + 0.0*i,
    0.446359433089624 + 0.0*i,
    0.00725659704760431 + 0.0*i,
    0.515378117972241 + 0.0*i,
    -0.456647965543201 + 0.0*i,
    -0.491842787277855 + 0.0*i,
    0.142605236168163 + 0.0*i,
    -0.450521490652834 + 0.0*i,
    -0.418855120236443 + 0.0*i,
    -0.0889719680540472 + 0.0*i,
    0.295257849703801 + 0.0*i,
    0.0970078013116276 + 0.0*i,
    0.0625110068886623 + 0.0*i,
    -0.352943849211457 + 0.0*i,
    0.571389555656636 + 0.0*i,
    -0.505725653384309 + 0.0*i,
    0.312528407914733 + 0.0*i,
    0.109007959661232 + 0.0*i,
    0.556916425346714 + 0.0*i,
    0.286919794472613 + 0.0*i,
    0.093650716874525 + 0.0*i,
    -0.241657031740293 + 0.0*i,
    -0.0323208372540176 + 0.0*i,
    0.697912100508416 + 0.0*i,
    -0.265313855671572 + 0.0*i,
    -0.220541098924665 + 0.0*i,
    -0.40165795317057 + 0.0*i,
    0.442291629037136 + 0.0*i,
    -0.343046123498791 + 0.0*i,
    0.543372607072909 + 0.0*i,
    -0.0391894144330613 + 0.0*i,
    0.542439107871739 + 0.0*i,
    -0.0921456485063604 + 0.0*i,
    0.0264725273212596 + 0.0*i,
    -0.0391325183080771 + 0.0*i,
    -0.0864363100880488 + 0.0*i,
    0.42054899426934 + 0.0*i,
    -0.514030935054644 + 0.0*i,
    -0.40504498704923 + 0.0*i,
    -0.108412297991329 + 0.0*i,
    -0.123207817935886 + 0.0*i,
    0.689616424892284 + 0.0*i,
    -0.28564138738083 + 0.0*i,
    -0.0963918630813852 + 0.0*i,
    -0.612380618764836 + 0.0*i,
    0.181957428479512 + 0.0*i,
    0.255523175136303 + 0.0*i,
    0.12746357639329 + 0.0*i,
    0.354294559283626 + 0.0*i,
    -0.134794583791609 + 0.0*i,
    -0.448213624611261 + 0.0*i,
    -0.538097802781255 + 0.0*i,
    -0.362112732947523 + 0.0*i,
    0.681053420054684 + 0.0*i,
    -0.216832249403863 + 0.0*i,
    -0.363805580498905 + 0.0*i,
    -0.487463124615486 + 0.0*i,
    -0.38605433637067 + 0.0*i,
    -0.0110102959344664 + 0.0*i,
    -0.178838576797933 + 0.0*i,
    0.041820254245882 + 0.0*i,
    -0.202440058921191 + 0.0*i,
    -0.195595513150201 + 0.0*i,
    -0.17157897177418 + 0.0*i,
    0.301846086392477 + 0.0*i,
    -0.137731832240266 + 0.0*i,
    -0.0418492879444726 + 0.0*i,
    -0.136306971558723 + 0.0*i,
    0.258412593903589 + 0.0*i,
    -0.115458878310494 + 0.0*i,
    0.612619144177942 + 0.0*i,
    0.230394873256432 + 0.0*i,
    -0.120005136770166 + 0.0*i,
    -0.387020231798256 + 0.0*i,
    -0.0734936868858559 + 0.0*i,
    -0.106053007967536 + 0.0*i,
    0.654266006434758 + 0.0*i,
    0.326656978172272 + 0.0*i,
    -0.0700495196018369 + 0.0*i,
    0.2507789402543 + 0.0*i,
    -0.537772469918829 + 0.0*i,
    -0.344947066393811 + 0.0*i,
    0.0619046240421509 + 0.0*i,
    -0.143536038980823 + 0.0*i,
    -0.412325348387718 + 0.0*i,
    0.00887595028142359 + 0.0*i,
    -0.14628721468675 + 0.0*i,
    -0.0222656980208853 + 0.0*i,
    -0.0636798554042276 + 0.0*i,
    -0.206072475183457 + 0.0*i,
    -0.166534831124256 + 0.0*i,
    -0.648127160843185 + 0.0*i,
    -0.0838087288095588 + 0.0*i,
    0.14016080199552 + 0.0*i,
    -0.275903869342489 + 0.0*i,
    0.671230678378906 + 0.0*i,
    0.829272295335403 + 0.0*i,
    0.417598098800616 + 0.0*i,
    -0.0233568736698844 + 0.0*i,
    -0.266636984546411 + 0.0*i,
    -0.301889668863316 + 0.0*i,
    0.741583133086267 + 0.0*i,
    0.0915014655402805 + 0.0*i,
    -0.197124468122991 + 0.0*i,
    -0.219873602243288 + 0.0*i,
    0.411466029885428 + 0.0*i,
    -0.638386027356662 + 0.0*i,
    0.057171259999122 + 0.0*i,
    -0.297991079646425 + 0.0*i,
    0.0703682169279781 + 0.0*i,
    0.151700413345328 + 0.0*i,
    0.518876148866759 + 0.0*i,
    0.00408399597301855 + 0.0*i,
    0.232500440906435 + 0.0*i,
    -0.499980522016747 + 0.0*i,
    -0.111204721427839 + 0.0*i,
    -0.00156381808305237 + 0.0*i,
    0.543804522089797 + 0.0*i,
    -0.0417145364071671 + 0.0*i,
    -0.1197385652256 + 0.0*i,
    -0.102453669759424 + 0.0*i,
    0.119882286735337 + 0.0*i,
    -0.298969783819869 + 0.0*i,
    -0.218946191282254 + 0.0*i,
    0.135539087648511 + 0.0*i,
    -0.497809568818225 + 0.0*i,
    -0.287942414678738 + 0.0*i,
    -0.487740751972697 + 0.0*i,
    -0.269062658560946 + 0.0*i,
    -0.786011600077318 + 0.0*i,
    0.125230257196586 + 0.0*i,
    0.0809927302607736 + 0.0*i,
    -0.136063847744544 + 0.0*i,
    -0.212092779339823 + 0.0*i,
    0.450064024015222 + 0.0*i,
    -0.633130612423055 + 0.0*i,
    -0.566228342669946 + 0.0*i,
    -0.192259091671283 + 0.0*i,
    0.329095515627358 + 0.0*i,
    -0.128591004450704 + 0.0*i,
    0.229638625430393 + 0.0*i,
    0.148331920655117 + 0.0*i,
    0.424104484839199 + 0.0*i,
    -0.350151580260945 + 0.0*i,
    -0.206681833042046 + 0.0*i,
    0.673492823200059 + 0.0*i,
    0.122061422384765 + 0.0*i,
    0.172809625763652 + 0.0*i,
    0.116618859778068 + 0.0*i,
    -0.173008810529139 + 0.0*i,
    0.534990188143956 + 0.0*i,
    0.459969045683542 + 0.0*i,
    -0.533672254716891 + 0.0*i,
    0.621246258773826 + 0.0*i,
    0.260122867777544 + 0.0*i,
    -0.00154425891518528 + 0.0*i,
    -0.459956891008244 + 0.0*i,
    -0.336293653243976 + 0.0*i,
    -0.0803667381994315 + 0.0*i,
    -0.51515606747138 + 0.0*i,
    0.190658632145443 + 0.0*i,
    0.113144693069823 + 0.0*i,
    -0.184980500807183 + 0.0*i,
    0.416252158642698 + 0.0*i,
    0.362575042940018 + 0.0*i,
    -0.390032049742353 + 0.0*i,
    0.332702956977013 + 0.0*i,
    0.366826301132006 + 0.0*i,
    -0.381762329282467 + 0.0*i,
    0.31972647858401 + 0.0*i,
    -0.0744272961944369 + 0.0*i,
    -0.120415548946069 + 0.0*i,
    0.115490737526395 + 0.0*i,
    0.199577171950111 + 0.0*i,
    0.185496709509195 + 0.0*i,
    0.0273832069443387 + 0.0*i,
    0.199919996813684 + 0.0*i,
    0.187036844598305 + 0.0*i,
    -0.188665024726528 + 0.0*i,
    -0.0118408608735545 + 0.0*i,
    -0.0042570464228739 + 0.0*i,
    0.274644717475935 + 0.0*i,
    -0.458134023379075 + 0.0*i,
    0.703306646121114 + 0.0*i,
    -0.636706297456846 + 0.0*i,
    -0.423861860208702 + 0.0*i,
    0.40183063726168 + 0.0*i,
    0.269885419966682 + 0.0*i,
    0.775694684710224 + 0.0*i,
    -0.133608589128964 + 0.0*i,
    -0.421259089778849 + 0.0*i,
    -0.140119099101234 + 0.0*i,
    -0.136335310486846 + 0.0*i,
    -0.149312064000759 + 0.0*i,
    0.462761713957562 + 0.0*i,
    0.243750892142203 + 0.0*i,
    0.102940694658497 + 0.0*i,
    -0.0654264784412783 + 0.0*i,
    0.404753100564998 + 0.0*i,
    -0.428653106681766 + 0.0*i,
    0.199424542684023 + 0.0*i,
    -0.094306346507914 + 0.0*i,
    0.0708074074500336 + 0.0*i,
    0.886676363546798 + 0.0*i,
    -0.467811787556066 + 0.0*i,
    -0.3908514380474 + 0.0*i,
    0.185995501652608 + 0.0*i,
    0.6062031095661 + 0.0*i,
    -0.666819698862101 + 0.0*i,
    0.24711431125015 + 0.0*i,
    -0.412206193209035 + 0.0*i,
    -0.535897209923422 + 0.0*i,
    -0.512136756046068 + 0.0*i,
    0.00735276200800758 + 0.0*i,
    0.0135883950501132 + 0.0*i,
    0.364701402272331 + 0.0*i,
    -0.237661385520696 + 0.0*i,
    -0.108225389442013 + 0.0*i,
    0.0997706861367599 + 0.0*i,
    0.287555099623723 + 0.0*i,
    0.315825884900768 + 0.0*i,
    -0.152224122851945 + 0.0*i,
    -0.302221295633299 + 0.0*i,
    -0.670636055352136 + 0.0*i,
    0.417053395029716 + 0.0*i,
    -0.0818320916077492 + 0.0*i,
    -0.0276735842647603 + 0.0*i,
    0.0915694132587604 + 0.0*i,
    0.555561782997474 + 0.0*i
]);