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