V:=Matrix(CC,4,31,[
    -0.286352148431638 + 0.0*i,
    -0.111495983675255 + 0.0*i,
    0.00822632569086388 + 0.0*i,
    -0.234455039273567 + 0.0*i,
    -0.365449020828394 + 0.0*i,
    -0.0508937872117642 + 0.0*i,
    0.205798243969976 + 0.0*i,
    0.144168933598411 + 0.0*i,
    0.137620530858594 + 0.0*i,
    0.151768195914228 + 0.0*i,
    0.298073264684096 + 0.0*i,
    0.316454586849586 + 0.0*i,
    0.172745118342455 + 0.0*i,
    0.00879245363383912 + 0.0*i,
    -0.010198963419899 + 0.0*i,
    -0.242465359386559 + 0.0*i,
    -0.0688412521418861 + 0.0*i,
    0.389121689831243 + 0.0*i,
    -0.0148872332491691 + 0.0*i,
    0.383063071568139 + 0.0*i,
    -0.182880027258669 + 0.0*i,
    0.226817318328653 + 0.0*i,
    0.354612587241064 + 0.0*i,
    0.247566854471835 + 0.0*i,
    0.126699587584182 + 0.0*i,
    -0.27673274284862 + 0.0*i,
    -0.342734949355678 + 0.0*i,
    -0.198405939964828 + 0.0*i,
    0.130227211477718 + 0.0*i,
    -0.0529927721291091 + 0.0*i,
    0.0459339279134974 + 0.0*i,
    -0.29705873030961 + 0.0*i,
    -0.38957653336997 + 0.0*i,
    0.281708780218699 + 0.0*i,
    -0.0582711322686307 + 0.0*i,
    -0.0168643923445188 + 0.0*i,
    0.21247548901927 + 0.0*i,
    0.0251021357313752 + 0.0*i,
    -0.231593517771641 + 0.0*i,
    0.137898341016711 + 0.0*i,
    0.101200379701773 + 0.0*i,
    0.14205114502977 + 0.0*i,
    -0.227600718025091 + 0.0*i,
    0.302081739652208 + 0.0*i,
    -0.199935052933514 + 0.0*i,
    0.162352267305389 + 0.0*i,
    0.198425597849006 + 0.0*i,
    -0.325019933886657 + 0.0*i,
    -0.0595794027368674 + 0.0*i,
    0.317575880576949 + 0.0*i,
    -0.0233990076822351 + 0.0*i,
    0.21793547304068 + 0.0*i,
    0.308185456129899 + 0.0*i,
    0.087501382963818 + 0.0*i,
    0.126313302816757 + 0.0*i,
    0.0181527538453265 + 0.0*i,
    0.294653744469873 + 0.0*i,
    0.159672785039671 + 0.0*i,
    0.328704837403607 + 0.0*i,
    -0.0122798865076915 + 0.0*i,
    -0.307980115308448 + 0.0*i,
    -0.0904486381099213 + 0.0*i,
    0.0409855254333021 + 0.0*i,
    0.0609686262814883 + 0.0*i,
    -0.278099853635409 + 0.0*i,
    0.32967840104775 + 0.0*i,
    -0.169583091356884 + 0.0*i,
    0.148519542909531 + 0.0*i,
    0.388214576908207 + 0.0*i,
    0.299385029894559 + 0.0*i,
    -0.336398329824108 + 0.0*i,
    -0.250019863340944 + 0.0*i,
    -0.0718882779148046 + 0.0*i,
    0.0198038381819727 + 0.0*i,
    0.0410463560000564 + 0.0*i,
    -0.352291322732884 + 0.0*i,
    -0.0862822905046959 + 0.0*i,
    -0.220689294804383 + 0.0*i,
    -0.222190779661228 + 0.0*i,
    -0.0677788008764555 + 0.0*i,
    0.169407350380145 + 0.0*i,
    0.0645682924905601 + 0.0*i,
    -0.0931314365325374 + 0.0*i,
    0.228224727884987 + 0.0*i,
    -0.152825905531112 + 0.0*i,
    0.138584001109612 + 0.0*i,
    0.190827015879377 + 0.0*i,
    -0.0429176287835032 + 0.0*i,
    0.168677022233778 + 0.0*i,
    0.117626977115909 + 0.0*i,
    0.239361732789058 + 0.0*i,
    0.173910846494707 + 0.0*i,
    -0.378440657215946 + 0.0*i,
    -0.00227779381782106 + 0.0*i,
    0.0652043433074523 + 0.0*i,
    -0.129800837258126 + 0.0*i,
    0.0794208657157216 + 0.0*i,
    0.107934897771419 + 0.0*i,
    -0.323172048897097 + 0.0*i,
    0.0882377169868529 + 0.0*i,
    -0.100073386067553 + 0.0*i,
    0.146926668254329 + 0.0*i,
    -0.275032049724963 + 0.0*i,
    -0.243646460671347 + 0.0*i,
    -0.134343855081957 + 0.0*i,
    0.219903190525536 + 0.0*i,
    -0.0901418185782034 + 0.0*i,
    -0.373702481068284 + 0.0*i,
    -0.156797870345725 + 0.0*i,
    0.120015378274054 + 0.0*i,
    -0.0869606487279543 + 0.0*i,
    0.205651662813699 + 0.0*i,
    0.143320512437922 + 0.0*i,
    0.290235140099476 + 0.0*i,
    -0.039135234367985 + 0.0*i,
    0.126021294639083 + 0.0*i,
    0.275577412636635 + 0.0*i,
    -0.348617226834732 + 0.0*i,
    -0.0812356082962314 + 0.0*i,
    -0.0398948088386622 + 0.0*i,
    0.0953247307314777 + 0.0*i,
    0.310550614230582 + 0.0*i,
    -0.21271892107341 + 0.0*i,
    0.14258317953845 + 0.0*i
]);