题目大意：给你一个01字符串，构造一颗树满足对于任意 $i$， $s[i]=$存在切掉恰好一条边的方案使得存在大小为i的连通块。
题解：首先判掉s[1]和s[n]，以及s[i]=s[n-i]，除此之外，设初始根为rt=1，从小到大考虑i=1…(n-1)，连边(i+1,rt)，若s[i]=1则rt=i+1。（也就是s[i]=1就向上走一步，否则添儿子）。可以发现这显然是对的。

#include<bits/stdc++.h>
#define rep(i,a,b) for(int i=a;i<=b;i++)
#define Rep(i,v) rep(i,0,(int)v.size()-1)
#define mp make_pair
#define fir first
#define sec second
#define pb push_back
#define gc getchar()
#define lint long long
#define debug(x) cerr<<#x<<"="<<x
#define sp <<" "
#define ln <<endl
using namespace std;
typedef pair<int,int> pii;
inline int inn()
{
	int x,ch;while((ch=gc)<'0'||ch>'9');
	x=ch^'0';while((ch=gc)>='0'&&ch<='9')
		x=(x<<1)+(x<<3)+(ch^'0');return x;
}
#define N 100010
char s[N];int a[N];
int main()
{
	scanf("%s",s+1);int n=(int)strlen(s+1);
	for(int i=1;i<=n;i++) a[i]=s[i]-'0';
	if(a[n]==1) return !printf("-1\n");
	for(int i=1;i<n;i++)
		if(a[i]!=a[n-i]) return !printf("-1\n");
	if(a[1]==0) return !printf("-1\n");
	int rt=1,cnt=1;
	for(int i=1;i<n;i++)
	{
		printf("%d %d\n",rt,i+1);
		if(a[i]==1) rt=i+1;
	}
	return 0;
}