-- yukicoder My Practice
-- author: Leonardone @ NEETSDKASU

main = readLn >>= putStrLn . maybe "Petr" id . flip lookup [(1, "square1001")]