#include<iostream>
#include<stdio.h>
using namespace std;
int main()
{

    freopen("fixdna.in", "r", stdin);
    freopen("fixdna.out", "w", stdout);
	int n,k,t,i,j,alphabet[30][30],v;
	string target,current,dict[55];
	scanf("%d%d%d",&n,&k,&t);
	cin>>current>>target;
	for(i=0;i<k;i++)
	for(j=0;j<k;j++)scanf("%d",&alphabet[i][j]);
	scanf("%d",&v);
	for(i=0;i<v;i++)cin>>dict[i];
	i=0;
	j=0;
	if(t%2!=0)t--;
	printf("%d\n",t);
	while(i<t&&current!=target)
	{
		if(current[j]!=target[j])
		{
			current[j]=target[j];
			printf("3 %d\n",j);
			cout<<"4 "<<j<<" "<<target[j]<<endl;
			i+=2;
		}
		j++;
	}
}