V:=Matrix(CC,4,18,[
    0.413604190021871 + 0.0*i,
    0.126413845437037 + 0.0*i,
    -0.286904043669785 + 0.0*i,
    0.706605531974934 + 0.0*i,
    -0.681120913256426 + 0.0*i,
    0.295485411975971 + 0.0*i,
    -0.398980300996215 + 0.0*i,
    -0.119967699939492 + 0.0*i,
    -0.88952695569254 + 0.0*i,
    -0.0407850103982126 + 0.0*i,
    -0.0495033176676134 + 0.0*i,
    0.468071929889163 + 0.0*i,
    -0.314309282310442 + 0.0*i,
    0.835018304386099 + 0.0*i,
    -0.21280358824944 + 0.0*i,
    -0.533468263333841 + 0.0*i,
    0.430973047378503 + 0.0*i,
    -0.812605596244146 + 0.0*i,
    0.708516709727196 + 0.0*i,
    -0.666565803745545 + 0.0*i,
    -0.174882634070195 + 0.0*i,
    0.579763624454944 + 0.0*i,
    0.726549688632912 + 0.0*i,
    0.153741217110945 + 0.0*i,
    -0.369312549149105 + 0.0*i,
    0.620591797593609 + 0.0*i,
    -0.252412633487722 + 0.0*i,
    -0.100709328297628 + 0.0*i,
    0.786158893832024 + 0.0*i,
    -0.455086724601246 + 0.0*i,
    -0.230884949271274 + 0.0*i,
    -0.0629618232067774 + 0.0*i,
    -0.924703209027626 + 0.0*i,
    0.131755408934425 + 0.0*i,
    -0.543678923419324 + 0.0*i,
    0.178193506018106 + 0.0*i,
    -0.171194454780155 + 0.0*i,
    -0.417260033943446 + 0.0*i,
    0.816540010836538 + 0.0*i,
    0.391446466982438 + 0.0*i,
    0.0915832871536256 + 0.0*i,
    0.938963307324047 + 0.0*i,
    0.064383463639818 + 0.0*i,
    -0.719180451521658 + 0.0*i,
    0.343470543715811 + 0.0*i,
    0.442611467335221 + 0.0*i,
    0.569398454685867 + 0.0*i,
    -0.185461850172492 + 0.0*i,
    -0.498751210987217 + 0.0*i,
    -0.0295626120823404 + 0.0*i,
    0.227783792204969 + 0.0*i,
    0.793725630300661 + 0.0*i,
    0.513445607967251 + 0.0*i,
    -0.443212676629062 + 0.0*i,
    -0.540473605850205 + 0.0*i,
    -0.599841350411452 + 0.0*i,
    -0.462984902519377 + 0.0*i,
    0.0520548672129089 + 0.0*i,
    -0.00653657850156932 + 0.0*i,
    0.0867689604474255 + 0.0*i,
    -0.832959963860701 + 0.0*i,
    -0.2884544604213 + 0.0*i,
    -0.175848185020718 + 0.0*i,
    0.894507197435992 + 0.0*i,
    -0.223622191954208 + 0.0*i,
    0.736489624143481 + 0.0*i,
    0.776960892872676 + 0.0*i,
    -0.550245569948808 + 0.0*i,
    -0.218309243197436 + 0.0*i,
    0.264456652072215 + 0.0*i,
    -0.511383268646785 + 0.0*i,
    -0.341327392459263 + 0.0*i
]);