JX CSP-J day3 的t2，要是我是JX选手，我就AK了，就不用退役了QAQ。
有一个很明显的结论：
- 当去重后个数>2的话，严格次小值就是第三大的数和前两个数 mod 取max
- 当去重后个数=2，严格次小值就是两个数中小的那个
- 当去重后个数=1，就是无解，输出-1
现在说一下为什么 第一个成立
首先，最大的 mod 其他数，不能做严格次小值
然后，可以想到次大的和第三大的被最大的mod，显然第二大的结果比第三大的
结果要大，所以去第三大的，但有可能最大mod第二大还要比第三大的结果更优秀，那么去前者
所以当去重后，个数>2时，$Ans=max(thiMax,Max-secMax)$
按照上面的结论，排序去重后，判断一下就可以了
$Code:$
#include<iostream>
#include<cstdio>
#include<algorithm>
using namespace std;
typedef long long ll;
inline ll read(){
register ll x=0,v=1,ch=getchar();
while(!isdigit(ch)){if(ch=='-')v=-1;ch=getchar();}
while(isdigit(ch)){x=(x<<3)+(x<<1)+(ch^'0');ch=getchar();}
return x*v;
}
const ll MAX=200005;
ll n,a[MAX],b[MAX],tot;
int main(){
n=read();
for(register ll i=1;i<=n;++i){
a[i]=read();
}
sort(a+1,a+1+n);
b[++tot]=a[1];
for(register ll i=2;i<=n;++i){
if(a[i]!=a[i-1])b[++tot]=a[i];
}
if(tot==1)puts("-1");
else if(tot==2){
printf("%lld\n",max(b[1]%b[2],b[2]%b[1]));
}else printf("%lld\n",max(b[tot]%b[tot-1],b[tot-2]));
return 0;
}