*** Welcome to piglix ***

Programmed input

...