مهدی رسولی، محمدرضا میری و ابراهیم دولت‌آبادی اعدام شدند