V:=Matrix(CC,4,59,[
    -0.507120414840893 + 0.0*i,
    0.490871668234268 + 0.0*i,
    -0.0272533021474519 + 0.0*i,
    -0.677713940324681 + 0.0*i,
    -0.218819784810154 + 0.0*i,
    0.414303307899274 + 0.0*i,
    -0.25942941588558 + 0.0*i,
    -0.280878080850154 + 0.0*i,
    -0.714965211327057 + 0.0*i,
    0.329015085952201 + 0.0*i,
    1.19755799845854 + 0.0*i,
    0.491566090893133 + 0.0*i,
    -0.52403710419687 + 0.0*i,
    -0.517993496130013 + 0.0*i,
    0.322440740024124 + 0.0*i,
    -0.44197317695866 + 0.0*i,
    -0.0068943776197401 + 0.0*i,
    -0.378542365708591 + 0.0*i,
    0.173061193895926 + 0.0*i,
    0.222406609698174 + 0.0*i,
    -0.28506065120284 + 0.0*i,
    -0.404316259135103 + 0.0*i,
    -0.428148250412188 + 0.0*i,
    -0.266755095968622 + 0.0*i,
    -0.792823680788435 + 0.0*i,
    0.597224841343776 + 0.0*i,
    0.358551403052503 + 0.0*i,
    -0.338319822995282 + 0.0*i,
    0.580132475412827 + 0.0*i,
    1.05592227626805 + 0.0*i,
    -1.08279774320106 + 0.0*i,
    0.565396114222208 + 0.0*i,
    -0.451724122725378 + 0.0*i,
    0.0780465526546549 + 0.0*i,
    -0.0990930184037582 + 0.0*i,
    0.374877399461326 + 0.0*i,
    -0.632996133988231 + 0.0*i,
    -0.589038555906216 + 0.0*i,
    -0.418884736791915 + 0.0*i,
    0.203062226920033 + 0.0*i,
    -0.286046604872375 + 0.0*i,
    -0.125699466180796 + 0.0*i,
    0.147518774828645 + 0.0*i,
    0.267843127738173 + 0.0*i,
    -0.342831622806312 + 0.0*i,
    -0.524732801955954 + 0.0*i,
    -0.547808665601176 + 0.0*i,
    0.541626158687338 + 0.0*i,
    0.147824599715598 + 0.0*i,
    -0.896581353179886 + 0.0*i,
    -0.117410329606521 + 0.0*i,
    0.0505593692828993 + 0.0*i,
    0.338090651290138 + 0.0*i,
    -0.776346848647901 + 0.0*i,
    0.688354914115733 + 0.0*i,
    -0.591187791925601 + 0.0*i,
    -0.627413277159906 + 0.0*i,
    0.867453935874548 + 0.0*i,
    0.243403980617509 + 0.0*i,
    -0.202015612135856 + 0.0*i,
    0.541636197908657 + 0.0*i,
    -0.307601427294254 + 0.0*i,
    -0.460165967221425 + 0.0*i,
    0.759944130958395 + 0.0*i,
    -0.663408519419388 + 0.0*i,
    0.0252599046931743 + 0.0*i,
    0.708277034337231 + 0.0*i,
    0.128313512569136 + 0.0*i,
    -0.349741463198373 + 0.0*i,
    -0.388276501658951 + 0.0*i,
    -0.452106376586174 + 0.0*i,
    0.192627419260572 + 0.0*i,
    0.587217111431206 + 0.0*i,
    -0.248115750239414 + 0.0*i,
    0.00275350387619967 + 0.0*i,
    0.0936662735657691 + 0.0*i,
    0.59281015619758 + 0.0*i,
    -1.18231667262458 + 0.0*i,
    0.344583369186416 + 0.0*i,
    -0.552128854815955 + 0.0*i,
    -0.744897238060454 + 0.0*i,
    -0.804820326787962 + 0.0*i,
    0.263389220353136 + 0.0*i,
    0.120384662815875 + 0.0*i,
    -0.898270835936976 + 0.0*i,
    -0.690000667492282 + 0.0*i,
    0.442077951692737 + 0.0*i,
    -0.495619949122995 + 0.0*i,
    0.64419901245277 + 0.0*i,
    0.190147981471701 + 0.0*i,
    0.207422809723428 + 0.0*i,
    -0.139392207185425 + 0.0*i,
    -0.255944757945286 + 0.0*i,
    0.227490318458283 + 0.0*i,
    -0.404250836852598 + 0.0*i,
    0.425398578354739 + 0.0*i,
    0.176570692712036 + 0.0*i,
    -0.908839841501356 + 0.0*i,
    -0.285481458462647 + 0.0*i,
    0.0941333455090483 + 0.0*i,
    -1.16985362232231 + 0.0*i,
    -0.362098352644079 + 0.0*i,
    -0.196769935285577 + 0.0*i,
    -0.282459593494775 + 0.0*i,
    0.966633486732406 + 0.0*i,
    -0.146346498380796 + 0.0*i,
    0.0661970111145205 + 0.0*i,
    -0.564929267989723 + 0.0*i,
    -0.117123435406659 + 0.0*i,
    -0.171601157007308 + 0.0*i,
    -0.306657097723572 + 0.0*i,
    0.15052327873164 + 0.0*i,
    -0.087650535947389 + 0.0*i,
    0.749034158213741 + 0.0*i,
    -0.0448111211752137 + 0.0*i,
    -0.734002116944814 + 0.0*i,
    0.111058984382726 + 0.0*i,
    0.587428447841623 + 0.0*i,
    0.165093052466136 + 0.0*i,
    -0.791675248660038 + 0.0*i,
    -0.674945116739206 + 0.0*i,
    -0.451011315058714 + 0.0*i,
    0.0683299003212907 + 0.0*i,
    0.662239011052138 + 0.0*i,
    0.310955218051136 + 0.0*i,
    -0.699329917320841 + 0.0*i,
    0.112428496140945 + 0.0*i,
    -0.975319027733205 + 0.0*i,
    -0.0677624625885565 + 0.0*i,
    -0.317791895336465 + 0.0*i,
    0.395175957110682 + 0.0*i,
    -0.439585290434001 + 0.0*i,
    -0.450592983635343 + 0.0*i,
    0.0860075459543269 + 0.0*i,
    -0.278339951631251 + 0.0*i,
    -0.216354753743356 + 0.0*i,
    -0.263754838415585 + 0.0*i,
    -0.692026253002322 + 0.0*i,
    -0.0114225175160893 + 0.0*i,
    -0.460424114726279 + 0.0*i,
    -0.0934055861806892 + 0.0*i,
    -0.0994779872054923 + 0.0*i,
    0.907288230184262 + 0.0*i,
    0.173828133280663 + 0.0*i,
    0.489882150823672 + 0.0*i,
    0.278062138651337 + 0.0*i,
    0.202244544992085 + 0.0*i,
    -0.182362912268486 + 0.0*i,
    -0.735228104806995 + 0.0*i,
    0.159586329358896 + 0.0*i,
    0.514234018751936 + 0.0*i,
    -0.534771333804699 + 0.0*i,
    -1.046400156455 + 0.0*i,
    0.300899483339656 + 0.0*i,
    -0.0468703505966577 + 0.0*i,
    -0.282808619471096 + 0.0*i,
    -0.087835053790697 + 0.0*i,
    0.535836088031221 + 0.0*i,
    0.173655829995227 + 0.0*i,
    0.418576736638275 + 0.0*i,
    -0.185621652948922 + 0.0*i,
    -0.530793409053229 + 0.0*i,
    -1.08466852560241 + 0.0*i,
    0.773538413499891 + 0.0*i,
    -0.381121219263873 + 0.0*i,
    0.493017674435816 + 0.0*i,
    -0.204921342581031 + 0.0*i,
    0.37258719555432 + 0.0*i,
    0.712943211061508 + 0.0*i,
    1.14653229166262 + 0.0*i,
    -0.172080791915651 + 0.0*i,
    -0.183446638539743 + 0.0*i,
    -0.528215749784833 + 0.0*i,
    0.257464269776656 + 0.0*i,
    -0.75936865943014 + 0.0*i,
    -0.532811830775932 + 0.0*i,
    -0.493206786582412 + 0.0*i,
    0.210104478619297 + 0.0*i,
    -0.256053860644186 + 0.0*i,
    -0.322580652978264 + 0.0*i,
    0.828358251135811 + 0.0*i,
    0.236696081987623 + 0.0*i,
    -0.0304715328735953 + 0.0*i,
    0.0510058993483125 + 0.0*i,
    0.0816078003564541 + 0.0*i,
    -0.0468609047803019 + 0.0*i,
    0.712357795828202 + 0.0*i,
    0.227936125174469 + 0.0*i,
    0.170667786525619 + 0.0*i,
    1.11823218792207 + 0.0*i,
    -0.671428755613048 + 0.0*i,
    0.213263670324325 + 0.0*i,
    -0.122693394293939 + 0.0*i,
    1.09275832846356 + 0.0*i,
    -0.298891380146545 + 0.0*i,
    0.630220416131688 + 0.0*i,
    -0.309905377579085 + 0.0*i,
    -0.194653790116345 + 0.0*i,
    -0.608153986885972 + 0.0*i,
    -0.272057999107287 + 0.0*i,
    -0.161750643276709 + 0.0*i,
    0.214432304479658 + 0.0*i,
    -0.501004843218818 + 0.0*i,
    -0.926659380483051 + 0.0*i,
    -0.608779755470749 + 0.0*i,
    0.322694479513671 + 0.0*i,
    -0.318579588045701 + 0.0*i,
    -0.0221753971663277 + 0.0*i,
    -0.37791920281183 + 0.0*i,
    -0.399721700873609 + 0.0*i,
    -0.584214436253744 + 0.0*i,
    -0.530819086667855 + 0.0*i,
    0.543588486294197 + 0.0*i,
    0.268250186862067 + 0.0*i,
    0.21314640347286 + 0.0*i,
    -0.503572665115275 + 0.0*i,
    0.131779708459342 + 0.0*i,
    0.455861230731821 + 0.0*i,
    0.107200153955038 + 0.0*i,
    -0.240823860159281 + 0.0*i,
    -0.113608399436472 + 0.0*i,
    0.122400047568922 + 0.0*i,
    0.345173172408256 + 0.0*i,
    0.784535062173624 + 0.0*i,
    1.00943761355118 + 0.0*i,
    0.0630376548211825 + 0.0*i,
    0.0507224609130901 + 0.0*i,
    0.318624477144295 + 0.0*i,
    -0.356130123411939 + 0.0*i,
    0.298454009332464 + 0.0*i,
    0.290718644313084 + 0.0*i,
    0.578216439325136 + 0.0*i,
    -1.06047783366901 + 0.0*i,
    -0.0967004860285382 + 0.0*i,
    0.371875826313259 + 0.0*i,
    -0.893988348435392 + 0.0*i
]);