شهیدنامه ایرنا استان سمنان؛ جاویدنام عباسعلی شیرعلی