1:1	LINE+
1:1	INF	"+inf"
2:1	LINE-
