V:=Matrix(CC,4,42,[
    -0.0531901170589648 + 0.0*i,
    -0.250749169271748 + 0.0*i,
    0.168867805930477 + 0.0*i,
    -0.0382578779035941 + 0.0*i,
    -0.321383856050533 + 0.0*i,
    -0.0561533717778974 + 0.0*i,
    0.206119673280153 + 0.0*i,
    0.165027894749589 + 0.0*i,
    -0.191650858355229 + 0.0*i,
    0.0129862102228424 + 0.0*i,
    -0.159775813535686 + 0.0*i,
    -0.308984896764275 + 0.0*i,
    -0.0561342737866814 + 0.0*i,
    0.0186635066650043 + 0.0*i,
    0.0122772326452841 + 0.0*i,
    0.0107381699148764 + 0.0*i,
    0.110646641379881 + 0.0*i,
    -0.320757009898311 + 0.0*i,
    0.110750621084362 + 0.0*i,
    0.092761716502005 + 0.0*i,
    -0.199412321875323 + 0.0*i,
    -0.176115602148936 + 0.0*i,
    0.184490126845292 + 0.0*i,
    -0.265689624704955 + 0.0*i,
    0.280748019102443 + 0.0*i,
    -0.224367776112117 + 0.0*i,
    0.107680956563357 + 0.0*i,
    -0.134821269815472 + 0.0*i,
    0.0990369511202169 + 0.0*i,
    -0.154595912545518 + 0.0*i,
    0.242959237347904 + 0.0*i,
    -0.00752638703486086 + 0.0*i,
    0.0964701111451986 + 0.0*i,
    0.0602114805547215 + 0.0*i,
    0.202141260739655 + 0.0*i,
    0.163652077732891 + 0.0*i,
    -0.275384580912597 + 0.0*i,
    0.038169490561195 + 0.0*i,
    -0.139021192218643 + 0.0*i,
    -0.0409612802937434 + 0.0*i,
    -0.218699440614576 + 0.0*i,
    0.346653059331055 + 0.0*i,
    -0.254332508043515 + 0.0*i,
    -0.201351895881887 + 0.0*i,
    0.249905905675617 + 0.0*i,
    0.286033145620715 + 0.0*i,
    -0.144758245407593 + 0.0*i,
    -0.302829645895567 + 0.0*i,
    -0.0489458181095721 + 0.0*i,
    -0.193000841162473 + 0.0*i,
    -0.0644018558780515 + 0.0*i,
    -0.104206064064523 + 0.0*i,
    -0.05895353571498 + 0.0*i,
    0.118522790130628 + 0.0*i,
    0.342505139871486 + 0.0*i,
    0.110821443603948 + 0.0*i,
    0.0856267245693088 + 0.0*i,
    0.280141742058062 + 0.0*i,
    -0.320565115058437 + 0.0*i,
    0.0393109048442909 + 0.0*i,
    0.23967944228979 + 0.0*i,
    -0.150962656385795 + 0.0*i,
    -0.17639631389409 + 0.0*i,
    0.194748271802822 + 0.0*i,
    -0.242695816711008 + 0.0*i,
    0.235569961033337 + 0.0*i,
    0.0296764768617327 + 0.0*i,
    0.199176380964517 + 0.0*i,
    -0.0848444481013452 + 0.0*i,
    -0.103666607737778 + 0.0*i,
    -0.0939238827900245 + 0.0*i,
    -0.327100766622371 + 0.0*i,
    -0.0581862198779644 + 0.0*i,
    0.0369411734415417 + 0.0*i,
    0.208447878561481 + 0.0*i,
    0.0450004802300003 + 0.0*i,
    -0.0211751424726985 + 0.0*i,
    0.0489480283475797 + 0.0*i,
    -0.164485224919216 + 0.0*i,
    0.142716316348108 + 0.0*i,
    0.164885530165728 + 0.0*i,
    0.203983357273322 + 0.0*i,
    -0.0487823683632123 + 0.0*i,
    -0.0218628625199102 + 0.0*i,
    -0.0373645351049951 + 0.0*i,
    0.165080216495983 + 0.0*i,
    0.0166105672739232 + 0.0*i,
    0.197897242329591 + 0.0*i,
    -0.0848166362983504 + 0.0*i,
    0.174664284740372 + 0.0*i,
    -0.272123806965855 + 0.0*i,
    -0.248498504658632 + 0.0*i,
    0.281315533791117 + 0.0*i,
    -0.250536039374281 + 0.0*i,
    -0.135015650458407 + 0.0*i,
    -0.107231071111422 + 0.0*i,
    0.0514271033865953 + 0.0*i,
    -0.0510895325498018 + 0.0*i,
    0.351165624007541 + 0.0*i,
    -0.144104389657688 + 0.0*i,
    0.0511307092802451 + 0.0*i,
    -0.109236885705745 + 0.0*i,
    0.233512074282841 + 0.0*i,
    0.283794378509927 + 0.0*i,
    -0.210125638291381 + 0.0*i,
    -0.0476152977661875 + 0.0*i,
    0.192855873783741 + 0.0*i,
    0.0440898526321076 + 0.0*i,
    -0.0504703623515425 + 0.0*i,
    0.112900828873473 + 0.0*i,
    0.251270710686363 + 0.0*i,
    0.210543491368892 + 0.0*i,
    -0.073385056874308 + 0.0*i,
    -0.0305746310082184 + 0.0*i,
    -0.128724823839692 + 0.0*i,
    0.300392954568278 + 0.0*i,
    -0.181161144961652 + 0.0*i,
    -0.12711811806765 + 0.0*i,
    0.289122698095805 + 0.0*i,
    0.0829695322706794 + 0.0*i,
    0.0464771492202449 + 0.0*i,
    -0.327153876478428 + 0.0*i,
    -0.119096881746701 + 0.0*i,
    0.14344159616081 + 0.0*i,
    -0.237704377735039 + 0.0*i,
    -0.112402492631206 + 0.0*i,
    -0.251271375468585 + 0.0*i,
    0.0529262831955237 + 0.0*i,
    -0.201958485060471 + 0.0*i,
    0.0955003508744573 + 0.0*i,
    0.0467173782916203 + 0.0*i,
    -0.033376144055108 + 0.0*i,
    -0.104874937608775 + 0.0*i,
    0.0776751779243672 + 0.0*i,
    -0.104155342967529 + 0.0*i,
    -0.235638783926847 + 0.0*i,
    0.28607574786119 + 0.0*i,
    0.10875841442469 + 0.0*i,
    -0.0912912857963721 + 0.0*i,
    -0.33832613189712 + 0.0*i,
    0.026439106542479 + 0.0*i,
    -0.172239054302164 + 0.0*i,
    -0.113948011963312 + 0.0*i,
    -0.131410595918885 + 0.0*i,
    -0.0922480660621625 + 0.0*i,
    -0.131623345266584 + 0.0*i,
    -0.137252311522485 + 0.0*i,
    -0.240255994034248 + 0.0*i,
    0.0438139877938431 + 0.0*i,
    -0.0503151198693294 + 0.0*i,
    -0.222557036851523 + 0.0*i,
    0.16737274206346 + 0.0*i,
    0.220343118983291 + 0.0*i,
    0.23361426883356 + 0.0*i,
    -0.322036519012991 + 0.0*i,
    -0.0362841691154624 + 0.0*i,
    0.228952902490748 + 0.0*i,
    -0.197383241924635 + 0.0*i,
    0.203191085443242 + 0.0*i,
    0.329855371095016 + 0.0*i,
    0.0366330752862162 + 0.0*i,
    0.308842922368348 + 0.0*i,
    -0.167913770700584 + 0.0*i,
    -0.0528839322771555 + 0.0*i,
    0.259190066518234 + 0.0*i,
    -0.257683754369346 + 0.0*i,
    0.128415834537513 + 0.0*i,
    0.00519178853347458 + 0.0*i
]);