#include <stdio.h>
#include <xmmintrin.h>
 
int main(void) {
	int day = 0;
	scanf("%d", &day);
 
	char days[8][16] = {
		"\0\0\0\0\0\0\0\0\0\0\0\0\0---",
		"\0\0\0\0\0\0\0\0\0\0\0\0\0Mon",
		"\0\0\0\0\0\0\0\0\0\0\0\0Tues",
		"\0\0\0\0\0\0\0\0\0\0Wednes",
		"\0\0\0\0\0\0\0\0\0\0\0Thurs",
		"\0\0\0\0\0\0\0\0\0\0\0\0\0Fri",
		"\0\0\0\0\0\0\0\0\0\0\0Satur",
		"\0\0\0\0\0\0\0\0\0\0\0\0\0Sun",
	};
	char res[20] = "\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0day";
 
	_mm_storeu_ps(res, _mm_loadu_ps(days + (day & 0x07)));
	char *s = res + 10;
	while (*s == '\0') ++s;
	printf("%d -> %s\n", day, s);
 
	return 0;
}
 

I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDx4bW1pbnRyaW4uaD4KCmludCBtYWluKHZvaWQpIHsKCWludCBkYXkgPSAwOwoJc2NhbmYoIiVkIiwgJmRheSk7CgkKCWNoYXIgZGF5c1s4XVsxNl0gPSB7CgkJIlwwXDBcMFwwXDBcMFwwXDBcMFwwXDBcMFwwLS0tIiwKCQkiXDBcMFwwXDBcMFwwXDBcMFwwXDBcMFwwXDBNb24iLAoJCSJcMFwwXDBcMFwwXDBcMFwwXDBcMFwwXDBUdWVzIiwKCQkiXDBcMFwwXDBcMFwwXDBcMFwwXDBXZWRuZXMiLAoJCSJcMFwwXDBcMFwwXDBcMFwwXDBcMFwwVGh1cnMiLAoJCSJcMFwwXDBcMFwwXDBcMFwwXDBcMFwwXDBcMEZyaSIsCgkJIlwwXDBcMFwwXDBcMFwwXDBcMFwwXDBTYXR1ciIsCgkJIlwwXDBcMFwwXDBcMFwwXDBcMFwwXDBcMFwwU3VuIiwKCX07CgljaGFyIHJlc1syMF0gPSAiXDBcMFwwXDBcMFwwXDBcMFwwXDBcMFwwXDBcMFwwXDBkYXkiOwoJCglfbW1fc3RvcmV1X3BzKHJlcywgX21tX2xvYWR1X3BzKGRheXMgKyAoZGF5ICYgMHgwNykpKTsKCWNoYXIgKnMgPSByZXMgKyAxMDsKCXdoaWxlICgqcyA9PSAnXDAnKSArK3M7CglwcmludGYoIiVkIC0+ICVzXG4iLCBkYXksIHMpOwoJCglyZXR1cm4gMDsKfQo=

NQ==

5