V:=Matrix(CC,4,80,[
    -0.299512033367194 + 0.0*i,
    0.224026592103191 + 0.0*i,
    -0.233190342931137 + 0.0*i,
    0.140348601004001 + 0.0*i,
    0.0830172768555495 + 0.0*i,
    0.258564395702336 + 0.0*i,
    -0.189488870146908 + 0.0*i,
    -0.0140476648377019 + 0.0*i,
    -0.0297630251542794 + 0.0*i,
    0.0913243815838909 + 0.0*i,
    -0.0375182838926379 + 0.0*i,
    -0.0473102243522054 + 0.0*i,
    -0.358941028942042 + 0.0*i,
    0.0200015681612756 + 0.0*i,
    0.0752379660788372 + 0.0*i,
    0.385259779573186 + 0.0*i,
    -0.229443014711549 + 0.0*i,
    0.0044935262416736 + 0.0*i,
    0.117076144650182 + 0.0*i,
    0.348943040990941 + 0.0*i,
    0.373192342974894 + 0.0*i,
    -0.159716602524448 + 0.0*i,
    0.228266811706954 + 0.0*i,
    0.240540990283649 + 0.0*i,
    0.104165331218655 + 0.0*i,
    -0.243744447883233 + 0.0*i,
    -0.0332209891183277 + 0.0*i,
    -0.202506101009227 + 0.0*i,
    -0.154891268433002 + 0.0*i,
    -0.167384892208631 + 0.0*i,
    -0.182945689350804 + 0.0*i,
    0.273812392520871 + 0.0*i,
    0.214359886207916 + 0.0*i,
    -0.381939395836298 + 0.0*i,
    0.00127308488736863 + 0.0*i,
    -0.109232048829298 + 0.0*i,
    -0.303428604786782 + 0.0*i,
    0.190836894557281 + 0.0*i,
    -0.1421602007197 + 0.0*i,
    -0.0174159013055481 + 0.0*i,
    -0.18371830677387 + 0.0*i,
    0.26010303634524 + 0.0*i,
    -0.122078847223109 + 0.0*i,
    -0.375630632100926 + 0.0*i,
    -0.217797214739043 + 0.0*i,
    -0.120719479804973 + 0.0*i,
    0.240337220500298 + 0.0*i,
    -0.300511560210434 + 0.0*i,
    -0.357696778675034 + 0.0*i,
    0.329756266606871 + 0.0*i,
    -0.215453976296724 + 0.0*i,
    0.415313270221377 + 0.0*i,
    0.0599072469891275 + 0.0*i,
    -0.0411271019460082 + 0.0*i,
    0.266597348898476 + 0.0*i,
    0.350852172390803 + 0.0*i,
    -0.106125487959227 + 0.0*i,
    0.0252126395850888 + 0.0*i,
    0.0997307187923481 + 0.0*i,
    0.133495266483906 + 0.0*i,
    -0.170403252291756 + 0.0*i,
    0.025861383371713 + 0.0*i,
    0.268011286290755 + 0.0*i,
    0.030048190904637 + 0.0*i,
    -0.169151243641898 + 0.0*i,
    0.0292436636715393 + 0.0*i,
    0.343467920617042 + 0.0*i,
    -0.162482776411282 + 0.0*i,
    0.21317943796821 + 0.0*i,
    0.361394079677419 + 0.0*i,
    0.363728241987674 + 0.0*i,
    -0.095155901777948 + 0.0*i,
    -0.0694106066464555 + 0.0*i,
    0.000605259380063012 + 0.0*i,
    -0.301456228302194 + 0.0*i,
    -0.438919093898937 + 0.0*i,
    0.196840537855664 + 0.0*i,
    -0.117009486697771 + 0.0*i,
    -0.317439141927652 + 0.0*i,
    -0.215599487525552 + 0.0*i,
    -0.0507703439834532 + 0.0*i,
    0.0395256330916937 + 0.0*i,
    0.116524060386863 + 0.0*i,
    -0.000832405105417719 + 0.0*i,
    -0.19234439066808 + 0.0*i,
    0.246767486038969 + 0.0*i,
    0.195530584340573 + 0.0*i,
    0.189524514048838 + 0.0*i,
    0.275170774534121 + 0.0*i,
    -0.409933179534779 + 0.0*i,
    -0.313988977285971 + 0.0*i,
    -0.396496936543612 + 0.0*i,
    -0.0510853701365335 + 0.0*i,
    -0.351277593268808 + 0.0*i,
    -0.101022274724546 + 0.0*i,
    0.0317848234804239 + 0.0*i,
    -0.137201636806585 + 0.0*i,
    0.0415545393916755 + 0.0*i,
    0.141443310705415 + 0.0*i,
    0.194226335047107 + 0.0*i,
    0.122526716219125 + 0.0*i,
    -0.189257109666523 + 0.0*i,
    -0.288685497480029 + 0.0*i,
    -0.0800324039646061 + 0.0*i,
    0.130798463220514 + 0.0*i,
    0.00860850234138493 + 0.0*i,
    0.0377348990343951 + 0.0*i,
    0.227121490238437 + 0.0*i,
    0.119755534114378 + 0.0*i,
    0.0863199089518437 + 0.0*i,
    0.276388361251679 + 0.0*i,
    0.345918094372238 + 0.0*i,
    0.129105686463255 + 0.0*i,
    -0.223317266404209 + 0.0*i,
    -0.438795884386952 + 0.0*i,
    0.0149142405494104 + 0.0*i,
    -0.000583892577818529 + 0.0*i,
    0.0758823301069133 + 0.0*i,
    0.363433269273865 + 0.0*i,
    0.26282533327701 + 0.0*i,
    0.113815526126473 + 0.0*i,
    0.215167496941928 + 0.0*i,
    -0.406835146538725 + 0.0*i,
    -0.0157815880641075 + 0.0*i,
    -0.297635179511331 + 0.0*i,
    0.373301597431508 + 0.0*i,
    0.262619423236157 + 0.0*i,
    0.148821403785164 + 0.0*i,
    0.21209867365396 + 0.0*i,
    -0.130610724980827 + 0.0*i,
    0.307889659890532 + 0.0*i,
    -0.00950302945297561 + 0.0*i,
    0.317635338327638 + 0.0*i,
    0.0381241842735887 + 0.0*i,
    -0.35569076078263 + 0.0*i,
    0.0896234355815893 + 0.0*i,
    -0.211136310991487 + 0.0*i,
    0.20287139221017 + 0.0*i,
    0.32356648027929 + 0.0*i,
    0.0397820126012195 + 0.0*i,
    -0.36807314229853 + 0.0*i,
    0.322049324494496 + 0.0*i,
    0.307016127581349 + 0.0*i,
    0.112483534455915 + 0.0*i,
    0.335091401464881 + 0.0*i,
    0.0495600646361525 + 0.0*i,
    -0.110006162987589 + 0.0*i,
    -0.149871997056744 + 0.0*i,
    -0.077091426691276 + 0.0*i,
    -0.202760060439601 + 0.0*i,
    -0.210370534537087 + 0.0*i,
    -0.331037271572587 + 0.0*i,
    0.218719676278684 + 0.0*i,
    -0.175221517969388 + 0.0*i,
    -0.181266397916452 + 0.0*i,
    0.0220976341655278 + 0.0*i,
    -0.29121056380081 + 0.0*i,
    0.195345320552407 + 0.0*i,
    0.112244723072286 + 0.0*i,
    -0.111482236512939 + 0.0*i,
    0.0190547787224444 + 0.0*i,
    -0.168120196609431 + 0.0*i,
    -0.309434425858987 + 0.0*i,
    0.0764537512958932 + 0.0*i,
    -0.0870082016653537 + 0.0*i,
    -0.188376145476075 + 0.0*i,
    -0.342485294443786 + 0.0*i,
    -0.40126611949567 + 0.0*i,
    0.34400589289067 + 0.0*i,
    -0.024707293284594 + 0.0*i,
    -0.174824489917427 + 0.0*i,
    -0.181487097474979 + 0.0*i,
    -0.0900860851553034 + 0.0*i,
    0.217717488013549 + 0.0*i,
    -0.168960384636795 + 0.0*i,
    -0.155834790963671 + 0.0*i,
    0.323731282799932 + 0.0*i,
    -0.0684022404586053 + 0.0*i,
    0.382270936567406 + 0.0*i,
    0.0181309003505757 + 0.0*i,
    -0.192998826388767 + 0.0*i,
    0.0575722373413622 + 0.0*i,
    -0.221857830624855 + 0.0*i,
    0.0661442688944273 + 0.0*i,
    -0.245195353671863 + 0.0*i,
    -0.362525003105886 + 0.0*i,
    -0.335667076195624 + 0.0*i,
    0.245567231387467 + 0.0*i,
    -0.283580009085147 + 0.0*i,
    0.361415365011166 + 0.0*i,
    0.0765481416510886 + 0.0*i,
    0.0792252944989209 + 0.0*i,
    -0.361259925769691 + 0.0*i,
    -0.0617155943860148 + 0.0*i,
    -0.00638863474118104 + 0.0*i,
    0.354786178712985 + 0.0*i,
    0.237588870861379 + 0.0*i,
    0.215439315140517 + 0.0*i,
    -0.209666286957465 + 0.0*i,
    0.245913208961902 + 0.0*i,
    0.392874379535867 + 0.0*i,
    0.250963127442647 + 0.0*i,
    0.0969047442894423 + 0.0*i,
    -0.181812271861638 + 0.0*i,
    -0.248204342215833 + 0.0*i,
    0.192646131515885 + 0.0*i,
    0.100766699628292 + 0.0*i,
    -0.0612116560556701 + 0.0*i,
    0.104612411532515 + 0.0*i,
    0.220651079553289 + 0.0*i,
    -0.16926687357775 + 0.0*i,
    -0.0505464013596401 + 0.0*i,
    -0.0601713855496942 + 0.0*i,
    0.445750599940338 + 0.0*i,
    -0.00276778938872806 + 0.0*i,
    0.246061318589872 + 0.0*i,
    0.243317614874348 + 0.0*i,
    0.376234608218679 + 0.0*i,
    -0.279585504769752 + 0.0*i,
    0.398734318602995 + 0.0*i,
    0.00426229229139519 + 0.0*i,
    -0.186802158089055 + 0.0*i,
    -0.163848727266728 + 0.0*i,
    -0.0957841498867396 + 0.0*i,
    0.0154857121243891 + 0.0*i,
    0.24008629480427 + 0.0*i,
    -0.255725015118172 + 0.0*i,
    -0.0627836313700066 + 0.0*i,
    -0.143566679911665 + 0.0*i,
    0.152010871605333 + 0.0*i,
    0.00663611357330485 + 0.0*i,
    -0.0814417100250507 + 0.0*i,
    -0.0520277003548316 + 0.0*i,
    0.380973519992318 + 0.0*i,
    0.102565370855318 + 0.0*i,
    -0.0179224555651856 + 0.0*i,
    0.155746422227133 + 0.0*i,
    -0.191165069887 + 0.0*i,
    0.144417524045314 + 0.0*i,
    -0.277459039576997 + 0.0*i,
    0.304939955158738 + 0.0*i,
    0.33527872083736 + 0.0*i,
    0.181545328994307 + 0.0*i,
    -0.403063641005877 + 0.0*i,
    -0.376003749846198 + 0.0*i,
    -0.187439718037951 + 0.0*i,
    -0.0402184014576402 + 0.0*i,
    0.0826617115369208 + 0.0*i,
    -0.0387330486337473 + 0.0*i,
    0.139403076210663 + 0.0*i,
    -0.258360899301863 + 0.0*i,
    0.0648796534899911 + 0.0*i,
    -0.239225449290909 + 0.0*i,
    -0.159530994377395 + 0.0*i,
    0.392204340875155 + 0.0*i,
    0.135173643557362 + 0.0*i,
    -0.145874361773742 + 0.0*i,
    -0.433032855461621 + 0.0*i,
    -0.137368772864246 + 0.0*i,
    -0.195461596032159 + 0.0*i,
    -0.0254555849812299 + 0.0*i,
    0.36070706696443 + 0.0*i,
    0.110140475668229 + 0.0*i,
    0.361293521591532 + 0.0*i,
    -0.325433213898493 + 0.0*i,
    0.0157889312171682 + 0.0*i,
    0.290692476965536 + 0.0*i,
    0.213699497058353 + 0.0*i,
    -0.278136201879183 + 0.0*i,
    -0.192604729109033 + 0.0*i,
    -0.275715143393241 + 0.0*i,
    -0.0531576546231876 + 0.0*i,
    -0.0679059122247323 + 0.0*i,
    -0.0402494564091709 + 0.0*i,
    -0.0762470371890968 + 0.0*i,
    0.233917358443798 + 0.0*i,
    0.217712455567301 + 0.0*i,
    -0.342710648280806 + 0.0*i,
    -0.0356486892417304 + 0.0*i,
    -0.264495301141486 + 0.0*i,
    0.0220473961150266 + 0.0*i,
    -0.137261728449584 + 0.0*i,
    0.0839771775502801 + 0.0*i,
    0.151868697180651 + 0.0*i,
    -0.0647709516855925 + 0.0*i,
    0.0773880125009443 + 0.0*i,
    0.229138888022673 + 0.0*i,
    0.285323807186256 + 0.0*i,
    0.114958339632373 + 0.0*i,
    0.144843936260803 + 0.0*i,
    0.149015377901228 + 0.0*i,
    -0.129557024307705 + 0.0*i,
    0.289093528495714 + 0.0*i,
    -0.0296882471192644 + 0.0*i,
    -0.00463329088826141 + 0.0*i,
    0.0559659902672731 + 0.0*i,
    -0.282553998001528 + 0.0*i,
    0.16670422775125 + 0.0*i,
    -0.0115983215222169 + 0.0*i,
    0.106616089869744 + 0.0*i,
    -0.150055191841185 + 0.0*i,
    -0.240239784400559 + 0.0*i,
    0.0732277487099345 + 0.0*i,
    0.409803611004302 + 0.0*i,
    0.235566944991501 + 0.0*i,
    0.368502355101219 + 0.0*i,
    0.0180994740137083 + 0.0*i,
    -0.38109966443324 + 0.0*i,
    -0.34527450867143 + 0.0*i,
    -0.0525464891257301 + 0.0*i,
    0.142849787796724 + 0.0*i,
    0.284521900866745 + 0.0*i,
    -0.368987611543982 + 0.0*i,
    0.153725009487683 + 0.0*i,
    -0.245468505023371 + 0.0*i,
    -0.051528815085263 + 0.0*i,
    0.216997510015583 + 0.0*i,
    0.329001466340646 + 0.0*i,
    -0.243043188630686 + 0.0*i,
    -0.245199351687419 + 0.0*i
]);