V:=Matrix(CC,4,132,[
    0.434234277513209 + 0.0*i,
    0.0333967525235718 + 0.0*i,
    0.180734846229044 + 0.0*i,
    0.110788186092938 + 0.0*i,
    -0.107236994567023 + 0.0*i,
    -0.164541637915562 + 0.0*i,
    0.101882228968516 + 0.0*i,
    -0.0663491984305383 + 0.0*i,
    0.147732525128362 + 0.0*i,
    0.182962247594158 + 0.0*i,
    0.138580290078947 + 0.0*i,
    -0.0611238530962123 + 0.0*i,
    0.171368995563066 + 0.0*i,
    0.228575960593343 + 0.0*i,
    -0.344534785808557 + 0.0*i,
    0.191452182845508 + 0.0*i,
    -0.196693168999092 + 0.0*i,
    0.421585857870324 + 0.0*i,
    -0.339133314188696 + 0.0*i,
    0.258216924598319 + 0.0*i,
    -0.04094159352814 + 0.0*i,
    -0.0987121929417245 + 0.0*i,
    -0.277726387137816 + 0.0*i,
    0.158899285957391 + 0.0*i,
    -0.0370607071546842 + 0.0*i,
    -0.134246514769293 + 0.0*i,
    0.311931654581531 + 0.0*i,
    0.34489290652095 + 0.0*i,
    0.0351880174488141 + 0.0*i,
    0.101408815389093 + 0.0*i,
    -0.0587363558399752 + 0.0*i,
    -0.404156346234062 + 0.0*i,
    0.000617785827315687 + 0.0*i,
    -0.167175404827325 + 0.0*i,
    -0.302191112588213 + 0.0*i,
    -0.30700750389156 + 0.0*i,
    -0.0373126989386795 + 0.0*i,
    0.163539097645033 + 0.0*i,
    0.267569407093804 + 0.0*i,
    0.274692871036602 + 0.0*i,
    -0.456148503277902 + 0.0*i,
    0.45079898713959 + 0.0*i,
    0.312569403361573 + 0.0*i,
    0.0262388732925849 + 0.0*i,
    0.165073567928973 + 0.0*i,
    0.179759296434893 + 0.0*i,
    0.303156827460505 + 0.0*i,
    0.109436595870181 + 0.0*i,
    -0.104800676185828 + 0.0*i,
    0.277765217917482 + 0.0*i,
    0.454653162854705 + 0.0*i,
    0.0850759556181392 + 0.0*i,
    -0.435168163911995 + 0.0*i,
    0.435124002792723 + 0.0*i,
    -0.187062626988802 + 0.0*i,
    0.126394965502785 + 0.0*i,
    -0.354966869566777 + 0.0*i,
    -0.262041721010258 + 0.0*i,
    -0.249109269411863 + 0.0*i,
    -0.31281389500966 + 0.0*i,
    0.190889497106476 + 0.0*i,
    -0.156744993254087 + 0.0*i,
    0.264047021124321 + 0.0*i,
    0.418689567925128 + 0.0*i,
    -0.0751448698365465 + 0.0*i,
    0.178549978654634 + 0.0*i,
    -0.236304519349311 + 0.0*i,
    0.309196996002866 + 0.0*i,
    0.0626560918740947 + 0.0*i,
    0.142635953218213 + 0.0*i,
    0.0506142818127411 + 0.0*i,
    -0.322196463610149 + 0.0*i,
    -0.0647058699446335 + 0.0*i,
    0.300973676382068 + 0.0*i,
    0.355879245236943 + 0.0*i,
    0.0331822272854547 + 0.0*i,
    0.125151346915022 + 0.0*i,
    0.318108557232687 + 0.0*i,
    0.122336703711663 + 0.0*i,
    -0.0500815399912063 + 0.0*i,
    0.226399315522081 + 0.0*i,
    0.33057747176422 + 0.0*i,
    -0.292315907325753 + 0.0*i,
    0.139118024449685 + 0.0*i,
    0.421255482785465 + 0.0*i,
    -0.241016430091814 + 0.0*i,
    0.123173843293536 + 0.0*i,
    -0.169610798966763 + 0.0*i,
    -0.0266714079782216 + 0.0*i,
    -0.127955984060087 + 0.0*i,
    -0.00623901838907591 + 0.0*i,
    -0.238102901473388 + 0.0*i,
    -0.325020395786351 + 0.0*i,
    -0.431530499006134 + 0.0*i,
    -0.313953432548154 + 0.0*i,
    -0.025659134654341 + 0.0*i,
    0.0531276950871679 + 0.0*i,
    0.248454195583072 + 0.0*i,
    -0.30425317129718 + 0.0*i,
    -0.108406103920186 + 0.0*i,
    -0.387138933784787 + 0.0*i,
    0.150827989887612 + 0.0*i,
    -0.141477598585083 + 0.0*i,
    -0.208804438387594 + 0.0*i,
    -0.4954822402592 + 0.0*i,
    -0.1171812771278 + 0.0*i,
    0.0542830440942541 + 0.0*i,
    0.0139205163837676 + 0.0*i,
    0.215401017628043 + 0.0*i,
    -0.36667056004211 + 0.0*i,
    0.118043757861979 + 0.0*i,
    -0.27273473961678 + 0.0*i,
    0.322449370591801 + 0.0*i,
    0.00576796649645729 + 0.0*i,
    0.359886061668382 + 0.0*i,
    -0.0399546513929208 + 0.0*i,
    -0.401157064361328 + 0.0*i,
    0.254876819560147 + 0.0*i,
    0.2337124942778 + 0.0*i,
    -0.462079717334055 + 0.0*i,
    -0.326169278752063 + 0.0*i,
    0.298667167577574 + 0.0*i,
    0.064368808584493 + 0.0*i,
    -0.115956334817937 + 0.0*i,
    0.408899139803545 + 0.0*i,
    -0.0273773452973707 + 0.0*i,
    -0.183267388236662 + 0.0*i,
    -0.00914025583223929 + 0.0*i,
    -0.216325971566396 + 0.0*i,
    -0.40916955612835 + 0.0*i,
    0.131620058353968 + 0.0*i,
    -0.388888711321612 + 0.0*i,
    -0.0335608549886385 + 0.0*i,
    -0.114833331520453 + 0.0*i,
    0.362152811749997 + 0.0*i,
    -0.0969570020793219 + 0.0*i,
    -0.291097734957299 + 0.0*i,
    -0.107831557584714 + 0.0*i,
    0.250849681720796 + 0.0*i,
    -0.260373887652625 + 0.0*i,
    -0.129613348813014 + 0.0*i,
    -0.391651223040372 + 0.0*i,
    0.0686005119551362 + 0.0*i,
    -0.289745139698054 + 0.0*i,
    0.10954328493635 + 0.0*i,
    -0.120639570340294 + 0.0*i,
    0.0568584444236509 + 0.0*i,
    -0.0180760676676574 + 0.0*i,
    -0.0953088725171937 + 0.0*i,
    0.219083221718466 + 0.0*i,
    0.22157388133857 + 0.0*i,
    0.392349760879603 + 0.0*i,
    0.381251244238106 + 0.0*i,
    0.318836764371747 + 0.0*i,
    0.390201751745819 + 0.0*i,
    -0.108548296935368 + 0.0*i,
    0.449031238723727 + 0.0*i,
    -0.111715566282444 + 0.0*i,
    0.124086463834627 + 0.0*i,
    0.145581123234042 + 0.0*i,
    0.440447859377387 + 0.0*i,
    0.43793056816038 + 0.0*i,
    -0.324583426523283 + 0.0*i,
    0.0639358216467761 + 0.0*i,
    0.259391156609899 + 0.0*i,
    0.0456559861327092 + 0.0*i,
    -0.269267446104907 + 0.0*i,
    0.246536382718201 + 0.0*i,
    0.00516455469451909 + 0.0*i,
    -0.112723065997485 + 0.0*i,
    -0.103294107575059 + 0.0*i,
    -0.0711449780285705 + 0.0*i,
    -0.101258302762377 + 0.0*i,
    -0.204688838482874 + 0.0*i,
    0.377511084990481 + 0.0*i,
    0.441150402679162 + 0.0*i,
    -0.338489154481731 + 0.0*i,
    -0.403885281624274 + 0.0*i,
    0.239020260492592 + 0.0*i,
    0.292188697886935 + 0.0*i,
    0.482063914146609 + 0.0*i,
    0.212240404954483 + 0.0*i,
    -0.113502114593911 + 0.0*i,
    0.366824785803919 + 0.0*i,
    0.146543484741064 + 0.0*i,
    -0.115899704319096 + 0.0*i,
    -0.222130344384361 + 0.0*i,
    -0.00439781444277195 + 0.0*i,
    0.322006991997604 + 0.0*i,
    -0.0622028720815338 + 0.0*i,
    -0.147635838033797 + 0.0*i,
    0.270831321511087 + 0.0*i,
    0.110369684367582 + 0.0*i,
    0.179547250739802 + 0.0*i,
    0.304595531960145 + 0.0*i,
    0.0836377552331082 + 0.0*i,
    -0.235983419562624 + 0.0*i,
    0.30442104250565 + 0.0*i,
    -0.13918177944817 + 0.0*i,
    -0.0514120342586317 + 0.0*i,
    0.187737718009237 + 0.0*i,
    0.451156087915586 + 0.0*i,
    -0.108843665807305 + 0.0*i,
    0.0298183795236189 + 0.0*i,
    -0.39029404131357 + 0.0*i,
    0.0231093842308867 + 0.0*i,
    0.184977763745872 + 0.0*i,
    -0.104380883984636 + 0.0*i,
    -0.28799615412558 + 0.0*i,
    -0.263535833018017 + 0.0*i,
    0.415863951728682 + 0.0*i,
    -0.0648146493659549 + 0.0*i,
    0.329410904834717 + 0.0*i,
    -0.0334500062752806 + 0.0*i,
    0.373783140808128 + 0.0*i,
    -0.433287434797868 + 0.0*i,
    0.220460480217927 + 0.0*i,
    0.287617564757292 + 0.0*i,
    -0.318880365475083 + 0.0*i,
    -0.303441462938908 + 0.0*i,
    0.40078998796961 + 0.0*i,
    -0.153429766094577 + 0.0*i,
    0.317573128969622 + 0.0*i,
    -0.372677541063108 + 0.0*i,
    0.235566350831489 + 0.0*i,
    -0.0655932374842103 + 0.0*i,
    -0.141005854676465 + 0.0*i,
    0.0338128786498327 + 0.0*i,
    0.167549043776707 + 0.0*i,
    -0.255398654818793 + 0.0*i,
    0.143097820791656 + 0.0*i,
    0.343639604054539 + 0.0*i,
    -0.00959145753524268 + 0.0*i,
    -0.359089179702476 + 0.0*i,
    -0.0352110691813765 + 0.0*i,
    0.193936103046608 + 0.0*i,
    -0.0238917929870496 + 0.0*i,
    0.171901935831445 + 0.0*i,
    -0.0148734221483561 + 0.0*i,
    -0.162244980365702 + 0.0*i,
    -0.187052590091417 + 0.0*i,
    0.291126245833421 + 0.0*i,
    -0.230436819892189 + 0.0*i,
    -0.25752810491535 + 0.0*i,
    -0.255958133094851 + 0.0*i,
    0.0598717106467649 + 0.0*i,
    -0.0885289200389611 + 0.0*i,
    0.217816826575581 + 0.0*i,
    0.170502793274135 + 0.0*i,
    -0.079557576411524 + 0.0*i,
    0.0519484419142675 + 0.0*i,
    -0.0200534946128111 + 0.0*i,
    -0.175442450314232 + 0.0*i,
    0.365509497713292 + 0.0*i,
    -0.467244195138611 + 0.0*i,
    -0.480077739604475 + 0.0*i,
    0.259570360145736 + 0.0*i,
    0.231665189011287 + 0.0*i,
    -0.0938133625283568 + 0.0*i,
    -0.118253568598794 + 0.0*i,
    0.411974807651944 + 0.0*i,
    -0.172206714071085 + 0.0*i,
    -0.296521353800206 + 0.0*i,
    -0.0383603121837702 + 0.0*i,
    0.0726953798185723 + 0.0*i,
    0.46358273886581 + 0.0*i,
    -0.266068454166766 + 0.0*i,
    -0.0777190065184119 + 0.0*i,
    0.0974506305653248 + 0.0*i,
    -0.0360933408836942 + 0.0*i,
    0.216888648453465 + 0.0*i,
    -0.340670640377099 + 0.0*i,
    0.453437885929416 + 0.0*i,
    0.208134214318748 + 0.0*i,
    0.454460239369748 + 0.0*i,
    -0.354063593195405 + 0.0*i,
    0.0697085312477186 + 0.0*i,
    -0.000792523731399563 + 0.0*i,
    0.138793837887623 + 0.0*i,
    -0.428494129310131 + 0.0*i,
    0.178354561111593 + 0.0*i,
    -0.1415513179077 + 0.0*i,
    -0.225856511952085 + 0.0*i,
    -0.152536056362142 + 0.0*i,
    0.31095379702082 + 0.0*i,
    -0.362037667758937 + 0.0*i,
    -0.0295054580995522 + 0.0*i,
    0.330785220520234 + 0.0*i,
    -0.031530622180955 + 0.0*i,
    -0.459561148277874 + 0.0*i,
    0.198081236400413 + 0.0*i,
    -0.0205706499131701 + 0.0*i,
    -0.103659478397945 + 0.0*i,
    0.180747887942023 + 0.0*i,
    -0.147410945985972 + 0.0*i,
    -0.224115520003289 + 0.0*i,
    0.0259371212740793 + 0.0*i,
    0.281210029783063 + 0.0*i,
    -0.255801336743476 + 0.0*i,
    -0.307894620983361 + 0.0*i,
    0.0741602476706976 + 0.0*i,
    0.167669992445415 + 0.0*i,
    -0.398350706767261 + 0.0*i,
    0.180914939459198 + 0.0*i,
    -0.133594484129578 + 0.0*i,
    -0.0150553440185291 + 0.0*i,
    0.116324778677538 + 0.0*i,
    -0.232849280931226 + 0.0*i,
    -0.0493819134833378 + 0.0*i,
    0.195233716786892 + 0.0*i,
    -0.313084224347614 + 0.0*i,
    -0.369697522008155 + 0.0*i,
    -0.0517206922931994 + 0.0*i,
    0.122731297379662 + 0.0*i,
    0.167710223020706 + 0.0*i,
    0.0415054308670747 + 0.0*i,
    -0.00955647374435618 + 0.0*i,
    -0.162795008174452 + 0.0*i,
    0.281358538556683 + 0.0*i,
    0.365268565838362 + 0.0*i,
    -0.122282941582851 + 0.0*i,
    0.348691590989044 + 0.0*i,
    -0.342549651378966 + 0.0*i,
    0.180471356085936 + 0.0*i,
    0.357282664902133 + 0.0*i,
    0.232920977553398 + 0.0*i,
    0.211147428548422 + 0.0*i,
    -0.188735483898147 + 0.0*i,
    0.421760081104106 + 0.0*i,
    0.354349129375106 + 0.0*i,
    0.386365873610403 + 0.0*i,
    0.0489658196268596 + 0.0*i,
    -0.330094862009111 + 0.0*i,
    0.0275548257200354 + 0.0*i,
    -0.417245038910687 + 0.0*i,
    -0.36711440599732 + 0.0*i,
    0.215535673443252 + 0.0*i,
    0.244819743467961 + 0.0*i,
    -0.205901933892205 + 0.0*i,
    0.153614601544614 + 0.0*i,
    0.351267169567473 + 0.0*i,
    -0.17327832462478 + 0.0*i,
    0.210598144152433 + 0.0*i,
    -0.261931327873114 + 0.0*i,
    0.0980157279452143 + 0.0*i,
    -0.295591293488122 + 0.0*i,
    0.143366003043558 + 0.0*i,
    -0.130918144677465 + 0.0*i,
    0.0509015782670329 + 0.0*i,
    0.321920707531248 + 0.0*i,
    0.127161171280029 + 0.0*i,
    0.101091013368356 + 0.0*i,
    0.106225392556692 + 0.0*i,
    -0.225432625915329 + 0.0*i,
    -0.297737517131541 + 0.0*i,
    0.00913631334708536 + 0.0*i,
    -0.15497961725423 + 0.0*i,
    -0.0630863738720553 + 0.0*i,
    -0.351180623265064 + 0.0*i,
    0.417145004074495 + 0.0*i,
    -0.157717686964692 + 0.0*i,
    -0.0650172321446184 + 0.0*i,
    0.303722344714107 + 0.0*i,
    0.258454676688851 + 0.0*i,
    -0.271224778665133 + 0.0*i,
    -0.264369164450394 + 0.0*i,
    0.344098008767324 + 0.0*i,
    0.360610418528828 + 0.0*i,
    0.0203046187850464 + 0.0*i,
    0.425571443357995 + 0.0*i,
    -0.491862019478685 + 0.0*i,
    0.293282179168948 + 0.0*i,
    0.339134873949646 + 0.0*i,
    0.0425157447638466 + 0.0*i,
    -0.256986223267392 + 0.0*i,
    0.232388589628525 + 0.0*i,
    0.0487613425890566 + 0.0*i,
    0.255487038456394 + 0.0*i,
    -0.106225901869424 + 0.0*i,
    0.0423797312664822 + 0.0*i,
    0.230222862461783 + 0.0*i,
    0.396237476850334 + 0.0*i,
    -0.169200660698789 + 0.0*i,
    0.125680156669606 + 0.0*i,
    0.0635253574710731 + 0.0*i,
    -0.0796393653204796 + 0.0*i,
    -0.133177786943122 + 0.0*i,
    0.0255526300603592 + 0.0*i,
    -0.0131149711549364 + 0.0*i,
    0.439636731186278 + 0.0*i,
    0.437089636249281 + 0.0*i,
    0.440303957043511 + 0.0*i,
    0.0128223453869419 + 0.0*i,
    -0.208872199227522 + 0.0*i,
    0.176111947044593 + 0.0*i,
    0.310540633916023 + 0.0*i,
    0.234992995033637 + 0.0*i,
    0.137020846551067 + 0.0*i,
    0.118829164737529 + 0.0*i,
    -0.474360636811746 + 0.0*i,
    0.381200308535455 + 0.0*i,
    0.457043806458569 + 0.0*i,
    0.352360911169477 + 0.0*i,
    0.246786252831017 + 0.0*i,
    -0.0449840804429412 + 0.0*i,
    -0.135781063421826 + 0.0*i,
    -0.125518455428343 + 0.0*i,
    -0.195374178041396 + 0.0*i,
    0.454113296320381 + 0.0*i,
    0.425802512835573 + 0.0*i,
    0.328306707068511 + 0.0*i,
    0.110524541725072 + 0.0*i,
    0.404903530564328 + 0.0*i,
    0.015833217259483 + 0.0*i,
    -0.192320308175602 + 0.0*i,
    -0.0686423577641953 + 0.0*i,
    -0.0192185926662944 + 0.0*i,
    0.0436876740810233 + 0.0*i,
    -0.116367122535669 + 0.0*i,
    0.317362447187448 + 0.0*i,
    -0.212267780699959 + 0.0*i,
    -0.0896650557836416 + 0.0*i,
    0.307204349598278 + 0.0*i,
    0.330924201163721 + 0.0*i,
    0.212743167339728 + 0.0*i,
    -0.127523765564171 + 0.0*i,
    0.339627259469207 + 0.0*i,
    0.15583291823813 + 0.0*i,
    0.422282972676352 + 0.0*i,
    0.363735111833973 + 0.0*i,
    -0.144828126664829 + 0.0*i,
    0.0166228021959351 + 0.0*i,
    -0.490934864944298 + 0.0*i,
    -0.427583648762235 + 0.0*i,
    -0.0250111685031782 + 0.0*i,
    0.367437163203199 + 0.0*i,
    -0.0516133491166906 + 0.0*i,
    0.0860662649279708 + 0.0*i,
    -0.00687841635553457 + 0.0*i,
    0.000139054971555926 + 0.0*i,
    0.31996921489188 + 0.0*i,
    0.119952586280066 + 0.0*i,
    -0.0229368021577294 + 0.0*i,
    -0.114493486917346 + 0.0*i,
    0.0185414163112072 + 0.0*i,
    -0.325137807997238 + 0.0*i,
    0.00635970104821562 + 0.0*i,
    -0.266521865338053 + 0.0*i,
    0.185942519505363 + 0.0*i,
    -0.102581083334615 + 0.0*i,
    -0.277775011349203 + 0.0*i,
    -0.306737773062168 + 0.0*i,
    0.038347005312224 + 0.0*i,
    0.229638889115868 + 0.0*i,
    0.197134531949818 + 0.0*i,
    0.181442584436336 + 0.0*i,
    0.265460023901049 + 0.0*i,
    -0.376771084243738 + 0.0*i,
    -0.192113105330586 + 0.0*i,
    -0.177226911745479 + 0.0*i,
    -0.0592279708089777 + 0.0*i,
    -0.0346301881440654 + 0.0*i,
    -0.131952967600516 + 0.0*i,
    -0.380336616594873 + 0.0*i,
    -0.326870233164405 + 0.0*i,
    0.119142298341866 + 0.0*i,
    0.235288329531301 + 0.0*i,
    0.0789132168811556 + 0.0*i,
    0.216588260425345 + 0.0*i,
    -0.309952756447624 + 0.0*i,
    0.213319314859623 + 0.0*i,
    0.46478952136552 + 0.0*i,
    0.168993961188205 + 0.0*i,
    0.21951416354202 + 0.0*i,
    0.12006313557468 + 0.0*i,
    -0.414704820750508 + 0.0*i,
    0.283385587042498 + 0.0*i,
    0.228503876050911 + 0.0*i,
    -0.0122838631812254 + 0.0*i,
    0.128788607055848 + 0.0*i,
    0.147195588317962 + 0.0*i,
    -0.012181817425332 + 0.0*i,
    -0.342276843659822 + 0.0*i,
    -0.346134770413908 + 0.0*i,
    0.281358878058497 + 0.0*i,
    0.385995754328698 + 0.0*i,
    0.242075165174012 + 0.0*i,
    0.228586127317943 + 0.0*i,
    0.257052346108187 + 0.0*i,
    0.230616766781744 + 0.0*i,
    -0.0288802896826848 + 0.0*i,
    0.271174443215395 + 0.0*i,
    0.42872763963714 + 0.0*i,
    -0.348863017914223 + 0.0*i,
    0.201189609319384 + 0.0*i,
    -0.218798005900853 + 0.0*i,
    -0.149524750041837 + 0.0*i,
    -0.164289060304328 + 0.0*i,
    -0.324936329283318 + 0.0*i,
    -0.17838210209692 + 0.0*i,
    0.0359913510443871 + 0.0*i,
    0.158095297917433 + 0.0*i,
    0.00914372122918984 + 0.0*i,
    -0.351167706240242 + 0.0*i,
    -0.237233678344952 + 0.0*i,
    0.110175293129376 + 0.0*i,
    -0.340713952004938 + 0.0*i,
    0.235499829758099 + 0.0*i,
    0.26763849206199 + 0.0*i,
    -0.413352406711797 + 0.0*i,
    0.309929108457721 + 0.0*i,
    -0.439063872665937 + 0.0*i,
    -0.0503110509666197 + 0.0*i,
    0.138739266510645 + 0.0*i,
    0.403592731103678 + 0.0*i,
    -0.138212920105684 + 0.0*i,
    0.321431280175365 + 0.0*i,
    0.145700409103912 + 0.0*i,
    -0.0535587093193902 + 0.0*i,
    0.0474573239942109 + 0.0*i,
    -0.123240564239889 + 0.0*i,
    -0.0385564619339201 + 0.0*i,
    0.105985897398656 + 0.0*i,
    -0.192963389423775 + 0.0*i,
    0.181735550831435 + 0.0*i,
    0.0957760684703715 + 0.0*i,
    0.344681252347358 + 0.0*i,
    5.44763244569558e-05 + 0.0*i
]);