V:=Matrix(CC,3,25,[
    -0.181358939637182 + 0.0*i,
    -0.653861735636392 + 0.0*i,
    -0.891134979729914 + 0.0*i,
    -0.919017210424024 + 0.0*i,
    0.013563943606785 + 0.0*i,
    -0.155125717102729 + 0.0*i,
    -0.334097391530947 + 0.0*i,
    -0.120896782686598 + 0.0*i,
    0.461600405097595 + 0.0*i,
    -0.281441758946045 + 0.0*i,
    -0.958115827402539 + 0.0*i,
    0.311083957798677 + 0.0*i,
    0.659118354149068 + 0.0*i,
    0.697921821125607 + 0.0*i,
    0.560046527675605 + 0.0*i,
    -0.519964541161198 + 0.0*i,
    -0.129434089603611 + 0.0*i,
    0.614563038650589 + 0.0*i,
    -0.269074826805717 + 0.0*i,
    0.95317072228355 + 0.0*i,
    0.76666878636539 + 0.0*i,
    0.694272819639376 + 0.0*i,
    0.783946547425292 + 0.0*i,
    0.401905816184434 + 0.0*i,
    -0.223258422987533 + 0.0*i,
    -0.25608935113468 + 0.0*i,
    0.107797876681963 + 0.0*i,
    -0.180393501034088 + 0.0*i,
    -0.337588116180013 + 0.0*i,
    0.187424440999824 + 0.0*i,
    -0.766711460215261 + 0.0*i,
    -0.729432733944623 + 0.0*i,
    0.808005601090829 + 0.0*i,
    0.461991702921631 + 0.0*i,
    0.451500441938498 + 0.0*i,
    0.212043805556048 + 0.0*i,
    -0.950036810359938 + 0.0*i,
    0.710352775424679 + 0.0*i,
    -0.349330823763072 + 0.0*i,
    -0.737065478252169 + 0.0*i,
    -0.0256614720527878 + 0.0*i,
    -0.984327946269889 + 0.0*i,
    0.327296158888423 + 0.0*i,
    0.845517581617486 + 0.0*i,
    -0.0712717005762144 + 0.0*i,
    0.568776151861264 + 0.0*i,
    -0.537122502169727 + 0.0*i,
    -0.619084545036308 + 0.0*i,
    0.889968177095908 + 0.0*i,
    0.427791575221842 + 0.0*i,
    0.949487851027645 + 0.0*i,
    0.748895485667677 + 0.0*i,
    -0.416337162269272 + 0.0*i,
    0.203572175796387 + 0.0*i,
    0.982185368629433 + 0.0*i,
    -0.622968336810104 + 0.0*i,
    0.59691441565964 + 0.0*i,
    -0.576637595498141 + 0.0*i,
    0.757290388454329 + 0.0*i,
    0.846721847628073 + 0.0*i,
    -0.192487625072517 + 0.0*i,
    -0.0256286980048797 + 0.0*i,
    -0.246904697545995 + 0.0*i,
    0.62519845422532 + 0.0*i,
    0.378262300008074 + 0.0*i,
    -0.853802298419903 + 0.0*i,
    0.119771910899785 + 0.0*i,
    -0.717767020628169 + 0.0*i,
    0.461192754447846 + 0.0*i,
    -0.293914815683778 + 0.0*i,
    0.297846707362886 + 0.0*i,
    -0.479045581936545 + 0.0*i,
    -0.046498783609376 + 0.0*i,
    0.215472408149421 + 0.0*i,
    -0.875871020604253 + 0.0*i
]);