V:=Matrix(CC,4,20,[
    -0.152502035927945 + 0.0*i,
    1.1169623867413 + 0.0*i,
    -0.408767081368391 + 0.0*i,
    0.813807033229596 + 0.0*i,
    0.0857606158146275 + 0.0*i,
    -0.879251595607109 + 0.0*i,
    0.104286328601624 + 0.0*i,
    -0.574121245068586 + 0.0*i,
    -0.570489860305605 + 0.0*i,
    -0.107271030938244 + 0.0*i,
    -0.553951291109084 + 0.0*i,
    0.326354688656081 + 0.0*i,
    -0.350354979808595 + 0.0*i,
    -0.341154169628635 + 0.0*i,
    -0.529495873351851 + 0.0*i,
    -0.208754722751924 + 0.0*i,
    -0.0398234169179138 + 0.0*i,
    0.117013024713929 + 0.0*i,
    0.825306163257853 + 0.0*i,
    0.434140438449236 + 0.0*i,
    0.959007729645374 + 0.0*i,
    -0.249794732172249 + 0.0*i,
    -0.260637817885232 + 0.0*i,
    0.424066082423755 + 0.0*i,
    -0.334637643157801 + 0.0*i,
    0.454415989673133 + 0.0*i,
    0.1697284624575 + 0.0*i,
    -0.688680345229488 + 0.0*i,
    -0.393609183137324 + 0.0*i,
    -0.518997831867474 + 0.0*i,
    -0.557943295031087 + 0.0*i,
    0.149132922860155 + 0.0*i,
    0.434850028418322 + 0.0*i,
    -0.784923452694059 + 0.0*i,
    0.226999925228174 + 0.0*i,
    0.862316604217931 + 0.0*i,
    -0.3447281622125 + 0.0*i,
    -0.881686856888096 + 0.0*i,
    0.167311701517704 + 0.0*i,
    -0.491645693151457 + 0.0*i,
    0.448098932999942 + 0.0*i,
    0.23154981136901 + 0.0*i,
    -0.499968037944545 + 0.0*i,
    0.257026514217164 + 0.0*i,
    0.0496492919843371 + 0.0*i,
    0.0169732905766914 + 0.0*i,
    -0.307012549820293 + 0.0*i,
    0.352724803750471 + 0.0*i,
    0.254371917854385 + 0.0*i,
    0.580993836453208 + 0.0*i,
    -0.709180027030656 + 0.0*i,
    -0.946893541830246 + 0.0*i,
    -0.873773335155693 + 0.0*i,
    -0.217841539962646 + 0.0*i,
    0.708498790952743 + 0.0*i,
    0.135004404295671 + 0.0*i,
    -0.774341220599651 + 0.0*i,
    0.324194702540507 + 0.0*i,
    -0.105257893649117 + 0.0*i,
    0.599388028795025 + 0.0*i,
    -0.405036988645267 + 0.0*i,
    -0.156919139104187 + 0.0*i,
    0.767396989138525 + 0.0*i,
    0.240161622167079 + 0.0*i,
    -0.11597864434528 + 0.0*i,
    -0.540702481390404 + 0.0*i,
    -0.911331011827726 + 0.0*i,
    0.242166649457522 + 0.0*i,
    -0.778342023171486 + 0.0*i,
    -0.513676478314559 + 0.0*i,
    -0.0369120494036892 + 0.0*i,
    -0.0493832975285692 + 0.0*i,
    -0.147997424804876 + 0.0*i,
    -0.510447138910533 + 0.0*i,
    -0.300221249842534 + 0.0*i,
    0.534978139742701 + 0.0*i,
    -0.609688986112941 + 0.0*i,
    -0.153290270540861 + 0.0*i,
    0.0150120328121675 + 0.0*i,
    -0.217366606367668 + 0.0*i
]);