#include <string.h>
#include <assert.h>
#include <stdlib.h>

char s[10000000],*p,*q;
int cnt;
main(){
	gets(s);
	p=strtok(s," ");
	while(p){
		cnt++;
		int n=strlen(p);
		assert(1<=n&&n<=19);
		assert(*p!='0'||n==1);
		unsigned long long x=strtoull(p,q,10);
		assert(q==NULL&&x<=1000000000000000000ULL);
		p=strtok(NULL," ");
	}
	assert(cnt==26);
	gets(s);
	int n=strlen(s);
	assert(1<=n&&n<=1000000);
	assert(gets(s)==NULL);
}