#include <stdio.h>

int main(void) {
	char cha[] = "31-\x31" "-31";
	printf("%s\n", cha);
	return 0;
}