V:=Matrix(CC,4,83,[
    -0.0434146367350347 + 0.0*i,
    -0.0155101323473182 + 0.0*i,
    0.155737798889247 + 0.0*i,
    0.111569339291884 + 0.0*i,
    0.186035129239505 + 0.0*i,
    0.19066235610644 + 0.0*i,
    0.0144143129060338 + 0.0*i,
    0.0744501896750203 + 0.0*i,
    0.153182356149088 + 0.0*i,
    0.198689943340787 + 0.0*i,
    -0.181872224821759 + 0.0*i,
    -0.103052717081353 + 0.0*i,
    0.11335206928316 + 0.0*i,
    0.304694014658366 + 0.0*i,
    0.252674038021482 + 0.0*i,
    -0.00032755146363899 + 0.0*i,
    -0.0179404586770434 + 0.0*i,
    -0.157925403666181 + 0.0*i,
    0.0391283814249034 + 0.0*i,
    0.0643317479597398 + 0.0*i,
    0.204027542095056 + 0.0*i,
    -0.125382171950715 + 0.0*i,
    -0.145655340149551 + 0.0*i,
    0.106367379378016 + 0.0*i,
    0.0557990846854591 + 0.0*i,
    -0.140604367505967 + 0.0*i,
    0.266316455697579 + 0.0*i,
    0.297571383529414 + 0.0*i,
    -0.137744784890515 + 0.0*i,
    0.277934676316045 + 0.0*i,
    -0.249010904942934 + 0.0*i,
    0.37548230182491 + 0.0*i,
    0.123205824180026 + 0.0*i,
    -0.214105077990282 + 0.0*i,
    0.279579000155291 + 0.0*i,
    0.293194719198166 + 0.0*i,
    -0.092884068351093 + 0.0*i,
    0.0949870147005309 + 0.0*i,
    -0.361847190688098 + 0.0*i,
    0.0825771925099364 + 0.0*i,
    -0.15624432766283 + 0.0*i,
    -0.00881528267097943 + 0.0*i,
    -0.311094765275179 + 0.0*i,
    -0.241736751890749 + 0.0*i,
    -0.319314717210867 + 0.0*i,
    0.379616175188144 + 0.0*i,
    0.404458586829651 + 0.0*i,
    0.0453962186430004 + 0.0*i,
    -0.257556548385901 + 0.0*i,
    -0.250833278603665 + 0.0*i,
    0.118155478606282 + 0.0*i,
    -0.191072638316322 + 0.0*i,
    0.165764255120267 + 0.0*i,
    -0.27961499388342 + 0.0*i,
    -0.0342613611189587 + 0.0*i,
    0.0358567191730668 + 0.0*i,
    0.375473489661374 + 0.0*i,
    -0.263245508641323 + 0.0*i,
    -0.199626313302196 + 0.0*i,
    -0.226695488586875 + 0.0*i,
    0.0311770596050911 + 0.0*i,
    0.379856837024354 + 0.0*i,
    0.0890858024124772 + 0.0*i,
    -0.0726483919822613 + 0.0*i,
    0.340617016139653 + 0.0*i,
    0.240712507649692 + 0.0*i,
    -0.169808395909999 + 0.0*i,
    -0.342213535711094 + 0.0*i,
    0.344300765534601 + 0.0*i,
    -0.0421821192343928 + 0.0*i,
    0.245619833473435 + 0.0*i,
    0.0569036155037136 + 0.0*i,
    -0.310650473928043 + 0.0*i,
    0.0653392511041464 + 0.0*i,
    0.104574768065274 + 0.0*i,
    0.09653468137375 + 0.0*i,
    0.119743719213943 + 0.0*i,
    -0.103201610702841 + 0.0*i,
    -0.269517622296556 + 0.0*i,
    0.254246695820166 + 0.0*i,
    0.162759663965148 + 0.0*i,
    -0.0664503489852494 + 0.0*i,
    0.30748004115234 + 0.0*i,
    -0.372849294198808 + 0.0*i,
    0.234124087678457 + 0.0*i,
    0.134891243588929 + 0.0*i,
    -0.0604275813348297 + 0.0*i,
    -0.301367806628323 + 0.0*i,
    0.315169304509088 + 0.0*i,
    -0.400898549971026 + 0.0*i,
    0.000644092824655959 + 0.0*i,
    -0.179826449631862 + 0.0*i,
    0.304124907791957 + 0.0*i,
    -0.0140935998902509 + 0.0*i,
    0.323133863798356 + 0.0*i,
    0.271432373909149 + 0.0*i,
    -0.265865741561217 + 0.0*i,
    0.275802424402274 + 0.0*i,
    0.0335530354534501 + 0.0*i,
    -0.111368375995742 + 0.0*i,
    0.323938449974545 + 0.0*i,
    0.281167386475213 + 0.0*i,
    0.370685457041952 + 0.0*i,
    0.132103658243189 + 0.0*i,
    0.210894607573014 + 0.0*i,
    -0.00672834929706966 + 0.0*i,
    0.16352055691103 + 0.0*i,
    -0.358288738756021 + 0.0*i,
    -0.212989395815666 + 0.0*i,
    0.214243284982422 + 0.0*i,
    -0.0860138511054739 + 0.0*i,
    0.392112718341837 + 0.0*i,
    0.163481734239811 + 0.0*i,
    0.061445402309891 + 0.0*i,
    -0.0648905119373174 + 0.0*i,
    -0.197094669157437 + 0.0*i,
    0.0440421970717366 + 0.0*i,
    -0.289584559333676 + 0.0*i,
    -0.185977638117852 + 0.0*i,
    -0.231507241709631 + 0.0*i,
    -0.0277823440227875 + 0.0*i,
    -0.0807205628426013 + 0.0*i,
    0.232793439893238 + 0.0*i,
    -0.386477410743678 + 0.0*i,
    -0.075508847549645 + 0.0*i,
    0.110584407260189 + 0.0*i,
    -0.0685331286029821 + 0.0*i,
    0.110729870469502 + 0.0*i,
    0.0784359981095272 + 0.0*i,
    -0.0961784208970011 + 0.0*i,
    -0.161142490809761 + 0.0*i,
    -0.0951567385913741 + 0.0*i,
    -0.280182827329321 + 0.0*i,
    0.136827747121031 + 0.0*i,
    0.221134711296456 + 0.0*i,
    -0.0115287668343823 + 0.0*i,
    -0.106237991495293 + 0.0*i,
    -0.313267310656635 + 0.0*i,
    -0.115163162689725 + 0.0*i,
    0.113455571298313 + 0.0*i,
    0.0429110854638949 + 0.0*i,
    0.108179787665978 + 0.0*i,
    -0.121559262084878 + 0.0*i,
    0.117125956277877 + 0.0*i,
    0.0452135223903779 + 0.0*i,
    0.25060524548872 + 0.0*i,
    -0.0149939646487004 + 0.0*i,
    0.239048441057987 + 0.0*i,
    -0.253095839581108 + 0.0*i,
    -0.0419710888453618 + 0.0*i,
    -0.0678571710632742 + 0.0*i,
    -0.166275770503401 + 0.0*i,
    -0.0957735893962407 + 0.0*i,
    -0.151051860680383 + 0.0*i,
    0.206238204437082 + 0.0*i,
    0.0883181648259072 + 0.0*i,
    0.352926836980796 + 0.0*i,
    -0.0811936129362702 + 0.0*i,
    -0.216952159722165 + 0.0*i,
    -0.200916539384897 + 0.0*i,
    0.192633860691148 + 0.0*i,
    -0.00560132758714718 + 0.0*i,
    0.24719722741228 + 0.0*i,
    -0.316227682354956 + 0.0*i,
    0.311378530683286 + 0.0*i,
    0.104979220235866 + 0.0*i,
    -0.181502591120019 + 0.0*i,
    0.337026297733488 + 0.0*i,
    0.355503999327026 + 0.0*i,
    0.387764499784079 + 0.0*i,
    -0.216021682856681 + 0.0*i,
    0.0591598740413682 + 0.0*i,
    0.0777540510244524 + 0.0*i,
    -0.411137394796773 + 0.0*i,
    -0.331698269957648 + 0.0*i,
    -0.159179726723228 + 0.0*i,
    -0.108288416616884 + 0.0*i,
    -0.077016268414819 + 0.0*i,
    0.267549306736039 + 0.0*i,
    0.0534733638951257 + 0.0*i,
    0.124934816882302 + 0.0*i,
    0.0906061890157401 + 0.0*i,
    0.354569372710448 + 0.0*i,
    -0.151896938328622 + 0.0*i,
    -0.300067196784964 + 0.0*i,
    0.0452450338397453 + 0.0*i,
    -0.305735714781125 + 0.0*i,
    0.203586494849149 + 0.0*i,
    -0.262934773616653 + 0.0*i,
    -0.356901451473257 + 0.0*i,
    -0.0661961164993717 + 0.0*i,
    -0.00816155946000996 + 0.0*i,
    -0.233260869970696 + 0.0*i,
    -0.123747219219125 + 0.0*i,
    0.0414975902987652 + 0.0*i,
    -0.0876797675599276 + 0.0*i,
    0.103356546989 + 0.0*i,
    -0.00316984753143043 + 0.0*i,
    0.237316260062324 + 0.0*i,
    -0.333323686133543 + 0.0*i,
    -0.0140719758644277 + 0.0*i,
    0.204628762981479 + 0.0*i,
    -0.249827620682581 + 0.0*i,
    0.257718152650757 + 0.0*i,
    0.13791255384587 + 0.0*i,
    -0.18606594393546 + 0.0*i,
    -0.00682750522203041 + 0.0*i,
    -0.372761279570852 + 0.0*i,
    -0.245898715523853 + 0.0*i,
    -0.300308489637423 + 0.0*i,
    0.128031646630776 + 0.0*i,
    0.106686831357988 + 0.0*i,
    0.0402657198083873 + 0.0*i,
    0.0622978791115829 + 0.0*i,
    0.215365264374979 + 0.0*i,
    0.0924249217999383 + 0.0*i,
    -0.207063074184241 + 0.0*i,
    -0.0163066432133175 + 0.0*i,
    -0.0937348755969171 + 0.0*i,
    -0.125293837480666 + 0.0*i,
    0.154205807208149 + 0.0*i,
    0.120891766885631 + 0.0*i,
    0.0170357435269302 + 0.0*i,
    0.258260813050116 + 0.0*i,
    0.316881175750722 + 0.0*i,
    -0.221780449891282 + 0.0*i,
    0.134124558662721 + 0.0*i,
    -0.143195707436395 + 0.0*i,
    0.012972185702895 + 0.0*i,
    0.290873635778672 + 0.0*i,
    -0.0104213736342904 + 0.0*i,
    -0.12878040975843 + 0.0*i,
    -0.00476901839720214 + 0.0*i,
    -0.216822644986474 + 0.0*i,
    -0.176433277518646 + 0.0*i,
    -0.365732006838436 + 0.0*i,
    0.120383066284274 + 0.0*i,
    0.202094735882544 + 0.0*i,
    -0.116354712871581 + 0.0*i,
    -0.194959579775119 + 0.0*i,
    -0.265939895021368 + 0.0*i,
    -0.0685097589532458 + 0.0*i,
    0.3388719336007 + 0.0*i,
    -0.288444430400353 + 0.0*i,
    0.312247619185942 + 0.0*i,
    0.21301338291131 + 0.0*i,
    0.211912358748226 + 0.0*i,
    0.213242712009371 + 0.0*i,
    -0.00233544946986948 + 0.0*i,
    0.0437629812711664 + 0.0*i,
    -0.0591082318516157 + 0.0*i,
    0.0162509245069846 + 0.0*i,
    -0.0675072934950018 + 0.0*i,
    0.0652525595601298 + 0.0*i,
    -0.188868876799178 + 0.0*i,
    0.0461431791158916 + 0.0*i,
    -0.0252862179934395 + 0.0*i,
    -0.0969094512313088 + 0.0*i,
    -0.117489828999418 + 0.0*i,
    -0.347776278497388 + 0.0*i,
    0.233847228424246 + 0.0*i,
    0.103134636886523 + 0.0*i,
    -0.0953261707984482 + 0.0*i,
    0.138422931434482 + 0.0*i,
    0.404505178180586 + 0.0*i,
    0.181316229455603 + 0.0*i,
    -0.131112938197781 + 0.0*i,
    -0.0565632305897258 + 0.0*i,
    0.183279080872839 + 0.0*i,
    -0.142254598445953 + 0.0*i,
    -0.271383365107359 + 0.0*i,
    0.28495341267195 + 0.0*i,
    0.114536723947085 + 0.0*i,
    0.203017088425433 + 0.0*i,
    -0.331979155209312 + 0.0*i,
    0.0304068632787623 + 0.0*i,
    -0.138844059848191 + 0.0*i,
    0.0483957520163083 + 0.0*i,
    -0.246521917871152 + 0.0*i,
    0.307230893805931 + 0.0*i,
    -0.167459003864247 + 0.0*i,
    0.248986484553449 + 0.0*i,
    -0.124090386327301 + 0.0*i,
    0.116598397362223 + 0.0*i,
    0.0859885466791921 + 0.0*i,
    0.227132243668786 + 0.0*i,
    0.303629691800678 + 0.0*i,
    0.114118468232251 + 0.0*i,
    0.279219395844463 + 0.0*i,
    0.0151254404409432 + 0.0*i,
    0.159284374450587 + 0.0*i,
    0.0992070274892308 + 0.0*i,
    0.122264761662197 + 0.0*i,
    -0.216425913663952 + 0.0*i,
    -0.0957959145720518 + 0.0*i,
    0.0454199464116047 + 0.0*i,
    0.37111116386749 + 0.0*i,
    -0.231374717914162 + 0.0*i,
    -0.155555439203221 + 0.0*i,
    -0.317174970595422 + 0.0*i,
    -0.295202724300218 + 0.0*i,
    0.373804085531389 + 0.0*i,
    0.267525980207629 + 0.0*i,
    0.223305395741291 + 0.0*i,
    -0.38165737352913 + 0.0*i,
    0.106056519300588 + 0.0*i,
    0.174850881924283 + 0.0*i,
    -0.146258610928051 + 0.0*i,
    -0.23714840520946 + 0.0*i,
    -0.375397637392838 + 0.0*i,
    0.0632001909153185 + 0.0*i,
    -0.311285376381937 + 0.0*i,
    -0.291115946432408 + 0.0*i,
    -0.0403157026413039 + 0.0*i,
    -0.189442044816788 + 0.0*i,
    0.374743925475562 + 0.0*i,
    -0.0751016055458147 + 0.0*i,
    -0.0175540744788037 + 0.0*i,
    -0.165637840290376 + 0.0*i,
    -0.28604337353958 + 0.0*i,
    0.290663486932139 + 0.0*i,
    -0.241679641054618 + 0.0*i,
    0.0992544393967092 + 0.0*i,
    -0.294338981403428 + 0.0*i,
    -0.33439330009672 + 0.0*i,
    0.0282192511341681 + 0.0*i,
    0.217293974308787 + 0.0*i,
    -0.0325553243756266 + 0.0*i,
    -0.0647594428276798 + 0.0*i,
    -0.0622460859987605 + 0.0*i,
    0.15742188681887 + 0.0*i,
    0.256736427631539 + 0.0*i
]);