V:=Matrix(CC,4,38,[
    0.253469004178263 + 0.0*i,
    -0.58204404836716 + 0.0*i,
    -0.0046002250324532 + 0.0*i,
    0.865901192675909 + 0.0*i,
    0.414011898623027 + 0.0*i,
    -0.241329692599681 + 0.0*i,
    0.188444074982509 + 0.0*i,
    0.0596099886684428 + 0.0*i,
    -0.288544888847956 + 0.0*i,
    -0.338889650259881 + 0.0*i,
    0.249375562330977 + 0.0*i,
    0.597306382621079 + 0.0*i,
    1.10628420793868 + 0.0*i,
    0.140257589995615 + 0.0*i,
    0.918381496156477 + 0.0*i,
    0.432882054844322 + 0.0*i,
    -0.774128063461468 + 0.0*i,
    -0.703063552747034 + 0.0*i,
    -0.65969020860342 + 0.0*i,
    0.48088471492368 + 0.0*i,
    0.360260859745312 + 0.0*i,
    -0.297425758729226 + 0.0*i,
    -0.0451844297109928 + 0.0*i,
    0.407932224700344 + 0.0*i,
    0.597761879616465 + 0.0*i,
    -0.349067511806903 + 0.0*i,
    0.424196566556235 + 0.0*i,
    0.619585167178027 + 0.0*i,
    0.0813081726366723 + 0.0*i,
    0.0720651394948023 + 0.0*i,
    -0.284027685842499 + 0.0*i,
    -0.23268248308483 + 0.0*i,
    -0.0544891182957387 + 0.0*i,
    -0.32622656080413 + 0.0*i,
    0.105291746552562 + 0.0*i,
    -0.188649555765049 + 0.0*i,
    0.886226451954388 + 0.0*i,
    -0.724953590421272 + 0.0*i,
    -0.846586663833638 + 0.0*i,
    0.932769172036594 + 0.0*i,
    -0.0866641618524524 + 0.0*i,
    -0.276574396003209 + 0.0*i,
    0.13726964468254 + 0.0*i,
    -0.18619536513675 + 0.0*i,
    -0.0342616854118547 + 0.0*i,
    -0.210333804098766 + 0.0*i,
    0.473660254691441 + 0.0*i,
    -0.140344959131462 + 0.0*i,
    0.3486630948439 + 0.0*i,
    0.429462803316285 + 0.0*i,
    -0.17947288277501 + 0.0*i,
    0.868723228801413 + 0.0*i,
    0.478178064489455 + 0.0*i,
    -0.159366579207682 + 0.0*i,
    -0.642884380326247 + 0.0*i,
    -0.189454845237721 + 0.0*i,
    -0.390662362769335 + 0.0*i,
    0.241559281920798 + 0.0*i,
    -0.225255744119322 + 0.0*i,
    0.950050175146249 + 0.0*i,
    -0.28730943777686 + 0.0*i,
    -0.644272250969286 + 0.0*i,
    -0.4772351855945 + 0.0*i,
    -0.410932759514028 + 0.0*i,
    0.62042863688824 + 0.0*i,
    -0.257025615548368 + 0.0*i,
    0.586665419246621 + 0.0*i,
    -0.286219577605338 + 0.0*i,
    -0.78344868737908 + 0.0*i,
    -0.270120211844083 + 0.0*i,
    0.0772384359374145 + 0.0*i,
    -1.01581017273563 + 0.0*i,
    0.133104775751553 + 0.0*i,
    -0.781704578433856 + 0.0*i,
    -0.254801038334767 + 0.0*i,
    -0.502158533967547 + 0.0*i,
    -0.307327359991624 + 0.0*i,
    0.17497401202853 + 0.0*i,
    -0.248507797773833 + 0.0*i,
    0.685608060166498 + 0.0*i,
    0.413296185635688 + 0.0*i,
    0.863139405648647 + 0.0*i,
    0.41140415908096 + 0.0*i,
    -0.427809563962495 + 0.0*i,
    0.565253672051025 + 0.0*i,
    -0.335550742587995 + 0.0*i,
    -0.647203549984242 + 0.0*i,
    -0.0172307647627194 + 0.0*i,
    -0.0401258068904811 + 0.0*i,
    -0.180572111472198 + 0.0*i,
    0.107136692775302 + 0.0*i,
    0.24541129730284 + 0.0*i,
    0.330454040155324 + 0.0*i,
    0.438019699106857 + 0.0*i,
    0.548754895304407 + 0.0*i,
    0.325725826839855 + 0.0*i,
    0.306768313250471 + 0.0*i,
    -0.477393639317059 + 0.0*i,
    0.175514792998091 + 0.0*i,
    -0.704719309335545 + 0.0*i,
    0.554903726268611 + 0.0*i,
    0.734467630839212 + 0.0*i,
    0.800235586788777 + 0.0*i,
    -0.866570287718328 + 0.0*i,
    -0.496207997886508 + 0.0*i,
    1.06082912140196 + 0.0*i,
    0.450593328432235 + 0.0*i,
    -0.972923302639195 + 0.0*i,
    -0.202958027484572 + 0.0*i,
    -0.262781559329879 + 0.0*i,
    0.336080684001883 + 0.0*i,
    0.169985950131833 + 0.0*i,
    -0.27335911305621 + 0.0*i,
    -0.376872934993302 + 0.0*i,
    -0.648932477442735 + 0.0*i,
    -0.251362172841461 + 0.0*i,
    -1.14976549334634 + 0.0*i,
    -0.194157859536773 + 0.0*i,
    -0.764917823933241 + 0.0*i,
    0.632604391714788 + 0.0*i,
    -0.429306655860393 + 0.0*i,
    0.0010381231671576 + 0.0*i,
    -0.84826866728512 + 0.0*i,
    0.481309366241334 + 0.0*i,
    -0.0575591336224543 + 0.0*i,
    -0.137617867663552 + 0.0*i,
    0.22110065231212 + 0.0*i,
    0.0404170934297775 + 0.0*i,
    -0.355001341345956 + 0.0*i,
    -0.722186686846452 + 0.0*i,
    -0.171231192596908 + 0.0*i,
    -0.685406973956953 + 0.0*i,
    0.33926572697269 + 0.0*i,
    -0.717761646420209 + 0.0*i,
    -0.468054646761744 + 0.0*i,
    0.185603290427623 + 0.0*i,
    -0.357627132324567 + 0.0*i,
    -0.216078679675302 + 0.0*i,
    0.684057725003484 + 0.0*i,
    -0.0276770279556384 + 0.0*i,
    -0.266373739899894 + 0.0*i,
    0.121031297254934 + 0.0*i,
    0.807379678636116 + 0.0*i,
    -0.268621345059308 + 0.0*i,
    0.174976315307661 + 0.0*i,
    -0.336928943663741 + 0.0*i,
    0.743232539531548 + 0.0*i,
    -0.00500531258880117 + 0.0*i,
    0.428632430097044 + 0.0*i,
    0.768369185520404 + 0.0*i,
    -0.620564611975236 + 0.0*i,
    -0.649885521470972 + 0.0*i
]);