V:=Matrix(CC,4,16,[
    -0.835233438146569 + 0.0*i,
    -0.141099054504902 + 0.0*i,
    0.538806298044149 + 0.0*i,
    -0.685107237456748 + 0.0*i,
    0.38327197840026 + 0.0*i,
    0.0590372074007357 + 0.0*i,
    -0.657304806805416 + 0.0*i,
    0.131855784349758 + 0.0*i,
    -0.91396924804494 + 0.0*i,
    0.256510841916439 + 0.0*i,
    -0.189045186803618 + 0.0*i,
    -0.0144287953441941 + 0.0*i,
    0.302028539970655 + 0.0*i,
    -0.541034073804102 + 0.0*i,
    -0.534792825012557 + 0.0*i,
    0.474601796504305 + 0.0*i,
    0.189978011910652 + 0.0*i,
    0.851580865353552 + 0.0*i,
    0.256159833378549 + 0.0*i,
    -0.583122186605819 + 0.0*i,
    -0.851430105740813 + 0.0*i,
    -0.800362155040795 + 0.0*i,
    -0.551170128443274 + 0.0*i,
    0.541624168006008 + 0.0*i,
    0.302050567093644 + 0.0*i,
    -0.441245352068267 + 0.0*i,
    -0.196045962968898 + 0.0*i,
    0.404180409071247 + 0.0*i,
    -0.0992507254658297 + 0.0*i,
    -0.597930464680047 + 0.0*i,
    0.123620786238228 + 0.0*i,
    -0.236370933943596 + 0.0*i,
    -0.528686534008318 + 0.0*i,
    0.353203262937635 + 0.0*i,
    -0.698269226169905 + 0.0*i,
    -0.0393037842876805 + 0.0*i,
    0.135434560118077 + 0.0*i,
    0.428516173708622 + 0.0*i,
    0.335894085045664 + 0.0*i,
    0.203326031284374 + 0.0*i,
    0.294360885432851 + 0.0*i,
    -0.848640676158787 + 0.0*i,
    -0.643024639324877 + 0.0*i,
    -0.865831516481045 + 0.0*i,
    0.736416046851762 + 0.0*i,
    -0.55744742105289 + 0.0*i,
    0.108975214299167 + 0.0*i,
    -0.0751527468931399 + 0.0*i,
    -0.0905900303856207 + 0.0*i,
    0.328196585295917 + 0.0*i,
    0.348110696493787 + 0.0*i,
    -0.42250910308424 + 0.0*i,
    0.350491470745122 + 0.0*i,
    -0.407700743479898 + 0.0*i,
    0.413763005832703 + 0.0*i,
    -0.788165491680539 + 0.0*i,
    0.101880099949699 + 0.0*i,
    0.13660718707004 + 0.0*i,
    -0.722270868306602 + 0.0*i,
    -0.296092573945988 + 0.0*i,
    -0.590597741736797 + 0.0*i,
    0.159290889846109 + 0.0*i,
    -0.833234110135814 + 0.0*i,
    -0.86072310493274 + 0.0*i
]);