#include<iostream>
using namespace std;
int m[35][35];
int x[15],y[15];
string s[15];
int H,W,K,P;
main()
{
	cin>>H>>W>>K>>P;
	for(int i=0;i<K;i++)
	{
		cin>>x[i]>>y[i]>>s[i];
		m[x[i]][y[i]]=1;
	}
	long maxi=0,maxc=0;
	for(int i=0;i<1<<K;i++)
	{
		int cntpop=0;
		for(int j=0;j<K;j++)if(i&(1<<j))cntpop++;
		if(cntpop!=P&&i!=0)continue;
		for(int j=0;j<K;j++)if(i&(1<<j))m[x[j]][y[j]]=0;
		long dp[35][35]={};
		if(!m[0][0])dp[0][0]=1;
		for(int j=0;j<=H;j++)for(int k=0;k<=W;k++)
		{
			if(!m[j+1][k])dp[j+1][k]+=dp[j][k];
			if(!m[j][k+1])dp[j][k+1]+=dp[j][k];
		}
		if(dp[H][W]>maxc)
		{
			maxc=dp[H][W];
			maxi=i;
		}
		for(int j=0;j<K;j++)if(i&(1<<j))m[x[j]][y[j]]=1;
	}
	cout<<maxc%1000000007<<endl;
	for(int i=0;i<K;i++)if(maxi&(1<<i))cout<<s[i]<<endl;
}