#include <stdio.h>
void main(void) {
	int i,j,k;
	char *data[500],*ss,*s1,*s2;
	FILE *fp;
	char digit;
	fp = fopen("DD","r");
	i = 0;	
	ss = new char[2000];
	while(fscanf(fp,"%s",ss)!=EOF) {
		data[i] = ss;	
		i++;
		ss = new char[2000];
	}
	printf("%d\n",i);	
	int is11,is10,is01;
	
	for(i=0;i<10;i++) {
		for(j=i+1;j<10;j++) {
			is11 = is10 = is01 = 0;
			for(k=0;k<10;k++) {
				s1 = data[k];
				if(s1[i]=='1'&&s1[j]=='1')
					is11 = 1;
				else if(s1[i]=='1'&&s1[j]=='0')
					is10 = 1;
				else if(s1[i]=='0'&&s1[j]=='1')
					is01 = 1;
			}
			if(is11==1 && is10 == 1 && is01 ==1)
				printf("NOTREE at %d %d\n",i+1,j+1);
		}
	}
}