V:=Matrix(CC,4,24,[
    -0.205185567837982 + 0.0*i,
    0.186518067474042 + 0.0*i,
    -0.387247474179855 + 0.0*i,
    0.268162532111848 + 0.0*i,
    0.0017059699435719 + 0.0*i,
    -0.675585775246471 + 0.0*i,
    -0.312304371052546 + 0.0*i,
    0.941161172026268 + 0.0*i,
    -0.439959106311214 + 0.0*i,
    -0.655417118923911 + 0.0*i,
    0.489257559666834 + 0.0*i,
    -0.638314902809458 + 0.0*i,
    -0.737446472301633 + 0.0*i,
    -0.0906642720094064 + 0.0*i,
    -0.379139003482841 + 0.0*i,
    0.753033939806744 + 0.0*i,
    0.663767798780184 + 0.0*i,
    0.0445314381792952 + 0.0*i,
    0.309891764424071 + 0.0*i,
    0.0142613937256647 + 0.0*i,
    -0.515466117662984 + 0.0*i,
    -0.2012629518288 + 0.0*i,
    0.878432743452982 + 0.0*i,
    0.334707651032516 + 0.0*i,
    -0.552906772997507 + 0.0*i,
    -0.208103631363973 + 0.0*i,
    0.549955030154499 + 0.0*i,
    -0.0106804067364524 + 0.0*i,
    0.970356307144858 + 0.0*i,
    -0.490029863353292 + 0.0*i,
    -0.624199194565581 + 0.0*i,
    -0.129968365537927 + 0.0*i,
    0.0876053404618907 + 0.0*i,
    0.673832888589102 + 0.0*i,
    0.208089243453035 + 0.0*i,
    0.607170368878971 + 0.0*i,
    -0.310470011814051 + 0.0*i,
    -0.170583493184072 + 0.0*i,
    0.283382925421604 + 0.0*i,
    -0.086213733438424 + 0.0*i,
    0.722453827309746 + 0.0*i,
    -0.398516316867986 + 0.0*i,
    -0.748091855574869 + 0.0*i,
    0.822975244656931 + 0.0*i,
    0.308713541135285 + 0.0*i,
    -0.711233988351607 + 0.0*i,
    0.0861790004467689 + 0.0*i,
    0.383411940785322 + 0.0*i,
    -0.806870939534877 + 0.0*i,
    0.936185537024755 + 0.0*i,
    -0.396829994581119 + 0.0*i,
    -0.0203567928061384 + 0.0*i,
    0.178172928943583 + 0.0*i,
    0.515735762749497 + 0.0*i,
    0.0854018783302376 + 0.0*i,
    -0.161503594044615 + 0.0*i,
    0.29894942351308 + 0.0*i,
    -0.287335189935973 + 0.0*i,
    -0.696913714955335 + 0.0*i,
    0.281317131471906 + 0.0*i,
    -0.40582560115777 + 0.0*i,
    0.842519492252876 + 0.0*i,
    -0.439157892479898 + 0.0*i,
    0.627052569082723 + 0.0*i,
    0.134766176413266 + 0.0*i,
    -0.584938338719663 + 0.0*i,
    -0.337376449683589 + 0.0*i,
    -0.567856915949331 + 0.0*i,
    0.794672497326189 + 0.0*i,
    0.21523744752883 + 0.0*i,
    -0.0493992897654283 + 0.0*i,
    0.556149486519238 + 0.0*i,
    -0.0339451036026226 + 0.0*i,
    0.21321474945357 + 0.0*i,
    0.624591717804387 + 0.0*i,
    -0.963099364691907 + 0.0*i,
    0.163279313577719 + 0.0*i,
    -0.193574833921597 + 0.0*i,
    -0.711018891804445 + 0.0*i,
    0.2669090881559 + 0.0*i,
    -0.842253246522441 + 0.0*i,
    -0.183891617812247 + 0.0*i,
    -0.481287004785245 + 0.0*i,
    0.380471943179975 + 0.0*i,
    -0.441686148411962 + 0.0*i,
    -0.502834134489774 + 0.0*i,
    -0.763602042355929 + 0.0*i,
    -0.179755815684775 + 0.0*i,
    -0.138963500254409 + 0.0*i,
    -0.705016904832458 + 0.0*i,
    0.480107072603167 + 0.0*i,
    0.00684706794037882 + 0.0*i,
    -0.0865231359494222 + 0.0*i,
    0.63821021553709 + 0.0*i,
    -0.467427861046317 + 0.0*i,
    -0.657011278935085 + 0.0*i
]);