V:=Matrix(CC,4,43,[
    0.280972409410991 + 0.0*i,
    0.275412755751783 + 0.0*i,
    0.0528093433131432 + 0.0*i,
    0.225374415974179 + 0.0*i,
    -0.334337913539121 + 0.0*i,
    0.166205799933984 + 0.0*i,
    0.00785550803640317 + 0.0*i,
    -0.187613487685739 + 0.0*i,
    -0.136622614654402 + 0.0*i,
    0.191251838767684 + 0.0*i,
    -0.15500624521059 + 0.0*i,
    -0.0400711225871814 + 0.0*i,
    -0.0649994323799954 + 0.0*i,
    0.232412067925449 + 0.0*i,
    0.120776402888444 + 0.0*i,
    -0.0684904132462681 + 0.0*i,
    0.113404649736767 + 0.0*i,
    -0.156198645738592 + 0.0*i,
    0.0102129488900958 + 0.0*i,
    0.0764453385865734 + 0.0*i,
    0.0397852845777445 + 0.0*i,
    0.0678637626811265 + 0.0*i,
    -0.248451774212449 + 0.0*i,
    0.137823488173652 + 0.0*i,
    0.0548226841218434 + 0.0*i,
    -0.0642846837142463 + 0.0*i,
    -0.246768305199506 + 0.0*i,
    -0.171683542434993 + 0.0*i,
    0.115645423383465 + 0.0*i,
    0.26159028731307 + 0.0*i,
    0.13001063706488 + 0.0*i,
    -0.267846310850421 + 0.0*i,
    0.29636947140398 + 0.0*i,
    0.118498019995169 + 0.0*i,
    0.0199600000469025 + 0.0*i,
    -0.243762292149821 + 0.0*i,
    0.0798113319035688 + 0.0*i,
    0.163516797074879 + 0.0*i,
    -0.217369485753882 + 0.0*i,
    -0.133168079646901 + 0.0*i,
    -0.0516724121274742 + 0.0*i,
    0.088742247620852 + 0.0*i,
    0.0657762297149402 + 0.0*i,
    0.135107871219603 + 0.0*i,
    0.165677152582231 + 0.0*i,
    -0.0596113849355003 + 0.0*i,
    0.0377263154515308 + 0.0*i,
    0.00554184605740984 + 0.0*i,
    -0.00161526316171361 + 0.0*i,
    0.0934249819669462 + 0.0*i,
    -0.112744901244893 + 0.0*i,
    -0.272100942825427 + 0.0*i,
    0.155693497251027 + 0.0*i,
    0.114775387660566 + 0.0*i,
    0.126487760304518 + 0.0*i,
    -0.159400640487631 + 0.0*i,
    -0.138847612011304 + 0.0*i,
    -0.0731152326252363 + 0.0*i,
    0.220052346742431 + 0.0*i,
    0.0538152260233921 + 0.0*i,
    0.225613579948483 + 0.0*i,
    -0.264366286808595 + 0.0*i,
    -0.0178660663450776 + 0.0*i,
    0.126103728622608 + 0.0*i,
    0.228871052582806 + 0.0*i,
    -0.0718705036456889 + 0.0*i,
    0.0904617557909692 + 0.0*i,
    -0.137665407847485 + 0.0*i,
    -0.283221723061693 + 0.0*i,
    0.00267534021028712 + 0.0*i,
    0.199365619955428 + 0.0*i,
    -0.0734204334478357 + 0.0*i,
    -0.215808773758802 + 0.0*i,
    -0.256709992277291 + 0.0*i,
    0.0930126702235439 + 0.0*i,
    -0.0443464290137969 + 0.0*i,
    -0.271922636598746 + 0.0*i,
    0.244032058052264 + 0.0*i,
    0.108154981865883 + 0.0*i,
    -0.106833730299155 + 0.0*i,
    0.115321709107558 + 0.0*i,
    -0.211421693967219 + 0.0*i,
    -0.296850791072994 + 0.0*i,
    0.332664570442547 + 0.0*i,
    0.195464994431447 + 0.0*i,
    -0.0331565939088701 + 0.0*i,
    0.106306631026651 + 0.0*i,
    -0.104286191896275 + 0.0*i,
    -0.224190445674276 + 0.0*i,
    -0.0376477077916753 + 0.0*i,
    0.00708945733219736 + 0.0*i,
    0.137607554083693 + 0.0*i,
    -0.00413066937049567 + 0.0*i,
    0.214714650470014 + 0.0*i,
    -0.144863939911524 + 0.0*i,
    -0.00928932977769401 + 0.0*i,
    0.0389969387381181 + 0.0*i,
    -0.198550918061412 + 0.0*i,
    -0.26759906327758 + 0.0*i,
    0.121317577166474 + 0.0*i,
    -0.0940081348676225 + 0.0*i,
    0.242759877318937 + 0.0*i,
    0.145363651117701 + 0.0*i,
    -0.0628575189132626 + 0.0*i,
    0.0847955727574207 + 0.0*i,
    -0.329807375689344 + 0.0*i,
    -0.0855965867658416 + 0.0*i,
    0.133198857136148 + 0.0*i,
    -0.190731606713075 + 0.0*i,
    0.283018746686974 + 0.0*i,
    0.269306246434339 + 0.0*i,
    0.121797253897203 + 0.0*i,
    0.220702203741407 + 0.0*i,
    0.178397654477492 + 0.0*i,
    0.304950565571311 + 0.0*i,
    -0.0147944092563035 + 0.0*i,
    -0.0604843533299824 + 0.0*i,
    -0.18244939450979 + 0.0*i,
    -0.0352204068543622 + 0.0*i,
    0.171948792883431 + 0.0*i,
    0.101621610912549 + 0.0*i,
    0.177868389339565 + 0.0*i,
    -0.125023479267861 + 0.0*i,
    -0.163932376729561 + 0.0*i,
    -0.0238415700971628 + 0.0*i,
    0.0541022493040377 + 0.0*i,
    0.0467659527229498 + 0.0*i,
    -0.2641812076383 + 0.0*i,
    -0.273140420060124 + 0.0*i,
    0.0844361752943209 + 0.0*i,
    0.0121858215075307 + 0.0*i,
    -0.245627380122691 + 0.0*i,
    -0.238994483499168 + 0.0*i,
    0.0642020941495541 + 0.0*i,
    0.267434010467544 + 0.0*i,
    0.325532699936933 + 0.0*i,
    0.149885074161432 + 0.0*i,
    0.00233883293920317 + 0.0*i,
    0.218025339755737 + 0.0*i,
    0.257770574933369 + 0.0*i,
    0.231490043472383 + 0.0*i,
    0.108647824194306 + 0.0*i,
    -0.167815372193019 + 0.0*i,
    0.295586845728491 + 0.0*i,
    0.0535034093483366 + 0.0*i,
    -0.281755634677967 + 0.0*i,
    -0.197502821466792 + 0.0*i,
    -0.184637311032177 + 0.0*i,
    -0.0349985355850056 + 0.0*i,
    -0.305723369911284 + 0.0*i,
    0.201149472940398 + 0.0*i,
    0.109977682304914 + 0.0*i,
    0.102305597739221 + 0.0*i,
    0.156019273215184 + 0.0*i,
    0.130548151502917 + 0.0*i,
    -0.0628011843457668 + 0.0*i,
    -0.121862427363905 + 0.0*i,
    -0.071789294912694 + 0.0*i,
    0.00215588174305161 + 0.0*i,
    -0.152653596069784 + 0.0*i,
    -0.0677949600588369 + 0.0*i,
    0.16131549522679 + 0.0*i,
    -0.0166418922167975 + 0.0*i,
    -0.212473032133012 + 0.0*i,
    0.110186473256988 + 0.0*i,
    -0.162093039841204 + 0.0*i,
    0.207325493309002 + 0.0*i,
    0.150892835724036 + 0.0*i,
    -0.0652532728844654 + 0.0*i,
    -0.0249651901537281 + 0.0*i,
    0.0472861455638309 + 0.0*i,
    0.180476665809899 + 0.0*i
]);