V:=Matrix(CC,4,50,[
    -0.231996550552227 + 0.0*i,
    0.0438239833664173 + 0.0*i,
    -0.176091467710439 + 0.0*i,
    -0.176888660063733 + 0.0*i,
    -0.189404604424266 + 0.0*i,
    -0.12204105891013 + 0.0*i,
    0.0337372183929188 + 0.0*i,
    0.0209861052542881 + 0.0*i,
    -0.0558609699954423 + 0.0*i,
    -0.127113029730571 + 0.0*i,
    -0.173970998694981 + 0.0*i,
    0.231351244197225 + 0.0*i,
    0.120513605326908 + 0.0*i,
    -0.0736856091778757 + 0.0*i,
    0.121686094013323 + 0.0*i,
    -0.0275549656064157 + 0.0*i,
    0.0709660252723376 + 0.0*i,
    0.0893550066806496 + 0.0*i,
    -0.14142933635915 + 0.0*i,
    -0.0971493466330699 + 0.0*i,
    0.109683511963525 + 0.0*i,
    0.065175367326344 + 0.0*i,
    -0.18538835633219 + 0.0*i,
    0.0255662399427153 + 0.0*i,
    -0.243832696048236 + 0.0*i,
    0.176885166098084 + 0.0*i,
    -0.325724753345102 + 0.0*i,
    -0.0229854162261615 + 0.0*i,
    -0.288305989436131 + 0.0*i,
    -0.0166648353466204 + 0.0*i,
    0.298232706737363 + 0.0*i,
    -0.00331389363088682 + 0.0*i,
    -0.183702470692722 + 0.0*i,
    0.0798724974652805 + 0.0*i,
    0.20743096972749 + 0.0*i,
    0.132769302264512 + 0.0*i,
    0.283044239148829 + 0.0*i,
    0.254688482094164 + 0.0*i,
    0.0991144926044856 + 0.0*i,
    -0.170675510561394 + 0.0*i,
    -0.25519341044149 + 0.0*i,
    0.0822129219860046 + 0.0*i,
    0.244403347849996 + 0.0*i,
    0.240571181605772 + 0.0*i,
    0.100358714794981 + 0.0*i,
    0.285840053102384 + 0.0*i,
    -0.0771982709077133 + 0.0*i,
    0.333009577715168 + 0.0*i,
    0.022173078008205 + 0.0*i,
    0.201579943099484 + 0.0*i,
    0.0639692009611477 + 0.0*i,
    0.046712368636598 + 0.0*i,
    0.260704357834006 + 0.0*i,
    0.160631842659707 + 0.0*i,
    0.277295396370757 + 0.0*i,
    -0.150430323049181 + 0.0*i,
    0.0567515813504042 + 0.0*i,
    -0.246290388482173 + 0.0*i,
    -0.291234262430831 + 0.0*i,
    0.193623476513802 + 0.0*i,
    -0.00169833883708688 + 0.0*i,
    0.0733309430025961 + 0.0*i,
    0.16584836964968 + 0.0*i,
    0.0764010321495165 + 0.0*i,
    0.302682758566344 + 0.0*i,
    0.354179450364989 + 0.0*i,
    0.13283482930127 + 0.0*i,
    0.277612664648393 + 0.0*i,
    0.109816593588825 + 0.0*i,
    -0.222311916789197 + 0.0*i,
    -0.0503501362011811 + 0.0*i,
    -0.289790959492986 + 0.0*i,
    -0.000206558051654589 + 0.0*i,
    0.0522929418871053 + 0.0*i,
    -0.0170807267165614 + 0.0*i,
    -0.146611958192477 + 0.0*i,
    0.0163783121682864 + 0.0*i,
    -0.0261683450554474 + 0.0*i,
    0.148111661585761 + 0.0*i,
    -0.133370986614184 + 0.0*i,
    0.0824149473984459 + 0.0*i,
    0.167674159145068 + 0.0*i,
    -0.119847768056873 + 0.0*i,
    -0.228130030517733 + 0.0*i,
    0.158382171068857 + 0.0*i,
    -0.241493321532387 + 0.0*i,
    -0.106888989118399 + 0.0*i,
    0.22367096259854 + 0.0*i,
    -0.194629892510685 + 0.0*i,
    0.0373356404665026 + 0.0*i,
    -0.119871143172819 + 0.0*i,
    -0.086918120802814 + 0.0*i,
    -0.0291020326714704 + 0.0*i,
    0.170213013701494 + 0.0*i,
    0.130983679572072 + 0.0*i,
    -0.162770875145403 + 0.0*i,
    -0.156651286569873 + 0.0*i,
    0.0591944410301784 + 0.0*i,
    0.278327608511584 + 0.0*i,
    0.250663912891591 + 0.0*i,
    -0.246705418458955 + 0.0*i,
    0.0740428062140501 + 0.0*i,
    -0.120666951840667 + 0.0*i,
    0.23213979936535 + 0.0*i,
    0.0530791376580264 + 0.0*i,
    -0.189702978634784 + 0.0*i,
    0.342243121704307 + 0.0*i,
    -0.0257631190629714 + 0.0*i,
    -0.106671263469974 + 0.0*i,
    0.0450134190292395 + 0.0*i,
    -0.28000808248781 + 0.0*i,
    0.0835682673951045 + 0.0*i,
    -0.270220159235257 + 0.0*i,
    0.224514181174257 + 0.0*i,
    -0.119309699102169 + 0.0*i,
    0.0192521529794061 + 0.0*i,
    -0.167305669491632 + 0.0*i,
    0.176235896797567 + 0.0*i,
    -0.178831530355717 + 0.0*i,
    0.00525182775621195 + 0.0*i,
    -0.215706157040175 + 0.0*i,
    0.115676199092642 + 0.0*i,
    0.287374366541491 + 0.0*i,
    0.0650136238759023 + 0.0*i,
    0.0227859769605371 + 0.0*i,
    0.0618382560437413 + 0.0*i,
    -0.063975081043497 + 0.0*i,
    0.320851708148077 + 0.0*i,
    -0.110343784519295 + 0.0*i,
    0.296858893859553 + 0.0*i,
    0.119375311322615 + 0.0*i,
    0.289894488078694 + 0.0*i,
    0.188121610427101 + 0.0*i,
    -0.223491787185351 + 0.0*i,
    0.225069863810154 + 0.0*i,
    -0.148680450094855 + 0.0*i,
    -0.124294542468851 + 0.0*i,
    0.0539094690036065 + 0.0*i,
    0.266144517564788 + 0.0*i,
    0.0802779793627704 + 0.0*i,
    0.114975102157378 + 0.0*i,
    0.213863964755506 + 0.0*i,
    -0.209767177642105 + 0.0*i,
    -0.156802108892539 + 0.0*i,
    0.220664363425411 + 0.0*i,
    -0.0497849681039371 + 0.0*i,
    0.0864369113365423 + 0.0*i,
    -0.0808959653069095 + 0.0*i,
    -0.16779579503225 + 0.0*i,
    0.0177850718528898 + 0.0*i,
    0.0751033752422009 + 0.0*i,
    0.326819697972957 + 0.0*i,
    0.101052358541166 + 0.0*i,
    0.00961758927925744 + 0.0*i,
    -0.0689388452307535 + 0.0*i,
    -0.224011318286451 + 0.0*i,
    -0.0702529548125504 + 0.0*i,
    -0.245454231845736 + 0.0*i,
    0.128971909511124 + 0.0*i,
    -0.259841142075436 + 0.0*i,
    -0.101825619003514 + 0.0*i,
    -0.233357362070215 + 0.0*i,
    -0.0751121406671498 + 0.0*i,
    0.2384170666716 + 0.0*i,
    -0.068153939328304 + 0.0*i,
    0.0398250416244562 + 0.0*i,
    -0.266199622857308 + 0.0*i,
    0.0621331216629098 + 0.0*i,
    -0.260751916516194 + 0.0*i,
    0.246084427642842 + 0.0*i,
    0.247858700259327 + 0.0*i,
    0.143750861415198 + 0.0*i,
    -0.0500939417544862 + 0.0*i,
    -0.339752312937777 + 0.0*i,
    -0.258091928126915 + 0.0*i,
    -0.246635513923836 + 0.0*i,
    0.0923732272259229 + 0.0*i,
    0.118623268108262 + 0.0*i,
    -0.088136006701395 + 0.0*i,
    -0.10729886993769 + 0.0*i,
    0.116209029241818 + 0.0*i,
    0.0719149875835134 + 0.0*i,
    -0.179130319948157 + 0.0*i,
    0.11992050089526 + 0.0*i,
    -0.0296295711103354 + 0.0*i,
    -0.145725850348578 + 0.0*i,
    0.121896393936362 + 0.0*i,
    -0.0742378271165407 + 0.0*i,
    0.0480258229538458 + 0.0*i,
    0.286632101657816 + 0.0*i,
    0.168760861723021 + 0.0*i,
    -0.247008505345374 + 0.0*i,
    -0.119251311646929 + 0.0*i,
    0.0524492383734882 + 0.0*i,
    -0.210886310406079 + 0.0*i,
    -0.104500358413715 + 0.0*i,
    -0.289481577155154 + 0.0*i,
    0.0217598609818301 + 0.0*i,
    0.131627542506095 + 0.0*i,
    0.152139950967037 + 0.0*i
]);