V:=Matrix(CC,4,55,[
    -0.173971163003578 + 0.0*i,
    0.220378649109896 + 0.0*i,
    -0.66963551897922 + 0.0*i,
    0.508353013908554 + 0.0*i,
    0.976603006329227 + 0.0*i,
    -0.548939196172441 + 0.0*i,
    0.384865884501551 + 0.0*i,
    0.143551249079324 + 0.0*i,
    -0.187656339105623 + 0.0*i,
    -0.716644829701384 + 0.0*i,
    -0.120608627013631 + 0.0*i,
    0.0916546705903847 + 0.0*i,
    -0.373547159247562 + 0.0*i,
    0.736453036178701 + 0.0*i,
    -0.34166467220473 + 0.0*i,
    -0.842265099764314 + 0.0*i,
    -0.361024954953486 + 0.0*i,
    -0.175008324425845 + 0.0*i,
    0.582671757505572 + 0.0*i,
    0.0808289830813732 + 0.0*i,
    -0.0900939649527848 + 0.0*i,
    -0.0504751026111016 + 0.0*i,
    -0.677998357763548 + 0.0*i,
    0.294711949655389 + 0.0*i,
    0.0306623194526114 + 0.0*i,
    0.301766862203444 + 0.0*i,
    0.278036949782102 + 0.0*i,
    0.121491544702594 + 0.0*i,
    0.720450857881105 + 0.0*i,
    -0.199893952498299 + 0.0*i,
    -0.315139564318245 + 0.0*i,
    -0.365272215349257 + 0.0*i,
    0.800352157636238 + 0.0*i,
    0.593002625462577 + 0.0*i,
    -0.182522952787153 + 0.0*i,
    0.0123303412212878 + 0.0*i,
    0.346236939743786 + 0.0*i,
    0.296596408260438 + 0.0*i,
    0.753513817348432 + 0.0*i,
    0.284861904924484 + 0.0*i,
    0.468054946892933 + 0.0*i,
    0.662915674324519 + 0.0*i,
    -0.382260740583497 + 0.0*i,
    0.579344972858011 + 0.0*i,
    -0.316032972698449 + 0.0*i,
    0.719990549878773 + 0.0*i,
    0.315360428797194 + 0.0*i,
    -0.90582146677921 + 0.0*i,
    0.490041266134136 + 0.0*i,
    -0.868777159267514 + 0.0*i,
    -0.511704012107071 + 0.0*i,
    -0.544912229438247 + 0.0*i,
    -0.194062305741274 + 0.0*i,
    0.583361371057978 + 0.0*i,
    0.871589005421285 + 0.0*i,
    -0.173403479962377 + 0.0*i,
    0.540459182530459 + 0.0*i,
    -0.666799870599293 + 0.0*i,
    0.587032605424927 + 0.0*i,
    -0.0570523655103888 + 0.0*i,
    -0.777457512325537 + 0.0*i,
    -0.489942604030535 + 0.0*i,
    -0.111709708118419 + 0.0*i,
    0.830555236070191 + 0.0*i,
    0.238913926564154 + 0.0*i,
    -0.940662190571171 + 0.0*i,
    0.593068721261616 + 0.0*i,
    -0.155082841362975 + 0.0*i,
    -0.588053771979823 + 0.0*i,
    -0.401591017820992 + 0.0*i,
    0.487966056095428 + 0.0*i,
    -0.432636160262068 + 0.0*i,
    0.177399586399825 + 0.0*i,
    -0.545382128233862 + 0.0*i,
    0.904373886171675 + 0.0*i,
    0.141666279808541 + 0.0*i,
    0.139147996769595 + 0.0*i,
    -0.10871225356572 + 0.0*i,
    0.620576462648358 + 0.0*i,
    -0.562933469421268 + 0.0*i,
    -0.62891129403801 + 0.0*i,
    -0.91927688105791 + 0.0*i,
    -0.237877241921383 + 0.0*i,
    -0.128284769752607 + 0.0*i,
    0.401689208742571 + 0.0*i,
    -0.857301782715183 + 0.0*i,
    -0.38866683883478 + 0.0*i,
    0.37065757656507 + 0.0*i,
    0.224185323808789 + 0.0*i,
    -0.641645113309923 + 0.0*i,
    0.774188041901746 + 0.0*i,
    0.144806316505696 + 0.0*i,
    0.794872820103723 + 0.0*i,
    0.532366706892321 + 0.0*i,
    -0.203456318337426 + 0.0*i,
    0.0504493937883278 + 0.0*i,
    -0.075883068489974 + 0.0*i,
    0.637444240145673 + 0.0*i,
    0.397018997562706 + 0.0*i,
    0.550077596577474 + 0.0*i,
    -0.36902704705144 + 0.0*i,
    -0.763716198147464 + 0.0*i,
    -0.236580686518296 + 0.0*i,
    -0.840950727545976 + 0.0*i,
    0.181880859300537 + 0.0*i,
    -0.119866053413666 + 0.0*i,
    -0.0188368441121964 + 0.0*i,
    0.23444344607825 + 0.0*i,
    -0.292232444660835 + 0.0*i,
    0.218219396124345 + 0.0*i,
    0.0392552453905611 + 0.0*i,
    0.291025176011665 + 0.0*i,
    0.361486541857634 + 0.0*i,
    -0.0288228837368328 + 0.0*i,
    0.150960252189036 + 0.0*i,
    -0.175284545278078 + 0.0*i,
    0.068180699319891 + 0.0*i,
    -0.949897720623954 + 0.0*i,
    0.0615124450858168 + 0.0*i,
    -0.675742536322879 + 0.0*i,
    0.115393335619432 + 0.0*i,
    -0.376167467159529 + 0.0*i,
    -0.84037431830907 + 0.0*i,
    -0.238107125172843 + 0.0*i,
    0.752361466541324 + 0.0*i,
    -0.147337398430183 + 0.0*i,
    -0.508315245220882 + 0.0*i,
    0.520222932966769 + 0.0*i,
    -0.491138511411976 + 0.0*i,
    -0.36444126870311 + 0.0*i,
    0.846818026115817 + 0.0*i,
    -0.547694658955958 + 0.0*i,
    0.0838498528824121 + 0.0*i,
    -0.337734811372575 + 0.0*i,
    -0.720214553653458 + 0.0*i,
    0.593873294197172 + 0.0*i,
    -0.287060205539565 + 0.0*i,
    0.822547619916585 + 0.0*i,
    -0.187601706033771 + 0.0*i,
    0.259861987663779 + 0.0*i,
    -0.0326235712066571 + 0.0*i,
    -0.83678389357239 + 0.0*i,
    0.459238118994818 + 0.0*i,
    0.57430704639659 + 0.0*i,
    0.739464859699186 + 0.0*i,
    0.450606354930222 + 0.0*i,
    -0.00527806737536391 + 0.0*i,
    0.514590881381341 + 0.0*i,
    0.127384734262461 + 0.0*i,
    0.384271981299919 + 0.0*i,
    -0.668811473036882 + 0.0*i,
    0.506797772395178 + 0.0*i,
    -0.603646962867029 + 0.0*i,
    -0.557833230030479 + 0.0*i,
    0.766900921184987 + 0.0*i,
    0.241695113267626 + 0.0*i,
    0.0405219306678339 + 0.0*i,
    0.0225106337445258 + 0.0*i,
    0.222284159278717 + 0.0*i,
    0.438808921896603 + 0.0*i,
    0.534047260110531 + 0.0*i,
    0.838972389251258 + 0.0*i,
    -0.950459764160931 + 0.0*i,
    -0.490221736383788 + 0.0*i,
    -0.351160306037424 + 0.0*i,
    -0.962038260376845 + 0.0*i,
    0.756320157450571 + 0.0*i,
    -0.0186892601483898 + 0.0*i,
    -0.615390624385616 + 0.0*i,
    0.164469981625022 + 0.0*i,
    0.204088951123833 + 0.0*i,
    -0.787636932670559 + 0.0*i,
    -0.191038837452357 + 0.0*i,
    0.511271562192372 + 0.0*i,
    -0.0327064164738358 + 0.0*i,
    0.282117000325308 + 0.0*i,
    -0.717009508241782 + 0.0*i,
    -0.259088919097847 + 0.0*i,
    0.251206856755279 + 0.0*i,
    -0.384618118702733 + 0.0*i,
    0.261306685495007 + 0.0*i,
    0.651010161715563 + 0.0*i,
    0.831708251790023 + 0.0*i,
    -0.378715183855435 + 0.0*i,
    0.132611432623809 + 0.0*i,
    -0.499668812850483 + 0.0*i,
    0.838154889363947 + 0.0*i,
    -0.725547667208049 + 0.0*i,
    0.652235939089131 + 0.0*i,
    -0.430482999816952 + 0.0*i,
    -0.435209156606441 + 0.0*i,
    -0.03174732769834 + 0.0*i,
    0.509634239027417 + 0.0*i,
    -0.63622545532637 + 0.0*i,
    -0.874530687097693 + 0.0*i,
    -0.341752325621242 + 0.0*i,
    0.165058743582806 + 0.0*i,
    -0.108160805581242 + 0.0*i,
    0.544967570776543 + 0.0*i,
    0.132841759062765 + 0.0*i,
    -0.442993364329759 + 0.0*i,
    -0.93696471812074 + 0.0*i,
    0.14089044178228 + 0.0*i,
    0.374363103326728 + 0.0*i,
    0.853274881586932 + 0.0*i,
    -0.533333909538898 + 0.0*i,
    -0.5863487256127 + 0.0*i,
    -0.293307615460303 + 0.0*i,
    -0.417720287463472 + 0.0*i,
    -0.15924986054175 + 0.0*i,
    0.55514211012553 + 0.0*i,
    0.549390388496434 + 0.0*i,
    0.37466146269776 + 0.0*i,
    -0.0266520345408722 + 0.0*i,
    0.0603897934975554 + 0.0*i,
    -0.572618658751584 + 0.0*i,
    -0.0358686281670048 + 0.0*i,
    0.182947690044272 + 0.0*i,
    0.561620724672467 + 0.0*i,
    0.202072160946361 + 0.0*i
]);