let rec(%)i p=i/p/10mod 10>i/p mod 10||i<p*10and f i=i%100&i%10&i%1&Printf.printf"%d
"i=();i<9999&f(i+1);;f 10