桁数分かれば総当たりの手間が一気に省けるな(笑)
しかし13桁って少なすぎないか