V:=Matrix(CC,4,45,[
    -0.23297995901321 + 0.0*i,
    -0.258625639507019 + 0.0*i,
    0.0656157639426113 + 0.0*i,
    -0.10498039799422 + 0.0*i,
    0.116158717036729 + 0.0*i,
    -0.287455175983613 + 0.0*i,
    0.204909430181456 + 0.0*i,
    -0.10694399546246 + 0.0*i,
    0.362681536570655 + 0.0*i,
    0.10586520781413 + 0.0*i,
    0.245429665947996 + 0.0*i,
    -0.253910678534287 + 0.0*i,
    -0.0936052688148744 + 0.0*i,
    -0.103148658449683 + 0.0*i,
    -0.112503525881717 + 0.0*i,
    -0.112041182648023 + 0.0*i,
    -0.109119865495989 + 0.0*i,
    0.226234208666608 + 0.0*i,
    -0.308194193358432 + 0.0*i,
    -0.0278303365466334 + 0.0*i,
    0.190844185733373 + 0.0*i,
    0.220129780913357 + 0.0*i,
    0.0396398966309176 + 0.0*i,
    0.0558029830212008 + 0.0*i,
    -0.134213505667346 + 0.0*i,
    -0.289672131486691 + 0.0*i,
    0.258914794320592 + 0.0*i,
    0.0308769420269106 + 0.0*i,
    0.0627618203629685 + 0.0*i,
    -0.259486123440363 + 0.0*i,
    -0.140239905080809 + 0.0*i,
    0.0871086522643998 + 0.0*i,
    0.178452300707775 + 0.0*i,
    -0.0977262456374404 + 0.0*i,
    0.0331261577409155 + 0.0*i,
    -0.0907455506424005 + 0.0*i,
    -0.0084693394605133 + 0.0*i,
    -0.0977150929181105 + 0.0*i,
    0.217803824718282 + 0.0*i,
    0.0206592595379314 + 0.0*i,
    0.137247567195924 + 0.0*i,
    -0.222334019982789 + 0.0*i,
    0.320365504679625 + 0.0*i,
    -0.108586968953239 + 0.0*i,
    -0.341684437403226 + 0.0*i,
    0.232650053978547 + 0.0*i,
    -0.0954194651539604 + 0.0*i,
    -0.0976025166507554 + 0.0*i,
    0.187723984699268 + 0.0*i,
    0.323978788978501 + 0.0*i,
    -0.210106085058289 + 0.0*i,
    -0.0943517309089618 + 0.0*i,
    -0.010069866076588 + 0.0*i,
    -0.0405724967676358 + 0.0*i,
    -0.354132201655741 + 0.0*i,
    -0.135478540079621 + 0.0*i,
    -0.134968949664435 + 0.0*i,
    -0.215468039954247 + 0.0*i,
    -0.251384282182811 + 0.0*i,
    -0.352069058197466 + 0.0*i,
    0.00448971065697185 + 0.0*i,
    0.307691698468676 + 0.0*i,
    -0.139181424379064 + 0.0*i,
    0.21532402426681 + 0.0*i,
    0.174605899674261 + 0.0*i,
    0.190747618288952 + 0.0*i,
    0.101586280919544 + 0.0*i,
    0.29050818047306 + 0.0*i,
    -0.306584779572804 + 0.0*i,
    -0.32316879748863 + 0.0*i,
    -0.11538760513469 + 0.0*i,
    -0.0855035038591234 + 0.0*i,
    0.0291440420956892 + 0.0*i,
    0.0994068463185021 + 0.0*i,
    0.0370710473704372 + 0.0*i,
    -0.0309357014421242 + 0.0*i,
    -0.26123470769749 + 0.0*i,
    0.187702287711304 + 0.0*i,
    0.239925597763531 + 0.0*i,
    -0.219053628037148 + 0.0*i,
    -0.239983191345476 + 0.0*i,
    -0.0629235718127567 + 0.0*i,
    0.290438011422595 + 0.0*i,
    -0.0827357003656205 + 0.0*i,
    0.154170612982663 + 0.0*i,
    -0.021736572590439 + 0.0*i,
    -0.240002627308317 + 0.0*i,
    0.140247324112176 + 0.0*i,
    0.293472518887998 + 0.0*i,
    -0.0382770216794712 + 0.0*i,
    -0.0554332120594595 + 0.0*i,
    0.124730187691562 + 0.0*i,
    0.174817536708523 + 0.0*i,
    0.298876867970765 + 0.0*i,
    0.0836283067122596 + 0.0*i,
    0.0245837615615019 + 0.0*i,
    0.184167671591286 + 0.0*i,
    0.265338132262376 + 0.0*i,
    0.0410898612786516 + 0.0*i,
    0.01036703138105 + 0.0*i,
    0.258519413614701 + 0.0*i,
    -0.127489046197317 + 0.0*i,
    0.0177031028929123 + 0.0*i,
    0.20053191248703 + 0.0*i,
    0.0891449187243194 + 0.0*i,
    -0.327938764234401 + 0.0*i,
    0.131070591038613 + 0.0*i,
    -0.198419477032331 + 0.0*i,
    0.027633665815188 + 0.0*i,
    0.239203029875366 + 0.0*i,
    -0.245263452926738 + 0.0*i,
    0.121934941943329 + 0.0*i,
    0.210852131448584 + 0.0*i,
    0.154199392872846 + 0.0*i,
    -0.0424075610436669 + 0.0*i,
    -0.219790631646133 + 0.0*i,
    0.172187668584389 + 0.0*i,
    -0.0828033244997005 + 0.0*i,
    0.352109527067797 + 0.0*i,
    0.11963130111125 + 0.0*i,
    0.335346232637571 + 0.0*i,
    -0.0349523131350275 + 0.0*i,
    -0.153485429309699 + 0.0*i,
    0.0280543294253225 + 0.0*i,
    0.330011228699343 + 0.0*i,
    -0.247192286193582 + 0.0*i,
    0.312140359355234 + 0.0*i,
    -0.184991173947705 + 0.0*i,
    -0.262980820544622 + 0.0*i,
    0.191299137718977 + 0.0*i,
    -0.10007270075474 + 0.0*i,
    -0.146964732402278 + 0.0*i,
    -0.00218414271587905 + 0.0*i,
    0.166455871741128 + 0.0*i,
    0.169327725486129 + 0.0*i,
    -0.169000239012904 + 0.0*i,
    -0.213265168962916 + 0.0*i,
    -0.331672162740649 + 0.0*i,
    -0.0426988637373263 + 0.0*i,
    0.132496825485935 + 0.0*i,
    -0.0909418022465636 + 0.0*i,
    0.230960850394001 + 0.0*i,
    -0.229115942790878 + 0.0*i,
    0.094359428391769 + 0.0*i,
    0.00104116234349685 + 0.0*i,
    0.0310007458385818 + 0.0*i,
    0.260356221154876 + 0.0*i,
    -0.284964584955167 + 0.0*i,
    -0.178919070062643 + 0.0*i,
    0.0322963675227407 + 0.0*i,
    0.13990978259879 + 0.0*i,
    -0.111977199959946 + 0.0*i,
    0.179226468650358 + 0.0*i,
    0.0883106588575961 + 0.0*i,
    0.225863516362718 + 0.0*i,
    -0.044298833832887 + 0.0*i,
    0.272517891999223 + 0.0*i,
    -0.00147019246348815 + 0.0*i,
    0.184862602741413 + 0.0*i,
    0.162254242855365 + 0.0*i,
    -0.0215152360244837 + 0.0*i,
    -0.174924757754106 + 0.0*i,
    -0.375590046405673 + 0.0*i,
    0.0871471196105598 + 0.0*i,
    0.240942355201235 + 0.0*i,
    -0.0591156937553819 + 0.0*i,
    0.242231217564213 + 0.0*i,
    -0.232194555749399 + 0.0*i,
    0.269609347523056 + 0.0*i,
    0.0199287100536653 + 0.0*i,
    0.108658475320068 + 0.0*i,
    0.211512058947425 + 0.0*i,
    0.136511275698621 + 0.0*i,
    -0.137665176687351 + 0.0*i,
    -0.289565371982855 + 0.0*i,
    0.348515823713907 + 0.0*i,
    0.00913568886148547 + 0.0*i,
    -0.123691855384151 + 0.0*i,
    0.102522650925413 + 0.0*i,
    -0.00581258414926682 + 0.0*i
]);