V:=Matrix(CC,4,85,[
    0.350586362398764 + 0.0*i,
    -0.140719689957753 + 0.0*i,
    -0.113888956613082 + 0.0*i,
    0.0199018320263447 + 0.0*i,
    -0.079302559286824 + 0.0*i,
    -0.110509374851315 + 0.0*i,
    -0.0249104960578142 + 0.0*i,
    0.0947477724467729 + 0.0*i,
    -0.0666932723428042 + 0.0*i,
    -0.212930645144857 + 0.0*i,
    0.138741756321387 + 0.0*i,
    0.085498336729148 + 0.0*i,
    0.293079363157455 + 0.0*i,
    0.335341697257185 + 0.0*i,
    -0.176378594721003 + 0.0*i,
    -0.243207776539596 + 0.0*i,
    0.0195862433367803 + 0.0*i,
    -0.175775953649032 + 0.0*i,
    0.0195767140001617 + 0.0*i,
    -0.361996469122859 + 0.0*i,
    0.0372337725616326 + 0.0*i,
    -0.043072069412678 + 0.0*i,
    0.141400690493927 + 0.0*i,
    0.331054816205914 + 0.0*i,
    -0.212399501164514 + 0.0*i,
    0.222078544198761 + 0.0*i,
    -0.198062229705492 + 0.0*i,
    -0.222533163397751 + 0.0*i,
    0.305111783571708 + 0.0*i,
    0.381714784378814 + 0.0*i,
    -0.157119228520441 + 0.0*i,
    0.23773549402277 + 0.0*i,
    -0.342230547119569 + 0.0*i,
    -0.260101104882902 + 0.0*i,
    -0.352451956473113 + 0.0*i,
    0.356139493588999 + 0.0*i,
    0.00725475901192843 + 0.0*i,
    -0.048913320405749 + 0.0*i,
    -0.346634049522626 + 0.0*i,
    0.142349740794726 + 0.0*i,
    0.167835336188788 + 0.0*i,
    0.0151540925268729 + 0.0*i,
    0.357934814600714 + 0.0*i,
    0.224463879202049 + 0.0*i,
    0.242742220760708 + 0.0*i,
    0.0111202535412748 + 0.0*i,
    -0.091242384631429 + 0.0*i,
    -0.297249591352351 + 0.0*i,
    -0.0307920277494497 + 0.0*i,
    0.359417441769209 + 0.0*i,
    0.341533402803058 + 0.0*i,
    -0.247891767993529 + 0.0*i,
    -0.246312008987296 + 0.0*i,
    0.0655090992059432 + 0.0*i,
    0.219006839301371 + 0.0*i,
    0.244154631907606 + 0.0*i,
    0.186199540410616 + 0.0*i,
    -0.1157491982138 + 0.0*i,
    0.168189211458012 + 0.0*i,
    -0.370754975016774 + 0.0*i,
    -0.167304762286344 + 0.0*i,
    0.113768371565245 + 0.0*i,
    -0.166708307312741 + 0.0*i,
    -0.124439942416845 + 0.0*i,
    0.285811665385483 + 0.0*i,
    -0.253414118654975 + 0.0*i,
    -0.141590967346774 + 0.0*i,
    0.172141252293602 + 0.0*i,
    -0.240185482359653 + 0.0*i,
    -0.138961528499379 + 0.0*i,
    -0.21378063433835 + 0.0*i,
    0.424100459322549 + 0.0*i,
    0.151340882879048 + 0.0*i,
    -0.21346880148114 + 0.0*i,
    -0.102955436469953 + 0.0*i,
    -0.0228268261003245 + 0.0*i,
    -0.0961741257628353 + 0.0*i,
    0.222371222003112 + 0.0*i,
    -0.261894998367638 + 0.0*i,
    0.0434810832307544 + 0.0*i,
    0.00929166167977793 + 0.0*i,
    0.0404688278502829 + 0.0*i,
    -0.101730373032506 + 0.0*i,
    0.254551652580327 + 0.0*i,
    -0.0202807312351035 + 0.0*i,
    -0.0237057643789483 + 0.0*i,
    -0.14353999231926 + 0.0*i,
    -0.163012796942633 + 0.0*i,
    0.0220101275665896 + 0.0*i,
    0.364568689143003 + 0.0*i,
    -0.379393010083628 + 0.0*i,
    0.326400389619645 + 0.0*i,
    -0.0947376056537295 + 0.0*i,
    0.00674244311475886 + 0.0*i,
    0.186915622772538 + 0.0*i,
    0.240088045601643 + 0.0*i,
    -0.213336554593132 + 0.0*i,
    0.306700931819774 + 0.0*i,
    0.0635015176403937 + 0.0*i,
    0.25387103708599 + 0.0*i,
    -0.0947556894060109 + 0.0*i,
    0.327315789185229 + 0.0*i,
    0.135501090741884 + 0.0*i,
    -0.2388321955197 + 0.0*i,
    0.158251083516082 + 0.0*i,
    -0.276383458517411 + 0.0*i,
    0.0130292742865842 + 0.0*i,
    0.081736791758859 + 0.0*i,
    0.00719735994782736 + 0.0*i,
    -0.103464010126886 + 0.0*i,
    -0.17674957786798 + 0.0*i,
    0.26933126217455 + 0.0*i,
    0.303700662156448 + 0.0*i,
    0.0424955085700104 + 0.0*i,
    0.116237455473625 + 0.0*i,
    -0.347687162038216 + 0.0*i,
    -0.296934738420338 + 0.0*i,
    -0.0671217281744495 + 0.0*i,
    0.0741873323318682 + 0.0*i,
    -0.190451221797589 + 0.0*i,
    0.164614513041099 + 0.0*i,
    -0.189658290548393 + 0.0*i,
    -0.317268361257066 + 0.0*i,
    0.0790044511654098 + 0.0*i,
    0.280548822452472 + 0.0*i,
    0.00231097954433956 + 0.0*i,
    -0.172188912061388 + 0.0*i,
    -0.18752019926287 + 0.0*i,
    -0.155620781858647 + 0.0*i,
    0.284704549501988 + 0.0*i,
    0.335893388106386 + 0.0*i,
    0.202574598265032 + 0.0*i,
    -0.148863820119608 + 0.0*i,
    -0.262753654067202 + 0.0*i,
    -0.149618753509655 + 0.0*i,
    0.0982097347488058 + 0.0*i,
    -0.269395113577493 + 0.0*i,
    0.000634548579104366 + 0.0*i,
    0.200718143453004 + 0.0*i,
    -0.0654602813173736 + 0.0*i,
    0.241954370423739 + 0.0*i,
    -0.263632563587365 + 0.0*i,
    -0.406163902319503 + 0.0*i,
    0.145387115804218 + 0.0*i,
    0.0868121175570451 + 0.0*i,
    -0.000315647113147476 + 0.0*i,
    -0.151996716538096 + 0.0*i,
    0.315762852271604 + 0.0*i,
    -0.110937457526367 + 0.0*i,
    -0.311634675380043 + 0.0*i,
    0.227775216180302 + 0.0*i,
    -0.335308821849891 + 0.0*i,
    0.0850843829072955 + 0.0*i,
    -0.138570131053649 + 0.0*i,
    -0.154621633264747 + 0.0*i,
    -0.258378380656411 + 0.0*i,
    0.0024834668582922 + 0.0*i,
    0.146159835791938 + 0.0*i,
    0.0265308167494626 + 0.0*i,
    0.379856661720605 + 0.0*i,
    0.384051897035089 + 0.0*i,
    0.408091779433933 + 0.0*i,
    0.25293034243135 + 0.0*i,
    0.0698594165308711 + 0.0*i,
    -0.0704413302620273 + 0.0*i,
    0.0189567311304921 + 0.0*i,
    -0.133131544474235 + 0.0*i,
    0.065410446387399 + 0.0*i,
    -0.0872866765273346 + 0.0*i,
    -0.196430094502227 + 0.0*i,
    -0.215547788459176 + 0.0*i,
    -0.126324880387459 + 0.0*i,
    -0.294876898572095 + 0.0*i,
    0.00952987615783114 + 0.0*i,
    -0.0891890308979316 + 0.0*i,
    -0.104868028079794 + 0.0*i,
    0.268580048766506 + 0.0*i,
    -0.192579516846787 + 0.0*i,
    0.393141054799078 + 0.0*i,
    0.250020445003914 + 0.0*i,
    0.253865984331006 + 0.0*i,
    -0.291374084359019 + 0.0*i,
    0.0160447037174365 + 0.0*i,
    0.0888096211432693 + 0.0*i,
    -0.133197396392836 + 0.0*i,
    0.314531464164114 + 0.0*i,
    -0.262014386880521 + 0.0*i,
    0.0826876424942783 + 0.0*i,
    0.312375664007203 + 0.0*i,
    -0.133352714623854 + 0.0*i,
    -0.112468007686623 + 0.0*i,
    -0.361490357665578 + 0.0*i,
    0.386340314496613 + 0.0*i,
    -0.203867066670865 + 0.0*i,
    0.0417458774849987 + 0.0*i,
    -0.314407759380066 + 0.0*i,
    -0.259267923112324 + 0.0*i,
    0.162664327371854 + 0.0*i,
    0.191019289080925 + 0.0*i,
    0.0331146198799108 + 0.0*i,
    -0.136920910343853 + 0.0*i,
    -0.0245632398423082 + 0.0*i,
    -0.240966466699552 + 0.0*i,
    0.236959488397488 + 0.0*i,
    -0.105296934071785 + 0.0*i,
    -0.146594214233417 + 0.0*i,
    -0.303614101830486 + 0.0*i,
    0.115717798888227 + 0.0*i,
    0.0360729979632212 + 0.0*i,
    -0.256405046196426 + 0.0*i,
    -0.25465049000237 + 0.0*i,
    0.0797904880374423 + 0.0*i,
    -0.122058177707085 + 0.0*i,
    0.279007762376265 + 0.0*i,
    -0.112877395670859 + 0.0*i,
    0.176765762539962 + 0.0*i,
    -0.287626845155032 + 0.0*i,
    0.131601316135488 + 0.0*i,
    -0.0517065361383051 + 0.0*i,
    -0.0651696231554729 + 0.0*i,
    -0.107487890098058 + 0.0*i,
    0.195397246522885 + 0.0*i,
    0.313062788949718 + 0.0*i,
    -0.181716997121787 + 0.0*i,
    0.12786880966162 + 0.0*i,
    0.101653523998345 + 0.0*i,
    -0.0806290528844219 + 0.0*i,
    0.0773335277496977 + 0.0*i,
    -0.24002279509788 + 0.0*i,
    -0.145241174392709 + 0.0*i,
    -0.359450496001477 + 0.0*i,
    0.0881470885865796 + 0.0*i,
    0.181614723408341 + 0.0*i,
    -0.172458043475113 + 0.0*i,
    0.0531907754549167 + 0.0*i,
    -0.140718988255303 + 0.0*i,
    0.0725930402189107 + 0.0*i,
    -0.0660914159285866 + 0.0*i,
    -0.26460269836792 + 0.0*i,
    0.32078440965065 + 0.0*i,
    -0.0337107939090583 + 0.0*i,
    -0.0100010858223633 + 0.0*i,
    -0.351024056710182 + 0.0*i,
    -0.229295979647171 + 0.0*i,
    -0.143199408570663 + 0.0*i,
    0.0575641531098349 + 0.0*i,
    0.0479399688082371 + 0.0*i,
    0.258929518214744 + 0.0*i,
    0.00659440133955444 + 0.0*i,
    0.271489537919217 + 0.0*i,
    0.19673981702642 + 0.0*i,
    0.405195569829319 + 0.0*i,
    0.400179260837952 + 0.0*i,
    0.320746001469539 + 0.0*i,
    -0.368600758362496 + 0.0*i,
    0.0436352792196996 + 0.0*i,
    -0.350664918050569 + 0.0*i,
    0.225376207962069 + 0.0*i,
    -0.42557654486365 + 0.0*i,
    -0.191486402465265 + 0.0*i,
    0.0797383349748653 + 0.0*i,
    0.0375981265783099 + 0.0*i,
    0.35706966385113 + 0.0*i,
    -0.164322511726747 + 0.0*i,
    0.194057324393277 + 0.0*i,
    0.16161330198469 + 0.0*i,
    0.200339238946501 + 0.0*i,
    -0.028633161749633 + 0.0*i,
    0.224298623575166 + 0.0*i,
    0.255440109373763 + 0.0*i,
    -0.0889495807386711 + 0.0*i,
    -0.077492129659973 + 0.0*i,
    0.352711086135805 + 0.0*i,
    -0.168057099611575 + 0.0*i,
    0.10002166556259 + 0.0*i,
    -0.308477831783409 + 0.0*i,
    -0.220106554790137 + 0.0*i,
    0.0395621129000222 + 0.0*i,
    -0.144797552988384 + 0.0*i,
    0.351924658652245 + 0.0*i,
    0.0374316942859844 + 0.0*i,
    -0.0154792745352301 + 0.0*i,
    -0.0932867226284785 + 0.0*i,
    -0.216376637549387 + 0.0*i,
    -0.138111222212522 + 0.0*i,
    -0.116452100018961 + 0.0*i,
    -0.186977238426692 + 0.0*i,
    0.0275765130116316 + 0.0*i,
    -0.227110617143536 + 0.0*i,
    -0.085494181223862 + 0.0*i,
    0.0194679752343364 + 0.0*i,
    -0.228282945233743 + 0.0*i,
    -0.255441621169917 + 0.0*i,
    0.236329754154317 + 0.0*i,
    0.0846765628459294 + 0.0*i,
    -0.295263916935973 + 0.0*i,
    -0.377189693151309 + 0.0*i,
    -0.0521867102322585 + 0.0*i,
    -0.157755234480317 + 0.0*i,
    0.148040340755684 + 0.0*i,
    -0.180516619482596 + 0.0*i,
    -0.218086679609629 + 0.0*i,
    0.215650839116292 + 0.0*i,
    0.332397499705749 + 0.0*i,
    0.157871240471123 + 0.0*i,
    0.205995059383264 + 0.0*i,
    0.0866186384654611 + 0.0*i,
    0.0922162007119939 + 0.0*i,
    -0.321624111445901 + 0.0*i,
    -0.330324745183855 + 0.0*i,
    -0.227648501982666 + 0.0*i,
    0.263190544026012 + 0.0*i,
    -0.0193602061495683 + 0.0*i,
    0.274339756603134 + 0.0*i,
    -0.109875501782074 + 0.0*i,
    0.147489668747687 + 0.0*i,
    0.367404341711786 + 0.0*i,
    0.0969102678503044 + 0.0*i,
    0.34221658314176 + 0.0*i,
    0.0287463999115509 + 0.0*i,
    -0.208456036408168 + 0.0*i,
    0.213526034221949 + 0.0*i,
    0.367818856518126 + 0.0*i,
    -0.172623618029483 + 0.0*i,
    0.177557102214757 + 0.0*i,
    -0.254526792828625 + 0.0*i,
    0.00690645975990947 + 0.0*i,
    -0.00478543969263116 + 0.0*i,
    -0.284015031677952 + 0.0*i,
    0.0813848798684442 + 0.0*i,
    0.160112014164718 + 0.0*i,
    -0.0370058476743957 + 0.0*i,
    -0.0607360410584773 + 0.0*i,
    -0.325541273821812 + 0.0*i,
    -0.318096283092063 + 0.0*i,
    0.374300782681311 + 0.0*i,
    0.00795352757162368 + 0.0*i,
    0.0754537607743225 + 0.0*i,
    0.0797345370955331 + 0.0*i,
    0.029679290085493 + 0.0*i
]);