V:=Matrix(CC,9,19,[
    -0.332079422434232 + 0.0*i,
    0.573723372160289 + 0.0*i,
    0.102883152666031 + 0.0*i,
    0.318554428686729 + 0.0*i,
    0.238082042881591 + 0.0*i,
    0.319179185603391 + 0.0*i,
    -0.243891873494014 + 0.0*i,
    0.12566983509578 + 0.0*i,
    0.198995065931202 + 0.0*i,
    0.274933417245981 + 0.0*i,
    0.2252983909385 + 0.0*i,
    0.415599883314251 + 0.0*i,
    0.329423274572941 + 0.0*i,
    0.444688347481193 + 0.0*i,
    -0.289669559447763 + 0.0*i,
    -0.350527771467346 + 0.0*i,
    0.440033171038484 + 0.0*i,
    -0.547785235870656 + 0.0*i,
    0.211156358608255 + 0.0*i,
    0.128795320206532 + 0.0*i,
    -0.338420817174382 + 0.0*i,
    0.278391969443363 + 0.0*i,
    -0.292820209683497 + 0.0*i,
    0.371689070284269 + 0.0*i,
    0.145886678868319 + 0.0*i,
    0.104043546228415 + 0.0*i,
    -0.0944075051962082 + 0.0*i,
    0.414900728448715 + 0.0*i,
    -0.462786961991327 + 0.0*i,
    0.151868608706242 + 0.0*i,
    -0.0347753592820778 + 0.0*i,
    -0.67065252338595 + 0.0*i,
    -0.00057771419711084 + 0.0*i,
    -0.757968862703702 + 0.0*i,
    -0.250658662540524 + 0.0*i,
    0.313237179892987 + 0.0*i,
    -0.0878484703979686 + 0.0*i,
    0.167841738049804 + 0.0*i,
    0.553270796149997 + 0.0*i,
    0.209421293416539 + 0.0*i,
    -0.474801345770238 + 0.0*i,
    0.462600966038293 + 0.0*i,
    0.266442446201265 + 0.0*i,
    -0.486794848599277 + 0.0*i,
    0.443576522376629 + 0.0*i,
    0.405828362359909 + 0.0*i,
    -0.388706354569236 + 0.0*i,
    -0.293463588964773 + 0.0*i,
    -0.0532705380044465 + 0.0*i,
    -0.378501538226836 + 0.0*i,
    -0.0447308720216647 + 0.0*i,
    -0.129919350296549 + 0.0*i,
    -0.14564849933995 + 0.0*i,
    -0.238242514697032 + 0.0*i,
    0.0879306950818503 + 0.0*i,
    -0.369619365228659 + 0.0*i,
    0.160514089254022 + 0.0*i,
    -0.631722676156344 + 0.0*i,
    -0.0588108477422226 + 0.0*i,
    -0.737469375562966 + 0.0*i,
    0.0571519810017862 + 0.0*i,
    0.133834136219441 + 0.0*i,
    0.0280322542990633 + 0.0*i,
    -0.203322307452704 + 0.0*i,
    -0.180653612995666 + 0.0*i,
    -0.177498582789692 + 0.0*i,
    -0.305278831381674 + 0.0*i,
    0.00714892944202017 + 0.0*i,
    0.0380744818672046 + 0.0*i,
    -0.425149417243147 + 0.0*i,
    -0.00312714869860724 + 0.0*i,
    0.125495508379769 + 0.0*i,
    -0.644512185808441 + 0.0*i,
    -0.190067675890008 + 0.0*i,
    0.326915215609976 + 0.0*i,
    0.322841532358436 + 0.0*i,
    -0.355381955005441 + 0.0*i,
    0.293226117814817 + 0.0*i,
    -0.112031737630576 + 0.0*i,
    -0.249338660236087 + 0.0*i,
    -0.270331708049147 + 0.0*i,
    -0.50800844024813 + 0.0*i,
    0.136988475166682 + 0.0*i,
    -0.198419264503907 + 0.0*i,
    0.476715522840399 + 0.0*i,
    0.535087486486017 + 0.0*i,
    0.183393520205574 + 0.0*i,
    -0.367886832524871 + 0.0*i,
    -0.434672050261584 + 0.0*i,
    -0.294637991404655 + 0.0*i,
    0.223653041842923 + 0.0*i,
    0.0925374135085754 + 0.0*i,
    0.540868754604434 + 0.0*i,
    -0.202538714050162 + 0.0*i,
    0.295793714883049 + 0.0*i,
    0.0451185154077266 + 0.0*i,
    -0.213280140511181 + 0.0*i,
    -0.0342448431892777 + 0.0*i,
    0.549815314422452 + 0.0*i,
    0.424445014313777 + 0.0*i,
    -0.325768202750568 + 0.0*i,
    0.0682007380616572 + 0.0*i,
    -0.389528951835495 + 0.0*i,
    -0.0191787425326367 + 0.0*i,
    0.430769015225915 + 0.0*i,
    0.525871578971378 + 0.0*i,
    0.241374098838743 + 0.0*i,
    -0.211756029424568 + 0.0*i,
    -0.0752879956827581 + 0.0*i,
    -0.0332605945236849 + 0.0*i,
    -0.110779639246459 + 0.0*i,
    -0.121026744381931 + 0.0*i,
    0.0193173189954668 + 0.0*i,
    -0.774003222537673 + 0.0*i,
    -0.0511284081165799 + 0.0*i,
    -0.116213197280859 + 0.0*i,
    0.246719905280598 + 0.0*i,
    -0.370264374409441 + 0.0*i,
    0.00444279109562103 + 0.0*i,
    -0.335891806338611 + 0.0*i,
    0.343351729641313 + 0.0*i,
    -0.458574979006517 + 0.0*i,
    -0.390441852673839 + 0.0*i,
    -0.112413863373099 + 0.0*i,
    -0.496849751016981 + 0.0*i,
    0.0238796181741709 + 0.0*i,
    -0.0192788605142632 + 0.0*i,
    0.770813999768089 + 0.0*i,
    0.387611152791088 + 0.0*i,
    -0.366959817768325 + 0.0*i,
    0.279969036682407 + 0.0*i,
    -0.197472796354234 + 0.0*i,
    -0.257974261634868 + 0.0*i,
    -0.188197318070842 + 0.0*i,
    0.456312577948042 + 0.0*i,
    -0.244352096390406 + 0.0*i,
    -0.28461008635042 + 0.0*i,
    0.195658392778855 + 0.0*i,
    0.324942990182492 + 0.0*i,
    0.742041395537694 + 0.0*i,
    0.38655925768071 + 0.0*i,
    -0.071885757453512 + 0.0*i,
    -0.188559690013944 + 0.0*i,
    0.582776538993356 + 0.0*i,
    0.0567050188020676 + 0.0*i,
    -0.140188003840506 + 0.0*i,
    0.283387699259698 + 0.0*i,
    0.218375903698625 + 0.0*i,
    0.383717217282661 + 0.0*i,
    0.186233962132752 + 0.0*i,
    0.517206195979239 + 0.0*i,
    -0.213822782076723 + 0.0*i,
    -0.0584911163754062 + 0.0*i,
    -0.393656892441963 + 0.0*i,
    0.0925734413639652 + 0.0*i,
    0.108527820539539 + 0.0*i,
    -0.654275795553783 + 0.0*i,
    -0.248076948758992 + 0.0*i,
    -0.000357947617954707 + 0.0*i,
    0.478173175022172 + 0.0*i,
    -0.460524742551925 + 0.0*i,
    0.0985945932495825 + 0.0*i,
    0.145481172990761 + 0.0*i,
    0.693776042328974 + 0.0*i,
    -0.0435515774444257 + 0.0*i,
    -0.153916409564032 + 0.0*i,
    -0.234073918079692 + 0.0*i,
    -0.198667615276242 + 0.0*i,
    0.500072136089637 + 0.0*i,
    0.314595475544357 + 0.0*i,
    0.0156070865330167 + 0.0*i
]);