#include <stdio.h>
#include <stdint.h>
void convert_to_big_endian(uint32_t value, uint8_t arr[4]) {
// Your code here
uint32_t m1 = 0xFF000000;
uint32_t m2 = 0x00FF0000;
uint32_t m3 = 0x0000FF00;
uint32_t m4 = 0x000000FF;
arr[0]=(value & m1)>>24;
arr[1]=(value & m2)>>16;
arr[2]=(value & m3)>>8;
arr[3]=(value & m4)>>0;
}
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;
}