#include<bits/stdc++.h>
using namespace std;
typedef unsigned long long ll;
#define fi first
#define se second
int n;
typedef bitset<5001> pack;
pack zero;
void out(pack c){
	for(int i=0; i<=n ;i++){
		cout << c[i];
	}
	cout << endl;
}
void upshift(pack &s,pack &mod,int deg){
	s<<=1;
	if(s[deg]) s^=mod;
}
pack gcd(pack a,pack b,pack &q){
	q=zero;
	pack p=zero,r=zero,s=zero;
	p[0].flip();s[0].flip();
	int deg_a=n,deg_b=n;
	while(true){
		while(deg_a>=0 && !a[deg_a])  --deg_a;
		while(deg_b>=0 && !b[deg_b])  --deg_b;
		if(deg_a<deg_b){
			swap(a,b);
			swap(deg_a,deg_b);
			swap(p,r);
			swap(q,s);
		}
		if(deg_b==-1) return a;
		a^=b<<(deg_a-deg_b);
		p^=r<<(deg_a-deg_b);
		q^=s<<(deg_a-deg_b);
	}
}
void reduce(pack &s,pack &mod,int deg){
	for(int i=n; i>=deg ;i--){
		if(s[i]) s^=mod<<(i-deg);
	}
}
int deg(pack &g){
	int res=n;
	while(res>=0 && !g[res]) --res;
	return res;
}
pack s,t,a,b,g,q;

bool ans[1000001];

bool check(pack &fg,int k){
	int deg_fg = deg(fg);
	int deg_g = deg(g);
	if(deg_fg>=deg_g+k) return false;
	for(int i=deg_fg; i>=deg_g ;i--){
		if(fg[i]){
			ans[i-deg_g]=true;
			fg^=g<<(i-deg_g);
		}
	}
	cout << k << '\n';
	for(int i=k-1; i>=0 ;i--) cout << ans[i];
	cout << '\n';
	return true;
}

int frog[10005];
pack mul(pack &x,pack &y){
	for(int i=0; i<2*n ;i++){
		frog[i]=0;
	}
	for(int i=0; i<n ;i++){
		for(int j=0; j<n ;j++){
			if(x[i] && y[j]) frog[i+j]^=1;
		}
	}
	for(int i=2*n-1; i>=n ;i--){
		if(frog[i]){
			for(int j=0; j<=n ;j++){
				frog[j+i-n]^=a[j];
			}
		}
	}
	pack fun=zero;
	for(int i=0; i<n ;i++){
		if(frog[i]) fun.flip(i);
	}
	return fun;
}

int main(){
	ios::sync_with_stdio(false);cin.tie(0);
	//freopen("in.txt","r",stdin);
	cin >> n;
	for(int i=1; i<=n ;i++){
		char c;cin >> c;
		s[i-1]=c-48;
	}
	for(int i=1; i<=n ;i++){
		char c;cin >> c;
		t[i-1]=c-48;
	}
	int ac;cin >> ac;
	for(int i=1; i<=ac ;i++){
		int x;cin >> x;
		a[x-1].flip();
	}
	a[n].flip();a[0].flip();
	int bc;cin >> bc;
	for(int i=1; i<=bc ;i++){
		int x;cin >> x;
		b[x-1].flip();
	}
	g = gcd(a,b,q);
	int deg_g = deg(g);
	pack sg = s;reduce(sg,g,deg_g);
	pack tg = t;reduce(tg,g,deg_g);
	pack sa = s;reduce(sa,a,n);
	pack ta = t;reduce(ta,a,n);
	bool fst=false,snd=false;
	pack karina=zero,winter=zero;
	for(int k=0; k<=1e6 ;k++){
		if(sg!=tg){
			upshift(sg,g,deg_g);
			upshift(sa,a,n);
			if(snd) upshift(winter,a,n);
			continue;
		}
		if(!fst){//compute s^x
			fst=true;
			karina = sa^ta;
			karina = mul(karina,q);
			if(check(karina,k)) return 0;
		}
		else if(!snd){
			snd=true;
			winter = sa^ta;
			winter = mul(winter,q);
			if(check(winter,k)) return 0;
			winter^=karina;
			karina^=winter;
		}
		else{
			karina^=winter;
			if(check(karina,k)) return 0;
		}
		upshift(sg,g,deg_g);
		upshift(sa,a,n);
	
		if(snd) upshift(winter,a,n);
	}
	cout << "-1\n";
}