V:=Matrix(CC,4,19,[
    -0.191674573150601 + 0.0*i,
    -0.505963289191481 + 0.0*i,
    0.950435413837435 + 0.0*i,
    -0.799665448350555 + 0.0*i,
    0.514640953740791 + 0.0*i,
    0.273527529567107 + 0.0*i,
    -0.513522676987163 + 0.0*i,
    -0.516207530164215 + 0.0*i,
    -0.176613940296951 + 0.0*i,
    0.0548752369768133 + 0.0*i,
    0.076725714270344 + 0.0*i,
    -0.750905179331591 + 0.0*i,
    -0.282968947766039 + 0.0*i,
    0.146001663840331 + 0.0*i,
    -0.895375551376126 + 0.0*i,
    0.0757462595249825 + 0.0*i,
    0.93352863403268 + 0.0*i,
    0.66529417506919 + 0.0*i,
    0.0753655679111116 + 0.0*i,
    0.398217294857211 + 0.0*i,
    0.213609720874309 + 0.0*i,
    0.117783500716217 + 0.0*i,
    0.32832864273773 + 0.0*i,
    -0.151129562856374 + 0.0*i,
    -0.619404401103604 + 0.0*i,
    0.618996836466864 + 0.0*i,
    -0.845386159943919 + 0.0*i,
    -0.100682225223126 + 0.0*i,
    0.882151113845653 + 0.0*i,
    0.0359451502879475 + 0.0*i,
    -0.579800155620805 + 0.0*i,
    0.834660750983999 + 0.0*i,
    0.48497633347936 + 0.0*i,
    -0.148772070934145 + 0.0*i,
    -0.284120818604088 + 0.0*i,
    -0.438383760414689 + 0.0*i,
    -0.0936777716346357 + 0.0*i,
    -1.04182792214255 + 0.0*i,
    -0.409836793630617 + 0.0*i,
    -0.168348486580504 + 0.0*i,
    -0.429853290126256 + 0.0*i,
    0.136663874088504 + 0.0*i,
    0.404861940289647 + 0.0*i,
    0.793284992545541 + 0.0*i,
    0.69158801964572 + 0.0*i,
    0.109968624113497 + 0.0*i,
    -0.829049286958617 + 0.0*i,
    0.594152095194328 + 0.0*i,
    -0.0311396265407193 + 0.0*i,
    -0.414840248680042 + 0.0*i,
    -0.288749810096577 + 0.0*i,
    -0.912890457968653 + 0.0*i,
    0.439493482432326 + 0.0*i,
    -0.0319405269834555 + 0.0*i,
    0.226669313716936 + 0.0*i,
    0.524000152649562 + 0.0*i,
    -0.00950393280869751 + 0.0*i,
    1.00025506781634 + 0.0*i,
    -0.322607697563245 + 0.0*i,
    0.231505901303797 + 0.0*i,
    0.102101980622014 + 0.0*i,
    0.0647836149878117 + 0.0*i,
    -0.256947260550758 + 0.0*i,
    0.165066183297603 + 0.0*i,
    -0.458410301302473 + 0.0*i,
    0.370530180281351 + 0.0*i,
    0.0372874210928037 + 0.0*i,
    -0.0699288831275227 + 0.0*i,
    0.483411380334662 + 0.0*i,
    0.343629581758327 + 0.0*i,
    -0.24955042665178 + 0.0*i,
    0.323902018165161 + 0.0*i,
    1.02255727514237 + 0.0*i,
    -0.255151431605734 + 0.0*i,
    0.71070772166888 + 0.0*i,
    0.310960203059514 + 0.0*i
]);