#!/usr/bin/env python3

ascii_char = chr(0x70)
print(f"picoCTF{{{ascii_char}}}")