V:=Matrix(CC,4,23,[
    0.605495521562213 + 0.0*i,
    -0.0360943055938408 + 0.0*i,
    -0.305405356837066 + 0.0*i,
    -0.498635983287179 + 0.0*i,
    -0.697050966944479 + 0.0*i,
    -0.61674241427433 + 0.0*i,
    -0.0818911688170895 + 0.0*i,
    0.227661013597341 + 0.0*i,
    0.574593459330207 + 0.0*i,
    -0.0859965138392424 + 0.0*i,
    0.177879868046043 + 0.0*i,
    0.999222183176859 + 0.0*i,
    -0.165363176550203 + 0.0*i,
    -0.192667183761928 + 0.0*i,
    -0.473415719222996 + 0.0*i,
    0.763375460058479 + 0.0*i,
    -0.807809085227672 + 0.0*i,
    -0.164115789777335 + 0.0*i,
    -0.118605485908439 + 0.0*i,
    0.357088855399533 + 0.0*i,
    0.480766995163007 + 0.0*i,
    -0.617835595499125 + 0.0*i,
    0.457928661055015 + 0.0*i,
    0.532217404535468 + 0.0*i,
    0.209297961575167 + 0.0*i,
    0.928043100483534 + 0.0*i,
    -0.490435874197647 + 0.0*i,
    0.170582190359535 + 0.0*i,
    0.417159663355917 + 0.0*i,
    0.856028429408137 + 0.0*i,
    -0.614356486857142 + 0.0*i,
    0.835512199564717 + 0.0*i,
    -0.512854057679667 + 0.0*i,
    -0.0957023226021698 + 0.0*i,
    0.0605708075121651 + 0.0*i,
    0.310305610425164 + 0.0*i,
    -0.794499255888989 + 0.0*i,
    -0.389906784257414 + 0.0*i,
    -0.282811159623735 + 0.0*i,
    -0.101994598989859 + 0.0*i,
    -0.207148392721698 + 0.0*i,
    -0.0323413139897681 + 0.0*i,
    -0.133911169024265 + 0.0*i,
    0.336689672408049 + 0.0*i,
    0.687678678959891 + 0.0*i,
    -0.329700689855826 + 0.0*i,
    0.0505594567234796 + 0.0*i,
    -0.998080161392614 + 0.0*i,
    0.201502788520587 + 0.0*i,
    0.644170077884988 + 0.0*i,
    0.724622660477468 + 0.0*i,
    -0.438120603466493 + 0.0*i,
    -0.0644002460077304 + 0.0*i,
    -0.651473875290677 + 0.0*i,
    0.142700126069445 + 0.0*i,
    -0.789762347765624 + 0.0*i,
    0.266964416189128 + 0.0*i,
    -0.0862941387025979 + 0.0*i,
    -0.591382723719388 + 0.0*i,
    0.539610657601094 + 0.0*i,
    -0.0936229265938398 + 0.0*i,
    -0.147698742594249 + 0.0*i,
    -0.508268856153094 + 0.0*i,
    0.383861609901417 + 0.0*i,
    -0.552287300271206 + 0.0*i,
    0.701255516261207 + 0.0*i,
    0.713831446133327 + 0.0*i,
    -0.367230528174034 + 0.0*i,
    -0.351181484035214 + 0.0*i,
    -0.633445654015047 + 0.0*i,
    -0.118129753146778 + 0.0*i,
    -0.267106050047836 + 0.0*i,
    -0.388922628940439 + 0.0*i,
    0.0339595315384949 + 0.0*i,
    -0.535869134479243 + 0.0*i,
    0.518193148446266 + 0.0*i,
    -0.43082349722797 + 0.0*i,
    0.081962610005066 + 0.0*i,
    0.404183281072004 + 0.0*i,
    -0.928853197934199 + 0.0*i,
    0.221859090445577 + 0.0*i,
    0.578011871247987 + 0.0*i,
    0.314800940151381 + 0.0*i,
    -0.792693709693591 + 0.0*i,
    -0.6017520754737 + 0.0*i,
    0.196443688733611 + 0.0*i,
    0.865588044552055 + 0.0*i,
    -0.70626131643081 + 0.0*i,
    -0.425940126440538 + 0.0*i,
    0.30916311278051 + 0.0*i,
    0.143253600983476 + 0.0*i,
    0.77803395402216 + 0.0*i
]);