V:=Matrix(CC,4,42,[
    0.345606922842713 + 0.0*i,
    -0.177947820332251 + 0.0*i,
    0.972452587404816 + 0.0*i,
    -0.177380363683896 + 0.0*i,
    -0.181018885343236 + 0.0*i,
    0.679807596543699 + 0.0*i,
    0.27707059102001 + 0.0*i,
    -0.838253260427073 + 0.0*i,
    0.221051704409931 + 0.0*i,
    -0.473009525963913 + 0.0*i,
    -0.193076896067154 + 0.0*i,
    0.169444808792716 + 0.0*i,
    0.108003277328348 + 0.0*i,
    -0.69090356109919 + 0.0*i,
    0.0945453591890817 + 0.0*i,
    0.618091052346151 + 0.0*i,
    0.154166161881325 + 0.0*i,
    -0.231504150117733 + 0.0*i,
    0.0657729577632234 + 0.0*i,
    0.513456545392352 + 0.0*i,
    -0.158201443041641 + 0.0*i,
    0.427496305888853 + 0.0*i,
    0.395582662148099 + 0.0*i,
    0.716746848473681 + 0.0*i,
    -0.511719228550025 + 0.0*i,
    0.8526513974506 + 0.0*i,
    -0.505716639969084 + 0.0*i,
    -0.862647297714248 + 0.0*i,
    0.449465619941765 + 0.0*i,
    -0.242069718774953 + 0.0*i,
    0.716199442157677 + 0.0*i,
    -0.35868207233939 + 0.0*i,
    -0.567508128546453 + 0.0*i,
    0.863783056065257 + 0.0*i,
    -0.0770467385693099 + 0.0*i,
    0.725917612071912 + 0.0*i,
    0.304316242236559 + 0.0*i,
    0.373041192239399 + 0.0*i,
    -0.531439621120525 + 0.0*i,
    -0.188689246598702 + 0.0*i,
    -0.546588570541895 + 0.0*i,
    -0.284545271040471 + 0.0*i,
    -0.445851425178895 + 0.0*i,
    -0.620130268371629 + 0.0*i,
    0.0896027695621191 + 0.0*i,
    -0.715346230023323 + 0.0*i,
    0.624611936653963 + 0.0*i,
    -0.0812136706322435 + 0.0*i,
    -0.877683371306506 + 0.0*i,
    0.243748691008039 + 0.0*i,
    -0.878839276972035 + 0.0*i,
    -0.0370007153582214 + 0.0*i,
    -0.749870622265537 + 0.0*i,
    0.304933553750378 + 0.0*i,
    -0.304921457326697 + 0.0*i,
    -0.00183793916124174 + 0.0*i,
    0.30319543423045 + 0.0*i,
    0.207967609633859 + 0.0*i,
    0.179024181986504 + 0.0*i,
    -0.0187610799487689 + 0.0*i,
    0.448788789705027 + 0.0*i,
    -0.607661867793612 + 0.0*i,
    -0.542083939164017 + 0.0*i,
    0.585777906301641 + 0.0*i,
    -0.576274943923315 + 0.0*i,
    0.454069532310902 + 0.0*i,
    0.053508272343401 + 0.0*i,
    0.0275636995969964 + 0.0*i,
    -0.547110862205206 + 0.0*i,
    -0.364533106211802 + 0.0*i,
    0.0926753509171372 + 0.0*i,
    0.341638221296325 + 0.0*i,
    -0.49868190087604 + 0.0*i,
    -0.941724177890921 + 0.0*i,
    0.510250174279136 + 0.0*i,
    -0.499766715528239 + 0.0*i,
    -0.865530401652561 + 0.0*i,
    0.531016246989982 + 0.0*i,
    -0.892984629145633 + 0.0*i,
    0.172386692336975 + 0.0*i,
    -0.686243968553527 + 0.0*i,
    0.0183508825210885 + 0.0*i,
    0.473387935966814 + 0.0*i,
    0.417375795342577 + 0.0*i,
    -0.758522172624185 + 0.0*i,
    0.75146652159252 + 0.0*i,
    0.268681618859301 + 0.0*i,
    0.240135653784717 + 0.0*i,
    -0.743303303945885 + 0.0*i,
    0.0724645587699716 + 0.0*i,
    -0.326050128312247 + 0.0*i,
    0.1732943189471 + 0.0*i,
    0.0465165724561254 + 0.0*i,
    0.356688154793763 + 0.0*i,
    -0.428886501918322 + 0.0*i,
    0.704926772254395 + 0.0*i,
    0.502600439538126 + 0.0*i,
    -0.300177807104348 + 0.0*i,
    0.1456546073291 + 0.0*i,
    0.586846640974398 + 0.0*i,
    0.249807166475026 + 0.0*i,
    0.942668649575495 + 0.0*i,
    0.620011781135808 + 0.0*i,
    -0.420812084125085 + 0.0*i,
    -0.830634044611287 + 0.0*i,
    -0.166548406068757 + 0.0*i,
    -0.00654039735972734 + 0.0*i,
    0.387471841430121 + 0.0*i,
    -0.831291185595246 + 0.0*i,
    -0.503062232519773 + 0.0*i,
    0.616785549910536 + 0.0*i,
    0.296334038844117 + 0.0*i,
    -0.86922283563646 + 0.0*i,
    -0.487973967360653 + 0.0*i,
    0.40908234687846 + 0.0*i,
    0.115718606502435 + 0.0*i,
    -0.551425374496807 + 0.0*i,
    -0.0154447655732911 + 0.0*i,
    -0.240512142856287 + 0.0*i,
    -0.0659575659637953 + 0.0*i,
    0.229571898138782 + 0.0*i,
    -0.460315861138469 + 0.0*i,
    -0.406637128980854 + 0.0*i,
    -0.924612045202833 + 0.0*i,
    0.551989216249368 + 0.0*i,
    0.282509226633636 + 0.0*i,
    0.134558402373321 + 0.0*i,
    -0.284376607703857 + 0.0*i,
    -0.0963266538611074 + 0.0*i,
    0.611695516444267 + 0.0*i,
    -0.232463022560678 + 0.0*i,
    -0.729396973814319 + 0.0*i,
    -0.112037418690767 + 0.0*i,
    -0.426604106064233 + 0.0*i,
    -0.503534479651786 + 0.0*i,
    -0.845412049238854 + 0.0*i,
    -0.418991221468573 + 0.0*i,
    0.598518185650185 + 0.0*i,
    -0.825914457564864 + 0.0*i,
    -0.638268845423457 + 0.0*i,
    -0.948444819232945 + 0.0*i,
    -0.468288485016296 + 0.0*i,
    0.920512758064238 + 0.0*i,
    0.33553357571853 + 0.0*i,
    -0.632319128019868 + 0.0*i,
    0.356253231511709 + 0.0*i,
    0.0031105112446709 + 0.0*i,
    0.700615879324451 + 0.0*i,
    0.702585053489865 + 0.0*i,
    0.340900914801737 + 0.0*i,
    -0.200593556140104 + 0.0*i,
    -0.195638461555215 + 0.0*i,
    0.262324494929785 + 0.0*i,
    -0.227651958646966 + 0.0*i,
    0.340114121745633 + 0.0*i,
    -0.739102712355491 + 0.0*i,
    0.225468898767835 + 0.0*i,
    -0.0868065613805006 + 0.0*i,
    0.355881584970124 + 0.0*i,
    -0.149690970142685 + 0.0*i,
    0.390821899109641 + 0.0*i,
    -0.443540521535066 + 0.0*i,
    0.178168341849052 + 0.0*i,
    -0.802526740976156 + 0.0*i,
    0.177449539430384 + 0.0*i,
    0.302652168158258 + 0.0*i,
    0.375879822147042 + 0.0*i,
    0.79350276903316 + 0.0*i
]);