#include <stdio.h>

int main(void) {
	int k;
	printf("%d %d\n",k=1,k=3);
	return 0;
}