V:=Matrix(CC,4,128,[
    -0.378768944077238 + 0.0*i,
    0.207244092598703 + 0.0*i,
    -0.365187374994461 + 0.0*i,
    -0.289840818555463 + 0.0*i,
    0.45933205327192 + 0.0*i,
    -0.0880199949873622 + 0.0*i,
    -0.0611896795256059 + 0.0*i,
    0.287603813986923 + 0.0*i,
    -0.388516655064845 + 0.0*i,
    -0.0784589346100691 + 0.0*i,
    0.390506808883007 + 0.0*i,
    0.0691801363624144 + 0.0*i,
    0.0566175054191999 + 0.0*i,
    0.106005261714313 + 0.0*i,
    -0.178823448446574 + 0.0*i,
    0.294023409944358 + 0.0*i,
    0.347156906835194 + 0.0*i,
    -0.0778717358450694 + 0.0*i,
    0.243488697374153 + 0.0*i,
    -0.236043470526468 + 0.0*i,
    0.171851879116174 + 0.0*i,
    0.25373377400412 + 0.0*i,
    -0.378198450026963 + 0.0*i,
    0.0506531919354676 + 0.0*i,
    0.119774487623544 + 0.0*i,
    0.301001960588606 + 0.0*i,
    -0.322374622355676 + 0.0*i,
    0.0979144942012008 + 0.0*i,
    -0.165740389791754 + 0.0*i,
    -0.0846269338275727 + 0.0*i,
    -0.286811850396885 + 0.0*i,
    -0.157356881023842 + 0.0*i,
    -0.402206646647616 + 0.0*i,
    -0.106238648487105 + 0.0*i,
    -0.0377979654345408 + 0.0*i,
    -0.263984194116339 + 0.0*i,
    -0.28114665638955 + 0.0*i,
    -0.0474200845200889 + 0.0*i,
    -0.137282121334932 + 0.0*i,
    -0.242153224004325 + 0.0*i,
    -0.145570783244499 + 0.0*i,
    -0.0703193645735101 + 0.0*i,
    0.0374233821637714 + 0.0*i,
    -0.255681301362628 + 0.0*i,
    -0.0176509531943223 + 0.0*i,
    -0.188637258157842 + 0.0*i,
    0.137540105783592 + 0.0*i,
    0.0837496335833729 + 0.0*i,
    -0.395680958908969 + 0.0*i,
    0.19414304297265 + 0.0*i,
    -0.226849695182773 + 0.0*i,
    0.263596741717181 + 0.0*i,
    0.411417723129404 + 0.0*i,
    -0.0354081373560133 + 0.0*i,
    -0.00670152908759075 + 0.0*i,
    -0.1780682062695 + 0.0*i,
    0.350955240084764 + 0.0*i,
    0.39055192463096 + 0.0*i,
    0.382449894902317 + 0.0*i,
    0.397196836353467 + 0.0*i,
    -0.272498908496515 + 0.0*i,
    -0.0902999273620314 + 0.0*i,
    0.473189960209634 + 0.0*i,
    0.263135761760017 + 0.0*i,
    -0.0748435935264194 + 0.0*i,
    -0.0577510602217246 + 0.0*i,
    0.169454129576554 + 0.0*i,
    0.134251497604429 + 0.0*i,
    0.127279741477307 + 0.0*i,
    -0.443357087298969 + 0.0*i,
    -0.251394863765346 + 0.0*i,
    -0.0268084221889377 + 0.0*i,
    0.307169063789929 + 0.0*i,
    0.256330276955186 + 0.0*i,
    -0.000530231898707682 + 0.0*i,
    -0.232360632065633 + 0.0*i,
    0.458209964597434 + 0.0*i,
    -0.187485692609901 + 0.0*i,
    -0.0899507066183605 + 0.0*i,
    -0.0390202519105493 + 0.0*i,
    0.0763096324445866 + 0.0*i,
    0.180696642093436 + 0.0*i,
    0.254932955581669 + 0.0*i,
    -0.184860410001373 + 0.0*i,
    -0.247666533281437 + 0.0*i,
    0.132603780689098 + 0.0*i,
    -0.0826796808577099 + 0.0*i,
    -0.124313390266258 + 0.0*i,
    -0.103151183593926 + 0.0*i,
    0.435615433449618 + 0.0*i,
    -0.326438261282785 + 0.0*i,
    0.149675595459448 + 0.0*i,
    0.185144663891011 + 0.0*i,
    -0.141267425714807 + 0.0*i,
    0.232592098846254 + 0.0*i,
    0.232479896513003 + 0.0*i,
    0.171977154694156 + 0.0*i,
    0.27817176969502 + 0.0*i,
    -0.135510823932235 + 0.0*i,
    -0.316684563168437 + 0.0*i,
    0.124510633148851 + 0.0*i,
    0.295793892109863 + 0.0*i,
    -0.193634370751908 + 0.0*i,
    -0.25567242201634 + 0.0*i,
    0.0110002066501004 + 0.0*i,
    0.0741682189119004 + 0.0*i,
    0.421121515328108 + 0.0*i,
    -0.109630027697186 + 0.0*i,
    -0.204341679668367 + 0.0*i,
    0.345752522946031 + 0.0*i,
    -0.307569539780731 + 0.0*i,
    0.399537112099379 + 0.0*i,
    -0.13330769162279 + 0.0*i,
    0.285265794182829 + 0.0*i,
    0.13449984188821 + 0.0*i,
    0.269074403634787 + 0.0*i,
    0.36229857933723 + 0.0*i,
    -0.176967176933656 + 0.0*i,
    -0.00829523429870276 + 0.0*i,
    -0.0364851875246915 + 0.0*i,
    -0.414089048423302 + 0.0*i,
    0.254812743998289 + 0.0*i,
    0.0667955564669779 + 0.0*i,
    0.331333449187226 + 0.0*i,
    -0.00565629563925364 + 0.0*i,
    -0.0465143669572033 + 0.0*i,
    -0.118257197055208 + 0.0*i,
    0.22971398773094 + 0.0*i,
    -0.13669308987504 + 0.0*i,
    -0.377905961846612 + 0.0*i,
    0.297531358235111 + 0.0*i,
    -0.388444586105821 + 0.0*i,
    -0.130747520948172 + 0.0*i,
    -0.131216452201372 + 0.0*i,
    0.315112328900756 + 0.0*i,
    0.0157024536269231 + 0.0*i,
    -0.0723748546121559 + 0.0*i,
    0.025235314507606 + 0.0*i,
    0.22148808346081 + 0.0*i,
    -0.152376030587217 + 0.0*i,
    -0.398779193354744 + 0.0*i,
    0.35187417087627 + 0.0*i,
    0.141916726315375 + 0.0*i,
    -0.112264982345836 + 0.0*i,
    0.083984235211208 + 0.0*i,
    -0.00824253180984746 + 0.0*i,
    -0.384260245279862 + 0.0*i,
    0.246755919074678 + 0.0*i,
    -0.2281327485094 + 0.0*i,
    0.239581167939629 + 0.0*i,
    -0.138249309340165 + 0.0*i,
    -0.250790749271922 + 0.0*i,
    -0.419111693861759 + 0.0*i,
    -0.249091515328376 + 0.0*i,
    0.271091833725765 + 0.0*i,
    0.171362592726817 + 0.0*i,
    0.243283109414833 + 0.0*i,
    0.011530338796318 + 0.0*i,
    0.0307964700229445 + 0.0*i,
    0.110326884889851 + 0.0*i,
    0.127921203318033 + 0.0*i,
    -0.124399364497197 + 0.0*i,
    -0.283588404298877 + 0.0*i,
    -0.226450721376772 + 0.0*i,
    -0.113531130120938 + 0.0*i,
    -0.396987274576259 + 0.0*i,
    0.113206024056989 + 0.0*i,
    -0.355831193565529 + 0.0*i,
    -0.0741607889544011 + 0.0*i,
    -0.10710804986293 + 0.0*i,
    -0.443446902116753 + 0.0*i,
    -0.0437181038509845 + 0.0*i,
    -0.450696870372482 + 0.0*i,
    -0.123614130174307 + 0.0*i,
    0.425616703924672 + 0.0*i,
    0.0748723880824398 + 0.0*i,
    0.069130810132674 + 0.0*i,
    -0.0379285712448248 + 0.0*i,
    -0.349181843155998 + 0.0*i,
    0.323490363855638 + 0.0*i,
    0.0905951128707838 + 0.0*i,
    0.238396035739706 + 0.0*i,
    0.417217917885995 + 0.0*i,
    -0.230156132329472 + 0.0*i,
    -0.130744757100401 + 0.0*i,
    -0.108511281574195 + 0.0*i,
    -0.262227065204449 + 0.0*i,
    0.236414389021644 + 0.0*i,
    -0.17826605593195 + 0.0*i,
    0.412657633694654 + 0.0*i,
    0.0983804831132976 + 0.0*i,
    -0.212696761593922 + 0.0*i,
    -0.319440015761577 + 0.0*i,
    0.0948733347905722 + 0.0*i,
    0.1116610125076 + 0.0*i,
    0.247877687001205 + 0.0*i,
    -0.323181930741327 + 0.0*i,
    0.00995343760510857 + 0.0*i,
    0.0174620782286837 + 0.0*i,
    0.275153665101237 + 0.0*i,
    -0.0553942292726939 + 0.0*i,
    -0.221375637196029 + 0.0*i,
    -0.0989237438581114 + 0.0*i,
    0.306285300942782 + 0.0*i,
    -0.0197881173546967 + 0.0*i,
    0.396794101973551 + 0.0*i,
    0.470659496993688 + 0.0*i,
    -0.170842582973967 + 0.0*i,
    -0.0732125524508279 + 0.0*i,
    0.316193916270262 + 0.0*i,
    0.19004594716572 + 0.0*i,
    -0.0358326770688594 + 0.0*i,
    -0.190647237171242 + 0.0*i,
    0.436969078470237 + 0.0*i,
    -0.280431844771758 + 0.0*i,
    0.294267157620063 + 0.0*i,
    -0.462119635857262 + 0.0*i,
    -0.0370664333303893 + 0.0*i,
    0.0447006107240992 + 0.0*i,
    -0.0654842072326802 + 0.0*i,
    -0.300832498274115 + 0.0*i,
    -0.375985571010024 + 0.0*i,
    0.361229174530618 + 0.0*i,
    -0.187665623234522 + 0.0*i,
    0.0181721603528059 + 0.0*i,
    -0.0142183351333913 + 0.0*i,
    -0.265987527751426 + 0.0*i,
    -0.0593610962596962 + 0.0*i,
    -0.180802052037462 + 0.0*i,
    -0.300271495841186 + 0.0*i,
    -0.14539416784083 + 0.0*i,
    0.120325333175537 + 0.0*i,
    0.0841135206326243 + 0.0*i,
    0.348088258045281 + 0.0*i,
    0.0589809088481859 + 0.0*i,
    0.105180485089983 + 0.0*i,
    -0.227392267269204 + 0.0*i,
    0.288224036942052 + 0.0*i,
    0.107409188954126 + 0.0*i,
    0.232953227924486 + 0.0*i,
    0.133917224487277 + 0.0*i,
    0.299304266141542 + 0.0*i,
    -0.278444554206967 + 0.0*i,
    0.201272536436835 + 0.0*i,
    -0.22098427189258 + 0.0*i,
    -0.103541321174761 + 0.0*i,
    -0.339214206958973 + 0.0*i,
    -0.0328516913156027 + 0.0*i,
    0.181570360186498 + 0.0*i,
    -0.396492147394676 + 0.0*i,
    0.273980170328188 + 0.0*i,
    0.109789953890661 + 0.0*i,
    -0.196549231399543 + 0.0*i,
    -0.16295547319653 + 0.0*i,
    0.33330700084154 + 0.0*i,
    -0.343644603259995 + 0.0*i,
    0.176215187630821 + 0.0*i,
    0.187581896429945 + 0.0*i,
    -0.0682663635421252 + 0.0*i,
    0.00303741148018667 + 0.0*i,
    0.0516526657626405 + 0.0*i,
    -0.308268872838019 + 0.0*i,
    -0.369604561336994 + 0.0*i,
    0.388708042024608 + 0.0*i,
    -0.020560269763114 + 0.0*i,
    -0.395081393653615 + 0.0*i,
    0.0367525338452993 + 0.0*i,
    -0.394786603656782 + 0.0*i,
    0.0924037977068411 + 0.0*i,
    -0.284873534522141 + 0.0*i,
    -0.39941900148878 + 0.0*i,
    0.0620709727541865 + 0.0*i,
    -0.320635178239845 + 0.0*i,
    0.288986229760397 + 0.0*i,
    0.12456717197318 + 0.0*i,
    0.298055500913695 + 0.0*i,
    0.179027654848635 + 0.0*i,
    0.327250789962712 + 0.0*i,
    -0.236652821698969 + 0.0*i,
    0.305114807676537 + 0.0*i,
    0.0322408591897309 + 0.0*i,
    0.294541081506691 + 0.0*i,
    -0.00720993177943279 + 0.0*i,
    0.273333615270309 + 0.0*i,
    0.381498069176412 + 0.0*i,
    0.0560308027390325 + 0.0*i,
    -0.312167583184191 + 0.0*i,
    -0.435046106193296 + 0.0*i,
    -0.188639282103871 + 0.0*i,
    0.391235788056247 + 0.0*i,
    -0.386077466227958 + 0.0*i,
    0.303514777557553 + 0.0*i,
    0.250581862068706 + 0.0*i,
    0.212006878610628 + 0.0*i,
    0.329956112455079 + 0.0*i,
    -0.0940492752312444 + 0.0*i,
    0.364302276333235 + 0.0*i,
    -0.464628499855384 + 0.0*i,
    0.187135265726912 + 0.0*i,
    0.144543850753253 + 0.0*i,
    -0.0891534706902022 + 0.0*i,
    -0.370453326365829 + 0.0*i,
    0.188378109525295 + 0.0*i,
    0.115587525611838 + 0.0*i,
    -0.255697789377228 + 0.0*i,
    -0.429181352024631 + 0.0*i,
    -0.146215761772192 + 0.0*i,
    -0.110671102878948 + 0.0*i,
    0.218168617714951 + 0.0*i,
    0.00134670207773552 + 0.0*i,
    0.152820893631025 + 0.0*i,
    0.234965977635531 + 0.0*i,
    -0.296152996293437 + 0.0*i,
    -0.100001768734483 + 0.0*i,
    -0.0711290399227853 + 0.0*i,
    -0.151198850651383 + 0.0*i,
    -0.205457064789461 + 0.0*i,
    0.240008567184577 + 0.0*i,
    0.0253938721629553 + 0.0*i,
    -0.243943210100523 + 0.0*i,
    -0.313681450292771 + 0.0*i,
    -0.327638401199071 + 0.0*i,
    -0.430188173645553 + 0.0*i,
    -0.088165759712596 + 0.0*i,
    0.287944357760215 + 0.0*i,
    -0.0790029260081494 + 0.0*i,
    -0.331159634365356 + 0.0*i,
    0.340603585437488 + 0.0*i,
    -0.344989052004556 + 0.0*i,
    0.233300255486849 + 0.0*i,
    0.132245686992063 + 0.0*i,
    0.03048744951826 + 0.0*i,
    -0.147234569617069 + 0.0*i,
    0.0972053051883531 + 0.0*i,
    0.000836096060257039 + 0.0*i,
    0.157802333956661 + 0.0*i,
    -0.211630403239589 + 0.0*i,
    0.27698328851835 + 0.0*i,
    -0.323575642924486 + 0.0*i,
    0.0414670676324175 + 0.0*i,
    -0.000446667272272256 + 0.0*i,
    -0.0962616243000531 + 0.0*i,
    -0.175841146854225 + 0.0*i,
    -0.101201064738834 + 0.0*i,
    0.0151243958059012 + 0.0*i,
    0.014420750112447 + 0.0*i,
    -0.156563673087565 + 0.0*i,
    0.239321371014044 + 0.0*i,
    -0.132904830493626 + 0.0*i,
    0.0285997871752758 + 0.0*i,
    -0.213966426049016 + 0.0*i,
    0.310748964287913 + 0.0*i,
    0.151178546131427 + 0.0*i,
    -0.303837502057352 + 0.0*i,
    0.365763869035629 + 0.0*i,
    -0.161502069677738 + 0.0*i,
    -0.202500483313731 + 0.0*i,
    -0.219046485924278 + 0.0*i,
    -0.395004137840151 + 0.0*i,
    0.016150518654157 + 0.0*i,
    -0.470703705878069 + 0.0*i,
    -0.0314548527653528 + 0.0*i,
    -0.176307042203433 + 0.0*i,
    0.44611524493547 + 0.0*i,
    -0.0728084173679024 + 0.0*i,
    0.167862410572515 + 0.0*i,
    0.171969312647297 + 0.0*i,
    0.0236505291276674 + 0.0*i,
    -0.0045057439604085 + 0.0*i,
    -0.132168879944354 + 0.0*i,
    -0.140241990188771 + 0.0*i,
    0.236799046972102 + 0.0*i,
    0.131800477187737 + 0.0*i,
    0.207190123767606 + 0.0*i,
    -0.140521886958817 + 0.0*i,
    -0.444345254391732 + 0.0*i,
    0.145419949947307 + 0.0*i,
    -0.0542132844372756 + 0.0*i,
    -0.243102037696287 + 0.0*i,
    -0.0582369934898243 + 0.0*i,
    0.411489212098732 + 0.0*i,
    -0.06247129601825 + 0.0*i,
    0.259738403435266 + 0.0*i,
    -0.152222149655835 + 0.0*i,
    -0.203316099674121 + 0.0*i,
    -0.119883628479842 + 0.0*i,
    0.0476338973785677 + 0.0*i,
    0.0226608962802433 + 0.0*i,
    0.00719484202609213 + 0.0*i,
    -0.334725751962714 + 0.0*i,
    0.0578281922119889 + 0.0*i,
    -0.0170926351389151 + 0.0*i,
    -0.268851551757771 + 0.0*i,
    0.260787650972031 + 0.0*i,
    -0.181259461491106 + 0.0*i,
    0.232398404177795 + 0.0*i,
    0.256934184787961 + 0.0*i,
    -0.130029935093142 + 0.0*i,
    0.133060343808285 + 0.0*i,
    -0.356260270865463 + 0.0*i,
    0.0229277075564408 + 0.0*i,
    -0.378643207059584 + 0.0*i,
    0.11231503248027 + 0.0*i,
    0.161529001588827 + 0.0*i,
    0.351791784021155 + 0.0*i,
    -0.044975199540664 + 0.0*i,
    -0.127885939290625 + 0.0*i,
    -0.278809891915783 + 0.0*i,
    -0.202264595060467 + 0.0*i,
    -0.00599452599766644 + 0.0*i,
    0.242266542151363 + 0.0*i,
    -0.347864170186528 + 0.0*i,
    -0.0330450081004494 + 0.0*i,
    -0.470371291767082 + 0.0*i,
    0.211684803839924 + 0.0*i,
    -0.0750932772893924 + 0.0*i,
    0.140161336367129 + 0.0*i,
    -0.227253565914008 + 0.0*i,
    -0.0144064832940874 + 0.0*i,
    0.12715720288376 + 0.0*i,
    0.261400751655835 + 0.0*i,
    -0.183319484906195 + 0.0*i,
    0.297356040127713 + 0.0*i,
    -0.200413186702901 + 0.0*i,
    0.261543457225892 + 0.0*i,
    0.0570196149965249 + 0.0*i,
    0.0295238543662388 + 0.0*i,
    -0.379374676730498 + 0.0*i,
    0.138938592099483 + 0.0*i,
    0.190575833306662 + 0.0*i,
    -0.00553410349497232 + 0.0*i,
    -0.451476678739121 + 0.0*i,
    -0.0783756433988761 + 0.0*i,
    0.0971978359945076 + 0.0*i,
    0.195066515322335 + 0.0*i,
    0.213230743108719 + 0.0*i,
    -0.103233009801257 + 0.0*i,
    -0.418509427953769 + 0.0*i,
    0.193592607304332 + 0.0*i,
    -0.304265214607335 + 0.0*i,
    0.0626717219684078 + 0.0*i,
    0.245925176427807 + 0.0*i,
    0.109153492270891 + 0.0*i,
    -0.010672129577003 + 0.0*i,
    -0.289258606401814 + 0.0*i,
    0.0184912022237228 + 0.0*i,
    -0.0213378135955117 + 0.0*i,
    0.239491405854242 + 0.0*i,
    0.1678458248137 + 0.0*i,
    -0.342109676703896 + 0.0*i,
    -0.0665706746397606 + 0.0*i,
    -0.361653767604472 + 0.0*i,
    0.171391480351106 + 0.0*i,
    -0.141052281008096 + 0.0*i,
    -0.2443561871173 + 0.0*i,
    0.208343682224838 + 0.0*i,
    -0.138739401584759 + 0.0*i,
    -0.25234676035589 + 0.0*i,
    0.449348372195238 + 0.0*i,
    -0.293145452387721 + 0.0*i,
    0.0630394501835458 + 0.0*i,
    -0.156772802827933 + 0.0*i,
    -0.00298262591211975 + 0.0*i,
    -0.420807339880941 + 0.0*i,
    -0.416869017595713 + 0.0*i,
    0.147990525942713 + 0.0*i,
    0.133580693578545 + 0.0*i,
    0.435358509813605 + 0.0*i,
    -0.371899423299152 + 0.0*i,
    -0.0967369416704092 + 0.0*i,
    -0.336329637897741 + 0.0*i,
    0.34745327266487 + 0.0*i,
    -0.102348336538796 + 0.0*i,
    -0.208387306353057 + 0.0*i,
    -0.312109137650563 + 0.0*i,
    -0.389826613706548 + 0.0*i,
    -0.0250241394569951 + 0.0*i,
    0.248637216675474 + 0.0*i,
    0.0483105371210742 + 0.0*i,
    0.191952178589644 + 0.0*i,
    0.426259658916046 + 0.0*i,
    0.254975065125379 + 0.0*i,
    -0.0616100218237895 + 0.0*i,
    0.322547046267451 + 0.0*i,
    0.382160917996516 + 0.0*i,
    0.0306269467382274 + 0.0*i,
    -0.134269355485139 + 0.0*i,
    -0.390394167321296 + 0.0*i,
    0.0633901386372276 + 0.0*i,
    0.328795154741868 + 0.0*i,
    -0.151674233434897 + 0.0*i,
    0.0949250175891617 + 0.0*i,
    0.364755389262732 + 0.0*i,
    -0.00208851770895348 + 0.0*i,
    0.323652163115559 + 0.0*i,
    0.137806108257599 + 0.0*i,
    0.438677755538225 + 0.0*i,
    -0.214169227222041 + 0.0*i,
    -0.34846850130702 + 0.0*i,
    -0.230275600650835 + 0.0*i,
    0.198276687735053 + 0.0*i,
    0.370576663278719 + 0.0*i,
    0.31387919804795 + 0.0*i,
    -0.181792684309754 + 0.0*i,
    0.114514145331047 + 0.0*i,
    -0.0331743360051143 + 0.0*i,
    -0.310822227811263 + 0.0*i,
    -0.322680613847919 + 0.0*i,
    0.157712357772233 + 0.0*i,
    -0.443025935304271 + 0.0*i,
    -0.189819119042224 + 0.0*i,
    -0.181279580733116 + 0.0*i
]);