write('∞');