The budget constraint for the first kind of agent is:
\(\bar{X}*P_X+\omega_Y P_Y \leqslant X P_X+Y P_Y\)
Where \(\bar{X}\) is the quantity of X that each individual in group one gets after redistribution.