#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; typedef long long ll; typedef unsigned int ui; const ll mod = 1000000007; const ll INF = (ll)1000000007 * 1000000007; typedef pair P; #define stop char nyaa;cin>>nyaa; #define rep(i,n) for(int i=0;i=0;i--) #define Rep(i,sta,n) for(int i=sta;i=sta;i--) #define rep1(i,n) for(int i=1;i<=n;i++) #define per1(i,n) for(int i=n;i>=1;i--) #define Rep1(i,sta,n) for(int i=sta;i<=n;i++) typedef long double ld; const ld eps = 1e-8; const ld pi = acos(-1.0); typedef pair LP; int dx[4]={1,-1,0,0}; int dy[4]={0,0,1,-1}; template struct SegmentTree{ using F = function; int n; F f;//二項演算 T ti;//単位元 vector dat; SegmentTree(){} SegmentTree(F f,T ti):f(f),ti(ti){} void init(int n_){//sizeがn_のsegtreeを作る n=1; while(n &v){//vによってsegtreeをbuildする int n_=v.size(); init(n_); for(int i=0;i>=1) dat[k]=f(dat[(k<<1)|0],dat[(k<<1)|1]); } T query(int a,int b){//区間[a,b)に対しFを適応した値を返す if(a>=b) return ti; T vl=ti,vr=ti; for(int l=a+n,r=b+n;l>=1,r>>=1) { if(l&1) vl=f(vl,dat[l++]); if(r&1) vr=f(dat[--r],vr); } return f(vl,vr); } template int find(int st,C &check,T &acc,int k,int l,int r){// if(l+1==r){ acc=f(acc,dat[k]); return check(acc)?k-n:-1; } int m=(l+r)>>1; if(m<=st) return find(st,check,acc,(k<<1)|1,m,r); if(st<=l&&!check(f(acc,dat[k]))){ acc=f(acc,dat[k]); return -1; } int vl=find(st,check,acc,(k<<1)|0,l,m); if(~vl) return vl; return find(st,check,acc,(k<<1)|1,m,r); } template int find(int st,C &check){ T acc=ti; return find(st,check,acc,1,0,n); } T &operator [] (int i) {return dat[i+n];}; }; int n,k; int A[100010]; set se; map> ma; map> ma2; ll f(int t,int id,SegmentTree

&seg){ if(ma[t].empty()) return 0; //cout << id << endl; int sta=lower_bound(ma[t].begin(),ma[t].end(),id)-ma[t].begin(),r=ma[t].size(); int l=sta; //cout << sta << endl; if(r<=l) return 0; while(r-l>1){ //cout << l << " " << r << endl; int mid=(l+r)/2; if(seg.query(id,ma[t][mid]+1).second<=1) l=mid; else r=mid; } //cout << l << endl; //cout << l << " " << ma2[t][l+1]-ma2[t][sta]-(id-1)*(l-sta+1) << endl; if(seg.query(id,ma[t][l]+1).second>1) return 0; return ma2[t][l+1]-ma2[t][sta]-(id-1)*(l-sta+1); } void solve(){ cin >> n >> k; rep(i,n){ cin >> A[i]; if(k>=A[i]){ ma[k-A[i]].push_back(i); se.insert(k-A[i]); } } for(int s:se){ //cout << s << endl; ma2[s].push_back(0); for(int t:ma[s]){ //cout << t << " "; ma2[s].push_back(ma2[s].back()+t); } //cout << "" << endl; } auto g=[](P a,P b){ if(a.firstb.first) return b; return P(mod,0); }; SegmentTree

seg(g,P(mod,0)); vector

v(n); rep(i,n) v[i]=P(A[i],1); seg.build(v); ll ans=0; rep(i,n){ ans+=f(A[i],i,seg); } cout << ans << endl; } int main(){ ios::sync_with_stdio(false); cin.tie(0); cout << fixed << setprecision(50); solve(); }