import std.stdio;

void main() {
    writef("1 %s", readln);
}