puts'-∞'