V:=Matrix(CC,4,15,[
    0.332395889422482 + 0.0*i,
    -0.808705181487913 + 0.0*i,
    0.799447324260919 + 0.0*i,
    -0.158855907930643 + 0.0*i,
    0.555397041806794 + 0.0*i,
    -0.587106694740333 + 0.0*i,
    0.195093263150793 + 0.0*i,
    0.489666716856901 + 0.0*i,
    -0.45274679588995 + 0.0*i,
    -0.446575521437067 + 0.0*i,
    0.679410779337911 + 0.0*i,
    0.227142370370565 + 0.0*i,
    -0.0615561548315148 + 0.0*i,
    0.52057846182485 + 0.0*i,
    -0.231819590525644 + 0.0*i,
    0.508930433843595 + 0.0*i,
    -0.219554299737814 + 0.0*i,
    0.0588657695392231 + 0.0*i,
    0.797569775614099 + 0.0*i,
    -0.797384337957536 + 0.0*i,
    0.12368062381335 + 0.0*i,
    -0.725220825004652 + 0.0*i,
    0.644716135677848 + 0.0*i,
    -0.329128259552944 + 0.0*i,
    0.688905330234457 + 0.0*i,
    0.28102092233653 + 0.0*i,
    -0.333717367422133 + 0.0*i,
    0.254926263739813 + 0.0*i,
    0.742465437523188 + 0.0*i,
    -0.991067080434752 + 0.0*i,
    -0.353599339031892 + 0.0*i,
    -0.578177888128927 + 0.0*i,
    -0.691444475972891 + 0.0*i,
    -0.121269832309764 + 0.0*i,
    -0.133318885210288 + 0.0*i,
    -0.514357350755056 + 0.0*i,
    -0.337317387306218 + 0.0*i,
    0.59461894993832 + 0.0*i,
    -0.150240282727645 + 0.0*i,
    -0.472981930806773 + 0.0*i,
    0.15176475783392 + 0.0*i,
    -0.826550452481068 + 0.0*i,
    0.96265864119118 + 0.0*i,
    0.252116034026245 + 0.0*i,
    0.00280284693434664 + 0.0*i,
    -0.792660121830426 + 0.0*i,
    -0.044974833416456 + 0.0*i,
    0.0147808295215315 + 0.0*i,
    -0.298272330564953 + 0.0*i,
    -0.276497627015197 + 0.0*i,
    0.649336955974699 + 0.0*i,
    -0.582204094098572 + 0.0*i,
    0.0723284130271382 + 0.0*i,
    0.199910073114784 + 0.0*i,
    0.418002448987474 + 0.0*i,
    -0.679319172930288 + 0.0*i,
    -0.501573172542424 + 0.0*i,
    -0.46387104095706 + 0.0*i,
    -0.333126675541023 + 0.0*i,
    -0.150022166539181 + 0.0*i
]);