V:=Matrix(CC,4,24,[
    -0.280887183665739 + 0.0*i,
    -0.153149281125202 + 0.0*i,
    -0.689183147995265 + 0.0*i,
    0.819889990883716 + 0.0*i,
    -0.668847884271336 + 0.0*i,
    0.57422674276042 + 0.0*i,
    -0.364056691694594 + 0.0*i,
    -0.0782659447649311 + 0.0*i,
    -0.173635602226026 + 0.0*i,
    0.390028479245218 + 0.0*i,
    0.699572159719521 + 0.0*i,
    -0.588812988810562 + 0.0*i,
    0.226915555748505 + 0.0*i,
    -0.0972148018691254 + 0.0*i,
    -0.958503211514136 + 0.0*i,
    -0.546500370852533 + 0.0*i,
    0.440570001821003 + 0.0*i,
    0.568363051465024 + 0.0*i,
    0.244829090882967 + 0.0*i,
    -0.863473343975972 + 0.0*i,
    -0.258439579749825 + 0.0*i,
    0.132908153456941 + 0.0*i,
    0.00999132456907566 + 0.0*i,
    0.25252836321751 + 0.0*i,
    0.643198179953748 + 0.0*i,
    -0.761148796021023 + 0.0*i,
    0.746098271905434 + 0.0*i,
    -0.257496124107085 + 0.0*i,
    0.102161737969315 + 0.0*i,
    0.706136889405162 + 0.0*i,
    -0.314868859563548 + 0.0*i,
    -0.517861823507102 + 0.0*i,
    0.000647447804565074 + 0.0*i,
    0.624312211545202 + 0.0*i,
    0.489573304425842 + 0.0*i,
    -0.187731092336886 + 0.0*i,
    0.172077471729748 + 0.0*i,
    -0.988552950571063 + 0.0*i,
    -0.113862167686886 + 0.0*i,
    0.34776442391921 + 0.0*i,
    -0.150847774071111 + 0.0*i,
    0.512566481699928 + 0.0*i,
    -0.469103689426012 + 0.0*i,
    0.0758988673167182 + 0.0*i,
    0.826150656207661 + 0.0*i,
    0.192894500135965 + 0.0*i,
    -0.0350100681086171 + 0.0*i,
    -0.517276784179069 + 0.0*i,
    0.720906421953127 + 0.0*i,
    0.648101958101908 + 0.0*i,
    0.00829607973017791 + 0.0*i,
    0.351872127526311 + 0.0*i,
    0.576238860892722 + 0.0*i,
    -0.194620070722568 + 0.0*i,
    -0.472985019945077 + 0.0*i,
    -0.533456542375533 + 0.0*i,
    0.626198013786541 + 0.0*i,
    -0.259705681141972 + 0.0*i,
    -0.144258040962642 + 0.0*i,
    -0.358491853044269 + 0.0*i,
    -0.858097505775973 + 0.0*i,
    -0.172209158459172 + 0.0*i,
    -0.115062860764262 + 0.0*i,
    -0.729720041370186 + 0.0*i,
    -0.197880542886343 + 0.0*i,
    0.699560681352399 + 0.0*i,
    0.660000505913474 + 0.0*i,
    0.486748471261984 + 0.0*i,
    0.0238479207976823 + 0.0*i,
    -0.315117217991409 + 0.0*i,
    -0.964739651404274 + 0.0*i,
    0.186116718362594 + 0.0*i,
    -0.178651738100601 + 0.0*i,
    -0.0095567031287235 + 0.0*i,
    0.18906732434968 + 0.0*i,
    0.335556281205635 + 0.0*i,
    0.525353225705641 + 0.0*i,
    -0.424965878742226 + 0.0*i,
    0.769084595288898 + 0.0*i,
    -0.674669719427243 + 0.0*i,
    -0.596701609702527 + 0.0*i,
    0.508658255794572 + 0.0*i,
    0.389291193788761 + 0.0*i,
    -0.624457508330739 + 0.0*i,
    0.359800850396824 + 0.0*i,
    -0.151963818904086 + 0.0*i,
    0.286846196273858 + 0.0*i,
    0.301895157880283 + 0.0*i,
    0.873912916795685 + 0.0*i,
    -0.051228120773509 + 0.0*i,
    0.491103295182073 + 0.0*i,
    -0.204545319922932 + 0.0*i,
    -0.543778262344966 + 0.0*i,
    -0.926330470668906 + 0.0*i,
    -0.262012458474041 + 0.0*i,
    -0.838385876285675 + 0.0*i
]);