V:=Matrix(CC,4,31,[
    0.200098174790855 + 0.0*i,
    0.130027521481161 + 0.0*i,
    0.0195944595708639 + 0.0*i,
    -0.0179051226494988 + 0.0*i,
    -0.0866266273390378 + 0.0*i,
    -0.180682344331375 + 0.0*i,
    0.00970398791913584 + 0.0*i,
    -0.127009123400796 + 0.0*i,
    0.00795578959882364 + 0.0*i,
    -0.0123409363280784 + 0.0*i,
    -0.153255781258561 + 0.0*i,
    0.144631901836952 + 0.0*i,
    -0.062050372125121 + 0.0*i,
    -0.120182090006933 + 0.0*i,
    0.18876812778569 + 0.0*i,
    0.111566286231342 + 0.0*i,
    -0.0182451616545527 + 0.0*i,
    0.0565776688650679 + 0.0*i,
    -0.0681219988181559 + 0.0*i,
    -0.239234122903846 + 0.0*i,
    -0.143510015190523 + 0.0*i,
    0.225740422577344 + 0.0*i,
    -0.184499904703947 + 0.0*i,
    0.0164903463572978 + 0.0*i,
    0.149391160954007 + 0.0*i,
    0.132418700337236 + 0.0*i,
    0.0503284737166557 + 0.0*i,
    -0.139601898210808 + 0.0*i,
    0.122490602506674 + 0.0*i,
    -0.155793725438498 + 0.0*i,
    0.0277265632720131 + 0.0*i,
    0.112965888234204 + 0.0*i,
    0.130956434998305 + 0.0*i,
    -0.0358383683664483 + 0.0*i,
    0.164412637369256 + 0.0*i,
    -0.238397723030824 + 0.0*i,
    0.0775079919187661 + 0.0*i,
    -0.0125351603240412 + 0.0*i,
    0.148606848189638 + 0.0*i,
    0.17341317425496 + 0.0*i,
    0.0246709494617274 + 0.0*i,
    0.145249049191785 + 0.0*i,
    -0.0242713272395437 + 0.0*i,
    0.222764727233756 + 0.0*i,
    0.0102205289649566 + 0.0*i,
    0.133108997806519 + 0.0*i,
    -0.0228010442175392 + 0.0*i,
    -0.13681453742953 + 0.0*i,
    0.154114554235175 + 0.0*i,
    -0.177685332812886 + 0.0*i,
    0.0196454804056855 + 0.0*i,
    0.0570801418288367 + 0.0*i,
    0.0137844197603481 + 0.0*i,
    0.150640969621713 + 0.0*i,
    -0.0682544569417468 + 0.0*i,
    0.0799054559606596 + 0.0*i,
    0.0221691487076946 + 0.0*i,
    -0.222838184234652 + 0.0*i,
    -0.0683825581898304 + 0.0*i,
    -0.114636108913867 + 0.0*i,
    0.0773927380594932 + 0.0*i,
    0.130064158595913 + 0.0*i,
    -0.104498879104121 + 0.0*i,
    0.143107491906347 + 0.0*i,
    0.157635881193339 + 0.0*i,
    0.0583378281464847 + 0.0*i,
    -0.0116268524499514 + 0.0*i,
    0.130788834308897 + 0.0*i,
    0.0161659881935767 + 0.0*i,
    -0.0983429082141285 + 0.0*i,
    0.0849065642309688 + 0.0*i,
    -0.173123541374659 + 0.0*i,
    0.0911349667509933 + 0.0*i,
    -0.118927173334486 + 0.0*i,
    -0.0831224680923957 + 0.0*i,
    -0.215944140470938 + 0.0*i,
    0.0705704250630286 + 0.0*i,
    -0.218481202687296 + 0.0*i,
    -0.20319654058346 + 0.0*i,
    -0.124119191637753 + 0.0*i,
    0.089383665934763 + 0.0*i,
    -0.0438839792947522 + 0.0*i,
    0.00406679818234557 + 0.0*i,
    0.00434426096299437 + 0.0*i,
    0.00369038039717134 + 0.0*i,
    -0.213719519620875 + 0.0*i,
    0.0394977367858129 + 0.0*i,
    0.116126325965254 + 0.0*i,
    -0.0963870639398632 + 0.0*i,
    0.0967845585025593 + 0.0*i,
    0.0363409467801784 + 0.0*i,
    -0.160532374901239 + 0.0*i,
    -0.224555220535444 + 0.0*i,
    -0.0120953024340135 + 0.0*i,
    -0.07644835385296 + 0.0*i,
    -0.190433765336943 + 0.0*i,
    -0.178087372972332 + 0.0*i,
    0.0244366391849903 + 0.0*i,
    -0.0891558178552578 + 0.0*i,
    0.251480554243731 + 0.0*i,
    -0.115812483620217 + 0.0*i,
    0.192801388088887 + 0.0*i,
    -0.162214579027673 + 0.0*i,
    0.0730886744699736 + 0.0*i,
    -0.170185129095481 + 0.0*i,
    0.0333185811092635 + 0.0*i,
    -0.0277075065430991 + 0.0*i,
    0.0808122549899144 + 0.0*i,
    -0.0460740100127307 + 0.0*i,
    -0.0554130227758025 + 0.0*i,
    -0.14858290374494 + 0.0*i,
    -0.130199808901886 + 0.0*i,
    -0.0355467346695639 + 0.0*i,
    -0.192034746125336 + 0.0*i,
    -0.0807841040330333 + 0.0*i,
    -0.00461898776776845 + 0.0*i,
    0.109262943158079 + 0.0*i,
    -0.177530866146852 + 0.0*i,
    0.166893795264882 + 0.0*i,
    0.0328036247685844 + 0.0*i,
    -0.162567830521253 + 0.0*i,
    -0.177383693916533 + 0.0*i,
    0.0776147927625533 + 0.0*i,
    0.0152266882766585 + 0.0*i
]);