AT_abc135_d [ABC135D] Digits Parade

[problemUrl]: https://atcoder.jp/contests/abc135/tasks/abc135_d 文字列 $ S $ が与えられます。$ S $ の各文字は、数字 (`0` ～ `9`) か `?` です。 `?` を数字に置き換えてできる整数のうち、$ 13 $ で割って $ 5 $ あまる数は何通りあるでしょうか？ただし、頭文字が $ 0 $ である場合も整数とみなすものとします。 答えは非常に大きくなる可能性があるため、$ 10^9+7 $ で割ったあまりを答えてください。

入力は以下の形式で標準入力から与えられます。 > $ S $

条件を満たす整数の個数を $ 10^9+7 $ で割ったあまりを出力してください。

### 制約 - $ S $ は数字 (`0` ～ `9`) と `?` からなる文字列。 - $ 1\ \leq\ |S|\ \leq\ 10^5 $ ### Sample Explanation 1 たとえば $ 482305,\ 002865,\ 972665 $ などが条件を満たします。 ### Sample Explanation 2 $ 044 $ のみが条件を満たします。 ### Sample Explanation 3 条件を満たす整数を作ることが不可能な場合もあります。