V:=Matrix(CC,4,79,[
    0.262949127349012 + 0.0*i,
    -0.350847242079552 + 0.0*i,
    0.102805292703434 + 0.0*i,
    -0.135129275085452 + 0.0*i,
    0.261091820450058 + 0.0*i,
    -0.171884777853706 + 0.0*i,
    0.0298955991973532 + 0.0*i,
    0.268427458411804 + 0.0*i,
    0.159695732401066 + 0.0*i,
    -0.356587760180738 + 0.0*i,
    0.0396411458141333 + 0.0*i,
    0.226813831094535 + 0.0*i,
    0.142277747108979 + 0.0*i,
    -0.151449534393906 + 0.0*i,
    -0.203028895181187 + 0.0*i,
    0.132224146760382 + 0.0*i,
    0.269103258912744 + 0.0*i,
    -0.00158463330378131 + 0.0*i,
    0.0632767827531718 + 0.0*i,
    0.163902537289511 + 0.0*i,
    -0.30087208770156 + 0.0*i,
    0.00794205434167729 + 0.0*i,
    -0.169627792993765 + 0.0*i,
    -0.176055470069153 + 0.0*i,
    0.208931534484272 + 0.0*i,
    -0.265175094036521 + 0.0*i,
    0.050339656067132 + 0.0*i,
    -0.0690961011605342 + 0.0*i,
    -0.00148753916630726 + 0.0*i,
    0.293151907825729 + 0.0*i,
    0.38638588371749 + 0.0*i,
    -0.201579618454695 + 0.0*i,
    -0.302047515013041 + 0.0*i,
    0.141983157398646 + 0.0*i,
    -0.188578080001918 + 0.0*i,
    0.0892109693554921 + 0.0*i,
    0.354508311577844 + 0.0*i,
    -0.312412519004032 + 0.0*i,
    0.321918194043203 + 0.0*i,
    0.0473038376877407 + 0.0*i,
    0.0130971844020785 + 0.0*i,
    -0.00420483092663692 + 0.0*i,
    0.089435746976568 + 0.0*i,
    0.355754336230498 + 0.0*i,
    0.227266453630053 + 0.0*i,
    0.0370781178036859 + 0.0*i,
    -0.215078117193679 + 0.0*i,
    -0.0830155793973835 + 0.0*i,
    0.215621547009436 + 0.0*i,
    -0.129964941517967 + 0.0*i,
    -0.180594400486703 + 0.0*i,
    0.0575424760690518 + 0.0*i,
    0.339955263734272 + 0.0*i,
    -0.277356196752098 + 0.0*i,
    -0.212668696097508 + 0.0*i,
    -0.0775947154716361 + 0.0*i,
    0.0222409489241251 + 0.0*i,
    0.071775772915009 + 0.0*i,
    0.0611586514335445 + 0.0*i,
    0.127370973771487 + 0.0*i,
    0.176895150635731 + 0.0*i,
    0.215112169275379 + 0.0*i,
    0.274231986702458 + 0.0*i,
    0.00371908428876445 + 0.0*i,
    -0.38547020726531 + 0.0*i,
    0.210062824455301 + 0.0*i,
    -0.0733791104184311 + 0.0*i,
    0.296422506162377 + 0.0*i,
    0.0550549042361675 + 0.0*i,
    0.334385543037612 + 0.0*i,
    -0.325324892657992 + 0.0*i,
    -0.0864462117735512 + 0.0*i,
    0.399660044941228 + 0.0*i,
    0.412851739922956 + 0.0*i,
    -0.153690413692887 + 0.0*i,
    0.178440715032267 + 0.0*i,
    0.167958571542401 + 0.0*i,
    -0.0952455476506743 + 0.0*i,
    -0.106192348349305 + 0.0*i,
    -0.293152046779366 + 0.0*i,
    -0.198707883665364 + 0.0*i,
    0.04579504850023 + 0.0*i,
    0.252621328124536 + 0.0*i,
    -0.00288484695284813 + 0.0*i,
    -0.0419474846470589 + 0.0*i,
    -0.301984477598039 + 0.0*i,
    0.0826948366294298 + 0.0*i,
    -0.131462353031213 + 0.0*i,
    -0.211855829473131 + 0.0*i,
    0.262632080198726 + 0.0*i,
    0.285617042274474 + 0.0*i,
    -0.319186659310993 + 0.0*i,
    -0.181427697671169 + 0.0*i,
    -0.288125807990834 + 0.0*i,
    0.0555381488463586 + 0.0*i,
    -0.0514833721643856 + 0.0*i,
    -0.287271031684794 + 0.0*i,
    -0.385903698401649 + 0.0*i,
    0.0908452087486107 + 0.0*i,
    -0.204788819327846 + 0.0*i,
    -0.407480133176228 + 0.0*i,
    0.331266473267433 + 0.0*i,
    0.226958593624071 + 0.0*i,
    -0.0850178623202983 + 0.0*i,
    0.325072667519388 + 0.0*i,
    0.21319237460682 + 0.0*i,
    -0.400400558384572 + 0.0*i,
    0.238951504144266 + 0.0*i,
    -0.0889319753579569 + 0.0*i,
    -0.166468141576485 + 0.0*i,
    -0.024268069972397 + 0.0*i,
    0.139871103764603 + 0.0*i,
    -0.191478996647463 + 0.0*i,
    0.155425667570017 + 0.0*i,
    0.300927204461169 + 0.0*i,
    0.0412023011277471 + 0.0*i,
    -0.00477405864427045 + 0.0*i,
    -0.174468776236769 + 0.0*i,
    -0.0219424839068131 + 0.0*i,
    0.136389730830404 + 0.0*i,
    0.0541912343114309 + 0.0*i,
    0.0873074622972098 + 0.0*i,
    -0.1369524863744 + 0.0*i,
    0.360287074910272 + 0.0*i,
    0.258920311438612 + 0.0*i,
    -0.180379763731125 + 0.0*i,
    0.304326102101223 + 0.0*i,
    -0.0351062792316204 + 0.0*i,
    0.303119944326246 + 0.0*i,
    -0.0478480866899242 + 0.0*i,
    -0.0605803151119308 + 0.0*i,
    -0.159941455310858 + 0.0*i,
    0.252811479094544 + 0.0*i,
    0.212006488919758 + 0.0*i,
    -0.377310422993675 + 0.0*i,
    -0.158222060267731 + 0.0*i,
    -0.120101874248036 + 0.0*i,
    0.161939093828491 + 0.0*i,
    -0.395554152243495 + 0.0*i,
    0.217169281625101 + 0.0*i,
    0.318613902090212 + 0.0*i,
    0.164730476264021 + 0.0*i,
    -0.0932838731330508 + 0.0*i,
    0.0326193886517375 + 0.0*i,
    -0.136516268960127 + 0.0*i,
    0.152456827399503 + 0.0*i,
    0.20955338640465 + 0.0*i,
    -0.10364053270739 + 0.0*i,
    0.0861786005002738 + 0.0*i,
    -0.054752783756687 + 0.0*i,
    0.033241433575806 + 0.0*i,
    0.00638549018682737 + 0.0*i,
    0.0485437929135532 + 0.0*i,
    0.0307761528970977 + 0.0*i,
    0.130494884282323 + 0.0*i,
    0.129393883879743 + 0.0*i,
    -0.34829205476483 + 0.0*i,
    -0.311373382968123 + 0.0*i,
    0.156590840765233 + 0.0*i,
    0.0398605702037916 + 0.0*i,
    0.202593502034177 + 0.0*i,
    -0.0725374783287288 + 0.0*i,
    -0.190636401960304 + 0.0*i,
    -0.237606736324024 + 0.0*i,
    -0.124418798259118 + 0.0*i,
    0.270252231304558 + 0.0*i,
    0.307048221886541 + 0.0*i,
    -0.0802852175754538 + 0.0*i,
    0.111272912456608 + 0.0*i,
    0.170453250362148 + 0.0*i,
    -0.239164075476217 + 0.0*i,
    0.273587043689052 + 0.0*i,
    0.157860445802913 + 0.0*i,
    0.395609095427872 + 0.0*i,
    -0.0479321913321241 + 0.0*i,
    0.0982595320120214 + 0.0*i,
    -0.138023603313365 + 0.0*i,
    -0.201398493946656 + 0.0*i,
    0.0873037184449385 + 0.0*i,
    0.120903584709105 + 0.0*i,
    -0.0736556659796296 + 0.0*i,
    0.105943318778632 + 0.0*i,
    -0.337791479688452 + 0.0*i,
    0.0651091289264167 + 0.0*i,
    0.30917837704345 + 0.0*i,
    -0.106873910606799 + 0.0*i,
    0.282425859333864 + 0.0*i,
    0.288489312529166 + 0.0*i,
    0.0318008140194275 + 0.0*i,
    0.0153179120599336 + 0.0*i,
    -0.173716641709168 + 0.0*i,
    0.34332484965863 + 0.0*i,
    0.231742064584745 + 0.0*i,
    0.296573000760936 + 0.0*i,
    0.0843384660097407 + 0.0*i,
    0.2671965245314 + 0.0*i,
    0.152673954034245 + 0.0*i,
    -0.326978364421902 + 0.0*i,
    -0.396384744597595 + 0.0*i,
    -0.394065276938741 + 0.0*i,
    0.377401323775427 + 0.0*i,
    -0.0702467167234224 + 0.0*i,
    -0.0497440406952458 + 0.0*i,
    -0.293924438242727 + 0.0*i,
    0.00225614002583901 + 0.0*i,
    -0.234570281021626 + 0.0*i,
    0.323951362569674 + 0.0*i,
    -0.241822242205346 + 0.0*i,
    0.365935155060553 + 0.0*i,
    -0.222531039066658 + 0.0*i,
    -0.200521406362366 + 0.0*i,
    0.0600964303426109 + 0.0*i,
    0.276540380860546 + 0.0*i,
    0.0151539541584346 + 0.0*i,
    0.203160726040653 + 0.0*i,
    0.295248420614177 + 0.0*i,
    -0.109720182252743 + 0.0*i,
    0.00812647161151361 + 0.0*i,
    0.0895830862973583 + 0.0*i,
    0.136919104120559 + 0.0*i,
    0.278617939013086 + 0.0*i,
    -0.00160612793791948 + 0.0*i,
    0.0398944156048846 + 0.0*i,
    0.0983708981559351 + 0.0*i,
    0.389746980799192 + 0.0*i,
    -0.224292466717756 + 0.0*i,
    -0.100058276664056 + 0.0*i,
    0.134833383846942 + 0.0*i,
    0.215014522960145 + 0.0*i,
    0.364339096260224 + 0.0*i,
    0.149740260857703 + 0.0*i,
    -0.0886454574626018 + 0.0*i,
    -0.122220831799361 + 0.0*i,
    -0.336221361765151 + 0.0*i,
    0.240851955335049 + 0.0*i,
    0.0839973287676099 + 0.0*i,
    0.269071908190311 + 0.0*i,
    0.049695814005813 + 0.0*i,
    -0.129937970902823 + 0.0*i,
    -0.351146329777256 + 0.0*i,
    -0.309550020092275 + 0.0*i,
    -0.27787235308873 + 0.0*i,
    0.255958186708697 + 0.0*i,
    0.27603595190758 + 0.0*i,
    -0.167415268478657 + 0.0*i,
    -0.209748045073383 + 0.0*i,
    0.0447165983893873 + 0.0*i,
    0.308900441412209 + 0.0*i,
    -0.138804519679079 + 0.0*i,
    0.0835972413120222 + 0.0*i,
    0.231868933607939 + 0.0*i,
    -0.181751236575927 + 0.0*i,
    -0.0575081001353214 + 0.0*i,
    0.322598860196082 + 0.0*i,
    -0.292786280062827 + 0.0*i,
    -0.118052832169116 + 0.0*i,
    0.326165925046165 + 0.0*i,
    0.212866049908235 + 0.0*i,
    -0.0270049285076316 + 0.0*i,
    0.192780108521741 + 0.0*i,
    0.301334909829636 + 0.0*i,
    0.101554159516038 + 0.0*i,
    0.0597793872627041 + 0.0*i,
    -0.203723460093583 + 0.0*i,
    0.0754748120968213 + 0.0*i,
    0.20007829961546 + 0.0*i,
    -0.0192838530749646 + 0.0*i,
    0.0228313547657357 + 0.0*i,
    0.372148708553928 + 0.0*i,
    -0.21211570761473 + 0.0*i,
    0.0286657158421759 + 0.0*i,
    -0.262937351896674 + 0.0*i,
    0.0163755213415345 + 0.0*i,
    -0.22488784760555 + 0.0*i,
    0.0940031449247295 + 0.0*i,
    -0.158266454032005 + 0.0*i,
    0.262982535169328 + 0.0*i,
    -0.0595653452876245 + 0.0*i,
    0.123362967417813 + 0.0*i,
    0.129189379193714 + 0.0*i,
    -0.181696850630915 + 0.0*i,
    -0.024815266547908 + 0.0*i,
    0.157708003180969 + 0.0*i,
    -0.325139054816587 + 0.0*i,
    -0.169425993456855 + 0.0*i,
    0.1524161642329 + 0.0*i,
    0.0953540732220281 + 0.0*i,
    0.0519213468913189 + 0.0*i,
    -0.357150023389363 + 0.0*i,
    0.0448768942934481 + 0.0*i,
    -0.197059435752413 + 0.0*i,
    0.139560672543777 + 0.0*i,
    -0.16068893300581 + 0.0*i,
    -0.329239973073598 + 0.0*i,
    0.276366449258276 + 0.0*i,
    -0.377634967148914 + 0.0*i,
    0.106376957315653 + 0.0*i,
    -0.310241744322287 + 0.0*i,
    0.14583454866521 + 0.0*i,
    0.0487485021855924 + 0.0*i,
    -0.4194601131875 + 0.0*i,
    -0.161672803636995 + 0.0*i,
    -0.327440307801079 + 0.0*i,
    -0.0157636332498692 + 0.0*i,
    -0.0248241912012887 + 0.0*i,
    0.400068753070279 + 0.0*i,
    0.2084904086437 + 0.0*i,
    -0.166191079382127 + 0.0*i,
    0.19749160545666 + 0.0*i,
    0.00863836160735214 + 0.0*i,
    -0.0523034986426954 + 0.0*i,
    -0.377718120204418 + 0.0*i,
    0.120755208850627 + 0.0*i,
    0.282035181599103 + 0.0*i,
    0.220952206856624 + 0.0*i,
    0.0443634816067024 + 0.0*i
]);