gen

#include<bits/stdc++.h>
using namespace std;
#define ll long long
const int N=1e5+5;
int a[N], b[N];
int main(){
//	freopen(".in", "r", stdin);
	freopen(".in", "w", stdout);
	int k=5e3;
	int n=1e5, S=k+1;
	printf("%d %d\n", n, S);
	for(int i=1; i<=n; ++i){
		a[i]=1, b[i]=k-1;
	}
	for(int i=1; i<=k; ++i){
		a[i]=a[n-i+1]=0;
		b[i]=0, b[n-i+1]=1;
	}
	for(int i=1; i<=n; ++i){
		printf("%d %d\n", a[i], b[i]);
	}
	return 0;
}
/*
ans:4762
*/

用第一篇题解跑出来总共需要 $1562133$ 步，最后一个贡献位于 $1562132$ 步，所有用步数限制的且阈值小于该数的都能卡掉。理论调节gen的参数可以得到更大的阈值。