V:=Matrix(CC,4,13,[
    0.803215704637419 + 0.0*i,
    -0.786370670397271 + 0.0*i,
    -0.801777601266861 + 0.0*i,
    -0.0171613862692053 + 0.0*i,
    0.151693927098992 + 0.0*i,
    0.0517848726605595 + 0.0*i,
    0.0711212369668949 + 0.0*i,
    -0.169172954512381 + 0.0*i,
    -0.703494278791781 + 0.0*i,
    0.598504721388588 + 0.0*i,
    0.0743149348391272 + 0.0*i,
    0.581999672433936 + 0.0*i,
    0.204300327436962 + 0.0*i,
    -0.24183658595693 + 0.0*i,
    0.077745869073622 + 0.0*i,
    -0.594255282517769 + 0.0*i,
    0.166201317628258 + 0.0*i,
    0.518648485742265 + 0.0*i,
    -0.678193896654518 + 0.0*i,
    -0.857511659348234 + 0.0*i,
    -0.339800089755771 + 0.0*i,
    0.604299788536471 + 0.0*i,
    0.0681446653391086 + 0.0*i,
    0.903996141581319 + 0.0*i,
    0.233326611716928 + 0.0*i,
    -0.313297603754727 + 0.0*i,
    0.477451042071289 + 0.0*i,
    0.509501199989581 + 0.0*i,
    -0.0871205162246541 + 0.0*i,
    -0.986712701734731 + 0.0*i,
    -0.412448708580032 + 0.0*i,
    -0.642471812446567 + 0.0*i,
    0.432087104928715 + 0.0*i,
    -0.658987735643756 + 0.0*i,
    0.139703504561139 + 0.0*i,
    0.460722150920856 + 0.0*i,
    0.170924011622737 + 0.0*i,
    -0.526217949283309 + 0.0*i,
    0.0155996748133413 + 0.0*i,
    0.274770538174464 + 0.0*i,
    -0.350933212235829 + 0.0*i,
    -0.0203845873398873 + 0.0*i,
    0.0766794030082632 + 0.0*i,
    0.736123606215867 + 0.0*i,
    0.359039548985002 + 0.0*i,
    0.277378881259213 + 0.0*i,
    -0.652696938426927 + 0.0*i,
    0.352882144287353 + 0.0*i,
    -0.657247604387717 + 0.0*i,
    0.282855304161143 + 0.0*i,
    -0.580702895423112 + 0.0*i,
    0.931158319510559 + 0.0*i
]);