V:=Matrix(CC,4,94,[
    -0.107944247920025 + 0.0*i,
    -0.688587178274417 + 0.0*i,
    0.146903769626695 + 0.0*i,
    -0.327288623759151 + 0.0*i,
    -0.148507678581138 + 0.0*i,
    -0.0701072115166973 + 0.0*i,
    -0.0572388621932716 + 0.0*i,
    -0.572112120031578 + 0.0*i,
    0.612482922973909 + 0.0*i,
    0.773171272545393 + 0.0*i,
    0.228695253070976 + 0.0*i,
    -1.00986058736762 + 0.0*i,
    -1.21921989873815 + 0.0*i,
    -0.0517742388091863 + 0.0*i,
    0.0217381987812207 + 0.0*i,
    0.323761502786969 + 0.0*i,
    0.327594368242879 + 0.0*i,
    0.286520235201008 + 0.0*i,
    -0.8964879869776 + 0.0*i,
    -1.10562920497689 + 0.0*i,
    0.129321721500328 + 0.0*i,
    0.215724394246118 + 0.0*i,
    0.389114753177679 + 0.0*i,
    0.480467162350942 + 0.0*i,
    -0.165166247652092 + 0.0*i,
    -0.466888116691185 + 0.0*i,
    -0.0889943137517581 + 0.0*i,
    -0.0686102565732769 + 0.0*i,
    0.0694535978375914 + 0.0*i,
    -0.951606886099337 + 0.0*i,
    -0.301169863197826 + 0.0*i,
    -0.254980573771623 + 0.0*i,
    0.717913661971008 + 0.0*i,
    0.703036674247087 + 0.0*i,
    -0.615214375441762 + 0.0*i,
    0.0594978079499759 + 0.0*i,
    -0.173714742459089 + 0.0*i,
    0.218013295087899 + 0.0*i,
    -0.563793578855232 + 0.0*i,
    0.817019719903811 + 0.0*i,
    -0.465164367918376 + 0.0*i,
    -0.528680351320585 + 0.0*i,
    -0.0479068505133682 + 0.0*i,
    0.0510794512009266 + 0.0*i,
    -0.167577973550302 + 0.0*i,
    -0.184626047431709 + 0.0*i,
    -0.139000181040412 + 0.0*i,
    -0.0915142345461807 + 0.0*i,
    -0.313129782007393 + 0.0*i,
    0.291966907787075 + 0.0*i,
    0.128865620209108 + 0.0*i,
    -0.457682527235576 + 0.0*i,
    0.333776270152732 + 0.0*i,
    0.257220781345267 + 0.0*i,
    1.17999722607718 + 0.0*i,
    -0.153221164131491 + 0.0*i,
    -0.170195311767466 + 0.0*i,
    -0.661542085112625 + 0.0*i,
    0.472255547458009 + 0.0*i,
    -0.29469663586675 + 0.0*i,
    -1.01152093616565 + 0.0*i,
    0.141794350509036 + 0.0*i,
    -0.233959530316715 + 0.0*i,
    0.334605212490441 + 0.0*i,
    -0.183359103288233 + 0.0*i,
    -0.0698883723069964 + 0.0*i,
    -0.425306480048517 + 0.0*i,
    -0.65932529822692 + 0.0*i,
    0.154149937234109 + 0.0*i,
    0.684897885000942 + 0.0*i,
    -0.174473355827446 + 0.0*i,
    0.377446649529425 + 0.0*i,
    -0.469652557434761 + 0.0*i,
    -0.457826114041055 + 0.0*i,
    -0.503745397327834 + 0.0*i,
    0.418371041865249 + 0.0*i,
    -0.274557242539949 + 0.0*i,
    0.270409463765388 + 0.0*i,
    0.19546234832885 + 0.0*i,
    0.858269743858166 + 0.0*i,
    0.415230060924389 + 0.0*i,
    0.104808618227674 + 0.0*i,
    -0.323808631929822 + 0.0*i,
    0.00929106606489662 + 0.0*i,
    0.0265211142478053 + 0.0*i,
    0.232740103824681 + 0.0*i,
    0.00114524699807757 + 0.0*i,
    -0.572077717914581 + 0.0*i,
    0.0638776967610334 + 0.0*i,
    0.350465606769883 + 0.0*i,
    1.17438835440582 + 0.0*i,
    -0.303688016477661 + 0.0*i,
    -0.279829795047131 + 0.0*i,
    1.19034989572853 + 0.0*i,
    -0.285421964159709 + 0.0*i,
    -0.0367622852953682 + 0.0*i,
    0.342804044903177 + 0.0*i,
    1.2016003600322 + 0.0*i,
    -0.0790759565694203 + 0.0*i,
    -0.405485206902634 + 0.0*i,
    0.107417757973901 + 0.0*i,
    -0.254451947211186 + 0.0*i,
    -0.199226595536425 + 0.0*i,
    0.776483775036078 + 0.0*i,
    -0.570339227291174 + 0.0*i,
    -1.20556555655567 + 0.0*i,
    0.333598160950233 + 0.0*i,
    -0.108609671664427 + 0.0*i,
    0.393413573894248 + 0.0*i,
    -0.751585998560528 + 0.0*i,
    -0.751303525148335 + 0.0*i,
    -0.689190181366323 + 0.0*i,
    0.230714650707441 + 0.0*i,
    0.152129077763792 + 0.0*i,
    -0.600671037564541 + 0.0*i,
    0.408872430366329 + 0.0*i,
    -0.432909848482916 + 0.0*i,
    -0.355177705726837 + 0.0*i,
    0.948581695670403 + 0.0*i,
    0.427891394100143 + 0.0*i,
    -0.176834883381124 + 0.0*i,
    -0.256995212616848 + 0.0*i,
    0.62723532386244 + 0.0*i,
    0.647113859286502 + 0.0*i,
    -0.257072716645345 + 0.0*i,
    0.482697388828928 + 0.0*i,
    -0.108392414438523 + 0.0*i,
    0.0906908299325011 + 0.0*i,
    0.112327942639289 + 0.0*i,
    0.81129846891729 + 0.0*i,
    0.0925179930914164 + 0.0*i,
    0.618714040129364 + 0.0*i,
    0.173913611955645 + 0.0*i,
    -0.623249473154936 + 0.0*i,
    -0.435342719103629 + 0.0*i,
    -0.488258930480465 + 0.0*i,
    0.254404393178445 + 0.0*i,
    0.277642821132755 + 0.0*i,
    -0.387553591993807 + 0.0*i,
    0.282336324549248 + 0.0*i,
    -0.556433194364811 + 0.0*i,
    0.813906382057267 + 0.0*i,
    -0.638312661277042 + 0.0*i,
    -0.974592804028588 + 0.0*i,
    -0.0235115158643854 + 0.0*i,
    -0.265992461392203 + 0.0*i,
    0.0667693930426453 + 0.0*i,
    0.0886607522333338 + 0.0*i,
    0.522083808683047 + 0.0*i,
    -0.0544105770697385 + 0.0*i,
    -0.706290373222357 + 0.0*i,
    0.484716855041833 + 0.0*i,
    0.381014119539786 + 0.0*i,
    -0.52616295724723 + 0.0*i,
    0.430661272515945 + 0.0*i,
    0.93556049455558 + 0.0*i,
    -0.885452165131169 + 0.0*i,
    0.117125787970169 + 0.0*i,
    -0.539886643923606 + 0.0*i,
    0.257266062858402 + 0.0*i,
    0.815495511116083 + 0.0*i,
    0.157840943466627 + 0.0*i,
    -0.717775151013253 + 0.0*i,
    -0.352296551535783 + 0.0*i,
    0.562075313294304 + 0.0*i,
    0.277475457117477 + 0.0*i,
    0.0335967310064041 + 0.0*i,
    -0.411673188321395 + 0.0*i,
    -0.350750702548944 + 0.0*i,
    0.201767042278408 + 0.0*i,
    -0.0935639682404883 + 0.0*i,
    -0.578757711070152 + 0.0*i,
    0.242713419709717 + 0.0*i,
    -0.151045910308356 + 0.0*i,
    -0.936667263356456 + 0.0*i,
    -0.390565924536081 + 0.0*i,
    0.0685909267642207 + 0.0*i,
    -0.523597301237678 + 0.0*i,
    -0.682475303761091 + 0.0*i,
    0.520274741354615 + 0.0*i,
    0.489911970070916 + 0.0*i,
    -0.0183496846013198 + 0.0*i,
    -0.435775768313368 + 0.0*i,
    -0.0358448836332063 + 0.0*i,
    -0.677316722732279 + 0.0*i,
    -0.611058471422728 + 0.0*i,
    -0.116036258692736 + 0.0*i,
    0.711881073349347 + 0.0*i,
    0.0846350052504496 + 0.0*i,
    -0.0330471720136494 + 0.0*i,
    -0.592686544262271 + 0.0*i,
    -0.168896689592087 + 0.0*i,
    0.484240083773665 + 0.0*i,
    -0.163778030638666 + 0.0*i,
    0.141943041825566 + 0.0*i,
    0.139490197231551 + 0.0*i,
    0.943525103119111 + 0.0*i,
    -0.878211950177695 + 0.0*i,
    0.258312286083375 + 0.0*i,
    -0.0753492652047451 + 0.0*i,
    0.354989529060421 + 0.0*i,
    -0.534917510133752 + 0.0*i,
    0.40609626290506 + 0.0*i,
    -0.637379867654387 + 0.0*i,
    -0.139860102812095 + 0.0*i,
    0.240624989069335 + 0.0*i,
    0.290062504251309 + 0.0*i,
    -0.346144352700186 + 0.0*i,
    -0.322477315448505 + 0.0*i,
    0.124297045634359 + 0.0*i,
    0.524611400316054 + 0.0*i,
    0.839529429793374 + 0.0*i,
    0.19285369546029 + 0.0*i,
    0.000971933892065323 + 0.0*i,
    0.390126987311379 + 0.0*i,
    -0.305733434257661 + 0.0*i,
    0.49252882455398 + 0.0*i,
    0.762426006161361 + 0.0*i,
    -0.221986202930963 + 0.0*i,
    -0.135468673184858 + 0.0*i,
    -0.666523043831108 + 0.0*i,
    -1.0905922256157 + 0.0*i,
    0.135888366636531 + 0.0*i,
    0.513251748278603 + 0.0*i,
    0.170845744993247 + 0.0*i,
    -0.389524440899737 + 0.0*i,
    -0.562371111903068 + 0.0*i,
    0.959315354861469 + 0.0*i,
    -1.06287853802734 + 0.0*i,
    -0.186068536925861 + 0.0*i,
    0.268582411198238 + 0.0*i,
    -0.350451332452909 + 0.0*i,
    -0.637102577338803 + 0.0*i,
    1.07768181838001 + 0.0*i,
    0.287859231624778 + 0.0*i,
    -0.148687350587633 + 0.0*i,
    0.184701766913055 + 0.0*i,
    0.270828242545471 + 0.0*i,
    -0.158811358823877 + 0.0*i,
    -0.274470675993339 + 0.0*i,
    -0.280587029928796 + 0.0*i,
    0.810850065125718 + 0.0*i,
    0.385507347993228 + 0.0*i,
    0.774994290447763 + 0.0*i,
    0.627999743362649 + 0.0*i,
    -0.128985903217195 + 0.0*i,
    -0.340763821013199 + 0.0*i,
    -0.525778974150114 + 0.0*i,
    -0.149635914159157 + 0.0*i,
    -0.0414609126400087 + 0.0*i,
    -0.456534681067757 + 0.0*i,
    0.100456661768967 + 0.0*i,
    -0.529010249292261 + 0.0*i,
    -0.261386873301447 + 0.0*i,
    -0.125322365737246 + 0.0*i,
    0.30609070158349 + 0.0*i,
    -0.336451823143558 + 0.0*i,
    -0.18528748266175 + 0.0*i,
    -0.140540117959948 + 0.0*i,
    -0.525652577558155 + 0.0*i,
    0.252888980986608 + 0.0*i,
    -0.564872512447627 + 0.0*i,
    -0.781040600825719 + 0.0*i,
    -0.0479507586714223 + 0.0*i,
    -0.634767348147647 + 0.0*i,
    -0.846979854502208 + 0.0*i,
    1.12419965824946 + 0.0*i,
    0.35611796819284 + 0.0*i,
    0.873147058512561 + 0.0*i,
    1.04555142726337 + 0.0*i,
    -0.00549039317186938 + 0.0*i,
    -0.428271679476587 + 0.0*i,
    -0.316149185452576 + 0.0*i,
    -0.150599381392547 + 0.0*i,
    0.403241020509146 + 0.0*i,
    0.121564333203783 + 0.0*i,
    -0.191390318844938 + 0.0*i,
    0.429574189487353 + 0.0*i,
    -0.0192838695056587 + 0.0*i,
    0.228329649553249 + 0.0*i,
    -0.276203696294244 + 0.0*i,
    0.0953649037252426 + 0.0*i,
    0.526232203443348 + 0.0*i,
    -0.850217510106388 + 0.0*i,
    -0.359742396079186 + 0.0*i,
    0.847809706488331 + 0.0*i,
    0.380741585089254 + 0.0*i,
    0.0332642205970959 + 0.0*i,
    -0.0599321934359645 + 0.0*i,
    -0.523933975310378 + 0.0*i,
    0.401991794001508 + 0.0*i,
    -0.413776604088556 + 0.0*i,
    0.199872517934231 + 0.0*i,
    -0.302949567920866 + 0.0*i,
    0.394046985457425 + 0.0*i,
    0.0511815329361758 + 0.0*i,
    -0.0332513670240363 + 0.0*i,
    0.042617725160673 + 0.0*i,
    0.296618764274604 + 0.0*i,
    0.0288696036530096 + 0.0*i,
    1.09232084036427 + 0.0*i,
    -0.510683710332892 + 0.0*i,
    0.0542135575222724 + 0.0*i,
    1.51656791992136 + 0.0*i,
    -0.171776014413105 + 0.0*i,
    0.632761595006356 + 0.0*i,
    -0.18769537678283 + 0.0*i,
    0.92838791968272 + 0.0*i,
    -0.786906273824774 + 0.0*i,
    -0.0132474487492097 + 0.0*i,
    0.41523380998449 + 0.0*i,
    0.116904024516867 + 0.0*i,
    0.4232320087973 + 0.0*i,
    -0.113449396107161 + 0.0*i,
    1.01940092062837 + 0.0*i,
    0.0868958831998586 + 0.0*i,
    -0.447717027100491 + 0.0*i,
    0.279332360816985 + 0.0*i,
    -0.377049442236992 + 0.0*i,
    -0.125150595220171 + 0.0*i,
    -0.717106946423963 + 0.0*i,
    -0.0235570965185651 + 0.0*i,
    0.321047427771153 + 0.0*i,
    0.745509814817703 + 0.0*i,
    -0.551644703730432 + 0.0*i,
    0.684962737566065 + 0.0*i,
    -0.116722329377821 + 0.0*i,
    -0.286072153886973 + 0.0*i,
    1.11626183969124 + 0.0*i,
    0.959100178244137 + 0.0*i,
    0.604739738490069 + 0.0*i,
    0.234778812645301 + 0.0*i,
    -0.411961863688438 + 0.0*i,
    1.64941197477577 + 0.0*i,
    0.439295791210856 + 0.0*i,
    0.0730958668557276 + 0.0*i,
    0.0163141748610039 + 0.0*i,
    0.728024744497417 + 0.0*i,
    -0.304256152390942 + 0.0*i,
    -0.118547362425059 + 0.0*i,
    -0.0351218130703531 + 0.0*i,
    0.0108352049271895 + 0.0*i,
    -0.745760975070861 + 0.0*i,
    -0.470306252992561 + 0.0*i,
    0.50410841025581 + 0.0*i,
    0.0894964679541015 + 0.0*i,
    0.271554783695787 + 0.0*i,
    -0.306989698095654 + 0.0*i,
    -0.161749114603998 + 0.0*i,
    0.0782061772343952 + 0.0*i,
    0.557080330982715 + 0.0*i,
    0.247780775545547 + 0.0*i,
    -0.558377971693483 + 0.0*i,
    0.580320616060539 + 0.0*i,
    -0.0659791638889728 + 0.0*i,
    -0.627720413238347 + 0.0*i,
    -0.573734248549137 + 0.0*i,
    -0.240687485805928 + 0.0*i,
    -0.211278678513783 + 0.0*i,
    -1.00020401855977 + 0.0*i,
    0.0809858912383063 + 0.0*i,
    0.248166039307237 + 0.0*i,
    0.276788946038674 + 0.0*i,
    -0.65235239322234 + 0.0*i,
    0.293367914040212 + 0.0*i,
    0.764280866259788 + 0.0*i,
    0.196545369593822 + 0.0*i,
    0.613179348172121 + 0.0*i,
    0.12420545225253 + 0.0*i,
    0.451916995302309 + 0.0*i,
    -0.441396097807945 + 0.0*i,
    -0.0373033185759147 + 0.0*i,
    -0.0125107319849715 + 0.0*i,
    0.0764337276348116 + 0.0*i,
    0.378541101242858 + 0.0*i,
    -0.193415882282465 + 0.0*i
]);