#include <stdio.h>
void main(void) {
  printf("%d %d %d\n", (char)10, (char)(10+256), (char)(10-256));
}