V:=Matrix(CC,4,53,[
    0.359886798477594 + 0.0*i,
    -0.571908806836052 + 0.0*i,
    0.188406571821693 + 0.0*i,
    -0.753777079558284 + 0.0*i,
    -0.133603921147912 + 0.0*i,
    -0.722322330143099 + 0.0*i,
    -0.0891615752430448 + 0.0*i,
    0.732618698588913 + 0.0*i,
    0.706114811967888 + 0.0*i,
    -0.0736158725707678 + 0.0*i,
    -0.136618162685462 + 0.0*i,
    0.234692124126633 + 0.0*i,
    -0.220120730355083 + 0.0*i,
    0.275433392252304 + 0.0*i,
    -0.519742246736522 + 0.0*i,
    -0.310478314602826 + 0.0*i,
    -0.176011556371145 + 0.0*i,
    -0.447983984640862 + 0.0*i,
    0.0974175752063441 + 0.0*i,
    -0.208166600615744 + 0.0*i,
    0.730523387858231 + 0.0*i,
    0.527208400422063 + 0.0*i,
    0.464224777587682 + 0.0*i,
    0.836465817268425 + 0.0*i,
    0.287352985072029 + 0.0*i,
    -0.839988253294658 + 0.0*i,
    -0.105731672009154 + 0.0*i,
    0.192105850383173 + 0.0*i,
    1.16964622930466 + 0.0*i,
    0.0671321445731352 + 0.0*i,
    0.563472703199453 + 0.0*i,
    0.391750287140388 + 0.0*i,
    0.0948393869874441 + 0.0*i,
    0.132734373727874 + 0.0*i,
    -0.325187383009876 + 0.0*i,
    0.491761222369079 + 0.0*i,
    -0.13576096839666 + 0.0*i,
    0.606750116725738 + 0.0*i,
    -0.564006123167549 + 0.0*i,
    -0.920547548519114 + 0.0*i,
    -0.768695091150122 + 0.0*i,
    -0.205101512176305 + 0.0*i,
    -0.19802397224996 + 0.0*i,
    -0.248668497817532 + 0.0*i,
    -1.04558796316297 + 0.0*i,
    0.827825150718199 + 0.0*i,
    -0.561399665179902 + 0.0*i,
    -0.424810507918872 + 0.0*i,
    -0.553276406628232 + 0.0*i,
    0.0447893615856468 + 0.0*i,
    0.492066285486354 + 0.0*i,
    0.251447597217515 + 0.0*i,
    -0.0334705445633049 + 0.0*i,
    -0.108128872746024 + 0.0*i,
    0.92354449769161 + 0.0*i,
    0.509296213516613 + 0.0*i,
    -0.0952573379512321 + 0.0*i,
    -0.0955827826572112 + 0.0*i,
    -0.251218852653243 + 0.0*i,
    0.0301682237291494 + 0.0*i,
    -0.56077395507556 + 0.0*i,
    -0.134132600418327 + 0.0*i,
    0.0506970718240764 + 0.0*i,
    0.640308362742244 + 0.0*i,
    0.702460776985153 + 0.0*i,
    0.111624870077271 + 0.0*i,
    -1.00732467636893 + 0.0*i,
    0.383910459829167 + 0.0*i,
    -0.032948534278171 + 0.0*i,
    -0.128420460159778 + 0.0*i,
    -0.696067186868314 + 0.0*i,
    0.629229276541478 + 0.0*i,
    -0.100218937019262 + 0.0*i,
    0.639529609079427 + 0.0*i,
    0.510230224393853 + 0.0*i,
    0.0937544654936858 + 0.0*i,
    -0.27441785499237 + 0.0*i,
    0.684926660435326 + 0.0*i,
    0.723835193441518 + 0.0*i,
    0.421117805819004 + 0.0*i,
    -0.886593170566184 + 0.0*i,
    0.0784389249988942 + 0.0*i,
    0.222744483589414 + 0.0*i,
    0.650766993143195 + 0.0*i,
    0.0610985647098889 + 0.0*i,
    -0.536281767396476 + 0.0*i,
    -1.1304566627591 + 0.0*i,
    0.337881850008146 + 0.0*i,
    -0.134319793578711 + 0.0*i,
    0.0104716459356346 + 0.0*i,
    0.610468070112298 + 0.0*i,
    -0.933766320602275 + 0.0*i,
    -0.700969721394815 + 0.0*i,
    -0.193655269104433 + 0.0*i,
    0.956117567822888 + 0.0*i,
    0.322880750962203 + 0.0*i,
    0.139460980654488 + 0.0*i,
    0.401622269415926 + 0.0*i,
    0.0348819954239422 + 0.0*i,
    -0.00127594333500011 + 0.0*i,
    -0.0380377525841719 + 0.0*i,
    -0.185954585910407 + 0.0*i,
    0.513285885288936 + 0.0*i,
    0.245610950960083 + 0.0*i,
    0.808157418181532 + 0.0*i,
    -0.177200051655539 + 0.0*i,
    -0.0149754420359544 + 0.0*i,
    -0.133584441171482 + 0.0*i,
    0.0386725728327318 + 0.0*i,
    -0.717754522626082 + 0.0*i,
    0.40673607992425 + 0.0*i,
    0.219036286213193 + 0.0*i,
    -0.772779203339102 + 0.0*i,
    -0.764510141705981 + 0.0*i,
    0.186772520552874 + 0.0*i,
    0.226226738795017 + 0.0*i,
    -0.0710968460630357 + 0.0*i,
    -0.583282960988159 + 0.0*i,
    -0.0077951052661494 + 0.0*i,
    0.286722578503502 + 0.0*i,
    -1.11924575725896 + 0.0*i,
    1.07532027297714 + 0.0*i,
    -0.396295301428032 + 0.0*i,
    -0.0163408692200082 + 0.0*i,
    0.649886216099166 + 0.0*i,
    -0.0351090805791909 + 0.0*i,
    0.406029656792373 + 0.0*i,
    -0.948571988590243 + 0.0*i,
    -0.190843505508067 + 0.0*i,
    -0.434367510991029 + 0.0*i,
    0.541156661321289 + 0.0*i,
    -0.132638692068237 + 0.0*i,
    -0.64583822110116 + 0.0*i,
    -0.29664861816903 + 0.0*i,
    -0.346637534876228 + 0.0*i,
    -0.0553863057712281 + 0.0*i,
    0.0805141973847766 + 0.0*i,
    -0.816725827727462 + 0.0*i,
    -0.970811094834959 + 0.0*i,
    0.0573517799321176 + 0.0*i,
    0.162867942914801 + 0.0*i,
    -0.32653464193565 + 0.0*i,
    -0.0334916822399926 + 0.0*i,
    0.794773848940243 + 0.0*i,
    0.187371139845405 + 0.0*i,
    -0.031626612002321 + 0.0*i,
    -0.367411155589482 + 0.0*i,
    0.515576701760671 + 0.0*i,
    -0.160202754735351 + 0.0*i,
    -0.275507971740311 + 0.0*i,
    -0.368065931804901 + 0.0*i,
    -0.266599123650988 + 0.0*i,
    -0.564162101515768 + 0.0*i,
    0.00090076332468848 + 0.0*i,
    0.606685266621521 + 0.0*i,
    -0.512966121771696 + 0.0*i,
    -0.183580036685804 + 0.0*i,
    -0.703441818647456 + 0.0*i,
    -0.563144493471437 + 0.0*i,
    -0.338528601471389 + 0.0*i,
    0.382815399893154 + 0.0*i,
    0.00525889250725686 + 0.0*i,
    0.275940744762755 + 0.0*i,
    0.691118704786147 + 0.0*i,
    0.557661474233462 + 0.0*i,
    0.20841255592725 + 0.0*i,
    0.158012721339747 + 0.0*i,
    0.154451524531127 + 0.0*i,
    0.354731921512584 + 0.0*i,
    1.04468173893696 + 0.0*i,
    0.098038509822908 + 0.0*i,
    0.200590562281081 + 0.0*i,
    0.200532331020203 + 0.0*i,
    -0.298217024224012 + 0.0*i,
    -0.533035316733951 + 0.0*i,
    0.0229741398287109 + 0.0*i,
    0.496244186811043 + 0.0*i,
    -0.652560684238212 + 0.0*i,
    0.0240971445217249 + 0.0*i,
    0.52063267390151 + 0.0*i,
    -0.268697108397196 + 0.0*i,
    -0.62094957760514 + 0.0*i,
    -0.748332270856123 + 0.0*i,
    0.309649768841411 + 0.0*i,
    -0.468601121482317 + 0.0*i,
    0.200841626047474 + 0.0*i,
    0.841275710727498 + 0.0*i,
    0.0979922601547256 + 0.0*i,
    0.18652538629627 + 0.0*i,
    0.101961968136816 + 0.0*i,
    -0.401611459388813 + 0.0*i,
    -0.584608490995832 + 0.0*i,
    -0.0304964309815261 + 0.0*i,
    -0.47367060407108 + 0.0*i,
    0.884059264904544 + 0.0*i,
    -1.06392003989767 + 0.0*i,
    -0.156302771962209 + 0.0*i,
    -0.19253101877095 + 0.0*i,
    0.380875318409201 + 0.0*i,
    -0.849057828533361 + 0.0*i,
    0.112933636042918 + 0.0*i,
    -0.0317130370573038 + 0.0*i,
    0.712190546369294 + 0.0*i,
    0.305188152349884 + 0.0*i,
    0.540251303970705 + 0.0*i,
    0.914695076008995 + 0.0*i,
    -0.117557087510791 + 0.0*i,
    -0.0658139302244518 + 0.0*i,
    -1.04126065330294 + 0.0*i,
    0.658124037830758 + 0.0*i,
    0.544713025175965 + 0.0*i,
    0.632567792575677 + 0.0*i
]);