V:=Matrix(CC,4,54,[
    0.135229950016741 + 0.0*i,
    -0.274505651459437 + 0.0*i,
    0.57551056769997 + 0.0*i,
    0.093004731534487 + 0.0*i,
    0.392600625255236 + 0.0*i,
    0.563321810179182 + 0.0*i,
    0.631518433844353 + 0.0*i,
    0.112615091028776 + 0.0*i,
    0.302631638525161 + 0.0*i,
    -0.253820141472858 + 0.0*i,
    1.20506805242874 + 0.0*i,
    0.780902834534498 + 0.0*i,
    -0.475749539292098 + 0.0*i,
    -0.458903574603936 + 0.0*i,
    -0.614787289436158 + 0.0*i,
    0.569407302827153 + 0.0*i,
    -0.240655982844332 + 0.0*i,
    -0.269014174371847 + 0.0*i,
    -0.507048128008194 + 0.0*i,
    0.0964309960389442 + 0.0*i,
    -0.28265334944348 + 0.0*i,
    -1.13196685256607 + 0.0*i,
    0.0149653934059591 + 0.0*i,
    -0.060448535577124 + 0.0*i,
    0.0412889350854614 + 0.0*i,
    0.752654819444134 + 0.0*i,
    0.892462430645244 + 0.0*i,
    -0.261682422753803 + 0.0*i,
    0.673979435027845 + 0.0*i,
    0.509659534263219 + 0.0*i,
    0.656764408391403 + 0.0*i,
    0.715573168343116 + 0.0*i,
    0.537830057730786 + 0.0*i,
    -0.319795197769296 + 0.0*i,
    -0.456804447320794 + 0.0*i,
    0.759016129799352 + 0.0*i,
    0.314500882614337 + 0.0*i,
    -0.342545767359907 + 0.0*i,
    -0.163199536780764 + 0.0*i,
    0.00965003134198918 + 0.0*i,
    0.425614918050751 + 0.0*i,
    -0.471655311771526 + 0.0*i,
    1.06887458990894 + 0.0*i,
    0.0209994263844044 + 0.0*i,
    -0.728218041682117 + 0.0*i,
    -0.46945470053413 + 0.0*i,
    -0.242206306209735 + 0.0*i,
    0.0609246554160999 + 0.0*i,
    -0.39869675715342 + 0.0*i,
    0.660718564253001 + 0.0*i,
    0.0638770399886076 + 0.0*i,
    -0.309011149047882 + 0.0*i,
    0.25900942328209 + 0.0*i,
    0.563961138854945 + 0.0*i,
    0.927832807530272 + 0.0*i,
    0.460792096101952 + 0.0*i,
    -0.035469979278891 + 0.0*i,
    0.112349818093194 + 0.0*i,
    0.9456243765967 + 0.0*i,
    -0.529329051044737 + 0.0*i,
    -0.153085898090323 + 0.0*i,
    -0.262279279100255 + 0.0*i,
    0.444170139630476 + 0.0*i,
    0.39521601021727 + 0.0*i,
    0.633602798158434 + 0.0*i,
    -0.347211849943302 + 0.0*i,
    -1.10001556844283 + 0.0*i,
    -0.190618191886662 + 0.0*i,
    -0.0962765511237192 + 0.0*i,
    0.23933193515949 + 0.0*i,
    -0.204286500814686 + 0.0*i,
    -0.149585276271288 + 0.0*i,
    -0.133820015328168 + 0.0*i,
    -0.491360216337478 + 0.0*i,
    0.316174224401169 + 0.0*i,
    -0.151251324373565 + 0.0*i,
    0.0187726650467638 + 0.0*i,
    -0.277295521061965 + 0.0*i,
    0.626128718696879 + 0.0*i,
    0.452773973682665 + 0.0*i,
    0.0915009685491675 + 0.0*i,
    0.0777382201755458 + 0.0*i,
    0.865129545194013 + 0.0*i,
    1.35432712865207 + 0.0*i,
    0.325571098202449 + 0.0*i,
    -0.545132457706329 + 0.0*i,
    0.481187466267401 + 0.0*i,
    0.802044054085796 + 0.0*i,
    -0.271447827123754 + 0.0*i,
    -0.190510591348167 + 0.0*i,
    -0.853514656091645 + 0.0*i,
    -0.100350448066984 + 0.0*i,
    0.606035742148508 + 0.0*i,
    0.00895722963137044 + 0.0*i,
    -0.311584144525007 + 0.0*i,
    0.325016335991455 + 0.0*i,
    0.200777292990767 + 0.0*i,
    0.25796486729844 + 0.0*i,
    -1.22622765203285 + 0.0*i,
    -0.118291264994015 + 0.0*i,
    -0.75532790440807 + 0.0*i,
    0.334804640578401 + 0.0*i,
    0.0365651824530035 + 0.0*i,
    -0.458941834829296 + 0.0*i,
    0.168161250680923 + 0.0*i,
    0.910453069495925 + 0.0*i,
    0.043047353581434 + 0.0*i,
    0.31879263582013 + 0.0*i,
    0.259320165569775 + 0.0*i,
    -0.395112066120039 + 0.0*i,
    -0.142067273146106 + 0.0*i,
    -0.64414098403751 + 0.0*i,
    -0.189490923394347 + 0.0*i,
    -0.381297056859405 + 0.0*i,
    -0.0376742352164402 + 0.0*i,
    0.0471442956120769 + 0.0*i,
    0.558232491774411 + 0.0*i,
    -0.511341707865432 + 0.0*i,
    0.701195914699864 + 0.0*i,
    -1.18463019670685 + 0.0*i,
    -0.845765615308694 + 0.0*i,
    -0.722404093719321 + 0.0*i,
    -0.236452374764003 + 0.0*i,
    0.930342469936329 + 0.0*i,
    -0.760640403907432 + 0.0*i,
    0.150869255148798 + 0.0*i,
    -0.0798551635738968 + 0.0*i,
    0.353358946230329 + 0.0*i,
    -0.258590395041127 + 0.0*i,
    -0.0343965181181114 + 0.0*i,
    0.10227061758666 + 0.0*i,
    -0.479121558877659 + 0.0*i,
    -0.447189666382485 + 0.0*i,
    -0.0859648908031536 + 0.0*i,
    -0.0754342688633592 + 0.0*i,
    -0.644766839425877 + 0.0*i,
    0.632112865863923 + 0.0*i,
    0.263731816639913 + 0.0*i,
    -0.227094383917552 + 0.0*i,
    0.192068573510606 + 0.0*i,
    -0.836544666438431 + 0.0*i,
    -0.554418370046386 + 0.0*i,
    -0.595186068957798 + 0.0*i,
    -0.288828476974541 + 0.0*i,
    0.754135411332466 + 0.0*i,
    0.534880754655909 + 0.0*i,
    -0.535221581463499 + 0.0*i,
    -0.178721353151 + 0.0*i,
    -0.430631403889283 + 0.0*i,
    0.78926163820473 + 0.0*i,
    -0.116707257225357 + 0.0*i,
    0.103513555537632 + 0.0*i,
    -0.0575891488509229 + 0.0*i,
    0.887719910355308 + 0.0*i,
    0.49615404190239 + 0.0*i,
    -0.209307678908586 + 0.0*i,
    0.466694204425243 + 0.0*i,
    0.298745501863359 + 0.0*i,
    -0.588951011272507 + 0.0*i,
    0.772076202399934 + 0.0*i,
    0.391361744241757 + 0.0*i,
    -0.148482520115656 + 0.0*i,
    -0.327660687009742 + 0.0*i,
    0.202210248165289 + 0.0*i,
    -0.19000439201356 + 0.0*i,
    -0.305793223468665 + 0.0*i,
    0.392209589717318 + 0.0*i,
    -0.014758619212418 + 0.0*i,
    0.462968551116814 + 0.0*i,
    -0.222563952395488 + 0.0*i,
    -0.698549326541386 + 0.0*i,
    -0.705943254931441 + 0.0*i,
    0.739493804037487 + 0.0*i,
    -0.751512141446601 + 0.0*i,
    0.258335115511156 + 0.0*i,
    -0.134912552139606 + 0.0*i,
    -0.117390107019891 + 0.0*i,
    -0.0636158854449207 + 0.0*i,
    0.64894290680886 + 0.0*i,
    0.403423764771481 + 0.0*i,
    -0.250051010545618 + 0.0*i,
    -0.563708324811397 + 0.0*i,
    0.656876123799535 + 0.0*i,
    -0.515921004446285 + 0.0*i,
    -0.603097451486039 + 0.0*i,
    -0.27325733919049 + 0.0*i,
    0.302739022153115 + 0.0*i,
    0.177017872191529 + 0.0*i,
    -0.838806294018148 + 0.0*i,
    -0.199302530584002 + 0.0*i,
    0.14687358627353 + 0.0*i,
    0.735853005332346 + 0.0*i,
    -0.0283723769427223 + 0.0*i,
    0.00819381117296308 + 0.0*i,
    -0.82136722536158 + 0.0*i,
    0.0934658351329324 + 0.0*i,
    0.443852867408029 + 0.0*i,
    -0.103967563055199 + 0.0*i,
    0.597392563138736 + 0.0*i,
    -0.406125922773498 + 0.0*i,
    -1.35196830228907 + 0.0*i,
    0.124399653463137 + 0.0*i,
    -0.0531372216767535 + 0.0*i,
    0.222619940282838 + 0.0*i,
    -0.172288317193588 + 0.0*i,
    -0.336943664783155 + 0.0*i,
    0.0895318807848708 + 0.0*i,
    0.361958734517823 + 0.0*i,
    -0.0644363354984525 + 0.0*i,
    0.640199296477162 + 0.0*i,
    0.219976955813907 + 0.0*i,
    -0.839231677798439 + 0.0*i,
    0.210156395759705 + 0.0*i,
    0.0585338154135376 + 0.0*i,
    -0.540258625764463 + 0.0*i,
    0.0164076844665664 + 0.0*i
]);