V:=Matrix(CC,4,35,[
    0.27112435483091 + 0.0*i,
    -0.268080069871124 + 0.0*i,
    0.0641194903593554 + 0.0*i,
    0.868055687721121 + 0.0*i,
    0.52486878300507 + 0.0*i,
    0.0722649195212737 + 0.0*i,
    -0.0584571756398341 + 0.0*i,
    0.803559858344927 + 0.0*i,
    -0.655938508537711 + 0.0*i,
    -0.0568105025291689 + 0.0*i,
    0.502868958040408 + 0.0*i,
    -0.254566729427474 + 0.0*i,
    -0.526925556629597 + 0.0*i,
    0.608919033032913 + 0.0*i,
    0.577224863157611 + 0.0*i,
    -0.184649058395881 + 0.0*i,
    -0.642437494572726 + 0.0*i,
    0.00786135448847421 + 0.0*i,
    0.269069786428035 + 0.0*i,
    0.0258116714520333 + 0.0*i,
    -0.494040563274749 + 0.0*i,
    -0.164445971498694 + 0.0*i,
    0.804138643429709 + 0.0*i,
    0.842104139093977 + 0.0*i,
    -0.373569314966911 + 0.0*i,
    -0.0738572391702027 + 0.0*i,
    0.332393894259463 + 0.0*i,
    0.951012569703933 + 0.0*i,
    -0.497102200341894 + 0.0*i,
    0.363658556464514 + 0.0*i,
    0.596805672325072 + 0.0*i,
    -0.412436356242476 + 0.0*i,
    -0.856458757799922 + 0.0*i,
    -0.501729918439388 + 0.0*i,
    0.421116054616665 + 0.0*i,
    0.373700934721491 + 0.0*i,
    -0.000169147721396677 + 0.0*i,
    0.0060479299991697 + 0.0*i,
    -0.378140816428845 + 0.0*i,
    -0.062599070684155 + 0.0*i,
    0.166831622383296 + 0.0*i,
    -0.416196216122164 + 0.0*i,
    0.379292881864244 + 0.0*i,
    0.596377850485068 + 0.0*i,
    0.753083113125346 + 0.0*i,
    -0.825365478492886 + 0.0*i,
    -0.721740241429537 + 0.0*i,
    -0.564693907249555 + 0.0*i,
    -0.00993772733248675 + 0.0*i,
    -0.59229848390263 + 0.0*i,
    -0.863272962095086 + 0.0*i,
    -0.115563877993099 + 0.0*i,
    0.517706902528652 + 0.0*i,
    -0.87223246798298 + 0.0*i,
    0.930485155091421 + 0.0*i,
    -0.218269080511226 + 0.0*i,
    0.446698789648395 + 0.0*i,
    0.5724644216588 + 0.0*i,
    -0.257928845523876 + 0.0*i,
    0.569958627595682 + 0.0*i,
    0.356588375784557 + 0.0*i,
    0.582629770460494 + 0.0*i,
    0.133157835284797 + 0.0*i,
    -0.620824162227835 + 0.0*i,
    -0.42021906169865 + 0.0*i,
    0.118018688177472 + 0.0*i,
    -0.827901954964641 + 0.0*i,
    -0.0179621237776951 + 0.0*i,
    0.0218183408292015 + 0.0*i,
    -0.37690522974849 + 0.0*i,
    -0.244917884478859 + 0.0*i,
    0.952919127386008 + 0.0*i,
    -0.319360542601367 + 0.0*i,
    -0.00226192261996472 + 0.0*i,
    -0.661684223833554 + 0.0*i,
    0.436092694264337 + 0.0*i,
    -0.809685328027669 + 0.0*i,
    -0.114214614192215 + 0.0*i,
    -0.515845410840003 + 0.0*i,
    -0.398729879364871 + 0.0*i,
    0.0325706900185209 + 0.0*i,
    -0.0686315797568234 + 0.0*i,
    0.630504906089618 + 0.0*i,
    0.437761290138484 + 0.0*i,
    -0.580130695804793 + 0.0*i,
    0.480392918536986 + 0.0*i,
    0.0241221230474486 + 0.0*i,
    0.776164633763212 + 0.0*i,
    -0.0104834732175943 + 0.0*i,
    0.339607366657406 + 0.0*i,
    0.592623539818927 + 0.0*i,
    -0.723356433678448 + 0.0*i,
    -0.0104118146801407 + 0.0*i,
    -0.0980023223565525 + 0.0*i,
    0.365840935684251 + 0.0*i,
    -0.884348968462836 + 0.0*i,
    0.332318315712105 + 0.0*i,
    0.314018641589481 + 0.0*i,
    -0.585230324840403 + 0.0*i,
    -0.0587104586594636 + 0.0*i,
    0.596027058335623 + 0.0*i,
    -0.0202069250156243 + 0.0*i,
    0.487545360902979 + 0.0*i,
    -0.856952288976445 + 0.0*i,
    0.313434044326058 + 0.0*i,
    -0.859679234018195 + 0.0*i,
    -0.12444945756925 + 0.0*i,
    0.958618958456822 + 0.0*i,
    0.299847595423978 + 0.0*i,
    -0.540400335053395 + 0.0*i,
    0.852330873561682 + 0.0*i,
    0.406755567126586 + 0.0*i,
    -0.4239146018815 + 0.0*i,
    -0.0123697786896295 + 0.0*i,
    -0.435853976115837 + 0.0*i,
    -0.324049978472459 + 0.0*i,
    -0.666803695469261 + 0.0*i,
    0.126598106667099 + 0.0*i,
    -0.666819095881287 + 0.0*i,
    -0.0149279259783633 + 0.0*i,
    -0.203814525225902 + 0.0*i,
    -0.737048314379441 + 0.0*i,
    0.411806602240589 + 0.0*i,
    0.341178387804997 + 0.0*i,
    0.0663794441993026 + 0.0*i,
    -0.606254189012986 + 0.0*i,
    0.528406279692151 + 0.0*i,
    0.238661064324273 + 0.0*i,
    -0.418798036154367 + 0.0*i,
    -0.653828869989316 + 0.0*i,
    -0.359931138033463 + 0.0*i,
    -0.639695601022995 + 0.0*i,
    -0.0541441231507978 + 0.0*i,
    -0.0135195477134887 + 0.0*i,
    -0.83544751461024 + 0.0*i,
    0.513915698673977 + 0.0*i,
    0.286110586773666 + 0.0*i,
    -0.119156248918312 + 0.0*i,
    0.101433694585764 + 0.0*i,
    0.742831749641522 + 0.0*i
]);