V:=Matrix(CC,4,18,[
    0.643150662510035 + 0.0*i,
    -0.378355845068229 + 0.0*i,
    -0.0938549522047876 + 0.0*i,
    -0.180828480361251 + 0.0*i,
    0.892966647249998 + 0.0*i,
    0.62565549228867 + 0.0*i,
    0.196144583767108 + 0.0*i,
    -0.504187786106668 + 0.0*i,
    0.11862374134377 + 0.0*i,
    -0.348640606131178 + 0.0*i,
    0.307150362751506 + 0.0*i,
    0.59075160293723 + 0.0*i,
    0.0984328724036532 + 0.0*i,
    0.910382734061591 + 0.0*i,
    0.714437284524089 + 0.0*i,
    0.626668295785622 + 0.0*i,
    -0.21337157969471 + 0.0*i,
    -0.100792945551142 + 0.0*i,
    -0.375926422687434 + 0.0*i,
    0.915351588376076 + 0.0*i,
    0.324672660796661 + 0.0*i,
    -0.305360311259217 + 0.0*i,
    0.428734015287314 + 0.0*i,
    -0.199697118406308 + 0.0*i,
    -0.492206867385621 + 0.0*i,
    -0.00839800540324016 + 0.0*i,
    0.565210917311738 + 0.0*i,
    -0.795187490568979 + 0.0*i,
    0.653490605028231 + 0.0*i,
    -0.29759807146216 + 0.0*i,
    0.350502163974904 + 0.0*i,
    -0.304109619114752 + 0.0*i,
    -0.397493261843018 + 0.0*i,
    0.0256318552119176 + 0.0*i,
    0.241824389162165 + 0.0*i,
    -0.241714879345493 + 0.0*i,
    -0.287367571301829 + 0.0*i,
    -0.0841169974968072 + 0.0*i,
    -0.792560330501626 + 0.0*i,
    -0.317807239868808 + 0.0*i,
    -0.168312502394318 + 0.0*i,
    0.478324880464411 + 0.0*i,
    0.257663227958432 + 0.0*i,
    0.429263208729821 + 0.0*i,
    -0.557845258680666 + 0.0*i,
    -0.0598931849552978 + 0.0*i,
    -0.463779625942323 + 0.0*i,
    -0.73164325629042 + 0.0*i,
    0.0284845342661959 + 0.0*i,
    -0.300836684307796 + 0.0*i,
    0.564815446148241 + 0.0*i,
    0.614500255816111 + 0.0*i,
    -0.56974031778348 + 0.0*i,
    -1.03035033305388 + 0.0*i,
    0.641524759229234 + 0.0*i,
    -0.281301855783863 + 0.0*i,
    -0.484042580999248 + 0.0*i,
    -0.922474777526992 + 0.0*i,
    -0.156418292508199 + 0.0*i,
    -0.757589575067773 + 0.0*i,
    -0.652580567959603 + 0.0*i,
    0.752182966416051 + 0.0*i,
    -0.545823518115744 + 0.0*i,
    0.541840570305024 + 0.0*i,
    0.598228247252697 + 0.0*i,
    -0.225461274817421 + 0.0*i,
    -0.922700819105683 + 0.0*i,
    0.0464233234516543 + 0.0*i,
    0.141852218761609 + 0.0*i,
    0.056897344161667 + 0.0*i,
    0.558996618077923 + 0.0*i,
    0.142265731856546 + 0.0*i
]);