V:=Matrix(CC,9,15,[
    -0.13658247874094 + 0.0*i,
    0.099100121649892 + 0.0*i,
    0.313918223556663 + 0.0*i,
    0.147114923138177 + 0.0*i,
    0.672609256465024 + 0.0*i,
    -0.265125877390626 + 0.0*i,
    -0.319826139958699 + 0.0*i,
    0.0143436141412886 + 0.0*i,
    0.792103852661492 + 0.0*i,
    0.221868263847715 + 0.0*i,
    0.0112980279570501 + 0.0*i,
    0.176992430917939 + 0.0*i,
    0.334888035628353 + 0.0*i,
    -0.225281530912728 + 0.0*i,
    -0.0266689111464923 + 0.0*i,
    -0.0322792215702601 + 0.0*i,
    -0.143290898322916 + 0.0*i,
    -0.193334583091669 + 0.0*i,
    0.0238137364514412 + 0.0*i,
    -0.0160964307211503 + 0.0*i,
    -0.517036123276449 + 0.0*i,
    -0.0615842019733882 + 0.0*i,
    0.819064851545769 + 0.0*i,
    -0.337674557981221 + 0.0*i,
    -0.0789426913808476 + 0.0*i,
    0.359045349418477 + 0.0*i,
    0.447145987107959 + 0.0*i,
    0.327814828466963 + 0.0*i,
    -0.301509946006517 + 0.0*i,
    0.109467860666134 + 0.0*i,
    0.431714335481841 + 0.0*i,
    0.374353167584454 + 0.0*i,
    -0.432725800465291 + 0.0*i,
    -0.0730961708308766 + 0.0*i,
    -0.0975446254565317 + 0.0*i,
    -0.611082978237466 + 0.0*i,
    0.0452345328453832 + 0.0*i,
    -0.368600763716697 + 0.0*i,
    -0.0891306543375026 + 0.0*i,
    -0.152411726350076 + 0.0*i,
    -0.055501510503447 + 0.0*i,
    -0.201169018347926 + 0.0*i,
    0.348316553075489 + 0.0*i,
    0.317829339464511 + 0.0*i,
    0.583578782370078 + 0.0*i,
    0.605555102902616 + 0.0*i,
    0.172177978696821 + 0.0*i,
    -0.351222157154156 + 0.0*i,
    0.160374456097712 + 0.0*i,
    -0.051655950391978 + 0.0*i,
    0.0495403398938051 + 0.0*i,
    -0.0793975714910835 + 0.0*i,
    0.11049476182116 + 0.0*i,
    0.0458493613974589 + 0.0*i,
    0.856957447625816 + 0.0*i,
    0.16078038874374 + 0.0*i,
    0.264515935768032 + 0.0*i,
    -0.436092659231411 + 0.0*i,
    0.0988943927476797 + 0.0*i,
    -0.163855925951847 + 0.0*i,
    0.521604151980187 + 0.0*i,
    -0.74602485604985 + 0.0*i,
    -0.0211437804864737 + 0.0*i,
    0.569801954106198 + 0.0*i,
    0.169763162558485 + 0.0*i,
    -0.0741526877003409 + 0.0*i,
    -0.0450144976903678 + 0.0*i,
    0.0818433307866436 + 0.0*i,
    -0.173527530725762 + 0.0*i,
    -0.118113311538892 + 0.0*i,
    -0.63209544681182 + 0.0*i,
    -0.0690785899558307 + 0.0*i,
    0.170962933827978 + 0.0*i,
    0.0464118741628258 + 0.0*i,
    -0.0936030059640967 + 0.0*i,
    0.159942824372332 + 0.0*i,
    -0.473239785308019 + 0.0*i,
    0.0120942153242924 + 0.0*i,
    -0.620053255884308 + 0.0*i,
    0.107010038142 + 0.0*i,
    0.346026144933615 + 0.0*i,
    -0.310189121318894 + 0.0*i,
    -0.135428116356431 + 0.0*i,
    0.0901637338997878 + 0.0*i,
    -0.00353467571432912 + 0.0*i,
    0.222796541868026 + 0.0*i,
    0.474585147318703 + 0.0*i,
    0.37439346015594 + 0.0*i,
    0.608519334909598 + 0.0*i,
    0.0159242174816685 + 0.0*i,
    0.276190659526952 + 0.0*i,
    0.0107438151974325 + 0.0*i,
    0.0717660955799134 + 0.0*i,
    -0.284255190903962 + 0.0*i,
    -0.368085046530427 + 0.0*i,
    -0.175365518548487 + 0.0*i,
    -0.770469688995123 + 0.0*i,
    -0.325917698953019 + 0.0*i,
    0.136321113752315 + 0.0*i,
    -0.41045103493408 + 0.0*i,
    -0.136781972675826 + 0.0*i,
    0.187321105851911 + 0.0*i,
    -0.322275063537933 + 0.0*i,
    -0.54305079057153 + 0.0*i,
    -0.222051560729557 + 0.0*i,
    0.168170204988697 + 0.0*i,
    -0.128943291855383 + 0.0*i,
    0.65388754604323 + 0.0*i,
    0.365313976115154 + 0.0*i,
    0.247583539523449 + 0.0*i,
    -0.163142601774553 + 0.0*i,
    -0.29819099813703 + 0.0*i,
    -0.177334475377178 + 0.0*i,
    -0.375699602240281 + 0.0*i,
    -0.0719235844278828 + 0.0*i,
    0.574908598540204 + 0.0*i,
    0.00286624190073316 + 0.0*i,
    -0.424392719599601 + 0.0*i,
    0.150999644908421 + 0.0*i,
    0.465707652647625 + 0.0*i,
    0.15781922641835 + 0.0*i,
    0.0623014685475857 + 0.0*i,
    0.344115270347203 + 0.0*i,
    0.152394082383791 + 0.0*i,
    -0.544679632755449 + 0.0*i,
    0.322189051386334 + 0.0*i,
    0.321001721441701 + 0.0*i,
    -0.129280917969841 + 0.0*i,
    0.222569747172581 + 0.0*i,
    0.0245545680587419 + 0.0*i,
    -0.211874601150006 + 0.0*i,
    0.628109080923148 + 0.0*i,
    0.129611262566268 + 0.0*i,
    -0.242300527320395 + 0.0*i,
    0.587007556187645 + 0.0*i
]);