// template version 1.15 using namespace std; #include // varibable settings #define int long long const int INF=1e18; // define basic macro {{{ #define _overload3(_1,_2,_3,name,...) name #define _rep(i,n) repi(i,0,n) #define repi(i,a,b) for(int i=(int)(a);i<(int)(b);++i) #define rep(...) _overload3(__VA_ARGS__,repi,_rep,)(__VA_ARGS__) #define _rrep(i,n) rrepi(i,0,n) #define rrepi(i,a,b) for(int i=(int)((b)-1);i>=(int)(a);--i) #define rrep(...) _overload3(__VA_ARGS__,rrepi,_rrep,)(__VA_ARGS__) #define each(i,a) for (auto&& i : a) #define all(x) (x).begin(),(x).end() #define sz(x) ((int)(x).size()) #define pb(a) push_back(a) #define mp(a, b) make_pair(a, b) #define mt(a, b, c) make_tuple(a, b, c) #define ub upper_bound #define lb lower_bound #define posl(A, x) (lower_bound(all(A), x)-A.begin()) #define posu(A, x) (upper_bound(all(A),x)-A.begin()) template inline void chmax(T &a, const T &b) { if((a) < (b)) (a) = (b); } template inline void chmin(T &a, const T &b) { if((a) > (b)) (a) = (b); } #define divceil(a,b) ((a)+(b)-1)/(b) #define is_in(x, a, b) ((a)<=(x) && (x)<(b)) #define uni(x) sort(all(x));x.erase(unique(all(x)),x.end()) #define slice(l, r) substr(l, r-l) typedef long long ll; typedef vector vi; typedef vector vvi; typedef long double ld; typedef pair pii; typedef tuple iii; template using PQ = priority_queue, greater>; struct Fast { Fast(){ std::cin.tie(0); ios::sync_with_stdio(false); } } fast; #if defined(PCM) || defined(LOCAL) #include "lib/dump.hpp" #else #define dump(...) 42 #define dump_1d(...) 42 #define dump_2d(...) 42 #define cerrendl 42 #endif //}}} template struct SegmentTree { // {{{ private: using F = function; int n; // 元の配列のサイズ int N; // n以上の最小の2冪 vector node; F merge; T identity; public: SegmentTree(){} SegmentTree(vector a, F f, T id):merge(f), identity(id) { n = a.size(); N = 1; while(N < n) N *= 2; node.resize(2*N-1, identity); for(int i=0; i=0; i--) node[i] = merge(node[2*i+1], node[2*i+2]); } SegmentTree(int n, F f, T id) : SegmentTree(vector(n, id), f, id) {} T& operator[](int i) { return node[i+N-1]; } void update(int x, T val) { x += (N - 1); node[x] = val; while(x > 0) { x = (x - 1) / 2; node[x] = merge(node[2*x+1], node[2*x+2]); } } void add(int x, T val) { x += (N - 1); node[x] += val; while(x > 0) { x = (x - 1) / 2; node[x] = merge(node[2*x+1], node[2*x+2]); } } // query for [l, r) T query(int a, int b, int k=0, int l=0, int r=-1) { if(r < 0) r = N; if(r <= a || b <= l) return identity; if(a <= l && r <= b) return node[k]; T vl = query(a, b, 2*k+1, l, (l+r)/2); T vr = query(a, b, 2*k+2, (l+r)/2, r); return merge(vl, vr); } friend ostream& operator<<(ostream &os, SegmentTree& sg){ // os << "["; for(int i=0; i par; // par[i]: dfs木における親 vector cost; // par[i]: dfs木における親への辺のコスト vector dfstrv; // dfstrv[i]: dfs木でi番目に訪れるノード。dpはこれを逆順に回す vector ord; // ord[u]: uのdfs木における訪問順 vector pos; // pos[u]: uのdfs終了時のカウンター vector psize; // psize[u]: uのpartial tree size // vの部分木は[ord[v], pos[v]) // ordとdfstrvは逆変換 vector depth; // depth[i]: dfs木でのiの深さ vector ldepth; // ldepth[i]: dfs木でのrootからの距離 vector>> g; // 辺(隣接リスト) vector> children; vector euler_tour; vector et_fpos; // euler_tour first occurence position SegmentTree _seg; // seg(map(ord, euler_tour), mymin, 1e18) int _counter = 0; tree(int n): n(n),par(n),cost(n,1),ord(n),pos(n), psize(n),depth(n),ldepth(n),g(n),children(n),et_fpos(n) {}; void add_edge(int u, int v, int cost){ g[u].emplace_back(v, cost); g[v].emplace_back(u, cost); } void add_edge(int u, int v){ g[u].emplace_back(v, 1); g[v].emplace_back(u, 1); } void build(int root){ _counter = 0; par[root] = -1; cost[root] = INF; _dfs_tree(root, -1); // _dfs_et(root); // vector ini(2*n-1); rep(i, 2*n-1) ini[i] = ord[euler_tour[i]]; // _seg = SegmentTree(ini, [](auto a, auto b){return min(a,b);}, 1e18); } void _dfs_tree(int u, int pre){ dfstrv.pb(u); ord[u] = _counter; if (pre!=-1){ depth[u] = depth[pre]+1; ldepth[u] = ldepth[pre]+cost[u]; } _counter++; each(el, g[u]){ int v = el.first; if (v==pre) continue; children[u].pb(v); par[v] = u; cost[v] = el.second; _dfs_tree(v, u); } pos[u] = _counter; psize[u] = pos[u] - ord[u]; } void _dfs_et(int u){ et_fpos[u] = euler_tour.size(); euler_tour.pb(u); each(v, children[u]){ _dfs_et(v); euler_tour.pb(u); } } int lca(int u, int v){ if (u==v) return u; if (et_fpos[u]>et_fpos[v]) swap(u, v); return dfstrv[_seg.query(et_fpos[u], et_fpos[v])]; } int dist(int u, int v){ int p = lca(u, v); return depth[u] + depth[v] - 2*depth[p]; } int ldist(int u, int v){ // length dist int p = lca(u, v); return ldepth[u] + ldepth[v] - 2*ldepth[p]; } pair diameter(){ int u, v; int max_len = *max_element(all(ldepth)); rep(i, n){ if(ldepth[i]==max_len){ u = i; break; } } int md = -1; rep(i, n){ int d = ldist(u, i); if (d>md){ v = i; md = d; } } return mp(u, v); } };/*}}}*/ signed main() { int n,k;cin>>n>>k; if (k>n){ cout << -1 << endl; return 0; } else{ cout << k-1 << endl; } // tree tr(n); // rep(i, n-1){ // int a,b;cin>>a>>b; // a--;b--; // tr.add_edge(a, b); // tr.add_edge(b, a); // } // tr.build(0); // // int ans = 0; // sort(all(tr.depth)); // rep(i, k){ // ans += tr.depth[i]; // } // cout << ans << endl; return 0; }