V:=Matrix(CC,4,43,[
    -0.9977089085195 + 0.0*i,
    -0.399384933616007 + 0.0*i,
    0.853097173753798 + 0.0*i,
    -0.0638449968619758 + 0.0*i,
    -0.737664168109041 + 0.0*i,
    -0.281560176308922 + 0.0*i,
    -0.759373812618148 + 0.0*i,
    0.721495402397784 + 0.0*i,
    -0.417078473987482 + 0.0*i,
    -0.814615126019187 + 0.0*i,
    0.58415807069517 + 0.0*i,
    -0.691814183796818 + 0.0*i,
    0.0719205843631811 + 0.0*i,
    0.624645901940857 + 0.0*i,
    0.0626053787164196 + 0.0*i,
    0.257871197768396 + 0.0*i,
    -0.353322302523327 + 0.0*i,
    0.393331949267775 + 0.0*i,
    -0.411094635597687 + 0.0*i,
    -0.726768750073921 + 0.0*i,
    0.215784145279441 + 0.0*i,
    -0.239594613991164 + 0.0*i,
    -0.678663440990642 + 0.0*i,
    0.71064908766254 + 0.0*i,
    0.114633276927756 + 0.0*i,
    0.427969883059667 + 0.0*i,
    -0.387068853178268 + 0.0*i,
    -0.102466691892375 + 0.0*i,
    -0.852567936627922 + 0.0*i,
    -0.204391383293431 + 0.0*i,
    0.294866599005132 + 0.0*i,
    -0.452214554579755 + 0.0*i,
    0.35815950223763 + 0.0*i,
    0.696976382232613 + 0.0*i,
    -0.215076686632672 + 0.0*i,
    -0.233002535722572 + 0.0*i,
    0.228493707502875 + 0.0*i,
    0.608809947639215 + 0.0*i,
    -0.378149266752475 + 0.0*i,
    0.244980897873886 + 0.0*i,
    -0.33324238467034 + 0.0*i,
    -0.245303979201775 + 0.0*i,
    -0.0353993956491386 + 0.0*i,
    -0.119123078137091 + 0.0*i,
    0.0730535613999435 + 0.0*i,
    -0.293404303960679 + 0.0*i,
    -0.349921179223772 + 0.0*i,
    0.212645308241793 + 0.0*i,
    -0.578065688784894 + 0.0*i,
    0.636633993306945 + 0.0*i,
    0.376141030898997 + 0.0*i,
    -0.761652095360459 + 0.0*i,
    -0.268823374853944 + 0.0*i,
    -0.386809567714718 + 0.0*i,
    -0.722116680506747 + 0.0*i,
    -0.986845687182426 + 0.0*i,
    0.455644419545626 + 0.0*i,
    0.340816655594942 + 0.0*i,
    0.196983058647473 + 0.0*i,
    0.722717708767382 + 0.0*i,
    -0.219510587772081 + 0.0*i,
    -0.00638432927039402 + 0.0*i,
    0.15337041108674 + 0.0*i,
    -0.133816052458594 + 0.0*i,
    0.605902279219294 + 0.0*i,
    -0.247509763702941 + 0.0*i,
    0.393980216207108 + 0.0*i,
    0.371100230897759 + 0.0*i,
    -0.838804781787824 + 0.0*i,
    0.733292336818705 + 0.0*i,
    0.482089294176896 + 0.0*i,
    0.300303449370049 + 0.0*i,
    -0.86659644440545 + 0.0*i,
    0.647393712215912 + 0.0*i,
    0.0139917131741382 + 0.0*i,
    -0.677952767221558 + 0.0*i,
    -0.183222508293515 + 0.0*i,
    -0.846763007082594 + 0.0*i,
    -0.184049383669037 + 0.0*i,
    -0.171235161220805 + 0.0*i,
    0.404184091165286 + 0.0*i,
    0.556667020138677 + 0.0*i,
    0.776908607328183 + 0.0*i,
    0.0945098472781188 + 0.0*i,
    -0.284781320765034 + 0.0*i,
    0.57023505704721 + 0.0*i,
    0.0242326845305314 + 0.0*i,
    0.293945254315013 + 0.0*i,
    0.406224730194407 + 0.0*i,
    -0.939413200238624 + 0.0*i,
    0.58926208854714 + 0.0*i,
    0.296897764560847 + 0.0*i,
    0.00884223689628993 + 0.0*i,
    0.612606404404722 + 0.0*i,
    -0.0089218110603481 + 0.0*i,
    -0.14601904169444 + 0.0*i,
    0.139878638222179 + 0.0*i,
    -0.00251302022628514 + 0.0*i,
    0.0118575878035927 + 0.0*i,
    0.22350525215286 + 0.0*i,
    -0.816040809476783 + 0.0*i,
    0.22838938919251 + 0.0*i,
    0.542473630608216 + 0.0*i,
    0.89162119847983 + 0.0*i,
    0.895304456660038 + 0.0*i,
    -0.492555601605134 + 0.0*i,
    0.395226115500802 + 0.0*i,
    0.129818643506374 + 0.0*i,
    0.436920425294287 + 0.0*i,
    -0.526280197960357 + 0.0*i,
    -0.865983988186169 + 0.0*i,
    -0.0884535581273117 + 0.0*i,
    -0.543470012010698 + 0.0*i,
    -0.464657960967094 + 0.0*i,
    0.305333162268311 + 0.0*i,
    0.18480695323448 + 0.0*i,
    0.517287813050781 + 0.0*i,
    -0.723997109045121 + 0.0*i,
    0.454430418112451 + 0.0*i,
    -0.120466322240628 + 0.0*i,
    -0.486901005370097 + 0.0*i,
    0.160847821284816 + 0.0*i,
    -0.700879980267625 + 0.0*i,
    -0.47125262620935 + 0.0*i,
    0.652269088797382 + 0.0*i,
    -0.583547366766977 + 0.0*i,
    0.678258168008927 + 0.0*i,
    -0.777440543086491 + 0.0*i,
    0.266701939324232 + 0.0*i,
    -0.143550840810369 + 0.0*i,
    0.841574406345896 + 0.0*i,
    -0.17629237302025 + 0.0*i,
    0.104926643839468 + 0.0*i,
    -0.242150612540033 + 0.0*i,
    0.704011687734681 + 0.0*i,
    -0.202275237954695 + 0.0*i,
    0.000253943348261676 + 0.0*i,
    0.37770523279452 + 0.0*i,
    0.52258239579463 + 0.0*i,
    -0.692158376451232 + 0.0*i,
    -0.0302350024795886 + 0.0*i,
    0.191414091980168 + 0.0*i,
    0.616946775219769 + 0.0*i,
    -0.450026057612746 + 0.0*i,
    -0.92182228236668 + 0.0*i,
    -0.26035026188961 + 0.0*i,
    0.0732517723138192 + 0.0*i,
    0.0480154827423153 + 0.0*i,
    -0.459763500796495 + 0.0*i,
    0.895821391285296 + 0.0*i,
    -0.756713726732086 + 0.0*i,
    0.448899310659767 + 0.0*i,
    -0.0781967028626512 + 0.0*i,
    0.313094753510324 + 0.0*i,
    -0.333877037705875 + 0.0*i,
    0.186708968953282 + 0.0*i,
    0.724068066527992 + 0.0*i,
    0.316655250414595 + 0.0*i,
    -0.437645637417066 + 0.0*i,
    -0.493634418623701 + 0.0*i,
    0.542892896023252 + 0.0*i,
    0.459423112348385 + 0.0*i,
    0.685616727489455 + 0.0*i,
    -0.191198147501497 + 0.0*i,
    -0.933621558589763 + 0.0*i,
    0.678800252661441 + 0.0*i,
    0.513896587323502 + 0.0*i,
    0.327724294492041 + 0.0*i,
    -0.0823217770212077 + 0.0*i,
    0.561771481214964 + 0.0*i,
    -0.520434508277377 + 0.0*i,
    0.784836958415874 + 0.0*i
]);