V:=Matrix(CC,4,52,[
    0.147025119559036 + 0.0*i,
    -0.578892607672369 + 0.0*i,
    0.145568894569836 + 0.0*i,
    0.763208382426863 + 0.0*i,
    -1.06501808257903 + 0.0*i,
    -0.351458216996669 + 0.0*i,
    -0.363249828474247 + 0.0*i,
    0.0341413356480238 + 0.0*i,
    -0.138271057271651 + 0.0*i,
    0.207474192710355 + 0.0*i,
    0.706586729375476 + 0.0*i,
    0.388659166307588 + 0.0*i,
    0.681284829681636 + 0.0*i,
    0.289314659665542 + 0.0*i,
    -0.678220840710092 + 0.0*i,
    -0.202712549333602 + 0.0*i,
    0.693790697974778 + 0.0*i,
    0.308408064609982 + 0.0*i,
    -0.0925228865851785 + 0.0*i,
    -0.219908458596444 + 0.0*i,
    0.948276240245738 + 0.0*i,
    0.826060668055013 + 0.0*i,
    0.182406444474896 + 0.0*i,
    -0.357273167264749 + 0.0*i,
    0.47864975575639 + 0.0*i,
    0.557879142884251 + 0.0*i,
    -0.200314482972481 + 0.0*i,
    0.514287326165947 + 0.0*i,
    -0.221224457266951 + 0.0*i,
    -0.166953923727835 + 0.0*i,
    0.876347979016005 + 0.0*i,
    0.389932302861385 + 0.0*i,
    -0.0415138306931995 + 0.0*i,
    0.598642781025853 + 0.0*i,
    0.129475618780334 + 0.0*i,
    -0.493481602329648 + 0.0*i,
    -0.447845943720768 + 0.0*i,
    0.25306973734623 + 0.0*i,
    -0.334255072431123 + 0.0*i,
    -0.175386806522693 + 0.0*i,
    -0.317635877695305 + 0.0*i,
    0.114667756812084 + 0.0*i,
    -0.0298042881318244 + 0.0*i,
    -1.53188936762957 + 0.0*i,
    -0.155794537316012 + 0.0*i,
    0.175511681534511 + 0.0*i,
    0.569847837285039 + 0.0*i,
    0.026247904859132 + 0.0*i,
    0.0106623354865851 + 0.0*i,
    -0.382445598830809 + 0.0*i,
    0.247783000835589 + 0.0*i,
    -0.695869611679648 + 0.0*i,
    -0.537772653799519 + 0.0*i,
    0.0512271434654081 + 0.0*i,
    -0.353793775972982 + 0.0*i,
    0.658471712115425 + 0.0*i,
    -0.408726941736484 + 0.0*i,
    -0.0448101848755616 + 0.0*i,
    0.678559733630631 + 0.0*i,
    0.106798115912274 + 0.0*i,
    0.262210288064853 + 0.0*i,
    -0.405861543381966 + 0.0*i,
    -0.207809851427483 + 0.0*i,
    -0.626197288976318 + 0.0*i,
    0.745679899541316 + 0.0*i,
    -0.286352567812314 + 0.0*i,
    0.0339308489093594 + 0.0*i,
    -0.519003554464107 + 0.0*i,
    0.80883758600478 + 0.0*i,
    0.029948739031875 + 0.0*i,
    0.151342866727079 + 0.0*i,
    -0.431854635183804 + 0.0*i,
    0.725320393537809 + 0.0*i,
    0.432963483436803 + 0.0*i,
    -0.426207863088059 + 0.0*i,
    -0.466005744846719 + 0.0*i,
    -0.310725792567469 + 0.0*i,
    -0.0855826591218868 + 0.0*i,
    -0.463676824609278 + 0.0*i,
    0.553987449184606 + 0.0*i,
    0.0754789019907079 + 0.0*i,
    -0.244238938229552 + 0.0*i,
    0.0570635279261147 + 0.0*i,
    -0.0376465731776 + 0.0*i,
    0.0592267402569294 + 0.0*i,
    -0.119526353154698 + 0.0*i,
    -0.00946113141797794 + 0.0*i,
    -0.0610964279313276 + 0.0*i,
    0.761613793442343 + 0.0*i,
    -1.1085313995241 + 0.0*i,
    0.835930395526414 + 0.0*i,
    -0.407035098579877 + 0.0*i,
    -0.0967555816417377 + 0.0*i,
    -0.864648147898553 + 0.0*i,
    -0.135297523082015 + 0.0*i,
    0.357966551850038 + 0.0*i,
    -0.00925622706693912 + 0.0*i,
    1.29488482240751 + 0.0*i,
    -0.00717334285137796 + 0.0*i,
    -0.0854251390005084 + 0.0*i,
    0.485577270208744 + 0.0*i,
    0.0263776106331924 + 0.0*i,
    0.0377957426317355 + 0.0*i,
    0.330717777573183 + 0.0*i,
    0.660149627587147 + 0.0*i,
    -0.280302638046314 + 0.0*i,
    0.470371342422377 + 0.0*i,
    -0.302544166832041 + 0.0*i,
    0.0277095193275998 + 0.0*i,
    0.849110767516987 + 0.0*i,
    0.109202254681815 + 0.0*i,
    -0.693792363261847 + 0.0*i,
    -0.364710584426631 + 0.0*i,
    -0.77110883902726 + 0.0*i,
    0.441600289127017 + 0.0*i,
    -0.0540713391231949 + 0.0*i,
    0.169922338951518 + 0.0*i,
    1.16940757695279 + 0.0*i,
    -0.773183643930934 + 0.0*i,
    0.223825449354077 + 0.0*i,
    -0.264709274702823 + 0.0*i,
    0.650433748618392 + 0.0*i,
    -1.31960249807761 + 0.0*i,
    -0.74731986779003 + 0.0*i,
    0.275810724447517 + 0.0*i,
    0.312887342780733 + 0.0*i,
    -0.0767217711622069 + 0.0*i,
    0.264629660682305 + 0.0*i,
    -0.0959319771986926 + 0.0*i,
    -0.124746531685259 + 0.0*i,
    -0.166858510098137 + 0.0*i,
    0.422358852527763 + 0.0*i,
    0.127285665821948 + 0.0*i,
    -0.294299113870399 + 0.0*i,
    -0.00544251746681343 + 0.0*i,
    -0.0427845788124543 + 0.0*i,
    0.206550089242317 + 0.0*i,
    0.083203416879291 + 0.0*i,
    -0.150279189248668 + 0.0*i,
    0.569687560439949 + 0.0*i,
    0.390727148710122 + 0.0*i,
    -0.322651527057314 + 0.0*i,
    -0.226431723181648 + 0.0*i,
    0.499781397191587 + 0.0*i,
    -0.0233737298468576 + 0.0*i,
    -0.680016492215866 + 0.0*i,
    0.825211400673501 + 0.0*i,
    0.595781642331997 + 0.0*i,
    0.0143024284722927 + 0.0*i,
    0.393970504617256 + 0.0*i,
    -0.587614712378941 + 0.0*i,
    -0.505731022807902 + 0.0*i,
    -0.0851315368555327 + 0.0*i,
    0.459034476518047 + 0.0*i,
    0.281917399808093 + 0.0*i,
    0.192505829729811 + 0.0*i,
    -0.164696323444793 + 0.0*i,
    -0.0470411567243915 + 0.0*i,
    -0.18092509795432 + 0.0*i,
    -0.243438839783888 + 0.0*i,
    -0.742762219895047 + 0.0*i,
    0.130844434669609 + 0.0*i,
    0.412192286184717 + 0.0*i,
    -0.335164899432052 + 0.0*i,
    0.165223498035511 + 0.0*i,
    0.797548952644899 + 0.0*i,
    0.075692703037667 + 0.0*i,
    0.890524977018242 + 0.0*i,
    0.668333372403028 + 0.0*i,
    -0.274658050525949 + 0.0*i,
    0.361898236440896 + 0.0*i,
    -0.0923589093453888 + 0.0*i,
    -0.615852714568764 + 0.0*i,
    0.599201017194106 + 0.0*i,
    -0.236504198855474 + 0.0*i,
    0.643244849414752 + 0.0*i,
    -0.403244103644121 + 0.0*i,
    -0.421825554589516 + 0.0*i,
    0.230390625862952 + 0.0*i,
    -0.23576110563865 + 0.0*i,
    -0.614176391485985 + 0.0*i,
    -0.40923012837069 + 0.0*i,
    -0.239949715789524 + 0.0*i,
    0.497148161991023 + 0.0*i,
    -0.584321902928517 + 0.0*i,
    -1.03486852495986 + 0.0*i,
    -0.191574363765122 + 0.0*i,
    0.39049083787228 + 0.0*i,
    -0.295976907335139 + 0.0*i,
    0.2472974967083 + 0.0*i,
    0.902049433666228 + 0.0*i,
    -1.04157589560662 + 0.0*i,
    0.552912186809186 + 0.0*i,
    -0.682515581900743 + 0.0*i,
    1.43180374322298 + 0.0*i,
    0.665803729065654 + 0.0*i,
    0.550968869983299 + 0.0*i,
    0.781771847999052 + 0.0*i,
    -0.27623288732733 + 0.0*i,
    0.622320919336659 + 0.0*i,
    -0.259038835548782 + 0.0*i,
    0.51784399427314 + 0.0*i,
    -0.0691992351625762 + 0.0*i,
    0.113291919759372 + 0.0*i,
    -0.477112145834279 + 0.0*i,
    -0.22159581363942 + 0.0*i,
    0.108435523464411 + 0.0*i,
    1.1248922166659 + 0.0*i
]);