V:=Matrix(CC,4,43,[
    0.718032257203354 + 0.0*i,
    0.333405903463934 + 0.0*i,
    0.752753414930955 + 0.0*i,
    -0.36754178996971 + 0.0*i,
    0.101546269115977 + 0.0*i,
    0.361978005659245 + 0.0*i,
    0.223348678757218 + 0.0*i,
    -0.73417198920743 + 0.0*i,
    0.757762820886974 + 0.0*i,
    -0.00299692287391107 + 0.0*i,
    1.04733621534312 + 0.0*i,
    0.0935388302555724 + 0.0*i,
    0.022894980666262 + 0.0*i,
    -0.397355449308367 + 0.0*i,
    -0.423993281847761 + 0.0*i,
    0.245486139995282 + 0.0*i,
    -0.77679198219822 + 0.0*i,
    0.281657526627457 + 0.0*i,
    0.601506687832429 + 0.0*i,
    0.784169451356411 + 0.0*i,
    0.359458564511779 + 0.0*i,
    0.634856590485058 + 0.0*i,
    -0.417880338528533 + 0.0*i,
    0.421642753462277 + 0.0*i,
    -0.213457253049933 + 0.0*i,
    -0.728844299146807 + 0.0*i,
    0.454452874874465 + 0.0*i,
    0.00247457157972348 + 0.0*i,
    -0.67865119950694 + 0.0*i,
    -0.268994812833471 + 0.0*i,
    0.105070153100869 + 0.0*i,
    0.0822809236290051 + 0.0*i,
    -0.24029069865423 + 0.0*i,
    -0.80728483590465 + 0.0*i,
    0.778667370622311 + 0.0*i,
    0.327660752701107 + 0.0*i,
    -0.165867144581061 + 0.0*i,
    -0.455828742094046 + 0.0*i,
    0.213479789815857 + 0.0*i,
    -0.469198967749152 + 0.0*i,
    0.296477115358218 + 0.0*i,
    0.728401715874063 + 0.0*i,
    0.332530324201463 + 0.0*i,
    -0.455912219803835 + 0.0*i,
    -0.591491435629638 + 0.0*i,
    0.56074191663707 + 0.0*i,
    -0.401509471173821 + 0.0*i,
    -0.176744311989851 + 0.0*i,
    -0.717696082242143 + 0.0*i,
    0.708706615318028 + 0.0*i,
    -0.200378298873547 + 0.0*i,
    -0.364357132000838 + 0.0*i,
    0.0838714719327705 + 0.0*i,
    -0.128537181386926 + 0.0*i,
    0.841681790225067 + 0.0*i,
    -0.98773111577989 + 0.0*i,
    -0.261843052965926 + 0.0*i,
    0.0430311237581312 + 0.0*i,
    0.294050697383331 + 0.0*i,
    -0.247648986094607 + 0.0*i,
    0.598757062563499 + 0.0*i,
    -0.232253488607372 + 0.0*i,
    0.532492006955269 + 0.0*i,
    0.454442721171035 + 0.0*i,
    0.100262793450351 + 0.0*i,
    -0.435851716038236 + 0.0*i,
    0.246281963892613 + 0.0*i,
    0.334538761963785 + 0.0*i,
    -0.0138287962186985 + 0.0*i,
    0.841889399691115 + 0.0*i,
    0.00518917030396168 + 0.0*i,
    0.37845886406015 + 0.0*i,
    0.831698034497992 + 0.0*i,
    -0.620827113425079 + 0.0*i,
    -0.752855994886361 + 0.0*i,
    0.0745140872583949 + 0.0*i,
    -0.303837521120472 + 0.0*i,
    -0.606911216760167 + 0.0*i,
    -0.392482710862896 + 0.0*i,
    -0.63178865202409 + 0.0*i,
    -0.764866775504535 + 0.0*i,
    -0.417129596008633 + 0.0*i,
    0.813801046204477 + 0.0*i,
    -0.204051187889257 + 0.0*i,
    -0.108739929079528 + 0.0*i,
    -0.410640210188583 + 0.0*i,
    -0.32119646183429 + 0.0*i,
    0.689931850594239 + 0.0*i,
    -0.306705889026785 + 0.0*i,
    -0.708999685820651 + 0.0*i,
    0.805075596855901 + 0.0*i,
    0.451866585294989 + 0.0*i,
    -0.449608829267585 + 0.0*i,
    0.584629034601111 + 0.0*i,
    0.0413131079994144 + 0.0*i,
    0.0521312609270049 + 0.0*i,
    -0.017310627199008 + 0.0*i,
    0.339765855689869 + 0.0*i,
    0.172132720743588 + 0.0*i,
    0.856926581886458 + 0.0*i,
    -0.352846127334265 + 0.0*i,
    -0.508083331195993 + 0.0*i,
    -0.593935724888964 + 0.0*i,
    0.177611333461115 + 0.0*i,
    0.707847032580332 + 0.0*i,
    0.227859049890036 + 0.0*i,
    0.77346541391799 + 0.0*i,
    -0.130907993958584 + 0.0*i,
    -0.330228533638211 + 0.0*i,
    -0.271858807278928 + 0.0*i,
    0.457929220892237 + 0.0*i,
    0.486442978899063 + 0.0*i,
    0.226674471478128 + 0.0*i,
    -0.755948092541423 + 0.0*i,
    0.58639154026618 + 0.0*i,
    0.0632539460326283 + 0.0*i,
    0.133221850308772 + 0.0*i,
    -0.630920124462939 + 0.0*i,
    -0.964437303471436 + 0.0*i,
    -0.15265389212682 + 0.0*i,
    0.195334971538336 + 0.0*i,
    0.243453096675421 + 0.0*i,
    0.724157466100799 + 0.0*i,
    0.259044389430593 + 0.0*i,
    -0.812058079178218 + 0.0*i,
    0.230000706401495 + 0.0*i,
    -0.877296120787647 + 0.0*i,
    0.498809883601969 + 0.0*i,
    -0.397295007435506 + 0.0*i,
    -0.413741946488116 + 0.0*i,
    -0.292519453911665 + 0.0*i,
    0.19314341596638 + 0.0*i,
    -0.445102558675799 + 0.0*i,
    0.523874027862174 + 0.0*i,
    0.369368087062944 + 0.0*i,
    0.495655276529073 + 0.0*i,
    0.288797980328853 + 0.0*i,
    0.541108182777627 + 0.0*i,
    -0.980538144332489 + 0.0*i,
    -0.125090623529461 + 0.0*i,
    -0.377926140095205 + 0.0*i,
    -0.0162218434519304 + 0.0*i,
    -0.186249369645313 + 0.0*i,
    -0.829774969694912 + 0.0*i,
    -0.745944299058964 + 0.0*i,
    -0.06991841800466 + 0.0*i,
    0.712136918773803 + 0.0*i,
    0.327441807278446 + 0.0*i,
    -0.232311631056577 + 0.0*i,
    -0.236797339435388 + 0.0*i,
    -0.767294713274502 + 0.0*i,
    0.729726437155887 + 0.0*i,
    0.808539822727255 + 0.0*i,
    0.80126164215375 + 0.0*i,
    -0.447948490162402 + 0.0*i,
    0.165589367074846 + 0.0*i,
    0.701066608635598 + 0.0*i,
    -0.119479496635284 + 0.0*i,
    0.477264561868156 + 0.0*i,
    0.757761601806957 + 0.0*i,
    -0.210065897655423 + 0.0*i,
    0.0701791474336644 + 0.0*i,
    -0.470189473799186 + 0.0*i,
    -0.0879963843452068 + 0.0*i,
    -0.835456986420143 + 0.0*i,
    0.181754806158884 + 0.0*i,
    0.401502882390628 + 0.0*i,
    0.299439436211179 + 0.0*i,
    -0.226930248818776 + 0.0*i,
    -0.304469380117811 + 0.0*i,
    -0.473460580644071 + 0.0*i,
    0.737196681898626 + 0.0*i
]);