V:=Matrix(CC,4,57,[
    -0.797000819141245 + 0.0*i,
    -0.0758530131563664 + 0.0*i,
    -0.318331059507672 + 0.0*i,
    0.0282288510575619 + 0.0*i,
    -0.50906339121635 + 0.0*i,
    -0.85169054848782 + 0.0*i,
    -0.485500229746366 + 0.0*i,
    -0.0575424672107155 + 0.0*i,
    -0.858536849334153 + 0.0*i,
    -0.77429581057992 + 0.0*i,
    0.0320272954197565 + 0.0*i,
    0.352066363372703 + 0.0*i,
    0.18054391992208 + 0.0*i,
    0.124013445139184 + 0.0*i,
    -0.734997258227646 + 0.0*i,
    0.116529623552666 + 0.0*i,
    -0.0496442394490808 + 0.0*i,
    0.774799721602172 + 0.0*i,
    -0.331233103289312 + 0.0*i,
    -0.211047592930398 + 0.0*i,
    0.223880709676278 + 0.0*i,
    -0.498299249381981 + 0.0*i,
    -0.106112228650561 + 0.0*i,
    0.0248214494234375 + 0.0*i,
    0.408715321226408 + 0.0*i,
    0.426615685691727 + 0.0*i,
    0.889369230623912 + 0.0*i,
    0.201851071944934 + 0.0*i,
    -0.88943880169895 + 0.0*i,
    0.48186822850358 + 0.0*i,
    0.595404791159149 + 0.0*i,
    -0.335679808720167 + 0.0*i,
    -0.64178901778255 + 0.0*i,
    -0.755921335960732 + 0.0*i,
    0.286905976106975 + 0.0*i,
    -0.977109231118516 + 0.0*i,
    -0.698414244272619 + 0.0*i,
    0.436886468849962 + 0.0*i,
    -0.470451445859581 + 0.0*i,
    -0.366304277473026 + 0.0*i,
    -0.233366402232914 + 0.0*i,
    -0.0505439255930352 + 0.0*i,
    -0.220241689349789 + 0.0*i,
    -0.668965813655994 + 0.0*i,
    0.37086133463763 + 0.0*i,
    0.168644477686195 + 0.0*i,
    -0.0984798755033426 + 0.0*i,
    -0.4456169665953 + 0.0*i,
    0.738697261118066 + 0.0*i,
    -0.551377990854557 + 0.0*i,
    0.651201471196516 + 0.0*i,
    0.460836803469324 + 0.0*i,
    -0.0370569645964496 + 0.0*i,
    0.551755197484958 + 0.0*i,
    0.432597563440988 + 0.0*i,
    -0.44960439421455 + 0.0*i,
    0.564240650925991 + 0.0*i,
    -0.554482377315075 + 0.0*i,
    -0.71225776946796 + 0.0*i,
    0.665423104195463 + 0.0*i,
    -0.35969165460564 + 0.0*i,
    -0.77679343983537 + 0.0*i,
    -0.0859954621614299 + 0.0*i,
    0.210102352091892 + 0.0*i,
    0.326414771774266 + 0.0*i,
    0.0777471291443356 + 0.0*i,
    -0.518840238364136 + 0.0*i,
    0.0587520734046087 + 0.0*i,
    -0.80098989517956 + 0.0*i,
    -0.14661528055961 + 0.0*i,
    -0.980823969099599 + 0.0*i,
    -0.106997889522067 + 0.0*i,
    -0.873009970929838 + 0.0*i,
    0.459997052370448 + 0.0*i,
    -0.402806029059038 + 0.0*i,
    -0.600902387257676 + 0.0*i,
    0.735028521194501 + 0.0*i,
    -0.465442929447776 + 0.0*i,
    0.103876199440284 + 0.0*i,
    -0.710305288391628 + 0.0*i,
    -0.262848579024458 + 0.0*i,
    0.438789513331156 + 0.0*i,
    0.825453169077743 + 0.0*i,
    0.238038562132185 + 0.0*i,
    0.276158031599125 + 0.0*i,
    -0.144236860723312 + 0.0*i,
    0.475245867255383 + 0.0*i,
    0.262726508244828 + 0.0*i,
    -0.802056804140439 + 0.0*i,
    0.274657445259602 + 0.0*i,
    0.356775495174349 + 0.0*i,
    -0.798245368524505 + 0.0*i,
    0.205840188971507 + 0.0*i,
    -0.404377224021286 + 0.0*i,
    -0.0618115009087451 + 0.0*i,
    -0.178194456619777 + 0.0*i,
    0.260254357117681 + 0.0*i,
    0.047453693279074 + 0.0*i,
    0.169204440721532 + 0.0*i,
    -0.926145043390719 + 0.0*i,
    0.627610743789362 + 0.0*i,
    0.648559192428118 + 0.0*i,
    -0.686501628192219 + 0.0*i,
    -0.344579030122466 + 0.0*i,
    -0.460352904347545 + 0.0*i,
    -0.338447788846574 + 0.0*i,
    0.477982512113583 + 0.0*i,
    -0.751528144363175 + 0.0*i,
    -0.301830807287298 + 0.0*i,
    -0.573743819936003 + 0.0*i,
    -0.552080007927497 + 0.0*i,
    0.053417879387205 + 0.0*i,
    -0.274143076126591 + 0.0*i,
    0.130464717144914 + 0.0*i,
    -0.210574678363023 + 0.0*i,
    -0.0626438712104639 + 0.0*i,
    -0.23974526071067 + 0.0*i,
    -0.925550097041513 + 0.0*i,
    -0.0369407475226982 + 0.0*i,
    0.410683891270974 + 0.0*i,
    -0.519722534606333 + 0.0*i,
    0.699891786767239 + 0.0*i,
    0.355148656300286 + 0.0*i,
    0.354941518189201 + 0.0*i,
    -0.96762083507113 + 0.0*i,
    0.478261299920421 + 0.0*i,
    0.529291498854546 + 0.0*i,
    -0.134408187451258 + 0.0*i,
    -0.667471285406762 + 0.0*i,
    -0.173448273545982 + 0.0*i,
    0.221430771944617 + 0.0*i,
    0.349298123653218 + 0.0*i,
    0.724146382117241 + 0.0*i,
    0.469331890919654 + 0.0*i,
    0.849529396118295 + 0.0*i,
    0.255052999464106 + 0.0*i,
    0.507069963464893 + 0.0*i,
    0.097147517697335 + 0.0*i,
    -0.0587846914914333 + 0.0*i,
    -0.0506626401461427 + 0.0*i,
    0.19349780842359 + 0.0*i,
    -0.701738047707069 + 0.0*i,
    -0.196573937845123 + 0.0*i,
    -0.357902296078375 + 0.0*i,
    0.19561639149873 + 0.0*i,
    -0.483358066723532 + 0.0*i,
    0.715226650815233 + 0.0*i,
    -0.495946084701814 + 0.0*i,
    0.282256851518751 + 0.0*i,
    0.0283900895001976 + 0.0*i,
    0.394133962348362 + 0.0*i,
    -0.229539744415064 + 0.0*i,
    0.853374542635828 + 0.0*i,
    0.712187375957268 + 0.0*i,
    -0.889745198621086 + 0.0*i,
    -0.290715429061365 + 0.0*i,
    0.298414216418534 + 0.0*i,
    0.324912013360691 + 0.0*i,
    0.487371517997196 + 0.0*i,
    -0.692388488511065 + 0.0*i,
    -0.508189331344249 + 0.0*i,
    -0.657043548809088 + 0.0*i,
    -0.0443203002657409 + 0.0*i,
    -0.0202763756166596 + 0.0*i,
    0.025707997730407 + 0.0*i,
    0.746913590079369 + 0.0*i,
    0.626760340244362 + 0.0*i,
    -0.455480745706358 + 0.0*i,
    -0.727819063019809 + 0.0*i,
    -0.802360422185595 + 0.0*i,
    0.35953120744764 + 0.0*i,
    0.114005668137667 + 0.0*i,
    -0.694989881672671 + 0.0*i,
    -0.631189067492752 + 0.0*i,
    -0.11481316754394 + 0.0*i,
    -0.368892662877032 + 0.0*i,
    -0.313953390736092 + 0.0*i,
    -0.670846491817651 + 0.0*i,
    -0.632687717638504 + 0.0*i,
    0.361578890663297 + 0.0*i,
    -0.072713983786996 + 0.0*i,
    0.243377003340505 + 0.0*i,
    0.0757006776732314 + 0.0*i,
    -0.815940170432798 + 0.0*i,
    -0.0673754125069835 + 0.0*i,
    -0.053033623231991 + 0.0*i,
    0.440670096439134 + 0.0*i,
    -0.858432626672608 + 0.0*i,
    -0.339740364353762 + 0.0*i,
    -0.0693755687534795 + 0.0*i,
    0.441496956631291 + 0.0*i,
    0.107424915139853 + 0.0*i,
    0.822104349045521 + 0.0*i,
    0.476536089258106 + 0.0*i,
    -0.9596128802588 + 0.0*i,
    -0.798097681510013 + 0.0*i,
    -0.366141255903663 + 0.0*i,
    0.338996478879561 + 0.0*i,
    -0.624945276594878 + 0.0*i,
    0.386591558367589 + 0.0*i,
    0.643311994663031 + 0.0*i,
    0.733622616818229 + 0.0*i,
    -0.101926092257608 + 0.0*i,
    -0.0334810749648818 + 0.0*i,
    -0.235226828723641 + 0.0*i,
    -0.448129849791333 + 0.0*i,
    -0.045622032893411 + 0.0*i,
    0.439721529849887 + 0.0*i,
    0.867537352178617 + 0.0*i,
    0.136653074241683 + 0.0*i,
    0.539331055506103 + 0.0*i,
    -0.389412057894674 + 0.0*i,
    -0.940372111523638 + 0.0*i,
    -0.0685413183011969 + 0.0*i,
    0.230264365488106 + 0.0*i,
    -0.451997619277902 + 0.0*i,
    0.144473996320253 + 0.0*i,
    -0.783141500387122 + 0.0*i,
    -0.397233555367045 + 0.0*i,
    0.581218686576651 + 0.0*i,
    0.683449996639574 + 0.0*i,
    0.102377687970721 + 0.0*i,
    -0.372354257791182 + 0.0*i,
    -0.525943234918858 + 0.0*i,
    0.42814852234463 + 0.0*i,
    0.529419767076808 + 0.0*i,
    0.280925640383664 + 0.0*i,
    -0.731675307970792 + 0.0*i
]);