>>930
#include<stdio.h>
#include<stdint.h>
long long f(long long n,int i,int j,long mask){
    long long ret;
    if(j==10)return n;
    else if(i==10)return -1;
    else if( (mask&1<<i) || (n*10+i)%(j+1)!=0 || (ret = f(n*10+i,0,j+1,mask|1<<i) ) < 0 ) return f(n,i+1,j,mask);
    else return ret;
}
int main(void){
    long long n = f(0,0,0,0);
    if(n == -1) printf("解なし");
    else printf("ABCDEFGHIJ = %010lld\n",n);
    return 0;
}