print'eJyFkbGVBDEIQ/OpgkdC4kcBogb1387hxXjsvWAdDR+ENbLIOkENIOJpMAwBUTVvNBiec4wgni0jAc7zvIQUnuzzvca2NkvYqHHaggaI8R5MGlJi3WhS07R3EvGr4lflZ3WpjO7/Ouktt6eb8LsT5W1a8rOx+PQfB0f/C1vAnUrvIX5yXJybR/PKLRYfb4Yl8OJx5I0loNz5Wl3QWPfjFJ2r8QavioTIt/gDXqZsLQ=='.decode('base64').decode('zip')