V:=Matrix(CC,4,15,[
    -0.179896576211891 + 0.0*i,
    -0.0291646155315063 + 0.0*i,
    0.186819347283829 + 0.0*i,
    -0.173106488801727 + 0.0*i,
    0.726594859782583 + 0.0*i,
    -0.850900849120585 + 0.0*i,
    -0.588570386811361 + 0.0*i,
    -0.758166174883053 + 0.0*i,
    0.474710628400358 + 0.0*i,
    0.102941744271544 + 0.0*i,
    0.0363899281767271 + 0.0*i,
    -0.653433908250578 + 0.0*i,
    -0.441599056453603 + 0.0*i,
    0.0688510796808713 + 0.0*i,
    -0.35316340290236 + 0.0*i,
    0.339822058549335 + 0.0*i,
    -0.546953663281272 + 0.0*i,
    -0.849694904275787 + 0.0*i,
    -0.14707719942307 + 0.0*i,
    -0.372724019985328 + 0.0*i,
    -0.277683601412959 + 0.0*i,
    -0.565178480463972 + 0.0*i,
    0.562531515175552 + 0.0*i,
    -0.196029697663064 + 0.0*i,
    -0.234394802540271 + 0.0*i,
    -0.854610406256107 + 0.0*i,
    0.111918457270433 + 0.0*i,
    -0.537238376678139 + 0.0*i,
    0.443387214538687 + 0.0*i,
    -0.723088394953021 + 0.0*i,
    -0.159707608025171 + 0.0*i,
    -0.448667319736477 + 0.0*i,
    -0.471050203348259 + 0.0*i,
    0.38780488646677 + 0.0*i,
    0.566094278265225 + 0.0*i,
    0.353142096346571 + 0.0*i,
    0.163169075794144 + 0.0*i,
    0.0801623584783173 + 0.0*i,
    -0.820586876643507 + 0.0*i,
    0.867289956338879 + 0.0*i,
    0.360478531668586 + 0.0*i,
    -0.0745975202868477 + 0.0*i,
    -0.286071350286204 + 0.0*i,
    0.80282796455549 + 0.0*i,
    0.364583758734602 + 0.0*i,
    -0.992455870215893 + 0.0*i,
    0.683575962354565 + 0.0*i,
    -0.0317289644958406 + 0.0*i,
    -0.865326496838635 + 0.0*i,
    -0.0327515981390637 + 0.0*i,
    -0.266040577298487 + 0.0*i,
    0.533728039807683 + 0.0*i,
    -0.329879909034336 + 0.0*i,
    0.352604171562586 + 0.0*i,
    0.398922811108232 + 0.0*i,
    0.342878667725798 + 0.0*i,
    0.740614764413144 + 0.0*i,
    -0.65559661000865 + 0.0*i,
    0.368665070787058 + 0.0*i,
    -0.452775028446243 + 0.0*i
]);