#include <stdio.h>
#include <stdint.h>
void convert_to_big_endian(uint32_t value, uint8_t arr[4]) {
// uint8_t idx = 0;
// for (int i = 24; i >= 0; i -= 8) {
// arr[idx] = (uint8_t)((value >> i) & 0xFF); // (1<<8)-1 = 255 = 0xFF
// idx += 1;
// }
arr[0] = (value >> 24) & 0xFF;
arr[1] = (value >> 16) & 0xFF;
arr[2] = (value >> 8) & 0xFF;
arr[3] = value & 0xFF;
}
int main() {
uint32_t value;
uint8_t arr[4];
scanf("%u", &value);
convert_to_big_endian(value, arr);
for (int i = 0; i < 4; i++) {
printf("%u", arr[i]);
if(i<3){
printf(" ");
}
}
return 0;
}