V:=Matrix(CC,4,51,[
    -0.638973944456363 + 0.0*i,
    -0.330682453105198 + 0.0*i,
    -0.190003767168914 + 0.0*i,
    0.0257153177530005 + 0.0*i,
    -0.237743246274123 + 0.0*i,
    0.361403219491135 + 0.0*i,
    -0.874143090267091 + 0.0*i,
    -0.00105599592064031 + 0.0*i,
    0.176021122218695 + 0.0*i,
    -0.927634383340107 + 0.0*i,
    -0.417873114799136 + 0.0*i,
    0.843473226927053 + 0.0*i,
    0.0726077496910618 + 0.0*i,
    -0.430466016911603 + 0.0*i,
    -0.629305531752953 + 0.0*i,
    -0.393095565712311 + 0.0*i,
    -0.0474420814227512 + 0.0*i,
    -0.654077850718872 + 0.0*i,
    -0.296905093924112 + 0.0*i,
    -0.664976057440786 + 0.0*i,
    0.398358983606696 + 0.0*i,
    -0.574038823219728 + 0.0*i,
    -0.00540795760023391 + 0.0*i,
    -0.547845967340973 + 0.0*i,
    -0.191190298418215 + 0.0*i,
    -0.120734274944995 + 0.0*i,
    0.210359732573741 + 0.0*i,
    -0.333569150776341 + 0.0*i,
    -1.09694561208906 + 0.0*i,
    0.879781732798628 + 0.0*i,
    -0.696516007341263 + 0.0*i,
    -0.152213079433197 + 0.0*i,
    0.459718465864998 + 0.0*i,
    -1.00121491463001 + 0.0*i,
    0.364519141792073 + 0.0*i,
    0.441867885446267 + 0.0*i,
    0.427029417748585 + 0.0*i,
    0.0270049612643509 + 0.0*i,
    0.115082188201883 + 0.0*i,
    -0.798852610196579 + 0.0*i,
    0.269862051912242 + 0.0*i,
    -0.227037608031531 + 0.0*i,
    0.862592237608836 + 0.0*i,
    -0.265842658695228 + 0.0*i,
    0.423222066972495 + 0.0*i,
    0.210999867998731 + 0.0*i,
    0.262128108730469 + 0.0*i,
    -0.320132512696863 + 0.0*i,
    -0.088629178759547 + 0.0*i,
    0.490170289565689 + 0.0*i,
    -0.444270072843135 + 0.0*i,
    0.169711213693215 + 0.0*i,
    0.0503533549230415 + 0.0*i,
    -0.409005045671118 + 0.0*i,
    -0.592070024001009 + 0.0*i,
    0.189938072445236 + 0.0*i,
    -0.484261069964017 + 0.0*i,
    -0.588646880731524 + 0.0*i,
    0.118330528885068 + 0.0*i,
    0.60074023302276 + 0.0*i,
    -0.37878719872091 + 0.0*i,
    0.167417471082949 + 0.0*i,
    -0.590279076008113 + 0.0*i,
    -0.932009986799611 + 0.0*i,
    0.946479347324812 + 0.0*i,
    -0.498383171606226 + 0.0*i,
    0.690279280248083 + 0.0*i,
    -0.460870561248989 + 0.0*i,
    -0.226420362164932 + 0.0*i,
    0.385592334921274 + 0.0*i,
    0.554487611317456 + 0.0*i,
    0.512946879139339 + 0.0*i,
    -0.646635425773233 + 0.0*i,
    0.700890379691718 + 0.0*i,
    0.957146178518767 + 0.0*i,
    -0.45380038429331 + 0.0*i,
    0.114349971711717 + 0.0*i,
    1.01468509919241 + 0.0*i,
    -0.166079862813044 + 0.0*i,
    -0.196864400082776 + 0.0*i,
    -0.194202031605308 + 0.0*i,
    0.357500421127845 + 0.0*i,
    0.261914496780091 + 0.0*i,
    -0.0533094115711523 + 0.0*i,
    0.404231502096132 + 0.0*i,
    -0.394873423567205 + 0.0*i,
    0.111262493790839 + 0.0*i,
    -0.529531861269883 + 0.0*i,
    0.180543161450987 + 0.0*i,
    -0.17189074936731 + 0.0*i,
    -0.354920210115493 + 0.0*i,
    -0.165781824669161 + 0.0*i,
    0.785213764857208 + 0.0*i,
    -0.167866799706672 + 0.0*i,
    -0.779435456669056 + 0.0*i,
    0.0181017718254154 + 0.0*i,
    0.551970191995863 + 0.0*i,
    0.775907020096378 + 0.0*i,
    -0.49371247410611 + 0.0*i,
    0.17450991336276 + 0.0*i,
    0.997468610696013 + 0.0*i,
    0.271446398958467 + 0.0*i,
    -0.157726938649893 + 0.0*i,
    0.501013467404555 + 0.0*i,
    1.04485659616497 + 0.0*i,
    -0.000961458271659822 + 0.0*i,
    0.38462107428219 + 0.0*i,
    0.0220675097439069 + 0.0*i,
    -0.386065379729659 + 0.0*i,
    -0.206331322473069 + 0.0*i,
    -0.198007192651858 + 0.0*i,
    -0.106968035583179 + 0.0*i,
    -0.259025357465227 + 0.0*i,
    -0.30538061383069 + 0.0*i,
    -0.10729461888593 + 0.0*i,
    -0.544261287695355 + 0.0*i,
    0.0555326869493585 + 0.0*i,
    -0.601564620243047 + 0.0*i,
    0.492493714803709 + 0.0*i,
    -0.478817306794943 + 0.0*i,
    0.887412921592447 + 0.0*i,
    0.284462333896248 + 0.0*i,
    0.745882378934643 + 0.0*i,
    0.0343150267926414 + 0.0*i,
    -0.171482009282519 + 0.0*i,
    0.205822105041153 + 0.0*i,
    -0.0322596392365869 + 0.0*i,
    -0.327973458619608 + 0.0*i,
    0.231040910641421 + 0.0*i,
    -0.487659804874663 + 0.0*i,
    0.627189790105958 + 0.0*i,
    0.457925849322663 + 0.0*i,
    0.303158199271694 + 0.0*i,
    -0.52812581898416 + 0.0*i,
    1.21535354974415 + 0.0*i,
    -0.113020692905129 + 0.0*i,
    0.241828543257947 + 0.0*i,
    0.649930267700215 + 0.0*i,
    -0.832342632441983 + 0.0*i,
    0.0552717159858911 + 0.0*i,
    -0.104266019584185 + 0.0*i,
    0.246183278979756 + 0.0*i,
    -0.956982072384212 + 0.0*i,
    0.448072554696727 + 0.0*i,
    0.352755811641296 + 0.0*i,
    -0.719292116252476 + 0.0*i,
    -0.186926041733999 + 0.0*i,
    -0.808426325349467 + 0.0*i,
    -0.132770908450417 + 0.0*i,
    0.0280753767351067 + 0.0*i,
    -0.396856278186788 + 0.0*i,
    -0.342027788808603 + 0.0*i,
    -0.474545159028133 + 0.0*i,
    -0.166826685216481 + 0.0*i,
    -0.497004950825122 + 0.0*i,
    -0.371560219360518 + 0.0*i,
    0.285298527481858 + 0.0*i,
    1.16205512850753 + 0.0*i,
    0.584718195511076 + 0.0*i,
    0.0572717455938918 + 0.0*i,
    -0.0786274777519384 + 0.0*i,
    0.132859853014063 + 0.0*i,
    0.120229523091927 + 0.0*i,
    0.411295005717136 + 0.0*i,
    -0.458852202360787 + 0.0*i,
    -0.75708539868512 + 0.0*i,
    0.217381206603954 + 0.0*i,
    -0.941106535528109 + 0.0*i,
    -0.609430997249429 + 0.0*i,
    0.140209433937368 + 0.0*i,
    -0.368747983713757 + 0.0*i,
    -0.601780944413271 + 0.0*i,
    -0.923617575857604 + 0.0*i,
    -0.567954443103304 + 0.0*i,
    -0.180057987096538 + 0.0*i,
    -0.0175939051794856 + 0.0*i,
    -0.109889743168616 + 0.0*i,
    1.0128925685593 + 0.0*i,
    -0.712169631795623 + 0.0*i,
    -0.327345684044755 + 0.0*i,
    -0.529723923282171 + 0.0*i,
    -0.155059392385397 + 0.0*i,
    -0.594594777010066 + 0.0*i,
    0.462624221727554 + 0.0*i,
    1.01083826115005 + 0.0*i,
    -0.0639401688443832 + 0.0*i,
    -0.0769720864390495 + 0.0*i,
    -0.323840468197789 + 0.0*i,
    0.706905959051533 + 0.0*i,
    0.000858291625714636 + 0.0*i,
    0.26983967351046 + 0.0*i,
    0.753822208050993 + 0.0*i,
    0.67147182864054 + 0.0*i,
    -0.543891235653345 + 0.0*i,
    -0.111419494385957 + 0.0*i,
    0.410236493089365 + 0.0*i,
    -0.314841833467255 + 0.0*i,
    -0.73535837999133 + 0.0*i,
    -0.562179943391772 + 0.0*i,
    -0.557380608897213 + 0.0*i,
    0.0469340795910663 + 0.0*i,
    -0.529055191032205 + 0.0*i,
    0.075442103376139 + 0.0*i,
    -0.0723775825577078 + 0.0*i
]);