2:1-2:3	TYP	typ
2:5-2:6	ID	t1
2:8-2:8	EQUALS	=
2:10-2:10	LBRACKET	(
2:11-2:11	ID	i
2:12-2:12	COLON	:
2:13-2:15	INT	int
2:16-2:16	COMMA	,
2:18-2:18	ID	n
2:19-2:19	COLON	:
2:21-2:21	HAT	^
2:22-2:23	ID	t2
2:24-2:24	RBRACKET	)
3:1-3:3	TYP	typ
3:5-3:6	ID	t2
3:8-3:8	EQUALS	=
3:10-3:10	LBRACKET	(
3:11-3:11	ID	j
3:12-3:12	COLON	:
3:13-3:15	INT	int
3:16-3:16	COMMA	,
3:18-3:18	ID	n
3:19-3:19	COLON	:
3:21-3:21	HAT	^
3:22-3:23	ID	t1
3:24-3:24	RBRACKET	)
	EOF