V:=Matrix(CC,4,79,[
    0.300573887685909 + 0.0*i,
    -0.337412705706735 + 0.0*i,
    0.40109788214009 + 0.0*i,
    -0.273718763889974 + 0.0*i,
    0.431292267950034 + 0.0*i,
    0.60447701233436 + 0.0*i,
    -0.807622548966507 + 0.0*i,
    0.308184518448474 + 0.0*i,
    -0.428830357375855 + 0.0*i,
    -0.231321451737518 + 0.0*i,
    0.66163753012278 + 0.0*i,
    -0.669565487675034 + 0.0*i,
    -0.392694070333657 + 0.0*i,
    0.294449004333723 + 0.0*i,
    0.130962945416869 + 0.0*i,
    -0.0636144782485198 + 0.0*i,
    -0.486277065807147 + 0.0*i,
    0.0308033475471914 + 0.0*i,
    0.730335215698311 + 0.0*i,
    -0.173066089243867 + 0.0*i,
    0.926033593204831 + 0.0*i,
    0.361369287065018 + 0.0*i,
    0.558496766014011 + 0.0*i,
    0.338200421898895 + 0.0*i,
    0.994925300608507 + 0.0*i,
    -0.134163016650776 + 0.0*i,
    -0.860348199892134 + 0.0*i,
    -0.257548834872013 + 0.0*i,
    0.463689566893412 + 0.0*i,
    -0.527553938425884 + 0.0*i,
    0.227453172662629 + 0.0*i,
    0.269186074160638 + 0.0*i,
    0.469711336109259 + 0.0*i,
    0.345044276561858 + 0.0*i,
    0.473020222552491 + 0.0*i,
    -0.96327842698037 + 0.0*i,
    -1.11135734188045 + 0.0*i,
    0.753369218016832 + 0.0*i,
    0.253187585100928 + 0.0*i,
    -0.0636513118941342 + 0.0*i,
    -0.437226720881023 + 0.0*i,
    -0.186383172257545 + 0.0*i,
    0.129417205471656 + 0.0*i,
    0.356118472339895 + 0.0*i,
    0.271547865267173 + 0.0*i,
    0.563248191688122 + 0.0*i,
    -0.592292031292443 + 0.0*i,
    0.966960161284742 + 0.0*i,
    -0.142106203155849 + 0.0*i,
    -0.0691826899939772 + 0.0*i,
    -0.330303344908845 + 0.0*i,
    -0.362869974592342 + 0.0*i,
    0.105585552097851 + 0.0*i,
    0.0961807264984115 + 0.0*i,
    0.583354674813895 + 0.0*i,
    0.721998948479751 + 0.0*i,
    0.142209593684858 + 0.0*i,
    0.141073199914816 + 0.0*i,
    0.591660734646457 + 0.0*i,
    -0.169256181999938 + 0.0*i,
    0.168165333614256 + 0.0*i,
    -0.485719005157327 + 0.0*i,
    -0.354938925366362 + 0.0*i,
    -0.367511645793211 + 0.0*i,
    -0.305122381263755 + 0.0*i,
    0.676438188974827 + 0.0*i,
    0.129779657362613 + 0.0*i,
    -0.962187021123388 + 0.0*i,
    1.10882323213157 + 0.0*i,
    0.260842348360306 + 0.0*i,
    0.218570754040913 + 0.0*i,
    -0.908996930051741 + 0.0*i,
    -0.323916198535121 + 0.0*i,
    0.0656658438686614 + 0.0*i,
    0.588391629318303 + 0.0*i,
    0.262603238659683 + 0.0*i,
    0.901956176280036 + 0.0*i,
    -0.954644385281389 + 0.0*i,
    0.735896761984065 + 0.0*i,
    0.571695026643677 + 0.0*i,
    -0.117047653751319 + 0.0*i,
    0.456379226813163 + 0.0*i,
    -0.144301925314664 + 0.0*i,
    1.10734529868706 + 0.0*i,
    0.3745844274489 + 0.0*i,
    0.138504102728055 + 0.0*i,
    -0.361103468187115 + 0.0*i,
    0.320751564582275 + 0.0*i,
    0.0705710688317507 + 0.0*i,
    -0.0947584620166582 + 0.0*i,
    -0.0343020298864528 + 0.0*i,
    -0.226873001757338 + 0.0*i,
    -0.189757991749399 + 0.0*i,
    0.0511760310669356 + 0.0*i,
    -0.425324390571296 + 0.0*i,
    0.527787423455741 + 0.0*i,
    0.409981338325786 + 0.0*i,
    0.194881425590063 + 0.0*i,
    -0.385890454461071 + 0.0*i,
    -0.684963870795096 + 0.0*i,
    0.0442473068962341 + 0.0*i,
    0.739963133548633 + 0.0*i,
    -0.0454024753298443 + 0.0*i,
    -0.297958712763413 + 0.0*i,
    0.354657918385622 + 0.0*i,
    -0.897832717072398 + 0.0*i,
    0.298712598941844 + 0.0*i,
    0.191262603987266 + 0.0*i,
    -0.360674267209564 + 0.0*i,
    0.205796700684 + 0.0*i,
    0.404260701883676 + 0.0*i,
    0.563314895570566 + 0.0*i,
    -0.0462778664709681 + 0.0*i,
    -0.285897739054604 + 0.0*i,
    -0.136734811965406 + 0.0*i,
    0.417790211922973 + 0.0*i,
    0.557294141770094 + 0.0*i,
    0.289313614533765 + 0.0*i,
    0.0850504414219487 + 0.0*i,
    -0.146034519879922 + 0.0*i,
    -0.404427347470336 + 0.0*i,
    -1.23617951478015 + 0.0*i,
    0.528456460402602 + 0.0*i,
    -0.617551321828564 + 0.0*i,
    0.679540017408122 + 0.0*i,
    0.167378319279601 + 0.0*i,
    -0.950911016859783 + 0.0*i,
    -0.406620045436428 + 0.0*i,
    -1.19588034849253 + 0.0*i,
    0.846454508383486 + 0.0*i,
    -1.02474264442177 + 0.0*i,
    -0.370623275926293 + 0.0*i,
    0.692320885822368 + 0.0*i,
    0.332365963893578 + 0.0*i,
    -0.142588334310423 + 0.0*i,
    0.00586000515141154 + 0.0*i,
    -0.541952420249305 + 0.0*i,
    -0.0341392499684885 + 0.0*i,
    0.316034456775227 + 0.0*i,
    0.206940246612439 + 0.0*i,
    0.0451846993493135 + 0.0*i,
    1.1760902628728 + 0.0*i,
    -0.852799373289438 + 0.0*i,
    0.262319040699039 + 0.0*i,
    0.256001080257691 + 0.0*i,
    -0.727434854521829 + 0.0*i,
    0.0466195607061898 + 0.0*i,
    0.0838835880848967 + 0.0*i,
    -0.897913963102182 + 0.0*i,
    0.26251940812843 + 0.0*i,
    0.96436989074196 + 0.0*i,
    0.111753404698039 + 0.0*i,
    0.0383667986359455 + 0.0*i,
    -0.166659427243717 + 0.0*i,
    0.164094141313557 + 0.0*i,
    0.242089023076244 + 0.0*i,
    -0.181228189072753 + 0.0*i,
    0.123577079185972 + 0.0*i,
    0.354719379660816 + 0.0*i,
    0.453599458718444 + 0.0*i,
    -0.0582550045638803 + 0.0*i,
    0.125135036938843 + 0.0*i,
    -0.50646909513015 + 0.0*i,
    0.404872333315771 + 0.0*i,
    -0.538516692905012 + 0.0*i,
    0.451415494541666 + 0.0*i,
    -0.279436596076402 + 0.0*i,
    -0.169843571160028 + 0.0*i,
    -0.0699804619606516 + 0.0*i,
    0.483293811439907 + 0.0*i,
    0.351667169217476 + 0.0*i,
    -0.187582582639637 + 0.0*i,
    -0.476673884842026 + 0.0*i,
    0.541383560554394 + 0.0*i,
    0.332036247531989 + 0.0*i,
    0.665865591861884 + 0.0*i,
    -0.780560430722638 + 0.0*i,
    -0.053562884171408 + 0.0*i,
    0.435968501954709 + 0.0*i,
    -0.349801942939878 + 0.0*i,
    0.850865819978723 + 0.0*i,
    0.282382652373056 + 0.0*i,
    -0.160000743469274 + 0.0*i,
    -0.250726209474951 + 0.0*i,
    0.141131469064184 + 0.0*i,
    -0.894250922780046 + 0.0*i,
    0.745705672658506 + 0.0*i,
    0.32455213146697 + 0.0*i,
    0.0761520542976989 + 0.0*i,
    -0.553912065090467 + 0.0*i,
    0.681582923944684 + 0.0*i,
    0.100222313210901 + 0.0*i,
    0.670823898600398 + 0.0*i,
    0.379749715396877 + 0.0*i,
    0.205477752166462 + 0.0*i,
    0.114784805278867 + 0.0*i,
    -0.163332989429091 + 0.0*i,
    0.234668261725675 + 0.0*i,
    -0.139299333027971 + 0.0*i,
    -0.660021890987981 + 0.0*i,
    0.266238691353117 + 0.0*i,
    -0.68208536201398 + 0.0*i,
    -0.347323729121028 + 0.0*i,
    0.0252633803169091 + 0.0*i,
    -0.90881073977571 + 0.0*i,
    -0.0184735724165643 + 0.0*i,
    -0.452824560010096 + 0.0*i,
    0.0780484210517792 + 0.0*i,
    -0.885186474634494 + 0.0*i,
    0.439927365487033 + 0.0*i,
    0.434787610688194 + 0.0*i,
    -0.899970024223338 + 0.0*i,
    0.698868340946792 + 0.0*i,
    -0.171421229994568 + 0.0*i,
    0.207014541060963 + 0.0*i,
    -0.635790208718888 + 0.0*i,
    0.0828998766589325 + 0.0*i,
    1.45404878371871 + 0.0*i,
    -0.306275366659013 + 0.0*i,
    -0.351546990506334 + 0.0*i,
    0.503752173389658 + 0.0*i,
    -0.260338243612209 + 0.0*i,
    0.602770328928679 + 0.0*i,
    -0.824032382087138 + 0.0*i,
    -0.0099962067497189 + 0.0*i,
    0.114888023717017 + 0.0*i,
    -0.171072743709345 + 0.0*i,
    -0.772100323876156 + 0.0*i,
    0.448997577176834 + 0.0*i,
    -0.370002641046622 + 0.0*i,
    -0.1307047743277 + 0.0*i,
    0.543179512432766 + 0.0*i,
    -0.212625683259591 + 0.0*i,
    0.293362411269483 + 0.0*i,
    -0.945649501695969 + 0.0*i,
    -0.455325838088572 + 0.0*i,
    0.53130658005156 + 0.0*i,
    -0.0371345735165348 + 0.0*i,
    0.641919344436884 + 0.0*i,
    0.0417752555112469 + 0.0*i,
    0.841441703765683 + 0.0*i,
    0.446547101342962 + 0.0*i,
    0.0717328812082216 + 0.0*i,
    0.0926353129299707 + 0.0*i,
    0.260130269306849 + 0.0*i,
    -1.02965793444211 + 0.0*i,
    0.0278035126768249 + 0.0*i,
    -0.0991173374784044 + 0.0*i,
    -0.220119553054082 + 0.0*i,
    -0.0464754055494718 + 0.0*i,
    0.0551792971034195 + 0.0*i,
    0.135157597935153 + 0.0*i,
    -0.6132391625839 + 0.0*i,
    0.0543833667753806 + 0.0*i,
    -0.135012479779237 + 0.0*i,
    0.0076385725410314 + 0.0*i,
    0.0280795604277935 + 0.0*i,
    -0.897367433980839 + 0.0*i,
    -0.365978175515467 + 0.0*i,
    -0.480032808590283 + 0.0*i,
    0.398730023524539 + 0.0*i,
    -0.540351130751479 + 0.0*i,
    0.0899938920156051 + 0.0*i,
    0.619066716412266 + 0.0*i,
    -0.667463110822605 + 0.0*i,
    0.623124192731292 + 0.0*i,
    -0.0159487434051784 + 0.0*i,
    0.226318089578805 + 0.0*i,
    -0.174835673358133 + 0.0*i,
    -0.973938878212631 + 0.0*i,
    0.367364319716458 + 0.0*i,
    -0.785648365796457 + 0.0*i,
    -0.816870896390106 + 0.0*i,
    -0.302467558835902 + 0.0*i,
    0.508842698463071 + 0.0*i,
    0.000273081619696325 + 0.0*i,
    0.0145545382402576 + 0.0*i,
    -0.420594722195525 + 0.0*i,
    0.886964329408856 + 0.0*i,
    -0.200345551509868 + 0.0*i,
    1.06556106267106 + 0.0*i,
    -0.116999087724657 + 0.0*i,
    0.2396927657459 + 0.0*i,
    0.227561403860995 + 0.0*i,
    -0.606317859646678 + 0.0*i,
    1.1401578780543 + 0.0*i,
    -0.442536256733908 + 0.0*i,
    -0.093460622399719 + 0.0*i,
    0.807238695982566 + 0.0*i,
    0.089847395820853 + 0.0*i,
    0.329538660551661 + 0.0*i,
    0.0319051602312198 + 0.0*i,
    0.766637793904843 + 0.0*i,
    -0.00432111562159228 + 0.0*i,
    -1.30430707591207 + 0.0*i,
    -0.652441841800759 + 0.0*i,
    0.0568520946531971 + 0.0*i,
    0.115594356159351 + 0.0*i,
    -0.716168667851813 + 0.0*i,
    0.18174224675057 + 0.0*i,
    -0.0166571561456057 + 0.0*i,
    0.25035763276043 + 0.0*i,
    0.240136935026991 + 0.0*i,
    0.373609122912964 + 0.0*i,
    0.203744318758031 + 0.0*i,
    0.177097128929136 + 0.0*i,
    0.75053858189066 + 0.0*i,
    -0.0449060565764274 + 0.0*i,
    -0.32709310693094 + 0.0*i,
    0.128844024904271 + 0.0*i,
    0.0354869078813819 + 0.0*i,
    0.00410734658844977 + 0.0*i,
    -0.258548056933262 + 0.0*i,
    -0.134944759848171 + 0.0*i,
    -0.448347387721744 + 0.0*i,
    -0.496321622340691 + 0.0*i
]);