US12371782B2 - Method of Manufacturing Semiconductor Device and Non-Transitory Computer-Readable Recording Medium