V:=Matrix(CC,4,54,[
    -0.796924384822545 + 0.0*i,
    -0.992122425250793 + 0.0*i,
    0.551610784644295 + 0.0*i,
    0.291527843655196 + 0.0*i,
    0.271025155463588 + 0.0*i,
    -0.760111784224355 + 0.0*i,
    -0.806974106783406 + 0.0*i,
    0.0710640527463821 + 0.0*i,
    0.534639763924279 + 0.0*i,
    0.4550168751793 + 0.0*i,
    -0.136661965223162 + 0.0*i,
    -0.775292325923156 + 0.0*i,
    0.135457094621326 + 0.0*i,
    0.56079075269978 + 0.0*i,
    -0.766951871051651 + 0.0*i,
    0.639027649586435 + 0.0*i,
    0.407747279973794 + 0.0*i,
    -0.395227566719238 + 0.0*i,
    -0.242228014059603 + 0.0*i,
    -0.178249537466103 + 0.0*i,
    0.302172206404291 + 0.0*i,
    -0.278828079638986 + 0.0*i,
    0.285246937589272 + 0.0*i,
    0.249902397330409 + 0.0*i,
    0.745470636195327 + 0.0*i,
    0.768830037636965 + 0.0*i,
    0.543945375621144 + 0.0*i,
    -0.415425756547952 + 0.0*i,
    -0.310145544557521 + 0.0*i,
    0.402040655405589 + 0.0*i,
    -0.319219389668358 + 0.0*i,
    0.331864423602179 + 0.0*i,
    0.544422969781373 + 0.0*i,
    0.737175235622474 + 0.0*i,
    0.470482458501297 + 0.0*i,
    -0.673361744963538 + 0.0*i,
    -0.499725511668164 + 0.0*i,
    -0.100459161229383 + 0.0*i,
    0.889986104845277 + 0.0*i,
    0.0140471635328966 + 0.0*i,
    -0.0217087515077486 + 0.0*i,
    -0.862772454650503 + 0.0*i,
    -0.065640360523896 + 0.0*i,
    0.0539208518579985 + 0.0*i,
    0.603712235848683 + 0.0*i,
    0.253755772669364 + 0.0*i,
    0.0679035547427751 + 0.0*i,
    -0.495155612451438 + 0.0*i,
    0.0336088041858305 + 0.0*i,
    0.701402201470558 + 0.0*i,
    -0.346236964423119 + 0.0*i,
    -0.377762769902788 + 0.0*i,
    -0.154100282965161 + 0.0*i,
    -0.804473731577468 + 0.0*i,
    0.136630715954749 + 0.0*i,
    0.0636273502781129 + 0.0*i,
    0.181214215646207 + 0.0*i,
    -0.14174277352347 + 0.0*i,
    0.46238739321483 + 0.0*i,
    -0.407643187532812 + 0.0*i,
    0.346372661917254 + 0.0*i,
    0.653036973008274 + 0.0*i,
    0.607929651768039 + 0.0*i,
    0.698776890292782 + 0.0*i,
    0.861308100403183 + 0.0*i,
    0.0184576825848162 + 0.0*i,
    0.313791875169549 + 0.0*i,
    0.801719278176351 + 0.0*i,
    -0.38443475236089 + 0.0*i,
    -0.751662882783868 + 0.0*i,
    -0.805544041355644 + 0.0*i,
    -0.774374569986064 + 0.0*i,
    -0.359287520695519 + 0.0*i,
    -0.0297815288872316 + 0.0*i,
    -0.533485523177316 + 0.0*i,
    -0.392434867126216 + 0.0*i,
    -0.0101325640229182 + 0.0*i,
    0.0746507245303091 + 0.0*i,
    0.498224222958379 + 0.0*i,
    -0.0981125234890141 + 0.0*i,
    0.37600843740226 + 0.0*i,
    -0.227106186891498 + 0.0*i,
    0.75414558610217 + 0.0*i,
    -0.705820575561269 + 0.0*i,
    -0.75102722865491 + 0.0*i,
    -0.252798460796443 + 0.0*i,
    -0.538557030558894 + 0.0*i,
    -0.494924650507184 + 0.0*i,
    -0.226340965317264 + 0.0*i,
    -0.248845362209703 + 0.0*i,
    0.265883926183428 + 0.0*i,
    0.0189403227096188 + 0.0*i,
    0.379204702982756 + 0.0*i,
    0.572233035874268 + 0.0*i,
    -0.631510843396742 + 0.0*i,
    0.127194543079659 + 0.0*i,
    -0.236714559725393 + 0.0*i,
    0.565787620931998 + 0.0*i,
    0.199197898371026 + 0.0*i,
    0.836342938630014 + 0.0*i,
    0.329701979872099 + 0.0*i,
    0.429208916116385 + 0.0*i,
    0.989697422552325 + 0.0*i,
    0.175660526988759 + 0.0*i,
    0.158544786134963 + 0.0*i,
    0.412354535817925 + 0.0*i,
    0.881517847751507 + 0.0*i,
    0.478233092258886 + 0.0*i,
    0.560690683053884 + 0.0*i,
    0.0912887250622523 + 0.0*i,
    0.694321568842631 + 0.0*i,
    0.22065802095973 + 0.0*i,
    -0.63759495524894 + 0.0*i,
    -0.261019582944569 + 0.0*i,
    0.360255288932777 + 0.0*i,
    0.606685569087682 + 0.0*i,
    0.246642990370548 + 0.0*i,
    0.553685871640482 + 0.0*i,
    -0.0244958467102002 + 0.0*i,
    -0.112115951889235 + 0.0*i,
    0.945782974300654 + 0.0*i,
    -0.0184304333140535 + 0.0*i,
    0.408525296414532 + 0.0*i,
    -0.0948571564035712 + 0.0*i,
    0.469180490517998 + 0.0*i,
    -0.0888206696262419 + 0.0*i,
    -0.183217045609187 + 0.0*i,
    0.4552440335616 + 0.0*i,
    0.657969635454069 + 0.0*i,
    -0.426956752272059 + 0.0*i,
    0.153003070762925 + 0.0*i,
    0.752848971910135 + 0.0*i,
    -0.295294997850007 + 0.0*i,
    0.363513167952051 + 0.0*i,
    -0.739021849593379 + 0.0*i,
    0.660553728687833 + 0.0*i,
    0.337330700276863 + 0.0*i,
    -0.591069919939687 + 0.0*i,
    0.307580020774495 + 0.0*i,
    -0.424559233685867 + 0.0*i,
    0.126138484479374 + 0.0*i,
    -0.0633351491685095 + 0.0*i,
    -0.859902716617754 + 0.0*i,
    -0.645589726543728 + 0.0*i,
    -0.830859882443385 + 0.0*i,
    -0.842430002135929 + 0.0*i,
    0.155224229031725 + 0.0*i,
    -0.744721793568067 + 0.0*i,
    -0.663546065107555 + 0.0*i,
    -0.452681171667045 + 0.0*i,
    0.966919442465937 + 0.0*i,
    -0.127766058491929 + 0.0*i,
    -0.265455827160958 + 0.0*i,
    -0.508165377288508 + 0.0*i,
    -0.344979721367605 + 0.0*i,
    -0.472525779663377 + 0.0*i,
    0.193339584970521 + 0.0*i,
    -0.124632025649495 + 0.0*i,
    0.834451512484312 + 0.0*i,
    0.31341139190627 + 0.0*i,
    -0.166726917490762 + 0.0*i,
    -0.261344024274664 + 0.0*i,
    0.263040784285542 + 0.0*i,
    0.0125830258005678 + 0.0*i,
    -0.386655660594844 + 0.0*i,
    0.918299609426312 + 0.0*i,
    -0.55510214754008 + 0.0*i,
    0.385000384345734 + 0.0*i,
    -0.370089808335422 + 0.0*i,
    0.453344865627231 + 0.0*i,
    0.545170503817943 + 0.0*i,
    -0.0287285512927979 + 0.0*i,
    0.570345301000769 + 0.0*i,
    0.58737353614002 + 0.0*i,
    0.0144738019950601 + 0.0*i,
    0.0928352942431209 + 0.0*i,
    -0.270716727584183 + 0.0*i,
    -0.0043554367736861 + 0.0*i,
    -0.0872713863882945 + 0.0*i,
    0.498350064325165 + 0.0*i,
    -0.867333568623799 + 0.0*i,
    0.830157926104904 + 0.0*i,
    0.462049098569237 + 0.0*i,
    0.758603591661528 + 0.0*i,
    -0.942225324537546 + 0.0*i,
    0.62217860170455 + 0.0*i,
    -0.292342304191076 + 0.0*i,
    0.518024031027495 + 0.0*i,
    0.00661857601602913 + 0.0*i,
    -0.559433656184345 + 0.0*i,
    -0.459400026620142 + 0.0*i,
    -0.140137989042272 + 0.0*i,
    -0.504131989277448 + 0.0*i,
    0.835509264535986 + 0.0*i,
    0.602665630737527 + 0.0*i,
    -0.458726576576567 + 0.0*i,
    0.188557009935957 + 0.0*i,
    -0.229271464754698 + 0.0*i,
    -0.000366140424000414 + 0.0*i,
    0.542341412101643 + 0.0*i,
    0.132747172621836 + 0.0*i,
    0.327917613980697 + 0.0*i,
    0.386845194272361 + 0.0*i,
    0.172014790863815 + 0.0*i,
    0.082268937608878 + 0.0*i,
    -0.809498484982768 + 0.0*i,
    -0.70991841663651 + 0.0*i,
    -0.10455475241746 + 0.0*i,
    0.869636110072969 + 0.0*i,
    0.614308471334283 + 0.0*i,
    0.0278239104407398 + 0.0*i,
    0.687918090926771 + 0.0*i,
    0.410073714401643 + 0.0*i,
    0.784036881852275 + 0.0*i,
    -0.363908259800812 + 0.0*i,
    -0.131957265546457 + 0.0*i
]);