V:=Matrix(CC,4,82,[
    -0.089924492778089 + 0.0*i,
    -0.557293117574596 + 0.0*i,
    0.0824435542756761 + 0.0*i,
    0.396607667076474 + 0.0*i,
    -0.284794573650571 + 0.0*i,
    0.872321545995357 + 0.0*i,
    0.220455543887556 + 0.0*i,
    -0.920976112759305 + 0.0*i,
    1.11776545947864 + 0.0*i,
    -0.631117147413762 + 0.0*i,
    0.466635509804876 + 0.0*i,
    -0.738870358103766 + 0.0*i,
    -0.0878489790988922 + 0.0*i,
    -0.603205885941641 + 0.0*i,
    -0.0467732198414592 + 0.0*i,
    -0.47073752145962 + 0.0*i,
    -0.553978798700598 + 0.0*i,
    0.0757333951942888 + 0.0*i,
    -0.388673197775282 + 0.0*i,
    -0.833679087736006 + 0.0*i,
    -0.451044367668304 + 0.0*i,
    0.865929846960392 + 0.0*i,
    0.0826148857231092 + 0.0*i,
    0.221842538921428 + 0.0*i,
    0.441485447200063 + 0.0*i,
    0.205736464442336 + 0.0*i,
    -0.148060462638755 + 0.0*i,
    -0.42922131230134 + 0.0*i,
    -0.852407401189682 + 0.0*i,
    -0.357528721724224 + 0.0*i,
    -0.0235371493760316 + 0.0*i,
    -0.399893431903493 + 0.0*i,
    -0.0928579309682444 + 0.0*i,
    0.252803375637609 + 0.0*i,
    0.140825749031733 + 0.0*i,
    0.0268361163398191 + 0.0*i,
    -0.468630009856705 + 0.0*i,
    -0.228908237999557 + 0.0*i,
    0.3988900837733 + 0.0*i,
    0.441056898238815 + 0.0*i,
    -0.693251079616419 + 0.0*i,
    0.613536851419625 + 0.0*i,
    -0.717808593548804 + 0.0*i,
    0.0154299297914457 + 0.0*i,
    -0.0939915752292552 + 0.0*i,
    1.24966080186897 + 0.0*i,
    -0.0664050852115225 + 0.0*i,
    -0.289811019813269 + 0.0*i,
    -0.929067046354989 + 0.0*i,
    0.393225167311523 + 0.0*i,
    0.166680965511714 + 0.0*i,
    0.664264092730521 + 0.0*i,
    0.256706169286062 + 0.0*i,
    -0.139650501416329 + 0.0*i,
    -0.709907892807654 + 0.0*i,
    -1.00552905731564 + 0.0*i,
    0.090457286020665 + 0.0*i,
    0.502907662703451 + 0.0*i,
    0.107649007031582 + 0.0*i,
    -0.571079804042909 + 0.0*i,
    -0.157570474309506 + 0.0*i,
    0.671056087428431 + 0.0*i,
    0.210493492173045 + 0.0*i,
    -0.451197198624099 + 0.0*i,
    0.0467186405756098 + 0.0*i,
    0.259738227667715 + 0.0*i,
    -0.757111461345364 + 0.0*i,
    0.0678086358549301 + 0.0*i,
    0.51168674788119 + 0.0*i,
    0.195523394165274 + 0.0*i,
    0.0230239567681956 + 0.0*i,
    0.582082999062144 + 0.0*i,
    -0.549986590828665 + 0.0*i,
    -0.0619684954086665 + 0.0*i,
    0.241193009879882 + 0.0*i,
    -0.211897693890936 + 0.0*i,
    0.31779995293124 + 0.0*i,
    0.588216357848818 + 0.0*i,
    -0.439912423326719 + 0.0*i,
    -0.172371590835334 + 0.0*i,
    0.177968330480552 + 0.0*i,
    0.769685730988288 + 0.0*i,
    0.288144342552168 + 0.0*i,
    1.14623098074557 + 0.0*i,
    0.0731200985757953 + 0.0*i,
    -0.855902162709311 + 0.0*i,
    0.323362224935377 + 0.0*i,
    0.474359326570119 + 0.0*i,
    0.714990210855712 + 0.0*i,
    0.380867264950059 + 0.0*i,
    0.501542661512894 + 0.0*i,
    -0.716925020186005 + 0.0*i,
    0.265875937297149 + 0.0*i,
    0.16979902287943 + 0.0*i,
    -0.0596533715889945 + 0.0*i,
    0.425430533338675 + 0.0*i,
    -0.0148506570703339 + 0.0*i,
    -0.150416070199554 + 0.0*i,
    0.0995146685432807 + 0.0*i,
    0.526627481748011 + 0.0*i,
    0.301634133642267 + 0.0*i,
    -0.939805040265392 + 0.0*i,
    -0.217735057113841 + 0.0*i,
    0.166776163082467 + 0.0*i,
    -0.367201518795535 + 0.0*i,
    0.197974847857941 + 0.0*i,
    0.857177999129105 + 0.0*i,
    -0.239840159339111 + 0.0*i,
    -0.91296007101588 + 0.0*i,
    -0.0584946924310732 + 0.0*i,
    0.209543826392351 + 0.0*i,
    0.412466259399445 + 0.0*i,
    0.807609700483157 + 0.0*i,
    -0.0919521985928949 + 0.0*i,
    0.00934757060891182 + 0.0*i,
    0.0976259609501414 + 0.0*i,
    -0.792206015959626 + 0.0*i,
    0.454852368984983 + 0.0*i,
    0.548521417107239 + 0.0*i,
    0.707639901033904 + 0.0*i,
    -0.736807589272319 + 0.0*i,
    0.132070266149798 + 0.0*i,
    0.0671011767166419 + 0.0*i,
    0.337815335893973 + 0.0*i,
    0.114380593537001 + 0.0*i,
    0.379290621622196 + 0.0*i,
    0.546066904686736 + 0.0*i,
    -0.500494343230532 + 0.0*i,
    0.148400978653793 + 0.0*i,
    -0.0847681291526109 + 0.0*i,
    -0.196085771805137 + 0.0*i,
    0.191565918723239 + 0.0*i,
    0.308303127395654 + 0.0*i,
    0.686085358274663 + 0.0*i,
    -0.713342379674473 + 0.0*i,
    -0.307267115886556 + 0.0*i,
    -0.637862059030674 + 0.0*i,
    0.0931101034072732 + 0.0*i,
    0.330047527956187 + 0.0*i,
    0.240712573257788 + 0.0*i,
    -0.0679216306837483 + 0.0*i,
    -0.0880058740641073 + 0.0*i,
    0.593574971401322 + 0.0*i,
    0.396232818134335 + 0.0*i,
    -0.74224715250407 + 0.0*i,
    0.286528426892754 + 0.0*i,
    0.599623649156186 + 0.0*i,
    -0.138382515119966 + 0.0*i,
    0.6870614722114 + 0.0*i,
    0.385930266007811 + 0.0*i,
    0.696391871236537 + 0.0*i,
    1.17213381734753 + 0.0*i,
    0.0176005531874733 + 0.0*i,
    0.131536835951413 + 0.0*i,
    0.174627699976192 + 0.0*i,
    1.06792246337862 + 0.0*i,
    -0.0219916118780626 + 0.0*i,
    -0.71117611108133 + 0.0*i,
    0.168042803758771 + 0.0*i,
    0.336704234913421 + 0.0*i,
    0.514982440729457 + 0.0*i,
    -0.579692984659535 + 0.0*i,
    1.00595639526215 + 0.0*i,
    0.127673603622265 + 0.0*i,
    0.060431081479338 + 0.0*i,
    0.503790331660474 + 0.0*i,
    -0.0787907665572294 + 0.0*i,
    0.501635187972415 + 0.0*i,
    -0.414313101249524 + 0.0*i,
    0.436497638864609 + 0.0*i,
    -0.836748966823787 + 0.0*i,
    0.536604428051538 + 0.0*i,
    -0.314999307226661 + 0.0*i,
    0.176364061100896 + 0.0*i,
    -0.861977415658679 + 0.0*i,
    0.606631364022877 + 0.0*i,
    -0.813822590458623 + 0.0*i,
    -0.321403921968616 + 0.0*i,
    -0.102398586911606 + 0.0*i,
    0.0323122562050191 + 0.0*i,
    0.822458345804103 + 0.0*i,
    0.826224817894648 + 0.0*i,
    -0.270926716903557 + 0.0*i,
    -0.166358799793261 + 0.0*i,
    0.459986469692946 + 0.0*i,
    -0.518865382018051 + 0.0*i,
    -0.330661600017974 + 0.0*i,
    -0.11400319690237 + 0.0*i,
    -0.220916605196808 + 0.0*i,
    0.300334065090558 + 0.0*i,
    -0.521880859961613 + 0.0*i,
    0.358378687518924 + 0.0*i,
    -0.414591964146826 + 0.0*i,
    -0.196939719768389 + 0.0*i,
    0.253034246059063 + 0.0*i,
    0.401541901039567 + 0.0*i,
    -0.340782494770624 + 0.0*i,
    -0.858431290491035 + 0.0*i,
    0.559636493715776 + 0.0*i,
    -0.931762167590109 + 0.0*i,
    -0.807774715139093 + 0.0*i,
    0.133769224869617 + 0.0*i,
    0.5136804086218 + 0.0*i,
    0.149507061314472 + 0.0*i,
    -0.596032841925239 + 0.0*i,
    -0.0820695844152032 + 0.0*i,
    0.94231787393321 + 0.0*i,
    -0.10909041983296 + 0.0*i,
    -0.153208051335023 + 0.0*i,
    0.0061651751694862 + 0.0*i,
    0.0487351218342119 + 0.0*i,
    -0.423545744055499 + 0.0*i,
    -0.305826708571168 + 0.0*i,
    0.0921887837216973 + 0.0*i,
    0.521099873200988 + 0.0*i,
    0.503769537882684 + 0.0*i,
    0.306924705606739 + 0.0*i,
    -0.185593364060325 + 0.0*i,
    -0.292419854553344 + 0.0*i,
    -0.910486181017131 + 0.0*i,
    -0.0659972849609037 + 0.0*i,
    0.330684089464713 + 0.0*i,
    -0.754319810453434 + 0.0*i,
    0.959765285407222 + 0.0*i,
    0.994655224492674 + 0.0*i,
    0.718643814289834 + 0.0*i,
    0.542883908361609 + 0.0*i,
    -0.0684989978605147 + 0.0*i,
    -0.784085526582011 + 0.0*i,
    -0.639690589041817 + 0.0*i,
    0.299978627821061 + 0.0*i,
    -0.0718261929086137 + 0.0*i,
    -0.151349152839331 + 0.0*i,
    0.477097043319964 + 0.0*i,
    0.918403700804918 + 0.0*i,
    0.56142899597368 + 0.0*i,
    0.0239495377474373 + 0.0*i,
    -0.668621340954469 + 0.0*i,
    0.199282462565953 + 0.0*i,
    0.350325017413924 + 0.0*i,
    0.615447621641782 + 0.0*i,
    -0.419784776983732 + 0.0*i,
    0.202481760138091 + 0.0*i,
    -0.331082067549283 + 0.0*i,
    -0.503694977862278 + 0.0*i,
    -0.836747998044237 + 0.0*i,
    -0.460047962259126 + 0.0*i,
    0.355471461081614 + 0.0*i,
    0.238452984974008 + 0.0*i,
    -0.331668000673961 + 0.0*i,
    -0.421872226379042 + 0.0*i,
    0.274194688116857 + 0.0*i,
    0.156165833579998 + 0.0*i,
    0.0094313707635838 + 0.0*i,
    -0.165780492293077 + 0.0*i,
    -0.206893795106236 + 0.0*i,
    0.545122043101442 + 0.0*i,
    -0.455465067070992 + 0.0*i,
    -0.0046156156433009 + 0.0*i,
    -0.140822143216552 + 0.0*i,
    -0.843360772898599 + 0.0*i,
    0.985888803158682 + 0.0*i,
    0.716081943211477 + 0.0*i,
    1.2192353832164 + 0.0*i,
    0.346659264863967 + 0.0*i,
    -0.476221762565706 + 0.0*i,
    -0.612240305673863 + 0.0*i,
    0.572754011668695 + 0.0*i,
    -0.369186169506625 + 0.0*i,
    -0.261888348721375 + 0.0*i,
    -0.640671700631609 + 0.0*i,
    0.163238869554523 + 0.0*i,
    0.680458250303227 + 0.0*i,
    -0.446199965458671 + 0.0*i,
    -0.889369375675969 + 0.0*i,
    0.106248524332251 + 0.0*i,
    0.288266861110273 + 0.0*i,
    -0.124719591694305 + 0.0*i,
    -0.547203897574676 + 0.0*i,
    0.0728467576162051 + 0.0*i,
    0.371583834100392 + 0.0*i,
    -0.565095500881874 + 0.0*i,
    0.471121889837538 + 0.0*i,
    -0.0955543290532572 + 0.0*i,
    -0.00961628216439491 + 0.0*i,
    0.223853762504048 + 0.0*i,
    0.191065197406192 + 0.0*i,
    -0.470221868342101 + 0.0*i,
    0.149264807602249 + 0.0*i,
    0.333343221086976 + 0.0*i,
    -0.344309411463232 + 0.0*i,
    0.122661511480052 + 0.0*i,
    -1.24590629378755 + 0.0*i,
    0.31634400350227 + 0.0*i,
    0.465247470936899 + 0.0*i,
    -0.529831535525517 + 0.0*i,
    -0.136258044578085 + 0.0*i,
    -0.445555753586825 + 0.0*i,
    0.120149733692817 + 0.0*i,
    -0.844477593185195 + 0.0*i,
    0.235858819132278 + 0.0*i,
    0.058409511600037 + 0.0*i,
    0.163172466460061 + 0.0*i,
    -0.50683833864001 + 0.0*i,
    0.865064904638589 + 0.0*i,
    0.24435686990461 + 0.0*i,
    -0.188699735382277 + 0.0*i,
    0.473059469020534 + 0.0*i,
    0.397453498338406 + 0.0*i,
    0.301305948453793 + 0.0*i,
    0.330757340638789 + 0.0*i,
    0.380620336171053 + 0.0*i,
    -0.839715760141198 + 0.0*i,
    -0.636416240129567 + 0.0*i,
    0.220298749183491 + 0.0*i,
    -0.203356359081585 + 0.0*i,
    0.563703461883087 + 0.0*i,
    -1.04946142386924 + 0.0*i,
    0.667467767740799 + 0.0*i,
    0.0268472379095106 + 0.0*i,
    0.85029613937614 + 0.0*i,
    -0.307334849569737 + 0.0*i,
    0.139116013232677 + 0.0*i,
    0.640842836851453 + 0.0*i,
    -0.174830341454432 + 0.0*i,
    -0.164474208260546 + 0.0*i,
    0.945820659054409 + 0.0*i,
    0.0936748285692832 + 0.0*i
]);