mint

AtCoder: mint [@AtCoder]