V:=Matrix(CC,4,22,[
    -0.228463217920017 + 0.0*i,
    0.697842634478177 + 0.0*i,
    -0.365943214649518 + 0.0*i,
    0.869853187426387 + 0.0*i,
    -0.0506244465029608 + 0.0*i,
    -0.339324201275726 + 0.0*i,
    0.319633463586834 + 0.0*i,
    -0.0238303437115638 + 0.0*i,
    -0.0283003305468837 + 0.0*i,
    -0.331791709409423 + 0.0*i,
    -0.914670587911463 + 0.0*i,
    -0.955420302523691 + 0.0*i,
    0.465713160592679 + 0.0*i,
    0.933914889642291 + 0.0*i,
    -0.575889442905927 + 0.0*i,
    0.30830798586493 + 0.0*i,
    0.0483197375419846 + 0.0*i,
    -0.282952312730583 + 0.0*i,
    0.464787218007001 + 0.0*i,
    -0.0661741304701315 + 0.0*i,
    0.00387764337090234 + 0.0*i,
    -0.161104879446846 + 0.0*i,
    -0.0225435316061103 + 0.0*i,
    0.726958124809772 + 0.0*i,
    0.00373299185539833 + 0.0*i,
    -0.0782601075816117 + 0.0*i,
    0.778243111121715 + 0.0*i,
    0.914779137974339 + 0.0*i,
    0.496069972874135 + 0.0*i,
    -0.0885805630701307 + 0.0*i,
    -0.629034586814709 + 0.0*i,
    0.684039114651541 + 0.0*i,
    -0.365552346419406 + 0.0*i,
    0.129379101302831 + 0.0*i,
    0.701143758963478 + 0.0*i,
    -0.241373885338916 + 0.0*i,
    -0.0776831150819267 + 0.0*i,
    -0.637899083746768 + 0.0*i,
    -0.855157483514393 + 0.0*i,
    -0.884494436705737 + 0.0*i,
    -0.273320246385367 + 0.0*i,
    0.139308392287656 + 0.0*i,
    -0.702356790541944 + 0.0*i,
    -0.877430961780591 + 0.0*i,
    -0.836386216908042 + 0.0*i,
    0.0827226739112388 + 0.0*i,
    1.04138403825897 + 0.0*i,
    -0.189433871953919 + 0.0*i,
    0.252199199749135 + 0.0*i,
    -0.0957605783803673 + 0.0*i,
    0.778413743510233 + 0.0*i,
    -0.544832458733372 + 0.0*i,
    -0.483376936153478 + 0.0*i,
    0.629644010566887 + 0.0*i,
    0.203547726606541 + 0.0*i,
    -0.199230746417625 + 0.0*i,
    0.413821879869692 + 0.0*i,
    -0.149348733798046 + 0.0*i,
    0.576060102468475 + 0.0*i,
    0.801252843963716 + 0.0*i,
    -0.0191469212234504 + 0.0*i,
    0.305120716201886 + 0.0*i,
    0.340646661647351 + 0.0*i,
    0.738455254083261 + 0.0*i,
    0.0696046480586198 + 0.0*i,
    -0.172716939170982 + 0.0*i,
    0.0131417438696461 + 0.0*i,
    -0.127219384425456 + 0.0*i,
    0.0102856371891408 + 0.0*i,
    0.250424373136719 + 0.0*i,
    -0.374391889615245 + 0.0*i,
    0.484566396952875 + 0.0*i,
    -0.0213799338728342 + 0.0*i,
    0.64902662868577 + 0.0*i,
    -0.334567817371811 + 0.0*i,
    -0.21651218544895 + 0.0*i,
    -0.160755363862064 + 0.0*i,
    -0.0558822107244167 + 0.0*i,
    0.375506910084402 + 0.0*i,
    -0.197428538785889 + 0.0*i,
    -0.920134808961359 + 0.0*i,
    0.146457997865205 + 0.0*i,
    0.686152044354876 + 0.0*i,
    0.10963487832443 + 0.0*i,
    0.796527359595154 + 0.0*i,
    0.766027273984623 + 0.0*i,
    -0.470040937129474 + 0.0*i,
    -0.241968977694446 + 0.0*i
]);