V:=Matrix(CC,4,80,[
    0.0374316631475852 + 0.0*i,
    -0.0199812305214628 + 0.0*i,
    -0.32228440174654 + 0.0*i,
    -0.253695404211039 + 0.0*i,
    -0.280525716962469 + 0.0*i,
    -0.035245663482127 + 0.0*i,
    -0.235632462616658 + 0.0*i,
    -0.0995021785522134 + 0.0*i,
    -0.184698083801146 + 0.0*i,
    -0.228028880768926 + 0.0*i,
    -0.172996467578386 + 0.0*i,
    -0.156233630820566 + 0.0*i,
    0.288129197078771 + 0.0*i,
    0.20412815265038 + 0.0*i,
    -0.0832435078539104 + 0.0*i,
    -0.347027320621951 + 0.0*i,
    0.0137624613063583 + 0.0*i,
    0.0844731633566918 + 0.0*i,
    -0.0100834771325161 + 0.0*i,
    -0.0775382520931502 + 0.0*i,
    0.0421939372862202 + 0.0*i,
    -0.293922225207851 + 0.0*i,
    -0.0607206574018873 + 0.0*i,
    -0.261192122112057 + 0.0*i,
    0.0520775916527837 + 0.0*i,
    0.221593503944785 + 0.0*i,
    -0.15632484972703 + 0.0*i,
    0.258001398718636 + 0.0*i,
    -0.229983489436446 + 0.0*i,
    0.395680024658911 + 0.0*i,
    0.102982300852774 + 0.0*i,
    -0.212524294822643 + 0.0*i,
    -0.17691148036923 + 0.0*i,
    -0.121875414572609 + 0.0*i,
    0.166950092843988 + 0.0*i,
    0.0275698182578921 + 0.0*i,
    -0.230213414447779 + 0.0*i,
    0.31224439237425 + 0.0*i,
    0.14411401698069 + 0.0*i,
    -0.162348872969036 + 0.0*i,
    0.0567322303049892 + 0.0*i,
    -0.0909824676559191 + 0.0*i,
    0.218300875691639 + 0.0*i,
    -0.239013087615593 + 0.0*i,
    -0.00632053972970322 + 0.0*i,
    0.0125308615264606 + 0.0*i,
    -0.366590089412161 + 0.0*i,
    -0.20788251130399 + 0.0*i,
    0.0798570820255954 + 0.0*i,
    0.0849426319300096 + 0.0*i,
    0.0607730306068576 + 0.0*i,
    -0.313361049030943 + 0.0*i,
    0.332616524893248 + 0.0*i,
    0.317356917152443 + 0.0*i,
    -0.136883393946937 + 0.0*i,
    -0.370005370111201 + 0.0*i,
    -0.338467738223445 + 0.0*i,
    0.203296389796124 + 0.0*i,
    -0.12280451280915 + 0.0*i,
    -0.247035397069433 + 0.0*i,
    -0.110593193014791 + 0.0*i,
    -0.146564674012915 + 0.0*i,
    0.363220012473634 + 0.0*i,
    0.301375009704658 + 0.0*i,
    0.12848300578325 + 0.0*i,
    -0.0672837224345075 + 0.0*i,
    -0.226109724341166 + 0.0*i,
    -0.194144616541047 + 0.0*i,
    -0.01392223619598 + 0.0*i,
    -0.11802333894311 + 0.0*i,
    0.137129267998038 + 0.0*i,
    -0.190655398883793 + 0.0*i,
    0.28719648175929 + 0.0*i,
    -0.172040147074128 + 0.0*i,
    0.0640172290556608 + 0.0*i,
    0.0377073696010296 + 0.0*i,
    -0.0637548915821605 + 0.0*i,
    -0.11719516500046 + 0.0*i,
    -0.28955624314002 + 0.0*i,
    -0.249580865004567 + 0.0*i,
    0.214454202151588 + 0.0*i,
    0.286110252850542 + 0.0*i,
    -0.0665389112538279 + 0.0*i,
    0.0893289094692865 + 0.0*i,
    -0.0585433613968248 + 0.0*i,
    -0.0843992816928537 + 0.0*i,
    -0.144475757783197 + 0.0*i,
    0.182250315499289 + 0.0*i,
    0.111691442841565 + 0.0*i,
    0.0679338663748846 + 0.0*i,
    0.320600580447912 + 0.0*i,
    -0.105770076974372 + 0.0*i,
    -0.00270960515488155 + 0.0*i,
    -0.212644153542678 + 0.0*i,
    -0.339890479336354 + 0.0*i,
    0.1577293119118 + 0.0*i,
    0.152677607279722 + 0.0*i,
    -0.119562213777724 + 0.0*i,
    -0.374106148830374 + 0.0*i,
    0.264957123433724 + 0.0*i,
    0.142794116809903 + 0.0*i,
    0.212918320660168 + 0.0*i,
    -0.316838587498629 + 0.0*i,
    -0.250028862160459 + 0.0*i,
    0.219956376659899 + 0.0*i,
    0.0865582246368237 + 0.0*i,
    0.0769230480475796 + 0.0*i,
    -0.0750731925850586 + 0.0*i,
    -0.327268679059492 + 0.0*i,
    -0.0223858339594868 + 0.0*i,
    -0.28179204202795 + 0.0*i,
    0.115038431829455 + 0.0*i,
    0.267926380353949 + 0.0*i,
    0.377538776481479 + 0.0*i,
    -0.26559144661506 + 0.0*i,
    -0.0192710040236755 + 0.0*i,
    -0.128077044357052 + 0.0*i,
    -0.139040849640729 + 0.0*i,
    -0.05975061568443 + 0.0*i,
    -0.0572584975527749 + 0.0*i,
    -0.0895622709503435 + 0.0*i,
    -0.385036937207834 + 0.0*i,
    0.0810198904354461 + 0.0*i,
    -0.208889679919158 + 0.0*i,
    0.371012493548347 + 0.0*i,
    -0.228773030874661 + 0.0*i,
    0.0890227085697285 + 0.0*i,
    0.303503913301537 + 0.0*i,
    0.0360093423849663 + 0.0*i,
    0.148641951477827 + 0.0*i,
    -0.0266599231838292 + 0.0*i,
    0.0217310516207107 + 0.0*i,
    -0.0420868851440465 + 0.0*i,
    0.181468587154545 + 0.0*i,
    0.213389681705864 + 0.0*i,
    -0.0559506113778318 + 0.0*i,
    -0.202153853496931 + 0.0*i,
    0.290733429032863 + 0.0*i,
    0.238183538129629 + 0.0*i,
    0.226670795194625 + 0.0*i,
    0.348392089073951 + 0.0*i,
    0.061095722407878 + 0.0*i,
    0.125877937616227 + 0.0*i,
    -0.171119181631011 + 0.0*i,
    0.302113543264633 + 0.0*i,
    -0.295248611120645 + 0.0*i,
    0.170540733069404 + 0.0*i,
    -0.276712616983062 + 0.0*i,
    0.16321642040433 + 0.0*i,
    -0.187213848649295 + 0.0*i,
    -0.01628591278475 + 0.0*i,
    -0.1601912524361 + 0.0*i,
    -0.272812519659249 + 0.0*i,
    -0.240814116513912 + 0.0*i,
    0.0202594108595782 + 0.0*i,
    -0.271331693265303 + 0.0*i,
    0.0601017540937132 + 0.0*i,
    -0.117351438033955 + 0.0*i,
    -0.054661470548334 + 0.0*i,
    0.206423641283047 + 0.0*i,
    -0.280219476059129 + 0.0*i,
    0.276359166411737 + 0.0*i,
    -0.0388067379807041 + 0.0*i,
    -0.19931954938105 + 0.0*i,
    -0.281002720701162 + 0.0*i,
    -0.299323004596241 + 0.0*i,
    -0.246893626981538 + 0.0*i,
    0.316905508681366 + 0.0*i,
    0.346155230337056 + 0.0*i,
    -0.190318209951858 + 0.0*i,
    -0.154519513329654 + 0.0*i,
    -0.105128245567223 + 0.0*i,
    -0.269338446147707 + 0.0*i,
    0.230419542300174 + 0.0*i,
    0.0968765285079084 + 0.0*i,
    -0.11963043587601 + 0.0*i,
    0.284007755420686 + 0.0*i,
    0.0747401513255838 + 0.0*i,
    0.142024994142187 + 0.0*i,
    -0.228856194513778 + 0.0*i,
    0.113906855039592 + 0.0*i,
    -0.0457500816182703 + 0.0*i,
    -0.112937059038358 + 0.0*i,
    -0.0474208439513572 + 0.0*i,
    -0.0843226518370377 + 0.0*i,
    -0.318874078425618 + 0.0*i,
    0.230845374219695 + 0.0*i,
    -0.0388014495842789 + 0.0*i,
    0.0595997960514949 + 0.0*i,
    -0.0133090013215146 + 0.0*i,
    0.118633015380646 + 0.0*i,
    0.185826911613785 + 0.0*i,
    0.0972881096600328 + 0.0*i,
    0.016549670441073 + 0.0*i,
    -0.196118236181058 + 0.0*i,
    -0.375958958976653 + 0.0*i,
    0.119179089816253 + 0.0*i,
    0.00565542695542618 + 0.0*i,
    0.362818708063064 + 0.0*i,
    0.263577435736955 + 0.0*i,
    0.249433773547651 + 0.0*i,
    -0.0802313157657293 + 0.0*i,
    0.126593952890425 + 0.0*i,
    0.179759022943499 + 0.0*i,
    -0.0144658093745884 + 0.0*i,
    -0.133769788084672 + 0.0*i,
    0.113388046884366 + 0.0*i,
    -0.0762605824414596 + 0.0*i,
    -0.38832303129063 + 0.0*i,
    0.370846549042051 + 0.0*i,
    -0.135844906460034 + 0.0*i,
    0.206514807467928 + 0.0*i,
    0.195167627854072 + 0.0*i,
    -0.13867111582125 + 0.0*i,
    -0.0664821177520299 + 0.0*i,
    -0.104907626167548 + 0.0*i,
    -0.112545663424931 + 0.0*i,
    0.0464693881333737 + 0.0*i,
    0.0786005975440794 + 0.0*i,
    0.20673467701656 + 0.0*i,
    0.157088345214046 + 0.0*i,
    -0.0213048032268108 + 0.0*i,
    -0.098493411903374 + 0.0*i,
    -0.137231000981501 + 0.0*i,
    -0.190104219391586 + 0.0*i,
    -0.222981092981882 + 0.0*i,
    -0.276293985186915 + 0.0*i,
    -0.217476457826648 + 0.0*i,
    -0.360527720063293 + 0.0*i,
    0.0807824266890712 + 0.0*i,
    0.346909010496903 + 0.0*i,
    -0.254769647779883 + 0.0*i,
    -0.0347319122984773 + 0.0*i,
    0.272809034434373 + 0.0*i,
    -0.0813226247481824 + 0.0*i,
    0.281716577875587 + 0.0*i,
    -0.24630062364333 + 0.0*i,
    0.283416212016148 + 0.0*i,
    0.0706108493072532 + 0.0*i,
    0.0494226256792083 + 0.0*i,
    -0.197547524556351 + 0.0*i,
    -0.0766805276760021 + 0.0*i,
    -0.225055601302728 + 0.0*i,
    0.226279798896693 + 0.0*i,
    0.0322133161828625 + 0.0*i,
    -0.25699212794227 + 0.0*i,
    -0.176925116498757 + 0.0*i,
    0.143337775374229 + 0.0*i,
    -0.0543464080294017 + 0.0*i,
    -0.261116787344225 + 0.0*i,
    -0.0152038926320768 + 0.0*i,
    -0.344111945754074 + 0.0*i,
    -0.0952572060862115 + 0.0*i,
    0.134402450389351 + 0.0*i,
    0.176162414998676 + 0.0*i,
    0.035018906118835 + 0.0*i,
    -0.237495144272663 + 0.0*i,
    0.36627209593975 + 0.0*i,
    0.00425628365285727 + 0.0*i,
    0.190523452096051 + 0.0*i,
    -0.354771832194143 + 0.0*i,
    -0.1710190323839 + 0.0*i,
    0.220256020960313 + 0.0*i,
    0.183317112108933 + 0.0*i,
    0.324763599660123 + 0.0*i,
    0.0632432550193515 + 0.0*i,
    -0.28326792990671 + 0.0*i,
    0.298972678884524 + 0.0*i,
    0.00475504807681245 + 0.0*i,
    0.0783522961967541 + 0.0*i,
    0.243767171136293 + 0.0*i,
    0.261267483331941 + 0.0*i,
    0.212906922384636 + 0.0*i,
    -0.0915520546532292 + 0.0*i,
    0.15527496171356 + 0.0*i,
    0.127948673062482 + 0.0*i,
    -0.27932767689758 + 0.0*i,
    -0.212053839928484 + 0.0*i,
    0.103642406136266 + 0.0*i,
    0.247916521143758 + 0.0*i,
    0.2890378646265 + 0.0*i,
    0.0123774874100584 + 0.0*i,
    -0.300537654306042 + 0.0*i,
    0.162692675384681 + 0.0*i,
    0.167888297449306 + 0.0*i,
    -0.305517681237629 + 0.0*i,
    0.0760961699446838 + 0.0*i,
    0.131132296007367 + 0.0*i,
    -0.0931397325045608 + 0.0*i,
    0.019460677304318 + 0.0*i,
    -0.371633621689973 + 0.0*i,
    -0.142624310922747 + 0.0*i,
    0.097479979742087 + 0.0*i,
    0.103606622382871 + 0.0*i,
    0.297336431495128 + 0.0*i,
    0.12145913712985 + 0.0*i,
    -0.0651161280994429 + 0.0*i,
    0.200360266445851 + 0.0*i,
    -0.287824813114354 + 0.0*i,
    0.0556331341260044 + 0.0*i,
    0.0624952430890405 + 0.0*i,
    0.367827143859221 + 0.0*i,
    -0.0702249319309964 + 0.0*i,
    0.122665346260469 + 0.0*i,
    0.149914025725934 + 0.0*i,
    -0.148070814376565 + 0.0*i,
    0.0625730164191905 + 0.0*i,
    0.033622695203106 + 0.0*i,
    0.0752309611816938 + 0.0*i,
    0.333231641165589 + 0.0*i,
    -0.139522517160441 + 0.0*i,
    0.184341708926777 + 0.0*i,
    -0.00349467865293094 + 0.0*i,
    0.0320767973847858 + 0.0*i,
    0.390376402728629 + 0.0*i,
    0.0391791597819564 + 0.0*i,
    0.312406649329597 + 0.0*i,
    -0.23309969877454 + 0.0*i,
    0.269568787809866 + 0.0*i,
    0.107274845143192 + 0.0*i
]);