#include<bits/stdc++.h>
using namespace std;
#define int long long
int MOD=1000000007LL;
int ans,bit;
int h,w,k,p;
int x[20],y[20];
string n[20];
int dp[40][40];
bool used[40][40];
typedef pair<int,int> P;
struct st{
  int y,x;
  st(){}
  st(int y,int x):y(y),x(x){}
};
signed main(){
  cin>>h>>w>>k>>p;
  for(int i=0;i<k;i++) cin>>x[i]>>y[i]>>n[i];
  map<P,int> m;
  for(int i=0;i<k;i++) m[P(y[i],x[i])]=i;
  int ax[2]={1,0};
  int ay[2]={0,1};
  ans=0;bit=0;
  for(int b=0;b<(1<<k);b++){
    if(__builtin_popcount(b)>p) continue;
    memset(dp,0,sizeof(dp));
    memset(used,0,sizeof(used));
    queue<st> q;
    dp[0][0]=1;
    used[0][0]=1;
    q.push(st(0,0));
    while(!q.empty()){
      st s=q.front();q.pop();
      int cy=s.y,cx=s.x;
      for(int l=0;l<2;l++){
	int ny=cy+ay[l],nx=cx+ax[l];
	if(ny<0||ny>w||nx<0||nx>h) continue;
	if(m.count(P(ny,nx))&&((b>>m[P(ny,nx)])&1)==0) continue; 
	dp[ny][nx]+=dp[cy][cx];
	if(!used[ny][nx]){
	  used[ny][nx]=1;
	  q.push(st(ny,nx));
	}
      }
    }
    if(ans<dp[w][h]){
      ans=dp[w][h];
      bit=b;
    }
  }
  cout<<ans%MOD<<endl;
  for(int i=0;i<k;i++)
    if((bit>>i)&1) cout<<n[i]<<endl;
  return 0;
}