main(_,i){printf("/%d",24-i%9);}