V:=Matrix(CC,4,23,[
    0.523095380407714 + 0.0*i,
    0.291522017843396 + 0.0*i,
    0.292887105233102 + 0.0*i,
    -0.491220370364125 + 0.0*i,
    -0.528183675928817 + 0.0*i,
    0.657876615812708 + 0.0*i,
    0.0672209892756263 + 0.0*i,
    -0.405384118888537 + 0.0*i,
    0.326001472783271 + 0.0*i,
    0.0600011034107169 + 0.0*i,
    -0.212132515329789 + 0.0*i,
    -0.534745033367186 + 0.0*i,
    0.278597234869163 + 0.0*i,
    0.646353700595499 + 0.0*i,
    -0.498760349069487 + 0.0*i,
    0.747595371266515 + 0.0*i,
    -0.767654325397895 + 0.0*i,
    0.67256208159478 + 0.0*i,
    1.24641458005201 + 0.0*i,
    -0.596600334825504 + 0.0*i,
    0.334788087359424 + 0.0*i,
    0.455152713013965 + 0.0*i,
    0.539062774681623 + 0.0*i,
    0.545643965226021 + 0.0*i,
    -0.810677812261002 + 0.0*i,
    0.279841723212934 + 0.0*i,
    0.748282091869352 + 0.0*i,
    -0.00811087140808552 + 0.0*i,
    0.400374022154436 + 0.0*i,
    0.15716186743699 + 0.0*i,
    0.32612193661743 + 0.0*i,
    -0.447781052300991 + 0.0*i,
    -0.150881913694208 + 0.0*i,
    -0.974941748587374 + 0.0*i,
    -0.395743257081017 + 0.0*i,
    0.321873662521992 + 0.0*i,
    -0.00513892560567531 + 0.0*i,
    0.345504043581096 + 0.0*i,
    0.0638960935515921 + 0.0*i,
    0.75789204970784 + 0.0*i,
    0.394256593643138 + 0.0*i,
    0.160007943529288 + 0.0*i,
    -0.747408385055091 + 0.0*i,
    0.456868651494578 + 0.0*i,
    0.754700668143013 + 0.0*i,
    0.617988156798019 + 0.0*i,
    -0.759446440514597 + 0.0*i,
    -0.620043455727014 + 0.0*i,
    -0.303168587047713 + 0.0*i,
    -0.267202168967515 + 0.0*i,
    -0.682549235852602 + 0.0*i,
    -0.0778916583311078 + 0.0*i,
    -0.59376878602191 + 0.0*i,
    -0.262063259806436 + 0.0*i,
    0.518316707089758 + 0.0*i,
    -0.910983874110468 + 0.0*i,
    0.360473553785272 + 0.0*i,
    -0.116053006601283 + 0.0*i,
    0.129439132062932 + 0.0*i,
    -0.879686800792052 + 0.0*i,
    0.121494318630171 + 0.0*i,
    0.0404600365599082 + 0.0*i,
    0.217936814874641 + 0.0*i,
    0.265961104730541 + 0.0*i,
    -0.129354027614394 + 0.0*i,
    -0.124152564788272 + 0.0*i,
    0.229614034742815 + 0.0*i,
    0.442852392055207 + 0.0*i,
    0.123080769931502 + 0.0*i,
    0.210349184193152 + 0.0*i,
    0.310427912638472 + 0.0*i,
    0.97849532430645 + 0.0*i,
    0.787355230283714 + 0.0*i,
    0.0887728721212955 + 0.0*i,
    0.198707187243839 + 0.0*i,
    -0.153455665115579 + 0.0*i,
    0.256190055017569 + 0.0*i,
    0.682824135960683 + 0.0*i,
    0.47860742000855 + 0.0*i,
    0.238029065660208 + 0.0*i,
    0.330027205737059 + 0.0*i,
    0.710173686744616 + 0.0*i,
    -0.512254635980887 + 0.0*i,
    -0.863190986065313 + 0.0*i,
    -0.0636491136632965 + 0.0*i,
    0.0142773192305336 + 0.0*i,
    0.131686206121607 + 0.0*i,
    0.105101904678365 + 0.0*i,
    -0.117654731469833 + 0.0*i,
    -0.997151982175489 + 0.0*i,
    -0.0412431538449884 + 0.0*i,
    0.679486702143485 + 0.0*i
]);