V:=Matrix(CC,4,30,[
    -0.776503487414794 + 0.0*i,
    -0.327663883475607 + 0.0*i,
    -0.891144883567954 + 0.0*i,
    -0.180460451693997 + 0.0*i,
    -0.00775832140892291 + 0.0*i,
    0.708954873292081 + 0.0*i,
    -0.729743239744001 + 0.0*i,
    0.325239331117595 + 0.0*i,
    0.0569607219768844 + 0.0*i,
    -0.0755930510765225 + 0.0*i,
    0.641145657043554 + 0.0*i,
    0.100714386190557 + 0.0*i,
    -0.615548189486373 + 0.0*i,
    -0.560771359737443 + 0.0*i,
    -0.38946491588321 + 0.0*i,
    -0.148557382786697 + 0.0*i,
    0.771148815918163 + 0.0*i,
    -0.975127906066001 + 0.0*i,
    -0.534764846969883 + 0.0*i,
    -0.0381368018234143 + 0.0*i,
    -0.296251367482473 + 0.0*i,
    0.614320446510301 + 0.0*i,
    -0.095207310288448 + 0.0*i,
    0.365843493977744 + 0.0*i,
    0.0849249687763435 + 0.0*i,
    0.702887246291958 + 0.0*i,
    -0.577360194616584 + 0.0*i,
    0.330976456445707 + 0.0*i,
    -0.465800278719745 + 0.0*i,
    -0.593628406777433 + 0.0*i,
    -0.280750128213957 + 0.0*i,
    -0.1923091299189 + 0.0*i,
    0.0900671660633976 + 0.0*i,
    -0.275211187267154 + 0.0*i,
    0.975256489049995 + 0.0*i,
    -0.131466192161509 + 0.0*i,
    0.286527456455279 + 0.0*i,
    0.253490394625854 + 0.0*i,
    -0.583660729187041 + 0.0*i,
    -0.00305576474041402 + 0.0*i,
    -0.195647852015774 + 0.0*i,
    0.90434954877739 + 0.0*i,
    0.703352216931733 + 0.0*i,
    -0.218181234182548 + 0.0*i,
    0.730236702502367 + 0.0*i,
    0.739487233831564 + 0.0*i,
    -0.520037581910654 + 0.0*i,
    -0.128318752571621 + 0.0*i,
    0.624383159735254 + 0.0*i,
    0.668271388895546 + 0.0*i,
    -0.686555128585326 + 0.0*i,
    0.659187522869419 + 0.0*i,
    0.512700458934258 + 0.0*i,
    -0.448489224541442 + 0.0*i,
    0.152771878236291 + 0.0*i,
    0.126835800365319 + 0.0*i,
    -0.785828436694225 + 0.0*i,
    -0.158278876422279 + 0.0*i,
    0.540358973786407 + 0.0*i,
    -0.375222195660311 + 0.0*i,
    -0.499327973978506 + 0.0*i,
    0.778693894706632 + 0.0*i,
    0.145368496085086 + 0.0*i,
    -0.37418477342214 + 0.0*i,
    0.240413569938333 + 0.0*i,
    0.334879420938874 + 0.0*i,
    -0.523466304864984 + 0.0*i,
    0.880010731047028 + 0.0*i,
    0.0719985024797071 + 0.0*i,
    0.381189901087765 + 0.0*i,
    -0.720983119135432 + 0.0*i,
    -0.353817007326072 + 0.0*i,
    -0.23802495829443 + 0.0*i,
    0.291736698408175 + 0.0*i,
    0.0809349363844521 + 0.0*i,
    -0.472124502541947 + 0.0*i,
    -0.150645213529348 + 0.0*i,
    0.0903044654638933 + 0.0*i,
    0.348757647076746 + 0.0*i,
    -0.703124581348996 + 0.0*i,
    -0.427973612649877 + 0.0*i,
    -0.353476945223808 + 0.0*i,
    0.829378511308048 + 0.0*i,
    -0.704896799812362 + 0.0*i,
    -0.866341877112999 + 0.0*i,
    0.445368129025241 + 0.0*i,
    -0.242112518174138 + 0.0*i,
    0.861571751046506 + 0.0*i,
    -0.481106904421062 + 0.0*i,
    0.652278764979918 + 0.0*i,
    0.106282499868441 + 0.0*i,
    -0.440252780976285 + 0.0*i,
    -0.37039159271997 + 0.0*i,
    -0.884185672406759 + 0.0*i,
    -0.0273126751488355 + 0.0*i,
    -0.68274636566723 + 0.0*i,
    -0.109865402087796 + 0.0*i,
    0.233322799474025 + 0.0*i,
    0.865272614312631 + 0.0*i,
    -0.966360527156422 + 0.0*i,
    -0.0436916740802785 + 0.0*i,
    -0.215052923468983 + 0.0*i,
    0.0131647935638648 + 0.0*i,
    0.792254184770193 + 0.0*i,
    0.556634506766212 + 0.0*i,
    0.421459112522465 + 0.0*i,
    -0.148195747319481 + 0.0*i,
    0.213522152380943 + 0.0*i,
    -0.455386837264668 + 0.0*i,
    -0.109606804666488 + 0.0*i,
    -0.572533900214147 + 0.0*i,
    0.331558493557989 + 0.0*i,
    -0.37929283238713 + 0.0*i,
    -0.427401959684415 + 0.0*i,
    -0.447005523097872 + 0.0*i,
    0.524541900099905 + 0.0*i,
    0.115040371909461 + 0.0*i,
    -0.347433810527819 + 0.0*i,
    -0.411684083675551 + 0.0*i,
    0.216833492129975 + 0.0*i
]);