V:=Matrix(CC,4,42,[
    -0.428608237947546 + 0.0*i,
    -0.182701985440957 + 0.0*i,
    -0.0209729101627479 + 0.0*i,
    0.306839164668239 + 0.0*i,
    -0.143523939874023 + 0.0*i,
    -0.144109901451775 + 0.0*i,
    -0.155638819065078 + 0.0*i,
    0.203188910573852 + 0.0*i,
    0.018146480233889 + 0.0*i,
    0.106670130182446 + 0.0*i,
    0.338653630323241 + 0.0*i,
    -0.0503682822622286 + 0.0*i,
    -0.294461913762574 + 0.0*i,
    0.0357855407280238 + 0.0*i,
    -0.00596638791953522 + 0.0*i,
    -0.048022426375395 + 0.0*i,
    0.0180543350141413 + 0.0*i,
    -0.0821076624224732 + 0.0*i,
    0.259151605283208 + 0.0*i,
    -0.284218456847127 + 0.0*i,
    0.199486148436771 + 0.0*i,
    0.366982368982463 + 0.0*i,
    0.234725823339046 + 0.0*i,
    -0.154591735980525 + 0.0*i,
    0.00639188417633885 + 0.0*i,
    0.233104732422694 + 0.0*i,
    0.371651378378164 + 0.0*i,
    -0.196214203726145 + 0.0*i,
    -0.142594845073714 + 0.0*i,
    0.105807116191613 + 0.0*i,
    -0.0380478962862635 + 0.0*i,
    0.371870342242568 + 0.0*i,
    0.0079881991115782 + 0.0*i,
    -0.158033296295909 + 0.0*i,
    0.20583631689689 + 0.0*i,
    0.256050708730556 + 0.0*i,
    0.198709839123218 + 0.0*i,
    -0.300714186302246 + 0.0*i,
    0.0704105994163033 + 0.0*i,
    -0.218049668022152 + 0.0*i,
    -0.394006368957046 + 0.0*i,
    -0.0794874917805421 + 0.0*i,
    0.0027343124992887 + 0.0*i,
    0.111255422070049 + 0.0*i,
    -0.0361896674552141 + 0.0*i,
    0.0234142901409562 + 0.0*i,
    -0.249127306523432 + 0.0*i,
    -0.234426685205057 + 0.0*i,
    0.260621624627564 + 0.0*i,
    0.318820094569602 + 0.0*i,
    0.376690375864352 + 0.0*i,
    -0.353217655907708 + 0.0*i,
    -0.186858749163389 + 0.0*i,
    0.074890958056177 + 0.0*i,
    0.187928493840961 + 0.0*i,
    0.237483243065408 + 0.0*i,
    -0.145209109317013 + 0.0*i,
    -0.24170879487152 + 0.0*i,
    -0.0390065218187958 + 0.0*i,
    -0.204433543478398 + 0.0*i,
    -0.0345349829357239 + 0.0*i,
    -0.306684785036227 + 0.0*i,
    -0.342752405078565 + 0.0*i,
    0.137903454787324 + 0.0*i,
    0.233373595782943 + 0.0*i,
    0.213202222860919 + 0.0*i,
    0.187582152448307 + 0.0*i,
    -0.260173139095366 + 0.0*i,
    -0.206935541194286 + 0.0*i,
    -0.0842237792414038 + 0.0*i,
    -0.387057961137854 + 0.0*i,
    -0.41011227520467 + 0.0*i,
    -0.341443633178471 + 0.0*i,
    0.157116465527164 + 0.0*i,
    0.27854044568853 + 0.0*i,
    0.241111045466075 + 0.0*i,
    -0.287308134875379 + 0.0*i,
    -0.113281783509232 + 0.0*i,
    0.123113450213944 + 0.0*i,
    -0.0371104724200431 + 0.0*i,
    0.378002207799695 + 0.0*i,
    -0.0619490991756302 + 0.0*i,
    0.125184339285708 + 0.0*i,
    0.121985103459855 + 0.0*i,
    -0.0252117475098968 + 0.0*i,
    0.366581607800008 + 0.0*i,
    0.419299878208084 + 0.0*i,
    0.114904472851008 + 0.0*i,
    0.298321307618267 + 0.0*i,
    -0.231750101966477 + 0.0*i,
    0.21021413977769 + 0.0*i,
    0.21166120999816 + 0.0*i,
    0.156330406896418 + 0.0*i,
    -0.218171308279035 + 0.0*i,
    0.134504105333464 + 0.0*i,
    -0.426155479025993 + 0.0*i,
    0.149082378646233 + 0.0*i,
    0.380280106778322 + 0.0*i,
    -0.027199475252955 + 0.0*i,
    0.296594083509112 + 0.0*i,
    -0.27912129268195 + 0.0*i,
    -0.283655985217248 + 0.0*i,
    0.0819393825798671 + 0.0*i,
    0.00583518392537917 + 0.0*i,
    0.00727491462000725 + 0.0*i,
    0.222410662135195 + 0.0*i,
    0.0959263794404085 + 0.0*i,
    -0.300569954254799 + 0.0*i,
    0.0500620252877292 + 0.0*i,
    0.0251429750615668 + 0.0*i,
    -0.15315608352649 + 0.0*i,
    0.154903155291326 + 0.0*i,
    0.0595444912619479 + 0.0*i,
    0.0658674435468894 + 0.0*i,
    -0.110616585965504 + 0.0*i,
    -0.0675329213100665 + 0.0*i,
    -0.14497325145589 + 0.0*i,
    -0.209216215136314 + 0.0*i,
    0.241663385866831 + 0.0*i,
    0.294340804637558 + 0.0*i,
    0.295602088625788 + 0.0*i,
    0.191543997394519 + 0.0*i,
    -0.122789589020152 + 0.0*i,
    -0.345962130122861 + 0.0*i,
    -0.0657055990545691 + 0.0*i,
    0.273448615344665 + 0.0*i,
    -0.0408558474894683 + 0.0*i,
    -0.105551826352613 + 0.0*i,
    0.12125555747657 + 0.0*i,
    0.29261036137479 + 0.0*i,
    0.153265005305044 + 0.0*i,
    -0.25072309230052 + 0.0*i,
    -0.213858815721687 + 0.0*i,
    -0.0595457690071179 + 0.0*i,
    0.135623869832264 + 0.0*i,
    0.0305494927338581 + 0.0*i,
    0.11248696229564 + 0.0*i,
    0.131852664171571 + 0.0*i,
    0.223214278518128 + 0.0*i,
    0.0229550926420571 + 0.0*i,
    -0.424470491726678 + 0.0*i,
    -0.215495790448044 + 0.0*i,
    0.32421831043572 + 0.0*i,
    0.218989969557647 + 0.0*i,
    -0.34985075512334 + 0.0*i,
    -0.130561445160483 + 0.0*i,
    -0.165712124019961 + 0.0*i,
    -0.0138541240030912 + 0.0*i,
    -0.254297514347863 + 0.0*i,
    -0.176121368052608 + 0.0*i,
    -0.408877147690809 + 0.0*i,
    0.25103916565952 + 0.0*i,
    0.027465665048389 + 0.0*i,
    0.350831693756648 + 0.0*i,
    0.107289626220093 + 0.0*i,
    0.0340046595933769 + 0.0*i,
    0.226503282571903 + 0.0*i,
    -0.169512639481534 + 0.0*i,
    -0.293823503218883 + 0.0*i,
    0.269212303761548 + 0.0*i,
    -0.0369878101567036 + 0.0*i,
    -0.152277656289787 + 0.0*i,
    -0.197647497524951 + 0.0*i,
    -0.252412482417291 + 0.0*i,
    0.193251881392542 + 0.0*i,
    -0.134786188263027 + 0.0*i,
    0.147599378877858 + 0.0*i,
    0.307019018538629 + 0.0*i
]);