V:=Matrix(CC,4,31,[
    0.0183473237156 + 0.0*i,
    0.394651191283842 + 0.0*i,
    -0.345630732326028 + 0.0*i,
    0.312246790491526 + 0.0*i,
    0.0781461170506724 + 0.0*i,
    0.856554244522892 + 0.0*i,
    0.29990426054873 + 0.0*i,
    -0.953574686200997 + 0.0*i,
    -0.07669475486484 + 0.0*i,
    -0.479650694016624 + 0.0*i,
    0.749541793895448 + 0.0*i,
    0.402304070099621 + 0.0*i,
    -0.366058351816089 + 0.0*i,
    0.650986461979397 + 0.0*i,
    -0.723377427347956 + 0.0*i,
    0.206711438119951 + 0.0*i,
    -0.184935683491409 + 0.0*i,
    -0.811923274241349 + 0.0*i,
    -0.0646185118631809 + 0.0*i,
    -0.099885246642911 + 0.0*i,
    0.547960205029195 + 0.0*i,
    0.77069956177276 + 0.0*i,
    0.178669374406381 + 0.0*i,
    0.624023998930711 + 0.0*i,
    0.218533258741439 + 0.0*i,
    0.378337730054546 + 0.0*i,
    0.225744465148645 + 0.0*i,
    0.307727340683793 + 0.0*i,
    0.610073131539159 + 0.0*i,
    -0.734348880618203 + 0.0*i,
    -0.619548929814625 + 0.0*i,
    -0.654383764146744 + 0.0*i,
    0.258704316422875 + 0.0*i,
    -0.617972340704778 + 0.0*i,
    -0.816359414839636 + 0.0*i,
    0.208882366560041 + 0.0*i,
    0.342975555988632 + 0.0*i,
    -0.594396178679861 + 0.0*i,
    0.261504677021198 + 0.0*i,
    0.232159019753802 + 0.0*i,
    0.428575757910949 + 0.0*i,
    0.174840228512681 + 0.0*i,
    0.416939232622575 + 0.0*i,
    -0.688563635778428 + 0.0*i,
    0.695187600165299 + 0.0*i,
    -0.380302795122357 + 0.0*i,
    -0.658349430373187 + 0.0*i,
    -0.870752559011304 + 0.0*i,
    -0.266538960069134 + 0.0*i,
    -0.530203244175246 + 0.0*i,
    0.094371991566714 + 0.0*i,
    -0.497776122631875 + 0.0*i,
    -0.44515334048155 + 0.0*i,
    0.0422905098183344 + 0.0*i,
    -0.128594695111691 + 0.0*i,
    0.852912056573287 + 0.0*i,
    -0.912959575729576 + 0.0*i,
    -0.414190625008416 + 0.0*i,
    0.266695034156809 + 0.0*i,
    0.0869102905709647 + 0.0*i,
    0.260280251608944 + 0.0*i,
    -0.544389636792481 + 0.0*i,
    0.692107540263115 + 0.0*i,
    -0.74076664169298 + 0.0*i,
    -0.651678347565476 + 0.0*i,
    -0.222588582288378 + 0.0*i,
    0.319257286039956 + 0.0*i,
    0.120292834028304 + 0.0*i,
    -0.741499333272577 + 0.0*i,
    -0.149834575813872 + 0.0*i,
    0.739415663460431 + 0.0*i,
    -0.367666308290101 + 0.0*i,
    0.305866742376601 + 0.0*i,
    -0.329478912367262 + 0.0*i,
    -0.232487681111471 + 0.0*i,
    -0.0177191157183009 + 0.0*i,
    -0.512425606951598 + 0.0*i,
    0.072322052832757 + 0.0*i,
    -0.354337858210847 + 0.0*i,
    0.512782295189394 + 0.0*i,
    0.123968156900591 + 0.0*i,
    0.204152761664077 + 0.0*i,
    0.697097717587099 + 0.0*i,
    -0.281188865321938 + 0.0*i,
    -0.989635408427811 + 0.0*i,
    0.609181096722487 + 0.0*i,
    -0.331884131683495 + 0.0*i,
    0.0781885811406499 + 0.0*i,
    -0.605874429410401 + 0.0*i,
    0.789061005765677 + 0.0*i,
    -0.0550761225775596 + 0.0*i,
    0.333278566147634 + 0.0*i,
    0.26367054763836 + 0.0*i,
    0.328515892552564 + 0.0*i,
    0.580647342848889 + 0.0*i,
    -0.208878579638214 + 0.0*i,
    -0.423933994234957 + 0.0*i,
    -0.906957012119306 + 0.0*i,
    0.297966545356459 + 0.0*i,
    0.0223026540875969 + 0.0*i,
    0.0513738128749867 + 0.0*i,
    0.666577405534095 + 0.0*i,
    0.741541825042288 + 0.0*i,
    -0.582008725154722 + 0.0*i,
    -0.744142744271525 + 0.0*i,
    -0.539404767197797 + 0.0*i,
    -0.272410690754289 + 0.0*i,
    0.102185529745921 + 0.0*i,
    0.748816944723828 + 0.0*i,
    0.27534434623712 + 0.0*i,
    0.136478569735869 + 0.0*i,
    -0.801050770901697 + 0.0*i,
    0.95505303848606 + 0.0*i,
    -0.0903985882642698 + 0.0*i,
    0.36499490232494 + 0.0*i,
    -0.0370402057415452 + 0.0*i,
    0.551642722929845 + 0.0*i,
    0.325115725758217 + 0.0*i,
    0.129380097526582 + 0.0*i,
    0.600384545564728 + 0.0*i,
    -0.44712223980137 + 0.0*i,
    0.783067836930922 + 0.0*i,
    0.534509446225098 + 0.0*i,
    -0.39542241122 + 0.0*i
]);