V:=Matrix(CC,8,48,[
    0.22771690978794 + 0.0*i,
    0.187442626199014 + 0.0*i,
    -0.107211688455595 + 0.0*i,
    -0.174612933515116 + 0.0*i,
    0.435482263383598 + 0.0*i,
    -0.193253360386156 + 0.0*i,
    0.0596825572971356 + 0.0*i,
    -0.0189769370401648 + 0.0*i,
    0.141356750233236 + 0.0*i,
    0.593730930640073 + 0.0*i,
    0.206723904786858 + 0.0*i,
    0.253385191794792 + 0.0*i,
    -0.0168392498447842 + 0.0*i,
    -0.389100515366387 + 0.0*i,
    -0.482872791928766 + 0.0*i,
    -0.302346558354806 + 0.0*i,
    0.00187008131964429 + 0.0*i,
    -0.145200255274743 + 0.0*i,
    0.33434108695925 + 0.0*i,
    0.419709340500708 + 0.0*i,
    -0.485739277741448 + 0.0*i,
    0.0697141244115788 + 0.0*i,
    -0.199269440788118 + 0.0*i,
    -0.365236258130877 + 0.0*i,
    -0.56420298455222 + 0.0*i,
    -0.105911846244972 + 0.0*i,
    -0.650200966230506 + 0.0*i,
    0.364040870851925 + 0.0*i,
    0.346095930285464 + 0.0*i,
    -0.0122914141295968 + 0.0*i,
    0.319409232252369 + 0.0*i,
    -0.127931490943842 + 0.0*i,
    -0.4023419307555 + 0.0*i,
    0.214690870731354 + 0.0*i,
    -0.257051545378525 + 0.0*i,
    0.289962964593339 + 0.0*i,
    -0.0324988431820827 + 0.0*i,
    0.367780748248494 + 0.0*i,
    -0.60394659250138 + 0.0*i,
    0.286060815897882 + 0.0*i,
    0.664654328612348 + 0.0*i,
    -0.40280014859533 + 0.0*i,
    0.204820438940339 + 0.0*i,
    0.25374398388955 + 0.0*i,
    -0.712168463394069 + 0.0*i,
    -0.445459586428062 + 0.0*i,
    -0.559901071001763 + 0.0*i,
    -0.107568379337537 + 0.0*i,
    -0.514827664760465 + 0.0*i,
    0.111183063790159 + 0.0*i,
    0.37609997004443 + 0.0*i,
    0.177205468606654 + 0.0*i,
    0.161948010151695 + 0.0*i,
    -0.389439672406028 + 0.0*i,
    -0.201498955527017 + 0.0*i,
    -0.688784343494625 + 0.0*i,
    -0.27868428199209 + 0.0*i,
    0.508931814200175 + 0.0*i,
    -0.818255516028187 + 0.0*i,
    -0.307646660605073 + 0.0*i,
    0.310063805016597 + 0.0*i,
    -0.184683568326039 + 0.0*i,
    0.353673951374832 + 0.0*i,
    -0.363259472248768 + 0.0*i,
    0.270612930260316 + 0.0*i,
    0.656789628994983 + 0.0*i,
    0.198260023866764 + 0.0*i,
    0.465450302425441 + 0.0*i,
    -0.200461585192654 + 0.0*i,
    0.0860198784088279 + 0.0*i,
    0.149956755545315 + 0.0*i,
    -0.0286814935046323 + 0.0*i,
    0.312932491323072 + 0.0*i,
    0.465339953741736 + 0.0*i,
    -0.144463248724224 + 0.0*i,
    -0.698950582132432 + 0.0*i,
    -0.116193883741369 + 0.0*i,
    -0.0105774114013276 + 0.0*i,
    0.5316530941108 + 0.0*i,
    -0.619193048250861 + 0.0*i,
    0.079112747967891 + 0.0*i,
    -0.006480123807175 + 0.0*i,
    0.361581652403572 + 0.0*i,
    0.0631316612937519 + 0.0*i,
    0.467500451476371 + 0.0*i,
    0.218254327440966 + 0.0*i,
    0.127869070144871 + 0.0*i,
    0.231072851689684 + 0.0*i,
    -0.210620891673403 + 0.0*i,
    -0.260725287328696 + 0.0*i,
    0.478943329317002 + 0.0*i,
    -0.278277699063596 + 0.0*i,
    0.447654650902206 + 0.0*i,
    -0.646222237176333 + 0.0*i,
    -0.186133547742566 + 0.0*i,
    0.0937441566203536 + 0.0*i,
    0.331225075368723 + 0.0*i,
    0.406576852842996 + 0.0*i,
    -0.182285722311742 + 0.0*i,
    -0.404652056719148 + 0.0*i,
    0.0775349281769726 + 0.0*i,
    0.368264022265891 + 0.0*i,
    -0.154711720860784 + 0.0*i,
    -0.354204128449872 + 0.0*i,
    0.0505986047417431 + 0.0*i,
    -0.0110999321373192 + 0.0*i,
    -0.133898969181348 + 0.0*i,
    0.638911544208689 + 0.0*i,
    0.292745433200807 + 0.0*i,
    0.0917522591509219 + 0.0*i,
    0.0219718303835676 + 0.0*i,
    -0.593664829291464 + 0.0*i,
    0.382048728948529 + 0.0*i,
    -0.15909760514538 + 0.0*i,
    -0.082615586438284 + 0.0*i,
    0.122717435697241 + 0.0*i,
    -0.670740312001622 + 0.0*i,
    -0.0242204567967515 + 0.0*i,
    -0.0752600254731136 + 0.0*i,
    0.817701888918191 + 0.0*i,
    0.356670863436087 + 0.0*i,
    -0.108482476945577 + 0.0*i,
    -0.0046462747793634 + 0.0*i,
    -0.294514996899136 + 0.0*i,
    -0.45123667172625 + 0.0*i,
    0.263314566985265 + 0.0*i,
    -0.0498012400046178 + 0.0*i,
    0.417503713381944 + 0.0*i,
    -0.246893113096655 + 0.0*i,
    -0.200738394207532 + 0.0*i,
    0.120825446235789 + 0.0*i,
    0.447216550979299 + 0.0*i,
    -0.452020511694228 + 0.0*i,
    -0.296152707340261 + 0.0*i,
    -0.140757021180301 + 0.0*i,
    -0.722372044281835 + 0.0*i,
    -0.214165946066535 + 0.0*i,
    -0.416984476451809 + 0.0*i,
    0.61055819517785 + 0.0*i,
    0.229660423443991 + 0.0*i,
    -0.119062395486441 + 0.0*i,
    0.229826530940575 + 0.0*i,
    0.0979450840713595 + 0.0*i,
    0.729785093360875 + 0.0*i,
    0.0720922029809978 + 0.0*i,
    0.111228377305801 + 0.0*i,
    0.587715995837675 + 0.0*i,
    0.762226402216688 + 0.0*i,
    -0.525014909960517 + 0.0*i,
    -0.318338431792088 + 0.0*i,
    0.347413623721446 + 0.0*i,
    -0.435228877600909 + 0.0*i,
    -0.389122940238917 + 0.0*i,
    0.258522843902226 + 0.0*i,
    -0.25106544874953 + 0.0*i,
    0.518088133312019 + 0.0*i,
    0.459677202389159 + 0.0*i,
    -0.0753016683980752 + 0.0*i,
    -0.288963833332965 + 0.0*i,
    -0.459963120119788 + 0.0*i,
    0.117311572712538 + 0.0*i,
    -0.472327405713405 + 0.0*i,
    -0.824420917049378 + 0.0*i,
    -0.139987848505689 + 0.0*i,
    0.0537606093372197 + 0.0*i,
    0.685751339111128 + 0.0*i,
    -0.408917994707429 + 0.0*i,
    -0.20897088527495 + 0.0*i,
    -0.490198055113871 + 0.0*i,
    0.321836246748796 + 0.0*i,
    0.396176469199381 + 0.0*i,
    0.156026539557927 + 0.0*i,
    -0.348151078139341 + 0.0*i,
    0.182834864830903 + 0.0*i,
    -0.213121432597196 + 0.0*i,
    -0.160987694824464 + 0.0*i,
    0.143530535942866 + 0.0*i,
    0.0596170962395058 + 0.0*i,
    -0.238217818875054 + 0.0*i,
    -0.0449465038509214 + 0.0*i,
    0.291681885590206 + 0.0*i,
    0.119100474975579 + 0.0*i,
    0.0678825217544813 + 0.0*i,
    -0.0667752394232196 + 0.0*i,
    -0.218916921338373 + 0.0*i,
    0.113550260565793 + 0.0*i,
    -0.242932355191621 + 0.0*i,
    0.0855059012149973 + 0.0*i,
    -0.175313825223205 + 0.0*i,
    0.253095787588766 + 0.0*i,
    -0.659454999309228 + 0.0*i,
    -0.0392599374871574 + 0.0*i,
    -0.33749568281076 + 0.0*i,
    0.0913000819172777 + 0.0*i,
    -0.143991435720525 + 0.0*i,
    0.211876554531755 + 0.0*i,
    0.283919941212466 + 0.0*i,
    -0.383030738928715 + 0.0*i,
    -0.763283055539242 + 0.0*i,
    0.0639723787556491 + 0.0*i,
    -0.121129817046967 + 0.0*i,
    0.433615541986637 + 0.0*i,
    -0.353780872577849 + 0.0*i,
    0.143182635277103 + 0.0*i,
    -0.470342664183822 + 0.0*i,
    0.0799441436565157 + 0.0*i,
    0.0814214927204383 + 0.0*i,
    0.274641675731991 + 0.0*i,
    0.55441297315655 + 0.0*i,
    -0.204512762050526 + 0.0*i,
    -0.03317316278546 + 0.0*i,
    0.189207231550138 + 0.0*i,
    -0.507574493435743 + 0.0*i,
    0.228763862265605 + 0.0*i,
    -0.561100732514511 + 0.0*i,
    0.225321010208799 + 0.0*i,
    0.158091763324907 + 0.0*i,
    -0.655403557946438 + 0.0*i,
    -0.3249733448636 + 0.0*i,
    -0.0275081355101787 + 0.0*i,
    0.35469758643915 + 0.0*i,
    0.238672699856249 + 0.0*i,
    -0.130148334629989 + 0.0*i,
    -0.358510574066278 + 0.0*i,
    -0.328799660774136 + 0.0*i,
    -0.150373562328975 + 0.0*i,
    -0.722820533592874 + 0.0*i,
    -0.364305888532739 + 0.0*i,
    -0.303854244916682 + 0.0*i,
    0.437598472587488 + 0.0*i,
    0.713405797518727 + 0.0*i,
    0.252386461650416 + 0.0*i,
    -0.2880655735303 + 0.0*i,
    0.528275508975107 + 0.0*i,
    0.111337683661879 + 0.0*i,
    -0.343991225488158 + 0.0*i,
    -0.0358285171190243 + 0.0*i,
    0.330659248677353 + 0.0*i,
    0.30383166338274 + 0.0*i,
    -0.174188550523425 + 0.0*i,
    0.423376511284221 + 0.0*i,
    -0.774249628197386 + 0.0*i,
    -0.0745186672575441 + 0.0*i,
    0.0811950896093737 + 0.0*i,
    0.520638395266165 + 0.0*i,
    0.580311337594201 + 0.0*i,
    0.205748865444092 + 0.0*i,
    0.180257136053307 + 0.0*i,
    -0.526396196157676 + 0.0*i,
    0.255078039260613 + 0.0*i,
    0.25159201021387 + 0.0*i,
    -0.165284921221897 + 0.0*i,
    -0.28719407506743 + 0.0*i,
    0.287221143224842 + 0.0*i,
    -0.346501053403948 + 0.0*i,
    -0.333035855989523 + 0.0*i,
    0.0840721458037146 + 0.0*i,
    -0.0237373178915021 + 0.0*i,
    0.0419447790216529 + 0.0*i,
    -0.266980755326873 + 0.0*i,
    0.111988581983117 + 0.0*i,
    0.29634793597104 + 0.0*i,
    0.305671618973181 + 0.0*i,
    0.369939314784078 + 0.0*i,
    -0.528581532862535 + 0.0*i,
    0.298432108113187 + 0.0*i,
    0.486174516052673 + 0.0*i,
    -0.339646476133379 + 0.0*i,
    -0.0545068311958421 + 0.0*i,
    -0.830910095782124 + 0.0*i,
    0.0860904905426855 + 0.0*i,
    -0.079507631790189 + 0.0*i,
    -0.592322181270279 + 0.0*i,
    0.0852868695336226 + 0.0*i,
    -0.365481844914942 + 0.0*i,
    0.73937583954752 + 0.0*i,
    -0.0882576102481184 + 0.0*i,
    0.352764708312097 + 0.0*i,
    0.121743023950843 + 0.0*i,
    0.295433992116965 + 0.0*i,
    0.0334593728548362 + 0.0*i,
    0.155102367286521 + 0.0*i,
    0.144131313721307 + 0.0*i,
    -0.64286579424336 + 0.0*i,
    0.253367959077863 + 0.0*i,
    0.242336961460235 + 0.0*i,
    0.267400004847362 + 0.0*i,
    -0.0108980213338761 + 0.0*i,
    -0.0294015279833044 + 0.0*i,
    -0.281513741973619 + 0.0*i,
    -0.575007003584097 + 0.0*i,
    0.383341496490516 + 0.0*i,
    0.320617412152631 + 0.0*i,
    0.029015581127791 + 0.0*i,
    -0.25538785187857 + 0.0*i,
    -0.371526596030718 + 0.0*i,
    0.036456138864865 + 0.0*i,
    0.10520027503478 + 0.0*i,
    0.249087475875138 + 0.0*i,
    0.215459659283873 + 0.0*i,
    0.197033150075026 + 0.0*i,
    -0.688029578423836 + 0.0*i,
    0.102783580370192 + 0.0*i,
    0.280855399423878 + 0.0*i,
    0.555883580235723 + 0.0*i,
    0.52653895656015 + 0.0*i,
    0.0894242577058672 + 0.0*i,
    -0.654409258471434 + 0.0*i,
    0.14676201939267 + 0.0*i,
    -0.34813915645721 + 0.0*i,
    0.269994976662615 + 0.0*i,
    -0.0888017545483339 + 0.0*i,
    -0.0701875529925888 + 0.0*i,
    0.420235769943851 + 0.0*i,
    -0.220528807700583 + 0.0*i,
    0.125281456374349 + 0.0*i,
    -0.161682915964056 + 0.0*i,
    0.372418732400147 + 0.0*i,
    -0.152409630437511 + 0.0*i,
    -0.413781033158351 + 0.0*i,
    0.397047756336504 + 0.0*i,
    0.844486713771305 + 0.0*i,
    -0.326592717915616 + 0.0*i,
    0.436706920773811 + 0.0*i,
    -0.143925537080597 + 0.0*i,
    -0.399659055967975 + 0.0*i,
    -0.0782703064575111 + 0.0*i,
    -0.327558645805 + 0.0*i,
    -0.544824655169153 + 0.0*i,
    -0.156032305055998 + 0.0*i,
    0.278102289209366 + 0.0*i,
    -0.452537877332853 + 0.0*i,
    -0.237502811650797 + 0.0*i,
    0.18199441976773 + 0.0*i,
    0.00364557361577426 + 0.0*i,
    -0.552833125556305 + 0.0*i,
    0.577207149407158 + 0.0*i,
    0.386883785219993 + 0.0*i,
    -0.268353535853479 + 0.0*i,
    -0.0119063928214799 + 0.0*i,
    -0.281603429497155 + 0.0*i,
    -0.343263061872674 + 0.0*i,
    -0.339694080285576 + 0.0*i,
    0.214031199418081 + 0.0*i,
    0.578565987595288 + 0.0*i,
    0.249177341791655 + 0.0*i,
    -0.237000807322791 + 0.0*i,
    0.157378787890341 + 0.0*i,
    0.451685413048013 + 0.0*i,
    -0.390607140194628 + 0.0*i,
    0.630767208500813 + 0.0*i,
    -0.012928295385779 + 0.0*i,
    -0.359558704707831 + 0.0*i,
    -0.0356439184896061 + 0.0*i,
    0.298621001538281 + 0.0*i,
    -0.125189056315227 + 0.0*i,
    0.102214376436897 + 0.0*i,
    0.572629020508707 + 0.0*i,
    0.485706460570295 + 0.0*i,
    0.240969929675084 + 0.0*i,
    -0.268657060782731 + 0.0*i,
    -0.0830742455220709 + 0.0*i,
    0.136617364507859 + 0.0*i,
    0.29363012365178 + 0.0*i,
    0.599758891609011 + 0.0*i,
    -0.306892191912257 + 0.0*i,
    -0.701926371178804 + 0.0*i,
    0.238314811080129 + 0.0*i,
    -0.187948327128209 + 0.0*i,
    -0.31058151824781 + 0.0*i,
    0.0614552019935734 + 0.0*i,
    0.0664717482740487 + 0.0*i,
    0.588828700387218 + 0.0*i,
    -0.427483103061055 + 0.0*i,
    -0.253585148608534 + 0.0*i,
    0.0686013495442446 + 0.0*i,
    -0.170114713914281 + 0.0*i,
    0.455729281902787 + 0.0*i,
    0.427097135116231 + 0.0*i,
    -0.382200918379681 + 0.0*i,
    0.297819040940049 + 0.0*i,
    -0.126960381748366 + 0.0*i,
    0.0417739062195664 + 0.0*i,
    -0.355245689605883 + 0.0*i
]);