V:=Matrix(CC,4,16,[
    0.024737086880028 + 0.0*i,
    -0.60906637560271 + 0.0*i,
    -0.712439345953977 + 0.0*i,
    0.395499254100555 + 0.0*i,
    -0.672245344565159 + 0.0*i,
    -0.522819729337399 + 0.0*i,
    0.560642299169933 + 0.0*i,
    -0.422204355720542 + 0.0*i,
    0.994132322873745 + 0.0*i,
    0.085562737155043 + 0.0*i,
    0.410117233617004 + 0.0*i,
    0.46662031093423 + 0.0*i,
    0.478457256679666 + 0.0*i,
    -0.18443460046163 + 0.0*i,
    -0.155165628457465 + 0.0*i,
    0.136929182065135 + 0.0*i,
    -0.614345375046 + 0.0*i,
    -0.101610756331685 + 0.0*i,
    -0.577688260210064 + 0.0*i,
    -0.777246764340571 + 0.0*i,
    0.0872102799497977 + 0.0*i,
    0.0309008609663124 + 0.0*i,
    -0.254456831244614 + 0.0*i,
    0.116116900963495 + 0.0*i,
    -0.153449231392927 + 0.0*i,
    0.217185370223825 + 0.0*i,
    0.795896290526196 + 0.0*i,
    0.588732601154747 + 0.0*i,
    -0.722548532388456 + 0.0*i,
    0.0710922063257805 + 0.0*i,
    0.830535170959626 + 0.0*i,
    0.505827714132779 + 0.0*i,
    0.698456383744592 + 0.0*i,
    0.745566832925347 + 0.0*i,
    -0.0544815196078704 + 0.0*i,
    0.356506298924404 + 0.0*i,
    -0.735069946758324 + 0.0*i,
    -0.184426852672482 + 0.0*i,
    -0.557673239597364 + 0.0*i,
    0.194242170241151 + 0.0*i,
    0.00149844003363275 + 0.0*i,
    0.786968567114531 + 0.0*i,
    0.263977789230747 + 0.0*i,
    -0.515720730935042 + 0.0*i,
    -0.425430488872697 + 0.0*i,
    -0.575588707117229 + 0.0*i,
    0.0540221440065889 + 0.0*i,
    0.803028444799695 + 0.0*i,
    0.370763775949289 + 0.0*i,
    0.213148633606561 + 0.0*i,
    0.431502291224336 + 0.0*i,
    -0.345766967699065 + 0.0*i,
    0.00408418266945126 + 0.0*i,
    -0.848430518662795 + 0.0*i,
    0.524189225003437 + 0.0*i,
    0.887010376819711 + 0.0*i,
    0.037511728827732 + 0.0*i,
    0.531750234608673 + 0.0*i,
    0.376260878706308 + 0.0*i,
    0.414526955947188 + 0.0*i,
    -0.228456070388941 + 0.0*i,
    0.793967510547444 + 0.0*i,
    -0.549016539441132 + 0.0*i,
    -0.244646142488912 + 0.0*i
]);