print(["/24","/25","/32"][mod(?getpid(),17)]);