V:=Matrix(CC,4,58,[
    -0.542098266565501 + 0.0*i,
    -0.516660275222593 + 0.0*i,
    -0.248162584605685 + 0.0*i,
    -0.552133030637621 + 0.0*i,
    0.349879466577886 + 0.0*i,
    0.235309098103096 + 0.0*i,
    -0.510110670355306 + 0.0*i,
    0.556410632644377 + 0.0*i,
    0.168370341030858 + 0.0*i,
    -0.136976696499525 + 0.0*i,
    -0.281703033365694 + 0.0*i,
    -0.122942604344545 + 0.0*i,
    0.412638772442721 + 0.0*i,
    0.92970736230568 + 0.0*i,
    -0.871464860887801 + 0.0*i,
    0.115332277346358 + 0.0*i,
    -0.0783670423071389 + 0.0*i,
    0.521072977980776 + 0.0*i,
    -0.0492555388653096 + 0.0*i,
    -0.496031670100016 + 0.0*i,
    -0.227758082611448 + 0.0*i,
    0.337345545555996 + 0.0*i,
    -0.30168523663746 + 0.0*i,
    -0.772179186156275 + 0.0*i,
    0.259549507501459 + 0.0*i,
    0.689324437687588 + 0.0*i,
    -0.125939033047503 + 0.0*i,
    0.0632813030564439 + 0.0*i,
    0.0176928920918517 + 0.0*i,
    0.777566298291571 + 0.0*i,
    0.999170670895999 + 0.0*i,
    0.149912421455512 + 0.0*i,
    -0.835557089903797 + 0.0*i,
    -0.444516508906825 + 0.0*i,
    0.682049186646659 + 0.0*i,
    -0.214055876848954 + 0.0*i,
    -1.20027034463007 + 0.0*i,
    0.244429109070814 + 0.0*i,
    0.212661536624233 + 0.0*i,
    -0.12014057269402 + 0.0*i,
    0.666070906898511 + 0.0*i,
    -0.169332124364885 + 0.0*i,
    0.851406327593344 + 0.0*i,
    -0.10482114065084 + 0.0*i,
    -0.302378724598162 + 0.0*i,
    0.409477899217244 + 0.0*i,
    -0.483352287172157 + 0.0*i,
    0.00207477636531945 + 0.0*i,
    -0.0392412161803506 + 0.0*i,
    -0.597328798539274 + 0.0*i,
    -0.0179895177341077 + 0.0*i,
    -0.596566338491152 + 0.0*i,
    0.176289859814692 + 0.0*i,
    -0.477729432328061 + 0.0*i,
    0.929244062321136 + 0.0*i,
    -0.198528672262942 + 0.0*i,
    -0.0113589331963984 + 0.0*i,
    -0.555574585193205 + 0.0*i,
    0.401167308794936 + 0.0*i,
    -0.329679625444582 + 0.0*i,
    -0.452044702249764 + 0.0*i,
    0.432587758385277 + 0.0*i,
    -0.204469626288414 + 0.0*i,
    0.61825889956076 + 0.0*i,
    -1.0293963657197 + 0.0*i,
    0.473519878751457 + 0.0*i,
    0.381093017930332 + 0.0*i,
    -0.910128203433766 + 0.0*i,
    -0.464903310070701 + 0.0*i,
    0.206324733338622 + 0.0*i,
    0.268737956836116 + 0.0*i,
    -0.121121887902913 + 0.0*i,
    0.169982443976342 + 0.0*i,
    0.227632183883453 + 0.0*i,
    0.656084521181228 + 0.0*i,
    0.308755000580593 + 0.0*i,
    0.193572409714366 + 0.0*i,
    0.456592111002365 + 0.0*i,
    -1.07109570597371 + 0.0*i,
    -0.190842323839703 + 0.0*i,
    -0.44635081260829 + 0.0*i,
    -0.463257035796063 + 0.0*i,
    -0.207312729488241 + 0.0*i,
    -0.666726273662635 + 0.0*i,
    0.307507464114498 + 0.0*i,
    -0.223392011774624 + 0.0*i,
    0.323092278820543 + 0.0*i,
    0.0402759249365603 + 0.0*i,
    -0.654220583723568 + 0.0*i,
    -0.743745578435381 + 0.0*i,
    -0.0423406209840857 + 0.0*i,
    -0.604009415192778 + 0.0*i,
    -0.151335924816706 + 0.0*i,
    -0.898012239354163 + 0.0*i,
    -0.0695159384569653 + 0.0*i,
    0.439396162992931 + 0.0*i,
    -0.292496297329001 + 0.0*i,
    0.43750233852814 + 0.0*i,
    -0.521711004822063 + 0.0*i,
    -0.475786638704573 + 0.0*i,
    0.722562748818773 + 0.0*i,
    0.165272143676026 + 0.0*i,
    0.143938755903693 + 0.0*i,
    -0.0533865261951448 + 0.0*i,
    0.272588502738554 + 0.0*i,
    0.565227123267409 + 0.0*i,
    -0.387238550882468 + 0.0*i,
    -0.417269501534189 + 0.0*i,
    -0.31134796925519 + 0.0*i,
    0.495554074029224 + 0.0*i,
    -0.364723833549561 + 0.0*i,
    1.10086473202839 + 0.0*i,
    0.449173433236331 + 0.0*i,
    0.41577167912558 + 0.0*i,
    0.452362378618035 + 0.0*i,
    -0.113414756756162 + 0.0*i,
    -0.153408085125226 + 0.0*i,
    -0.156380271087869 + 0.0*i,
    -0.775290793893362 + 0.0*i,
    0.451294829089443 + 0.0*i,
    0.469446680914049 + 0.0*i,
    0.516287972819726 + 0.0*i,
    -0.0152213875835309 + 0.0*i,
    -0.732737517830486 + 0.0*i,
    -0.560582534554566 + 0.0*i,
    0.145733927845236 + 0.0*i,
    0.0927727270047446 + 0.0*i,
    -0.756546879904422 + 0.0*i,
    0.365309281619549 + 0.0*i,
    0.48269878599432 + 0.0*i,
    0.776624109199966 + 0.0*i,
    -0.157536721671248 + 0.0*i,
    0.284069533889843 + 0.0*i,
    0.637768900160599 + 0.0*i,
    0.472159687503911 + 0.0*i,
    -0.312935736525243 + 0.0*i,
    0.576893962842007 + 0.0*i,
    -0.715734310357276 + 0.0*i,
    -0.274165090776151 + 0.0*i,
    -0.531102607159108 + 0.0*i,
    -0.671365883261734 + 0.0*i,
    -0.614286496748312 + 0.0*i,
    -0.389195573357615 + 0.0*i,
    -0.968410981933378 + 0.0*i,
    -0.561487181076312 + 0.0*i,
    0.72263907295508 + 0.0*i,
    0.473611603278837 + 0.0*i,
    -0.624224827224925 + 0.0*i,
    -0.37625276412075 + 0.0*i,
    -0.197092776018444 + 0.0*i,
    -0.232775928555166 + 0.0*i,
    -0.401732032595635 + 0.0*i,
    0.151728596511215 + 0.0*i,
    -0.364923694909419 + 0.0*i,
    0.831221130738567 + 0.0*i,
    0.754220861171671 + 0.0*i,
    -0.187881690692385 + 0.0*i,
    -0.801996438878661 + 0.0*i,
    0.198752960111852 + 0.0*i,
    -0.0674510984176885 + 0.0*i,
    -0.817899975146664 + 0.0*i,
    0.0443766112475646 + 0.0*i,
    -0.00719944423966059 + 0.0*i,
    0.694636002320375 + 0.0*i,
    0.556370022436557 + 0.0*i,
    0.522163954072023 + 0.0*i,
    1.21990588351408 + 0.0*i,
    -0.55941714769035 + 0.0*i,
    -0.711580595065387 + 0.0*i,
    0.0900503921544267 + 0.0*i,
    -0.245356434096878 + 0.0*i,
    0.623633085164354 + 0.0*i,
    -0.0838693847674062 + 0.0*i,
    0.372725770873302 + 0.0*i,
    0.857533557563245 + 0.0*i,
    0.383785115608664 + 0.0*i,
    0.270636370674114 + 0.0*i,
    0.4350517151595 + 0.0*i,
    -0.167820413847028 + 0.0*i,
    0.918228767050195 + 0.0*i,
    0.245625842670465 + 0.0*i,
    -0.734845971252847 + 0.0*i,
    0.915462074847659 + 0.0*i,
    -0.567191635477602 + 0.0*i,
    0.522669985173994 + 0.0*i,
    0.273310263365942 + 0.0*i,
    -0.933708715147474 + 0.0*i,
    0.218976278713936 + 0.0*i,
    -0.392345990936465 + 0.0*i,
    -0.693382656464735 + 0.0*i,
    -0.210876993657224 + 0.0*i,
    0.47569193414026 + 0.0*i,
    -0.128739315556756 + 0.0*i,
    -0.221584616320097 + 0.0*i,
    -0.106404445590953 + 0.0*i,
    0.111159214271772 + 0.0*i,
    0.768364736764101 + 0.0*i,
    0.439174953869535 + 0.0*i,
    -0.770536052371884 + 0.0*i,
    -0.382064902032646 + 0.0*i,
    0.399167948595908 + 0.0*i,
    0.155170684823992 + 0.0*i,
    0.40365264100386 + 0.0*i,
    -0.179832945420824 + 0.0*i,
    -0.346995153834723 + 0.0*i,
    -0.319806423325568 + 0.0*i,
    0.229978112035805 + 0.0*i,
    0.124583696692721 + 0.0*i,
    0.168091445411749 + 0.0*i,
    0.243745669797046 + 0.0*i,
    0.288813651655989 + 0.0*i,
    -0.179474901612838 + 0.0*i,
    -0.467133862080329 + 0.0*i,
    -0.126943898203652 + 0.0*i,
    -0.0266960469429497 + 0.0*i,
    -0.23681974537566 + 0.0*i,
    0.37679968595959 + 0.0*i,
    0.157331901815883 + 0.0*i,
    -0.526247237957957 + 0.0*i,
    -1.0107418490925 + 0.0*i,
    -1.09722722601463 + 0.0*i,
    0.0271203464282534 + 0.0*i,
    -0.732346508799396 + 0.0*i,
    -0.439569636432394 + 0.0*i,
    0.0119034684795652 + 0.0*i,
    -0.737630537782807 + 0.0*i,
    0.782579217450249 + 0.0*i,
    -0.370280432952917 + 0.0*i,
    0.331877412189865 + 0.0*i,
    -0.00460736702699106 + 0.0*i,
    0.585141529935388 + 0.0*i,
    0.372382869093359 + 0.0*i
]);