V:=Matrix(CC,4,55,[
    -0.11908395498221 + 0.0*i,
    0.621781870587434 + 0.0*i,
    0.914889635269331 + 0.0*i,
    0.388782188802817 + 0.0*i,
    0.0521675312159781 + 0.0*i,
    -0.043068042550009 + 0.0*i,
    -0.841919755489932 + 0.0*i,
    0.554344286211867 + 0.0*i,
    -0.343600794062362 + 0.0*i,
    0.930070013298182 + 0.0*i,
    -0.0413283614133429 + 0.0*i,
    0.706938691615707 + 0.0*i,
    0.398373351661504 + 0.0*i,
    -0.328121683136297 + 0.0*i,
    -0.393529314156801 + 0.0*i,
    0.0139692406047504 + 0.0*i,
    0.108322610310969 + 0.0*i,
    0.610953135571218 + 0.0*i,
    -0.0614824576778089 + 0.0*i,
    0.437998113985592 + 0.0*i,
    -0.901387370237768 + 0.0*i,
    0.47572034303063 + 0.0*i,
    -0.497340703067609 + 0.0*i,
    0.156272411631974 + 0.0*i,
    -0.849880259536294 + 0.0*i,
    -0.112684900991696 + 0.0*i,
    1.08776151689817 + 0.0*i,
    0.153097048453144 + 0.0*i,
    -0.300521401710406 + 0.0*i,
    0.49604132849801 + 0.0*i,
    0.781722725117722 + 0.0*i,
    -0.0421890639651432 + 0.0*i,
    -0.963962747999822 + 0.0*i,
    -0.237935756230902 + 0.0*i,
    0.152674012299471 + 0.0*i,
    -0.0160260947650081 + 0.0*i,
    -0.550288041196718 + 0.0*i,
    -0.183569186790546 + 0.0*i,
    -0.00859061861097613 + 0.0*i,
    -0.466263239864352 + 0.0*i,
    0.0773733995836458 + 0.0*i,
    1.25544784470372 + 0.0*i,
    -0.0859146252836443 + 0.0*i,
    0.396957648580809 + 0.0*i,
    0.103189013243032 + 0.0*i,
    0.503356906730593 + 0.0*i,
    0.415476319068446 + 0.0*i,
    0.619627066020744 + 0.0*i,
    -0.187558166770768 + 0.0*i,
    -0.199335572067343 + 0.0*i,
    0.156469270067818 + 0.0*i,
    -0.205951328578628 + 0.0*i,
    0.0443505782730611 + 0.0*i,
    -0.00144062210237784 + 0.0*i,
    0.300247240335455 + 0.0*i,
    -0.0529016416497399 + 0.0*i,
    0.304645672303028 + 0.0*i,
    0.159517848123307 + 0.0*i,
    0.258573802145306 + 0.0*i,
    -0.13970891003917 + 0.0*i,
    0.526221268266473 + 0.0*i,
    0.600779769659281 + 0.0*i,
    0.0321594168244856 + 0.0*i,
    -0.0835626754338015 + 0.0*i,
    -0.741609946956658 + 0.0*i,
    -0.18101350391265 + 0.0*i,
    0.21645629609584 + 0.0*i,
    -0.224837017829358 + 0.0*i,
    -0.420969588830725 + 0.0*i,
    0.67349710114227 + 0.0*i,
    -0.307544058172595 + 0.0*i,
    0.037384768981389 + 0.0*i,
    0.414098282883719 + 0.0*i,
    0.196318855248133 + 0.0*i,
    0.201779711187551 + 0.0*i,
    -0.23944307526909 + 0.0*i,
    0.295271087458425 + 0.0*i,
    0.433797367754666 + 0.0*i,
    -0.465815275858051 + 0.0*i,
    -0.90170207982823 + 0.0*i,
    -0.087622624752287 + 0.0*i,
    0.353933651066615 + 0.0*i,
    -0.0470211932158618 + 0.0*i,
    0.00118016660431777 + 0.0*i,
    0.25842818464381 + 0.0*i,
    -0.171089166188162 + 0.0*i,
    -0.864958379223049 + 0.0*i,
    0.772666799216448 + 0.0*i,
    0.286111596193282 + 0.0*i,
    -0.588615602587379 + 0.0*i,
    -0.289133030588553 + 0.0*i,
    -0.743987833808952 + 0.0*i,
    -1.02649442107826 + 0.0*i,
    -0.20140777627312 + 0.0*i,
    0.263565892198605 + 0.0*i,
    -1.18695825181233 + 0.0*i,
    0.0433855905465017 + 0.0*i,
    -0.833138954800881 + 0.0*i,
    -0.201296889820232 + 0.0*i,
    -1.14936473861862 + 0.0*i,
    0.304839911866091 + 0.0*i,
    0.546595194938824 + 0.0*i,
    0.978717059934037 + 0.0*i,
    -0.411797893141254 + 0.0*i,
    -0.284165298231431 + 0.0*i,
    0.390345435251031 + 0.0*i,
    -0.152471730363855 + 0.0*i,
    -0.320955572325058 + 0.0*i,
    -0.272040200342575 + 0.0*i,
    0.283324526548253 + 0.0*i,
    -0.0409336797555522 + 0.0*i,
    -0.913738245176066 + 0.0*i,
    -0.772901361738716 + 0.0*i,
    -0.322450216075177 + 0.0*i,
    0.909983512298982 + 0.0*i,
    0.0716731096287968 + 0.0*i,
    -0.0900583303208877 + 0.0*i,
    -0.39531851352426 + 0.0*i,
    -0.305509738655985 + 0.0*i,
    -0.573030988022968 + 0.0*i,
    -0.256590820030611 + 0.0*i,
    -0.0376208564113007 + 0.0*i,
    0.890997159159348 + 0.0*i,
    -0.310852608521916 + 0.0*i,
    -0.628175038141608 + 0.0*i,
    0.341284479526476 + 0.0*i,
    0.335356186401759 + 0.0*i,
    -0.201443649381771 + 0.0*i,
    -0.813088824717508 + 0.0*i,
    0.768927762504412 + 0.0*i,
    -0.431932269418659 + 0.0*i,
    -0.495399769458167 + 0.0*i,
    0.841800917341135 + 0.0*i,
    0.183742602303576 + 0.0*i,
    0.153401810572552 + 0.0*i,
    0.567578605408704 + 0.0*i,
    0.605553708108936 + 0.0*i,
    -0.513099477008094 + 0.0*i,
    0.122467732264896 + 0.0*i,
    -0.0792026679992326 + 0.0*i,
    0.580604696928401 + 0.0*i,
    -0.602517876042899 + 0.0*i,
    -0.3995347975261 + 0.0*i,
    0.226010606451009 + 0.0*i,
    0.194283658992096 + 0.0*i,
    -0.0348025600636383 + 0.0*i,
    0.540393910724705 + 0.0*i,
    0.0289580912399425 + 0.0*i,
    -0.175105540646506 + 0.0*i,
    -0.488444959385484 + 0.0*i,
    -0.54341899262895 + 0.0*i,
    -0.0779532786012528 + 0.0*i,
    0.150590485262261 + 0.0*i,
    -0.0490817937370456 + 0.0*i,
    0.640767191912219 + 0.0*i,
    0.0438532515920477 + 0.0*i,
    1.11691372586015 + 0.0*i,
    0.0667174371604982 + 0.0*i,
    -0.480736350891111 + 0.0*i,
    0.201639601909637 + 0.0*i,
    -0.163425656731407 + 0.0*i,
    0.0342227194839525 + 0.0*i,
    -0.131803861986325 + 0.0*i,
    1.25208005473687 + 0.0*i,
    0.616665424055817 + 0.0*i,
    -1.24802237650693 + 0.0*i,
    0.579539743980174 + 0.0*i,
    -0.204509921715666 + 0.0*i,
    -0.417941982437968 + 0.0*i,
    -0.494946064356402 + 0.0*i,
    0.179721267331335 + 0.0*i,
    0.756379726385474 + 0.0*i,
    0.933814497899327 + 0.0*i,
    0.00673346127941897 + 0.0*i,
    0.425727552698772 + 0.0*i,
    0.330383059244939 + 0.0*i,
    -0.995889125598747 + 0.0*i,
    -0.823156001678604 + 0.0*i,
    0.524992871680662 + 0.0*i,
    -0.845581085323719 + 0.0*i,
    -0.0519662431216888 + 0.0*i,
    0.265195585148305 + 0.0*i,
    -0.552790714110336 + 0.0*i,
    0.116482168817683 + 0.0*i,
    0.318573299108544 + 0.0*i,
    -0.803174679270547 + 0.0*i,
    0.21968221225581 + 0.0*i,
    0.793584481505451 + 0.0*i,
    1.00759065125124 + 0.0*i,
    -0.341163987398124 + 0.0*i,
    -0.394182754262567 + 0.0*i,
    -0.383267797364318 + 0.0*i,
    0.104537740157382 + 0.0*i,
    0.804495920235753 + 0.0*i,
    -0.483850792507123 + 0.0*i,
    0.229648619909251 + 0.0*i,
    0.855058708567526 + 0.0*i,
    0.0532973499366272 + 0.0*i,
    0.113605912102745 + 0.0*i,
    0.223266015812822 + 0.0*i,
    0.474877435453937 + 0.0*i,
    0.585068076788064 + 0.0*i,
    0.220500670773009 + 0.0*i,
    0.355859092817964 + 0.0*i,
    -0.349403092590505 + 0.0*i,
    -0.316058266508418 + 0.0*i,
    0.0382553651457644 + 0.0*i,
    -1.00497410640035 + 0.0*i,
    -0.18398350756329 + 0.0*i,
    -0.101371069873983 + 0.0*i,
    0.411033259650158 + 0.0*i,
    0.0579914583528668 + 0.0*i,
    -0.242941638229351 + 0.0*i,
    -0.0411362666455714 + 0.0*i,
    0.139152955682495 + 0.0*i,
    -0.60905086957785 + 0.0*i,
    0.0018918194531267 + 0.0*i,
    -0.209827462323202 + 0.0*i,
    0.308636373905002 + 0.0*i,
    -0.175315492084972 + 0.0*i
]);