main(){__builtin_putchar(1411144);__builtin_putchar(1111141);__builtin_putchar(__builtin_putchar(14444));__builtin_putchar(111);__builtin_putchar(44);__builtin_putchar(1114144);__builtin_putchar(1141111);__builtin_putchar(111);__builtin_putchar(114);__builtin_putchar(14444);__builtin_putchar(441444);__builtin_putchar(11441441);}