#include <time.h>
#include <stdio.h>

int main(void) {
	time_t times[] = {645703200, 49888800};

	for (int i = 0; i < 2; i++) {
		printf("%s", ctime(times + i));
	}
}