//#pragma GCC target("sse,sse2,sse3,ssse3,sse4,popcnt,abm,mmx,avx,avx2")
//#pragma GCC optimize("Ofast","unroll-loops","inline")
#include<bits/stdc++.h>
#define ll long long
//#define int ll
#define pb push_back
using namespace std;
const int N=1e3+10,mod=1e9+7;
const int inv2=(mod+1)/2;
inline void Add(int &x,int y){x+=y;if(x>=mod) x-=mod;}
inline void Del(int &x,int y){x-=y;if(x<0) x+=mod;}
inline int del(int x,int y){x-=y;return x<0?x+mod:x;}
inline int add(int x,int y){x+=y;return x>=mod?x-mod:x;}
inline int iep(int x){return x&1?mod-1:1;}
int qpow(int a,int b){
	int res=1;
	while(b){
		if(b&1) res=1ll*res*a%mod;
		a=1ll*a*a%mod;b>>=1;
	}return res;
}
struct Faction{
	int len;vector<int> v;
	inline void init(int l){len=l;v.resize(l+1);}
};
namespace Poly{
	inline Faction operator >>(Faction f,int k){
		int len=f.len;f.init(len+k);
		for(int i=len;~i;i--) f.v[i+k]=f.v[i];
		for(int i=0;i<k;i++) f.v[i]=0;
		return f;
	}
	inline Faction operator <<(Faction f,int k){
		int len=f.len;
		for(int i=k;i<=len;i++) f.v[i-k]=f.v[i];
		for(int i=max(0,len-k+1);i<=len;i++) f.v[i]=0;
		f.init(max(0,len-k));
		return f;
	}
	inline Faction operator *(Faction a,int k){
		Faction c;c.init(a.len);
		for(int i=0;i<=a.len;i++) c.v[i]=1ll*a.v[i]*k%mod;
		return c;
	}
	inline Faction operator +(Faction a,Faction b){
		Faction c;int len=max(a.len,b.len);c.init(len);a.init(len);b.init(len);
		for(int i=0;i<=len;i++) c.v[i]=add(a.v[i],b.v[i]);
		return c;
	}
	inline Faction operator -(Faction a,Faction b){
		Faction c;int len=max(a.len,b.len);c.init(len);a.init(len);b.init(len);
		for(int i=0;i<=len;i++) c.v[i]=del(a.v[i],b.v[i]);
		return c;
	}
	void print(Faction x){
		for(int i=0;i<=x.len;i++) cout<<x.v[i]<<' ';cout<<'\n';
	}
	inline Faction rev(Faction &f){
		for(int i=0;i<=f.len;i++) f.v[i]=del(0,f.v[i]);
		return f;
	}
}
using namespace Poly;
void Print(int a[N][N],int n){
	for(int i=1;i<=n;i++){
		for(int j=1;j<=n;j++) cout<<a[i][j]<<' ';cout<<'\n';
	}
}
Faction f[N];
Faction det(int a[N][N],int n){
	for(int i=2;i<=n;i++){
		if(!a[i][i-1]) for(int j=i+1;j<=n;j++) if(a[j][i-1]){swap(a[i],a[j]);for(int k=1;k<=n;k++) swap(a[k][i],a[k][j]);break;}
		if(a[i][i-1]){
			int inv=qpow(a[i][i-1],mod-2);
			for(int j=i+1;j<=n;j++){
				int res=1ll*a[j][i-1]*inv%mod;
				for(int k=i-1;k<=n;k++) Del(a[j][k],1ll*a[i][k]*res%mod);
				for(int k=1;k<=n;k++) Add(a[k][i],1ll*a[k][j]*res%mod);
			}
		}
	}
	f[0].init(0);f[0].v[0]=1;
	for(int i=1;i<=n;i++){
		f[i]=f[i-1]>>1;
		for(int j=i,w=1;j;w=1ll*w*a[j][j-1]%mod,j--){
			int res=1ll*a[j][i]*w%mod;f[i]=f[i]-(f[j-1]*res);
		}
	}
	return f[n];
}
Faction F;int cnt,D[N][N],E[N];
void solve(int a[N][N],int b[N][N],int c[N][N],int n){
	bool fl=0;
	for(int i=1;i<=n;i++){
		while(!a[i][i]){
			for(int j=i+1;j<=n;j++)if(a[i][j]){for(int k=1;k<=n;k++) swap(a[k][i],a[k][j]),swap(b[k][i],b[k][j]),swap(c[k][i],c[k][j]);fl^=1;break;}
			if(a[i][i]) break;
			for(int k=1;k<=n;k++) a[i][k]=b[i][k],b[i][k]=c[i][k],c[i][k]=0;
			cnt++;
			if(cnt>2*n) return ;
			for(int j=1;j<i;j++){
				int inv=qpow(a[j][j],mod-2),res=1ll*inv*a[i][j]%mod;
				for(int k=1;k<=n;k++) Del(a[i][k],1ll*res*a[j][k]%mod),Del(b[i][k],1ll*res*b[j][k]%mod),Del(c[i][k],1ll*res*c[j][k]%mod);
			}
		}
		int inv=qpow(a[i][i],mod-2);
		for(int j=1;j<=n;j++) if(j!=i){
			int res=1ll*inv*a[j][i]%mod;
			for(int k=1;k<=n;k++) Del(a[j][k],1ll*res*a[i][k]%mod),Del(b[j][k],1ll*res*b[i][k]%mod),Del(c[j][k],1ll*res*c[i][k]%mod);
		}
	}
	for(int i=1;i<=n;i++) for(int j=1;j<=n;j++) b[i][j]=del(mod,b[i][j]);
	for(int i=1;i<=n;i++) for(int j=1;j<=n;j++) c[i][j]=del(mod,c[i][j]);
	int res=1;
	for(int i=1;i<=n;i++){
		res=1ll*res*a[i][i]%mod;
		int inv=qpow(a[i][i],mod-2);
		for(int j=1;j<=n;j++) b[i][j]=1ll*b[i][j]*inv%mod,c[i][j]=1ll*c[i][j]*inv%mod;
		a[i][i]=1;
	}
	for(int i=1;i<=n;i++) for(int j=n+1;j<=n+n;j++) D[i][j]=(i==j-n);
	for(int i=n+1;i<=n+n;i++) for(int j=1;j<=n;j++) D[i][j]=c[i-n][j];
	for(int i=n+1;i<=n+n;i++) for(int j=n+1;j<=n+n;j++) D[i][j]=b[i-n][j-n];
	F=det(D,2*n);F=F*res;F=F<<cnt,F.init(min(F.len,2*n));
	if(fl) rev(F);
}
int n,m,k,a[N],b[N],dp[N][N],d[N][N],A[N][N],B[N][N],C[N][N],t[N][N],si[N],sj[N];
char ch[N][N];
signed main(){
//	freopen("a.in","r",stdin);
	ios::sync_with_stdio(false);cin.tie(0);cout.tie(0);
	cin>>n>>m>>k;
	for(int i=1;i<=n;i++) cin>>a[i]; 
	for(int i=1;i<=m;i++) cin>>b[i];
	for(int i=1;i<=k;i++) cin>>(ch[i]+1);
	for(int i=1;i<=n;i++){
		for(int j=1;j<=k;j++) for(int p=1;p<=k;p++) dp[j][p]=0;
		if(ch[1][a[i]]=='1') dp[1][a[i]]=1;
		for(int j=1;j<=k;j++) for(int p=1;p<=k;p++) if(dp[j][p]){
			if(ch[j+1][p]=='1') Add(dp[j+1][p],dp[j][p]);
			if(ch[j][p+1]=='1') Add(dp[j][p+1],dp[j][p]);
		}
		for(int j=1;j<=m;j++) d[i][j]=dp[k][b[j]];
	}
//	for(int i=1;i<=n;i++){
//		for(int j=1;j<=m;j++) cout<<d[i][j]<<' ';cout<<'\n'; 
//	}
	d[++n][++m]=1;
	for(int i=1;i<n;i++) for(int j=i+1;j<=n;j++){
		for(int p=1;p<=m;p++) si[p]=d[i][p],sj[p]=d[j][p];
		int x=0,y=0,z=0;
		for(int p=m;p;p--){
			Add(z,del(1ll*si[p]*y%mod,1ll*sj[p]*x%mod));
			Add(x,si[p]),Add(y,sj[p]);
		}
		t[i][j]=z,t[j][i]=del(0,z);
	}
	int nn=n;if(n&1) n++;
	for(int i=1;i<n;i++) for(int j=i+1;j<=n;j++){
		C[i][j]=iep(i+j+1);
		if(j<nn) A[i][j]=t[i][j];
		else if(j==nn) B[i][j]=t[i][j];
		C[j][i]=del(0,C[i][j]);B[j][i]=del(0,B[i][j]);A[j][i]=del(0,A[i][j]);
	}
	solve(A,B,C,n);
	int s=F.len;
	E[0]=1;
	for(int i=1;i<=s/2;i++){
		E[i]=F.v[i];
		for(int j=1;j<i;j++) Del(E[i],1ll*E[j]*E[i-j]%mod);
		E[i]=1ll*E[i]*inv2%mod; 
	}
	cout<<s/2<<' '<<E[s/2]<<'\n';
	return 0;
}