//#pragma GCC optimize("O3", "unroll-loops")
//#pragma GCC target("avx2", "bmi", "bmi2", "lzcnt", "popcnt")
#include <bits/stdc++.h>
#define ldb long double
//#define double ldb
#define db double
#define unomap unordered_map
#define unoset unordered_set
#define endl '\n'
#define str string
#define strstr stringstream
#define sz(a) (int)a.size()
#define ll long long
//#define int ll
#define pii pair <int, int>
#define pll pair <ll, ll>
#define Unique(a) a.resize(unique(all(a)) - a.begin())
#define ull unsigned ll
#define fir first
#define sec second
#define idc cin.ignore()
#define lb lower_bound
#define ub upper_bound
#define all(s) s.begin(), s.end()
#define rev reverse
#define gcd __gcd
#define pushb push_back
#define popb pop_back
#define pushf push_front
#define popf pop_front
#define mul2x(a, x) a << x
#define div2x(a, x) a >> x
#define lcm(a, b) (a / __gcd(a, b) * b)
#define log_base(x, base) log(x) / log(base)
#define debug clog << "No errors!"; exit(0);
#define forw(i, a, b) for (int i = a; i <= b; ++i)
#define forw2(i, a, b) for (ll i = a; i <= b; ++i)
#define fors(i, a, b) for (int i = a; i >= b; --i)
#define fors2(i, a, b) for (ll i = a; i >= b; --i)
#define pqueue priority_queue
#define sqrt sqrtl
#define popcount __builtin_popcountll
#define BIT(x, i) (x >> i) & 1
#define MASK(x) (1LL << x)
#define want_digit(x) cout << fixed << setprecision(x);
#define excuting_time 1000.0 * clock() / CLOCKS_PER_SEC
#define i128 __int128
using namespace std;
const int MOD = 1e9 + 7; // 998244353
const int inf = 1e9;
const ll INF = 1e18;
const int N = 20;
mt19937_64 rng(chrono::steady_clock::now().time_since_epoch().count());
ll random(const ll &L, const ll &R)
{
return uniform_int_distribution<ll> (L, R) (rng);
}
vector <int> operator + (vector <int> v, int x)
{
++v[x];
return v;
}
map <vector <int>, ll> dp[N + 5];
ll f(const int &pos, const bool &lower, const vector <int> &v, const str &x)
{
if (!pos)
{
// cout << digit << endl;
return 1;
}
if (lower && dp[pos].find(v) != dp[pos].end()) return dp[pos][v];
bool check = false;
forw (i, 0, 9) if (v[i])
{
check = true;
break;
}
int fin = lower ? 9 : x[pos - 1] - '0';
ll X = 0;
forw (i, 0, fin)
{
if (v[i] == 2) continue;
X += f(pos - 1, lower || i < fin, (i || (!i && check)) ? v + i : v, x);
}
// return X;
if (lower) dp[pos][v] = X;
return X;
}
vector <int> base(10, 0);
ll calc(const ll &x)
{
str s = to_string(x);
rev(all(s));
return f(sz(s), false, base, s) - 1; // Hàm f nó tính luôn số 0
}
ll k;
void solve()
{
cin >> k;
ll l = 1, r = INF, mid, ans = -1;
while (l <= r)
{
mid = (l + r) >> 1;
if (calc(mid) >= k)
{
ans = mid;
r = mid - 1;
}
else l = mid + 1;
}
cout << ans << endl;
}
signed main()
{
ios::sync_with_stdio(false), cin.tie(nullptr);
srand(time(NULL));
#define name "test"
/*
if (fopen(name".INP", "r"))
{
freopen(name".INP", "r", stdin);
freopen(name".OUT", "w", stdout);
}
*/
int numTest = 1;
// cin >> numTest;
while (numTest--)
{
solve();
}
return 0;
}
Ly8jcHJhZ21hIEdDQyBvcHRpbWl6ZSgiTzMiLCAidW5yb2xsLWxvb3BzIikKLy8jcHJhZ21hIEdDQyB0YXJnZXQoImF2eDIiLCAiYm1pIiwgImJtaTIiLCAibHpjbnQiLCAicG9wY250IikKCiNpbmNsdWRlIDxiaXRzL3N0ZGMrKy5oPgojZGVmaW5lIGxkYiBsb25nIGRvdWJsZQovLyNkZWZpbmUgZG91YmxlIGxkYgojZGVmaW5lIGRiIGRvdWJsZQojZGVmaW5lIHVub21hcCB1bm9yZGVyZWRfbWFwCiNkZWZpbmUgdW5vc2V0IHVub3JkZXJlZF9zZXQKI2RlZmluZSBlbmRsICdcbicKI2RlZmluZSBzdHIgc3RyaW5nCiNkZWZpbmUgc3Ryc3RyIHN0cmluZ3N0cmVhbQojZGVmaW5lIHN6KGEpIChpbnQpYS5zaXplKCkKI2RlZmluZSBsbCBsb25nIGxvbmcKLy8jZGVmaW5lIGludCBsbAojZGVmaW5lIHBpaSBwYWlyIDxpbnQsIGludD4KI2RlZmluZSBwbGwgcGFpciA8bGwsIGxsPgojZGVmaW5lIFVuaXF1ZShhKSBhLnJlc2l6ZSh1bmlxdWUoYWxsKGEpKSAtIGEuYmVnaW4oKSkKI2RlZmluZSB1bGwgdW5zaWduZWQgbGwKI2RlZmluZSBmaXIgZmlyc3QKI2RlZmluZSBzZWMgc2Vjb25kCiNkZWZpbmUgaWRjIGNpbi5pZ25vcmUoKQojZGVmaW5lIGxiIGxvd2VyX2JvdW5kCiNkZWZpbmUgdWIgdXBwZXJfYm91bmQKI2RlZmluZSBhbGwocykgcy5iZWdpbigpLCBzLmVuZCgpCiNkZWZpbmUgcmV2IHJldmVyc2UKI2RlZmluZSBnY2QgX19nY2QKI2RlZmluZSBwdXNoYiBwdXNoX2JhY2sKI2RlZmluZSBwb3BiIHBvcF9iYWNrCiNkZWZpbmUgcHVzaGYgcHVzaF9mcm9udAojZGVmaW5lIHBvcGYgcG9wX2Zyb250CiNkZWZpbmUgbXVsMngoYSwgeCkgYSA8PCB4CiNkZWZpbmUgZGl2MngoYSwgeCkgYSA+PiB4CiNkZWZpbmUgbGNtKGEsIGIpIChhIC8gX19nY2QoYSwgYikgKiBiKQojZGVmaW5lIGxvZ19iYXNlKHgsIGJhc2UpIGxvZyh4KSAvIGxvZyhiYXNlKQojZGVmaW5lIGRlYnVnIGNsb2cgPDwgIk5vIGVycm9ycyEiOyBleGl0KDApOwojZGVmaW5lIGZvcncoaSwgYSwgYikgZm9yIChpbnQgaSA9IGE7IGkgPD0gYjsgKytpKQojZGVmaW5lIGZvcncyKGksIGEsIGIpIGZvciAobGwgaSA9IGE7IGkgPD0gYjsgKytpKQojZGVmaW5lIGZvcnMoaSwgYSwgYikgZm9yIChpbnQgaSA9IGE7IGkgPj0gYjsgLS1pKQojZGVmaW5lIGZvcnMyKGksIGEsIGIpIGZvciAobGwgaSA9IGE7IGkgPj0gYjsgLS1pKQojZGVmaW5lIHBxdWV1ZSBwcmlvcml0eV9xdWV1ZQojZGVmaW5lIHNxcnQgc3FydGwKI2RlZmluZSBwb3Bjb3VudCBfX2J1aWx0aW5fcG9wY291bnRsbAojZGVmaW5lIEJJVCh4LCBpKSAoeCA+PiBpKSAmIDEKI2RlZmluZSBNQVNLKHgpICgxTEwgPDwgeCkKI2RlZmluZSB3YW50X2RpZ2l0KHgpIGNvdXQgPDwgZml4ZWQgPDwgc2V0cHJlY2lzaW9uKHgpOwojZGVmaW5lIGV4Y3V0aW5nX3RpbWUgMTAwMC4wICogY2xvY2soKSAvIENMT0NLU19QRVJfU0VDCiNkZWZpbmUgaTEyOCBfX2ludDEyOAp1c2luZyBuYW1lc3BhY2Ugc3RkOwpjb25zdCBpbnQgTU9EID0gMWU5ICsgNzsgLy8gOTk4MjQ0MzUzCmNvbnN0IGludCBpbmYgPSAxZTk7CmNvbnN0IGxsIElORiA9IDFlMTg7CmNvbnN0IGludCBOID0gMjA7CgptdDE5OTM3XzY0IHJuZyhjaHJvbm86OnN0ZWFkeV9jbG9jazo6bm93KCkudGltZV9zaW5jZV9lcG9jaCgpLmNvdW50KCkpOwpsbCByYW5kb20oY29uc3QgbGwgJkwsIGNvbnN0IGxsICZSKQp7CiAgICByZXR1cm4gdW5pZm9ybV9pbnRfZGlzdHJpYnV0aW9uPGxsPiAoTCwgUikgKHJuZyk7Cn0KCnZlY3RvciA8aW50PiBvcGVyYXRvciArICh2ZWN0b3IgPGludD4gdiwgaW50IHgpCnsKICAgICsrdlt4XTsKICAgIHJldHVybiB2Owp9CgptYXAgPHZlY3RvciA8aW50PiwgbGw+IGRwW04gKyA1XTsKbGwgZihjb25zdCBpbnQgJnBvcywgY29uc3QgYm9vbCAmbG93ZXIsIGNvbnN0IHZlY3RvciA8aW50PiAmdiwgY29uc3Qgc3RyICZ4KQp7CiAgICBpZiAoIXBvcykKICAgIHsKLy8gICAgICAgIGNvdXQgPDwgZGlnaXQgPDwgZW5kbDsKICAgICAgICByZXR1cm4gMTsKICAgIH0KCiAgICBpZiAobG93ZXIgJiYgZHBbcG9zXS5maW5kKHYpICE9IGRwW3Bvc10uZW5kKCkpIHJldHVybiBkcFtwb3NdW3ZdOwoKICAgIGJvb2wgY2hlY2sgPSBmYWxzZTsKICAgIGZvcncgKGksIDAsIDkpIGlmICh2W2ldKQogICAgewogICAgICAgIGNoZWNrID0gdHJ1ZTsKICAgICAgICBicmVhazsKICAgIH0KCiAgICBpbnQgZmluID0gbG93ZXIgPyA5IDogeFtwb3MgLSAxXSAtICcwJzsKICAgIGxsIFggPSAwOwoKICAgIGZvcncgKGksIDAsIGZpbikKICAgIHsKICAgICAgICBpZiAodltpXSA9PSAyKSBjb250aW51ZTsKICAgICAgICBYICs9IGYocG9zIC0gMSwgbG93ZXIgfHwgaSA8IGZpbiwgKGkgfHwgKCFpICYmIGNoZWNrKSkgPyB2ICsgaSA6IHYsIHgpOwogICAgfQoKLy8gICAgcmV0dXJuIFg7CiAgICBpZiAobG93ZXIpIGRwW3Bvc11bdl0gPSBYOwogICAgcmV0dXJuIFg7Cn0KCnZlY3RvciA8aW50PiBiYXNlKDEwLCAwKTsKbGwgY2FsYyhjb25zdCBsbCAmeCkKewogICAgc3RyIHMgPSB0b19zdHJpbmcoeCk7CiAgICByZXYoYWxsKHMpKTsKICAgIHJldHVybiBmKHN6KHMpLCBmYWxzZSwgYmFzZSwgcykgLSAxOyAvLyBIw6BtIGYgbsOzIHTDrW5oIGx1w7RuIHPhu5EgMAp9CgpsbCBrOwp2b2lkIHNvbHZlKCkKewogICAgY2luID4+IGs7CiAgICBsbCBsID0gMSwgciA9IElORiwgbWlkLCBhbnMgPSAtMTsKICAgIHdoaWxlIChsIDw9IHIpCiAgICB7CiAgICAgICAgbWlkID0gKGwgKyByKSA+PiAxOwogICAgICAgIGlmIChjYWxjKG1pZCkgPj0gaykKICAgICAgICB7CiAgICAgICAgICAgIGFucyA9IG1pZDsKICAgICAgICAgICAgciA9IG1pZCAtIDE7CiAgICAgICAgfQogICAgICAgIGVsc2UgbCA9IG1pZCArIDE7CiAgICB9CgogICAgY291dCA8PCBhbnMgPDwgZW5kbDsKfQoKc2lnbmVkIG1haW4oKQp7CiAgICBpb3M6OnN5bmNfd2l0aF9zdGRpbyhmYWxzZSksIGNpbi50aWUobnVsbHB0cik7CiAgICBzcmFuZCh0aW1lKE5VTEwpKTsKI2RlZmluZSBuYW1lICJ0ZXN0IgogICAgLyoKICAgIGlmIChmb3BlbihuYW1lIi5JTlAiLCAiciIpKQogICAgewogICAgICAgIGZyZW9wZW4obmFtZSIuSU5QIiwgInIiLCBzdGRpbik7CiAgICAgICAgZnJlb3BlbihuYW1lIi5PVVQiLCAidyIsIHN0ZG91dCk7CiAgICB9CiAgICAqLwogICAgaW50IG51bVRlc3QgPSAxOwovLyAgICBjaW4gPj4gbnVtVGVzdDsKICAgIHdoaWxlIChudW1UZXN0LS0pCiAgICB7CiAgICAgICAgc29sdmUoKTsKICAgIH0KICAgIHJldHVybiAwOwp9Cg==