V:=Matrix(CC,4,51,[
    -0.0178485596899647 + 0.0*i,
    0.417319734023386 + 0.0*i,
    0.361925059235952 + 0.0*i,
    -0.23767751924686 + 0.0*i,
    -0.0621510068827961 + 0.0*i,
    -0.373024564100428 + 0.0*i,
    0.971471212260125 + 0.0*i,
    -0.00828953549672494 + 0.0*i,
    0.424210546155491 + 0.0*i,
    0.784114789259184 + 0.0*i,
    -0.173303700480588 + 0.0*i,
    -0.241731398576271 + 0.0*i,
    -0.942858337743074 + 0.0*i,
    -1.01189282380854 + 0.0*i,
    0.123339757527315 + 0.0*i,
    -0.980777904899633 + 0.0*i,
    0.329266349296908 + 0.0*i,
    0.118883622629313 + 0.0*i,
    0.0861542599404273 + 0.0*i,
    0.74295861725354 + 0.0*i,
    0.29190506258755 + 0.0*i,
    -0.69140972442813 + 0.0*i,
    0.0404205399075828 + 0.0*i,
    0.52307325698237 + 0.0*i,
    -0.212458804470763 + 0.0*i,
    0.822148087556135 + 0.0*i,
    0.0455453151495895 + 0.0*i,
    -0.458129044174832 + 0.0*i,
    -0.270462862427069 + 0.0*i,
    0.192159441950667 + 0.0*i,
    -1.05128849912599 + 0.0*i,
    -0.248095315729999 + 0.0*i,
    0.149700296290532 + 0.0*i,
    0.474101272498946 + 0.0*i,
    -0.0437413963907151 + 0.0*i,
    0.320768766891942 + 0.0*i,
    0.256660920704319 + 0.0*i,
    0.468362846699119 + 0.0*i,
    -0.058620398703366 + 0.0*i,
    0.814182134232096 + 0.0*i,
    -0.0158653487890735 + 0.0*i,
    0.00132488063376585 + 0.0*i,
    0.661575322133525 + 0.0*i,
    0.0358650975155901 + 0.0*i,
    -0.663633901364568 + 0.0*i,
    0.249329357919266 + 0.0*i,
    -0.606096510658291 + 0.0*i,
    -0.198912408487348 + 0.0*i,
    0.00382826475297462 + 0.0*i,
    -1.15131985901729 + 0.0*i,
    -0.240841371319651 + 0.0*i,
    0.183358074295471 + 0.0*i,
    -0.298437635398186 + 0.0*i,
    0.19484923108837 + 0.0*i,
    -0.220544937977704 + 0.0*i,
    -0.489640008925463 + 0.0*i,
    0.294327163505995 + 0.0*i,
    -0.526675834447959 + 0.0*i,
    0.00274825934030484 + 0.0*i,
    0.468092257501469 + 0.0*i,
    0.417785165399079 + 0.0*i,
    -0.412542475822726 + 0.0*i,
    0.520811044415683 + 0.0*i,
    0.291414825071408 + 0.0*i,
    -0.508293805420517 + 0.0*i,
    1.04076790154076 + 0.0*i,
    -0.0969898632449248 + 0.0*i,
    0.414024392176106 + 0.0*i,
    0.121378107906079 + 0.0*i,
    -0.490952994433425 + 0.0*i,
    0.177785294152474 + 0.0*i,
    0.170033320305732 + 0.0*i,
    -0.305117858190694 + 0.0*i,
    -0.597709322887274 + 0.0*i,
    -0.137343052134396 + 0.0*i,
    0.44842178697253 + 0.0*i,
    0.00412270165353496 + 0.0*i,
    0.180415926436927 + 0.0*i,
    0.0359772911209423 + 0.0*i,
    -0.469480997132672 + 0.0*i,
    -0.0903219199363746 + 0.0*i,
    -0.291481804928254 + 0.0*i,
    0.046451177081348 + 0.0*i,
    -0.361033573175471 + 0.0*i,
    -0.055494407943623 + 0.0*i,
    0.0311112404198379 + 0.0*i,
    -0.405165137221756 + 0.0*i,
    0.471773079677386 + 0.0*i,
    -0.881234696507178 + 0.0*i,
    0.598015891950144 + 0.0*i,
    0.284392221325056 + 0.0*i,
    0.763815347832788 + 0.0*i,
    -0.242796713450124 + 0.0*i,
    0.00755353773223772 + 0.0*i,
    -0.288815509869448 + 0.0*i,
    0.0199307922153853 + 0.0*i,
    -0.0774355889366561 + 0.0*i,
    0.142165731966224 + 0.0*i,
    -0.105685789616943 + 0.0*i,
    0.976074963748325 + 0.0*i,
    -1.09430639937967 + 0.0*i,
    0.15795179698719 + 0.0*i,
    0.3028875095542 + 0.0*i,
    0.0350097590152571 + 0.0*i,
    0.254639913624781 + 0.0*i,
    0.763126000208531 + 0.0*i,
    -0.182944649684788 + 0.0*i,
    -0.616577906258104 + 0.0*i,
    0.342914732048408 + 0.0*i,
    -0.310894471693684 + 0.0*i,
    -0.135627753275061 + 0.0*i,
    1.10828271238629 + 0.0*i,
    -0.939467995253373 + 0.0*i,
    0.175178161336067 + 0.0*i,
    0.890015050360979 + 0.0*i,
    -0.248407985523575 + 0.0*i,
    0.710774848238093 + 0.0*i,
    -0.964345191868715 + 0.0*i,
    -0.285203940915101 + 0.0*i,
    -0.770981075969566 + 0.0*i,
    0.0248426555233906 + 0.0*i,
    0.175189098445217 + 0.0*i,
    0.033445482404015 + 0.0*i,
    -0.569056656079408 + 0.0*i,
    -0.648295808337801 + 0.0*i,
    0.424463938311026 + 0.0*i,
    1.00947784612841 + 0.0*i,
    -0.0468361600700899 + 0.0*i,
    0.330282183117905 + 0.0*i,
    0.137427753380353 + 0.0*i,
    0.219769908436768 + 0.0*i,
    0.466716542841831 + 0.0*i,
    -0.260894359211182 + 0.0*i,
    -0.213354353510614 + 0.0*i,
    -0.708813121276082 + 0.0*i,
    0.841098953329316 + 0.0*i,
    -0.656692654273347 + 0.0*i,
    -0.754983109180977 + 0.0*i,
    0.133404955731475 + 0.0*i,
    0.303935312319728 + 0.0*i,
    1.32326198911386 + 0.0*i,
    -0.509738499278191 + 0.0*i,
    -0.436625104727859 + 0.0*i,
    -0.570172314652916 + 0.0*i,
    0.0214297758125163 + 0.0*i,
    0.13841524876686 + 0.0*i,
    0.2952396866512 + 0.0*i,
    -0.131678611334919 + 0.0*i,
    0.763457786750196 + 0.0*i,
    0.330012361784885 + 0.0*i,
    -1.32315339965941 + 0.0*i,
    -0.141285515231965 + 0.0*i,
    0.467771734709199 + 0.0*i,
    -0.255936431861262 + 0.0*i,
    0.424521957536763 + 0.0*i,
    0.45620692118675 + 0.0*i,
    0.78041479998142 + 0.0*i,
    -0.187946339141835 + 0.0*i,
    -0.325650130319691 + 0.0*i,
    0.239556576334159 + 0.0*i,
    -0.472517417685719 + 0.0*i,
    0.158137259246904 + 0.0*i,
    -0.302253168203485 + 0.0*i,
    -0.440660352259014 + 0.0*i,
    0.484948866497038 + 0.0*i,
    -0.0704725432657727 + 0.0*i,
    -0.554843860341138 + 0.0*i,
    -0.6485230671918 + 0.0*i,
    -0.520423684295331 + 0.0*i,
    1.48370500068998 + 0.0*i,
    0.828925639305649 + 0.0*i,
    0.0161778279022465 + 0.0*i,
    0.179361010058235 + 0.0*i,
    -0.187015855401332 + 0.0*i,
    0.287046449079469 + 0.0*i,
    -0.106506243993347 + 0.0*i,
    -0.267689403724957 + 0.0*i,
    -0.226649641316026 + 0.0*i,
    -0.0382927057100816 + 0.0*i,
    -0.215019076545974 + 0.0*i,
    -0.116076777834138 + 0.0*i,
    -0.964340976117694 + 0.0*i,
    0.00500700074103258 + 0.0*i,
    0.207853621304418 + 0.0*i,
    0.0963509247521609 + 0.0*i,
    -1.21939248251752 + 0.0*i,
    -0.874297861093115 + 0.0*i,
    0.401197865474804 + 0.0*i,
    -0.0640446234570418 + 0.0*i,
    -0.715842875144223 + 0.0*i,
    -0.310063810849198 + 0.0*i,
    0.425496376098982 + 0.0*i,
    -0.0886163387151839 + 0.0*i,
    0.00494829715828445 + 0.0*i,
    -0.52416737569571 + 0.0*i,
    0.798754394619934 + 0.0*i,
    -0.146119033023014 + 0.0*i,
    0.489083574371639 + 0.0*i,
    -0.595556299427912 + 0.0*i,
    0.120346833709104 + 0.0*i,
    0.134146326473066 + 0.0*i,
    0.217521021267799 + 0.0*i,
    0.0764017749016663 + 0.0*i,
    0.186533343921194 + 0.0*i
]);