#include <stdio.h>
void main(void){
	char ans[1000000] = "a" ;
	scanf("%s",ans);
	printf("1 %s",ans);
}