V:=Matrix(CC,4,70,[
    0.527581313941055 + 0.0*i,
    -0.00971750824892873 + 0.0*i,
    0.466792236370527 + 0.0*i,
    -0.350796773916095 + 0.0*i,
    0.316495704961468 + 0.0*i,
    0.192181720193042 + 0.0*i,
    0.257943393136785 + 0.0*i,
    0.216154736349606 + 0.0*i,
    0.662318557682414 + 0.0*i,
    0.0422025739550085 + 0.0*i,
    -0.703525886624706 + 0.0*i,
    -0.380444935320697 + 0.0*i,
    -0.427697661556113 + 0.0*i,
    0.52391987666528 + 0.0*i,
    -0.324228642942966 + 0.0*i,
    0.574422601534846 + 0.0*i,
    -0.919784892487674 + 0.0*i,
    0.31941062915802 + 0.0*i,
    0.542221525535351 + 0.0*i,
    -0.597581074938065 + 0.0*i,
    -0.588794089377452 + 0.0*i,
    0.14584550259711 + 0.0*i,
    -0.264931506090163 + 0.0*i,
    1.10261053590933 + 0.0*i,
    0.421101921034944 + 0.0*i,
    -0.462792768815856 + 0.0*i,
    1.12811142075882 + 0.0*i,
    -0.744817985814427 + 0.0*i,
    -0.866230004262355 + 0.0*i,
    0.143391428446818 + 0.0*i,
    -0.041186362974109 + 0.0*i,
    0.152775143797098 + 0.0*i,
    -0.239908175455275 + 0.0*i,
    0.224334555673133 + 0.0*i,
    -0.0626383531940047 + 0.0*i,
    0.611705998012898 + 0.0*i,
    -0.625280862014396 + 0.0*i,
    -0.673256412917525 + 0.0*i,
    -1.22661725440665 + 0.0*i,
    0.179391527876954 + 0.0*i,
    -0.525942658732719 + 0.0*i,
    -0.294437846056381 + 0.0*i,
    -0.623882793367575 + 0.0*i,
    0.747409141041729 + 0.0*i,
    0.0397990297185001 + 0.0*i,
    -0.0514920331866311 + 0.0*i,
    -0.28608266647692 + 0.0*i,
    -0.502726827104806 + 0.0*i,
    -0.504685035647007 + 0.0*i,
    -0.421019053771273 + 0.0*i,
    0.367129935229224 + 0.0*i,
    0.996226441906585 + 0.0*i,
    0.619890221902953 + 0.0*i,
    -0.180814083316842 + 0.0*i,
    0.640802114494969 + 0.0*i,
    -0.565877169611148 + 0.0*i,
    0.0773560654321022 + 0.0*i,
    0.0969134132876436 + 0.0*i,
    0.378284764945831 + 0.0*i,
    0.102838403290433 + 0.0*i,
    0.274876223797753 + 0.0*i,
    -0.0686390686086851 + 0.0*i,
    -0.25154525184816 + 0.0*i,
    0.429235827253403 + 0.0*i,
    0.140981022723205 + 0.0*i,
    -0.0749250139559645 + 0.0*i,
    0.0472789881554377 + 0.0*i,
    -0.797743652478313 + 0.0*i,
    0.0723041637726587 + 0.0*i,
    0.666362703346715 + 0.0*i,
    -0.0664164593555776 + 0.0*i,
    0.743972405301512 + 0.0*i,
    0.0214823982225724 + 0.0*i,
    0.0172639476791562 + 0.0*i,
    0.250262862430561 + 0.0*i,
    -0.147170171383809 + 0.0*i,
    -0.229634247159738 + 0.0*i,
    0.0252535575233482 + 0.0*i,
    0.509480703750447 + 0.0*i,
    0.535676989917846 + 0.0*i,
    0.205276175887435 + 0.0*i,
    -0.142637792487444 + 0.0*i,
    -1.20607849695079 + 0.0*i,
    -0.478698284370646 + 0.0*i,
    -0.23779691404305 + 0.0*i,
    0.391850443388483 + 0.0*i,
    -0.78582326457925 + 0.0*i,
    0.810933662048817 + 0.0*i,
    -0.164511591996839 + 0.0*i,
    -0.0106104543762432 + 0.0*i,
    0.168737162188893 + 0.0*i,
    -0.0318031417375195 + 0.0*i,
    -0.551982815820832 + 0.0*i,
    -0.382098278061751 + 0.0*i,
    0.562092379449078 + 0.0*i,
    -0.00352631053720496 + 0.0*i,
    0.436749862649153 + 0.0*i,
    -0.293788514559014 + 0.0*i,
    0.781442364916667 + 0.0*i,
    -0.356555807706118 + 0.0*i,
    0.118357130201699 + 0.0*i,
    -0.955018481771307 + 0.0*i,
    0.69027802862493 + 0.0*i,
    -0.428584777210742 + 0.0*i,
    -0.350186744787821 + 0.0*i,
    -0.559764601961214 + 0.0*i,
    -0.184223724953856 + 0.0*i,
    -0.22863831000744 + 0.0*i,
    0.0452073115147822 + 0.0*i,
    0.440244910477939 + 0.0*i,
    0.0405146452773822 + 0.0*i,
    0.0277415198947759 + 0.0*i,
    -0.115701336513588 + 0.0*i,
    0.553804803602565 + 0.0*i,
    -0.257754554790873 + 0.0*i,
    0.664495521742078 + 0.0*i,
    -0.647733104234668 + 0.0*i,
    -0.480085055984202 + 0.0*i,
    0.165497151661245 + 0.0*i,
    0.204982393384362 + 0.0*i,
    -0.00742688543952097 + 0.0*i,
    -0.97507009383753 + 0.0*i,
    -0.247703812679911 + 0.0*i,
    0.524632371489148 + 0.0*i,
    -0.483501072021473 + 0.0*i,
    0.367709485304224 + 0.0*i,
    1.155510515285 + 0.0*i,
    -0.414953863142497 + 0.0*i,
    -0.221056190611488 + 0.0*i,
    -0.00454301493684602 + 0.0*i,
    -0.370117116315298 + 0.0*i,
    0.203704138421918 + 0.0*i,
    -0.0806696573723903 + 0.0*i,
    0.381120041487285 + 0.0*i,
    -0.102139682486502 + 0.0*i,
    1.22466888422651 + 0.0*i,
    0.33012044989314 + 0.0*i,
    0.110469677742158 + 0.0*i,
    -0.351006874284892 + 0.0*i,
    -0.08494199424185 + 0.0*i,
    -0.612897166020909 + 0.0*i,
    -1.13622202630132 + 0.0*i,
    0.147724212947273 + 0.0*i,
    -0.0336211864786752 + 0.0*i,
    0.823482967614852 + 0.0*i,
    -0.166533710693252 + 0.0*i,
    -0.902192832826572 + 0.0*i,
    -0.0152049761195149 + 0.0*i,
    -0.352169315706618 + 0.0*i,
    -0.627847889576668 + 0.0*i,
    0.0323811458253298 + 0.0*i,
    1.23559799450457 + 0.0*i,
    0.371455638068332 + 0.0*i,
    -0.0239457264249034 + 0.0*i,
    0.331700905326543 + 0.0*i,
    0.565788341057037 + 0.0*i,
    -0.638663621691934 + 0.0*i,
    0.285287238623672 + 0.0*i,
    0.623945437258975 + 0.0*i,
    -1.02390465450552 + 0.0*i,
    0.765499201563189 + 0.0*i,
    -0.125301660597824 + 0.0*i,
    -0.195254835193258 + 0.0*i,
    -0.659620748951889 + 0.0*i,
    -0.0192945751637357 + 0.0*i,
    -0.281431426872282 + 0.0*i,
    -0.0860991987852002 + 0.0*i,
    -0.321327299241941 + 0.0*i,
    0.581822744844807 + 0.0*i,
    0.580803408106335 + 0.0*i,
    -0.179604231109771 + 0.0*i,
    -0.598128081629696 + 0.0*i,
    -0.66630888317107 + 0.0*i,
    0.496686777627656 + 0.0*i,
    0.10122589860626 + 0.0*i,
    -0.154344548521867 + 0.0*i,
    0.555248608664395 + 0.0*i,
    0.2110310235321 + 0.0*i,
    -0.0541861295727557 + 0.0*i,
    0.593058070287778 + 0.0*i,
    -0.283876752650377 + 0.0*i,
    0.517439931382832 + 0.0*i,
    -0.621742567882828 + 0.0*i,
    -0.877185631572142 + 0.0*i,
    0.276006625988787 + 0.0*i,
    1.16193634377422 + 0.0*i,
    -0.171026277224485 + 0.0*i,
    0.22939325816957 + 0.0*i,
    0.208360290059744 + 0.0*i,
    -0.06101146163708 + 0.0*i,
    -0.729053158921765 + 0.0*i,
    0.211016982562128 + 0.0*i,
    0.0210873214346857 + 0.0*i,
    0.289386225435654 + 0.0*i,
    0.680192491789463 + 0.0*i,
    -0.273736787078123 + 0.0*i,
    0.113638856726268 + 0.0*i,
    0.155013769800054 + 0.0*i,
    0.427285018539904 + 0.0*i,
    -0.146974669143125 + 0.0*i,
    0.977783608453228 + 0.0*i,
    -0.0706298532540778 + 0.0*i,
    0.896257221543998 + 0.0*i,
    0.0787168339915793 + 0.0*i,
    0.631901906413625 + 0.0*i,
    0.189595301511815 + 0.0*i,
    0.0559053290567915 + 0.0*i,
    0.0316818618557207 + 0.0*i,
    0.573425139110899 + 0.0*i,
    0.815494421975782 + 0.0*i,
    0.683847733799487 + 0.0*i,
    0.424772399175078 + 0.0*i,
    0.204591138223982 + 0.0*i,
    -0.40053942184876 + 0.0*i,
    0.0410689303231078 + 0.0*i,
    0.315568911229696 + 0.0*i,
    -0.881480911769149 + 0.0*i,
    0.205425469912591 + 0.0*i,
    0.576251381620915 + 0.0*i,
    -0.101900307670396 + 0.0*i,
    0.107001416216689 + 0.0*i,
    0.136971196151213 + 0.0*i,
    0.078734344623773 + 0.0*i,
    -1.04593640926188 + 0.0*i,
    -0.0121805056879827 + 0.0*i,
    -0.57153734328134 + 0.0*i,
    -0.0673904694935376 + 0.0*i,
    -0.213230761952647 + 0.0*i,
    0.195877186383409 + 0.0*i,
    -0.32605663259978 + 0.0*i,
    -0.0196501885934949 + 0.0*i,
    0.350665604333812 + 0.0*i,
    -0.230021938654697 + 0.0*i,
    0.0636185287145151 + 0.0*i,
    0.159308844953411 + 0.0*i,
    -0.31121017397916 + 0.0*i,
    -0.665283140900382 + 0.0*i,
    -0.858717298808615 + 0.0*i,
    0.350809409632134 + 0.0*i,
    0.157584683376009 + 0.0*i,
    0.479970451171188 + 0.0*i,
    0.825353440593712 + 0.0*i,
    -1.04022160899774 + 0.0*i,
    -0.0897569103239501 + 0.0*i,
    -0.667890058556768 + 0.0*i,
    0.41236419516483 + 0.0*i,
    -0.887505478853024 + 0.0*i,
    -0.560797797445192 + 0.0*i,
    -0.496611606517664 + 0.0*i,
    0.646017457707021 + 0.0*i,
    -0.0946682113042346 + 0.0*i,
    0.642864526208361 + 0.0*i,
    0.810825250685123 + 0.0*i,
    -0.0857801060783964 + 0.0*i,
    0.270588016858959 + 0.0*i,
    0.0547504314917357 + 0.0*i,
    0.0507819349282278 + 0.0*i,
    0.653988046521938 + 0.0*i,
    -0.121534089069987 + 0.0*i,
    -0.174484313880639 + 0.0*i,
    -0.320949415424456 + 0.0*i,
    0.0356018793636713 + 0.0*i,
    -0.678220832680992 + 0.0*i,
    0.117871810535101 + 0.0*i,
    -0.0866715177143933 + 0.0*i,
    0.338571445087312 + 0.0*i,
    0.765877328706338 + 0.0*i,
    0.151881767880956 + 0.0*i,
    0.195034198584388 + 0.0*i,
    1.30801146288828 + 0.0*i,
    0.0367992088967758 + 0.0*i,
    0.660397299039732 + 0.0*i,
    -0.600689594052171 + 0.0*i,
    -0.943567359343077 + 0.0*i,
    -0.247369694378244 + 0.0*i,
    -0.122453991252735 + 0.0*i,
    0.410790719139356 + 0.0*i,
    0.404069586817391 + 0.0*i,
    -0.492755258902519 + 0.0*i,
    -0.741896013684677 + 0.0*i
]);