#include <stdio.h>

void reverse_byte32(unsigned int *x) {

*x = ((*x >> 24) & 0xFF) | ((*x >> 8) & 0xFF00) | ((*x << 8) & 0xFF0000) | ((*x << 24) & 0xFF000000);

}

void reverse_byte64(unsigned long long *x) {

*x = ((*x >> 56) & 0xFFULL) | ((*x >> 40) & 0xFF00ULL) | ((*x >> 24) & 0xFF0000ULL) | ((*x >> 8) & 0xFF000000ULL) |

((*x << 8) & 0xFF00000000ULL) | ((*x << 24) & 0xFF0000000000ULL) | ((*x << 40) & 0xFF000000000000ULL) | ((*x << 56) & 0xFF00000000000000ULL);

}

int main() {

unsigned int x1;

unsigned long long x2;

scanf("%u", &x1);

scanf("%llu", &x2);

printf("0x%08X ~ ", x1);

reverse_byte32(&x1);

printf("0x%08X\n", x1);

printf("0x%016llX ~ ", x2);

reverse_byte64(&x2);

printf("0x%016llX\n", x2);

return 0;

}