V:=Matrix(CC,4,50,[
    -0.508216345549821 + 0.0*i,
    0.188957361538519 + 0.0*i,
    0.371610926825743 + 0.0*i,
    -0.0646933203351699 + 0.0*i,
    -0.202893913917635 + 0.0*i,
    -0.025921759755961 + 0.0*i,
    -0.390999360263821 + 0.0*i,
    -0.319179537175086 + 0.0*i,
    -0.343248445497285 + 0.0*i,
    -0.113570079713921 + 0.0*i,
    -0.717616487381602 + 0.0*i,
    -0.164076574335798 + 0.0*i,
    -0.0182199246997301 + 0.0*i,
    0.371261514125025 + 0.0*i,
    -0.101775814005285 + 0.0*i,
    -0.278620303810114 + 0.0*i,
    -0.476391894252391 + 0.0*i,
    0.483368986479286 + 0.0*i,
    -0.398733844558567 + 0.0*i,
    -0.267117133901205 + 0.0*i,
    -0.128316600719885 + 0.0*i,
    0.107964975525577 + 0.0*i,
    -0.226605957965353 + 0.0*i,
    0.0615792637020152 + 0.0*i,
    0.297378457627457 + 0.0*i,
    1.04489820647906 + 0.0*i,
    0.270289159290537 + 0.0*i,
    0.331378732895863 + 0.0*i,
    -0.365182606206325 + 0.0*i,
    -0.546883940343528 + 0.0*i,
    -0.470814497427966 + 0.0*i,
    -0.608705166397058 + 0.0*i,
    0.0510927435921609 + 0.0*i,
    0.352010869780647 + 0.0*i,
    0.918462206082885 + 0.0*i,
    -0.539208699200976 + 0.0*i,
    1.00049218426598 + 0.0*i,
    0.243623616225713 + 0.0*i,
    0.980710739326492 + 0.0*i,
    -0.10035443692274 + 0.0*i,
    -0.491033779002257 + 0.0*i,
    0.602978775557909 + 0.0*i,
    -0.424657390288096 + 0.0*i,
    -0.701239854920444 + 0.0*i,
    0.722314339214906 + 0.0*i,
    -0.423280844347506 + 0.0*i,
    -0.68177717801198 + 0.0*i,
    -0.458725149540862 + 0.0*i,
    -0.129683058350485 + 0.0*i,
    -1.05454693179726 + 0.0*i,
    -1.0769202833355 + 0.0*i,
    0.285587589156515 + 0.0*i,
    -0.279713295709822 + 0.0*i,
    -0.763447194091471 + 0.0*i,
    -0.273374864262325 + 0.0*i,
    -0.138454961750095 + 0.0*i,
    0.257646352637968 + 0.0*i,
    -0.196779998645999 + 0.0*i,
    0.409233269019434 + 0.0*i,
    0.453950552252264 + 0.0*i,
    0.0726789032553324 + 0.0*i,
    0.242051938508499 + 0.0*i,
    0.288713278038412 + 0.0*i,
    -0.644491256593223 + 0.0*i,
    -0.532124351462023 + 0.0*i,
    0.362602128379993 + 0.0*i,
    0.298920699276223 + 0.0*i,
    -1.03836782915883 + 0.0*i,
    -0.00317163900637614 + 0.0*i,
    -0.444414351372883 + 0.0*i,
    0.316514297303744 + 0.0*i,
    0.521787516228306 + 0.0*i,
    -0.70551649176939 + 0.0*i,
    0.419713114279068 + 0.0*i,
    -0.0121962866511026 + 0.0*i,
    0.147318497042678 + 0.0*i,
    0.161867786873039 + 0.0*i,
    -0.84477167336061 + 0.0*i,
    0.221690087140557 + 0.0*i,
    -0.531619778868184 + 0.0*i,
    0.0710591553354073 + 0.0*i,
    0.47668239838934 + 0.0*i,
    0.507755748386134 + 0.0*i,
    -0.991189612587315 + 0.0*i,
    -0.500768520102512 + 0.0*i,
    0.169330407752417 + 0.0*i,
    -0.399307631034882 + 0.0*i,
    0.975557530742142 + 0.0*i,
    -0.00556654315848396 + 0.0*i,
    -0.893952888883879 + 0.0*i,
    -0.652879542144014 + 0.0*i,
    0.567624989297569 + 0.0*i,
    -0.49265736098045 + 0.0*i,
    0.275413475754451 + 0.0*i,
    -0.516637706820351 + 0.0*i,
    -0.651297802825981 + 0.0*i,
    0.217478949215873 + 0.0*i,
    -0.0951579611549192 + 0.0*i,
    -0.11778343696246 + 0.0*i,
    -0.557005103101762 + 0.0*i,
    -0.0860792023196635 + 0.0*i,
    -0.26303333158228 + 0.0*i,
    0.427579980422614 + 0.0*i,
    0.137964863210824 + 0.0*i,
    -0.442587203615993 + 0.0*i,
    1.04462522405858 + 0.0*i,
    -0.0111291417737487 + 0.0*i,
    0.1948133673263 + 0.0*i,
    0.0909339383863022 + 0.0*i,
    0.460992113559112 + 0.0*i,
    0.0570444045951771 + 0.0*i,
    -0.0395640344565678 + 0.0*i,
    -0.17327853746691 + 0.0*i,
    -0.963068561198485 + 0.0*i,
    0.0166097728989109 + 0.0*i,
    -0.680428606882298 + 0.0*i,
    0.36159681543092 + 0.0*i,
    -0.135937039571528 + 0.0*i,
    1.01551673007404 + 0.0*i,
    -0.130827383917395 + 0.0*i,
    -0.694945468545557 + 0.0*i,
    -0.164085221522414 + 0.0*i,
    0.346705224101119 + 0.0*i,
    0.655963177752521 + 0.0*i,
    -0.750588182769476 + 0.0*i,
    0.272390982163342 + 0.0*i,
    0.442387670235238 + 0.0*i,
    0.388596789388733 + 0.0*i,
    0.532976667070693 + 0.0*i,
    0.0923977800747456 + 0.0*i,
    -1.11572709639097 + 0.0*i,
    0.282230829630646 + 0.0*i,
    0.13360950485785 + 0.0*i,
    -0.192863002381875 + 0.0*i,
    0.555336456237467 + 0.0*i,
    -0.564111216398764 + 0.0*i,
    -0.419172313663671 + 0.0*i,
    -0.807206988251104 + 0.0*i,
    -0.501395058428908 + 0.0*i,
    -0.0736551311228597 + 0.0*i,
    -0.723411745925268 + 0.0*i,
    -0.751005578162801 + 0.0*i,
    -0.226421465983307 + 0.0*i,
    0.0245962492939255 + 0.0*i,
    0.441510102835687 + 0.0*i,
    -0.849508103086614 + 0.0*i,
    0.153037522031589 + 0.0*i,
    -0.295249308671758 + 0.0*i,
    0.164080032584066 + 0.0*i,
    0.119297237714316 + 0.0*i,
    -0.126374320331717 + 0.0*i,
    -0.658878517275828 + 0.0*i,
    0.58842939057431 + 0.0*i,
    -0.238011414889296 + 0.0*i,
    -0.974607806162413 + 0.0*i,
    -0.442544861967383 + 0.0*i,
    0.994398153207687 + 0.0*i,
    -0.0182672405043233 + 0.0*i,
    0.539020831807988 + 0.0*i,
    -0.140664098907328 + 0.0*i,
    0.810387839381097 + 0.0*i,
    -0.373160018670549 + 0.0*i,
    -0.330821047028675 + 0.0*i,
    0.236336077550325 + 0.0*i,
    0.0422892506658917 + 0.0*i,
    0.17673019497808 + 0.0*i,
    -1.03478738685837 + 0.0*i,
    0.465501002179661 + 0.0*i,
    0.641732678476838 + 0.0*i,
    -0.626078458427696 + 0.0*i,
    0.847160304955295 + 0.0*i,
    -0.315897832816801 + 0.0*i,
    0.99019905811738 + 0.0*i,
    0.121468762607962 + 0.0*i,
    0.363473334858463 + 0.0*i,
    0.432329103192607 + 0.0*i,
    -0.835384892172508 + 0.0*i,
    -0.0798357168151489 + 0.0*i,
    0.0928937712862772 + 0.0*i,
    -0.789772773914301 + 0.0*i,
    0.00890631804982017 + 0.0*i,
    0.111142948377561 + 0.0*i,
    0.824066916394629 + 0.0*i,
    -0.543392822905862 + 0.0*i,
    -0.34628994469449 + 0.0*i,
    -0.676367229183238 + 0.0*i,
    -0.342172547857885 + 0.0*i,
    -0.11078662182201 + 0.0*i,
    0.376235273924749 + 0.0*i,
    -0.0400833402313 + 0.0*i,
    0.577777295382199 + 0.0*i,
    0.39166976906508 + 0.0*i,
    -0.203760981389073 + 0.0*i,
    0.0164197841871982 + 0.0*i,
    0.512907826460872 + 0.0*i,
    -0.397010713340644 + 0.0*i,
    -0.0289408372906344 + 0.0*i,
    0.661576112987921 + 0.0*i,
    0.2227221437857 + 0.0*i,
    0.405177194916109 + 0.0*i
]);