V:=Matrix(CC,4,32,[
    0.186582430461405 + 0.0*i,
    0.364189936525948 + 0.0*i,
    0.572430966745149 + 0.0*i,
    -0.530091717389055 + 0.0*i,
    0.933113043851989 + 0.0*i,
    -0.206477927303787 + 0.0*i,
    -0.333594540471515 + 0.0*i,
    -0.510944997844298 + 0.0*i,
    0.0911816434017678 + 0.0*i,
    0.328140951125672 + 0.0*i,
    -0.83923935018543 + 0.0*i,
    -0.352815898449845 + 0.0*i,
    -0.398678203368123 + 0.0*i,
    -0.818014512711837 + 0.0*i,
    -0.0998712789256064 + 0.0*i,
    0.139678479111404 + 0.0*i,
    0.0982057603270281 + 0.0*i,
    0.62352179530627 + 0.0*i,
    0.486941957451638 + 0.0*i,
    0.169446269367756 + 0.0*i,
    0.703071318383629 + 0.0*i,
    0.742132192770981 + 0.0*i,
    -0.850080594109903 + 0.0*i,
    0.326622734072417 + 0.0*i,
    0.375366042440367 + 0.0*i,
    -0.00222183855501982 + 0.0*i,
    -0.920687218562278 + 0.0*i,
    0.0369569425282464 + 0.0*i,
    -0.294617864692912 + 0.0*i,
    0.225948761403974 + 0.0*i,
    0.160614883521475 + 0.0*i,
    0.597917129565225 + 0.0*i,
    1.00821919708183 + 0.0*i,
    -0.490887368148352 + 0.0*i,
    0.0914985859608585 + 0.0*i,
    0.611468501706119 + 0.0*i,
    -0.151723792465181 + 0.0*i,
    -0.0110324502773817 + 0.0*i,
    -0.745651577302209 + 0.0*i,
    0.506907899880938 + 0.0*i,
    0.823861887473567 + 0.0*i,
    0.490310308641032 + 0.0*i,
    -0.651327806309986 + 0.0*i,
    0.689042878842128 + 0.0*i,
    0.697587579138296 + 0.0*i,
    0.191168992237156 + 0.0*i,
    -0.0668288863159101 + 0.0*i,
    0.067736088886994 + 0.0*i,
    0.864096503794341 + 0.0*i,
    -0.810728345107282 + 0.0*i,
    -0.309289487146186 + 0.0*i,
    -0.0729029002768511 + 0.0*i,
    0.472553176280282 + 0.0*i,
    0.145399261085071 + 0.0*i,
    -0.18919924975384 + 0.0*i,
    0.2313751988506 + 0.0*i,
    0.261002750189406 + 0.0*i,
    0.653128717165587 + 0.0*i,
    0.243770846034627 + 0.0*i,
    -0.148993689594026 + 0.0*i,
    0.618650406283153 + 0.0*i,
    -0.273695254641689 + 0.0*i,
    0.514190401996222 + 0.0*i,
    0.214235918150018 + 0.0*i,
    0.220682976878906 + 0.0*i,
    0.401418256910296 + 0.0*i,
    -0.907489712755941 + 0.0*i,
    -0.328756990135567 + 0.0*i,
    0.237585720097118 + 0.0*i,
    -0.958666306179413 + 0.0*i,
    -0.444815675049948 + 0.0*i,
    0.430587414378541 + 0.0*i,
    -0.676630770069643 + 0.0*i,
    -0.32117185425285 + 0.0*i,
    0.237411306366815 + 0.0*i,
    0.604594320244564 + 0.0*i,
    0.177682245965105 + 0.0*i,
    0.229715512233129 + 0.0*i,
    0.119735324667363 + 0.0*i,
    -0.117332551117736 + 0.0*i,
    -0.243076061862728 + 0.0*i,
    0.201159845212833 + 0.0*i,
    0.876997313753165 + 0.0*i,
    0.184376066457568 + 0.0*i,
    -0.00602382197784745 + 0.0*i,
    0.301485579891248 + 0.0*i,
    -0.495189595613365 + 0.0*i,
    -0.797300033588738 + 0.0*i,
    0.633235621160142 + 0.0*i,
    -0.132995142213495 + 0.0*i,
    0.352106654732876 + 0.0*i,
    0.674327973868951 + 0.0*i,
    0.419368146735355 + 0.0*i,
    -0.345891746872201 + 0.0*i,
    0.91122928170488 + 0.0*i,
    -0.0426779843398445 + 0.0*i,
    0.255005488382135 + 0.0*i,
    0.70329665096437 + 0.0*i,
    0.0959561924993678 + 0.0*i,
    0.648096744502037 + 0.0*i,
    0.00619645191940912 + 0.0*i,
    0.397343006484294 + 0.0*i,
    0.542577863835489 + 0.0*i,
    -0.392927944467678 + 0.0*i,
    0.138017552021673 + 0.0*i,
    0.782392125813927 + 0.0*i,
    0.070528462423003 + 0.0*i,
    -0.154493909835078 + 0.0*i,
    -0.131817423684236 + 0.0*i,
    -0.502575323190721 + 0.0*i,
    -0.818436535929189 + 0.0*i,
    0.116891258050762 + 0.0*i,
    -0.473518518021768 + 0.0*i,
    0.0769079887255298 + 0.0*i,
    0.131929899554455 + 0.0*i,
    0.908725936624491 + 0.0*i,
    0.518758504222836 + 0.0*i,
    0.462369017044125 + 0.0*i,
    0.269977769779099 + 0.0*i,
    -0.597657605478011 + 0.0*i,
    0.661902535892886 + 0.0*i,
    -0.377850960715839 + 0.0*i,
    0.29987182516375 + 0.0*i,
    -0.708790286840695 + 0.0*i,
    0.720756657834742 + 0.0*i,
    0.889210336597048 + 0.0*i,
    0.100568557087629 + 0.0*i,
    -0.890492132171275 + 0.0*i
]);