1:1	LINE+
1:1	*	"*"
1:1	LINE+
1:3	INT	"0"
2:1	LINE-
2:1	LINE=
2:1	*	"*"
2:1	LINE+
2:3	INT	"+0"
3:1	LINE-
3:1	LINE=
3:1	*	"*"
3:1	LINE+
3:3	INT	"-0"
5:1	LINE-
5:1	LINE=
5:1	*	"*"
5:1	LINE+
5:3	INT	"1"
6:1	LINE-
6:1	LINE=
6:1	*	"*"
6:1	LINE+
6:3	INT	"+1"
7:1	LINE-
7:1	LINE=
7:1	*	"*"
7:1	LINE+
7:3	INT	"-1"
9:1	LINE-
9:1	LINE=
9:1	*	"*"
9:1	LINE+
9:3	INT	"42"
10:1	LINE-
10:1	LINE=
10:1	*	"*"
10:1	LINE+
10:3	INT	"+42"
11:1	LINE-
11:1	LINE=
11:1	*	"*"
11:1	LINE+
11:3	INT	"-42"
13:1	LINE-
13:1	LINE=
13:1	*	"*"
13:1	LINE+
13:3	INT	"9223372036854775807"
14:1	LINE-
14:1	LINE=
14:1	*	"*"
14:1	LINE+
14:3	INT	"+9223372036854775807"
15:1	LINE-
15:1	LINE=
15:1	*	"*"
15:1	LINE+
15:3	INT	"-9223372036854775808"
16:1	LINE-
16:1	LINE-
