V:=Matrix(CC,4,13,[
    -0.581409211949228 + 0.0*i,
    -0.444761440198078 + 0.0*i,
    -0.993307677462925 + 0.0*i,
    -0.380687258385293 + 0.0*i,
    0.653565014320419 + 0.0*i,
    -0.0387089035312986 + 0.0*i,
    -0.226112203500652 + 0.0*i,
    0.0359754471200148 + 0.0*i,
    -0.0150066307315599 + 0.0*i,
    0.640278385373066 + 0.0*i,
    -0.410524372592769 + 0.0*i,
    -0.655384886921839 + 0.0*i,
    -0.0808846158024985 + 0.0*i,
    0.707135905818339 + 0.0*i,
    -0.574432020704638 + 0.0*i,
    -0.221885303154196 + 0.0*i,
    -0.289784276725411 + 0.0*i,
    -0.444072397652751 + 0.0*i,
    0.563388746539077 + 0.0*i,
    -0.967202955795526 + 0.0*i,
    0.217462576645931 + 0.0*i,
    -0.521512852483245 + 0.0*i,
    -0.598826973846065 + 0.0*i,
    0.390954397116553 + 0.0*i,
    -0.148296040352058 + 0.0*i,
    0.10048988159512 + 0.0*i,
    0.121236751443421 + 0.0*i,
    0.699830445878362 + 0.0*i,
    0.0363155123745915 + 0.0*i,
    0.170558587016177 + 0.0*i,
    -0.489264551727818 + 0.0*i,
    0.791625726370677 + 0.0*i,
    -0.0727047602257128 + 0.0*i,
    0.598996257033109 + 0.0*i,
    0.377308491839514 + 0.0*i,
    0.419656622581268 + 0.0*i,
    -0.557152319505136 + 0.0*i,
    -0.721640723532881 + 0.0*i,
    0.892622188035526 + 0.0*i,
    -0.352568971066127 + 0.0*i,
    0.0876124984355385 + 0.0*i,
    0.136949604002886 + 0.0*i,
    0.873970668791733 + 0.0*i,
    -0.377858490021721 + 0.0*i,
    -0.183394615972376 + 0.0*i,
    -0.0361536471164534 + 0.0*i,
    -0.755447578366885 + 0.0*i,
    -0.75265907751951 + 0.0*i,
    -0.298788744986568 + 0.0*i,
    -0.587656942882918 + 0.0*i,
    0.0908390753504612 + 0.0*i,
    0.420517612413639 + 0.0*i
]);