V:=Matrix(CC,4,24,[
    0.160564088870642 + 0.0*i,
    0.181813589481329 + 0.0*i,
    0.545967897506221 + 0.0*i,
    0.189103978101191 + 0.0*i,
    0.833948346191521 + 0.0*i,
    0.861575846853528 + 0.0*i,
    -0.496948689541666 + 0.0*i,
    0.655011442620175 + 0.0*i,
    0.293065137672878 + 0.0*i,
    -0.929649642966374 + 0.0*i,
    0.535720951518636 + 0.0*i,
    -0.768936033070609 + 0.0*i,
    -0.499096279529265 + 0.0*i,
    0.204206095751437 + 0.0*i,
    -0.144626989366294 + 0.0*i,
    0.744887159274501 + 0.0*i,
    0.378224923381987 + 0.0*i,
    -0.370193016689815 + 0.0*i,
    0.19750510836165 + 0.0*i,
    0.352290920145479 + 0.0*i,
    -0.256027792329177 + 0.0*i,
    0.524453137443919 + 0.0*i,
    -0.423419657271452 + 0.0*i,
    -0.253239523748224 + 0.0*i,
    0.654195839837582 + 0.0*i,
    -0.637996346800968 + 0.0*i,
    0.56158833032741 + 0.0*i,
    0.219101864648786 + 0.0*i,
    -0.251615521091964 + 0.0*i,
    0.202191634657283 + 0.0*i,
    0.137457950280579 + 0.0*i,
    0.737047061388153 + 0.0*i,
    0.00895358771736412 + 0.0*i,
    0.0651912440358559 + 0.0*i,
    0.42581036450996 + 0.0*i,
    -0.140717043087127 + 0.0*i,
    -0.53089639250211 + 0.0*i,
    0.777403237081921 + 0.0*i,
    0.393872351718283 + 0.0*i,
    -0.516277547848378 + 0.0*i,
    0.0665121599030146 + 0.0*i,
    -0.10910788587802 + 0.0*i,
    -0.0858190763121027 + 0.0*i,
    -0.860344074966339 + 0.0*i,
    -0.837087783617692 + 0.0*i,
    0.26318597624058 + 0.0*i,
    0.56479081655294 + 0.0*i,
    0.85230430873778 + 0.0*i,
    -0.0191529124204904 + 0.0*i,
    0.649598868599447 + 0.0*i,
    -0.429124618621516 + 0.0*i,
    0.421816590425731 + 0.0*i,
    0.285946436383439 + 0.0*i,
    0.391510231248587 + 0.0*i,
    0.0218397491412498 + 0.0*i,
    -0.0654317712034758 + 0.0*i,
    -0.599790223818729 + 0.0*i,
    0.136036801571534 + 0.0*i,
    0.633885126969724 + 0.0*i,
    0.5116541751558 + 0.0*i,
    0.00877589445743241 + 0.0*i,
    -0.533576074062726 + 0.0*i,
    0.701087084937917 + 0.0*i,
    -0.409976350324509 + 0.0*i,
    -0.907003745457231 + 0.0*i,
    -0.989142250032212 + 0.0*i,
    0.309464680357812 + 0.0*i,
    -0.102924205460172 + 0.0*i,
    -0.445045510291157 + 0.0*i,
    -0.498222610396952 + 0.0*i,
    -0.504940874012719 + 0.0*i,
    0.171786677445174 + 0.0*i,
    -0.725822655706348 + 0.0*i,
    0.388088468682608 + 0.0*i,
    -0.343293968923394 + 0.0*i,
    -0.839899870514633 + 0.0*i,
    0.440188262598428 + 0.0*i,
    -0.230566690509862 + 0.0*i,
    0.851879470107589 + 0.0*i,
    -0.0148600641845305 + 0.0*i,
    0.736876915012201 + 0.0*i,
    0.308169167890473 + 0.0*i,
    0.354571468993661 + 0.0*i,
    -0.345506272617253 + 0.0*i,
    -0.690271302646255 + 0.0*i,
    0.265448265713032 + 0.0*i,
    0.571946232366795 + 0.0*i,
    0.0997663242442817 + 0.0*i,
    -0.152523531737064 + 0.0*i,
    0.306364007356117 + 0.0*i,
    0.930547815639363 + 0.0*i,
    0.345827909993097 + 0.0*i,
    0.187941778800966 + 0.0*i,
    -0.584915947694071 + 0.0*i,
    0.507127889088727 + 0.0*i,
    0.432976321071319 + 0.0*i
]);