V:=Matrix(CC,4,28,[
    -0.116701395362087 + 0.0*i,
    0.599460130512169 + 0.0*i,
    -0.493982661222584 + 0.0*i,
    0.826070846377873 + 0.0*i,
    -0.0901654005947032 + 0.0*i,
    -0.283748536056191 + 0.0*i,
    -0.039265971006178 + 0.0*i,
    0.673311026576561 + 0.0*i,
    0.623596428172894 + 0.0*i,
    -0.203258923322016 + 0.0*i,
    -0.682797083965473 + 0.0*i,
    0.0249005093872691 + 0.0*i,
    0.351552381615756 + 0.0*i,
    -0.52531366589529 + 0.0*i,
    0.497583962621787 + 0.0*i,
    0.829352484119651 + 0.0*i,
    -0.589068328456575 + 0.0*i,
    -0.696080647593252 + 0.0*i,
    0.134650370049067 + 0.0*i,
    0.186173370485829 + 0.0*i,
    -0.627841836582766 + 0.0*i,
    1.02364448396717 + 0.0*i,
    0.149099151342932 + 0.0*i,
    -0.700423688969346 + 0.0*i,
    0.356682687334917 + 0.0*i,
    -0.140301608128875 + 0.0*i,
    -0.2298673193419 + 0.0*i,
    0.00539586597568198 + 0.0*i,
    -0.822320365845721 + 0.0*i,
    -0.153562834905572 + 0.0*i,
    0.43692424642886 + 0.0*i,
    0.0716568969103438 + 0.0*i,
    0.375645092102431 + 0.0*i,
    -0.549855705921361 + 0.0*i,
    0.170638294877534 + 0.0*i,
    0.234746441675997 + 0.0*i,
    -0.783396806450936 + 0.0*i,
    0.00132814845547656 + 0.0*i,
    0.463041100452248 + 0.0*i,
    0.614555984868312 + 0.0*i,
    -0.690200387505152 + 0.0*i,
    0.203517154288584 + 0.0*i,
    0.245412385087161 + 0.0*i,
    0.522269671322698 + 0.0*i,
    -0.618808235776635 + 0.0*i,
    -0.0857927061109398 + 0.0*i,
    -0.807711728088165 + 0.0*i,
    0.287978171713972 + 0.0*i,
    -0.433989360160328 + 0.0*i,
    -0.220976657063417 + 0.0*i,
    0.676949913016545 + 0.0*i,
    -0.144968727147122 + 0.0*i,
    0.934763203814808 + 0.0*i,
    -0.44969762955334 + 0.0*i,
    0.88431905479211 + 0.0*i,
    0.736248577287031 + 0.0*i,
    0.238965198415387 + 0.0*i,
    -0.220904997437116 + 0.0*i,
    -0.633927848576107 + 0.0*i,
    0.388839464435752 + 0.0*i,
    -0.905138795348061 + 0.0*i,
    0.71739927009652 + 0.0*i,
    0.382499744888381 + 0.0*i,
    -0.409267285296038 + 0.0*i,
    0.11635555967159 + 0.0*i,
    0.973180550122106 + 0.0*i,
    0.572502583547027 + 0.0*i,
    0.674375189745822 + 0.0*i,
    -0.590388476824071 + 0.0*i,
    -0.346721056302284 + 0.0*i,
    0.902930502922865 + 0.0*i,
    0.146833948638232 + 0.0*i,
    0.447767001974208 + 0.0*i,
    0.000571676601242909 + 0.0*i,
    0.446106403187438 + 0.0*i,
    0.192234011421509 + 0.0*i,
    -0.312898061903298 + 0.0*i,
    -0.00644817507288896 + 0.0*i,
    0.47798073768934 + 0.0*i,
    0.631783361656505 + 0.0*i,
    0.178731057989259 + 0.0*i,
    -0.355450001971545 + 0.0*i,
    -0.0661807669044307 + 0.0*i,
    -0.096123725899711 + 0.0*i,
    -0.54725767003546 + 0.0*i,
    -0.836948146481501 + 0.0*i,
    0.576435695792293 + 0.0*i,
    -0.242354527267631 + 0.0*i,
    -0.424917946056371 + 0.0*i,
    -0.209946204825184 + 0.0*i,
    -0.977707145510405 + 0.0*i,
    0.648112109292186 + 0.0*i,
    0.261162170350443 + 0.0*i,
    -0.306020011555535 + 0.0*i,
    -0.266203221565835 + 0.0*i,
    -0.464320153251398 + 0.0*i,
    -0.407110659427928 + 0.0*i,
    -0.831260204897232 + 0.0*i,
    0.152089722653303 + 0.0*i,
    0.31545448828303 + 0.0*i,
    0.374544252185519 + 0.0*i,
    0.444704861549485 + 0.0*i,
    -0.014060060123636 + 0.0*i,
    -0.258808472582995 + 0.0*i,
    0.555462575848496 + 0.0*i,
    0.0192690707467967 + 0.0*i,
    0.127212719902483 + 0.0*i,
    0.25238960374337 + 0.0*i,
    -0.0645776667297257 + 0.0*i,
    -0.856939408889454 + 0.0*i,
    0.0367811833069025 + 0.0*i,
    -0.722031577657319 + 0.0*i
]);