V:=Matrix(CC,4,79,[
    0.189403795149855 + 0.0*i,
    0.15245318274387 + 0.0*i,
    -0.0335355087708452 + 0.0*i,
    0.223582574299934 + 0.0*i,
    -0.394295378786266 + 0.0*i,
    0.0386571382519083 + 0.0*i,
    -0.343978806717463 + 0.0*i,
    -0.494780686896333 + 0.0*i,
    -0.395092090964441 + 0.0*i,
    -0.122591540740725 + 0.0*i,
    0.144410331043648 + 0.0*i,
    0.609044073371997 + 0.0*i,
    -0.21470535935834 + 0.0*i,
    0.23367339244346 + 0.0*i,
    0.455358637103465 + 0.0*i,
    -0.0630846741452163 + 0.0*i,
    -0.79615298077325 + 0.0*i,
    0.170100210164612 + 0.0*i,
    0.686320386245545 + 0.0*i,
    -0.788162486403225 + 0.0*i,
    0.450253932934986 + 0.0*i,
    -0.0760291606144891 + 0.0*i,
    0.327284056995484 + 0.0*i,
    0.924128287968894 + 0.0*i,
    -0.506544947345992 + 0.0*i,
    0.0794198807011637 + 0.0*i,
    0.564643948670873 + 0.0*i,
    -0.0256523845597524 + 0.0*i,
    -0.483638913752506 + 0.0*i,
    0.0816170264032371 + 0.0*i,
    -0.799353169758674 + 0.0*i,
    -0.0993355978808386 + 0.0*i,
    -0.828105448418763 + 0.0*i,
    0.132939495451467 + 0.0*i,
    0.23599210863205 + 0.0*i,
    -0.122250505355607 + 0.0*i,
    0.165649228809957 + 0.0*i,
    -0.747447318748349 + 0.0*i,
    1.31839855801078 + 0.0*i,
    0.350763994914546 + 0.0*i,
    -0.365430876096223 + 0.0*i,
    -0.448431828559778 + 0.0*i,
    0.851327909866613 + 0.0*i,
    0.495841249649391 + 0.0*i,
    0.308981387711561 + 0.0*i,
    0.541098176362376 + 0.0*i,
    -0.118172737839953 + 0.0*i,
    0.305385021423988 + 0.0*i,
    -0.127675831431227 + 0.0*i,
    0.0539099889641554 + 0.0*i,
    -0.816452754522681 + 0.0*i,
    -0.403344031323839 + 0.0*i,
    -0.578730029977531 + 0.0*i,
    -0.436870917823187 + 0.0*i,
    0.418601302774196 + 0.0*i,
    -0.905106468875556 + 0.0*i,
    -0.0252455009192134 + 0.0*i,
    -0.641440835420604 + 0.0*i,
    0.543340542036854 + 0.0*i,
    -0.0793904920855494 + 0.0*i,
    0.0307226048369588 + 0.0*i,
    0.286655185090565 + 0.0*i,
    0.612594783592973 + 0.0*i,
    0.256368233070337 + 0.0*i,
    -0.253668272989682 + 0.0*i,
    0.0217655729876285 + 0.0*i,
    0.0885117648541251 + 0.0*i,
    0.160173037610793 + 0.0*i,
    -0.378430951998017 + 0.0*i,
    -0.790264531891176 + 0.0*i,
    -0.0902527436106389 + 0.0*i,
    -0.333609086115328 + 0.0*i,
    0.0598180390366403 + 0.0*i,
    0.14361700628403 + 0.0*i,
    -0.125812352615595 + 0.0*i,
    0.586396587266563 + 0.0*i,
    -0.00565060489418613 + 0.0*i,
    0.67770167240012 + 0.0*i,
    1.33784915449298 + 0.0*i,
    0.0844756494826165 + 0.0*i,
    0.685037194209048 + 0.0*i,
    0.213864728380732 + 0.0*i,
    0.62523190682374 + 0.0*i,
    -1.14536696443161 + 0.0*i,
    -0.0251361088824821 + 0.0*i,
    -0.297376009892825 + 0.0*i,
    0.20358990019108 + 0.0*i,
    0.16535787150394 + 0.0*i,
    0.400908294781527 + 0.0*i,
    0.310175633421746 + 0.0*i,
    -0.615298060444036 + 0.0*i,
    -0.0679243948750819 + 0.0*i,
    -0.000687818116389292 + 0.0*i,
    -0.141719089576962 + 0.0*i,
    -0.158229924400007 + 0.0*i,
    0.564212541369702 + 0.0*i,
    0.487381482711033 + 0.0*i,
    -0.377376019016387 + 0.0*i,
    0.879003466423492 + 0.0*i,
    -0.0381608784343924 + 0.0*i,
    0.168598038785898 + 0.0*i,
    0.808565349288329 + 0.0*i,
    -0.368848502369649 + 0.0*i,
    0.414111924351292 + 0.0*i,
    0.0446915152337854 + 0.0*i,
    -0.327214663212543 + 0.0*i,
    -0.180372835445071 + 0.0*i,
    1.20526363987692 + 0.0*i,
    0.109894625607108 + 0.0*i,
    0.710018272847723 + 0.0*i,
    0.444365947537211 + 0.0*i,
    -0.13511867984322 + 0.0*i,
    0.46319934828686 + 0.0*i,
    0.604198138145808 + 0.0*i,
    -0.0606801203096354 + 0.0*i,
    0.337351203821859 + 0.0*i,
    0.311479405694843 + 0.0*i,
    0.664935348301449 + 0.0*i,
    0.240213236899416 + 0.0*i,
    0.997621437991217 + 0.0*i,
    -0.705733603646069 + 0.0*i,
    0.355430607977197 + 0.0*i,
    -0.0496957884999061 + 0.0*i,
    -0.105954469811915 + 0.0*i,
    -0.0051173552326205 + 0.0*i,
    0.0262214210434564 + 0.0*i,
    0.117330720308462 + 0.0*i,
    0.032334794177976 + 0.0*i,
    0.0948712949927347 + 0.0*i,
    0.362806689993647 + 0.0*i,
    -0.0281444650021231 + 0.0*i,
    0.290704413560856 + 0.0*i,
    -0.76992840109751 + 0.0*i,
    -0.0467368172398596 + 0.0*i,
    0.364643985287263 + 0.0*i,
    -0.101428273705598 + 0.0*i,
    -0.804424953844371 + 0.0*i,
    -0.973117051334414 + 0.0*i,
    0.748110302728976 + 0.0*i,
    0.344525345703794 + 0.0*i,
    -0.106737223734281 + 0.0*i,
    0.17468660699964 + 0.0*i,
    0.269306425754324 + 0.0*i,
    -0.0932874529749218 + 0.0*i,
    0.577921685940424 + 0.0*i,
    -0.0153232857770394 + 0.0*i,
    0.129125315583477 + 0.0*i,
    0.176700187117737 + 0.0*i,
    0.399746875720771 + 0.0*i,
    -0.175111517666784 + 0.0*i,
    -1.2098636631216 + 0.0*i,
    -0.0174694023906757 + 0.0*i,
    -0.0859144260238131 + 0.0*i,
    -0.663554348708071 + 0.0*i,
    0.70126188559637 + 0.0*i,
    -0.0171743238188444 + 0.0*i,
    -0.0832017935256718 + 0.0*i,
    -0.404296200658946 + 0.0*i,
    -0.550287824653175 + 0.0*i,
    -0.00392283535303071 + 0.0*i,
    -0.383761306915808 + 0.0*i,
    0.408568029978535 + 0.0*i,
    0.584401018667787 + 0.0*i,
    1.07442361747425 + 0.0*i,
    0.0445406117607023 + 0.0*i,
    0.34872232210173 + 0.0*i,
    0.073511500446185 + 0.0*i,
    0.706261229514137 + 0.0*i,
    0.510791528033023 + 0.0*i,
    0.237325362760448 + 0.0*i,
    -0.403927571746683 + 0.0*i,
    -0.316642739978911 + 0.0*i,
    0.463051753207213 + 0.0*i,
    0.27821471983519 + 0.0*i,
    -0.425573052266851 + 0.0*i,
    -0.503899106165674 + 0.0*i,
    -0.392181848569986 + 0.0*i,
    -0.423965990470905 + 0.0*i,
    -0.357914999400379 + 0.0*i,
    -0.117739788441441 + 0.0*i,
    0.610588663446719 + 0.0*i,
    0.571751577059184 + 0.0*i,
    -0.0411201172446555 + 0.0*i,
    -0.768350696592791 + 0.0*i,
    0.292987868108072 + 0.0*i,
    -0.564741648579478 + 0.0*i,
    0.568726174281353 + 0.0*i,
    0.408283555696628 + 0.0*i,
    -0.649302488258387 + 0.0*i,
    -1.14127066996464 + 0.0*i,
    1.0014794139793 + 0.0*i,
    -1.05379143555881 + 0.0*i,
    0.0579985269408618 + 0.0*i,
    -0.209767531080462 + 0.0*i,
    -0.544679739846511 + 0.0*i,
    0.354447930416898 + 0.0*i,
    -0.234520930086762 + 0.0*i,
    -0.484588431934771 + 0.0*i,
    -0.77168281153556 + 0.0*i,
    -0.468482915698015 + 0.0*i,
    1.16349217544051 + 0.0*i,
    0.634110469584459 + 0.0*i,
    0.432676267717367 + 0.0*i,
    0.196225882009896 + 0.0*i,
    -0.12102760059495 + 0.0*i,
    -0.905565570919383 + 0.0*i,
    0.58969486787472 + 0.0*i,
    0.396145534322299 + 0.0*i,
    0.0512969641139914 + 0.0*i,
    -0.251884884071228 + 0.0*i,
    0.062440976857918 + 0.0*i,
    0.752398601068796 + 0.0*i,
    -0.547715696902882 + 0.0*i,
    0.938105422003074 + 0.0*i,
    0.145489397284073 + 0.0*i,
    -0.506246150607421 + 0.0*i,
    0.177493337101675 + 0.0*i,
    0.982091487900759 + 0.0*i,
    -0.338359201712384 + 0.0*i,
    -0.148088091823464 + 0.0*i,
    0.446082443929912 + 0.0*i,
    -0.10090494817565 + 0.0*i,
    0.186293981777883 + 0.0*i,
    0.0307947468649275 + 0.0*i,
    0.790439020975476 + 0.0*i,
    0.683588788371485 + 0.0*i,
    0.130235428380986 + 0.0*i,
    0.612620288627416 + 0.0*i,
    0.495270567009038 + 0.0*i,
    -0.306717852016918 + 0.0*i,
    0.456595940809418 + 0.0*i,
    -0.799174898123911 + 0.0*i,
    0.0449417568631793 + 0.0*i,
    0.081793375706987 + 0.0*i,
    -0.030286442234105 + 0.0*i,
    0.49665424826102 + 0.0*i,
    -0.0388168485460446 + 0.0*i,
    0.636319387693092 + 0.0*i,
    0.278447265774488 + 0.0*i,
    0.115673122664779 + 0.0*i,
    0.636297236814015 + 0.0*i,
    -0.5344621794659 + 0.0*i,
    0.0711432220733941 + 0.0*i,
    0.143762658437276 + 0.0*i,
    -0.413584754632897 + 0.0*i,
    0.0755989363940214 + 0.0*i,
    0.563142309645697 + 0.0*i,
    0.612323746445644 + 0.0*i,
    -0.159502748658301 + 0.0*i,
    -0.207098857873212 + 0.0*i,
    0.585950746390658 + 0.0*i,
    0.13932028220061 + 0.0*i,
    0.389693160235668 + 0.0*i,
    0.142251466054605 + 0.0*i,
    -0.213863084722357 + 0.0*i,
    -0.396755190282372 + 0.0*i,
    0.350500509151568 + 0.0*i,
    0.534092897149733 + 0.0*i,
    -0.0372370086949052 + 0.0*i,
    0.788419415083444 + 0.0*i,
    -0.33811047075871 + 0.0*i,
    0.0338289699146328 + 0.0*i,
    1.0986868191668 + 0.0*i,
    0.225271599590982 + 0.0*i,
    -0.185266628519784 + 0.0*i,
    -0.424928281586664 + 0.0*i,
    -0.460112294514754 + 0.0*i,
    -0.621783884790611 + 0.0*i,
    0.321339098056421 + 0.0*i,
    -0.574131224682967 + 0.0*i,
    -0.489773968019071 + 0.0*i,
    0.443844457291488 + 0.0*i,
    -0.91230077647657 + 0.0*i,
    -0.18450601596768 + 0.0*i,
    0.425710387410057 + 0.0*i,
    -0.10496018748896 + 0.0*i,
    -0.0982362034125459 + 0.0*i,
    -0.124711617830421 + 0.0*i,
    1.14188278418703 + 0.0*i,
    -0.107092141308321 + 0.0*i,
    0.204093759405659 + 0.0*i,
    -0.678456192132283 + 0.0*i,
    0.668366122149072 + 0.0*i,
    -0.694290964298203 + 0.0*i,
    0.41582051716198 + 0.0*i,
    0.27037269630325 + 0.0*i,
    0.94972938164388 + 0.0*i,
    1.1707862773924 + 0.0*i,
    -0.396482969301365 + 0.0*i,
    -1.29319056928382 + 0.0*i,
    0.861983028226437 + 0.0*i,
    -0.10631135149403 + 0.0*i,
    0.208075803703821 + 0.0*i,
    -0.518554314467783 + 0.0*i,
    -0.629059380913823 + 0.0*i,
    -0.35222444257387 + 0.0*i,
    0.796061770685711 + 0.0*i,
    0.373013665680584 + 0.0*i,
    -0.129490852382647 + 0.0*i,
    -0.647679959293911 + 0.0*i,
    -0.762607039261113 + 0.0*i,
    -0.0953586676141084 + 0.0*i,
    0.728201533915865 + 0.0*i,
    -0.0301444428252563 + 0.0*i,
    0.290405265570014 + 0.0*i,
    -0.33947470912165 + 0.0*i,
    0.371290394646509 + 0.0*i,
    -0.397172653272823 + 0.0*i,
    -0.0616573699721312 + 0.0*i,
    -0.542330849294956 + 0.0*i,
    -0.0895707354374543 + 0.0*i,
    -0.997958908696335 + 0.0*i,
    0.837167359970747 + 0.0*i,
    -0.202577342470305 + 0.0*i,
    0.0940830685055479 + 0.0*i,
    0.291322982963372 + 0.0*i
]);