V:=Matrix(CC,4,58,[
    -0.262005260114224 + 0.0*i,
    -0.23662261620922 + 0.0*i,
    0.065395601486641 + 0.0*i,
    -0.130034645277303 + 0.0*i,
    0.214411355525263 + 0.0*i,
    0.263106379257519 + 0.0*i,
    0.152418498867882 + 0.0*i,
    0.109749479515171 + 0.0*i,
    -0.338134694765939 + 0.0*i,
    0.046017700578606 + 0.0*i,
    0.0667246267705499 + 0.0*i,
    0.0102344285088736 + 0.0*i,
    0.0133743776873956 + 0.0*i,
    -0.22401915297108 + 0.0*i,
    -0.317632329717762 + 0.0*i,
    -0.36771124076836 + 0.0*i,
    0.00943132586503624 + 0.0*i,
    -0.136427908399447 + 0.0*i,
    0.213297621962162 + 0.0*i,
    -0.368179560639879 + 0.0*i,
    -0.158118433877618 + 0.0*i,
    0.248488392423963 + 0.0*i,
    0.111041268183921 + 0.0*i,
    0.00665191947441765 + 0.0*i,
    0.334211137405641 + 0.0*i,
    0.116715456053625 + 0.0*i,
    -0.332988880339902 + 0.0*i,
    -0.135135726718665 + 0.0*i,
    -0.302019867350405 + 0.0*i,
    0.219573788172916 + 0.0*i,
    -0.0433298282139835 + 0.0*i,
    -0.39974876645532 + 0.0*i,
    0.170836071105269 + 0.0*i,
    0.110470574611962 + 0.0*i,
    0.28753476890558 + 0.0*i,
    -0.144438844416527 + 0.0*i,
    -0.113559216751472 + 0.0*i,
    -0.422508696720855 + 0.0*i,
    -0.217731922430063 + 0.0*i,
    0.0331530241820633 + 0.0*i,
    0.129318206954517 + 0.0*i,
    -0.0110197850059383 + 0.0*i,
    0.060437328379936 + 0.0*i,
    0.31542523993479 + 0.0*i,
    -0.298672662962231 + 0.0*i,
    0.323831247233145 + 0.0*i,
    -0.010520189769384 + 0.0*i,
    -0.0338942040229465 + 0.0*i,
    0.13398821098115 + 0.0*i,
    -0.250051141362043 + 0.0*i,
    -0.0176427968059304 + 0.0*i,
    0.173159319383596 + 0.0*i,
    0.267527214067216 + 0.0*i,
    -0.364899046097868 + 0.0*i,
    -0.17962266735893 + 0.0*i,
    -0.188943216577634 + 0.0*i,
    -0.1531791980194 + 0.0*i,
    0.0865563093350885 + 0.0*i,
    0.130474352830416 + 0.0*i,
    0.074583953384533 + 0.0*i,
    0.219323200002076 + 0.0*i,
    -0.0816456513203921 + 0.0*i,
    0.295731324465203 + 0.0*i,
    0.269498969518007 + 0.0*i,
    0.271539029847099 + 0.0*i,
    -0.317646752328403 + 0.0*i,
    -0.11521854019084 + 0.0*i,
    -0.331791517612547 + 0.0*i,
    -0.0834000408157141 + 0.0*i,
    -0.0921015517349357 + 0.0*i,
    -0.100771400313548 + 0.0*i,
    -0.0830661594569749 + 0.0*i,
    0.0627875397550721 + 0.0*i,
    0.217161116245212 + 0.0*i,
    0.123264277181717 + 0.0*i,
    0.253972427341692 + 0.0*i,
    -0.29966395505646 + 0.0*i,
    -0.222633919290261 + 0.0*i,
    0.0944562675549852 + 0.0*i,
    0.0392992480408974 + 0.0*i,
    -0.158450970193361 + 0.0*i,
    -0.359729409738756 + 0.0*i,
    -0.0241163698721682 + 0.0*i,
    0.403417801832567 + 0.0*i,
    -0.156380066477191 + 0.0*i,
    -0.260269699923471 + 0.0*i,
    -0.178276616828767 + 0.0*i,
    -0.311155246608461 + 0.0*i,
    0.042285264124667 + 0.0*i,
    -0.0494363778569257 + 0.0*i,
    -0.000818966750358205 + 0.0*i,
    0.0429632583379224 + 0.0*i,
    -0.144889966219308 + 0.0*i,
    -0.158417429663802 + 0.0*i,
    0.162324896840574 + 0.0*i,
    0.0474964030450919 + 0.0*i,
    0.20020335717911 + 0.0*i,
    0.364529759671839 + 0.0*i,
    -0.129582576253132 + 0.0*i,
    -0.104977920338648 + 0.0*i,
    -0.358928275977429 + 0.0*i,
    -0.149267223442402 + 0.0*i,
    0.264796027217219 + 0.0*i,
    0.139202913465323 + 0.0*i,
    -0.209708296937796 + 0.0*i,
    -0.17978288158484 + 0.0*i,
    -0.421459738560214 + 0.0*i,
    -0.246013540467826 + 0.0*i,
    -0.32617264699741 + 0.0*i,
    -0.122760145123921 + 0.0*i,
    0.0581697351856831 + 0.0*i,
    0.0675027081775743 + 0.0*i,
    0.333410954034359 + 0.0*i,
    -0.109322262139966 + 0.0*i,
    -0.392073748225691 + 0.0*i,
    0.207200553369584 + 0.0*i,
    -0.149060160763332 + 0.0*i,
    -0.333195844039094 + 0.0*i,
    -0.299203023188988 + 0.0*i,
    0.295482725664333 + 0.0*i,
    -0.054063202296723 + 0.0*i,
    0.0300085844086196 + 0.0*i,
    -0.103079742858216 + 0.0*i,
    0.00620720474576747 + 0.0*i,
    0.181555291770078 + 0.0*i,
    -0.103172030405756 + 0.0*i,
    0.32798737581055 + 0.0*i,
    -0.417893582868227 + 0.0*i,
    -0.131843550798805 + 0.0*i,
    -0.0393932115282618 + 0.0*i,
    -0.305110723699698 + 0.0*i,
    -0.0646069676035632 + 0.0*i,
    -0.120495453191979 + 0.0*i,
    -0.305192865543481 + 0.0*i,
    -0.195845058663484 + 0.0*i,
    -0.0207198357506029 + 0.0*i,
    0.389519350056075 + 0.0*i,
    -0.0562104273597964 + 0.0*i,
    0.222840392473871 + 0.0*i,
    0.158053393629969 + 0.0*i,
    -0.157861001979823 + 0.0*i,
    -0.138921718093863 + 0.0*i,
    0.164055397797142 + 0.0*i,
    -0.31851014411457 + 0.0*i,
    -0.252439592043378 + 0.0*i,
    0.0698461251428632 + 0.0*i,
    -0.390178087604227 + 0.0*i,
    -0.0402524723922918 + 0.0*i,
    0.279250556701008 + 0.0*i,
    0.403497793229783 + 0.0*i,
    -0.170861296378366 + 0.0*i,
    -0.164666524828411 + 0.0*i,
    -0.0750876317970861 + 0.0*i,
    0.00409350805701418 + 0.0*i,
    0.306660669272 + 0.0*i,
    0.177166510440338 + 0.0*i,
    -0.271019381568916 + 0.0*i,
    0.0637835738146008 + 0.0*i,
    -0.224401008652808 + 0.0*i,
    0.0973855619219893 + 0.0*i,
    0.110348015632062 + 0.0*i,
    0.201674387308746 + 0.0*i,
    -0.284333950071713 + 0.0*i,
    0.398490912358042 + 0.0*i,
    -0.0157398000234855 + 0.0*i,
    0.242922661180204 + 0.0*i,
    0.218954147782465 + 0.0*i,
    -0.0668640244323298 + 0.0*i,
    -0.32702562569384 + 0.0*i,
    0.199013142149692 + 0.0*i,
    -0.203033749964561 + 0.0*i,
    0.303457264682944 + 0.0*i,
    -0.081374459209326 + 0.0*i,
    0.313439697771574 + 0.0*i,
    -0.285887865545955 + 0.0*i,
    -0.125994643343869 + 0.0*i,
    0.185843936782833 + 0.0*i,
    -0.269291980443169 + 0.0*i,
    -0.240107293628413 + 0.0*i,
    0.199574463059017 + 0.0*i,
    0.286252856587957 + 0.0*i,
    0.286644444577551 + 0.0*i,
    -0.153370656035192 + 0.0*i,
    -0.259463709696119 + 0.0*i,
    0.266998915429741 + 0.0*i,
    -0.0792096900555861 + 0.0*i,
    0.413247658341086 + 0.0*i,
    0.372286946695761 + 0.0*i,
    0.0380758697037565 + 0.0*i,
    -0.0672225102053357 + 0.0*i,
    -0.405698390660998 + 0.0*i,
    0.0893633600033002 + 0.0*i,
    0.119946900027071 + 0.0*i,
    0.0546639375694297 + 0.0*i,
    -0.0960900394220307 + 0.0*i,
    0.351325769081703 + 0.0*i,
    -0.31598593873313 + 0.0*i,
    -0.178594301525925 + 0.0*i,
    -0.204672563487797 + 0.0*i,
    -0.0408057824312271 + 0.0*i,
    0.116941856228629 + 0.0*i,
    0.0341627948656016 + 0.0*i,
    -0.0863791816168456 + 0.0*i,
    -0.186714604926065 + 0.0*i,
    0.173199457651152 + 0.0*i,
    -0.159277184290921 + 0.0*i,
    -0.264820940150097 + 0.0*i,
    -0.0655633210334095 + 0.0*i,
    0.240441672898073 + 0.0*i,
    -0.342697099040313 + 0.0*i,
    0.232886363508772 + 0.0*i,
    0.0944270372963348 + 0.0*i,
    0.0783244190052865 + 0.0*i,
    -0.172279067752717 + 0.0*i,
    -0.28922374928066 + 0.0*i,
    -0.416440459332421 + 0.0*i,
    -0.0846294889705186 + 0.0*i,
    -0.224264951878596 + 0.0*i,
    0.132561463413779 + 0.0*i,
    -0.176520796222652 + 0.0*i,
    0.272625282972555 + 0.0*i,
    0.0261261611546799 + 0.0*i,
    0.0117200692682592 + 0.0*i,
    -0.0690090018748275 + 0.0*i,
    0.195654728728042 + 0.0*i,
    -0.376054733315441 + 0.0*i,
    -0.00204778725555451 + 0.0*i,
    -0.0217882329561645 + 0.0*i,
    -0.0755991428880146 + 0.0*i,
    0.219333121580868 + 0.0*i,
    -0.0752478992829737 + 0.0*i,
    0.197499018463467 + 0.0*i
]);