AtCoder. 005 Restricted Digits(7)Archived technical note: AtCoder. 005 Restricted Digits(7).2021-12-29