V:=Matrix(CC,4,26,[
    -0.0724682520338212 + 0.0*i,
    0.728378125593257 + 0.0*i,
    0.864890637510043 + 0.0*i,
    0.310392542478095 + 0.0*i,
    -0.30831263432413 + 0.0*i,
    0.212011798941487 + 0.0*i,
    0.210945681906671 + 0.0*i,
    0.195236681542472 + 0.0*i,
    -0.792189411111013 + 0.0*i,
    -0.538581045756512 + 0.0*i,
    0.216019603389175 + 0.0*i,
    0.503752957224188 + 0.0*i,
    -0.057577020173633 + 0.0*i,
    -0.491437152670265 + 0.0*i,
    -0.107104991830585 + 0.0*i,
    0.778756611672371 + 0.0*i,
    -0.840410730353898 + 0.0*i,
    -0.894158336954386 + 0.0*i,
    0.444891997308494 + 0.0*i,
    0.624383235634432 + 0.0*i,
    -0.528840430778606 + 0.0*i,
    -0.507589767291541 + 0.0*i,
    0.051296252201588 + 0.0*i,
    0.313711209220092 + 0.0*i,
    0.229892351567495 + 0.0*i,
    0.623251782987452 + 0.0*i,
    0.45156070103894 + 0.0*i,
    -0.356898468629934 + 0.0*i,
    0.117499812652104 + 0.0*i,
    -0.573333032991221 + 0.0*i,
    0.165128276488152 + 0.0*i,
    0.487251018099655 + 0.0*i,
    -0.752765170755401 + 0.0*i,
    0.110655240625269 + 0.0*i,
    -0.0857203050907456 + 0.0*i,
    -0.596329241237807 + 0.0*i,
    0.048158116081557 + 0.0*i,
    -0.0338741171271438 + 0.0*i,
    0.761945535943152 + 0.0*i,
    -0.786954990529488 + 0.0*i,
    0.99005153119165 + 0.0*i,
    -0.141089567604471 + 0.0*i,
    0.543904947242411 + 0.0*i,
    -0.318295086307902 + 0.0*i,
    0.789859189957995 + 0.0*i,
    -0.115015558832607 + 0.0*i,
    -0.270968597860232 + 0.0*i,
    -0.524638121764489 + 0.0*i,
    0.49644321465974 + 0.0*i,
    -0.165165202600004 + 0.0*i,
    -0.714164147439084 + 0.0*i,
    -0.558056555495872 + 0.0*i,
    -0.562048971589972 + 0.0*i,
    0.159070931747189 + 0.0*i,
    -0.030523439728435 + 0.0*i,
    -0.0271177754593666 + 0.0*i,
    0.804621372655936 + 0.0*i,
    0.779428386935276 + 0.0*i,
    -0.247051608385609 + 0.0*i,
    -0.972747774584758 + 0.0*i,
    0.585172153287079 + 0.0*i,
    0.505743324645242 + 0.0*i,
    0.134551898099379 + 0.0*i,
    0.806559804589508 + 0.0*i,
    0.53176234588551 + 0.0*i,
    -0.148726156394512 + 0.0*i,
    -0.0101863361316317 + 0.0*i,
    -0.34532529542295 + 0.0*i,
    -0.0364795853572436 + 0.0*i,
    -0.204050895576056 + 0.0*i,
    -0.205678857661885 + 0.0*i,
    0.609229919495039 + 0.0*i,
    -0.0940445540224322 + 0.0*i,
    -0.520322175852522 + 0.0*i,
    -0.500641073436889 + 0.0*i,
    -0.535432750756674 + 0.0*i,
    0.661330316109437 + 0.0*i,
    -0.515392280963724 + 0.0*i,
    0.680003197883171 + 0.0*i,
    0.543611923474072 + 0.0*i,
    0.377452784528813 + 0.0*i,
    -0.780559611028865 + 0.0*i,
    0.490482816925974 + 0.0*i,
    -0.358597065684706 + 0.0*i,
    0.630236759596658 + 0.0*i,
    0.0813626220289365 + 0.0*i,
    -0.179770286134314 + 0.0*i,
    0.35227269437066 + 0.0*i,
    0.963488913931453 + 0.0*i,
    0.290425462905107 + 0.0*i,
    0.258016269683362 + 0.0*i,
    0.294044338418863 + 0.0*i,
    0.112546506975832 + 0.0*i,
    -0.484529421538701 + 0.0*i,
    0.146040508573142 + 0.0*i,
    0.111420368206716 + 0.0*i,
    0.433747235383529 + 0.0*i,
    -0.460408157098891 + 0.0*i,
    0.820415278179087 + 0.0*i,
    -0.476080268234098 + 0.0*i,
    -0.696497794870985 + 0.0*i,
    0.786323355657824 + 0.0*i,
    0.0679427913067114 + 0.0*i,
    0.122323565214186 + 0.0*i
]);