V:=Matrix(CC,4,50,[
    -0.207565338647191 + 0.0*i,
    -0.00229013904131421 + 0.0*i,
    0.384783201157041 + 0.0*i,
    -0.843562398344014 + 0.0*i,
    -0.581536864885515 + 0.0*i,
    -0.34363773047214 + 0.0*i,
    -0.412258026760611 + 0.0*i,
    0.0102559443985797 + 0.0*i,
    -0.0121463992835487 + 0.0*i,
    -0.0315576552294208 + 0.0*i,
    0.422267381438307 + 0.0*i,
    -1.03400838876101 + 0.0*i,
    -0.844755901021905 + 0.0*i,
    0.422751308901667 + 0.0*i,
    -0.261160437428635 + 0.0*i,
    -0.166240389675162 + 0.0*i,
    0.41476717327019 + 0.0*i,
    0.0954156125737775 + 0.0*i,
    0.204959592340476 + 0.0*i,
    0.00781960864865404 + 0.0*i,
    0.209381404869266 + 0.0*i,
    0.0986132437914396 + 0.0*i,
    0.0972505716762303 + 0.0*i,
    -0.821316347550438 + 0.0*i,
    -0.362057983602863 + 0.0*i,
    0.199351773737473 + 0.0*i,
    0.247761413759027 + 0.0*i,
    -0.0243581977150216 + 0.0*i,
    0.634835507937019 + 0.0*i,
    0.655952387746213 + 0.0*i,
    0.395379535129648 + 0.0*i,
    -0.309478680874268 + 0.0*i,
    -0.139318957070316 + 0.0*i,
    0.517419994919858 + 0.0*i,
    -0.000307103037586337 + 0.0*i,
    0.514186355123319 + 0.0*i,
    -0.300202521025686 + 0.0*i,
    0.434759034626705 + 0.0*i,
    0.381657150144054 + 0.0*i,
    0.269218977421477 + 0.0*i,
    0.35076732212335 + 0.0*i,
    0.707681893019103 + 0.0*i,
    0.823400276241174 + 0.0*i,
    -0.294432692552276 + 0.0*i,
    -0.0181721003381661 + 0.0*i,
    0.0983002852570348 + 0.0*i,
    -0.352497063039664 + 0.0*i,
    0.722028826001535 + 0.0*i,
    -0.396415349147681 + 0.0*i,
    0.748114976610963 + 0.0*i,
    -0.168837571292447 + 0.0*i,
    -0.138363023792277 + 0.0*i,
    -0.0629251281069699 + 0.0*i,
    -1.27097015653166 + 0.0*i,
    -0.646722059357299 + 0.0*i,
    0.876140575914446 + 0.0*i,
    0.0836580404106754 + 0.0*i,
    -0.167777129771557 + 0.0*i,
    0.272577479138754 + 0.0*i,
    0.89112225425311 + 0.0*i,
    -0.983952695635037 + 0.0*i,
    -0.49779974506633 + 0.0*i,
    0.150106701151245 + 0.0*i,
    0.100420073592182 + 0.0*i,
    -0.56300466472812 + 0.0*i,
    -0.483011739661783 + 0.0*i,
    0.393601642357292 + 0.0*i,
    0.716233717537824 + 0.0*i,
    0.257955100526461 + 0.0*i,
    0.544077153283101 + 0.0*i,
    0.156187735102292 + 0.0*i,
    0.666252032059971 + 0.0*i,
    -0.764524972756384 + 0.0*i,
    -0.0273567086372094 + 0.0*i,
    0.147143848445029 + 0.0*i,
    -0.920397060016713 + 0.0*i,
    0.0298039267819375 + 0.0*i,
    0.112299766735603 + 0.0*i,
    -0.486666728932355 + 0.0*i,
    0.711736030798777 + 0.0*i,
    -0.388577522373365 + 0.0*i,
    -0.624225931083345 + 0.0*i,
    0.637250475530855 + 0.0*i,
    0.00342165753391902 + 0.0*i,
    0.393499002404654 + 0.0*i,
    0.155691018548081 + 0.0*i,
    0.355746261697712 + 0.0*i,
    -0.0346698423475271 + 0.0*i,
    0.829681586269225 + 0.0*i,
    0.0758320181633957 + 0.0*i,
    -0.52024677042763 + 0.0*i,
    0.944401690280125 + 0.0*i,
    -0.309643208661557 + 0.0*i,
    0.661089651119721 + 0.0*i,
    0.726055538677869 + 0.0*i,
    -1.30857582651902 + 0.0*i,
    -0.661333720677812 + 0.0*i,
    -0.426239627195168 + 0.0*i,
    -1.21931431449597 + 0.0*i,
    -0.617304824387691 + 0.0*i,
    -0.808997863076459 + 0.0*i,
    -0.311267204230759 + 0.0*i,
    -0.472081347176585 + 0.0*i,
    0.470405695665467 + 0.0*i,
    0.490769019927719 + 0.0*i,
    -0.80360844009484 + 0.0*i,
    -0.534364393169383 + 0.0*i,
    -0.359031073341911 + 0.0*i,
    0.347464317617704 + 0.0*i,
    -0.407978153726356 + 0.0*i,
    -0.502152979291762 + 0.0*i,
    0.0773987260547564 + 0.0*i,
    0.563246361371181 + 0.0*i,
    -0.0759140112530727 + 0.0*i,
    -0.239647420186383 + 0.0*i,
    -0.899779441373146 + 0.0*i,
    -0.217490745905088 + 0.0*i,
    0.216421910346033 + 0.0*i,
    -0.131517264644963 + 0.0*i,
    0.253462167301841 + 0.0*i,
    -0.772661875697722 + 0.0*i,
    -0.496803929956138 + 0.0*i,
    -0.14002314323454 + 0.0*i,
    0.389706617988188 + 0.0*i,
    -0.707118543276225 + 0.0*i,
    -0.0106581822751149 + 0.0*i,
    -0.535912653442597 + 0.0*i,
    0.360384891478008 + 0.0*i,
    0.35634398928317 + 0.0*i,
    -0.792823863352556 + 0.0*i,
    0.647100390463114 + 0.0*i,
    0.043293655223913 + 0.0*i,
    0.533078878460922 + 0.0*i,
    -0.786590821308567 + 0.0*i,
    -0.165724160021433 + 0.0*i,
    0.042967856167296 + 0.0*i,
    0.572810860860682 + 0.0*i,
    0.0247264100898205 + 0.0*i,
    0.195407649185691 + 0.0*i,
    -0.0596421978934603 + 0.0*i,
    0.0867432853145347 + 0.0*i,
    -0.913158841605518 + 0.0*i,
    0.183233245493457 + 0.0*i,
    -0.325233157789669 + 0.0*i,
    0.257906771483522 + 0.0*i,
    0.386802569540775 + 0.0*i,
    -1.15229428717315 + 0.0*i,
    0.538610057621471 + 0.0*i,
    0.0151245962962025 + 0.0*i,
    0.472281369907253 + 0.0*i,
    -0.841742771946987 + 0.0*i,
    -0.304313684367389 + 0.0*i,
    0.294243978670107 + 0.0*i,
    -0.390395734398719 + 0.0*i,
    1.15493822571501 + 0.0*i,
    0.584232951841174 + 0.0*i,
    -0.14375215211173 + 0.0*i,
    -0.0158958961729262 + 0.0*i,
    -0.381208827059147 + 0.0*i,
    0.65169534503469 + 0.0*i,
    0.066326137377811 + 0.0*i,
    -0.435809949394574 + 0.0*i,
    0.00191051062988156 + 0.0*i,
    0.155250101947356 + 0.0*i,
    0.14520773274044 + 0.0*i,
    -0.484219658650169 + 0.0*i,
    -0.135302491631284 + 0.0*i,
    -0.436179665209091 + 0.0*i,
    -0.144896217390914 + 0.0*i,
    0.57109835667384 + 0.0*i,
    -0.0420575814302359 + 0.0*i,
    -0.467322714947455 + 0.0*i,
    -0.282486390968552 + 0.0*i,
    0.0785873865244016 + 0.0*i,
    -0.110151254356182 + 0.0*i,
    -0.0629920694132626 + 0.0*i,
    0.545348160951648 + 0.0*i,
    0.00154153392777235 + 0.0*i,
    0.585922439361638 + 0.0*i,
    -0.382306826029138 + 0.0*i,
    -0.835920965325924 + 0.0*i,
    -0.727231140935345 + 0.0*i,
    0.349784942083724 + 0.0*i,
    -0.61267249146722 + 0.0*i,
    -0.56479462870204 + 0.0*i,
    -0.111794220350954 + 0.0*i,
    -0.188423048895816 + 0.0*i,
    -0.021672678107486 + 0.0*i,
    -0.265885195845909 + 0.0*i,
    -0.199921869887284 + 0.0*i,
    0.0402130061960761 + 0.0*i,
    0.424793599412344 + 0.0*i,
    -0.207953070519143 + 0.0*i,
    0.403519796952834 + 0.0*i,
    0.264531517319013 + 0.0*i,
    0.560051443865014 + 0.0*i,
    1.329300124116 + 0.0*i,
    -0.338305923836632 + 0.0*i,
    -0.00288298069685753 + 0.0*i,
    -0.593354095409751 + 0.0*i
]);