V:=Matrix(CC,4,43,[
    -0.429305782650586 + 0.0*i,
    -0.227977593682385 + 0.0*i,
    0.27956928740295 + 0.0*i,
    0.600150035808917 + 0.0*i,
    0.299157334542379 + 0.0*i,
    -0.417687129258458 + 0.0*i,
    -0.313173630622741 + 0.0*i,
    -0.200584790777168 + 0.0*i,
    0.323656468212098 + 0.0*i,
    -0.705996861779778 + 0.0*i,
    0.461155678458978 + 0.0*i,
    -0.786349580740833 + 0.0*i,
    -0.308712354693658 + 0.0*i,
    -0.0373591439511072 + 0.0*i,
    0.23414170937384 + 0.0*i,
    0.809451268637044 + 0.0*i,
    -0.134063441765692 + 0.0*i,
    -0.0635343465928515 + 0.0*i,
    -0.0215399493566829 + 0.0*i,
    1.17536165295209 + 0.0*i,
    -0.165521063035837 + 0.0*i,
    0.74581126529169 + 0.0*i,
    -0.273729758949441 + 0.0*i,
    0.0731168868038608 + 0.0*i,
    -0.738346604730482 + 0.0*i,
    -0.385202170392225 + 0.0*i,
    0.667792591009276 + 0.0*i,
    0.53534304097462 + 0.0*i,
    -0.2719795297797 + 0.0*i,
    -0.643603010443813 + 0.0*i,
    0.104829291861495 + 0.0*i,
    0.822760222377679 + 0.0*i,
    0.287122187214556 + 0.0*i,
    -0.517708561650861 + 0.0*i,
    0.203500003494888 + 0.0*i,
    0.727010373895509 + 0.0*i,
    0.450734242293107 + 0.0*i,
    0.408706797470725 + 0.0*i,
    0.202339067501833 + 0.0*i,
    -0.0503176580066553 + 0.0*i,
    -0.503853505567459 + 0.0*i,
    0.0554211323517871 + 0.0*i,
    -0.889241505007867 + 0.0*i,
    -0.245594443778867 + 0.0*i,
    0.873279894618235 + 0.0*i,
    0.4443474976298 + 0.0*i,
    -0.434869920974402 + 0.0*i,
    -0.600900894857195 + 0.0*i,
    0.651185952687301 + 0.0*i,
    0.647514159204923 + 0.0*i,
    -0.462230941869499 + 0.0*i,
    -0.516221576875452 + 0.0*i,
    -0.255637406723228 + 0.0*i,
    0.0028041575389313 + 0.0*i,
    0.576231503793647 + 0.0*i,
    0.894545927605676 + 0.0*i,
    0.363257638753201 + 0.0*i,
    -0.892588070518091 + 0.0*i,
    0.29850420994023 + 0.0*i,
    -0.605343135662649 + 0.0*i,
    0.291588592243797 + 0.0*i,
    -0.310757490762781 + 0.0*i,
    0.290046454794927 + 0.0*i,
    -0.150204901491943 + 0.0*i,
    -0.22531718529358 + 0.0*i,
    -0.539973485715975 + 0.0*i,
    -0.836333155815939 + 0.0*i,
    0.650631234637724 + 0.0*i,
    -0.278426582996907 + 0.0*i,
    -0.224032294964294 + 0.0*i,
    0.828657443122852 + 0.0*i,
    0.226634206715693 + 0.0*i,
    0.394757549180808 + 0.0*i,
    -0.0781547652549167 + 0.0*i,
    0.30159013213283 + 0.0*i,
    -0.824482882314505 + 0.0*i,
    -0.0424757684831261 + 0.0*i,
    0.597063282154615 + 0.0*i,
    -0.288976311748384 + 0.0*i,
    0.391825257255926 + 0.0*i,
    0.155424294769563 + 0.0*i,
    0.478427038650912 + 0.0*i,
    -0.251785888426749 + 0.0*i,
    -1.06159175309717 + 0.0*i,
    -0.0184846951704009 + 0.0*i,
    0.39806042243722 + 0.0*i,
    0.899416630644618 + 0.0*i,
    0.316443083156168 + 0.0*i,
    -0.373287166545575 + 0.0*i,
    -0.26513989674916 + 0.0*i,
    -0.0387370766963768 + 0.0*i,
    0.0986452339109626 + 0.0*i,
    0.480952715146296 + 0.0*i,
    0.99946119109656 + 0.0*i,
    -0.798023906832167 + 0.0*i,
    0.379928988560988 + 0.0*i,
    0.429690715029828 + 0.0*i,
    0.0924522557080408 + 0.0*i,
    -0.660317561016582 + 0.0*i,
    -0.0549087576886086 + 0.0*i,
    -0.377981884548081 + 0.0*i,
    0.159728330594313 + 0.0*i,
    -0.409910602669007 + 0.0*i,
    -0.258193590124335 + 0.0*i,
    -0.113460751825441 + 0.0*i,
    -0.232508713377416 + 0.0*i,
    -0.907327158020805 + 0.0*i,
    0.625064545873514 + 0.0*i,
    -0.0947687530056579 + 0.0*i,
    0.428277516556121 + 0.0*i,
    -0.171354569140587 + 0.0*i,
    0.00368744350140967 + 0.0*i,
    0.737460857514895 + 0.0*i,
    -0.238930561703652 + 0.0*i,
    0.444047298239272 + 0.0*i,
    0.622362607917821 + 0.0*i,
    -0.797957718869855 + 0.0*i,
    0.616757993531044 + 0.0*i,
    -0.0121062682505015 + 0.0*i,
    0.789867524926692 + 0.0*i,
    0.932983575792198 + 0.0*i,
    -0.197574061841658 + 0.0*i,
    -0.175759847995577 + 0.0*i,
    0.816557905742894 + 0.0*i,
    -0.0855696719853888 + 0.0*i,
    0.457857418590745 + 0.0*i,
    -0.162815906691123 + 0.0*i,
    -0.435337009579535 + 0.0*i,
    -0.0188902976337072 + 0.0*i,
    -0.450764765745057 + 0.0*i,
    -0.0950323373769372 + 0.0*i,
    0.664387755939216 + 0.0*i,
    -0.228267817980192 + 0.0*i,
    -0.551250631612774 + 0.0*i,
    -0.434681347586537 + 0.0*i,
    0.448084103559702 + 0.0*i,
    0.122847816485008 + 0.0*i,
    0.104477119934792 + 0.0*i,
    -0.39403659353793 + 0.0*i,
    -1.00434353687053 + 0.0*i,
    0.264506239075372 + 0.0*i,
    -0.0597164395469288 + 0.0*i,
    0.386443906103765 + 0.0*i,
    -0.127666827605117 + 0.0*i,
    0.639269424461407 + 0.0*i,
    -0.841106193105944 + 0.0*i,
    -1.09065684791486 + 0.0*i,
    0.247300256664185 + 0.0*i,
    -0.124727763849914 + 0.0*i,
    0.322376580910281 + 0.0*i,
    0.461752149344338 + 0.0*i,
    0.130463428562287 + 0.0*i,
    -0.614989683757783 + 0.0*i,
    -0.0837315992743616 + 0.0*i,
    -0.69301435802919 + 0.0*i,
    -0.389742608741548 + 0.0*i,
    -0.651998193523046 + 0.0*i,
    -0.911366150292982 + 0.0*i,
    -0.444074721043861 + 0.0*i,
    -0.588782898527092 + 0.0*i,
    -0.235253268410833 + 0.0*i,
    0.653946219480696 + 0.0*i,
    0.54454379343288 + 0.0*i,
    -0.153288887758558 + 0.0*i,
    -0.723442582024914 + 0.0*i,
    0.727875601201383 + 0.0*i,
    0.569022892334675 + 0.0*i,
    0.0879223107947485 + 0.0*i,
    0.296196506672392 + 0.0*i,
    -0.106181169446106 + 0.0*i,
    -0.318754634326116 + 0.0*i,
    -0.32925339602644 + 0.0*i
]);