V:=Matrix(CC,4,15,[
    0.736393859019298 + 0.0*i,
    -0.256025037552949 + 0.0*i,
    0.251319510613425 + 0.0*i,
    0.541823337069665 + 0.0*i,
    -0.610157711595057 + 0.0*i,
    0.878552220689522 + 0.0*i,
    0.426225795765245 + 0.0*i,
    -0.587664609404024 + 0.0*i,
    0.88543976936584 + 0.0*i,
    -0.333597203099705 + 0.0*i,
    -0.146970038931034 + 0.0*i,
    0.0137978584812466 + 0.0*i,
    0.469667767845043 + 0.0*i,
    0.299223369736239 + 0.0*i,
    -0.228011176501012 + 0.0*i,
    -0.581707548505663 + 0.0*i,
    0.694250791686143 + 0.0*i,
    -0.175658564009544 + 0.0*i,
    0.374279942850127 + 0.0*i,
    -0.648746947715921 + 0.0*i,
    -0.198492660761727 + 0.0*i,
    0.0987958028716755 + 0.0*i,
    0.0268631596616324 + 0.0*i,
    0.311067955680154 + 0.0*i,
    -0.697356363304476 + 0.0*i,
    0.587224003969867 + 0.0*i,
    0.953430236426538 + 0.0*i,
    -0.49261258654793 + 0.0*i,
    0.171353856839138 + 0.0*i,
    -0.284812275163267 + 0.0*i,
    0.201602911526082 + 0.0*i,
    -0.0275881883137814 + 0.0*i,
    0.883530391446054 + 0.0*i,
    -0.710194248633984 + 0.0*i,
    -0.140477147687022 + 0.0*i,
    -0.104103503943078 + 0.0*i,
    0.154941769787767 + 0.0*i,
    -0.709472141863457 + 0.0*i,
    -0.0911076597099122 + 0.0*i,
    -0.577555377663654 + 0.0*i,
    0.40258630487739 + 0.0*i,
    -0.322116586053373 + 0.0*i,
    -0.742739132626697 + 0.0*i,
    -0.302131299298582 + 0.0*i,
    0.710025723980101 + 0.0*i,
    0.301678411850655 + 0.0*i,
    0.682075897125247 + 0.0*i,
    0.371051963831679 + 0.0*i,
    -0.181800972751721 + 0.0*i,
    0.3974492429566 + 0.0*i,
    -0.386413420919085 + 0.0*i,
    0.872555404548808 + 0.0*i,
    0.409283444962086 + 0.0*i,
    0.320315715287864 + 0.0*i,
    -0.285404102151935 + 0.0*i,
    -0.695784932371576 + 0.0*i,
    -0.0571508629232872 + 0.0*i,
    -0.0431200231943544 + 0.0*i,
    -0.884032030701942 + 0.0*i,
    -0.613100256991983 + 0.0*i
]);