V:=Matrix(CC,4,58,[
    0.0439763260848716 + 0.0*i,
    -0.0917971112209131 + 0.0*i,
    -0.3090493296702 + 0.0*i,
    -0.0129406360107302 + 0.0*i,
    0.362656592143415 + 0.0*i,
    -0.205311974160073 + 0.0*i,
    -0.0450122881322984 + 0.0*i,
    0.0489959773389793 + 0.0*i,
    0.349275647601272 + 0.0*i,
    -0.160226524608336 + 0.0*i,
    -0.0472837845713077 + 0.0*i,
    -0.253563625964463 + 0.0*i,
    -0.275550137022275 + 0.0*i,
    -0.113598851585384 + 0.0*i,
    -0.335389117514649 + 0.0*i,
    -0.0562854179081611 + 0.0*i,
    -0.200544692476318 + 0.0*i,
    0.371827697232608 + 0.0*i,
    -0.126378756348224 + 0.0*i,
    0.212016852590362 + 0.0*i,
    -0.311933928775296 + 0.0*i,
    0.0975859826944449 + 0.0*i,
    0.235921598972639 + 0.0*i,
    -0.0658946621053354 + 0.0*i,
    0.0255566402617033 + 0.0*i,
    -0.212629894117554 + 0.0*i,
    -0.265629179278122 + 0.0*i,
    0.0328462479591834 + 0.0*i,
    -0.211234373124203 + 0.0*i,
    0.178974215879618 + 0.0*i,
    0.237069269905305 + 0.0*i,
    0.0468397629143648 + 0.0*i,
    0.0386499269505372 + 0.0*i,
    0.102649340833315 + 0.0*i,
    -0.147769781796052 + 0.0*i,
    0.12661337423208 + 0.0*i,
    0.390864571886708 + 0.0*i,
    -0.0475151430182879 + 0.0*i,
    -0.0917695670160956 + 0.0*i,
    -0.15466569131077 + 0.0*i,
    0.108124014941975 + 0.0*i,
    -0.24642858344566 + 0.0*i,
    0.302825123362441 + 0.0*i,
    0.19775219366747 + 0.0*i,
    -0.128881410768748 + 0.0*i,
    0.27740469330535 + 0.0*i,
    0.212715388372369 + 0.0*i,
    0.125179967820406 + 0.0*i,
    -0.280482188587894 + 0.0*i,
    0.140352947669482 + 0.0*i,
    -0.266419488224812 + 0.0*i,
    0.215327111260075 + 0.0*i,
    0.204034265168542 + 0.0*i,
    -0.111027955605819 + 0.0*i,
    -0.0744995317243741 + 0.0*i,
    0.310806266885606 + 0.0*i,
    0.107945279114527 + 0.0*i,
    0.0392453639222277 + 0.0*i,
    -0.199950344794077 + 0.0*i,
    0.356295414465042 + 0.0*i,
    0.0296105192461517 + 0.0*i,
    0.127246678277669 + 0.0*i,
    -0.140960597941023 + 0.0*i,
    0.187032099733816 + 0.0*i,
    0.00198265010977748 + 0.0*i,
    0.199419752290622 + 0.0*i,
    0.174137540110468 + 0.0*i,
    -0.0618880636756935 + 0.0*i,
    0.290460425548172 + 0.0*i,
    -0.0267246970343865 + 0.0*i,
    -0.140974373219456 + 0.0*i,
    -0.284099862747453 + 0.0*i,
    -0.0327234277980466 + 0.0*i,
    -0.346371198048449 + 0.0*i,
    -0.204867602291603 + 0.0*i,
    0.00436635548719581 + 0.0*i,
    0.347350836086723 + 0.0*i,
    -0.145793728029197 + 0.0*i,
    0.222632571594747 + 0.0*i,
    0.0537663684693574 + 0.0*i,
    -0.315102631473865 + 0.0*i,
    0.205872134604193 + 0.0*i,
    0.23983629728055 + 0.0*i,
    -0.194180961284933 + 0.0*i,
    -0.231918360870563 + 0.0*i,
    -0.390655856747891 + 0.0*i,
    0.0254397955901833 + 0.0*i,
    -0.0216376168878012 + 0.0*i,
    0.32286902470366 + 0.0*i,
    -0.108941298256345 + 0.0*i,
    0.00685378901878816 + 0.0*i,
    0.256354655477988 + 0.0*i,
    0.0268089238062697 + 0.0*i,
    -0.238956906778149 + 0.0*i,
    -0.0121373370397571 + 0.0*i,
    -0.0826451192664344 + 0.0*i,
    -0.227435776800131 + 0.0*i,
    0.253677524012945 + 0.0*i,
    0.362178792791827 + 0.0*i,
    -0.110660151064472 + 0.0*i,
    -0.0590688483192927 + 0.0*i,
    -0.0182109470407137 + 0.0*i,
    0.156144330562836 + 0.0*i,
    0.0183039855730431 + 0.0*i,
    0.190384278420198 + 0.0*i,
    0.185012616353701 + 0.0*i,
    0.21016402454252 + 0.0*i,
    0.319352648207153 + 0.0*i,
    0.158938872361075 + 0.0*i,
    0.0275211423152733 + 0.0*i,
    -0.235729178238604 + 0.0*i,
    -0.00775452829437986 + 0.0*i,
    -0.0810632274690664 + 0.0*i,
    0.179749262756705 + 0.0*i,
    0.0381156667471621 + 0.0*i,
    -0.186519710199654 + 0.0*i,
    -0.262337856848237 + 0.0*i,
    0.0832198125347405 + 0.0*i,
    0.223783736657449 + 0.0*i,
    0.3318541233486 + 0.0*i,
    0.0713230431384217 + 0.0*i,
    0.204843624013954 + 0.0*i,
    -0.204131410241253 + 0.0*i,
    0.157182623351855 + 0.0*i,
    0.101926678188486 + 0.0*i,
    0.3079689637152 + 0.0*i,
    0.276954560049624 + 0.0*i,
    -0.128177673203298 + 0.0*i,
    -0.0226306908964095 + 0.0*i,
    0.238106003894941 + 0.0*i,
    -0.128533587060421 + 0.0*i,
    0.0808368380532423 + 0.0*i,
    -0.25572455973483 + 0.0*i,
    -0.1074048023564 + 0.0*i,
    0.0849355977516641 + 0.0*i,
    -0.312080366771148 + 0.0*i,
    0.129626420457171 + 0.0*i,
    -0.00256119805268532 + 0.0*i,
    0.0506835531360999 + 0.0*i,
    -0.01983304733433 + 0.0*i,
    -0.116838299019827 + 0.0*i,
    0.155395639063189 + 0.0*i,
    -0.00900297569699114 + 0.0*i,
    0.1156315488079 + 0.0*i,
    -0.324601171665861 + 0.0*i,
    -0.207215930090912 + 0.0*i,
    -0.0466309211116761 + 0.0*i,
    0.306562539696532 + 0.0*i,
    -0.196043294299559 + 0.0*i,
    -0.260930642651509 + 0.0*i,
    -0.298278438847664 + 0.0*i,
    0.219956200614882 + 0.0*i,
    0.0147516905032913 + 0.0*i,
    0.333967139844969 + 0.0*i,
    -0.12422477454181 + 0.0*i,
    -0.178386982490793 + 0.0*i,
    0.137044534887437 + 0.0*i,
    0.273409906998164 + 0.0*i,
    0.246731285425382 + 0.0*i,
    0.171821910849829 + 0.0*i,
    0.00927112806903158 + 0.0*i,
    -0.108685464966059 + 0.0*i,
    0.258622326733919 + 0.0*i,
    -0.140253623467763 + 0.0*i,
    -0.0526706767027476 + 0.0*i,
    0.0557589725040507 + 0.0*i,
    0.0530509700143415 + 0.0*i,
    -0.00549062808494329 + 0.0*i,
    0.244442748388271 + 0.0*i,
    0.397438089940866 + 0.0*i,
    -0.385315283151928 + 0.0*i,
    -0.169405393872753 + 0.0*i,
    -0.0231769397522979 + 0.0*i,
    0.349781741854688 + 0.0*i,
    -0.228040352537423 + 0.0*i,
    -0.153433352273062 + 0.0*i,
    -0.0879756685117208 + 0.0*i,
    -0.17486955670356 + 0.0*i,
    -0.0959526224832981 + 0.0*i,
    -0.208308477327566 + 0.0*i,
    -0.340290575879552 + 0.0*i,
    -0.310428480787382 + 0.0*i,
    -0.00953481291638254 + 0.0*i,
    -0.199113507536353 + 0.0*i,
    -0.022150751341982 + 0.0*i,
    -0.281699349481803 + 0.0*i,
    0.246534455979116 + 0.0*i,
    0.0823044784876634 + 0.0*i,
    0.147472084960969 + 0.0*i,
    -0.170114418814325 + 0.0*i,
    0.132313751064044 + 0.0*i,
    -0.12183819427529 + 0.0*i,
    0.146524146946925 + 0.0*i,
    -0.0911337398460699 + 0.0*i,
    0.00364442044524739 + 0.0*i,
    0.374075095536669 + 0.0*i,
    -0.0072214935116154 + 0.0*i,
    0.338588582882013 + 0.0*i,
    -0.299032501757966 + 0.0*i,
    0.231243993700457 + 0.0*i,
    -0.196981626826662 + 0.0*i,
    0.0420411312319373 + 0.0*i,
    0.111858328478432 + 0.0*i,
    -0.288675683237128 + 0.0*i,
    -0.0300271077529001 + 0.0*i,
    -0.222007936960762 + 0.0*i,
    0.345769700902187 + 0.0*i,
    0.122971014796174 + 0.0*i,
    -0.201540842008152 + 0.0*i,
    0.200806528537285 + 0.0*i,
    0.103007573270962 + 0.0*i,
    0.199876281745874 + 0.0*i,
    -0.28714632307544 + 0.0*i,
    0.210216987097042 + 0.0*i,
    0.0552065448191502 + 0.0*i,
    0.0905957742744043 + 0.0*i,
    0.0801976124963602 + 0.0*i,
    -0.304899825373326 + 0.0*i,
    -0.346816443811747 + 0.0*i,
    0.267200570851911 + 0.0*i,
    0.123627936486778 + 0.0*i,
    0.29005359577393 + 0.0*i,
    -0.194992358854343 + 0.0*i,
    -0.187697134573215 + 0.0*i,
    0.257071498151025 + 0.0*i,
    0.0494632509350147 + 0.0*i,
    -0.00924502596355049 + 0.0*i,
    0.00997590328259667 + 0.0*i,
    -0.0476348354691566 + 0.0*i,
    0.068212710986917 + 0.0*i,
    -0.383764246731206 + 0.0*i,
    0.00182379083874751 + 0.0*i
]);