V:=Matrix(CC,4,17,[
    0.639269423199882 + 0.0*i,
    -0.11510520371334 + 0.0*i,
    -0.142927077888063 + 0.0*i,
    0.558478154412769 + 0.0*i,
    0.581906085443722 + 0.0*i,
    0.637707923563511 + 0.0*i,
    0.929242456575584 + 0.0*i,
    -0.153808399054125 + 0.0*i,
    0.326966765268907 + 0.0*i,
    0.808967952962046 + 0.0*i,
    0.13557692435395 + 0.0*i,
    -0.452374773555296 + 0.0*i,
    0.175380919498887 + 0.0*i,
    0.0580674499711136 + 0.0*i,
    -0.041314594571948 + 0.0*i,
    -0.546747232375764 + 0.0*i,
    0.535047961714429 + 0.0*i,
    -0.129217464791781 + 0.0*i,
    0.394656664446054 + 0.0*i,
    -0.017226809971097 + 0.0*i,
    0.121069877134808 + 0.0*i,
    0.885417799082705 + 0.0*i,
    0.371771878844703 + 0.0*i,
    0.255996848117169 + 0.0*i,
    -0.583548429287747 + 0.0*i,
    -0.584854554275452 + 0.0*i,
    -0.502713583581775 + 0.0*i,
    0.539233403932189 + 0.0*i,
    0.364685990243939 + 0.0*i,
    0.8650309391321 + 0.0*i,
    -0.279912579166191 + 0.0*i,
    0.871044861675689 + 0.0*i,
    0.577871136961667 + 0.0*i,
    0.43789567667174 + 0.0*i,
    0.00672663434992142 + 0.0*i,
    -0.266860184365083 + 0.0*i,
    0.194995951287486 + 0.0*i,
    -0.564779579839835 + 0.0*i,
    0.106715975185324 + 0.0*i,
    0.435747019891805 + 0.0*i,
    -0.239005549158358 + 0.0*i,
    0.605867302263764 + 0.0*i,
    0.484703497497909 + 0.0*i,
    -0.229721717781383 + 0.0*i,
    -0.306592412784436 + 0.0*i,
    0.723628143758867 + 0.0*i,
    0.081812434065119 + 0.0*i,
    0.947045806444482 + 0.0*i,
    -0.452208467641617 + 0.0*i,
    -0.490661787969871 + 0.0*i,
    -0.636629528303379 + 0.0*i,
    0.736402346337698 + 0.0*i,
    -0.83842249540623 + 0.0*i,
    -0.95086571527067 + 0.0*i,
    -0.590242679439242 + 0.0*i,
    -0.343564698386092 + 0.0*i,
    0.512887880279585 + 0.0*i,
    0.0235754953524884 + 0.0*i,
    0.44061015998846 + 0.0*i,
    0.501928888863953 + 0.0*i,
    -0.200569864400814 + 0.0*i,
    0.740524760570664 + 0.0*i,
    -0.376581674986287 + 0.0*i,
    0.439546652039222 + 0.0*i,
    -0.116037786368875 + 0.0*i,
    -0.00521407255518283 + 0.0*i,
    0.543165376964169 + 0.0*i,
    0.303091200368051 + 0.0*i
]);