#include <stdio.h>
int main(void) {
// your code goes here
char *s = "Booting Linux on physical CPU 0x0000000000 [0x411fd090]";
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CgppbnQgbWFpbih2b2lkKSB7CgkvLyB5b3VyIGNvZGUgZ29lcyBoZXJlCgljaGFyICpzID0gIkJvb3RpbmcgTGludXggb24gcGh5c2ljYWwgQ1BVIDB4MDAwMDAwMDAwMCBbMHg0MTFmZDA5MF0iOwoJcHJpbnRmKCIlZCIsIHN0cmxlbihzKSk7CglyZXR1cm4gMDsKfQo=