#include <stdio.h>
#include <stdint.h>
void convert_to_big_endian(uint32_t value, uint8_t arr[4]) {
// Your code here
int bitmask=1<<24;
for(int i=1;i<8;i++){
bitmask+=1<<(24+i);
}
int i=31;
int j=0;
while(i>0){
arr[j]=(bitmask&value)>>(i+1-8);
bitmask=bitmask>>8;
i=i-8;
j++;
}
}
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;
}