#include <iostream>
int main() {
uint16_t tmp16;
uint64_t serialNo=0;
for (int i = 0; i< 3; i++)
{
std::cin >> tmp16;
serialNo = (serialNo << 16) | tmp16;
}
std::cout << sizeof(serialNo)*8 << ' ' << serialNo;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgoKaW50IG1haW4oKSB7CnVpbnQxNl90IHRtcDE2Owp1aW50NjRfdCBzZXJpYWxObz0wOwoKZm9yIChpbnQgaSA9IDA7IGk8IDM7IGkrKykKewpzdGQ6OmNpbiA+PiB0bXAxNjsKc2VyaWFsTm8gPSAoc2VyaWFsTm8gPDwgMTYpIHwgdG1wMTY7Cn0Kc3RkOjpjb3V0IDw8IHNpemVvZihzZXJpYWxObykqOCA8PCAnICcgPDwgc2VyaWFsTm87Cn0=