// Lynkcat.
// Problem: P7736 [NOI2021] 路径交点
// Contest: Luogu
// URL: https://www.luogu.com.cn/problem/P7736
// Memory Limit: 1024 MB
// Time Limit: 1000 ms

#include<bits/stdc++.h>
#define poly vector<int>
#define matrix vector<poly>
#define IOS ios::sync_with_stdio(false)
#define ll long long
#define mp make_pair
#define mt make_tuple
#define pa pair < int,int >
#define fi first
#define se second
#define inf 1e18
#define mod 1000000007
#define int ll
using namespace std;
int n,m,K;
int a[405],b[405],usd[405][405];
int f[405][405],pth[405][405];
int quickPower(int x,int y)
{
	int res=1;
	while (y)
	{
		if (y&1) res=res*x%mod;
		x=x*x%mod;
		y>>=1;
	}
	return res;
}
matrix mul(matrix &a,matrix &b)
{
	matrix res(a.size(),poly(b[0].size(),0));
	int n=a.size(),m=b[0].size();
	for (int i=0;i<n;i++)
		for (int j=0;j<m;j++)
			for (int k=0;k<b.size();k++)
				res[i][j]=(res[i][j]+a[i][k]*b[k][j]%mod)%mod;
	return res;
}
int calc(matrix x)
{
	int n=x.size();
	int l=0;
	int ans=1;
	int fh=1;
	for (int i=0;i<n;i++)
	{
		if (!x[l][i])
		{
			for (int j=l+1;j<n;j++)
				if (x[j][i]) 
				{
					swap(x[l],x[j]);
					fh*=-1;
					break;
				}
		}
		if (!x[l][i]) 
		{
			ans=ans*0;
			continue;
		}
		ans=ans*x[l][i]%mod;
		int inv=quickPower(x[l][i],mod-2)%mod;
		for (int j=i;j<n;j++)
			x[l][j]=x[l][j]*inv%mod;
		for (int j=l+1;j<n;j++)
		{
			int o=x[j][i];
			for (int k=i;k<n;k++)
				x[j][k]=(x[j][k]-x[l][k]*o%mod+mod)%mod;
		}
		l++;
	}
	fh=(mod+fh)%mod;
	return fh*ans%mod;
}

void init()
{
    for (int i=1;i<=n;i++)
    {
        for (int x=1;x<=K;x++)
            for (int y=1;y<=K;y++)
                f[x][y]=0;
        f[1][a[i]]=1;
        for (int x=1;x<=K;x++)
            for (int y=1;y<=K;y++)
            {
                if (usd[x][y]) f[x][y]=(f[x][y]+f[x][y-1]+f[x-1][y])%mod;
            }
        for (int j=1;j<=m;j++) 
        {
            // cout<<i<<" "<<j<<" "<<f[K][b[j]]<<endl;
            pth[i][j]=f[K][b[j]];
        }
    }
}
int gtans()
{
    int tot=0;
    for (int i=1;i<=n;i++)
    {
        if (!usd[1][a[i]]) continue;
        for (int x=1;x<=K;x++)
            for (int y=1;y<=K;y++)
                f[x][y]=0;
        f[1][a[i]]=1;
        for (int x=1;x<=K;x++)
            for (int y=1;y<=K;y++)
            {
                if (usd[x][y]) f[x][y]|=f[x-1][y]|f[x][y-1];
            }
        for (int j=1;j<=m;j++)
            if (f[K][b[j]])
            {
                tot++;
                int x=K,y=b[j];
                while (x!=1||y!=a[i])
                {
                    // assert(usd[x][y]);
                    // cout<<x<<" "<<y<<endl;
                    usd[x][y]=0;
                    if (f[x][y-1]) y--;
                    else x--;
                }
                // assert(usd[x][y]);
                usd[x][y]=0;
                break;
            }
    }
    return tot;
}    
void BellaKira()
{
    cin>>n>>m>>K;
    for (int i=1;i<=n;i++)
        cin>>a[i];
    sort(a+1,a+n+1);
    for (int i=1;i<=m;i++)
        cin>>b[i];
    sort(b+1,b+m+1);
    for (int i=1;i<=K;i++)
        for (int j=1;j<=K;j++)
        {
            char ch;
            cin>>ch;
            usd[i][j]=ch-'0';
        }
    init();
    int k=4;
    a[1]=gtans();
    a[k]=a[1];
    a[2]=n,a[3]=m;

	matrix nw(n,poly(m,0));
	// for (int i=0;i<a[1];i++)
	// 	nw[i][i]=1;
    for (int i=0;i<n;i++)
    {
        for (int j=0;j<m;j++) nw[i][j]=pth[i+1][j+1];
    }
	// for (int i=1;i<k;i++)
	// {
	// 	matrix now(a[i],poly(a[i+1],0));
    //     if (i==1)
    //     {
    //         for (int x=0;x<a[i];x++)
    //             for (int y=0;y<a[i+1];y++) now[x][y]=1;
    //     } else
    //     if (i==3)
    //     {
    //         for (int x=0;x<a[i];x++)
    //             for (int y=0;y<a[i+1];y++) now[x][y]=1;
    //     } else
    //     {
    //         for (int x=0;x<a[i];x++)
    //             for (int y=0;y<a[i+1];y++) now[x][y]=pth[x+1][y+1];
    //     }
	// 	nw=mul(nw,now);
    //     {
    //         for (int i=0;i<nw.size();i++)
    //         {
    //             for (int j=0;j<nw[i].size();j++) cout<<nw[i][j]<<" ";
    //             cout<<'\n';
    //         }
    //     }
    //     cout<<'\n';
	// }
	cout<<a[1]<<" "<<calc(nw)<<'\n';
		
}
signed main()
{
	IOS;
	int T=1;
	while (T--)
	{
		BellaKira();
	}
}