#include <bits/stdc++.h>
using namespace std;
#define int long long int
#define double long double
#define print(a) for(auto x : a) cout << x << " "; cout << endl
inline int power(int a, int b) {
int x = 1;
while (b) {
if (b & 1) x *= a;
a *= a;
b >>= 1;
}
return x;
}
const int M = 1000000007;
const int N = 3e5+9;
const int INF = 2e9+1;
const int LINF = 2000000000000000001;
//_ ***************************** START Below *******************************
vector<int> a;
bool isPossible(int n, int k, vector<int>& a, int mid){
int cows = 1;
for(int i=0; i<n; ){
int j = i+1;
while(j<n && a[j] - a[i] < mid) j++;
if(j==n) break;
cows++;
i = j;
}
return cows>=k;
}
int consistency1(int n, int k){
vector<int> b(a);
sort(begin(b), end(b));
int s = 0, e = INF;
int ans = 0;
while(s<=e){
int mid = s + (e-s)/2;
if(isPossible(n, k, b, mid)){
ans = max(ans, mid);
s = mid+1;
}
else{
e = mid-1;
}
}
return ans;
}
int consistency2(int n, int k){
vector<int> b(a);
sort(begin(b), end(b));
int s = 0, e = INF;
while(s<e){
int mid = s + (e-s+1)/2;
if(isPossible(n, k, b, mid)){
s = mid;
}
else e = mid-1;
}
return e;
}
bool isPoss(int n, int k, int mid){
int ct = 1;
for(int i=0; i<n; ){
int j = i+1;
while(j<n && a[j] - a[i] < mid) j++;
if(j==n) break;
ct++;
i = j;
}
return ct >= k;
}
int practice(int n, int k){
sort(begin(a), end(a));
int s = 0, e = INF;
while(s<e){
int mid = s + (e-s+1)/2;
if(isPoss(n, k, mid)){
s = mid;
}
else e = mid-1;
}
return e;
}
void solve() {
int n, k;
cin>>n >> k;
a.resize(n);
for(int i=0; i<n; i++) cin >> a[i];
// cout << consistency1(n, k) << " " << consistency2(n,k) << endl;
cout << consistency1(n, k) << " -> " << practice(n, k) << endl;
}
int32_t main() {
ios_base::sync_with_stdio(0); cin.tie(0); cout.tie(0);
int t = 1;
// cin >> t;
while (t--) {
solve();
}
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CiNkZWZpbmUgaW50ICAgICAgICAgICAgICBsb25nIGxvbmcgaW50CiNkZWZpbmUgZG91YmxlICAgICAgICAgICBsb25nIGRvdWJsZQojZGVmaW5lIHByaW50KGEpICAgICAgICAgZm9yKGF1dG8geCA6IGEpIGNvdXQgPDwgeCA8PCAiICI7IGNvdXQgPDwgZW5kbAppbmxpbmUgaW50IHBvd2VyKGludCBhLCBpbnQgYikgewogICAgaW50IHggPSAxOwogICAgd2hpbGUgKGIpIHsKICAgICAgICBpZiAoYiAmIDEpIHggKj0gYTsKICAgICAgICBhICo9IGE7CiAgICAgICAgYiA+Pj0gMTsKICAgIH0KICAgIHJldHVybiB4Owp9CgoKY29uc3QgaW50IE0gPSAxMDAwMDAwMDA3Owpjb25zdCBpbnQgTiA9IDNlNSs5Owpjb25zdCBpbnQgSU5GID0gMmU5KzE7CmNvbnN0IGludCBMSU5GID0gMjAwMDAwMDAwMDAwMDAwMDAwMTsKCi8vXyAqKioqKioqKioqKioqKioqKioqKioqKioqKioqKiBTVEFSVCBCZWxvdyAqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqCgp2ZWN0b3I8aW50PiBhOwoKYm9vbCBpc1Bvc3NpYmxlKGludCBuLCBpbnQgaywgdmVjdG9yPGludD4mIGEsIGludCBtaWQpewogICAgaW50IGNvd3MgPSAxOwogICAgZm9yKGludCBpPTA7IGk8bjsgKXsKICAgICAgICBpbnQgaiA9IGkrMTsKICAgICAgICB3aGlsZShqPG4gJiYgYVtqXSAtIGFbaV0gPCBtaWQpIGorKzsKICAgICAgICBpZihqPT1uKSBicmVhazsKICAgICAgICBjb3dzKys7CiAgICAgICAgaSA9IGo7CiAgICB9CiAgICByZXR1cm4gY293cz49azsgCn0KCmludCBjb25zaXN0ZW5jeTEoaW50IG4sIGludCBrKXsKCXZlY3RvcjxpbnQ+IGIoYSk7CiAgICBzb3J0KGJlZ2luKGIpLCBlbmQoYikpOwoKICAgIGludCBzID0gMCwgZSA9IElORjsKICAgIGludCBhbnMgPSAwOwogICAgd2hpbGUoczw9ZSl7CiAgICAgICAgaW50IG1pZCA9IHMgKyAoZS1zKS8yOwogICAgICAgIGlmKGlzUG9zc2libGUobiwgaywgYiwgbWlkKSl7CiAgICAgICAgICAgIGFucyA9IG1heChhbnMsIG1pZCk7CiAgICAgICAgICAgIHMgPSBtaWQrMTsKICAgICAgICB9CiAgICAgICAgZWxzZXsgCiAgICAgICAgICAgIGUgPSBtaWQtMTsKICAgICAgICB9CgogICAgfQoKICAgIHJldHVybiBhbnM7Cgp9CgoKCmludCBjb25zaXN0ZW5jeTIoaW50IG4sIGludCBrKXsKCQoJdmVjdG9yPGludD4gYihhKTsKCQoJc29ydChiZWdpbihiKSwgZW5kKGIpKTsKCQoJaW50IHMgPSAwLCBlID0gSU5GOwoJCgl3aGlsZShzPGUpewoJCWludCBtaWQgPSBzICsgKGUtcysxKS8yOwoJCWlmKGlzUG9zc2libGUobiwgaywgYiwgbWlkKSl7CgkJCXMgPSBtaWQ7CgkJfQoJCWVsc2UgZSA9IG1pZC0xOwoJfQoJCglyZXR1cm4gZTsKCQp9CgoKCgoKCgoKCgoKCgpib29sIGlzUG9zcyhpbnQgbiwgaW50IGssIGludCBtaWQpewoJCglpbnQgY3QgPSAxOwoJCglmb3IoaW50IGk9MDsgaTxuOyApewoJCWludCBqID0gaSsxOwoJCXdoaWxlKGo8biAmJiBhW2pdIC0gYVtpXSA8IG1pZCkgaisrOwoJCWlmKGo9PW4pIGJyZWFrOwoJCQoJCWN0Kys7CgkJaSA9IGo7Cgl9CgkKCXJldHVybiBjdCA+PSBrOwp9CgppbnQgcHJhY3RpY2UoaW50IG4sIGludCBrKXsKCXNvcnQoYmVnaW4oYSksIGVuZChhKSk7CgkKCWludCBzID0gMCwgZSA9IElORjsKCXdoaWxlKHM8ZSl7CgkJaW50IG1pZCA9IHMgKyAoZS1zKzEpLzI7CgkJaWYoaXNQb3NzKG4sIGssIG1pZCkpewoJCQlzID0gbWlkOwoJCX0KCQllbHNlIGUgPSBtaWQtMTsKCX0KCQoJCglyZXR1cm4gZTsKCQp9CgoKCgoKdm9pZCBzb2x2ZSgpIHsKCQogICAgaW50IG4sIGs7CiAgICBjaW4+Pm4gPj4gazsKICAgIGEucmVzaXplKG4pOwogICAgCiAgICBmb3IoaW50IGk9MDsgaTxuOyBpKyspIGNpbiA+PiBhW2ldOwogICAgLy8gY291dCA8PCBjb25zaXN0ZW5jeTEobiwgaykgPDwgIiAiIDw8IGNvbnNpc3RlbmN5MihuLGspIDw8IGVuZGw7CgogICAgY291dCA8PCBjb25zaXN0ZW5jeTEobiwgaykgPDwgIiAtPiAiIDw8IHByYWN0aWNlKG4sIGspIDw8IGVuZGw7Cgp9CgoKCgoKaW50MzJfdCBtYWluKCkgewogICAgaW9zX2Jhc2U6OnN5bmNfd2l0aF9zdGRpbygwKTsgY2luLnRpZSgwKTsgY291dC50aWUoMCk7CgogICAgaW50IHQgPSAxOwogICAgLy8gY2luID4+IHQ7CiAgICB3aGlsZSAodC0tKSB7CiAgICAgICAgc29sdmUoKTsKICAgIH0KCiAgICByZXR1cm4gMDsKfQ==