#include <stdio.h>

int main(void) {
printf("%d %d %d", '0', '/', '0'*256+'/');
return 0;
}