V:=Matrix(CC,4,17,[
    -0.214844576882493 + 0.0*i,
    -0.88528731602803 + 0.0*i,
    -0.422965310682058 + 0.0*i,
    0.593370827233732 + 0.0*i,
    0.463404946789813 + 0.0*i,
    0.118351601579311 + 0.0*i,
    -0.814884940175467 + 0.0*i,
    -0.207954866619786 + 0.0*i,
    0.510808796641467 + 0.0*i,
    -0.869187789722996 + 0.0*i,
    -0.158458627907052 + 0.0*i,
    0.315351610052221 + 0.0*i,
    0.477431207413642 + 0.0*i,
    0.569280076637462 + 0.0*i,
    0.255662281570448 + 0.0*i,
    -0.379376494770209 + 0.0*i,
    0.264386071133633 + 0.0*i,
    0.23551364163734 + 0.0*i,
    -0.395920269960699 + 0.0*i,
    0.0917297045592829 + 0.0*i,
    -0.643025944814068 + 0.0*i,
    -0.832247043621389 + 0.0*i,
    0.628448658592227 + 0.0*i,
    0.0937085516240171 + 0.0*i,
    -0.287724000083996 + 0.0*i,
    0.102988122050691 + 0.0*i,
    0.15372175914719 + 0.0*i,
    0.371662717040659 + 0.0*i,
    -0.612573561909527 + 0.0*i,
    0.498135980405796 + 0.0*i,
    0.220889672563927 + 0.0*i,
    -0.372261328530651 + 0.0*i,
    -0.723855165997153 + 0.0*i,
    0.921003876286037 + 0.0*i,
    -0.806210121206624 + 0.0*i,
    0.117087152042443 + 0.0*i,
    0.450304201084737 + 0.0*i,
    0.0636509881310655 + 0.0*i,
    0.11605527553486 + 0.0*i,
    -0.167175587911407 + 0.0*i,
    -0.559769150148646 + 0.0*i,
    0.198238573296339 + 0.0*i,
    0.381438486116999 + 0.0*i,
    0.146215037130616 + 0.0*i,
    -0.846806576606626 + 0.0*i,
    -0.705853167266987 + 0.0*i,
    0.434572188049361 + 0.0*i,
    -0.793974111879991 + 0.0*i,
    -0.642346481499198 + 0.0*i,
    -0.533580354905582 + 0.0*i,
    -0.273390654046463 + 0.0*i,
    0.507322920954929 + 0.0*i,
    -0.221132613835862 + 0.0*i,
    -0.769661047481099 + 0.0*i,
    0.483504153122041 + 0.0*i,
    -0.276600759512224 + 0.0*i,
    0.750569657324286 + 0.0*i,
    0.00938549082501912 + 0.0*i,
    0.92010983656984 + 0.0*i,
    0.739257772444954 + 0.0*i,
    0.461711685280868 + 0.0*i,
    -0.343600063838648 + 0.0*i,
    0.189857019309493 + 0.0*i,
    -0.584021793817069 + 0.0*i,
    -0.00654392066767653 + 0.0*i,
    -0.607104786567192 + 0.0*i,
    -0.199291695467337 + 0.0*i,
    -0.20507290254372 + 0.0*i
]);