#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));
}