V:=Matrix(CC,3,31,[
    -0.885867151395242 + 0.0*i,
    -0.553888768182881 + 0.0*i,
    -0.42846352168654 + 0.0*i,
    0.325439603057042 + 0.0*i,
    0.86822761451205 + 0.0*i,
    0.670782711697249 + 0.0*i,
    0.194042110687556 + 0.0*i,
    0.724278770549179 + 0.0*i,
    -0.173519643863004 + 0.0*i,
    0.264620049036038 + 0.0*i,
    0.985604492005377 + 0.0*i,
    0.886123509118582 + 0.0*i,
    -0.578380131414937 + 0.0*i,
    0.217273294966677 + 0.0*i,
    -0.195115314531175 + 0.0*i,
    0.394480217258973 + 0.0*i,
    0.737942588200851 + 0.0*i,
    -0.596002970594677 + 0.0*i,
    0.125716351096049 + 0.0*i,
    -0.936799159557521 + 0.0*i,
    0.899050433899099 + 0.0*i,
    0.509229072819067 + 0.0*i,
    0.258043554760077 + 0.0*i,
    -0.26764620141151 + 0.0*i,
    0.0320798885088964 + 0.0*i,
    -0.820861828046226 + 0.0*i,
    -0.142065460917019 + 0.0*i,
    -0.599594022627373 + 0.0*i,
    -0.585137698909716 + 0.0*i,
    -0.159222192056252 + 0.0*i,
    -0.650778755522278 + 0.0*i,
    0.137157662934393 + 0.0*i,
    0.810676891035288 + 0.0*i,
    -0.872117254532988 + 0.0*i,
    0.434108900471716 + 0.0*i,
    -0.0695578802193291 + 0.0*i,
    -0.694592755346317 + 0.0*i,
    -0.414189682316742 + 0.0*i,
    0.400246378137155 + 0.0*i,
    0.891956895229353 + 0.0*i,
    -0.957612051803593 + 0.0*i,
    -0.0587069784845403 + 0.0*i,
    -0.412339819495437 + 0.0*i,
    -0.72575438027541 + 0.0*i,
    0.638962111641392 + 0.0*i,
    -0.000862103699352376 + 0.0*i,
    0.791452987382901 + 0.0*i,
    0.670790587627129 + 0.0*i,
    0.43927328347448 + 0.0*i,
    0.976275828875713 + 0.0*i,
    -0.247123465666422 + 0.0*i,
    0.375688311149326 + 0.0*i,
    -0.577018111107123 + 0.0*i,
    -0.781684752495225 + 0.0*i,
    -0.182978496659263 + 0.0*i,
    -0.679753644180317 + 0.0*i,
    0.485281073666323 + 0.0*i,
    -0.916783838339646 + 0.0*i,
    -0.00719382399886473 + 0.0*i,
    0.152979792003886 + 0.0*i,
    0.303120138130877 + 0.0*i,
    -0.350005629770668 + 0.0*i,
    0.450049221205744 + 0.0*i,
    -0.184315941937374 + 0.0*i,
    -0.0190405769865699 + 0.0*i,
    -0.841718930693487 + 0.0*i,
    0.492257085451845 + 0.0*i,
    -0.280581167576321 + 0.0*i,
    -0.889875426569961 + 0.0*i,
    -0.571077498718004 + 0.0*i,
    -0.41136094056394 + 0.0*i,
    -0.126104512073931 + 0.0*i,
    0.0693552819722278 + 0.0*i,
    -0.117306292921649 + 0.0*i,
    -0.383140254078014 + 0.0*i,
    0.751491648933896 + 0.0*i,
    0.976708202644735 + 0.0*i,
    -0.490419927905161 + 0.0*i,
    -0.129041472800668 + 0.0*i,
    0.673286273586486 + 0.0*i,
    -0.128161121732248 + 0.0*i,
    0.217106673642373 + 0.0*i,
    0.251888953567609 + 0.0*i,
    0.650021164432946 + 0.0*i,
    -0.576908303272724 + 0.0*i,
    -0.952679209285067 + 0.0*i,
    0.723926644877918 + 0.0*i,
    -0.299232231163963 + 0.0*i,
    -0.365977791898081 + 0.0*i,
    0.800474513313278 + 0.0*i,
    -0.793445414155331 + 0.0*i,
    -0.94283147656711 + 0.0*i,
    -0.687003753961602 + 0.0*i
]);