id	sid	tid	token	lemma	pos
ejpam-2678	1	1	european	european	PROPN
ejpam-2678	1	2	journal	journal	PROPN
ejpam-2678	1	3	of	of	ADP
ejpam-2678	1	4	pure	pure	ADJ
ejpam-2678	1	5	and	and	CCONJ
ejpam-2678	1	6	applied	apply	VERB
ejpam-2678	1	7	mathematics	mathematic	NOUN
ejpam-2678	1	8	vol	vol	NOUN
ejpam-2678	1	9	.	.	PROPN
ejpam-2678	2	1	10	10	NUM
ejpam-2678	2	2	,	,	PUNCT
ejpam-2678	2	3	no	no	INTJ
ejpam-2678	2	4	.	.	NOUN
ejpam-2678	2	5	4	4	NUM
ejpam-2678	2	6	,	,	PUNCT
ejpam-2678	2	7	2017	2017	NUM
ejpam-2678	2	8	,	,	PUNCT
ejpam-2678	2	9	908	908	NUM
ejpam-2678	2	10	-	-	SYM
ejpam-2678	2	11	915	915	NUM
ejpam-2678	2	12	issn	issn	PROPN
ejpam-2678	2	13	1307	1307	NUM
ejpam-2678	2	14	-	-	SYM
ejpam-2678	2	15	5543	5543	NUM
ejpam-2678	2	16	–	–	PUNCT
ejpam-2678	2	17	www.ejpam.com	www.ejpam.com	X
ejpam-2678	2	18	published	publish	VERB
ejpam-2678	2	19	by	by	ADP
ejpam-2678	2	20	new	new	PROPN
ejpam-2678	2	21	york	york	PROPN
ejpam-2678	2	22	business	business	PROPN
ejpam-2678	3	1	global	global	PROPN
ejpam-2678	3	2	an	an	DET
ejpam-2678	3	3	unified	unify	VERB
ejpam-2678	3	4	theorem	theorem	NOUN
ejpam-2678	3	5	for	for	ADP
ejpam-2678	3	6	mappings	mapping	NOUN
ejpam-2678	3	7	in	in	ADP
ejpam-2678	3	8	orbitally	orbitally	ADV
ejpam-2678	3	9	complete	complete	ADJ
ejpam-2678	3	10	partial	partial	ADJ
ejpam-2678	3	11	metric	metric	ADJ
ejpam-2678	3	12	spaces	space	NOUN
ejpam-2678	3	13	valeriu	valeriu	NOUN
ejpam-2678	3	14	popa1	popa1	NOUN
ejpam-2678	3	15	,	,	PUNCT
ejpam-2678	3	16	alina	alina	PROPN
ejpam-2678	3	17	-	-	PUNCT
ejpam-2678	3	18	mihaela	mihaela	PROPN
ejpam-2678	3	19	patriciu2,∗	patriciu2,∗	ADJ
ejpam-2678	3	20	1	1	NUM
ejpam-2678	3	21	“	"	PUNCT
ejpam-2678	3	22	vasile	vasile	NOUN
ejpam-2678	3	23	alecsandri	alecsandri	NOUN
ejpam-2678	3	24	”	"	PUNCT
ejpam-2678	3	25	university	university	NOUN
ejpam-2678	3	26	of	of	ADP
ejpam-2678	3	27	bacău	bacău	PROPN
ejpam-2678	3	28	,	,	PUNCT
ejpam-2678	3	29	romania	romania	PROPN
ejpam-2678	3	30	2	2	NUM
ejpam-2678	3	31	department	department	NOUN
ejpam-2678	3	32	of	of	ADP
ejpam-2678	3	33	mathematics	mathematics	PROPN
ejpam-2678	3	34	and	and	CCONJ
ejpam-2678	3	35	computer	computer	NOUN
ejpam-2678	3	36	sciences	science	NOUN
ejpam-2678	3	37	,	,	PUNCT
ejpam-2678	3	38	faculty	faculty	NOUN
ejpam-2678	3	39	of	of	ADP
ejpam-2678	3	40	sciences	science	NOUN
ejpam-2678	3	41	and	and	CCONJ
ejpam-2678	3	42	environment	environment	NOUN
ejpam-2678	3	43	,	,	PUNCT
ejpam-2678	3	44	“	"	PUNCT
ejpam-2678	3	45	dunărea	dunărea	PROPN
ejpam-2678	3	46	de	de	X
ejpam-2678	3	47	jos	jos	PROPN
ejpam-2678	3	48	”	"	PUNCT
ejpam-2678	3	49	university	university	NOUN
ejpam-2678	3	50	of	of	ADP
ejpam-2678	3	51	galaţi	galaţi	PROPN
ejpam-2678	3	52	,	,	PUNCT
ejpam-2678	3	53	romania	romania	PROPN
ejpam-2678	3	54	abstract	abstract	NOUN
ejpam-2678	3	55	.	.	PUNCT
ejpam-2678	4	1	in	in	ADP
ejpam-2678	4	2	this	this	DET
ejpam-2678	4	3	paper	paper	NOUN
ejpam-2678	4	4	an	an	DET
ejpam-2678	4	5	unified	unify	VERB
ejpam-2678	4	6	theorem	theorem	NOUN
ejpam-2678	4	7	for	for	ADP
ejpam-2678	4	8	mappings	mapping	NOUN
ejpam-2678	4	9	in	in	ADP
ejpam-2678	4	10	orbitally	orbitally	ADV
ejpam-2678	4	11	complete	complete	ADJ
ejpam-2678	4	12	partial	partial	ADJ
ejpam-2678	4	13	metric	metric	ADJ
ejpam-2678	4	14	spaces	space	NOUN
ejpam-2678	4	15	is	be	AUX
ejpam-2678	4	16	proved	prove	VERB
ejpam-2678	4	17	.	.	PUNCT
ejpam-2678	5	1	this	this	DET
ejpam-2678	5	2	theorem	theorem	NOUN
ejpam-2678	5	3	generalizes	generalize	NOUN
ejpam-2678	5	4	and	and	CCONJ
ejpam-2678	5	5	proves	prove	VERB
ejpam-2678	5	6	theorems	theorem	NOUN
ejpam-2678	5	7	8	8	NUM
ejpam-2678	5	8	and	and	CCONJ
ejpam-2678	5	9	9	9	NUM
ejpam-2678	5	10	[	[	SYM
ejpam-2678	5	11	8	8	NUM
ejpam-2678	5	12	]	]	PUNCT
ejpam-2678	5	13	,	,	PUNCT
ejpam-2678	5	14	theorem	theorem	VERB
ejpam-2678	5	15	3.2	3.2	NUM
ejpam-2678	5	16	[	[	SYM
ejpam-2678	5	17	10	10	NUM
ejpam-2678	5	18	]	]	PUNCT
ejpam-2678	5	19	and	and	CCONJ
ejpam-2678	5	20	theorem	theorem	VERB
ejpam-2678	5	21	2.6	2.6	NUM
ejpam-2678	6	1	[	[	X
ejpam-2678	6	2	7	7	NUM
ejpam-2678	6	3	]	]	PUNCT
ejpam-2678	6	4	.	.	PUNCT
ejpam-2678	7	1	2010	2010	NUM
ejpam-2678	7	2	mathematics	mathematic	NOUN
ejpam-2678	7	3	subject	subject	NOUN
ejpam-2678	7	4	classifications	classification	NOUN
ejpam-2678	7	5	:	:	PUNCT
ejpam-2678	7	6	54h25	54h25	NUM
ejpam-2678	7	7	,	,	PUNCT
ejpam-2678	7	8	47h10	47h10	PRON
ejpam-2678	7	9	key	key	ADJ
ejpam-2678	7	10	words	word	NOUN
ejpam-2678	7	11	and	and	CCONJ
ejpam-2678	7	12	phrases	phrase	NOUN
ejpam-2678	7	13	:	:	PUNCT
ejpam-2678	7	14	fixed	fixed	ADJ
ejpam-2678	7	15	point	point	NOUN
ejpam-2678	7	16	,	,	PUNCT
ejpam-2678	7	17	orbitally	orbitally	ADV
ejpam-2678	7	18	complete	complete	ADJ
ejpam-2678	7	19	,	,	PUNCT
ejpam-2678	7	20	partial	partial	ADJ
ejpam-2678	7	21	metric	metric	ADJ
ejpam-2678	7	22	space	space	NOUN
ejpam-2678	7	23	,	,	PUNCT
ejpam-2678	7	24	implicit	implicit	ADJ
ejpam-2678	7	25	relation	relation	NOUN
ejpam-2678	7	26	1	1	NUM
ejpam-2678	7	27	.	.	PUNCT
ejpam-2678	7	28	introduction	introduction	NOUN
ejpam-2678	7	29	in	in	ADP
ejpam-2678	7	30	1974	1974	NUM
ejpam-2678	7	31	,	,	PUNCT
ejpam-2678	7	32	ćirić	ćirić	PROPN
ejpam-2678	8	1	[	[	X
ejpam-2678	8	2	4	4	X
ejpam-2678	8	3	]	]	PUNCT
ejpam-2678	8	4	has	have	AUX
ejpam-2678	8	5	first	first	ADV
ejpam-2678	8	6	introduced	introduce	VERB
ejpam-2678	8	7	orbitally	orbitally	ADV
ejpam-2678	8	8	complete	complete	ADJ
ejpam-2678	8	9	metric	metric	ADJ
ejpam-2678	8	10	spaces	space	NOUN
ejpam-2678	8	11	and	and	CCONJ
ejpam-2678	8	12	orbitally	orbitally	ADV
ejpam-2678	8	13	continuous	continuous	ADJ
ejpam-2678	8	14	functions	function	NOUN
ejpam-2678	8	15	.	.	PUNCT
ejpam-2678	9	1	let	let	VERB
ejpam-2678	9	2	f	f	PRON
ejpam-2678	9	3	be	be	AUX
ejpam-2678	9	4	a	a	DET
ejpam-2678	9	5	self	self	NOUN
ejpam-2678	9	6	mapping	mapping	NOUN
ejpam-2678	9	7	of	of	ADP
ejpam-2678	9	8	a	a	DET
ejpam-2678	9	9	metric	metric	ADJ
ejpam-2678	9	10	space	space	NOUN
ejpam-2678	9	11	(	(	PUNCT
ejpam-2678	9	12	x	x	X
ejpam-2678	9	13	,	,	PUNCT
ejpam-2678	9	14	d	d	NOUN
ejpam-2678	9	15	)	)	PUNCT
ejpam-2678	9	16	.	.	PUNCT
ejpam-2678	10	1	if	if	SCONJ
ejpam-2678	10	2	x0	x0	PROPN
ejpam-2678	10	3	∈	∈	PROPN
ejpam-2678	10	4	x	x	PRON
ejpam-2678	10	5	,	,	PUNCT
ejpam-2678	10	6	every	every	DET
ejpam-2678	10	7	cauchy	cauchy	ADJ
ejpam-2678	10	8	sequence	sequence	NOUN
ejpam-2678	10	9	of	of	ADP
ejpam-2678	10	10	the	the	DET
ejpam-2678	10	11	orbit	orbit	NOUN
ejpam-2678	10	12	ox0(f	ox0(f	PROPN
ejpam-2678	10	13	)	)	PUNCT
ejpam-2678	10	14	=	=	PRON
ejpam-2678	10	15	{	{	PUNCT
ejpam-2678	10	16	x0	x0	PROPN
ejpam-2678	10	17	,	,	PUNCT
ejpam-2678	10	18	fx0	fx0	PROPN
ejpam-2678	10	19	,	,	PUNCT
ejpam-2678	10	20	f2x0	f2x0	X
ejpam-2678	10	21	,	,	PUNCT
ejpam-2678	10	22	...	...	PUNCT
ejpam-2678	10	23	}	}	PUNCT
ejpam-2678	10	24	is	be	AUX
ejpam-2678	10	25	convergent	convergent	ADJ
ejpam-2678	10	26	to	to	ADP
ejpam-2678	10	27	a	a	DET
ejpam-2678	10	28	point	point	NOUN
ejpam-2678	10	29	y	y	PROPN
ejpam-2678	10	30	∈	∈	PROPN
ejpam-2678	10	31	x	x	NOUN
ejpam-2678	10	32	,	,	PUNCT
ejpam-2678	10	33	then	then	ADV
ejpam-2678	10	34	x	x	PUNCT
ejpam-2678	10	35	is	be	AUX
ejpam-2678	10	36	said	say	VERB
ejpam-2678	10	37	to	to	PART
ejpam-2678	10	38	be	be	AUX
ejpam-2678	10	39	f	f	PROPN
ejpam-2678	10	40	orbitally	orbitally	ADV
ejpam-2678	10	41	complete	complete	ADJ
ejpam-2678	10	42	in	in	ADP
ejpam-2678	10	43	x0	x0	PROPN
ejpam-2678	10	44	.	.	PUNCT
ejpam-2678	11	1	if	if	SCONJ
ejpam-2678	11	2	f	f	PROPN
ejpam-2678	11	3	is	be	AUX
ejpam-2678	11	4	orbitally	orbitally	ADV
ejpam-2678	11	5	complete	complete	ADJ
ejpam-2678	11	6	at	at	ADP
ejpam-2678	11	7	each	each	DET
ejpam-2678	11	8	x	x	SYM
ejpam-2678	11	9	∈	∈	PROPN
ejpam-2678	11	10	x	x	NOUN
ejpam-2678	11	11	,	,	PUNCT
ejpam-2678	11	12	then	then	ADV
ejpam-2678	11	13	x	x	PUNCT
ejpam-2678	11	14	is	be	AUX
ejpam-2678	11	15	said	say	VERB
ejpam-2678	11	16	to	to	PART
ejpam-2678	11	17	be	be	AUX
ejpam-2678	11	18	f	f	PROPN
ejpam-2678	11	19	orbitally	orbitally	ADV
ejpam-2678	11	20	complete	complete	ADJ
ejpam-2678	11	21	.	.	PUNCT
ejpam-2678	12	1	every	every	DET
ejpam-2678	12	2	complete	complete	ADJ
ejpam-2678	12	3	metric	metric	ADJ
ejpam-2678	12	4	space	space	NOUN
ejpam-2678	12	5	is	be	AUX
ejpam-2678	12	6	f	f	PROPN
ejpam-2678	12	7	orbitally	orbitally	ADV
ejpam-2678	12	8	complete	complete	ADJ
ejpam-2678	12	9	for	for	ADP
ejpam-2678	12	10	every	every	DET
ejpam-2678	12	11	function	function	NOUN
ejpam-2678	12	12	f	f	PROPN
ejpam-2678	12	13	.	.	PUNCT
ejpam-2678	13	1	an	an	DET
ejpam-2678	13	2	orbitally	orbitally	ADV
ejpam-2678	13	3	complete	complete	ADJ
ejpam-2678	13	4	metric	metric	ADJ
ejpam-2678	13	5	space	space	NOUN
ejpam-2678	13	6	may	may	AUX
ejpam-2678	13	7	not	not	PART
ejpam-2678	13	8	be	be	AUX
ejpam-2678	13	9	a	a	DET
ejpam-2678	13	10	complete	complete	ADJ
ejpam-2678	13	11	metric	metric	ADJ
ejpam-2678	13	12	space	space	NOUN
ejpam-2678	14	1	[	[	X
ejpam-2678	14	2	[	[	X
ejpam-2678	14	3	17	17	NUM
ejpam-2678	14	4	]	]	PUNCT
ejpam-2678	14	5	,	,	PUNCT
ejpam-2678	14	6	example	example	NOUN
ejpam-2678	14	7	2	2	NUM
ejpam-2678	14	8	]	]	PUNCT
ejpam-2678	14	9	.	.	PUNCT
ejpam-2678	15	1	let	let	VERB
ejpam-2678	15	2	f	f	PRON
ejpam-2678	15	3	be	be	AUX
ejpam-2678	15	4	a	a	DET
ejpam-2678	15	5	self	self	NOUN
ejpam-2678	15	6	mapping	mapping	NOUN
ejpam-2678	15	7	of	of	ADP
ejpam-2678	15	8	a	a	DET
ejpam-2678	15	9	metric	metric	ADJ
ejpam-2678	15	10	space	space	NOUN
ejpam-2678	15	11	(	(	PUNCT
ejpam-2678	15	12	x	x	X
ejpam-2678	15	13	,	,	PUNCT
ejpam-2678	15	14	d	d	NOUN
ejpam-2678	15	15	)	)	PUNCT
ejpam-2678	15	16	.	.	PUNCT
ejpam-2678	16	1	then	then	ADV
ejpam-2678	16	2	,	,	PUNCT
ejpam-2678	16	3	the	the	DET
ejpam-2678	16	4	mapping	mapping	NOUN
ejpam-2678	16	5	f	f	NOUN
ejpam-2678	16	6	is	be	AUX
ejpam-2678	16	7	said	say	VERB
ejpam-2678	16	8	to	to	PART
ejpam-2678	16	9	be	be	AUX
ejpam-2678	16	10	orbitally	orbitally	ADV
ejpam-2678	16	11	continuous	continuous	ADJ
ejpam-2678	16	12	at	at	ADP
ejpam-2678	16	13	the	the	DET
ejpam-2678	16	14	point	point	NOUN
ejpam-2678	16	15	x	x	X
ejpam-2678	16	16	∈	∈	NOUN
ejpam-2678	16	17	x	x	PUNCT
ejpam-2678	16	18	if	if	SCONJ
ejpam-2678	16	19	fyn	fyn	PROPN
ejpam-2678	16	20	converges	converge	VERB
ejpam-2678	16	21	to	to	PART
ejpam-2678	16	22	fz	fz	VERB
ejpam-2678	16	23	for	for	ADP
ejpam-2678	16	24	any	any	DET
ejpam-2678	16	25	subsequence	subsequence	NOUN
ejpam-2678	16	26	yn	yn	PROPN
ejpam-2678	16	27	∈	∈	PROPN
ejpam-2678	16	28	ox(f	ox(f	NOUN
ejpam-2678	16	29	)	)	PUNCT
ejpam-2678	16	30	which	which	PRON
ejpam-2678	16	31	converges	converge	VERB
ejpam-2678	16	32	to	to	ADP
ejpam-2678	16	33	the	the	DET
ejpam-2678	16	34	point	point	NOUN
ejpam-2678	16	35	z	z	NOUN
ejpam-2678	16	36	∈	∈	PROPN
ejpam-2678	16	37	x.	x.	NOUN
ejpam-2678	17	1	the	the	DET
ejpam-2678	17	2	function	function	NOUN
ejpam-2678	17	3	f	f	PROPN
ejpam-2678	17	4	is	be	AUX
ejpam-2678	17	5	said	say	VERB
ejpam-2678	17	6	to	to	PART
ejpam-2678	17	7	be	be	AUX
ejpam-2678	17	8	orbitally	orbitally	ADV
ejpam-2678	17	9	continuous	continuous	ADJ
ejpam-2678	17	10	if	if	SCONJ
ejpam-2678	17	11	it	it	PRON
ejpam-2678	17	12	is	be	AUX
ejpam-2678	17	13	orbitally	orbitally	ADV
ejpam-2678	17	14	continuous	continuous	ADJ
ejpam-2678	17	15	at	at	ADP
ejpam-2678	17	16	each	each	DET
ejpam-2678	17	17	x	x	SYM
ejpam-2678	17	18	∈	∈	PROPN
ejpam-2678	17	19	x.	x.	NOUN
ejpam-2678	18	1	any	any	DET
ejpam-2678	18	2	continuous	continuous	ADJ
ejpam-2678	18	3	self	self	NOUN
ejpam-2678	18	4	mappings	mapping	NOUN
ejpam-2678	18	5	of	of	ADP
ejpam-2678	18	6	a	a	DET
ejpam-2678	18	7	metric	metric	ADJ
ejpam-2678	18	8	space	space	NOUN
ejpam-2678	18	9	is	be	AUX
ejpam-2678	18	10	orbitally	orbitally	ADV
ejpam-2678	18	11	continuous	continuous	ADJ
ejpam-2678	18	12	.	.	PUNCT
ejpam-2678	19	1	an	an	DET
ejpam-2678	19	2	orbitally	orbitally	ADV
ejpam-2678	19	3	continuous	continuous	ADJ
ejpam-2678	19	4	mapping	mapping	NOUN
ejpam-2678	19	5	may	may	AUX
ejpam-2678	19	6	not	not	PART
ejpam-2678	19	7	be	be	AUX
ejpam-2678	19	8	continuous	continuous	ADJ
ejpam-2678	19	9	[	[	X
ejpam-2678	19	10	[	[	X
ejpam-2678	19	11	17	17	NUM
ejpam-2678	19	12	]	]	PUNCT
ejpam-2678	19	13	,	,	PUNCT
ejpam-2678	19	14	examples	example	NOUN
ejpam-2678	19	15	4	4	NUM
ejpam-2678	19	16	,	,	PUNCT
ejpam-2678	19	17	5	5	NUM
ejpam-2678	19	18	]	]	PUNCT
ejpam-2678	19	19	.	.	PUNCT
ejpam-2678	20	1	some	some	DET
ejpam-2678	20	2	fixed	fix	VERB
ejpam-2678	20	3	point	point	NOUN
ejpam-2678	20	4	results	result	NOUN
ejpam-2678	20	5	for	for	ADP
ejpam-2678	20	6	mappings	mapping	NOUN
ejpam-2678	20	7	in	in	ADP
ejpam-2678	20	8	orbitally	orbitally	ADV
ejpam-2678	20	9	complete	complete	ADJ
ejpam-2678	20	10	metric	metric	ADJ
ejpam-2678	20	11	spaces	space	NOUN
ejpam-2678	20	12	are	be	AUX
ejpam-2678	20	13	obtained	obtain	VERB
ejpam-2678	20	14	in	in	ADP
ejpam-2678	20	15	[	[	X
ejpam-2678	20	16	2	2	NUM
ejpam-2678	20	17	]	]	PUNCT
ejpam-2678	20	18	,	,	PUNCT
ejpam-2678	20	19	[	[	X
ejpam-2678	20	20	5	5	NUM
ejpam-2678	20	21	]	]	PUNCT
ejpam-2678	20	22	,	,	PUNCT
ejpam-2678	20	23	[	[	X
ejpam-2678	20	24	11	11	NUM
ejpam-2678	20	25	]	]	PUNCT
ejpam-2678	20	26	,	,	PUNCT
ejpam-2678	20	27	[	[	X
ejpam-2678	20	28	12	12	NUM
ejpam-2678	20	29	]	]	PUNCT
ejpam-2678	20	30	and	and	CCONJ
ejpam-2678	20	31	in	in	ADP
ejpam-2678	20	32	other	other	ADJ
ejpam-2678	20	33	papers	paper	NOUN
ejpam-2678	20	34	.	.	PUNCT
ejpam-2678	21	1	in	in	ADP
ejpam-2678	21	2	1994	1994	NUM
ejpam-2678	21	3	,	,	PUNCT
ejpam-2678	21	4	matthews	matthews	PROPN
ejpam-2678	21	5	[	[	X
ejpam-2678	21	6	9	9	NUM
ejpam-2678	21	7	]	]	PUNCT
ejpam-2678	21	8	introduced	introduce	VERB
ejpam-2678	21	9	the	the	DET
ejpam-2678	21	10	concept	concept	NOUN
ejpam-2678	21	11	of	of	ADP
ejpam-2678	21	12	partial	partial	ADJ
ejpam-2678	21	13	metric	metric	ADJ
ejpam-2678	21	14	spaces	space	NOUN
ejpam-2678	21	15	as	as	ADP
ejpam-2678	21	16	a	a	DET
ejpam-2678	21	17	part	part	NOUN
ejpam-2678	21	18	of	of	ADP
ejpam-2678	21	19	the	the	DET
ejpam-2678	21	20	study	study	NOUN
ejpam-2678	21	21	of	of	ADP
ejpam-2678	21	22	denotional	denotional	ADJ
ejpam-2678	21	23	semantics	semantic	NOUN
ejpam-2678	21	24	of	of	ADP
ejpam-2678	21	25	data	data	NOUN
ejpam-2678	21	26	flow	flow	VERB
ejpam-2678	21	27	net	net	ADJ
ejpam-2678	21	28	work	work	NOUN
ejpam-2678	21	29	and	and	CCONJ
ejpam-2678	21	30	proved	prove	VERB
ejpam-2678	21	31	the	the	DET
ejpam-2678	21	32	banach	banach	NOUN
ejpam-2678	21	33	contraction	contraction	NOUN
ejpam-2678	21	34	∗corresponding	∗corresponde	VERB
ejpam-2678	21	35	author	author	NOUN
ejpam-2678	21	36	.	.	PUNCT
ejpam-2678	22	1	email	email	NOUN
ejpam-2678	22	2	addresses	address	NOUN
ejpam-2678	22	3	:	:	PUNCT
ejpam-2678	22	4	vpopa@ub.ro	vpopa@ub.ro	NOUN
ejpam-2678	22	5	(	(	PUNCT
ejpam-2678	22	6	v.	v.	ADP
ejpam-2678	22	7	popa	popa	NOUN
ejpam-2678	22	8	)	)	PUNCT
ejpam-2678	22	9	,	,	PUNCT
ejpam-2678	22	10	alina.patriciu@ugal.ro	alina.patriciu@ugal.ro	NOUN
ejpam-2678	22	11	(	(	PUNCT
ejpam-2678	22	12	a.-m	a.-m	NOUN
ejpam-2678	22	13	.	.	PUNCT
ejpam-2678	23	1	patriciu	patriciu	PROPN
ejpam-2678	23	2	)	)	PUNCT
ejpam-2678	23	3	http://www.ejpam.com	http://www.ejpam.com	X
ejpam-2678	24	1	908	908	NUM
ejpam-2678	24	2	c	c	X
ejpam-2678	24	3	©	©	PROPN
ejpam-2678	24	4	2017	2017	NUM
ejpam-2678	24	5	ejpam	ejpam	NOUN
ejpam-2678	24	6	all	all	DET
ejpam-2678	24	7	rights	right	NOUN
ejpam-2678	24	8	reserved	reserve	VERB
ejpam-2678	24	9	.	.	PUNCT
ejpam-2678	25	1	v.	v.	ADP
ejpam-2678	25	2	popa	popa	NOUN
ejpam-2678	25	3	,	,	PUNCT
ejpam-2678	25	4	a.-m	a.-m	PROPN
ejpam-2678	25	5	.	.	PUNCT
ejpam-2678	26	1	patriciu	patriciu	PROPN
ejpam-2678	26	2	/	/	SYM
ejpam-2678	26	3	eur	eur	PROPN
ejpam-2678	26	4	.	.	PUNCT
ejpam-2678	27	1	j.	j.	PROPN
ejpam-2678	27	2	pure	pure	PROPN
ejpam-2678	27	3	appl	appl	PROPN
ejpam-2678	27	4	.	.	PROPN
ejpam-2678	27	5	math	math	PROPN
ejpam-2678	27	6	,	,	PUNCT
ejpam-2678	27	7	10	10	NUM
ejpam-2678	27	8	(	(	PUNCT
ejpam-2678	27	9	4	4	NUM
ejpam-2678	27	10	)	)	PUNCT
ejpam-2678	27	11	(	(	PUNCT
ejpam-2678	27	12	2017	2017	NUM
ejpam-2678	27	13	)	)	PUNCT
ejpam-2678	27	14	,	,	PUNCT
ejpam-2678	27	15	908	908	NUM
ejpam-2678	27	16	-	-	SYM
ejpam-2678	27	17	915	915	NUM
ejpam-2678	27	18	909	909	NUM
ejpam-2678	27	19	principle	principle	NOUN
ejpam-2678	27	20	in	in	ADP
ejpam-2678	27	21	such	such	ADJ
ejpam-2678	27	22	spaces	space	NOUN
ejpam-2678	27	23	.	.	PUNCT
ejpam-2678	28	1	many	many	ADJ
ejpam-2678	28	2	authors	author	NOUN
ejpam-2678	28	3	studied	study	VERB
ejpam-2678	28	4	the	the	DET
ejpam-2678	28	5	fixed	fix	VERB
ejpam-2678	28	6	points	point	NOUN
ejpam-2678	28	7	for	for	ADP
ejpam-2678	28	8	mappings	mapping	NOUN
ejpam-2678	28	9	satisfying	satisfy	VERB
ejpam-2678	28	10	contractive	contractive	ADJ
ejpam-2678	28	11	conditions	condition	NOUN
ejpam-2678	28	12	in	in	ADP
ejpam-2678	28	13	complete	complete	ADJ
ejpam-2678	28	14	partial	partial	ADJ
ejpam-2678	28	15	metric	metric	ADJ
ejpam-2678	28	16	spaces	space	NOUN
ejpam-2678	28	17	in	in	ADP
ejpam-2678	28	18	[	[	X
ejpam-2678	28	19	1	1	NUM
ejpam-2678	28	20	]	]	PUNCT
ejpam-2678	28	21	,	,	PUNCT
ejpam-2678	28	22	[	[	X
ejpam-2678	28	23	3	3	NUM
ejpam-2678	28	24	]	]	PUNCT
ejpam-2678	28	25	,	,	PUNCT
ejpam-2678	28	26	[	[	X
ejpam-2678	28	27	6	6	NUM
ejpam-2678	28	28	]	]	PUNCT
ejpam-2678	28	29	and	and	CCONJ
ejpam-2678	28	30	in	in	ADP
ejpam-2678	28	31	other	other	ADJ
ejpam-2678	28	32	papers	paper	NOUN
ejpam-2678	28	33	.	.	PUNCT
ejpam-2678	29	1	recently	recently	ADV
ejpam-2678	29	2	,	,	PUNCT
ejpam-2678	29	3	in	in	ADP
ejpam-2678	29	4	[	[	X
ejpam-2678	29	5	8	8	NUM
ejpam-2678	29	6	]	]	PUNCT
ejpam-2678	29	7	the	the	DET
ejpam-2678	29	8	authors	author	NOUN
ejpam-2678	29	9	initiated	initiate	VERB
ejpam-2678	29	10	the	the	DET
ejpam-2678	29	11	study	study	NOUN
ejpam-2678	29	12	of	of	ADP
ejpam-2678	29	13	fixed	fix	VERB
ejpam-2678	29	14	points	point	NOUN
ejpam-2678	29	15	in	in	ADP
ejpam-2678	29	16	orbitally	orbitally	ADV
ejpam-2678	29	17	complete	complete	ADJ
ejpam-2678	29	18	partial	partial	ADJ
ejpam-2678	29	19	metric	metric	ADJ
ejpam-2678	29	20	spaces	space	NOUN
ejpam-2678	29	21	.	.	PUNCT
ejpam-2678	30	1	in	in	ADP
ejpam-2678	30	2	[	[	X
ejpam-2678	30	3	7	7	NUM
ejpam-2678	30	4	]	]	PUNCT
ejpam-2678	30	5	and	and	CCONJ
ejpam-2678	30	6	[	[	X
ejpam-2678	30	7	10	10	NUM
ejpam-2678	30	8	]	]	X
ejpam-2678	30	9	new	new	ADJ
ejpam-2678	30	10	results	result	NOUN
ejpam-2678	30	11	are	be	AUX
ejpam-2678	30	12	obtained	obtain	VERB
ejpam-2678	30	13	.	.	PUNCT
ejpam-2678	31	1	several	several	ADJ
ejpam-2678	31	2	classical	classical	ADJ
ejpam-2678	31	3	fixed	fix	VERB
ejpam-2678	31	4	point	point	NOUN
ejpam-2678	31	5	theorems	theorem	NOUN
ejpam-2678	31	6	and	and	CCONJ
ejpam-2678	31	7	common	common	ADJ
ejpam-2678	31	8	fixed	fix	VERB
ejpam-2678	31	9	point	point	NOUN
ejpam-2678	31	10	theorems	theorem	NOUN
ejpam-2678	31	11	have	have	AUX
ejpam-2678	31	12	been	be	AUX
ejpam-2678	31	13	unified	unify	VERB
ejpam-2678	31	14	considering	consider	VERB
ejpam-2678	31	15	a	a	DET
ejpam-2678	31	16	general	general	ADJ
ejpam-2678	31	17	condition	condition	NOUN
ejpam-2678	31	18	by	by	ADP
ejpam-2678	31	19	an	an	DET
ejpam-2678	31	20	implicit	implicit	ADJ
ejpam-2678	31	21	relation	relation	NOUN
ejpam-2678	31	22	in	in	ADP
ejpam-2678	31	23	[	[	X
ejpam-2678	31	24	13	13	NUM
ejpam-2678	31	25	]	]	PUNCT
ejpam-2678	31	26	,	,	PUNCT
ejpam-2678	31	27	[	[	X
ejpam-2678	31	28	14	14	NUM
ejpam-2678	31	29	]	]	PUNCT
ejpam-2678	31	30	and	and	CCONJ
ejpam-2678	31	31	in	in	ADP
ejpam-2678	31	32	other	other	ADJ
ejpam-2678	31	33	papers	paper	NOUN
ejpam-2678	31	34	.	.	PUNCT
ejpam-2678	32	1	recently	recently	ADV
ejpam-2678	32	2	,	,	PUNCT
ejpam-2678	32	3	the	the	DET
ejpam-2678	32	4	method	method	NOUN
ejpam-2678	32	5	is	be	AUX
ejpam-2678	32	6	used	use	VERB
ejpam-2678	32	7	in	in	ADP
ejpam-2678	32	8	the	the	DET
ejpam-2678	32	9	study	study	NOUN
ejpam-2678	32	10	of	of	ADP
ejpam-2678	32	11	fixed	fix	VERB
ejpam-2678	32	12	points	point	NOUN
ejpam-2678	32	13	in	in	ADP
ejpam-2678	32	14	metric	metric	ADJ
ejpam-2678	32	15	spaces	space	NOUN
ejpam-2678	32	16	,	,	PUNCT
ejpam-2678	32	17	symmetric	symmetric	ADJ
ejpam-2678	32	18	spaces	space	NOUN
ejpam-2678	32	19	,	,	PUNCT
ejpam-2678	32	20	quasi	quasi	X
ejpam-2678	32	21	metric	metric	ADJ
ejpam-2678	32	22	spaces	space	NOUN
ejpam-2678	32	23	,	,	PUNCT
ejpam-2678	32	24	b	b	PROPN
ejpam-2678	32	25	metric	metric	ADJ
ejpam-2678	32	26	spaces	space	NOUN
ejpam-2678	32	27	,	,	PUNCT
ejpam-2678	32	28	ultra	ultra	ADJ
ejpam-2678	32	29	metric	metric	ADJ
ejpam-2678	32	30	spaces	space	NOUN
ejpam-2678	32	31	,	,	PUNCT
ejpam-2678	32	32	convex	convex	VERB
ejpam-2678	32	33	metric	metric	ADJ
ejpam-2678	32	34	spaces	space	NOUN
ejpam-2678	32	35	,	,	PUNCT
ejpam-2678	32	36	reflexive	reflexive	ADJ
ejpam-2678	32	37	spaces	space	NOUN
ejpam-2678	32	38	,	,	PUNCT
ejpam-2678	32	39	compact	compact	ADJ
ejpam-2678	32	40	metric	metric	ADJ
ejpam-2678	32	41	spaces	space	NOUN
ejpam-2678	32	42	,	,	PUNCT
ejpam-2678	32	43	paracompact	paracompact	ADJ
ejpam-2678	32	44	metric	metric	ADJ
ejpam-2678	32	45	spaces	space	NOUN
ejpam-2678	32	46	,	,	PUNCT
ejpam-2678	32	47	in	in	ADP
ejpam-2678	32	48	two	two	NUM
ejpam-2678	32	49	and	and	CCONJ
ejpam-2678	32	50	three	three	NUM
ejpam-2678	32	51	metric	metric	ADJ
ejpam-2678	32	52	spaces	space	NOUN
ejpam-2678	32	53	,	,	PUNCT
ejpam-2678	32	54	for	for	ADP
ejpam-2678	32	55	single	single	ADJ
ejpam-2678	32	56	valued	value	VERB
ejpam-2678	32	57	mappings	mapping	NOUN
ejpam-2678	32	58	,	,	PUNCT
ejpam-2678	32	59	hybrid	hybrid	ADJ
ejpam-2678	32	60	pairs	pair	NOUN
ejpam-2678	32	61	of	of	ADP
ejpam-2678	32	62	mappings	mapping	NOUN
ejpam-2678	32	63	and	and	CCONJ
ejpam-2678	32	64	set	set	VERB
ejpam-2678	32	65	valued	value	VERB
ejpam-2678	32	66	mappings	mapping	NOUN
ejpam-2678	32	67	.	.	PUNCT
ejpam-2678	33	1	quite	quite	ADV
ejpam-2678	33	2	recently	recently	ADV
ejpam-2678	33	3	,	,	PUNCT
ejpam-2678	33	4	the	the	DET
ejpam-2678	33	5	method	method	NOUN
ejpam-2678	33	6	is	be	AUX
ejpam-2678	33	7	used	use	VERB
ejpam-2678	33	8	in	in	ADP
ejpam-2678	33	9	the	the	DET
ejpam-2678	33	10	study	study	NOUN
ejpam-2678	33	11	of	of	ADP
ejpam-2678	33	12	fixed	fix	VERB
ejpam-2678	33	13	points	point	NOUN
ejpam-2678	33	14	for	for	ADP
ejpam-2678	33	15	mappings	mapping	NOUN
ejpam-2678	33	16	satisfying	satisfy	VERB
ejpam-2678	33	17	a	a	DET
ejpam-2678	33	18	contractive	contractive	ADJ
ejpam-2678	33	19	condition	condition	NOUN
ejpam-2678	33	20	of	of	ADP
ejpam-2678	33	21	integral	integral	ADJ
ejpam-2678	33	22	type	type	NOUN
ejpam-2678	33	23	,	,	PUNCT
ejpam-2678	33	24	in	in	ADP
ejpam-2678	33	25	fuzzy	fuzzy	ADJ
ejpam-2678	33	26	metric	metric	ADJ
ejpam-2678	33	27	spaces	space	NOUN
ejpam-2678	33	28	,	,	PUNCT
ejpam-2678	33	29	probabilistic	probabilistic	ADJ
ejpam-2678	33	30	metric	metric	ADJ
ejpam-2678	33	31	spaces	space	NOUN
ejpam-2678	33	32	,	,	PUNCT
ejpam-2678	33	33	intuitionistic	intuitionistic	ADJ
ejpam-2678	33	34	metric	metric	ADJ
ejpam-2678	33	35	spaces	space	NOUN
ejpam-2678	33	36	and	and	CCONJ
ejpam-2678	33	37	g	g	ADP
ejpam-2678	33	38	metric	metric	ADJ
ejpam-2678	33	39	spaces	space	NOUN
ejpam-2678	33	40	.	.	PUNCT
ejpam-2678	34	1	with	with	ADP
ejpam-2678	34	2	this	this	DET
ejpam-2678	34	3	method	method	NOUN
ejpam-2678	34	4	the	the	DET
ejpam-2678	34	5	proof	proof	NOUN
ejpam-2678	34	6	of	of	ADP
ejpam-2678	34	7	some	some	DET
ejpam-2678	34	8	fixed	fix	VERB
ejpam-2678	34	9	point	point	NOUN
ejpam-2678	34	10	theorems	theorem	NOUN
ejpam-2678	34	11	is	be	AUX
ejpam-2678	34	12	more	more	ADV
ejpam-2678	34	13	simple	simple	ADJ
ejpam-2678	34	14	.	.	PUNCT
ejpam-2678	35	1	also	also	ADV
ejpam-2678	35	2	,	,	PUNCT
ejpam-2678	35	3	the	the	DET
ejpam-2678	35	4	method	method	NOUN
ejpam-2678	35	5	allows	allow	VERB
ejpam-2678	35	6	the	the	DET
ejpam-2678	35	7	study	study	NOUN
ejpam-2678	35	8	of	of	ADP
ejpam-2678	35	9	local	local	ADJ
ejpam-2678	35	10	and	and	CCONJ
ejpam-2678	35	11	global	global	ADJ
ejpam-2678	35	12	properties	property	NOUN
ejpam-2678	35	13	of	of	ADP
ejpam-2678	35	14	fixed	fix	VERB
ejpam-2678	35	15	point	point	NOUN
ejpam-2678	35	16	structures	structure	NOUN
ejpam-2678	35	17	.	.	PUNCT
ejpam-2678	36	1	the	the	DET
ejpam-2678	36	2	study	study	NOUN
ejpam-2678	36	3	of	of	ADP
ejpam-2678	36	4	fixed	fix	VERB
ejpam-2678	36	5	points	point	NOUN
ejpam-2678	36	6	for	for	ADP
ejpam-2678	36	7	mappings	mapping	NOUN
ejpam-2678	36	8	satisfying	satisfy	VERB
ejpam-2678	36	9	an	an	DET
ejpam-2678	36	10	implicit	implicit	ADJ
ejpam-2678	36	11	relation	relation	NOUN
ejpam-2678	36	12	in	in	ADP
ejpam-2678	36	13	orbitally	orbitally	ADV
ejpam-2678	36	14	metric	metric	ADJ
ejpam-2678	36	15	spaces	space	NOUN
ejpam-2678	36	16	is	be	AUX
ejpam-2678	36	17	initiated	initiate	VERB
ejpam-2678	36	18	in	in	ADP
ejpam-2678	36	19	[	[	X
ejpam-2678	36	20	15	15	NUM
ejpam-2678	36	21	]	]	PUNCT
ejpam-2678	36	22	,	,	PUNCT
ejpam-2678	36	23	[	[	X
ejpam-2678	36	24	16	16	NUM
ejpam-2678	36	25	]	]	PUNCT
ejpam-2678	36	26	and	and	CCONJ
ejpam-2678	36	27	in	in	ADP
ejpam-2678	36	28	other	other	ADJ
ejpam-2678	36	29	papers	paper	NOUN
ejpam-2678	36	30	.	.	PUNCT
ejpam-2678	37	1	the	the	DET
ejpam-2678	37	2	study	study	NOUN
ejpam-2678	37	3	of	of	ADP
ejpam-2678	37	4	fixed	fix	VERB
ejpam-2678	37	5	points	point	NOUN
ejpam-2678	37	6	for	for	ADP
ejpam-2678	37	7	mappings	mapping	NOUN
ejpam-2678	37	8	satisfying	satisfy	VERB
ejpam-2678	37	9	an	an	DET
ejpam-2678	37	10	implicit	implicit	ADJ
ejpam-2678	37	11	relation	relation	NOUN
ejpam-2678	37	12	in	in	ADP
ejpam-2678	37	13	partial	partial	ADJ
ejpam-2678	37	14	metric	metric	ADJ
ejpam-2678	37	15	spaces	space	NOUN
ejpam-2678	37	16	is	be	AUX
ejpam-2678	37	17	initiated	initiate	VERB
ejpam-2678	37	18	in	in	ADP
ejpam-2678	37	19	[	[	X
ejpam-2678	37	20	18	18	NUM
ejpam-2678	37	21	]	]	PUNCT
ejpam-2678	37	22	.	.	PUNCT
ejpam-2678	38	1	the	the	DET
ejpam-2678	38	2	purpose	purpose	NOUN
ejpam-2678	38	3	of	of	ADP
ejpam-2678	38	4	this	this	DET
ejpam-2678	38	5	paper	paper	NOUN
ejpam-2678	38	6	is	be	AUX
ejpam-2678	38	7	to	to	PART
ejpam-2678	38	8	prove	prove	VERB
ejpam-2678	38	9	a	a	DET
ejpam-2678	38	10	general	general	ADJ
ejpam-2678	38	11	fixed	fix	VERB
ejpam-2678	38	12	point	point	NOUN
ejpam-2678	38	13	theorem	theorem	NOUN
ejpam-2678	38	14	for	for	ADP
ejpam-2678	38	15	self	self	NOUN
ejpam-2678	38	16	mappings	mapping	NOUN
ejpam-2678	38	17	in	in	ADP
ejpam-2678	38	18	orbitally	orbitally	ADV
ejpam-2678	38	19	complete	complete	ADJ
ejpam-2678	38	20	partial	partial	ADJ
ejpam-2678	38	21	metric	metric	ADJ
ejpam-2678	38	22	spaces	space	NOUN
ejpam-2678	38	23	which	which	PRON
ejpam-2678	38	24	generalizes	generalize	VERB
ejpam-2678	38	25	and	and	CCONJ
ejpam-2678	38	26	improves	improves	AUX
ejpam-2678	38	27	theorem	theorem	VERB
ejpam-2678	38	28	2.6	2.6	NUM
ejpam-2678	39	1	[	[	X
ejpam-2678	39	2	7	7	NUM
ejpam-2678	39	3	]	]	PUNCT
ejpam-2678	39	4	,	,	PUNCT
ejpam-2678	39	5	theorem	theorem	VERB
ejpam-2678	39	6	8	8	NUM
ejpam-2678	39	7	and	and	CCONJ
ejpam-2678	39	8	9	9	NUM
ejpam-2678	40	1	[	[	SYM
ejpam-2678	40	2	8	8	NUM
ejpam-2678	40	3	]	]	PUNCT
ejpam-2678	41	1	and	and	CCONJ
ejpam-2678	42	1	theorem	theorem	VERB
ejpam-2678	42	2	3.2	3.2	NUM
ejpam-2678	42	3	[	[	SYM
ejpam-2678	42	4	10	10	NUM
ejpam-2678	42	5	]	]	PUNCT
ejpam-2678	42	6	.	.	PUNCT
ejpam-2678	43	1	2	2	X
ejpam-2678	43	2	.	.	X
ejpam-2678	43	3	preliminaries	preliminary	NOUN
ejpam-2678	43	4	definition	definition	NOUN
ejpam-2678	43	5	1	1	NUM
ejpam-2678	43	6	(	(	PUNCT
ejpam-2678	43	7	[	[	X
ejpam-2678	43	8	9	9	NUM
ejpam-2678	43	9	]	]	PUNCT
ejpam-2678	43	10	)	)	PUNCT
ejpam-2678	43	11	.	.	PUNCT
ejpam-2678	44	1	let	let	VERB
ejpam-2678	44	2	x	x	PRON
ejpam-2678	44	3	be	be	AUX
ejpam-2678	44	4	a	a	DET
ejpam-2678	44	5	nonempty	nonempty	ADV
ejpam-2678	44	6	set	set	VERB
ejpam-2678	44	7	.	.	PUNCT
ejpam-2678	45	1	a	a	DET
ejpam-2678	45	2	function	function	NOUN
ejpam-2678	45	3	p	p	X
ejpam-2678	45	4	:	:	PUNCT
ejpam-2678	45	5	x	x	PROPN
ejpam-2678	45	6	×x	×x	NUM
ejpam-2678	45	7	→	→	SYM
ejpam-2678	45	8	r+	r+	PRON
ejpam-2678	45	9	is	be	AUX
ejpam-2678	45	10	said	say	VERB
ejpam-2678	45	11	to	to	PART
ejpam-2678	45	12	be	be	AUX
ejpam-2678	45	13	a	a	DET
ejpam-2678	45	14	partial	partial	ADJ
ejpam-2678	45	15	metric	metric	NOUN
ejpam-2678	45	16	on	on	ADP
ejpam-2678	45	17	x	x	SYM
ejpam-2678	45	18	if	if	SCONJ
ejpam-2678	45	19	for	for	ADP
ejpam-2678	45	20	any	any	DET
ejpam-2678	45	21	x	x	NOUN
ejpam-2678	45	22	,	,	PUNCT
ejpam-2678	45	23	y	y	PROPN
ejpam-2678	45	24	,	,	PUNCT
ejpam-2678	45	25	z	z	PROPN
ejpam-2678	45	26	∈	∈	PROPN
ejpam-2678	46	1	x	x	SYM
ejpam-2678	46	2	,	,	PUNCT
ejpam-2678	46	3	the	the	DET
ejpam-2678	46	4	following	follow	VERB
ejpam-2678	46	5	conditions	condition	NOUN
ejpam-2678	46	6	hold	hold	VERB
ejpam-2678	46	7	:	:	PUNCT
ejpam-2678	46	8	(	(	PUNCT
ejpam-2678	46	9	p1	p1	NOUN
ejpam-2678	46	10	)	)	PUNCT
ejpam-2678	46	11	:	:	PUNCT
ejpam-2678	47	1	p(x	p(x	VERB
ejpam-2678	47	2	,	,	PUNCT
ejpam-2678	47	3	x	x	NOUN
ejpam-2678	47	4	)	)	PUNCT
ejpam-2678	47	5	=	=	SYM
ejpam-2678	47	6	p(y	p(y	PROPN
ejpam-2678	47	7	,	,	PUNCT
ejpam-2678	47	8	y	y	NOUN
ejpam-2678	47	9	)	)	PUNCT
ejpam-2678	47	10	=	=	SYM
ejpam-2678	47	11	p(x	p(x	PROPN
ejpam-2678	47	12	,	,	PUNCT
ejpam-2678	47	13	y	y	NOUN
ejpam-2678	47	14	)	)	PUNCT
ejpam-2678	48	1	if	if	SCONJ
ejpam-2678	48	2	and	and	CCONJ
ejpam-2678	48	3	only	only	ADV
ejpam-2678	48	4	if	if	SCONJ
ejpam-2678	48	5	x	x	X
ejpam-2678	48	6	=	=	SYM
ejpam-2678	48	7	y	y	PROPN
ejpam-2678	48	8	,	,	PUNCT
ejpam-2678	48	9	(	(	PUNCT
ejpam-2678	48	10	p2	p2	PROPN
ejpam-2678	48	11	)	)	PUNCT
ejpam-2678	48	12	:	:	PUNCT
ejpam-2678	48	13	p(x	p(x	VERB
ejpam-2678	48	14	,	,	PUNCT
ejpam-2678	48	15	x	x	NOUN
ejpam-2678	48	16	)	)	PUNCT
ejpam-2678	48	17	≤	≤	NOUN
ejpam-2678	48	18	p(x	p(x	PROPN
ejpam-2678	48	19	,	,	PUNCT
ejpam-2678	48	20	y	y	PROPN
ejpam-2678	48	21	)	)	PUNCT
ejpam-2678	48	22	,	,	PUNCT
ejpam-2678	48	23	(	(	PUNCT
ejpam-2678	48	24	p3	p3	PROPN
ejpam-2678	48	25	)	)	PUNCT
ejpam-2678	48	26	:	:	PUNCT
ejpam-2678	49	1	p(x	p(x	PROPN
ejpam-2678	49	2	,	,	PUNCT
ejpam-2678	49	3	y	y	NOUN
ejpam-2678	49	4	)	)	PUNCT
ejpam-2678	49	5	=	=	SYM
ejpam-2678	49	6	p(y	p(y	NOUN
ejpam-2678	49	7	,	,	PUNCT
ejpam-2678	49	8	x	x	NOUN
ejpam-2678	49	9	)	)	PUNCT
ejpam-2678	49	10	,	,	PUNCT
ejpam-2678	49	11	(	(	PUNCT
ejpam-2678	49	12	p4	p4	ADJ
ejpam-2678	49	13	)	)	PUNCT
ejpam-2678	49	14	:	:	PUNCT
ejpam-2678	50	1	p(x	p(x	VERB
ejpam-2678	50	2	,	,	PUNCT
ejpam-2678	50	3	z	z	NOUN
ejpam-2678	50	4	)	)	PUNCT
ejpam-2678	50	5	≤	≤	NOUN
ejpam-2678	50	6	p(x	p(x	PROPN
ejpam-2678	50	7	,	,	PUNCT
ejpam-2678	50	8	y	y	NOUN
ejpam-2678	50	9	)	)	PUNCT
ejpam-2678	50	10	+	+	CCONJ
ejpam-2678	50	11	p(y	p(y	PROPN
ejpam-2678	50	12	,	,	PUNCT
ejpam-2678	50	13	z)−	z)−	PROPN
ejpam-2678	50	14	p(y	p(y	PROPN
ejpam-2678	50	15	,	,	PUNCT
ejpam-2678	50	16	y	y	NOUN
ejpam-2678	50	17	)	)	PUNCT
ejpam-2678	50	18	.	.	PUNCT
ejpam-2678	51	1	the	the	DET
ejpam-2678	51	2	pair	pair	NOUN
ejpam-2678	51	3	(	(	PUNCT
ejpam-2678	51	4	x	x	X
ejpam-2678	51	5	,	,	PUNCT
ejpam-2678	51	6	p	p	NOUN
ejpam-2678	51	7	)	)	PUNCT
ejpam-2678	51	8	is	be	AUX
ejpam-2678	51	9	called	call	VERB
ejpam-2678	51	10	a	a	DET
ejpam-2678	51	11	partial	partial	ADJ
ejpam-2678	51	12	metric	metric	ADJ
ejpam-2678	51	13	space	space	NOUN
ejpam-2678	51	14	.	.	PUNCT
ejpam-2678	52	1	if	if	SCONJ
ejpam-2678	52	2	p(x	p(x	PROPN
ejpam-2678	52	3	,	,	PUNCT
ejpam-2678	52	4	y	y	NOUN
ejpam-2678	52	5	)	)	PUNCT
ejpam-2678	52	6	=	=	SYM
ejpam-2678	52	7	0	0	NUM
ejpam-2678	52	8	,	,	PUNCT
ejpam-2678	52	9	then	then	ADV
ejpam-2678	52	10	(	(	PUNCT
ejpam-2678	52	11	p1	p1	NOUN
ejpam-2678	52	12	)	)	PUNCT
ejpam-2678	52	13	and	and	CCONJ
ejpam-2678	52	14	(	(	PUNCT
ejpam-2678	52	15	p2	p2	X
ejpam-2678	52	16	)	)	PUNCT
ejpam-2678	52	17	implies	imply	VERB
ejpam-2678	52	18	x	x	PUNCT
ejpam-2678	52	19	=	=	SYM
ejpam-2678	52	20	y	y	PROPN
ejpam-2678	52	21	,	,	PUNCT
ejpam-2678	52	22	but	but	CCONJ
ejpam-2678	52	23	the	the	DET
ejpam-2678	52	24	converse	converse	NOUN
ejpam-2678	52	25	does	do	AUX
ejpam-2678	52	26	not	not	PART
ejpam-2678	52	27	always	always	ADV
ejpam-2678	52	28	hold	hold	VERB
ejpam-2678	52	29	.	.	PUNCT
ejpam-2678	53	1	each	each	DET
ejpam-2678	53	2	partial	partial	ADJ
ejpam-2678	53	3	metric	metric	ADJ
ejpam-2678	53	4	space	space	NOUN
ejpam-2678	53	5	on	on	ADP
ejpam-2678	53	6	x	x	PUNCT
ejpam-2678	53	7	generates	generate	VERB
ejpam-2678	53	8	a	a	DET
ejpam-2678	53	9	t0	t0	PROPN
ejpam-2678	53	10	topology	topology	NOUN
ejpam-2678	53	11	τp	τp	PRON
ejpam-2678	53	12	which	which	PRON
ejpam-2678	53	13	has	have	AUX
ejpam-2678	53	14	as	as	ADV
ejpam-2678	53	15	base	base	VERB
ejpam-2678	53	16	the	the	DET
ejpam-2678	53	17	family	family	NOUN
ejpam-2678	53	18	of	of	ADP
ejpam-2678	53	19	open	open	ADJ
ejpam-2678	53	20	p	p	NOUN
ejpam-2678	53	21	balls	ball	NOUN
ejpam-2678	53	22	{	{	PUNCT
ejpam-2678	53	23	bp(x	bp(x	PROPN
ejpam-2678	53	24	,	,	PUNCT
ejpam-2678	53	25	ε	ε	PROPN
ejpam-2678	53	26	)	)	PUNCT
ejpam-2678	53	27	:	:	PUNCT
ejpam-2678	54	1	x	x	PUNCT
ejpam-2678	54	2	∈	∈	NOUN
ejpam-2678	54	3	x	x	X
ejpam-2678	54	4	and	and	CCONJ
ejpam-2678	54	5	ε	ε	PROPN
ejpam-2678	54	6	>	>	X
ejpam-2678	54	7	0	0	NUM
ejpam-2678	54	8	}	}	PUNCT
ejpam-2678	54	9	,	,	PUNCT
ejpam-2678	54	10	where	where	SCONJ
ejpam-2678	54	11	bp(x	bp(x	NOUN
ejpam-2678	54	12	,	,	PUNCT
ejpam-2678	54	13	ε	ε	PROPN
ejpam-2678	54	14	)	)	PUNCT
ejpam-2678	54	15	=	=	PRON
ejpam-2678	54	16	{	{	PUNCT
ejpam-2678	54	17	y	y	PROPN
ejpam-2678	54	18	∈	∈	PROPN
ejpam-2678	54	19	x	x	X
ejpam-2678	54	20	:	:	PUNCT
ejpam-2678	54	21	p(x	p(x	PROPN
ejpam-2678	54	22	,	,	PUNCT
ejpam-2678	54	23	y	y	NOUN
ejpam-2678	54	24	)	)	PUNCT
ejpam-2678	54	25	≤	≤	NOUN
ejpam-2678	54	26	p(x	p(x	PROPN
ejpam-2678	54	27	,	,	PUNCT
ejpam-2678	54	28	x	x	NOUN
ejpam-2678	54	29	)	)	PUNCT
ejpam-2678	54	30	+	+	CCONJ
ejpam-2678	54	31	ε	ε	X
ejpam-2678	54	32	}	}	PUNCT
ejpam-2678	54	33	for	for	ADP
ejpam-2678	54	34	all	all	DET
ejpam-2678	54	35	x	x	SYM
ejpam-2678	54	36	∈	∈	PROPN
ejpam-2678	54	37	x	x	X
ejpam-2678	54	38	and	and	CCONJ
ejpam-2678	54	39	ε	ε	PROPN
ejpam-2678	54	40	>	>	X
ejpam-2678	54	41	0	0	PROPN
ejpam-2678	54	42	.	.	PUNCT
ejpam-2678	55	1	if	if	SCONJ
ejpam-2678	55	2	p	p	NOUN
ejpam-2678	55	3	is	be	AUX
ejpam-2678	55	4	a	a	DET
ejpam-2678	55	5	partial	partial	ADJ
ejpam-2678	55	6	metric	metric	NOUN
ejpam-2678	55	7	on	on	ADP
ejpam-2678	55	8	x	x	NOUN
ejpam-2678	55	9	,	,	PUNCT
ejpam-2678	55	10	then	then	ADV
ejpam-2678	55	11	the	the	DET
ejpam-2678	55	12	function	function	NOUN
ejpam-2678	55	13	dp(x	dp(x	PROPN
ejpam-2678	55	14	,	,	PUNCT
ejpam-2678	55	15	y	y	NOUN
ejpam-2678	55	16	)	)	PUNCT
ejpam-2678	56	1	=	=	SYM
ejpam-2678	56	2	2p(x	2p(x	PROPN
ejpam-2678	56	3	,	,	PUNCT
ejpam-2678	56	4	y	y	PROPN
ejpam-2678	56	5	)	)	PUNCT
ejpam-2678	56	6	−	−	PROPN
ejpam-2678	56	7	p(x	p(x	PROPN
ejpam-2678	56	8	,	,	PUNCT
ejpam-2678	56	9	x	x	NOUN
ejpam-2678	56	10	)	)	PUNCT
ejpam-2678	56	11	−	−	ADP
ejpam-2678	56	12	p(y	p(y	PROPN
ejpam-2678	56	13	,	,	PUNCT
ejpam-2678	56	14	y	y	NOUN
ejpam-2678	56	15	)	)	PUNCT
ejpam-2678	56	16	defines	define	VERB
ejpam-2678	56	17	a	a	DET
ejpam-2678	56	18	metric	metric	NOUN
ejpam-2678	56	19	on	on	ADP
ejpam-2678	56	20	x.	x.	PROPN
ejpam-2678	56	21	further	far	ADV
ejpam-2678	56	22	,	,	PUNCT
ejpam-2678	56	23	a	a	DET
ejpam-2678	56	24	sequence	sequence	NOUN
ejpam-2678	56	25	(	(	PUNCT
ejpam-2678	56	26	xn	xn	X
ejpam-2678	56	27	)	)	PUNCT
ejpam-2678	56	28	converges	converge	VERB
ejpam-2678	56	29	in	in	ADP
ejpam-2678	56	30	(	(	PUNCT
ejpam-2678	56	31	x	x	NOUN
ejpam-2678	56	32	,	,	PUNCT
ejpam-2678	56	33	dp	dp	NOUN
ejpam-2678	56	34	)	)	PUNCT
ejpam-2678	56	35	to	to	ADP
ejpam-2678	56	36	a	a	DET
ejpam-2678	56	37	point	point	NOUN
ejpam-2678	56	38	x	x	SYM
ejpam-2678	56	39	∈	∈	NOUN
ejpam-2678	56	40	x	x	PUNCT
ejpam-2678	57	1	if	if	SCONJ
ejpam-2678	57	2	lim	lim	PROPN
ejpam-2678	57	3	n	n	CCONJ
ejpam-2678	57	4	,	,	PUNCT
ejpam-2678	57	5	m→∞	m→∞	NOUN
ejpam-2678	57	6	p(xn	p(xn	NOUN
ejpam-2678	57	7	,	,	PUNCT
ejpam-2678	57	8	xm	xm	NUM
ejpam-2678	57	9	)	)	PUNCT
ejpam-2678	57	10	=	=	VERB
ejpam-2678	57	11	lim	lim	PROPN
ejpam-2678	57	12	n→∞	n→∞	NUM
ejpam-2678	57	13	p(xn	p(xn	NOUN
ejpam-2678	57	14	,	,	PUNCT
ejpam-2678	57	15	x	x	NOUN
ejpam-2678	57	16	)	)	PUNCT
ejpam-2678	57	17	=	=	SYM
ejpam-2678	57	18	p(x	p(x	PROPN
ejpam-2678	57	19	,	,	PUNCT
ejpam-2678	57	20	x	x	NOUN
ejpam-2678	57	21	)	)	PUNCT
ejpam-2678	57	22	.	.	PUNCT
ejpam-2678	58	1	v.	v.	ADP
ejpam-2678	58	2	popa	popa	NOUN
ejpam-2678	58	3	,	,	PUNCT
ejpam-2678	58	4	a.-m	a.-m	PROPN
ejpam-2678	58	5	.	.	PUNCT
ejpam-2678	59	1	patriciu	patriciu	PROPN
ejpam-2678	59	2	/	/	SYM
ejpam-2678	59	3	eur	eur	PROPN
ejpam-2678	59	4	.	.	PUNCT
ejpam-2678	60	1	j.	j.	PROPN
ejpam-2678	60	2	pure	pure	PROPN
ejpam-2678	60	3	appl	appl	PROPN
ejpam-2678	60	4	.	.	PROPN
ejpam-2678	60	5	math	math	PROPN
ejpam-2678	60	6	,	,	PUNCT
ejpam-2678	60	7	10	10	NUM
ejpam-2678	60	8	(	(	PUNCT
ejpam-2678	60	9	4	4	NUM
ejpam-2678	60	10	)	)	PUNCT
ejpam-2678	60	11	(	(	PUNCT
ejpam-2678	60	12	2017	2017	NUM
ejpam-2678	60	13	)	)	PUNCT
ejpam-2678	60	14	,	,	PUNCT
ejpam-2678	60	15	908	908	NUM
ejpam-2678	60	16	-	-	SYM
ejpam-2678	60	17	915	915	NUM
ejpam-2678	60	18	910	910	NUM
ejpam-2678	60	19	lemma	lemma	PROPN
ejpam-2678	60	20	1	1	NUM
ejpam-2678	60	21	(	(	PUNCT
ejpam-2678	60	22	[	[	X
ejpam-2678	60	23	2	2	NUM
ejpam-2678	60	24	]	]	PUNCT
ejpam-2678	60	25	,	,	PUNCT
ejpam-2678	61	1	[	[	X
ejpam-2678	61	2	9	9	NUM
ejpam-2678	61	3	]	]	PUNCT
ejpam-2678	61	4	)	)	PUNCT
ejpam-2678	61	5	.	.	PUNCT
ejpam-2678	62	1	let	let	AUX
ejpam-2678	62	2	(	(	PUNCT
ejpam-2678	62	3	x	x	X
ejpam-2678	62	4	,	,	PUNCT
ejpam-2678	62	5	p	p	X
ejpam-2678	62	6	)	)	PUNCT
ejpam-2678	62	7	be	be	AUX
ejpam-2678	62	8	a	a	DET
ejpam-2678	62	9	partial	partial	ADJ
ejpam-2678	62	10	metric	metric	ADJ
ejpam-2678	62	11	space	space	NOUN
ejpam-2678	62	12	and	and	CCONJ
ejpam-2678	62	13	xn	xn	PROPN
ejpam-2678	62	14	a	a	DET
ejpam-2678	62	15	sequence	sequence	NOUN
ejpam-2678	62	16	in	in	ADP
ejpam-2678	62	17	x	x	PUNCT
ejpam-2678	62	18	convergent	convergent	NOUN
ejpam-2678	62	19	to	to	ADP
ejpam-2678	62	20	z	z	NOUN
ejpam-2678	62	21	,	,	PUNCT
ejpam-2678	62	22	where	where	SCONJ
ejpam-2678	62	23	p(z	p(z	NOUN
ejpam-2678	62	24	,	,	PUNCT
ejpam-2678	62	25	z	z	NOUN
ejpam-2678	62	26	)	)	PUNCT
ejpam-2678	62	27	=	=	SYM
ejpam-2678	63	1	0	0	X
ejpam-2678	63	2	.	.	PUNCT
ejpam-2678	64	1	then	then	ADV
ejpam-2678	64	2	,	,	PUNCT
ejpam-2678	64	3	limn→∞	limn→∞	PROPN
ejpam-2678	64	4	p(xn	p(xn	PROPN
ejpam-2678	64	5	,	,	PUNCT
ejpam-2678	64	6	y	y	NOUN
ejpam-2678	64	7	)	)	PUNCT
ejpam-2678	64	8	=	=	SYM
ejpam-2678	65	1	p(z	p(z	NOUN
ejpam-2678	65	2	,	,	PUNCT
ejpam-2678	65	3	y	y	NOUN
ejpam-2678	65	4	)	)	PUNCT
ejpam-2678	65	5	for	for	ADP
ejpam-2678	65	6	every	every	DET
ejpam-2678	65	7	y	y	PROPN
ejpam-2678	65	8	∈	∈	PROPN
ejpam-2678	65	9	x.	x.	NOUN
ejpam-2678	65	10	definition	definition	NOUN
ejpam-2678	65	11	2	2	NUM
ejpam-2678	65	12	(	(	PUNCT
ejpam-2678	65	13	[	[	X
ejpam-2678	65	14	9	9	NUM
ejpam-2678	65	15	]	]	PUNCT
ejpam-2678	65	16	)	)	PUNCT
ejpam-2678	65	17	.	.	PUNCT
ejpam-2678	66	1	let	let	AUX
ejpam-2678	66	2	(	(	PUNCT
ejpam-2678	66	3	x	x	X
ejpam-2678	66	4	,	,	PUNCT
ejpam-2678	66	5	p	p	X
ejpam-2678	66	6	)	)	PUNCT
ejpam-2678	66	7	be	be	AUX
ejpam-2678	66	8	a	a	DET
ejpam-2678	66	9	partial	partial	ADJ
ejpam-2678	66	10	metric	metric	ADJ
ejpam-2678	66	11	space	space	NOUN
ejpam-2678	66	12	.	.	PUNCT
ejpam-2678	67	1	a	a	PRON
ejpam-2678	67	2	)	)	PUNCT
ejpam-2678	67	3	a	a	DET
ejpam-2678	67	4	sequence	sequence	NOUN
ejpam-2678	67	5	{	{	PUNCT
ejpam-2678	67	6	xn	xn	NOUN
ejpam-2678	67	7	}	}	PUNCT
ejpam-2678	67	8	in	in	ADP
ejpam-2678	67	9	x	x	PRON
ejpam-2678	67	10	is	be	AUX
ejpam-2678	67	11	a	a	DET
ejpam-2678	67	12	cauchy	cauchy	ADJ
ejpam-2678	67	13	sequence	sequence	NOUN
ejpam-2678	67	14	if	if	SCONJ
ejpam-2678	67	15	and	and	CCONJ
ejpam-2678	67	16	only	only	ADV
ejpam-2678	67	17	if	if	SCONJ
ejpam-2678	67	18	limn	limn	ADJ
ejpam-2678	67	19	,	,	PUNCT
ejpam-2678	67	20	m→∞	m→∞	NUM
ejpam-2678	67	21	p(xn	p(xn	NOUN
ejpam-2678	67	22	,	,	PUNCT
ejpam-2678	67	23	xm	xm	NUM
ejpam-2678	67	24	)	)	PUNCT
ejpam-2678	67	25	exists	exist	VERB
ejpam-2678	67	26	and	and	CCONJ
ejpam-2678	67	27	is	be	AUX
ejpam-2678	67	28	finite	finite	ADJ
ejpam-2678	67	29	.	.	PUNCT
ejpam-2678	68	1	b	b	X
ejpam-2678	68	2	)	)	PUNCT
ejpam-2678	68	3	a	a	DET
ejpam-2678	68	4	partial	partial	ADJ
ejpam-2678	68	5	metric	metric	ADJ
ejpam-2678	68	6	space	space	NOUN
ejpam-2678	68	7	is	be	AUX
ejpam-2678	68	8	said	say	VERB
ejpam-2678	68	9	to	to	PART
ejpam-2678	68	10	be	be	AUX
ejpam-2678	68	11	complete	complete	ADJ
ejpam-2678	68	12	if	if	SCONJ
ejpam-2678	68	13	every	every	DET
ejpam-2678	68	14	cauchy	cauchy	ADJ
ejpam-2678	68	15	sequence	sequence	NOUN
ejpam-2678	68	16	converges	converge	VERB
ejpam-2678	68	17	with	with	ADP
ejpam-2678	68	18	respect	respect	NOUN
ejpam-2678	68	19	to	to	ADP
ejpam-2678	68	20	τp	τp	PRON
ejpam-2678	68	21	to	to	ADP
ejpam-2678	68	22	a	a	DET
ejpam-2678	68	23	point	point	NOUN
ejpam-2678	68	24	x	x	SYM
ejpam-2678	68	25	∈	∈	NOUN
ejpam-2678	68	26	x	x	PUNCT
ejpam-2678	68	27	such	such	ADJ
ejpam-2678	68	28	that	that	DET
ejpam-2678	68	29	p(x	p(x	NOUN
ejpam-2678	68	30	,	,	PUNCT
ejpam-2678	68	31	x	x	NOUN
ejpam-2678	68	32	)	)	PUNCT
ejpam-2678	68	33	=	=	SYM
ejpam-2678	68	34	limn	limn	ADJ
ejpam-2678	68	35	,	,	PUNCT
ejpam-2678	68	36	m→∞	m→∞	NUM
ejpam-2678	68	37	p(xn	p(xn	NOUN
ejpam-2678	68	38	,	,	PUNCT
ejpam-2678	68	39	xm	xm	PROPN
ejpam-2678	68	40	)	)	PUNCT
ejpam-2678	68	41	.	.	PUNCT
ejpam-2678	69	1	remark	remark	PROPN
ejpam-2678	69	2	1	1	NUM
ejpam-2678	69	3	.	.	PUNCT
ejpam-2678	70	1	the	the	DET
ejpam-2678	70	2	following	follow	VERB
ejpam-2678	70	3	examples	example	NOUN
ejpam-2678	70	4	[	[	X
ejpam-2678	70	5	9	9	NUM
ejpam-2678	70	6	]	]	PUNCT
ejpam-2678	70	7	show	show	VERB
ejpam-2678	70	8	that	that	SCONJ
ejpam-2678	70	9	a	a	DET
ejpam-2678	70	10	convergent	convergent	NOUN
ejpam-2678	70	11	sequence	sequence	NOUN
ejpam-2678	70	12	in	in	ADP
ejpam-2678	70	13	partial	partial	ADJ
ejpam-2678	70	14	metric	metric	ADJ
ejpam-2678	70	15	space	space	NOUN
ejpam-2678	70	16	may	may	AUX
ejpam-2678	70	17	not	not	PART
ejpam-2678	70	18	be	be	AUX
ejpam-2678	70	19	cauchy	cauchy	ADJ
ejpam-2678	70	20	.	.	PUNCT
ejpam-2678	71	1	in	in	ADP
ejpam-2678	71	2	particular	particular	ADJ
ejpam-2678	71	3	,	,	PUNCT
ejpam-2678	71	4	it	it	PRON
ejpam-2678	71	5	is	be	AUX
ejpam-2678	71	6	shown	show	VERB
ejpam-2678	71	7	that	that	SCONJ
ejpam-2678	71	8	the	the	DET
ejpam-2678	71	9	limit	limit	NOUN
ejpam-2678	71	10	of	of	ADP
ejpam-2678	71	11	a	a	DET
ejpam-2678	71	12	convergent	convergent	NOUN
ejpam-2678	71	13	sequence	sequence	NOUN
ejpam-2678	71	14	is	be	AUX
ejpam-2678	71	15	not	not	PART
ejpam-2678	71	16	unique	unique	ADJ
ejpam-2678	71	17	.	.	PUNCT
ejpam-2678	72	1	example	example	NOUN
ejpam-2678	72	2	1	1	NUM
ejpam-2678	72	3	(	(	PUNCT
ejpam-2678	72	4	[	[	X
ejpam-2678	72	5	9	9	NUM
ejpam-2678	72	6	]	]	PUNCT
ejpam-2678	72	7	)	)	PUNCT
ejpam-2678	72	8	.	.	PUNCT
ejpam-2678	73	1	let	let	VERB
ejpam-2678	73	2	p	p	NOUN
ejpam-2678	73	3	:	:	PUNCT
ejpam-2678	73	4	r+	r+	X
ejpam-2678	73	5	×	×	NOUN
ejpam-2678	73	6	r+	r+	NOUN
ejpam-2678	73	7	→	→	SYM
ejpam-2678	73	8	r+	r+	NUM
ejpam-2678	73	9	be	be	AUX
ejpam-2678	73	10	a	a	DET
ejpam-2678	73	11	partial	partial	ADJ
ejpam-2678	73	12	metric	metric	NOUN
ejpam-2678	73	13	defined	define	VERB
ejpam-2678	73	14	as	as	ADP
ejpam-2678	73	15	p(x	p(x	PROPN
ejpam-2678	73	16	,	,	PUNCT
ejpam-2678	73	17	y	y	NOUN
ejpam-2678	73	18	)	)	PUNCT
ejpam-2678	74	1	=	=	SYM
ejpam-2678	74	2	max{x	max{x	PROPN
ejpam-2678	74	3	,	,	PUNCT
ejpam-2678	74	4	y	y	NOUN
ejpam-2678	74	5	}	}	PUNCT
ejpam-2678	74	6	.	.	PUNCT
ejpam-2678	75	1	define	define	VERB
ejpam-2678	75	2	a	a	DET
ejpam-2678	75	3	sequence	sequence	NOUN
ejpam-2678	75	4	{	{	PUNCT
ejpam-2678	75	5	xn	xn	NOUN
ejpam-2678	75	6	}	}	PUNCT
ejpam-2678	75	7	in	in	ADP
ejpam-2678	75	8	x	x	PUNCT
ejpam-2678	75	9	as	as	ADP
ejpam-2678	75	10	xn	xn	PROPN
ejpam-2678	75	11	=	=	SYM
ejpam-2678	75	12	{	{	PUNCT
ejpam-2678	75	13	0	0	NUM
ejpam-2678	75	14	,	,	PUNCT
ejpam-2678	75	15	n	n	NOUN
ejpam-2678	75	16	=	=	SYM
ejpam-2678	75	17	2k	2k	PROPN
ejpam-2678	75	18	1	1	NUM
ejpam-2678	75	19	,	,	PUNCT
ejpam-2678	75	20	n	n	NOUN
ejpam-2678	75	21	=	=	SYM
ejpam-2678	75	22	2k	2k	NUM
ejpam-2678	75	23	+	+	CCONJ
ejpam-2678	75	24	1	1	NUM
ejpam-2678	75	25	,	,	PUNCT
ejpam-2678	75	26	k	k	PROPN
ejpam-2678	75	27	∈	∈	PROPN
ejpam-2678	75	28	n.	n.	NOUN
ejpam-2678	75	29	then	then	ADV
ejpam-2678	75	30	{	{	PUNCT
ejpam-2678	75	31	xn	xn	X
ejpam-2678	75	32	}	}	PUNCT
ejpam-2678	75	33	is	be	AUX
ejpam-2678	75	34	a	a	DET
ejpam-2678	75	35	convergent	convergent	NOUN
ejpam-2678	75	36	sequence	sequence	NOUN
ejpam-2678	75	37	but	but	CCONJ
ejpam-2678	75	38	limn	limn	ADJ
ejpam-2678	75	39	,	,	PUNCT
ejpam-2678	75	40	m→∞	m→∞	NUM
ejpam-2678	75	41	p(xn	p(xn	NOUN
ejpam-2678	75	42	,	,	PUNCT
ejpam-2678	75	43	xm	xm	PROPN
ejpam-2678	75	44	)	)	PUNCT
ejpam-2678	75	45	does	do	AUX
ejpam-2678	75	46	not	not	PART
ejpam-2678	75	47	exists	exist	VERB
ejpam-2678	75	48	.	.	PUNCT
ejpam-2678	76	1	definition	definition	NOUN
ejpam-2678	76	2	3	3	NUM
ejpam-2678	76	3	(	(	PUNCT
ejpam-2678	76	4	[	[	X
ejpam-2678	76	5	8	8	NUM
ejpam-2678	76	6	]	]	PUNCT
ejpam-2678	76	7	)	)	PUNCT
ejpam-2678	76	8	.	.	PUNCT
ejpam-2678	77	1	let	let	AUX
ejpam-2678	77	2	(	(	PUNCT
ejpam-2678	77	3	x	x	X
ejpam-2678	77	4	,	,	PUNCT
ejpam-2678	77	5	p	p	X
ejpam-2678	77	6	)	)	PUNCT
ejpam-2678	77	7	be	be	AUX
ejpam-2678	77	8	a	a	DET
ejpam-2678	77	9	partial	partial	ADJ
ejpam-2678	77	10	metric	metric	ADJ
ejpam-2678	77	11	space	space	NOUN
ejpam-2678	77	12	.	.	PUNCT
ejpam-2678	78	1	a	a	DET
ejpam-2678	78	2	mapping	mapping	NOUN
ejpam-2678	78	3	t	t	NOUN
ejpam-2678	78	4	:	:	PUNCT
ejpam-2678	78	5	x	x	X
ejpam-2678	78	6	→	→	PUNCT
ejpam-2678	78	7	x	x	X
ejpam-2678	78	8	is	be	AUX
ejpam-2678	78	9	called	call	VERB
ejpam-2678	78	10	orbitally	orbitally	ADV
ejpam-2678	78	11	continuous	continuous	ADJ
ejpam-2678	78	12	if	if	SCONJ
ejpam-2678	78	13	limi→∞	limi→∞	PROPN
ejpam-2678	78	14	p(t	p(t	VERB
ejpam-2678	78	15	nix	nix	NOUN
ejpam-2678	78	16	,	,	PUNCT
ejpam-2678	78	17	z	z	NOUN
ejpam-2678	78	18	)	)	PUNCT
ejpam-2678	78	19	=	=	SYM
ejpam-2678	79	1	p(z	p(z	NOUN
ejpam-2678	79	2	,	,	PUNCT
ejpam-2678	79	3	z	z	NOUN
ejpam-2678	79	4	)	)	PUNCT
ejpam-2678	79	5	implies	imply	VERB
ejpam-2678	79	6	limi→∞	limi→∞	PROPN
ejpam-2678	79	7	p(tt	p(tt	ADP
ejpam-2678	79	8	nix	nix	NOUN
ejpam-2678	79	9	,	,	PUNCT
ejpam-2678	79	10	z	z	NOUN
ejpam-2678	79	11	)	)	PUNCT
ejpam-2678	79	12	=	=	SYM
ejpam-2678	79	13	p(tz	p(tz	PROPN
ejpam-2678	79	14	,	,	PUNCT
ejpam-2678	79	15	z	z	NOUN
ejpam-2678	79	16	)	)	PUNCT
ejpam-2678	79	17	for	for	ADP
ejpam-2678	79	18	each	each	DET
ejpam-2678	79	19	x	x	SYM
ejpam-2678	79	20	∈	∈	PROPN
ejpam-2678	79	21	x.	x.	NOUN
ejpam-2678	79	22	definition	definition	NOUN
ejpam-2678	79	23	4	4	NUM
ejpam-2678	79	24	(	(	PUNCT
ejpam-2678	79	25	[	[	NOUN
ejpam-2678	79	26	8	8	NUM
ejpam-2678	79	27	]	]	NUM
ejpam-2678	79	28	)	)	PUNCT
ejpam-2678	79	29	.	.	PUNCT
ejpam-2678	80	1	a	a	DET
ejpam-2678	80	2	partial	partial	ADJ
ejpam-2678	80	3	metric	metric	ADJ
ejpam-2678	80	4	space	space	NOUN
ejpam-2678	80	5	is	be	AUX
ejpam-2678	80	6	called	call	VERB
ejpam-2678	80	7	orbitally	orbitally	ADV
ejpam-2678	80	8	complete	complete	ADJ
ejpam-2678	80	9	if	if	SCONJ
ejpam-2678	80	10	every	every	DET
ejpam-2678	80	11	cauchy	cauchy	ADJ
ejpam-2678	80	12	sequence	sequence	NOUN
ejpam-2678	80	13	{	{	PUNCT
ejpam-2678	80	14	tnix}∞i=1	tnix}∞i=1	NOUN
ejpam-2678	80	15	converges	converge	VERB
ejpam-2678	80	16	in	in	ADP
ejpam-2678	80	17	(	(	PUNCT
ejpam-2678	80	18	x	x	NOUN
ejpam-2678	80	19	,	,	PUNCT
ejpam-2678	80	20	p	p	NOUN
ejpam-2678	80	21	)	)	PUNCT
ejpam-2678	80	22	,	,	PUNCT
ejpam-2678	80	23	that	that	PRON
ejpam-2678	80	24	is	be	AUX
ejpam-2678	80	25	lim	lim	PROPN
ejpam-2678	80	26	i	i	PRON
ejpam-2678	80	27	,	,	PUNCT
ejpam-2678	80	28	j→∞	j→∞	NUM
ejpam-2678	80	29	p(tnix	p(tnix	NOUN
ejpam-2678	80	30	,	,	PUNCT
ejpam-2678	80	31	tnjx	tnjx	VERB
ejpam-2678	80	32	)	)	PUNCT
ejpam-2678	80	33	=	=	SYM
ejpam-2678	80	34	lim	lim	PROPN
ejpam-2678	80	35	i→∞	i→∞	NUM
ejpam-2678	80	36	p(tnix	p(tnix	NOUN
ejpam-2678	80	37	,	,	PUNCT
ejpam-2678	80	38	z	z	NOUN
ejpam-2678	80	39	)	)	PUNCT
ejpam-2678	80	40	=	=	SYM
ejpam-2678	81	1	p(z	p(z	NOUN
ejpam-2678	81	2	,	,	PUNCT
ejpam-2678	81	3	z	z	NOUN
ejpam-2678	81	4	)	)	PUNCT
ejpam-2678	81	5	.	.	PUNCT
ejpam-2678	82	1	theorem	theorem	ADJ
ejpam-2678	82	2	2	2	NUM
ejpam-2678	82	3	(	(	PUNCT
ejpam-2678	82	4	[	[	NOUN
ejpam-2678	82	5	8	8	NUM
ejpam-2678	82	6	]	]	PUNCT
ejpam-2678	82	7	)	)	PUNCT
ejpam-2678	82	8	.	.	PUNCT
ejpam-2678	83	1	let	let	VERB
ejpam-2678	83	2	t	t	NOUN
ejpam-2678	83	3	:	:	PUNCT
ejpam-2678	83	4	x	x	X
ejpam-2678	83	5	→	→	PUNCT
ejpam-2678	83	6	x	x	PUNCT
ejpam-2678	83	7	be	be	AUX
ejpam-2678	83	8	an	an	DET
ejpam-2678	83	9	orbitally	orbitally	ADV
ejpam-2678	83	10	continuous	continuous	ADJ
ejpam-2678	83	11	function	function	NOUN
ejpam-2678	83	12	on	on	ADP
ejpam-2678	83	13	an	an	DET
ejpam-2678	83	14	orbitally	orbitally	ADV
ejpam-2678	83	15	complete	complete	ADJ
ejpam-2678	83	16	partial	partial	ADJ
ejpam-2678	83	17	metric	metric	ADJ
ejpam-2678	83	18	space	space	NOUN
ejpam-2678	83	19	(	(	PUNCT
ejpam-2678	83	20	x	x	X
ejpam-2678	83	21	,	,	PUNCT
ejpam-2678	83	22	p	p	NOUN
ejpam-2678	83	23	)	)	PUNCT
ejpam-2678	83	24	.	.	PUNCT
ejpam-2678	84	1	if	if	SCONJ
ejpam-2678	84	2	min{p	min{p	PROPN
ejpam-2678	84	3	(	(	PUNCT
ejpam-2678	84	4	tx	tx	PROPN
ejpam-2678	84	5	,	,	PUNCT
ejpam-2678	84	6	ty	ty	INTJ
ejpam-2678	84	7	)	)	PUNCT
ejpam-2678	84	8	,	,	PUNCT
ejpam-2678	84	9	p	p	X
ejpam-2678	84	10	(	(	PUNCT
ejpam-2678	84	11	x	x	NOUN
ejpam-2678	84	12	,	,	PUNCT
ejpam-2678	84	13	tx	tx	PROPN
ejpam-2678	84	14	)	)	PUNCT
ejpam-2678	84	15	,	,	PUNCT
ejpam-2678	84	16	p	p	X
ejpam-2678	84	17	(	(	PUNCT
ejpam-2678	84	18	y	y	PROPN
ejpam-2678	84	19	,	,	PUNCT
ejpam-2678	84	20	ty	ty	NOUN
ejpam-2678	84	21	)	)	PUNCT
ejpam-2678	84	22	}	}	PUNCT
ejpam-2678	84	23	≤	≤	NUM
ejpam-2678	84	24	ap	ap	PROPN
ejpam-2678	84	25	(	(	PUNCT
ejpam-2678	84	26	x	x	NOUN
ejpam-2678	84	27	,	,	PUNCT
ejpam-2678	84	28	y	y	NOUN
ejpam-2678	84	29	)	)	PUNCT
ejpam-2678	84	30	for	for	ADP
ejpam-2678	84	31	some	some	PRON
ejpam-2678	84	32	0	0	NUM
ejpam-2678	84	33	≤	≤	NOUN
ejpam-2678	84	34	a	a	DET
ejpam-2678	84	35	<	<	X
ejpam-2678	84	36	1	1	NUM
ejpam-2678	84	37	and	and	CCONJ
ejpam-2678	84	38	all	all	DET
ejpam-2678	84	39	x	x	NOUN
ejpam-2678	84	40	,	,	PUNCT
ejpam-2678	84	41	y	y	PROPN
ejpam-2678	84	42	∈	∈	PROPN
ejpam-2678	84	43	x	x	X
ejpam-2678	84	44	,	,	PUNCT
ejpam-2678	84	45	then	then	ADV
ejpam-2678	84	46	the	the	DET
ejpam-2678	84	47	sequence	sequence	NOUN
ejpam-2678	84	48	{	{	PUNCT
ejpam-2678	84	49	tnx	tnx	NOUN
ejpam-2678	84	50	}	}	PUNCT
ejpam-2678	84	51	converges	converge	NOUN
ejpam-2678	84	52	to	to	ADP
ejpam-2678	84	53	a	a	DET
ejpam-2678	84	54	fixed	fix	VERB
ejpam-2678	84	55	point	point	NOUN
ejpam-2678	84	56	of	of	ADP
ejpam-2678	84	57	t	t	PROPN
ejpam-2678	84	58	in	in	ADP
ejpam-2678	84	59	x.	x.	PROPN
ejpam-2678	84	60	theorem	theorem	VERB
ejpam-2678	84	61	3	3	NUM
ejpam-2678	84	62	(	(	PUNCT
ejpam-2678	84	63	[	[	X
ejpam-2678	84	64	8	8	NUM
ejpam-2678	84	65	]	]	PUNCT
ejpam-2678	84	66	)	)	PUNCT
ejpam-2678	84	67	.	.	PUNCT
ejpam-2678	85	1	let	let	VERB
ejpam-2678	85	2	t	t	NOUN
ejpam-2678	85	3	:	:	PUNCT
ejpam-2678	85	4	x	x	X
ejpam-2678	85	5	→	→	PUNCT
ejpam-2678	85	6	x	x	PUNCT
ejpam-2678	85	7	be	be	AUX
ejpam-2678	85	8	an	an	DET
ejpam-2678	85	9	orbitally	orbitally	ADV
ejpam-2678	85	10	continuous	continuous	ADJ
ejpam-2678	85	11	function	function	NOUN
ejpam-2678	85	12	on	on	ADP
ejpam-2678	85	13	an	an	DET
ejpam-2678	85	14	orbitally	orbitally	ADV
ejpam-2678	85	15	complete	complete	ADJ
ejpam-2678	85	16	partial	partial	ADJ
ejpam-2678	85	17	metric	metric	ADJ
ejpam-2678	85	18	space	space	NOUN
ejpam-2678	85	19	(	(	PUNCT
ejpam-2678	85	20	x	x	X
ejpam-2678	85	21	,	,	PUNCT
ejpam-2678	85	22	p	p	NOUN
ejpam-2678	85	23	)	)	PUNCT
ejpam-2678	85	24	.	.	PUNCT
ejpam-2678	86	1	if	if	SCONJ
ejpam-2678	86	2	min{p	min{p	PROPN
ejpam-2678	86	3	(	(	PUNCT
ejpam-2678	86	4	tx	tx	PROPN
ejpam-2678	86	5	,	,	PUNCT
ejpam-2678	86	6	ty	ty	NOUN
ejpam-2678	86	7	)	)	PUNCT
ejpam-2678	86	8	·	·	PUNCT
ejpam-2678	86	9	p(x	p(x	PROPN
ejpam-2678	86	10	,	,	PUNCT
ejpam-2678	86	11	y	y	PROPN
ejpam-2678	86	12	)	)	PUNCT
ejpam-2678	86	13	,	,	PUNCT
ejpam-2678	86	14	p	p	X
ejpam-2678	86	15	(	(	PUNCT
ejpam-2678	86	16	x	x	NOUN
ejpam-2678	86	17	,	,	PUNCT
ejpam-2678	86	18	tx	tx	PROPN
ejpam-2678	86	19	)	)	PUNCT
ejpam-2678	86	20	·	·	PUNCT
ejpam-2678	87	1	p	p	X
ejpam-2678	87	2	(	(	PUNCT
ejpam-2678	87	3	y	y	PROPN
ejpam-2678	87	4	,	,	PUNCT
ejpam-2678	87	5	ty	ty	NOUN
ejpam-2678	87	6	)	)	PUNCT
ejpam-2678	87	7	}	}	PUNCT
ejpam-2678	87	8	min{p	min{p	ADP
ejpam-2678	87	9	(	(	PUNCT
ejpam-2678	87	10	x	x	NOUN
ejpam-2678	87	11	,	,	PUNCT
ejpam-2678	87	12	tx	tx	PROPN
ejpam-2678	87	13	)	)	PUNCT
ejpam-2678	87	14	,	,	PUNCT
ejpam-2678	87	15	p	p	X
ejpam-2678	87	16	(	(	PUNCT
ejpam-2678	87	17	y	y	PROPN
ejpam-2678	87	18	,	,	PUNCT
ejpam-2678	87	19	ty	ty	NOUN
ejpam-2678	87	20	)	)	PUNCT
ejpam-2678	87	21	}	}	PUNCT
ejpam-2678	87	22	≤	≤	NUM
ejpam-2678	87	23	ap	ap	PROPN
ejpam-2678	87	24	(	(	PUNCT
ejpam-2678	87	25	x	x	NOUN
ejpam-2678	87	26	,	,	PUNCT
ejpam-2678	87	27	y	y	NOUN
ejpam-2678	87	28	)	)	PUNCT
ejpam-2678	87	29	for	for	ADP
ejpam-2678	87	30	some	some	PRON
ejpam-2678	87	31	0	0	NUM
ejpam-2678	87	32	≤	≤	NOUN
ejpam-2678	87	33	a	a	DET
ejpam-2678	87	34	<	<	X
ejpam-2678	87	35	1	1	NUM
ejpam-2678	87	36	and	and	CCONJ
ejpam-2678	87	37	all	all	DET
ejpam-2678	87	38	x	x	NOUN
ejpam-2678	87	39	,	,	PUNCT
ejpam-2678	87	40	y	y	PROPN
ejpam-2678	87	41	∈	∈	PROPN
ejpam-2678	87	42	x	x	PUNCT
ejpam-2678	87	43	such	such	ADJ
ejpam-2678	87	44	that	that	DET
ejpam-2678	87	45	p(x	p(x	PROPN
ejpam-2678	87	46	,	,	PUNCT
ejpam-2678	87	47	tx	tx	PROPN
ejpam-2678	87	48	)	)	PUNCT
ejpam-2678	87	49	6=	6=	ADP
ejpam-2678	87	50	0	0	NUM
ejpam-2678	87	51	and	and	CCONJ
ejpam-2678	87	52	p(y	p(y	PROPN
ejpam-2678	87	53	,	,	PUNCT
ejpam-2678	87	54	ty	ty	INTJ
ejpam-2678	87	55	)	)	PUNCT
ejpam-2678	87	56	6=	6=	ADP
ejpam-2678	87	57	0	0	NUM
ejpam-2678	87	58	,	,	PUNCT
ejpam-2678	87	59	then	then	ADV
ejpam-2678	87	60	the	the	DET
ejpam-2678	87	61	sequence	sequence	NOUN
ejpam-2678	87	62	{	{	PUNCT
ejpam-2678	87	63	tnx	tnx	NOUN
ejpam-2678	87	64	}	}	PUNCT
ejpam-2678	87	65	converges	converge	NOUN
ejpam-2678	87	66	to	to	ADP
ejpam-2678	87	67	a	a	DET
ejpam-2678	87	68	fixed	fix	VERB
ejpam-2678	87	69	point	point	NOUN
ejpam-2678	87	70	of	of	ADP
ejpam-2678	87	71	t	t	PROPN
ejpam-2678	87	72	.	.	PUNCT
ejpam-2678	88	1	v.	v.	CCONJ
ejpam-2678	88	2	popa	popa	NOUN
ejpam-2678	88	3	,	,	PUNCT
ejpam-2678	88	4	a.-m	a.-m	PROPN
ejpam-2678	88	5	.	.	PUNCT
ejpam-2678	89	1	patriciu	patriciu	PROPN
ejpam-2678	89	2	/	/	SYM
ejpam-2678	89	3	eur	eur	PROPN
ejpam-2678	89	4	.	.	PUNCT
ejpam-2678	90	1	j.	j.	PROPN
ejpam-2678	90	2	pure	pure	PROPN
ejpam-2678	90	3	appl	appl	PROPN
ejpam-2678	90	4	.	.	PROPN
ejpam-2678	90	5	math	math	PROPN
ejpam-2678	90	6	,	,	PUNCT
ejpam-2678	90	7	10	10	NUM
ejpam-2678	90	8	(	(	PUNCT
ejpam-2678	90	9	4	4	NUM
ejpam-2678	90	10	)	)	PUNCT
ejpam-2678	90	11	(	(	PUNCT
ejpam-2678	90	12	2017	2017	NUM
ejpam-2678	90	13	)	)	PUNCT
ejpam-2678	90	14	,	,	PUNCT
ejpam-2678	90	15	908	908	NUM
ejpam-2678	90	16	-	-	SYM
ejpam-2678	90	17	915	915	NUM
ejpam-2678	90	18	911	911	NUM
ejpam-2678	90	19	theorem	theorem	NOUN
ejpam-2678	90	20	4	4	NUM
ejpam-2678	90	21	(	(	PUNCT
ejpam-2678	90	22	[	[	X
ejpam-2678	90	23	10	10	NUM
ejpam-2678	90	24	]	]	NUM
ejpam-2678	90	25	)	)	PUNCT
ejpam-2678	90	26	.	.	PUNCT
ejpam-2678	91	1	let	let	AUX
ejpam-2678	91	2	(	(	PUNCT
ejpam-2678	91	3	x	x	X
ejpam-2678	91	4	,	,	PUNCT
ejpam-2678	91	5	p	p	X
ejpam-2678	91	6	)	)	PUNCT
ejpam-2678	91	7	be	be	AUX
ejpam-2678	91	8	an	an	DET
ejpam-2678	91	9	orbitally	orbitally	ADV
ejpam-2678	91	10	complete	complete	ADJ
ejpam-2678	91	11	partial	partial	ADJ
ejpam-2678	91	12	metric	metric	ADJ
ejpam-2678	91	13	space	space	NOUN
ejpam-2678	91	14	and	and	CCONJ
ejpam-2678	91	15	let	let	VERB
ejpam-2678	91	16	t	t	NOUN
ejpam-2678	91	17	:	:	PUNCT
ejpam-2678	91	18	x	x	X
ejpam-2678	91	19	→	→	PUNCT
ejpam-2678	91	20	x	x	PUNCT
ejpam-2678	91	21	be	be	AUX
ejpam-2678	91	22	an	an	DET
ejpam-2678	91	23	orbitally	orbitally	ADV
ejpam-2678	91	24	continuous	continuous	ADJ
ejpam-2678	91	25	function	function	NOUN
ejpam-2678	91	26	that	that	PRON
ejpam-2678	91	27	satisfy	satisfy	VERB
ejpam-2678	91	28	p	p	PROPN
ejpam-2678	91	29	(	(	PUNCT
ejpam-2678	91	30	tx	tx	PROPN
ejpam-2678	91	31	,	,	PUNCT
ejpam-2678	91	32	ty	ty	NOUN
ejpam-2678	91	33	)	)	PUNCT
ejpam-2678	91	34	≤	≤	NOUN
ejpam-2678	92	1	ap	ap	PROPN
ejpam-2678	92	2	(	(	PUNCT
ejpam-2678	92	3	x	x	X
ejpam-2678	92	4	,	,	PUNCT
ejpam-2678	92	5	y	y	PROPN
ejpam-2678	92	6	)	)	PUNCT
ejpam-2678	93	1	+	+	NOUN
ejpam-2678	93	2	b	b	X
ejpam-2678	93	3	p	p	X
ejpam-2678	93	4	(	(	PUNCT
ejpam-2678	93	5	x	x	NOUN
ejpam-2678	93	6	,	,	PUNCT
ejpam-2678	93	7	tx	tx	PROPN
ejpam-2678	93	8	)	)	PUNCT
ejpam-2678	94	1	+	+	CCONJ
ejpam-2678	94	2	p	p	X
ejpam-2678	94	3	(	(	PUNCT
ejpam-2678	94	4	y	y	PROPN
ejpam-2678	94	5	,	,	PUNCT
ejpam-2678	94	6	ty	ty	NOUN
ejpam-2678	94	7	)	)	PUNCT
ejpam-2678	94	8	}	}	PUNCT
ejpam-2678	94	9	1	1	NUM
ejpam-2678	95	1	+	+	CCONJ
ejpam-2678	95	2	p	p	X
ejpam-2678	95	3	(	(	PUNCT
ejpam-2678	95	4	x	x	NOUN
ejpam-2678	95	5	,	,	PUNCT
ejpam-2678	95	6	y	y	NOUN
ejpam-2678	95	7	)	)	PUNCT
ejpam-2678	95	8	for	for	ADP
ejpam-2678	95	9	all	all	DET
ejpam-2678	95	10	x	x	SYM
ejpam-2678	95	11	6=	6=	PROPN
ejpam-2678	95	12	y	y	PROPN
ejpam-2678	95	13	,	,	PUNCT
ejpam-2678	95	14	where	where	SCONJ
ejpam-2678	95	15	a	a	DET
ejpam-2678	95	16	,	,	PUNCT
ejpam-2678	95	17	b	b	NOUN
ejpam-2678	95	18	≥	≥	NOUN
ejpam-2678	95	19	0	0	NUM
ejpam-2678	95	20	and	and	CCONJ
ejpam-2678	95	21	a+	a+	PRON
ejpam-2678	95	22	b	b	X
ejpam-2678	95	23	<	<	X
ejpam-2678	95	24	1	1	NUM
ejpam-2678	95	25	.	.	PUNCT
ejpam-2678	96	1	then	then	ADV
ejpam-2678	96	2	t	t	PROPN
ejpam-2678	96	3	has	have	VERB
ejpam-2678	96	4	a	a	DET
ejpam-2678	96	5	fixed	fix	VERB
ejpam-2678	96	6	point	point	NOUN
ejpam-2678	96	7	z	z	NOUN
ejpam-2678	96	8	in	in	ADP
ejpam-2678	96	9	x.	x.	NOUN
ejpam-2678	96	10	moreover	moreover	ADV
ejpam-2678	96	11	,	,	PUNCT
ejpam-2678	96	12	p(z	p(z	NOUN
ejpam-2678	96	13	,	,	PUNCT
ejpam-2678	96	14	tz	tz	NOUN
ejpam-2678	96	15	)	)	PUNCT
ejpam-2678	96	16	=	=	SYM
ejpam-2678	96	17	p(tz	p(tz	PROPN
ejpam-2678	96	18	,	,	PUNCT
ejpam-2678	96	19	tz	tz	NOUN
ejpam-2678	96	20	)	)	PUNCT
ejpam-2678	96	21	=	=	VERB
ejpam-2678	97	1	p(z	p(z	NOUN
ejpam-2678	97	2	,	,	PUNCT
ejpam-2678	97	3	z	z	NOUN
ejpam-2678	97	4	)	)	PUNCT
ejpam-2678	97	5	=	=	SYM
ejpam-2678	97	6	0	0	X
ejpam-2678	97	7	.	.	PUNCT
ejpam-2678	97	8	theorem	theorem	NOUN
ejpam-2678	97	9	5	5	NUM
ejpam-2678	97	10	(	(	PUNCT
ejpam-2678	97	11	[	[	X
ejpam-2678	97	12	7	7	NUM
ejpam-2678	97	13	]	]	NUM
ejpam-2678	97	14	)	)	PUNCT
ejpam-2678	97	15	.	.	PUNCT
ejpam-2678	98	1	let	let	VERB
ejpam-2678	98	2	t	t	NOUN
ejpam-2678	98	3	:	:	PUNCT
ejpam-2678	98	4	x	x	X
ejpam-2678	98	5	→	→	PUNCT
ejpam-2678	98	6	x	x	PUNCT
ejpam-2678	98	7	be	be	AUX
ejpam-2678	98	8	an	an	DET
ejpam-2678	98	9	orbitally	orbitally	ADV
ejpam-2678	98	10	continuous	continuous	ADJ
ejpam-2678	98	11	function	function	NOUN
ejpam-2678	98	12	on	on	ADP
ejpam-2678	98	13	an	an	DET
ejpam-2678	98	14	orbitally	orbitally	ADV
ejpam-2678	98	15	complete	complete	ADJ
ejpam-2678	98	16	partial	partial	ADJ
ejpam-2678	98	17	metric	metric	ADJ
ejpam-2678	98	18	space	space	NOUN
ejpam-2678	98	19	.	.	PUNCT
ejpam-2678	99	1	suppose	suppose	VERB
ejpam-2678	99	2	that	that	SCONJ
ejpam-2678	99	3	min{p2	min{p2	PROPN
ejpam-2678	99	4	(	(	PUNCT
ejpam-2678	99	5	x	x	X
ejpam-2678	99	6	,	,	PUNCT
ejpam-2678	99	7	tx	tx	PROPN
ejpam-2678	99	8	)	)	PUNCT
ejpam-2678	99	9	,	,	PUNCT
ejpam-2678	99	10	p2	p2	PROPN
ejpam-2678	99	11	(	(	PUNCT
ejpam-2678	99	12	y	y	PROPN
ejpam-2678	99	13	,	,	PUNCT
ejpam-2678	99	14	ty	ty	NUM
ejpam-2678	99	15	)	)	PUNCT
ejpam-2678	99	16	,	,	PUNCT
ejpam-2678	99	17	p	p	X
ejpam-2678	99	18	(	(	PUNCT
ejpam-2678	99	19	x	x	NOUN
ejpam-2678	99	20	,	,	PUNCT
ejpam-2678	99	21	y	y	PROPN
ejpam-2678	99	22	)	)	PUNCT
ejpam-2678	99	23	·	·	PUNCT
ejpam-2678	100	1	p	p	X
ejpam-2678	100	2	(	(	PUNCT
ejpam-2678	100	3	tx	tx	PROPN
ejpam-2678	100	4	,	,	PUNCT
ejpam-2678	100	5	ty	ty	NOUN
ejpam-2678	100	6	)	)	PUNCT
ejpam-2678	100	7	}	}	PUNCT
ejpam-2678	100	8	≤	≤	NUM
ejpam-2678	100	9	ap	ap	PROPN
ejpam-2678	100	10	(	(	PUNCT
ejpam-2678	100	11	x	x	NOUN
ejpam-2678	100	12	,	,	PUNCT
ejpam-2678	100	13	tx	tx	PROPN
ejpam-2678	100	14	)	)	PUNCT
ejpam-2678	100	15	·	·	PUNCT
ejpam-2678	101	1	p	p	X
ejpam-2678	101	2	(	(	PUNCT
ejpam-2678	101	3	y	y	PROPN
ejpam-2678	101	4	,	,	PUNCT
ejpam-2678	101	5	ty	ty	NOUN
ejpam-2678	101	6	)	)	PUNCT
ejpam-2678	101	7	for	for	ADP
ejpam-2678	101	8	all	all	DET
ejpam-2678	101	9	all	all	DET
ejpam-2678	101	10	x	x	NOUN
ejpam-2678	101	11	,	,	PUNCT
ejpam-2678	101	12	y	y	PROPN
ejpam-2678	101	13	∈	∈	PROPN
ejpam-2678	101	14	x	x	X
ejpam-2678	101	15	and	and	CCONJ
ejpam-2678	101	16	for	for	ADP
ejpam-2678	101	17	some	some	DET
ejpam-2678	101	18	0	0	NUM
ejpam-2678	101	19	≤	≤	NOUN
ejpam-2678	101	20	a	a	DET
ejpam-2678	101	21	<	<	X
ejpam-2678	101	22	1	1	NUM
ejpam-2678	101	23	.	.	PUNCT
ejpam-2678	101	24	then	then	ADV
ejpam-2678	101	25	for	for	SCONJ
ejpam-2678	101	26	each	each	DET
ejpam-2678	101	27	x	x	SYM
ejpam-2678	101	28	∈	∈	PROPN
ejpam-2678	101	29	x	x	NOUN
ejpam-2678	101	30	,	,	PUNCT
ejpam-2678	101	31	the	the	DET
ejpam-2678	101	32	sequence	sequence	NOUN
ejpam-2678	101	33	{	{	PUNCT
ejpam-2678	101	34	tnx	tnx	NOUN
ejpam-2678	101	35	}	}	PUNCT
ejpam-2678	101	36	converges	converge	NOUN
ejpam-2678	101	37	to	to	ADP
ejpam-2678	101	38	a	a	DET
ejpam-2678	101	39	fixed	fix	VERB
ejpam-2678	101	40	point	point	NOUN
ejpam-2678	101	41	of	of	ADP
ejpam-2678	101	42	t	t	PROPN
ejpam-2678	101	43	.	.	PUNCT
ejpam-2678	102	1	3	3	X
ejpam-2678	102	2	.	.	X
ejpam-2678	102	3	implicit	implicit	ADJ
ejpam-2678	102	4	relations	relation	NOUN
ejpam-2678	102	5	definition	definition	NOUN
ejpam-2678	102	6	5	5	NUM
ejpam-2678	102	7	.	.	PUNCT
ejpam-2678	103	1	let	let	VERB
ejpam-2678	103	2	fop	fop	ADJ
ejpam-2678	103	3	be	be	AUX
ejpam-2678	103	4	the	the	DET
ejpam-2678	103	5	sets	set	NOUN
ejpam-2678	103	6	of	of	ADP
ejpam-2678	103	7	all	all	DET
ejpam-2678	103	8	continuous	continuous	ADJ
ejpam-2678	103	9	functions	function	NOUN
ejpam-2678	103	10	f	f	PROPN
ejpam-2678	103	11	(	(	PUNCT
ejpam-2678	103	12	t1	t1	PROPN
ejpam-2678	103	13	,	,	PUNCT
ejpam-2678	103	14	t2	t2	NOUN
ejpam-2678	103	15	,	,	PUNCT
ejpam-2678	103	16	...	...	PUNCT
ejpam-2678	103	17	,	,	PUNCT
ejpam-2678	103	18	t5	t5	PROPN
ejpam-2678	103	19	)	)	PUNCT
ejpam-2678	103	20	:	:	PUNCT
ejpam-2678	104	1	r5	r5	PROPN
ejpam-2678	104	2	+	+	PUNCT
ejpam-2678	104	3	→	→	SYM
ejpam-2678	104	4	r	r	NOUN
ejpam-2678	104	5	satisfying	satisfy	VERB
ejpam-2678	104	6	the	the	DET
ejpam-2678	104	7	following	follow	VERB
ejpam-2678	104	8	conditions	condition	NOUN
ejpam-2678	104	9	:	:	PUNCT
ejpam-2678	104	10	(	(	PUNCT
ejpam-2678	104	11	f1	f1	NOUN
ejpam-2678	104	12	)	)	PUNCT
ejpam-2678	104	13	:	:	PUNCT
ejpam-2678	105	1	f	f	PROPN
ejpam-2678	105	2	is	be	AUX
ejpam-2678	105	3	not	not	PART
ejpam-2678	105	4	increasing	increase	VERB
ejpam-2678	105	5	in	in	ADP
ejpam-2678	105	6	variable	variable	ADJ
ejpam-2678	105	7	t5	t5	PROPN
ejpam-2678	105	8	,	,	PUNCT
ejpam-2678	105	9	(	(	PUNCT
ejpam-2678	105	10	f2	f2	PROPN
ejpam-2678	105	11	)	)	PUNCT
ejpam-2678	105	12	:	:	PUNCT
ejpam-2678	105	13	there	there	PRON
ejpam-2678	105	14	exists	exist	VERB
ejpam-2678	105	15	h	h	NOUN
ejpam-2678	105	16	∈	∈	PROPN
ejpam-2678	105	17	(	(	PUNCT
ejpam-2678	105	18	0	0	NUM
ejpam-2678	105	19	,	,	PUNCT
ejpam-2678	105	20	1	1	NUM
ejpam-2678	105	21	)	)	PUNCT
ejpam-2678	105	22	such	such	ADJ
ejpam-2678	105	23	that	that	PRON
ejpam-2678	105	24	for	for	ADP
ejpam-2678	105	25	all	all	DET
ejpam-2678	105	26	u	u	PROPN
ejpam-2678	105	27	≥	≥	NOUN
ejpam-2678	105	28	0	0	NUM
ejpam-2678	105	29	,	,	PUNCT
ejpam-2678	105	30	v	v	ADP
ejpam-2678	105	31	>	>	X
ejpam-2678	105	32	0	0	NUM
ejpam-2678	105	33	,	,	PUNCT
ejpam-2678	105	34	f	f	PROPN
ejpam-2678	105	35	(	(	PUNCT
ejpam-2678	105	36	u	u	NOUN
ejpam-2678	105	37	,	,	PUNCT
ejpam-2678	105	38	v	v	NOUN
ejpam-2678	105	39	,	,	PUNCT
ejpam-2678	105	40	v	v	NOUN
ejpam-2678	105	41	,	,	PUNCT
ejpam-2678	105	42	u	u	NOUN
ejpam-2678	105	43	,	,	PUNCT
ejpam-2678	105	44	u	u	NOUN
ejpam-2678	105	45	+	+	NOUN
ejpam-2678	105	46	v	v	NOUN
ejpam-2678	105	47	)	)	PUNCT
ejpam-2678	105	48	≤	≤	NOUN
ejpam-2678	105	49	0	0	NUM
ejpam-2678	105	50	implies	imply	VERB
ejpam-2678	105	51	u	u	NOUN
ejpam-2678	105	52	≤	≤	X
ejpam-2678	105	53	hv	hv	PROPN
ejpam-2678	105	54	.	.	PUNCT
ejpam-2678	106	1	in	in	ADP
ejpam-2678	106	2	the	the	DET
ejpam-2678	106	3	following	following	ADJ
ejpam-2678	106	4	examples	example	NOUN
ejpam-2678	106	5	,	,	PUNCT
ejpam-2678	106	6	the	the	DET
ejpam-2678	106	7	condition	condition	NOUN
ejpam-2678	106	8	(	(	PUNCT
ejpam-2678	106	9	f1	f1	NOUN
ejpam-2678	106	10	)	)	PUNCT
ejpam-2678	106	11	is	be	AUX
ejpam-2678	106	12	obviously	obviously	ADV
ejpam-2678	106	13	.	.	PUNCT
ejpam-2678	107	1	example	example	NOUN
ejpam-2678	108	1	2	2	NUM
ejpam-2678	108	2	.	.	X
ejpam-2678	108	3	f	f	PROPN
ejpam-2678	108	4	(	(	PUNCT
ejpam-2678	108	5	t1	t1	PROPN
ejpam-2678	108	6	,	,	PUNCT
ejpam-2678	108	7	...	...	PUNCT
ejpam-2678	108	8	,	,	PUNCT
ejpam-2678	108	9	t5	t5	PROPN
ejpam-2678	108	10	)	)	PUNCT
ejpam-2678	108	11	=	=	PUNCT
ejpam-2678	109	1	t1	t1	NOUN
ejpam-2678	109	2	−	−	PROPN
ejpam-2678	109	3	at2	at2	PROPN
ejpam-2678	109	4	−	−	PROPN
ejpam-2678	109	5	bt3	bt3	NOUN
ejpam-2678	109	6	−	−	PROPN
ejpam-2678	109	7	ct4	ct4	NOUN
ejpam-2678	109	8	−	−	NOUN
ejpam-2678	109	9	dt5	dt5	NOUN
ejpam-2678	109	10	,	,	PUNCT
ejpam-2678	109	11	where	where	SCONJ
ejpam-2678	109	12	a	a	DET
ejpam-2678	109	13	>	>	X
ejpam-2678	109	14	0	0	NUM
ejpam-2678	109	15	,	,	PUNCT
ejpam-2678	109	16	b	b	NOUN
ejpam-2678	109	17	,	,	PUNCT
ejpam-2678	109	18	c	c	NOUN
ejpam-2678	109	19	,	,	PUNCT
ejpam-2678	109	20	d	d	X
ejpam-2678	109	21	≥	≥	NUM
ejpam-2678	109	22	0	0	NUM
ejpam-2678	109	23	and	and	CCONJ
ejpam-2678	109	24	a+	a+	X
ejpam-2678	109	25	b+	b+	X
ejpam-2678	109	26	c+	c+	VERB
ejpam-2678	109	27	2d	2d	NOUN
ejpam-2678	109	28	<	<	X
ejpam-2678	109	29	1	1	NUM
ejpam-2678	109	30	.	.	PUNCT
ejpam-2678	109	31	(	(	PUNCT
ejpam-2678	109	32	f2	f2	PROPN
ejpam-2678	109	33	)	)	PUNCT
ejpam-2678	109	34	:	:	PUNCT
ejpam-2678	109	35	let	let	VERB
ejpam-2678	109	36	u	u	PRON
ejpam-2678	109	37	≥	≥	NOUN
ejpam-2678	109	38	0	0	NUM
ejpam-2678	109	39	,	,	PUNCT
ejpam-2678	109	40	v	v	ADP
ejpam-2678	109	41	>	>	X
ejpam-2678	109	42	0	0	PUNCT
ejpam-2678	110	1	and	and	CCONJ
ejpam-2678	110	2	f	f	PROPN
ejpam-2678	110	3	(	(	PUNCT
ejpam-2678	110	4	u	u	NOUN
ejpam-2678	110	5	,	,	PUNCT
ejpam-2678	110	6	v	v	NOUN
ejpam-2678	110	7	,	,	PUNCT
ejpam-2678	110	8	v	v	NOUN
ejpam-2678	110	9	,	,	PUNCT
ejpam-2678	110	10	u	u	NOUN
ejpam-2678	110	11	,	,	PUNCT
ejpam-2678	110	12	u+	u+	NOUN
ejpam-2678	110	13	v	v	NOUN
ejpam-2678	110	14	)	)	PUNCT
ejpam-2678	110	15	=	=	SYM
ejpam-2678	110	16	u	u	NOUN
ejpam-2678	110	17	−	−	PROPN
ejpam-2678	110	18	av	av	PROPN
ejpam-2678	110	19	−	−	PROPN
ejpam-2678	110	20	bv	bv	PROPN
ejpam-2678	110	21	−	−	PROPN
ejpam-2678	110	22	cu	cu	PROPN
ejpam-2678	110	23	−	−	PROPN
ejpam-2678	110	24	d	d	PROPN
ejpam-2678	110	25	(	(	PUNCT
ejpam-2678	110	26	u+	u+	NUM
ejpam-2678	110	27	v	v	NOUN
ejpam-2678	110	28	)	)	PUNCT
ejpam-2678	110	29	≤	≤	NOUN
ejpam-2678	110	30	0	0	NUM
ejpam-2678	110	31	.	.	PUNCT
ejpam-2678	111	1	then	then	ADV
ejpam-2678	111	2	u	u	X
ejpam-2678	111	3	≤	≤	X
ejpam-2678	111	4	hv	hv	PROPN
ejpam-2678	111	5	,	,	PUNCT
ejpam-2678	111	6	where	where	SCONJ
ejpam-2678	111	7	0	0	X
ejpam-2678	111	8	<	<	X
ejpam-2678	111	9	h	h	PROPN
ejpam-2678	111	10	=	=	X
ejpam-2678	111	11	a+b+d	a+b+d	PROPN
ejpam-2678	111	12	1−(c+d	1−(c+d	NUM
ejpam-2678	111	13	)	)	PUNCT
ejpam-2678	111	14	<	<	X
ejpam-2678	111	15	1	1	X
ejpam-2678	111	16	.	.	NOUN
ejpam-2678	111	17	example	example	NOUN
ejpam-2678	112	1	3	3	NUM
ejpam-2678	112	2	.	.	X
ejpam-2678	112	3	f	f	PROPN
ejpam-2678	112	4	(	(	PUNCT
ejpam-2678	112	5	t1	t1	PROPN
ejpam-2678	112	6	,	,	PUNCT
ejpam-2678	112	7	...	...	PUNCT
ejpam-2678	112	8	,	,	PUNCT
ejpam-2678	112	9	t5	t5	PROPN
ejpam-2678	112	10	)	)	PUNCT
ejpam-2678	113	1	=	=	SYM
ejpam-2678	114	1	t1	t1	PROPN
ejpam-2678	114	2	−	−	PROPN
ejpam-2678	114	3	kmax{t2	kmax{t2	NOUN
ejpam-2678	114	4	,	,	PUNCT
ejpam-2678	114	5	t3	t3	PROPN
ejpam-2678	114	6	,	,	PUNCT
ejpam-2678	114	7	t4	t4	PROPN
ejpam-2678	114	8	,	,	PUNCT
ejpam-2678	114	9	t5	t5	PROPN
ejpam-2678	114	10	}	}	PUNCT
ejpam-2678	114	11	,	,	PUNCT
ejpam-2678	114	12	where	where	SCONJ
ejpam-2678	114	13	k	k	PROPN
ejpam-2678	114	14	∈	∈	PROPN
ejpam-2678	114	15	(	(	PUNCT
ejpam-2678	114	16	0	0	NUM
ejpam-2678	114	17	,	,	PUNCT
ejpam-2678	114	18	12	12	NUM
ejpam-2678	114	19	)	)	PUNCT
ejpam-2678	114	20	.	.	PUNCT
ejpam-2678	115	1	(	(	PUNCT
ejpam-2678	115	2	f2	f2	PROPN
ejpam-2678	115	3	)	)	PUNCT
ejpam-2678	115	4	:	:	PUNCT
ejpam-2678	115	5	let	let	VERB
ejpam-2678	115	6	u	u	PRON
ejpam-2678	115	7	≥	≥	NOUN
ejpam-2678	115	8	0	0	NUM
ejpam-2678	115	9	,	,	PUNCT
ejpam-2678	115	10	v	v	ADP
ejpam-2678	115	11	>	>	X
ejpam-2678	115	12	0	0	PUNCT
ejpam-2678	116	1	and	and	CCONJ
ejpam-2678	116	2	f	f	PROPN
ejpam-2678	116	3	(	(	PUNCT
ejpam-2678	116	4	u	u	NOUN
ejpam-2678	116	5	,	,	PUNCT
ejpam-2678	116	6	v	v	NOUN
ejpam-2678	116	7	,	,	PUNCT
ejpam-2678	116	8	v	v	NOUN
ejpam-2678	116	9	,	,	PUNCT
ejpam-2678	116	10	u	u	NOUN
ejpam-2678	116	11	,	,	PUNCT
ejpam-2678	116	12	u+	u+	NOUN
ejpam-2678	116	13	v	v	NOUN
ejpam-2678	116	14	)	)	PUNCT
ejpam-2678	116	15	=	=	SYM
ejpam-2678	116	16	u	u	NOUN
ejpam-2678	116	17	−	−	PROPN
ejpam-2678	116	18	k	k	PROPN
ejpam-2678	116	19	(	(	PUNCT
ejpam-2678	116	20	u+	u+	NOUN
ejpam-2678	116	21	v	v	NOUN
ejpam-2678	116	22	)	)	PUNCT
ejpam-2678	116	23	≤	≤	NOUN
ejpam-2678	116	24	0	0	NUM
ejpam-2678	116	25	.	.	PUNCT
ejpam-2678	117	1	then	then	ADV
ejpam-2678	117	2	u	u	X
ejpam-2678	117	3	≤	≤	X
ejpam-2678	117	4	hv	hv	PROPN
ejpam-2678	117	5	,	,	PUNCT
ejpam-2678	117	6	where	where	SCONJ
ejpam-2678	117	7	0	0	PUNCT
ejpam-2678	117	8	<	<	X
ejpam-2678	117	9	h	h	NOUN
ejpam-2678	118	1	=	=	SYM
ejpam-2678	118	2	k	k	PROPN
ejpam-2678	118	3	1−k	1−k	NUM
ejpam-2678	118	4	<	<	X
ejpam-2678	118	5	1	1	NUM
ejpam-2678	118	6	.	.	NOUN
ejpam-2678	118	7	example	example	NOUN
ejpam-2678	119	1	4	4	NUM
ejpam-2678	119	2	.	.	X
ejpam-2678	119	3	f	f	PROPN
ejpam-2678	119	4	(	(	PUNCT
ejpam-2678	119	5	t1	t1	PROPN
ejpam-2678	119	6	,	,	PUNCT
ejpam-2678	119	7	...	...	PUNCT
ejpam-2678	119	8	,	,	PUNCT
ejpam-2678	119	9	t5	t5	PROPN
ejpam-2678	119	10	)	)	PUNCT
ejpam-2678	119	11	=	=	PUNCT
ejpam-2678	120	1	t1	t1	NOUN
ejpam-2678	120	2	−	−	PROPN
ejpam-2678	120	3	kmax	kmax	PROPN
ejpam-2678	120	4	{	{	PUNCT
ejpam-2678	120	5	t2	t2	PROPN
ejpam-2678	120	6	,	,	PUNCT
ejpam-2678	120	7	t3	t3	PROPN
ejpam-2678	120	8	,	,	PUNCT
ejpam-2678	120	9	t4	t4	PROPN
ejpam-2678	120	10	,	,	PUNCT
ejpam-2678	120	11	t5	t5	PROPN
ejpam-2678	120	12	2	2	NUM
ejpam-2678	120	13	}	}	PUNCT
ejpam-2678	120	14	,	,	PUNCT
ejpam-2678	120	15	where	where	SCONJ
ejpam-2678	120	16	k	k	PROPN
ejpam-2678	120	17	∈	∈	PROPN
ejpam-2678	120	18	(	(	PUNCT
ejpam-2678	120	19	0	0	NUM
ejpam-2678	120	20	,	,	PUNCT
ejpam-2678	120	21	1	1	NUM
ejpam-2678	120	22	)	)	PUNCT
ejpam-2678	120	23	.	.	PUNCT
ejpam-2678	121	1	(	(	PUNCT
ejpam-2678	121	2	f2	f2	PROPN
ejpam-2678	121	3	)	)	PUNCT
ejpam-2678	121	4	:	:	PUNCT
ejpam-2678	121	5	let	let	VERB
ejpam-2678	121	6	u	u	PRON
ejpam-2678	121	7	≥	≥	NOUN
ejpam-2678	121	8	0	0	NUM
ejpam-2678	121	9	,	,	PUNCT
ejpam-2678	121	10	v	v	ADP
ejpam-2678	121	11	>	>	X
ejpam-2678	121	12	0	0	PUNCT
ejpam-2678	122	1	and	and	CCONJ
ejpam-2678	122	2	f	f	PROPN
ejpam-2678	122	3	(	(	PUNCT
ejpam-2678	122	4	u	u	NOUN
ejpam-2678	122	5	,	,	PUNCT
ejpam-2678	122	6	v	v	NOUN
ejpam-2678	122	7	,	,	PUNCT
ejpam-2678	122	8	v	v	NOUN
ejpam-2678	122	9	,	,	PUNCT
ejpam-2678	122	10	u	u	NOUN
ejpam-2678	122	11	,	,	PUNCT
ejpam-2678	122	12	u+	u+	NOUN
ejpam-2678	122	13	v	v	NOUN
ejpam-2678	122	14	)	)	PUNCT
ejpam-2678	122	15	=	=	SYM
ejpam-2678	122	16	u	u	PROPN
ejpam-2678	122	17	−	−	PROPN
ejpam-2678	122	18	kmax	kmax	PROPN
ejpam-2678	122	19	{	{	PUNCT
ejpam-2678	122	20	u	u	NOUN
ejpam-2678	122	21	,	,	PUNCT
ejpam-2678	122	22	v	v	NOUN
ejpam-2678	122	23	,	,	PUNCT
ejpam-2678	122	24	u+v	u+v	NUM
ejpam-2678	122	25	2	2	NUM
ejpam-2678	122	26	}	}	PUNCT
ejpam-2678	122	27	≤	≤	NOUN
ejpam-2678	122	28	0	0	NUM
ejpam-2678	122	29	.	.	PUNCT
ejpam-2678	123	1	if	if	SCONJ
ejpam-2678	123	2	u	u	PROPN
ejpam-2678	123	3	>	>	X
ejpam-2678	123	4	v	v	NOUN
ejpam-2678	123	5	,	,	PUNCT
ejpam-2678	123	6	then	then	ADV
ejpam-2678	123	7	u(1	u(1	PROPN
ejpam-2678	123	8	−	−	PROPN
ejpam-2678	123	9	k	k	NOUN
ejpam-2678	123	10	)	)	PUNCT
ejpam-2678	123	11	≤	≤	NOUN
ejpam-2678	123	12	0	0	NUM
ejpam-2678	123	13	,	,	PUNCT
ejpam-2678	123	14	a	a	DET
ejpam-2678	123	15	contradiction	contradiction	NOUN
ejpam-2678	123	16	.	.	PUNCT
ejpam-2678	124	1	hence	hence	ADV
ejpam-2678	124	2	,	,	PUNCT
ejpam-2678	124	3	u	u	NOUN
ejpam-2678	124	4	≤	≤	X
ejpam-2678	124	5	v	v	ADP
ejpam-2678	124	6	which	which	PRON
ejpam-2678	124	7	implies	imply	VERB
ejpam-2678	124	8	u	u	PRON
ejpam-2678	124	9	≤	≤	X
ejpam-2678	124	10	hv	hv	PROPN
ejpam-2678	124	11	,	,	PUNCT
ejpam-2678	124	12	where	where	SCONJ
ejpam-2678	124	13	0	0	PUNCT
ejpam-2678	124	14	<	<	X
ejpam-2678	124	15	h	h	NOUN
ejpam-2678	124	16	=	=	SYM
ejpam-2678	124	17	k	k	X
ejpam-2678	124	18	<	<	X
ejpam-2678	124	19	1	1	X
ejpam-2678	124	20	.	.	PUNCT
ejpam-2678	124	21	example	example	NOUN
ejpam-2678	125	1	5	5	NUM
ejpam-2678	125	2	.	.	X
ejpam-2678	125	3	f	f	PROPN
ejpam-2678	125	4	(	(	PUNCT
ejpam-2678	125	5	t1	t1	PROPN
ejpam-2678	125	6	,	,	PUNCT
ejpam-2678	125	7	...	...	PUNCT
ejpam-2678	125	8	,	,	PUNCT
ejpam-2678	125	9	t5	t5	PROPN
ejpam-2678	125	10	)	)	PUNCT
ejpam-2678	125	11	=	=	PUNCT
ejpam-2678	125	12	t21−at2t3−	t21−at2t3−	PROPN
ejpam-2678	125	13	bt24−	bt24−	PROPN
ejpam-2678	125	14	ct25	ct25	PROPN
ejpam-2678	125	15	,	,	PUNCT
ejpam-2678	125	16	where	where	SCONJ
ejpam-2678	125	17	a	a	DET
ejpam-2678	125	18	>	>	X
ejpam-2678	125	19	0	0	NUM
ejpam-2678	125	20	,	,	PUNCT
ejpam-2678	125	21	b	b	NOUN
ejpam-2678	125	22	,	,	PUNCT
ejpam-2678	125	23	c	c	X
ejpam-2678	125	24	≥	≥	NUM
ejpam-2678	125	25	0	0	NUM
ejpam-2678	125	26	and	and	CCONJ
ejpam-2678	125	27	a+	a+	X
ejpam-2678	125	28	b+	b+	X
ejpam-2678	125	29	4c	4c	NOUN
ejpam-2678	125	30	<	<	X
ejpam-2678	125	31	1	1	NUM
ejpam-2678	125	32	.	.	PUNCT
ejpam-2678	125	33	(	(	PUNCT
ejpam-2678	125	34	f2	f2	PROPN
ejpam-2678	125	35	)	)	PUNCT
ejpam-2678	125	36	:	:	PUNCT
ejpam-2678	125	37	let	let	VERB
ejpam-2678	125	38	u	u	PRON
ejpam-2678	125	39	≥	≥	NOUN
ejpam-2678	125	40	0	0	NUM
ejpam-2678	125	41	,	,	PUNCT
ejpam-2678	125	42	v	v	ADP
ejpam-2678	125	43	>	>	X
ejpam-2678	125	44	0	0	PUNCT
ejpam-2678	126	1	and	and	CCONJ
ejpam-2678	126	2	f	f	PROPN
ejpam-2678	126	3	(	(	PUNCT
ejpam-2678	126	4	u	u	NOUN
ejpam-2678	126	5	,	,	PUNCT
ejpam-2678	126	6	v	v	NOUN
ejpam-2678	126	7	,	,	PUNCT
ejpam-2678	126	8	v	v	NOUN
ejpam-2678	126	9	,	,	PUNCT
ejpam-2678	126	10	u	u	NOUN
ejpam-2678	126	11	,	,	PUNCT
ejpam-2678	126	12	u+	u+	NOUN
ejpam-2678	126	13	v	v	NOUN
ejpam-2678	126	14	)	)	PUNCT
ejpam-2678	126	15	=	=	NOUN
ejpam-2678	126	16	u2	u2	PROPN
ejpam-2678	126	17	−	−	PROPN
ejpam-2678	126	18	av2	av2	PROPN
ejpam-2678	127	1	−	−	PROPN
ejpam-2678	127	2	bu2	bu2	PROPN
ejpam-2678	128	1	−	−	PROPN
ejpam-2678	128	2	c	c	PROPN
ejpam-2678	128	3	(	(	PUNCT
ejpam-2678	128	4	u+	u+	NUM
ejpam-2678	128	5	v)2	v)2	PROPN
ejpam-2678	128	6	≤	≤	NUM
ejpam-2678	128	7	0	0	NUM
ejpam-2678	128	8	.	.	PUNCT
ejpam-2678	129	1	if	if	SCONJ
ejpam-2678	129	2	u	u	PROPN
ejpam-2678	129	3	>	>	X
ejpam-2678	129	4	v	v	NOUN
ejpam-2678	129	5	,	,	PUNCT
ejpam-2678	129	6	then	then	ADV
ejpam-2678	129	7	u2	u2	PROPN
ejpam-2678	129	8	[	[	X
ejpam-2678	129	9	1−	1−	NUM
ejpam-2678	129	10	(	(	PUNCT
ejpam-2678	129	11	a+	a+	X
ejpam-2678	129	12	b+	b+	NOUN
ejpam-2678	129	13	4c	4c	NOUN
ejpam-2678	129	14	)	)	PUNCT
ejpam-2678	129	15	]	]	PUNCT
ejpam-2678	130	1	≤	≤	NUM
ejpam-2678	130	2	0	0	NUM
ejpam-2678	130	3	,	,	PUNCT
ejpam-2678	130	4	a	a	DET
ejpam-2678	130	5	contradiction	contradiction	NOUN
ejpam-2678	130	6	.	.	PUNCT
ejpam-2678	131	1	hence	hence	ADV
ejpam-2678	131	2	,	,	PUNCT
ejpam-2678	131	3	u	u	NOUN
ejpam-2678	131	4	≤	≤	X
ejpam-2678	131	5	v	v	ADP
ejpam-2678	131	6	which	which	PRON
ejpam-2678	131	7	implies	imply	VERB
ejpam-2678	131	8	u	u	PRON
ejpam-2678	131	9	≤	≤	X
ejpam-2678	131	10	hv	hv	PROPN
ejpam-2678	131	11	,	,	PUNCT
ejpam-2678	131	12	where	where	SCONJ
ejpam-2678	131	13	0	0	PUNCT
ejpam-2678	131	14	<	<	X
ejpam-2678	131	15	h	h	NOUN
ejpam-2678	131	16	=	=	NOUN
ejpam-2678	131	17	√	√	PROPN
ejpam-2678	131	18	a+	a+	PUNCT
ejpam-2678	131	19	b+	b+	X
ejpam-2678	131	20	4c	4c	NOUN
ejpam-2678	131	21	<	<	X
ejpam-2678	131	22	1	1	NUM
ejpam-2678	131	23	.	.	PUNCT
ejpam-2678	132	1	v.	v.	ADP
ejpam-2678	132	2	popa	popa	NOUN
ejpam-2678	132	3	,	,	PUNCT
ejpam-2678	132	4	a.-m	a.-m	PROPN
ejpam-2678	132	5	.	.	PUNCT
ejpam-2678	133	1	patriciu	patriciu	PROPN
ejpam-2678	133	2	/	/	SYM
ejpam-2678	133	3	eur	eur	PROPN
ejpam-2678	133	4	.	.	PUNCT
ejpam-2678	134	1	j.	j.	PROPN
ejpam-2678	134	2	pure	pure	PROPN
ejpam-2678	134	3	appl	appl	PROPN
ejpam-2678	134	4	.	.	PROPN
ejpam-2678	134	5	math	math	PROPN
ejpam-2678	134	6	,	,	PUNCT
ejpam-2678	134	7	10	10	NUM
ejpam-2678	134	8	(	(	PUNCT
ejpam-2678	134	9	4	4	NUM
ejpam-2678	134	10	)	)	PUNCT
ejpam-2678	134	11	(	(	PUNCT
ejpam-2678	134	12	2017	2017	NUM
ejpam-2678	134	13	)	)	PUNCT
ejpam-2678	134	14	,	,	PUNCT
ejpam-2678	134	15	908	908	NUM
ejpam-2678	134	16	-	-	SYM
ejpam-2678	134	17	915	915	NUM
ejpam-2678	134	18	912	912	NUM
ejpam-2678	134	19	example	example	NOUN
ejpam-2678	134	20	6	6	NUM
ejpam-2678	134	21	.	.	PUNCT
ejpam-2678	135	1	f	f	PROPN
ejpam-2678	135	2	(	(	PUNCT
ejpam-2678	135	3	t1	t1	PROPN
ejpam-2678	135	4	,	,	PUNCT
ejpam-2678	135	5	...	...	PUNCT
ejpam-2678	135	6	,	,	PUNCT
ejpam-2678	135	7	t5	t5	PROPN
ejpam-2678	135	8	)	)	PUNCT
ejpam-2678	135	9	=	=	SYM
ejpam-2678	135	10	t21	t21	PROPN
ejpam-2678	135	11	+	+	CCONJ
ejpam-2678	135	12	t1	t1	NOUN
ejpam-2678	135	13	1+t5	1+t5	NUM
ejpam-2678	135	14	−	−	PROPN
ejpam-2678	136	1	(	(	PUNCT
ejpam-2678	136	2	at22	at22	PROPN
ejpam-2678	136	3	+	+	CCONJ
ejpam-2678	136	4	bt23	bt23	PROPN
ejpam-2678	136	5	+	+	CCONJ
ejpam-2678	136	6	ct24	ct24	PROPN
ejpam-2678	136	7	)	)	PUNCT
ejpam-2678	136	8	,	,	PUNCT
ejpam-2678	137	1	where	where	SCONJ
ejpam-2678	137	2	a	a	DET
ejpam-2678	137	3	>	>	X
ejpam-2678	137	4	0	0	NUM
ejpam-2678	137	5	,	,	PUNCT
ejpam-2678	137	6	b	b	NOUN
ejpam-2678	137	7	,	,	PUNCT
ejpam-2678	137	8	c	c	X
ejpam-2678	137	9	≥	≥	NUM
ejpam-2678	137	10	0	0	NUM
ejpam-2678	137	11	and	and	CCONJ
ejpam-2678	137	12	a+	a+	X
ejpam-2678	137	13	b+	b+	X
ejpam-2678	137	14	c	c	X
ejpam-2678	137	15	<	<	X
ejpam-2678	137	16	1	1	NUM
ejpam-2678	137	17	.	.	PUNCT
ejpam-2678	138	1	(	(	PUNCT
ejpam-2678	138	2	f2	f2	PROPN
ejpam-2678	138	3	)	)	PUNCT
ejpam-2678	138	4	:	:	PUNCT
ejpam-2678	138	5	let	let	VERB
ejpam-2678	138	6	u	u	PRON
ejpam-2678	138	7	≥	≥	NOUN
ejpam-2678	138	8	0	0	NUM
ejpam-2678	138	9	,	,	PUNCT
ejpam-2678	138	10	v	v	ADP
ejpam-2678	138	11	>	>	X
ejpam-2678	138	12	0	0	PUNCT
ejpam-2678	139	1	and	and	CCONJ
ejpam-2678	139	2	f	f	PROPN
ejpam-2678	139	3	(	(	PUNCT
ejpam-2678	139	4	u	u	NOUN
ejpam-2678	139	5	,	,	PUNCT
ejpam-2678	139	6	v	v	NOUN
ejpam-2678	139	7	,	,	PUNCT
ejpam-2678	139	8	v	v	NOUN
ejpam-2678	139	9	,	,	PUNCT
ejpam-2678	139	10	u	u	NOUN
ejpam-2678	139	11	,	,	PUNCT
ejpam-2678	139	12	u+	u+	NOUN
ejpam-2678	139	13	v	v	NOUN
ejpam-2678	139	14	)	)	PUNCT
ejpam-2678	140	1	=	=	SYM
ejpam-2678	140	2	u2	u2	PROPN
ejpam-2678	140	3	+	+	CCONJ
ejpam-2678	140	4	u	u	NOUN
ejpam-2678	140	5	1+u+v	1+u+v	NUM
ejpam-2678	140	6	−	−	NOUN
ejpam-2678	140	7	(	(	PUNCT
ejpam-2678	140	8	av2	av2	PROPN
ejpam-2678	140	9	+	+	CCONJ
ejpam-2678	140	10	bv2	bv2	NOUN
ejpam-2678	140	11	+	+	CCONJ
ejpam-2678	140	12	cu2	cu2	NOUN
ejpam-2678	140	13	)	)	PUNCT
ejpam-2678	140	14	≤	≤	ADV
ejpam-2678	140	15	0	0	NUM
ejpam-2678	140	16	,	,	PUNCT
ejpam-2678	140	17	which	which	PRON
ejpam-2678	140	18	implies	imply	VERB
ejpam-2678	140	19	u2	u2	PROPN
ejpam-2678	140	20	−	−	PROPN
ejpam-2678	140	21	(	(	PUNCT
ejpam-2678	140	22	av2	av2	PROPN
ejpam-2678	140	23	+	+	CCONJ
ejpam-2678	140	24	bv2	bv2	NOUN
ejpam-2678	140	25	+	+	CCONJ
ejpam-2678	140	26	cu2	cu2	NOUN
ejpam-2678	140	27	)	)	PUNCT
ejpam-2678	141	1	≤	≤	ADV
ejpam-2678	141	2	0	0	NUM
ejpam-2678	141	3	.	.	PUNCT
ejpam-2678	142	1	hence	hence	ADV
ejpam-2678	142	2	,	,	PUNCT
ejpam-2678	142	3	u	u	PROPN
ejpam-2678	142	4	≤	≤	X
ejpam-2678	142	5	hv	hv	PROPN
ejpam-2678	142	6	,	,	PUNCT
ejpam-2678	142	7	where	where	SCONJ
ejpam-2678	142	8	0	0	PUNCT
ejpam-2678	142	9	<	<	X
ejpam-2678	142	10	h	h	NOUN
ejpam-2678	142	11	=	=	PUNCT
ejpam-2678	142	12	√	√	PROPN
ejpam-2678	142	13	a+b	a+b	NUM
ejpam-2678	142	14	1−c	1−c	NUM
ejpam-2678	142	15	<	<	X
ejpam-2678	142	16	1	1	NUM
ejpam-2678	142	17	.	.	PUNCT
ejpam-2678	142	18	example	example	NOUN
ejpam-2678	143	1	7	7	NUM
ejpam-2678	143	2	.	.	X
ejpam-2678	143	3	f	f	PROPN
ejpam-2678	143	4	(	(	PUNCT
ejpam-2678	143	5	t1	t1	PROPN
ejpam-2678	143	6	,	,	PUNCT
ejpam-2678	143	7	...	...	PUNCT
ejpam-2678	143	8	,	,	PUNCT
ejpam-2678	143	9	t5	t5	PROPN
ejpam-2678	143	10	)	)	PUNCT
ejpam-2678	143	11	=	=	PUNCT
ejpam-2678	144	1	t1−at2−	t1−at2−	NUM
ejpam-2678	144	2	b(1+t3)t4	b(1+t3)t4	PROPN
ejpam-2678	144	3	1+t2	1+t2	NUM
ejpam-2678	144	4	−ct5	−ct5	NOUN
ejpam-2678	144	5	,	,	PUNCT
ejpam-2678	144	6	where	where	SCONJ
ejpam-2678	144	7	a	a	DET
ejpam-2678	144	8	>	>	X
ejpam-2678	144	9	0	0	NUM
ejpam-2678	144	10	,	,	PUNCT
ejpam-2678	144	11	b	b	NOUN
ejpam-2678	144	12	,	,	PUNCT
ejpam-2678	144	13	c	c	X
ejpam-2678	144	14	≥	≥	NOUN
ejpam-2678	144	15	0	0	NUM
ejpam-2678	144	16	and	and	CCONJ
ejpam-2678	144	17	a+b+2c	a+b+2c	NUM
ejpam-2678	144	18	<	<	X
ejpam-2678	144	19	1	1	NUM
ejpam-2678	144	20	.	.	PUNCT
ejpam-2678	144	21	(	(	PUNCT
ejpam-2678	144	22	f2	f2	PROPN
ejpam-2678	144	23	)	)	PUNCT
ejpam-2678	144	24	:	:	PUNCT
ejpam-2678	144	25	let	let	VERB
ejpam-2678	144	26	u	u	PRON
ejpam-2678	144	27	≥	≥	NOUN
ejpam-2678	144	28	0	0	NUM
ejpam-2678	144	29	,	,	PUNCT
ejpam-2678	144	30	v	v	ADP
ejpam-2678	144	31	>	>	X
ejpam-2678	144	32	0	0	PUNCT
ejpam-2678	145	1	and	and	CCONJ
ejpam-2678	145	2	f	f	PROPN
ejpam-2678	145	3	(	(	PUNCT
ejpam-2678	145	4	u	u	NOUN
ejpam-2678	145	5	,	,	PUNCT
ejpam-2678	145	6	v	v	NOUN
ejpam-2678	145	7	,	,	PUNCT
ejpam-2678	145	8	v	v	NOUN
ejpam-2678	145	9	,	,	PUNCT
ejpam-2678	145	10	u	u	NOUN
ejpam-2678	145	11	,	,	PUNCT
ejpam-2678	145	12	u+	u+	NOUN
ejpam-2678	145	13	v	v	NOUN
ejpam-2678	145	14	)	)	PUNCT
ejpam-2678	145	15	=	=	SYM
ejpam-2678	145	16	u	u	NOUN
ejpam-2678	145	17	−	−	PROPN
ejpam-2678	145	18	av	av	INTJ
ejpam-2678	145	19	−	−	NOUN
ejpam-2678	146	1	bu	bu	INTJ
ejpam-2678	146	2	−	−	PROPN
ejpam-2678	146	3	c	c	NOUN
ejpam-2678	146	4	(	(	PUNCT
ejpam-2678	146	5	u+	u+	NOUN
ejpam-2678	146	6	v	v	NOUN
ejpam-2678	146	7	)	)	PUNCT
ejpam-2678	146	8	≤	≤	NOUN
ejpam-2678	146	9	0	0	NUM
ejpam-2678	146	10	,	,	PUNCT
ejpam-2678	146	11	which	which	PRON
ejpam-2678	146	12	implies	imply	VERB
ejpam-2678	146	13	u	u	PRON
ejpam-2678	146	14	≤	≤	X
ejpam-2678	146	15	hv	hv	PROPN
ejpam-2678	146	16	,	,	PUNCT
ejpam-2678	146	17	where	where	SCONJ
ejpam-2678	146	18	0	0	X
ejpam-2678	146	19	<	<	X
ejpam-2678	146	20	h	h	NOUN
ejpam-2678	146	21	=	=	SYM
ejpam-2678	146	22	a+c	a+c	VERB
ejpam-2678	146	23	1−(b+c	1−(b+c	NUM
ejpam-2678	146	24	)	)	PUNCT
ejpam-2678	146	25	<	<	X
ejpam-2678	146	26	1	1	X
ejpam-2678	146	27	.	.	NOUN
ejpam-2678	146	28	example	example	NOUN
ejpam-2678	146	29	8	8	NUM
ejpam-2678	146	30	.	.	PUNCT
ejpam-2678	147	1	f	f	PROPN
ejpam-2678	147	2	(	(	PUNCT
ejpam-2678	147	3	t1	t1	PROPN
ejpam-2678	147	4	,	,	PUNCT
ejpam-2678	147	5	...	...	PUNCT
ejpam-2678	147	6	,	,	PUNCT
ejpam-2678	147	7	t5	t5	PROPN
ejpam-2678	147	8	)	)	PUNCT
ejpam-2678	147	9	=	=	SYM
ejpam-2678	147	10	min{t1	min{t1	NOUN
ejpam-2678	147	11	,	,	PUNCT
ejpam-2678	147	12	t3	t3	PROPN
ejpam-2678	147	13	,	,	PUNCT
ejpam-2678	147	14	t4	t4	PROPN
ejpam-2678	147	15	}	}	PUNCT
ejpam-2678	147	16	−	−	PROPN
ejpam-2678	147	17	at2	at2	NOUN
ejpam-2678	147	18	−	−	PROPN
ejpam-2678	147	19	bmin{t3	bmin{t3	PROPN
ejpam-2678	147	20	,	,	PUNCT
ejpam-2678	147	21	t5	t5	PROPN
ejpam-2678	147	22	}	}	PUNCT
ejpam-2678	147	23	,	,	PUNCT
ejpam-2678	147	24	where	where	SCONJ
ejpam-2678	147	25	a	a	DET
ejpam-2678	147	26	,	,	PUNCT
ejpam-2678	147	27	b	b	NOUN
ejpam-2678	147	28	≥	≥	NOUN
ejpam-2678	147	29	0	0	NUM
ejpam-2678	147	30	and	and	CCONJ
ejpam-2678	147	31	0	0	NUM
ejpam-2678	147	32	<	<	X
ejpam-2678	147	33	a+	a+	X
ejpam-2678	147	34	b	b	X
ejpam-2678	147	35	<	<	X
ejpam-2678	147	36	1	1	NUM
ejpam-2678	147	37	.	.	PUNCT
ejpam-2678	147	38	(	(	PUNCT
ejpam-2678	147	39	f2	f2	PROPN
ejpam-2678	147	40	)	)	PUNCT
ejpam-2678	147	41	:	:	PUNCT
ejpam-2678	147	42	let	let	VERB
ejpam-2678	147	43	u	u	PRON
ejpam-2678	147	44	≥	≥	NOUN
ejpam-2678	147	45	0	0	NUM
ejpam-2678	147	46	,	,	PUNCT
ejpam-2678	147	47	v	v	ADP
ejpam-2678	147	48	>	>	X
ejpam-2678	147	49	0	0	PUNCT
ejpam-2678	148	1	and	and	CCONJ
ejpam-2678	148	2	f	f	PROPN
ejpam-2678	148	3	(	(	PUNCT
ejpam-2678	148	4	u	u	NOUN
ejpam-2678	148	5	,	,	PUNCT
ejpam-2678	148	6	v	v	NOUN
ejpam-2678	148	7	,	,	PUNCT
ejpam-2678	148	8	v	v	NOUN
ejpam-2678	148	9	,	,	PUNCT
ejpam-2678	148	10	u	u	NOUN
ejpam-2678	148	11	,	,	PUNCT
ejpam-2678	148	12	u+	u+	NOUN
ejpam-2678	148	13	v	v	NOUN
ejpam-2678	148	14	)	)	PUNCT
ejpam-2678	148	15	=	=	PUNCT
ejpam-2678	149	1	min{u	min{u	X
ejpam-2678	149	2	,	,	PUNCT
ejpam-2678	149	3	v	v	NOUN
ejpam-2678	149	4	}	}	PUNCT
ejpam-2678	149	5	−	−	PROPN
ejpam-2678	149	6	av	av	INTJ
ejpam-2678	149	7	−	−	PROPN
ejpam-2678	149	8	bv	bv	PROPN
ejpam-2678	149	9	≤	≤	PROPN
ejpam-2678	149	10	0	0	NUM
ejpam-2678	149	11	.	.	PUNCT
ejpam-2678	150	1	if	if	SCONJ
ejpam-2678	150	2	u	u	PROPN
ejpam-2678	150	3	>	>	X
ejpam-2678	150	4	v	v	PROPN
ejpam-2678	150	5	,	,	PUNCT
ejpam-2678	150	6	then	then	ADV
ejpam-2678	150	7	v	v	X
ejpam-2678	150	8	(	(	PUNCT
ejpam-2678	150	9	1−	1−	NUM
ejpam-2678	150	10	(	(	PUNCT
ejpam-2678	150	11	a+	a+	NOUN
ejpam-2678	150	12	b	b	NOUN
ejpam-2678	150	13	)	)	PUNCT
ejpam-2678	150	14	)	)	PUNCT
ejpam-2678	150	15	≤	≤	ADV
ejpam-2678	150	16	0	0	NUM
ejpam-2678	150	17	,	,	PUNCT
ejpam-2678	150	18	a	a	DET
ejpam-2678	150	19	contradiction	contradiction	NOUN
ejpam-2678	150	20	.	.	PUNCT
ejpam-2678	151	1	hence	hence	ADV
ejpam-2678	151	2	,	,	PUNCT
ejpam-2678	151	3	u	u	NOUN
ejpam-2678	151	4	≤	≤	X
ejpam-2678	151	5	v	v	ADP
ejpam-2678	151	6	which	which	PRON
ejpam-2678	151	7	implies	imply	VERB
ejpam-2678	151	8	u	u	PRON
ejpam-2678	151	9	≤	≤	X
ejpam-2678	151	10	hv	hv	PROPN
ejpam-2678	151	11	,	,	PUNCT
ejpam-2678	151	12	where	where	SCONJ
ejpam-2678	151	13	0	0	X
ejpam-2678	151	14	<	<	X
ejpam-2678	151	15	h	h	NOUN
ejpam-2678	151	16	=	=	X
ejpam-2678	151	17	a+	a+	PUNCT
ejpam-2678	151	18	b	b	X
ejpam-2678	151	19	<	<	X
ejpam-2678	151	20	1	1	NUM
ejpam-2678	151	21	.	.	PUNCT
ejpam-2678	151	22	example	example	NOUN
ejpam-2678	152	1	9	9	NUM
ejpam-2678	152	2	.	.	X
ejpam-2678	152	3	f	f	PROPN
ejpam-2678	152	4	(	(	PUNCT
ejpam-2678	152	5	t1	t1	PROPN
ejpam-2678	152	6	,	,	PUNCT
ejpam-2678	152	7	...	...	PUNCT
ejpam-2678	152	8	,	,	PUNCT
ejpam-2678	152	9	t5	t5	PROPN
ejpam-2678	152	10	)	)	PUNCT
ejpam-2678	152	11	=	=	SYM
ejpam-2678	153	1	min{t1t2	min{t1t2	PROPN
ejpam-2678	153	2	,	,	PUNCT
ejpam-2678	153	3	t3t4}−at2	t3t4}−at2	PROPN
ejpam-2678	153	4	min{t3	min{t3	NOUN
ejpam-2678	153	5	,	,	PUNCT
ejpam-2678	153	6	t4}−	t4}−	PROPN
ejpam-2678	153	7	bmin{t22	bmin{t22	PROPN
ejpam-2678	153	8	,	,	PUNCT
ejpam-2678	153	9	t25	t25	PROPN
ejpam-2678	153	10	}	}	PUNCT
ejpam-2678	153	11	,	,	PUNCT
ejpam-2678	153	12	where	where	SCONJ
ejpam-2678	153	13	a	a	DET
ejpam-2678	153	14	,	,	PUNCT
ejpam-2678	153	15	b	b	NOUN
ejpam-2678	153	16	≥	≥	NOUN
ejpam-2678	153	17	0	0	NUM
ejpam-2678	153	18	and	and	CCONJ
ejpam-2678	153	19	0	0	NUM
ejpam-2678	153	20	<	<	X
ejpam-2678	153	21	a+	a+	X
ejpam-2678	153	22	b	b	X
ejpam-2678	153	23	<	<	X
ejpam-2678	153	24	1	1	NUM
ejpam-2678	153	25	.	.	PUNCT
ejpam-2678	153	26	(	(	PUNCT
ejpam-2678	153	27	f2	f2	PROPN
ejpam-2678	153	28	)	)	PUNCT
ejpam-2678	153	29	:	:	PUNCT
ejpam-2678	153	30	let	let	VERB
ejpam-2678	153	31	u	u	PRON
ejpam-2678	153	32	≥	≥	NOUN
ejpam-2678	153	33	0	0	NUM
ejpam-2678	153	34	,	,	PUNCT
ejpam-2678	153	35	v	v	ADP
ejpam-2678	153	36	>	>	X
ejpam-2678	153	37	0	0	PUNCT
ejpam-2678	154	1	and	and	CCONJ
ejpam-2678	154	2	f	f	PROPN
ejpam-2678	154	3	(	(	PUNCT
ejpam-2678	154	4	u	u	NOUN
ejpam-2678	154	5	,	,	PUNCT
ejpam-2678	154	6	v	v	NOUN
ejpam-2678	154	7	,	,	PUNCT
ejpam-2678	154	8	v	v	NOUN
ejpam-2678	154	9	,	,	PUNCT
ejpam-2678	154	10	u	u	NOUN
ejpam-2678	154	11	,	,	PUNCT
ejpam-2678	154	12	u+	u+	NOUN
ejpam-2678	154	13	v	v	NOUN
ejpam-2678	154	14	)	)	PUNCT
ejpam-2678	155	1	=	=	SYM
ejpam-2678	155	2	uv−avmin{u	uv−avmin{u	NOUN
ejpam-2678	155	3	,	,	PUNCT
ejpam-2678	155	4	v}−bmin{v2	v}−bmin{v2	NOUN
ejpam-2678	155	5	,	,	PUNCT
ejpam-2678	155	6	(	(	PUNCT
ejpam-2678	155	7	u+	u+	X
ejpam-2678	155	8	v)2	v)2	PROPN
ejpam-2678	155	9	}	}	PUNCT
ejpam-2678	155	10	≤	≤	NOUN
ejpam-2678	155	11	0	0	NUM
ejpam-2678	155	12	.	.	PUNCT
ejpam-2678	156	1	if	if	SCONJ
ejpam-2678	156	2	u	u	PROPN
ejpam-2678	156	3	>	>	X
ejpam-2678	156	4	v	v	NOUN
ejpam-2678	156	5	,	,	PUNCT
ejpam-2678	156	6	then	then	ADV
ejpam-2678	156	7	v2	v2	PROPN
ejpam-2678	156	8	(	(	PUNCT
ejpam-2678	156	9	1−	1−	NUM
ejpam-2678	156	10	(	(	PUNCT
ejpam-2678	156	11	a+	a+	NOUN
ejpam-2678	156	12	b	b	NOUN
ejpam-2678	156	13	)	)	PUNCT
ejpam-2678	156	14	)	)	PUNCT
ejpam-2678	157	1	≤	≤	ADV
ejpam-2678	157	2	0	0	NUM
ejpam-2678	157	3	,	,	PUNCT
ejpam-2678	157	4	a	a	DET
ejpam-2678	157	5	contradiction	contradiction	NOUN
ejpam-2678	157	6	.	.	PUNCT
ejpam-2678	158	1	hence	hence	ADV
ejpam-2678	158	2	,	,	PUNCT
ejpam-2678	158	3	u	u	NOUN
ejpam-2678	158	4	≤	≤	X
ejpam-2678	158	5	v	v	ADP
ejpam-2678	158	6	which	which	PRON
ejpam-2678	158	7	implies	imply	VERB
ejpam-2678	158	8	u	u	PRON
ejpam-2678	158	9	≤	≤	X
ejpam-2678	158	10	hv	hv	PROPN
ejpam-2678	158	11	,	,	PUNCT
ejpam-2678	158	12	where	where	SCONJ
ejpam-2678	158	13	0	0	PUNCT
ejpam-2678	158	14	<	<	X
ejpam-2678	158	15	h	h	NOUN
ejpam-2678	158	16	=	=	NOUN
ejpam-2678	158	17	√	√	PROPN
ejpam-2678	158	18	a+	a+	PUNCT
ejpam-2678	158	19	b	b	X
ejpam-2678	158	20	<	<	X
ejpam-2678	158	21	1	1	NUM
ejpam-2678	158	22	.	.	PUNCT
ejpam-2678	158	23	example	example	NOUN
ejpam-2678	158	24	10	10	NUM
ejpam-2678	158	25	.	.	PUNCT
ejpam-2678	159	1	f	f	PROPN
ejpam-2678	159	2	(	(	PUNCT
ejpam-2678	159	3	t1	t1	PROPN
ejpam-2678	159	4	,	,	PUNCT
ejpam-2678	159	5	...	...	PUNCT
ejpam-2678	159	6	,	,	PUNCT
ejpam-2678	159	7	t5	t5	PROPN
ejpam-2678	159	8	)	)	PUNCT
ejpam-2678	159	9	=	=	SYM
ejpam-2678	159	10	min{t23	min{t23	PROPN
ejpam-2678	159	11	,	,	PUNCT
ejpam-2678	159	12	t1t2	t1t2	ADJ
ejpam-2678	159	13	,	,	PUNCT
ejpam-2678	159	14	t24}−at3t4−bt25	t24}−at3t4−bt25	NOUN
ejpam-2678	159	15	,	,	PUNCT
ejpam-2678	159	16	where	where	SCONJ
ejpam-2678	159	17	a	a	DET
ejpam-2678	159	18	,	,	PUNCT
ejpam-2678	159	19	b	b	NOUN
ejpam-2678	159	20	≥	≥	NOUN
ejpam-2678	159	21	0	0	NUM
ejpam-2678	159	22	and	and	CCONJ
ejpam-2678	159	23	0	0	NUM
ejpam-2678	160	1	<	<	X
ejpam-2678	160	2	a+4b	a+4b	X
ejpam-2678	160	3	<	<	X
ejpam-2678	160	4	1	1	NUM
ejpam-2678	160	5	.	.	PUNCT
ejpam-2678	160	6	(	(	PUNCT
ejpam-2678	160	7	f2	f2	PROPN
ejpam-2678	160	8	)	)	PUNCT
ejpam-2678	160	9	:	:	PUNCT
ejpam-2678	160	10	let	let	VERB
ejpam-2678	160	11	u	u	PRON
ejpam-2678	160	12	≥	≥	NOUN
ejpam-2678	160	13	0	0	NUM
ejpam-2678	160	14	,	,	PUNCT
ejpam-2678	160	15	v	v	ADP
ejpam-2678	160	16	>	>	X
ejpam-2678	160	17	0	0	PUNCT
ejpam-2678	161	1	and	and	CCONJ
ejpam-2678	161	2	f	f	PROPN
ejpam-2678	161	3	(	(	PUNCT
ejpam-2678	161	4	u	u	NOUN
ejpam-2678	161	5	,	,	PUNCT
ejpam-2678	161	6	v	v	NOUN
ejpam-2678	161	7	,	,	PUNCT
ejpam-2678	161	8	v	v	NOUN
ejpam-2678	161	9	,	,	PUNCT
ejpam-2678	161	10	u	u	NOUN
ejpam-2678	161	11	,	,	PUNCT
ejpam-2678	161	12	u+	u+	NOUN
ejpam-2678	161	13	v	v	NOUN
ejpam-2678	161	14	)	)	PUNCT
ejpam-2678	161	15	=	=	SYM
ejpam-2678	161	16	min{v2	min{v2	NOUN
ejpam-2678	161	17	,	,	PUNCT
ejpam-2678	161	18	uv	uv	NOUN
ejpam-2678	161	19	,	,	PUNCT
ejpam-2678	161	20	u2}−auv−b	u2}−auv−b	PROPN
ejpam-2678	161	21	(	(	PUNCT
ejpam-2678	161	22	u+	u+	NUM
ejpam-2678	161	23	v)2	v)2	PROPN
ejpam-2678	161	24	≤	≤	NUM
ejpam-2678	161	25	0	0	NUM
ejpam-2678	161	26	.	.	PUNCT
ejpam-2678	162	1	if	if	SCONJ
ejpam-2678	162	2	u	u	PROPN
ejpam-2678	162	3	>	>	X
ejpam-2678	162	4	v	v	NOUN
ejpam-2678	162	5	,	,	PUNCT
ejpam-2678	162	6	then	then	ADV
ejpam-2678	162	7	v2	v2	PROPN
ejpam-2678	162	8	(	(	PUNCT
ejpam-2678	162	9	1−	1−	NUM
ejpam-2678	162	10	(	(	PUNCT
ejpam-2678	162	11	a+	a+	X
ejpam-2678	162	12	4b	4b	PROPN
ejpam-2678	162	13	)	)	PUNCT
ejpam-2678	162	14	)	)	PUNCT
ejpam-2678	163	1	≤	≤	ADV
ejpam-2678	163	2	0	0	NUM
ejpam-2678	163	3	,	,	PUNCT
ejpam-2678	163	4	a	a	DET
ejpam-2678	163	5	contradiction	contradiction	NOUN
ejpam-2678	163	6	.	.	PUNCT
ejpam-2678	164	1	hence	hence	ADV
ejpam-2678	164	2	,	,	PUNCT
ejpam-2678	164	3	u	u	NOUN
ejpam-2678	164	4	≤	≤	X
ejpam-2678	164	5	v	v	ADP
ejpam-2678	164	6	which	which	PRON
ejpam-2678	164	7	implies	imply	VERB
ejpam-2678	164	8	u	u	PRON
ejpam-2678	164	9	≤	≤	X
ejpam-2678	164	10	hv	hv	PROPN
ejpam-2678	164	11	,	,	PUNCT
ejpam-2678	165	1	where	where	SCONJ
ejpam-2678	165	2	0	0	PUNCT
ejpam-2678	165	3	<	<	X
ejpam-2678	165	4	h	h	NOUN
ejpam-2678	165	5	=	=	PUNCT
ejpam-2678	165	6	√	√	PROPN
ejpam-2678	165	7	a+	a+	PUNCT
ejpam-2678	165	8	4b	4b	X
ejpam-2678	165	9	<	<	X
ejpam-2678	165	10	1	1	NUM
ejpam-2678	165	11	.	.	PUNCT
ejpam-2678	165	12	example	example	NOUN
ejpam-2678	165	13	11	11	NUM
ejpam-2678	165	14	.	.	PUNCT
ejpam-2678	166	1	f	f	PROPN
ejpam-2678	166	2	(	(	PUNCT
ejpam-2678	166	3	t1	t1	PROPN
ejpam-2678	166	4	,	,	PUNCT
ejpam-2678	166	5	...	...	PUNCT
ejpam-2678	166	6	,	,	PUNCT
ejpam-2678	166	7	t5	t5	PROPN
ejpam-2678	166	8	)	)	PUNCT
ejpam-2678	166	9	=	=	SYM
ejpam-2678	166	10	min{t1t3	min{t1t3	PROPN
ejpam-2678	166	11	,	,	PUNCT
ejpam-2678	166	12	t2t4}−at2	t2t4}−at2	NOUN
ejpam-2678	166	13	min{t3	min{t3	NOUN
ejpam-2678	166	14	,	,	PUNCT
ejpam-2678	166	15	t4}−bmin{t23	t4}−bmin{t23	NOUN
ejpam-2678	166	16	,	,	PUNCT
ejpam-2678	166	17	t25	t25	NOUN
ejpam-2678	166	18	}	}	PUNCT
ejpam-2678	166	19	,	,	PUNCT
ejpam-2678	166	20	where	where	SCONJ
ejpam-2678	166	21	a	a	DET
ejpam-2678	166	22	,	,	PUNCT
ejpam-2678	166	23	b	b	NOUN
ejpam-2678	166	24	≥	≥	NOUN
ejpam-2678	166	25	0	0	NUM
ejpam-2678	166	26	and	and	CCONJ
ejpam-2678	166	27	0	0	NUM
ejpam-2678	166	28	<	<	X
ejpam-2678	166	29	a+	a+	X
ejpam-2678	166	30	b	b	X
ejpam-2678	166	31	<	<	X
ejpam-2678	166	32	1	1	NUM
ejpam-2678	166	33	.	.	PUNCT
ejpam-2678	167	1	the	the	DET
ejpam-2678	167	2	proof	proof	NOUN
ejpam-2678	167	3	is	be	AUX
ejpam-2678	167	4	similar	similar	ADJ
ejpam-2678	167	5	to	to	ADP
ejpam-2678	167	6	the	the	DET
ejpam-2678	167	7	proof	proof	NOUN
ejpam-2678	167	8	of	of	ADP
ejpam-2678	167	9	example	example	NOUN
ejpam-2678	167	10	9	9	NUM
ejpam-2678	167	11	.	.	NOUN
ejpam-2678	167	12	4	4	NUM
ejpam-2678	167	13	.	.	X
ejpam-2678	167	14	main	main	ADJ
ejpam-2678	167	15	result	result	NOUN
ejpam-2678	167	16	theorem	theorem	VERB
ejpam-2678	167	17	6	6	NUM
ejpam-2678	167	18	.	.	PUNCT
ejpam-2678	168	1	let	let	VERB
ejpam-2678	168	2	(	(	PUNCT
ejpam-2678	168	3	x	x	X
ejpam-2678	168	4	,	,	PUNCT
ejpam-2678	168	5	p	p	X
ejpam-2678	168	6	)	)	PUNCT
ejpam-2678	168	7	be	be	AUX
ejpam-2678	168	8	an	an	DET
ejpam-2678	168	9	orbitally	orbitally	ADV
ejpam-2678	168	10	complete	complete	ADJ
ejpam-2678	168	11	metric	metric	ADJ
ejpam-2678	168	12	space	space	NOUN
ejpam-2678	168	13	and	and	CCONJ
ejpam-2678	168	14	t	t	NOUN
ejpam-2678	168	15	:	:	PUNCT
ejpam-2678	168	16	x	x	X
ejpam-2678	168	17	→	→	PUNCT
ejpam-2678	168	18	x	x	PUNCT
ejpam-2678	168	19	be	be	AUX
ejpam-2678	168	20	orbitally	orbitally	ADV
ejpam-2678	168	21	continuous	continuous	ADJ
ejpam-2678	168	22	such	such	ADJ
ejpam-2678	168	23	that	that	SCONJ
ejpam-2678	168	24	f	f	PROPN
ejpam-2678	168	25	(	(	PUNCT
ejpam-2678	168	26	p	p	X
ejpam-2678	168	27	(	(	PUNCT
ejpam-2678	168	28	tx	tx	PROPN
ejpam-2678	168	29	,	,	PUNCT
ejpam-2678	168	30	ty	ty	INTJ
ejpam-2678	168	31	)	)	PUNCT
ejpam-2678	168	32	,	,	PUNCT
ejpam-2678	168	33	p	p	X
ejpam-2678	168	34	(	(	PUNCT
ejpam-2678	168	35	x	x	NOUN
ejpam-2678	168	36	,	,	PUNCT
ejpam-2678	168	37	y	y	PROPN
ejpam-2678	168	38	)	)	PUNCT
ejpam-2678	168	39	,	,	PUNCT
ejpam-2678	168	40	p	p	X
ejpam-2678	168	41	(	(	PUNCT
ejpam-2678	168	42	x	x	NOUN
ejpam-2678	168	43	,	,	PUNCT
ejpam-2678	168	44	tx	tx	PROPN
ejpam-2678	168	45	)	)	PUNCT
ejpam-2678	168	46	,	,	PUNCT
ejpam-2678	168	47	p	p	X
ejpam-2678	168	48	(	(	PUNCT
ejpam-2678	168	49	y	y	PROPN
ejpam-2678	168	50	,	,	PUNCT
ejpam-2678	168	51	ty	ty	NUM
ejpam-2678	168	52	)	)	PUNCT
ejpam-2678	168	53	,	,	PUNCT
ejpam-2678	168	54	p	p	X
ejpam-2678	168	55	(	(	PUNCT
ejpam-2678	168	56	x	x	NOUN
ejpam-2678	168	57	,	,	PUNCT
ejpam-2678	168	58	ty	ty	INTJ
ejpam-2678	168	59	)	)	PUNCT
ejpam-2678	169	1	+	+	CCONJ
ejpam-2678	170	1	p	p	X
ejpam-2678	170	2	(	(	PUNCT
ejpam-2678	170	3	y	y	PROPN
ejpam-2678	170	4	,	,	PUNCT
ejpam-2678	170	5	tx	tx	PROPN
ejpam-2678	170	6	)	)	PUNCT
ejpam-2678	170	7	)	)	PUNCT
ejpam-2678	170	8	≤	≤	NUM
ejpam-2678	170	9	0	0	NUM
ejpam-2678	170	10	(	(	PUNCT
ejpam-2678	170	11	1	1	NUM
ejpam-2678	170	12	)	)	PUNCT
ejpam-2678	170	13	for	for	ADP
ejpam-2678	170	14	all	all	DET
ejpam-2678	170	15	x	x	SYM
ejpam-2678	170	16	6=	6=	ADP
ejpam-2678	170	17	y	y	PROPN
ejpam-2678	170	18	∈	∈	PROPN
ejpam-2678	170	19	x	x	X
ejpam-2678	170	20	and	and	CCONJ
ejpam-2678	170	21	f	f	PROPN
ejpam-2678	170	22	∈	∈	PROPN
ejpam-2678	170	23	fop	fop	NOUN
ejpam-2678	170	24	.	.	PUNCT
ejpam-2678	171	1	then	then	ADV
ejpam-2678	171	2	,	,	PUNCT
ejpam-2678	171	3	t	t	PROPN
ejpam-2678	171	4	has	have	VERB
ejpam-2678	171	5	an	an	DET
ejpam-2678	171	6	fixed	fix	VERB
ejpam-2678	171	7	point	point	NOUN
ejpam-2678	171	8	z	z	NOUN
ejpam-2678	172	1	such	such	ADJ
ejpam-2678	172	2	that	that	SCONJ
ejpam-2678	172	3	p	p	X
ejpam-2678	172	4	(	(	PUNCT
ejpam-2678	172	5	z	z	NOUN
ejpam-2678	172	6	,	,	PUNCT
ejpam-2678	172	7	z	z	NOUN
ejpam-2678	172	8	)	)	PUNCT
ejpam-2678	172	9	=	=	SYM
ejpam-2678	173	1	p	p	X
ejpam-2678	173	2	(	(	PUNCT
ejpam-2678	173	3	tz	tz	PROPN
ejpam-2678	173	4	,	,	PUNCT
ejpam-2678	173	5	tz	tz	PROPN
ejpam-2678	173	6	)	)	PUNCT
ejpam-2678	173	7	=	=	SYM
ejpam-2678	174	1	p	p	X
ejpam-2678	174	2	(	(	PUNCT
ejpam-2678	174	3	z	z	PROPN
ejpam-2678	174	4	,	,	PUNCT
ejpam-2678	174	5	tz	tz	PROPN
ejpam-2678	174	6	)	)	PUNCT
ejpam-2678	174	7	=	=	SYM
ejpam-2678	174	8	0	0	X
ejpam-2678	174	9	.	.	PUNCT
ejpam-2678	174	10	proof	proof	NOUN
ejpam-2678	174	11	.	.	PUNCT
ejpam-2678	175	1	let	let	VERB
ejpam-2678	175	2	x0	x0	PROPN
ejpam-2678	175	3	∈	∈	PROPN
ejpam-2678	175	4	x	x	X
ejpam-2678	175	5	and	and	CCONJ
ejpam-2678	175	6	xn+1	xn+1	X
ejpam-2678	175	7	=	=	SYM
ejpam-2678	175	8	tnx0	tnx0	PROPN
ejpam-2678	176	1	and	and	CCONJ
ejpam-2678	176	2	so	so	ADV
ejpam-2678	176	3	xn+1	xn+1	X
ejpam-2678	176	4	=	=	SYM
ejpam-2678	176	5	txn	txn	NOUN
ejpam-2678	176	6	.	.	PUNCT
ejpam-2678	177	1	if	if	SCONJ
ejpam-2678	177	2	there	there	PRON
ejpam-2678	177	3	exists	exist	VERB
ejpam-2678	177	4	n	n	PRON
ejpam-2678	177	5	∈	∈	PROPN
ejpam-2678	177	6	n	n	PRON
ejpam-2678	177	7	such	such	ADJ
ejpam-2678	177	8	that	that	PRON
ejpam-2678	177	9	xn	xn	PUNCT
ejpam-2678	177	10	=	=	SYM
ejpam-2678	177	11	xn+1	xn+1	PROPN
ejpam-2678	177	12	=	=	SYM
ejpam-2678	177	13	txn	txn	NOUN
ejpam-2678	177	14	,	,	PUNCT
ejpam-2678	177	15	then	then	ADV
ejpam-2678	177	16	xn	xn	PROPN
ejpam-2678	177	17	is	be	AUX
ejpam-2678	177	18	a	a	DET
ejpam-2678	177	19	fixed	fix	VERB
ejpam-2678	177	20	point	point	NOUN
ejpam-2678	177	21	.	.	PUNCT
ejpam-2678	178	1	suppose	suppose	VERB
ejpam-2678	178	2	that	that	SCONJ
ejpam-2678	178	3	xn	xn	PROPN
ejpam-2678	179	1	6=	6=	NUM
ejpam-2678	179	2	xn+1	xn+1	PROPN
ejpam-2678	179	3	.	.	PUNCT
ejpam-2678	180	1	hence	hence	ADV
ejpam-2678	180	2	,	,	PUNCT
ejpam-2678	180	3	p	p	X
ejpam-2678	180	4	(	(	PUNCT
ejpam-2678	180	5	xn	xn	PROPN
ejpam-2678	180	6	,	,	PUNCT
ejpam-2678	180	7	xn+1	xn+1	NUM
ejpam-2678	180	8	)	)	PUNCT
ejpam-2678	180	9	>	>	X
ejpam-2678	180	10	0	0	PUNCT
ejpam-2678	181	1	for	for	ADP
ejpam-2678	181	2	all	all	DET
ejpam-2678	181	3	n	n	PRON
ejpam-2678	181	4	∈	∈	NOUN
ejpam-2678	181	5	n	n	NOUN
ejpam-2678	181	6	.	.	PUNCT
ejpam-2678	182	1	by	by	ADP
ejpam-2678	182	2	(	(	PUNCT
ejpam-2678	182	3	1	1	X
ejpam-2678	182	4	)	)	PUNCT
ejpam-2678	182	5	we	we	PRON
ejpam-2678	182	6	have	have	AUX
ejpam-2678	182	7	successively	successively	ADV
ejpam-2678	182	8	f	f	X
ejpam-2678	182	9	(	(	PUNCT
ejpam-2678	182	10	p	p	X
ejpam-2678	182	11	(	(	PUNCT
ejpam-2678	182	12	txn	txn	NOUN
ejpam-2678	182	13	,	,	PUNCT
ejpam-2678	182	14	txn+1	txn+1	NOUN
ejpam-2678	182	15	)	)	PUNCT
ejpam-2678	182	16	,	,	PUNCT
ejpam-2678	182	17	p	p	X
ejpam-2678	182	18	(	(	PUNCT
ejpam-2678	182	19	xn	xn	PROPN
ejpam-2678	182	20	,	,	PUNCT
ejpam-2678	182	21	xn+1	xn+1	NUM
ejpam-2678	182	22	)	)	PUNCT
ejpam-2678	182	23	,	,	PUNCT
ejpam-2678	182	24	p	p	X
ejpam-2678	182	25	(	(	PUNCT
ejpam-2678	182	26	xn	xn	PROPN
ejpam-2678	182	27	,	,	PUNCT
ejpam-2678	182	28	txn	txn	NOUN
ejpam-2678	182	29	)	)	PUNCT
ejpam-2678	182	30	,	,	PUNCT
ejpam-2678	182	31	p	p	X
ejpam-2678	182	32	(	(	PUNCT
ejpam-2678	182	33	xn+1	xn+1	PROPN
ejpam-2678	182	34	,	,	PUNCT
ejpam-2678	182	35	txn+1	txn+1	NOUN
ejpam-2678	182	36	)	)	PUNCT
ejpam-2678	182	37	,	,	PUNCT
ejpam-2678	182	38	p	p	X
ejpam-2678	182	39	(	(	PUNCT
ejpam-2678	182	40	xn	xn	PROPN
ejpam-2678	182	41	,	,	PUNCT
ejpam-2678	182	42	txn+1	txn+1	NOUN
ejpam-2678	182	43	)	)	PUNCT
ejpam-2678	183	1	+	+	CCONJ
ejpam-2678	183	2	p	p	X
ejpam-2678	183	3	(	(	PUNCT
ejpam-2678	183	4	xn+1	xn+1	PROPN
ejpam-2678	183	5	,	,	PUNCT
ejpam-2678	183	6	txn	txn	NOUN
ejpam-2678	183	7	)	)	PUNCT
ejpam-2678	183	8	)	)	PUNCT
ejpam-2678	183	9	≤	≤	ADV
ejpam-2678	183	10	0	0	NUM
ejpam-2678	183	11	,	,	PUNCT
ejpam-2678	183	12	v.	v.	ADP
ejpam-2678	183	13	popa	popa	NOUN
ejpam-2678	183	14	,	,	PUNCT
ejpam-2678	183	15	a.-m	a.-m	PROPN
ejpam-2678	183	16	.	.	PUNCT
ejpam-2678	184	1	patriciu	patriciu	PROPN
ejpam-2678	184	2	/	/	SYM
ejpam-2678	184	3	eur	eur	PROPN
ejpam-2678	184	4	.	.	PUNCT
ejpam-2678	185	1	j.	j.	PROPN
ejpam-2678	185	2	pure	pure	PROPN
ejpam-2678	185	3	appl	appl	PROPN
ejpam-2678	185	4	.	.	PROPN
ejpam-2678	185	5	math	math	PROPN
ejpam-2678	185	6	,	,	PUNCT
ejpam-2678	185	7	10	10	NUM
ejpam-2678	185	8	(	(	PUNCT
ejpam-2678	185	9	4	4	NUM
ejpam-2678	185	10	)	)	PUNCT
ejpam-2678	185	11	(	(	PUNCT
ejpam-2678	185	12	2017	2017	NUM
ejpam-2678	185	13	)	)	PUNCT
ejpam-2678	185	14	,	,	PUNCT
ejpam-2678	185	15	908	908	NUM
ejpam-2678	185	16	-	-	SYM
ejpam-2678	185	17	915	915	NUM
ejpam-2678	185	18	913	913	NUM
ejpam-2678	185	19	f	f	NOUN
ejpam-2678	185	20	(	(	PUNCT
ejpam-2678	185	21	p	p	X
ejpam-2678	185	22	(	(	PUNCT
ejpam-2678	185	23	xn+1	xn+1	PROPN
ejpam-2678	185	24	,	,	PUNCT
ejpam-2678	185	25	xn+2	xn+2	NUM
ejpam-2678	185	26	)	)	PUNCT
ejpam-2678	185	27	,	,	PUNCT
ejpam-2678	185	28	p	p	X
ejpam-2678	185	29	(	(	PUNCT
ejpam-2678	185	30	xn	xn	PROPN
ejpam-2678	185	31	,	,	PUNCT
ejpam-2678	185	32	xn+1	xn+1	NUM
ejpam-2678	185	33	)	)	PUNCT
ejpam-2678	185	34	,	,	PUNCT
ejpam-2678	185	35	p	p	X
ejpam-2678	185	36	(	(	PUNCT
ejpam-2678	185	37	xn	xn	PROPN
ejpam-2678	185	38	,	,	PUNCT
ejpam-2678	185	39	xn+1	xn+1	NUM
ejpam-2678	185	40	)	)	PUNCT
ejpam-2678	185	41	,	,	PUNCT
ejpam-2678	185	42	p	p	X
ejpam-2678	185	43	(	(	PUNCT
ejpam-2678	185	44	xn+1	xn+1	PROPN
ejpam-2678	185	45	,	,	PUNCT
ejpam-2678	185	46	xn+2	xn+2	NUM
ejpam-2678	185	47	)	)	PUNCT
ejpam-2678	185	48	,	,	PUNCT
ejpam-2678	185	49	p	p	X
ejpam-2678	185	50	(	(	PUNCT
ejpam-2678	185	51	xn	xn	PROPN
ejpam-2678	185	52	,	,	PUNCT
ejpam-2678	185	53	xn+2	xn+2	NUM
ejpam-2678	185	54	)	)	PUNCT
ejpam-2678	186	1	+	+	CCONJ
ejpam-2678	186	2	p	p	X
ejpam-2678	186	3	(	(	PUNCT
ejpam-2678	186	4	xn+1	xn+1	PROPN
ejpam-2678	186	5	,	,	PUNCT
ejpam-2678	186	6	xn+1	xn+1	NUM
ejpam-2678	186	7	)	)	PUNCT
ejpam-2678	186	8	)	)	PUNCT
ejpam-2678	187	1	≤	≤	NUM
ejpam-2678	187	2	0	0	X
ejpam-2678	187	3	.	.	PUNCT
ejpam-2678	188	1	by	by	ADP
ejpam-2678	188	2	(	(	PUNCT
ejpam-2678	188	3	p3	p3	PROPN
ejpam-2678	188	4	):	):	PUNCT
ejpam-2678	188	5	p	p	X
ejpam-2678	188	6	(	(	PUNCT
ejpam-2678	188	7	xn	xn	PROPN
ejpam-2678	188	8	,	,	PUNCT
ejpam-2678	188	9	xn+2	xn+2	NUM
ejpam-2678	188	10	)	)	PUNCT
ejpam-2678	188	11	≤	≤	NOUN
ejpam-2678	188	12	p	p	NOUN
ejpam-2678	188	13	(	(	PUNCT
ejpam-2678	188	14	xn	xn	PROPN
ejpam-2678	188	15	,	,	PUNCT
ejpam-2678	188	16	xn+1	xn+1	NUM
ejpam-2678	188	17	)	)	PUNCT
ejpam-2678	189	1	+	+	CCONJ
ejpam-2678	189	2	p	p	X
ejpam-2678	189	3	(	(	PUNCT
ejpam-2678	189	4	xn+1	xn+1	PROPN
ejpam-2678	189	5	,	,	PUNCT
ejpam-2678	189	6	xn+2)−	xn+2)−	PROPN
ejpam-2678	189	7	p	p	X
ejpam-2678	189	8	(	(	PUNCT
ejpam-2678	189	9	xn+1	xn+1	PROPN
ejpam-2678	189	10	,	,	PUNCT
ejpam-2678	189	11	xn+1	xn+1	NUM
ejpam-2678	189	12	)	)	PUNCT
ejpam-2678	189	13	.	.	PUNCT
ejpam-2678	190	1	then	then	ADV
ejpam-2678	190	2	by	by	ADP
ejpam-2678	190	3	(	(	PUNCT
ejpam-2678	190	4	f1	f1	NOUN
ejpam-2678	190	5	)	)	PUNCT
ejpam-2678	190	6	we	we	PRON
ejpam-2678	190	7	obtain	obtain	VERB
ejpam-2678	190	8	f	f	X
ejpam-2678	190	9	(	(	PUNCT
ejpam-2678	190	10	p	p	X
ejpam-2678	190	11	(	(	PUNCT
ejpam-2678	190	12	xn+1	xn+1	PROPN
ejpam-2678	190	13	,	,	PUNCT
ejpam-2678	190	14	xn+2	xn+2	NUM
ejpam-2678	190	15	)	)	PUNCT
ejpam-2678	190	16	,	,	PUNCT
ejpam-2678	190	17	p	p	X
ejpam-2678	190	18	(	(	PUNCT
ejpam-2678	190	19	xn	xn	PROPN
ejpam-2678	190	20	,	,	PUNCT
ejpam-2678	190	21	xn+1	xn+1	NUM
ejpam-2678	190	22	)	)	PUNCT
ejpam-2678	190	23	,	,	PUNCT
ejpam-2678	190	24	p	p	X
ejpam-2678	190	25	(	(	PUNCT
ejpam-2678	190	26	xn	xn	PROPN
ejpam-2678	190	27	,	,	PUNCT
ejpam-2678	190	28	xn+1	xn+1	NUM
ejpam-2678	190	29	)	)	PUNCT
ejpam-2678	190	30	,	,	PUNCT
ejpam-2678	190	31	p	p	X
ejpam-2678	190	32	(	(	PUNCT
ejpam-2678	190	33	xn+1	xn+1	PROPN
ejpam-2678	190	34	,	,	PUNCT
ejpam-2678	190	35	xn+2	xn+2	NUM
ejpam-2678	190	36	)	)	PUNCT
ejpam-2678	190	37	,	,	PUNCT
ejpam-2678	190	38	p	p	X
ejpam-2678	190	39	(	(	PUNCT
ejpam-2678	190	40	xn	xn	PROPN
ejpam-2678	190	41	,	,	PUNCT
ejpam-2678	190	42	xn+1	xn+1	NUM
ejpam-2678	190	43	)	)	PUNCT
ejpam-2678	191	1	+	+	CCONJ
ejpam-2678	191	2	p	p	X
ejpam-2678	191	3	(	(	PUNCT
ejpam-2678	191	4	xn+1	xn+1	PROPN
ejpam-2678	191	5	,	,	PUNCT
ejpam-2678	191	6	xn+2	xn+2	NUM
ejpam-2678	191	7	)	)	PUNCT
ejpam-2678	191	8	)	)	PUNCT
ejpam-2678	191	9	≤	≤	NUM
ejpam-2678	191	10	0	0	X
ejpam-2678	191	11	.	.	PUNCT
ejpam-2678	192	1	by	by	ADP
ejpam-2678	192	2	(	(	PUNCT
ejpam-2678	192	3	f2	f2	PROPN
ejpam-2678	192	4	)	)	PUNCT
ejpam-2678	192	5	we	we	PRON
ejpam-2678	192	6	obtain	obtain	VERB
ejpam-2678	192	7	p	p	NOUN
ejpam-2678	192	8	(	(	PUNCT
ejpam-2678	192	9	xn+1	xn+1	PROPN
ejpam-2678	192	10	,	,	PUNCT
ejpam-2678	192	11	xn+2	xn+2	NUM
ejpam-2678	192	12	)	)	PUNCT
ejpam-2678	192	13	≤	≤	NUM
ejpam-2678	192	14	hp	hp	X
ejpam-2678	192	15	(	(	PUNCT
ejpam-2678	192	16	xn+1	xn+1	PROPN
ejpam-2678	192	17	,	,	PUNCT
ejpam-2678	192	18	xn	xn	PROPN
ejpam-2678	192	19	)	)	PUNCT
ejpam-2678	192	20	.	.	PUNCT
ejpam-2678	193	1	for	for	ADP
ejpam-2678	193	2	m	m	PROPN
ejpam-2678	193	3	>	>	X
ejpam-2678	193	4	n	n	CCONJ
ejpam-2678	193	5	,	,	PUNCT
ejpam-2678	193	6	using	use	VERB
ejpam-2678	193	7	(	(	PUNCT
ejpam-2678	193	8	p4	p4	ADJ
ejpam-2678	193	9	)	)	PUNCT
ejpam-2678	193	10	we	we	PRON
ejpam-2678	193	11	obtain	obtain	VERB
ejpam-2678	193	12	p	p	NOUN
ejpam-2678	193	13	(	(	PUNCT
ejpam-2678	193	14	xn	xn	PROPN
ejpam-2678	193	15	,	,	PUNCT
ejpam-2678	193	16	xm	xm	PROPN
ejpam-2678	193	17	)	)	PUNCT
ejpam-2678	193	18	≤	≤	NOUN
ejpam-2678	194	1	p	p	NOUN
ejpam-2678	194	2	(	(	PUNCT
ejpam-2678	194	3	xn	xn	PROPN
ejpam-2678	194	4	,	,	PUNCT
ejpam-2678	194	5	xn+1	xn+1	NUM
ejpam-2678	194	6	)	)	PUNCT
ejpam-2678	195	1	+	+	CCONJ
ejpam-2678	195	2	...	...	PUNCT
ejpam-2678	196	1	+	+	CCONJ
ejpam-2678	196	2	p	p	X
ejpam-2678	196	3	(	(	PUNCT
ejpam-2678	196	4	xn+m−1	xn+m−1	PROPN
ejpam-2678	196	5	,	,	PUNCT
ejpam-2678	196	6	xn+m	xn+m	PROPN
ejpam-2678	196	7	)	)	PUNCT
ejpam-2678	196	8	≤	≤	NOUN
ejpam-2678	196	9	(	(	PUNCT
ejpam-2678	196	10	hn	hn	PROPN
ejpam-2678	196	11	+	+	NOUN
ejpam-2678	196	12	hn+1	hn+1	PROPN
ejpam-2678	196	13	+	+	CCONJ
ejpam-2678	196	14	...	...	PUNCT
ejpam-2678	196	15	+	+	CCONJ
ejpam-2678	196	16	hm−1	hm−1	NOUN
ejpam-2678	196	17	)	)	PUNCT
ejpam-2678	196	18	p	p	X
ejpam-2678	196	19	(	(	PUNCT
ejpam-2678	196	20	x0	x0	PROPN
ejpam-2678	196	21	,	,	PUNCT
ejpam-2678	196	22	x1	x1	PROPN
ejpam-2678	196	23	)	)	PUNCT
ejpam-2678	196	24	≤	≤	PUNCT
ejpam-2678	197	1	hn	hn	PROPN
ejpam-2678	197	2	1−	1−	NUM
ejpam-2678	197	3	h	h	NOUN
ejpam-2678	198	1	p	p	NOUN
ejpam-2678	198	2	(	(	PUNCT
ejpam-2678	198	3	x0	x0	PROPN
ejpam-2678	198	4	,	,	PUNCT
ejpam-2678	198	5	x1	x1	PROPN
ejpam-2678	198	6	)	)	PUNCT
ejpam-2678	198	7	.	.	PUNCT
ejpam-2678	199	1	thus	thus	ADV
ejpam-2678	199	2	,	,	PUNCT
ejpam-2678	199	3	limn	limn	ADJ
ejpam-2678	199	4	,	,	PUNCT
ejpam-2678	199	5	m→∞	m→∞	NOUN
ejpam-2678	199	6	p	p	NOUN
ejpam-2678	199	7	(	(	PUNCT
ejpam-2678	199	8	xn	xn	PROPN
ejpam-2678	199	9	,	,	PUNCT
ejpam-2678	199	10	xm	xm	PROPN
ejpam-2678	199	11	)	)	PUNCT
ejpam-2678	200	1	=	=	SYM
ejpam-2678	200	2	0	0	X
ejpam-2678	200	3	.	.	PUNCT
ejpam-2678	201	1	hence	hence	ADV
ejpam-2678	201	2	,	,	PUNCT
ejpam-2678	201	3	{	{	PUNCT
ejpam-2678	201	4	xn	xn	X
ejpam-2678	201	5	}	}	PUNCT
ejpam-2678	201	6	is	be	AUX
ejpam-2678	201	7	a	a	DET
ejpam-2678	201	8	cauchy	cauchy	ADJ
ejpam-2678	201	9	sequence	sequence	NOUN
ejpam-2678	201	10	in	in	ADP
ejpam-2678	201	11	(	(	PUNCT
ejpam-2678	201	12	x	x	X
ejpam-2678	201	13	,	,	PUNCT
ejpam-2678	201	14	p	p	NOUN
ejpam-2678	201	15	)	)	PUNCT
ejpam-2678	201	16	and	and	CCONJ
ejpam-2678	201	17	since	since	SCONJ
ejpam-2678	201	18	(	(	PUNCT
ejpam-2678	201	19	x	x	X
ejpam-2678	201	20	,	,	PUNCT
ejpam-2678	201	21	p	p	NOUN
ejpam-2678	201	22	)	)	PUNCT
ejpam-2678	201	23	is	be	AUX
ejpam-2678	201	24	orbitally	orbitally	ADV
ejpam-2678	201	25	complete	complete	ADJ
ejpam-2678	201	26	,	,	PUNCT
ejpam-2678	201	27	then	then	ADV
ejpam-2678	201	28	{	{	PUNCT
ejpam-2678	201	29	tnx0	tnx0	PROPN
ejpam-2678	201	30	}	}	PUNCT
ejpam-2678	201	31	converges	converge	VERB
ejpam-2678	201	32	to	to	ADP
ejpam-2678	201	33	a	a	DET
ejpam-2678	201	34	limit	limit	NOUN
ejpam-2678	201	35	z	z	NOUN
ejpam-2678	201	36	∈	∈	PROPN
ejpam-2678	201	37	x	x	PUNCT
ejpam-2678	201	38	such	such	ADJ
ejpam-2678	201	39	that	that	SCONJ
ejpam-2678	201	40	limn→∞	limn→∞	PROPN
ejpam-2678	201	41	p	p	X
ejpam-2678	201	42	(	(	PUNCT
ejpam-2678	201	43	tnx0	tnx0	PROPN
ejpam-2678	201	44	,	,	PUNCT
ejpam-2678	201	45	t	t	PROPN
ejpam-2678	201	46	mx0	mx0	PROPN
ejpam-2678	201	47	)	)	PUNCT
ejpam-2678	202	1	=	=	SYM
ejpam-2678	202	2	limn→∞	limn→∞	PROPN
ejpam-2678	202	3	p	p	X
ejpam-2678	202	4	(	(	PUNCT
ejpam-2678	202	5	tnx0	tnx0	PROPN
ejpam-2678	202	6	,	,	PUNCT
ejpam-2678	202	7	z	z	NOUN
ejpam-2678	202	8	)	)	PUNCT
ejpam-2678	202	9	=	=	SYM
ejpam-2678	203	1	p	p	X
ejpam-2678	203	2	(	(	PUNCT
ejpam-2678	203	3	z	z	NOUN
ejpam-2678	203	4	,	,	PUNCT
ejpam-2678	203	5	z	z	NOUN
ejpam-2678	203	6	)	)	PUNCT
ejpam-2678	203	7	=	=	SYM
ejpam-2678	203	8	0	0	X
ejpam-2678	203	9	.	.	PUNCT
ejpam-2678	204	1	since	since	SCONJ
ejpam-2678	204	2	t	t	PROPN
ejpam-2678	204	3	is	be	AUX
ejpam-2678	204	4	orbitally	orbitally	ADV
ejpam-2678	204	5	continuous	continuous	ADJ
ejpam-2678	204	6	,	,	PUNCT
ejpam-2678	204	7	limn→∞	limn→∞	PROPN
ejpam-2678	204	8	p	p	X
ejpam-2678	204	9	(	(	PUNCT
ejpam-2678	204	10	tnx0	tnx0	PROPN
ejpam-2678	204	11	,	,	PUNCT
ejpam-2678	204	12	z	z	NOUN
ejpam-2678	204	13	)	)	PUNCT
ejpam-2678	205	1	=	=	SYM
ejpam-2678	205	2	p	p	X
ejpam-2678	205	3	(	(	PUNCT
ejpam-2678	205	4	z	z	NOUN
ejpam-2678	205	5	,	,	PUNCT
ejpam-2678	205	6	z	z	NOUN
ejpam-2678	205	7	)	)	PUNCT
ejpam-2678	205	8	implies	imply	VERB
ejpam-2678	205	9	lim	lim	PROPN
ejpam-2678	205	10	n→∞	n→∞	X
ejpam-2678	205	11	p	p	X
ejpam-2678	205	12	(	(	PUNCT
ejpam-2678	205	13	tn+1x0	tn+1x0	PROPN
ejpam-2678	205	14	,	,	PUNCT
ejpam-2678	205	15	t	t	PROPN
ejpam-2678	205	16	z	z	NOUN
ejpam-2678	205	17	)	)	PUNCT
ejpam-2678	206	1	=	=	PUNCT
ejpam-2678	206	2	p	p	X
ejpam-2678	206	3	(	(	PUNCT
ejpam-2678	206	4	tz	tz	PROPN
ejpam-2678	206	5	,	,	PUNCT
ejpam-2678	206	6	tz	tz	PROPN
ejpam-2678	206	7	)	)	PUNCT
ejpam-2678	206	8	.	.	PUNCT
ejpam-2678	207	1	on	on	ADP
ejpam-2678	207	2	the	the	DET
ejpam-2678	207	3	other	other	ADJ
ejpam-2678	207	4	hand	hand	NOUN
ejpam-2678	207	5	p	p	NOUN
ejpam-2678	207	6	(	(	PUNCT
ejpam-2678	207	7	z	z	PROPN
ejpam-2678	207	8	,	,	PUNCT
ejpam-2678	207	9	tz	tz	NOUN
ejpam-2678	207	10	)	)	PUNCT
ejpam-2678	207	11	≤	≤	NOUN
ejpam-2678	207	12	p	p	NOUN
ejpam-2678	207	13	(	(	PUNCT
ejpam-2678	207	14	z	z	PROPN
ejpam-2678	207	15	,	,	PUNCT
ejpam-2678	207	16	tn+1x0	tn+1x0	PROPN
ejpam-2678	207	17	)	)	PUNCT
ejpam-2678	208	1	+	+	CCONJ
ejpam-2678	208	2	p	p	X
ejpam-2678	208	3	(	(	PUNCT
ejpam-2678	208	4	tn+1x0	tn+1x0	PROPN
ejpam-2678	208	5	,	,	PUNCT
ejpam-2678	208	6	t	t	PROPN
ejpam-2678	208	7	z	z	NOUN
ejpam-2678	208	8	)	)	PUNCT
ejpam-2678	209	1	=	=	PUNCT
ejpam-2678	209	2	p	p	X
ejpam-2678	209	3	(	(	PUNCT
ejpam-2678	209	4	z	z	PROPN
ejpam-2678	209	5	,	,	PUNCT
ejpam-2678	209	6	xn+2	xn+2	NUM
ejpam-2678	209	7	)	)	PUNCT
ejpam-2678	210	1	+	+	CCONJ
ejpam-2678	210	2	p	p	X
ejpam-2678	210	3	(	(	PUNCT
ejpam-2678	210	4	tn+1x0	tn+1x0	PROPN
ejpam-2678	210	5	,	,	PUNCT
ejpam-2678	210	6	t	t	PROPN
ejpam-2678	210	7	z	z	PROPN
ejpam-2678	210	8	)	)	PUNCT
ejpam-2678	210	9	.	.	PUNCT
ejpam-2678	211	1	using	use	VERB
ejpam-2678	211	2	lemma	lemma	PROPN
ejpam-2678	211	3	1	1	NUM
ejpam-2678	211	4	and	and	CCONJ
ejpam-2678	211	5	letting	let	VERB
ejpam-2678	211	6	n	n	PRON
ejpam-2678	211	7	tends	tend	VERB
ejpam-2678	211	8	to	to	PART
ejpam-2678	211	9	infinity	infinity	VERB
ejpam-2678	211	10	we	we	PRON
ejpam-2678	211	11	obtain	obtain	VERB
ejpam-2678	211	12	p	p	NOUN
ejpam-2678	211	13	(	(	PUNCT
ejpam-2678	211	14	z	z	PROPN
ejpam-2678	211	15	,	,	PUNCT
ejpam-2678	211	16	tz	tz	NOUN
ejpam-2678	211	17	)	)	PUNCT
ejpam-2678	211	18	≤	≤	NOUN
ejpam-2678	211	19	p	p	NOUN
ejpam-2678	211	20	(	(	PUNCT
ejpam-2678	211	21	tz	tz	PROPN
ejpam-2678	211	22	,	,	PUNCT
ejpam-2678	211	23	tz	tz	PROPN
ejpam-2678	211	24	)	)	PUNCT
ejpam-2678	211	25	.	.	PUNCT
ejpam-2678	212	1	by	by	ADP
ejpam-2678	212	2	(	(	PUNCT
ejpam-2678	212	3	1	1	X
ejpam-2678	212	4	)	)	PUNCT
ejpam-2678	212	5	we	we	PRON
ejpam-2678	212	6	have	have	VERB
ejpam-2678	212	7	f	f	X
ejpam-2678	212	8	(	(	PUNCT
ejpam-2678	212	9	p	p	X
ejpam-2678	212	10	(	(	PUNCT
ejpam-2678	212	11	tz	tz	PROPN
ejpam-2678	212	12	,	,	PUNCT
ejpam-2678	212	13	t	t	PROPN
ejpam-2678	212	14	2z	2z	NUM
ejpam-2678	212	15	)	)	PUNCT
ejpam-2678	212	16	,	,	PUNCT
ejpam-2678	212	17	p	p	X
ejpam-2678	212	18	(	(	PUNCT
ejpam-2678	212	19	z	z	PROPN
ejpam-2678	212	20	,	,	PUNCT
ejpam-2678	212	21	tz	tz	PROPN
ejpam-2678	212	22	)	)	PUNCT
ejpam-2678	212	23	,	,	PUNCT
ejpam-2678	212	24	p	p	X
ejpam-2678	212	25	(	(	PUNCT
ejpam-2678	212	26	z	z	PROPN
ejpam-2678	212	27	,	,	PUNCT
ejpam-2678	212	28	tz	tz	PROPN
ejpam-2678	212	29	)	)	PUNCT
ejpam-2678	212	30	,	,	PUNCT
ejpam-2678	212	31	p	p	X
ejpam-2678	212	32	(	(	PUNCT
ejpam-2678	212	33	tz	tz	PROPN
ejpam-2678	212	34	,	,	PUNCT
ejpam-2678	212	35	t	t	PROPN
ejpam-2678	212	36	2z	2z	NUM
ejpam-2678	212	37	)	)	PUNCT
ejpam-2678	212	38	,	,	PUNCT
ejpam-2678	212	39	p	p	X
ejpam-2678	212	40	(	(	PUNCT
ejpam-2678	212	41	z	z	PROPN
ejpam-2678	212	42	,	,	PUNCT
ejpam-2678	212	43	t	t	PROPN
ejpam-2678	212	44	2z	2z	NUM
ejpam-2678	212	45	)	)	PUNCT
ejpam-2678	213	1	+	+	CCONJ
ejpam-2678	213	2	p	p	X
ejpam-2678	213	3	(	(	PUNCT
ejpam-2678	213	4	tz	tz	PROPN
ejpam-2678	213	5	,	,	PUNCT
ejpam-2678	213	6	tz	tz	PROPN
ejpam-2678	213	7	)	)	PUNCT
ejpam-2678	213	8	)	)	PUNCT
ejpam-2678	213	9	≤	≤	ADV
ejpam-2678	213	10	0	0	X
ejpam-2678	213	11	.	.	PUNCT
ejpam-2678	214	1	then	then	ADV
ejpam-2678	214	2	by	by	SCONJ
ejpam-2678	214	3	(	(	PUNCT
ejpam-2678	214	4	p4	p4	ADJ
ejpam-2678	214	5	)	)	PUNCT
ejpam-2678	214	6	,	,	PUNCT
ejpam-2678	214	7	p	p	X
ejpam-2678	214	8	(	(	PUNCT
ejpam-2678	214	9	z	z	PROPN
ejpam-2678	214	10	,	,	PUNCT
ejpam-2678	214	11	t	t	PROPN
ejpam-2678	214	12	2z	2z	NUM
ejpam-2678	214	13	)	)	PUNCT
ejpam-2678	214	14	≤	≤	NOUN
ejpam-2678	214	15	p	p	X
ejpam-2678	214	16	(	(	PUNCT
ejpam-2678	214	17	z	z	PROPN
ejpam-2678	214	18	,	,	PUNCT
ejpam-2678	214	19	tz	tz	PROPN
ejpam-2678	214	20	)	)	PUNCT
ejpam-2678	214	21	+	+	NOUN
ejpam-2678	214	22	p	p	X
ejpam-2678	214	23	(	(	PUNCT
ejpam-2678	214	24	tz	tz	PROPN
ejpam-2678	214	25	,	,	PUNCT
ejpam-2678	214	26	t	t	PROPN
ejpam-2678	214	27	2z	2z	NUM
ejpam-2678	214	28	)	)	PUNCT
ejpam-2678	215	1	−	−	PROPN
ejpam-2678	215	2	p	p	X
ejpam-2678	215	3	(	(	PUNCT
ejpam-2678	215	4	tz	tz	PROPN
ejpam-2678	215	5	,	,	PUNCT
ejpam-2678	215	6	tz	tz	PROPN
ejpam-2678	215	7	)	)	PUNCT
ejpam-2678	215	8	.	.	PUNCT
ejpam-2678	216	1	references	reference	NOUN
ejpam-2678	216	2	914	914	NUM
ejpam-2678	216	3	by	by	ADP
ejpam-2678	216	4	(	(	PUNCT
ejpam-2678	216	5	f1	f1	NOUN
ejpam-2678	216	6	)	)	PUNCT
ejpam-2678	216	7	we	we	PRON
ejpam-2678	216	8	obtain	obtain	VERB
ejpam-2678	216	9	f	f	X
ejpam-2678	216	10	(	(	PUNCT
ejpam-2678	216	11	p	p	X
ejpam-2678	216	12	(	(	PUNCT
ejpam-2678	216	13	tz	tz	PROPN
ejpam-2678	216	14	,	,	PUNCT
ejpam-2678	216	15	t	t	PROPN
ejpam-2678	216	16	2z	2z	NUM
ejpam-2678	216	17	)	)	PUNCT
ejpam-2678	216	18	,	,	PUNCT
ejpam-2678	216	19	p	p	X
ejpam-2678	216	20	(	(	PUNCT
ejpam-2678	216	21	z	z	PROPN
ejpam-2678	216	22	,	,	PUNCT
ejpam-2678	216	23	tz	tz	PROPN
ejpam-2678	216	24	)	)	PUNCT
ejpam-2678	216	25	,	,	PUNCT
ejpam-2678	216	26	p	p	X
ejpam-2678	216	27	(	(	PUNCT
ejpam-2678	216	28	z	z	PROPN
ejpam-2678	216	29	,	,	PUNCT
ejpam-2678	216	30	tz	tz	PROPN
ejpam-2678	216	31	)	)	PUNCT
ejpam-2678	216	32	,	,	PUNCT
ejpam-2678	216	33	p	p	X
ejpam-2678	216	34	(	(	PUNCT
ejpam-2678	216	35	tz	tz	PROPN
ejpam-2678	216	36	,	,	PUNCT
ejpam-2678	216	37	t	t	PROPN
ejpam-2678	216	38	2z	2z	NUM
ejpam-2678	216	39	)	)	PUNCT
ejpam-2678	216	40	,	,	PUNCT
ejpam-2678	216	41	p	p	X
ejpam-2678	216	42	(	(	PUNCT
ejpam-2678	216	43	z	z	PROPN
ejpam-2678	216	44	,	,	PUNCT
ejpam-2678	216	45	tz	tz	PROPN
ejpam-2678	216	46	)	)	PUNCT
ejpam-2678	216	47	+	+	NOUN
ejpam-2678	216	48	p	p	X
ejpam-2678	216	49	(	(	PUNCT
ejpam-2678	216	50	tz	tz	PROPN
ejpam-2678	216	51	,	,	PUNCT
ejpam-2678	216	52	t	t	PROPN
ejpam-2678	216	53	2z	2z	NUM
ejpam-2678	216	54	)	)	PUNCT
ejpam-2678	216	55	)	)	PUNCT
ejpam-2678	216	56	≤	≤	NOUN
ejpam-2678	216	57	0	0	NUM
ejpam-2678	216	58	which	which	PRON
ejpam-2678	216	59	implies	imply	VERB
ejpam-2678	216	60	by	by	ADP
ejpam-2678	216	61	(	(	PUNCT
ejpam-2678	216	62	f2	f2	PROPN
ejpam-2678	216	63	)	)	PUNCT
ejpam-2678	217	1	that	that	SCONJ
ejpam-2678	217	2	p	p	X
ejpam-2678	217	3	(	(	PUNCT
ejpam-2678	217	4	tz	tz	PROPN
ejpam-2678	217	5	,	,	PUNCT
ejpam-2678	217	6	t	t	PROPN
ejpam-2678	217	7	2z	2z	NUM
ejpam-2678	217	8	)	)	PUNCT
ejpam-2678	217	9	≤	≤	NUM
ejpam-2678	217	10	hp	hp	X
ejpam-2678	217	11	(	(	PUNCT
ejpam-2678	217	12	z	z	PROPN
ejpam-2678	217	13	,	,	PUNCT
ejpam-2678	217	14	tz	tz	PROPN
ejpam-2678	217	15	)	)	PUNCT
ejpam-2678	217	16	.	.	PUNCT
ejpam-2678	218	1	hence	hence	ADV
ejpam-2678	218	2	,	,	PUNCT
ejpam-2678	218	3	by	by	ADP
ejpam-2678	218	4	(	(	PUNCT
ejpam-2678	218	5	p2	p2	NOUN
ejpam-2678	218	6	)	)	PUNCT
ejpam-2678	218	7	we	we	PRON
ejpam-2678	218	8	obtain	obtain	VERB
ejpam-2678	218	9	p	p	NOUN
ejpam-2678	218	10	(	(	PUNCT
ejpam-2678	218	11	z	z	PROPN
ejpam-2678	218	12	,	,	PUNCT
ejpam-2678	218	13	tz	tz	NOUN
ejpam-2678	218	14	)	)	PUNCT
ejpam-2678	218	15	≤	≤	NOUN
ejpam-2678	218	16	p	p	NOUN
ejpam-2678	218	17	(	(	PUNCT
ejpam-2678	218	18	tz	tz	PROPN
ejpam-2678	218	19	,	,	PUNCT
ejpam-2678	218	20	tz	tz	PROPN
ejpam-2678	218	21	)	)	PUNCT
ejpam-2678	218	22	≤	≤	NOUN
ejpam-2678	219	1	p	p	NOUN
ejpam-2678	219	2	(	(	PUNCT
ejpam-2678	219	3	tz	tz	PROPN
ejpam-2678	219	4	,	,	PUNCT
ejpam-2678	219	5	t	t	PROPN
ejpam-2678	219	6	2z	2z	NUM
ejpam-2678	219	7	)	)	PUNCT
ejpam-2678	219	8	≤	≤	NUM
ejpam-2678	220	1	hp	hp	X
ejpam-2678	220	2	(	(	PUNCT
ejpam-2678	220	3	z	z	PROPN
ejpam-2678	220	4	,	,	PUNCT
ejpam-2678	220	5	tz	tz	PROPN
ejpam-2678	220	6	)	)	PUNCT
ejpam-2678	220	7	which	which	PRON
ejpam-2678	220	8	implies	imply	VERB
ejpam-2678	220	9	p	p	X
ejpam-2678	220	10	(	(	PUNCT
ejpam-2678	220	11	z	z	PROPN
ejpam-2678	220	12	,	,	PUNCT
ejpam-2678	220	13	tz	tz	PROPN
ejpam-2678	220	14	)	)	PUNCT
ejpam-2678	220	15	(	(	PUNCT
ejpam-2678	220	16	1−	1−	NUM
ejpam-2678	220	17	h	h	NOUN
ejpam-2678	220	18	)	)	PUNCT
ejpam-2678	220	19	≤	≤	NOUN
ejpam-2678	220	20	0	0	NUM
ejpam-2678	220	21	,	,	PUNCT
ejpam-2678	220	22	i.e.	i.e.	X
ejpam-2678	220	23	p	p	X
ejpam-2678	220	24	(	(	PUNCT
ejpam-2678	220	25	z	z	PROPN
ejpam-2678	220	26	,	,	PUNCT
ejpam-2678	220	27	tz	tz	PROPN
ejpam-2678	220	28	)	)	PUNCT
ejpam-2678	220	29	=	=	SYM
ejpam-2678	220	30	0	0	X
ejpam-2678	220	31	.	.	PUNCT
ejpam-2678	221	1	hence	hence	ADV
ejpam-2678	221	2	,	,	PUNCT
ejpam-2678	221	3	z	z	NOUN
ejpam-2678	221	4	=	=	SYM
ejpam-2678	221	5	tz	tz	PROPN
ejpam-2678	221	6	and	and	CCONJ
ejpam-2678	221	7	z	z	PROPN
ejpam-2678	221	8	is	be	AUX
ejpam-2678	221	9	a	a	DET
ejpam-2678	221	10	fixed	fix	VERB
ejpam-2678	221	11	point	point	NOUN
ejpam-2678	221	12	of	of	ADP
ejpam-2678	221	13	t	t	PROPN
ejpam-2678	221	14	.	.	PUNCT
ejpam-2678	222	1	since	since	SCONJ
ejpam-2678	222	2	p	p	PROPN
ejpam-2678	222	3	(	(	PUNCT
ejpam-2678	222	4	z	z	PROPN
ejpam-2678	222	5	,	,	PUNCT
ejpam-2678	222	6	tz	tz	NOUN
ejpam-2678	222	7	)	)	PUNCT
ejpam-2678	222	8	≤	≤	NOUN
ejpam-2678	222	9	p	p	NOUN
ejpam-2678	222	10	(	(	PUNCT
ejpam-2678	222	11	tz	tz	PROPN
ejpam-2678	222	12	,	,	PUNCT
ejpam-2678	222	13	tz	tz	PROPN
ejpam-2678	222	14	)	)	PUNCT
ejpam-2678	222	15	≤	≤	NOUN
ejpam-2678	222	16	p	p	NOUN
ejpam-2678	222	17	(	(	PUNCT
ejpam-2678	222	18	z	z	PROPN
ejpam-2678	222	19	,	,	PUNCT
ejpam-2678	222	20	tz	tz	PROPN
ejpam-2678	222	21	)	)	PUNCT
ejpam-2678	222	22	.	.	PUNCT
ejpam-2678	223	1	hence	hence	ADV
ejpam-2678	223	2	p	p	X
ejpam-2678	223	3	(	(	PUNCT
ejpam-2678	223	4	z	z	PROPN
ejpam-2678	223	5	,	,	PUNCT
ejpam-2678	223	6	tz	tz	PROPN
ejpam-2678	223	7	)	)	PUNCT
ejpam-2678	223	8	=	=	SYM
ejpam-2678	224	1	p	p	X
ejpam-2678	224	2	(	(	PUNCT
ejpam-2678	224	3	tz	tz	PROPN
ejpam-2678	224	4	,	,	PUNCT
ejpam-2678	224	5	tz	tz	PROPN
ejpam-2678	224	6	)	)	PUNCT
ejpam-2678	224	7	.	.	PUNCT
ejpam-2678	225	1	therefore	therefore	ADV
ejpam-2678	225	2	p	p	X
ejpam-2678	225	3	(	(	PUNCT
ejpam-2678	225	4	z	z	PROPN
ejpam-2678	225	5	,	,	PUNCT
ejpam-2678	225	6	z	z	NOUN
ejpam-2678	225	7	)	)	PUNCT
ejpam-2678	225	8	=	=	SYM
ejpam-2678	226	1	p	p	X
ejpam-2678	226	2	(	(	PUNCT
ejpam-2678	226	3	z	z	PROPN
ejpam-2678	226	4	,	,	PUNCT
ejpam-2678	226	5	tz	tz	PROPN
ejpam-2678	226	6	)	)	PUNCT
ejpam-2678	226	7	=	=	SYM
ejpam-2678	227	1	p	p	X
ejpam-2678	227	2	(	(	PUNCT
ejpam-2678	227	3	tz	tz	PROPN
ejpam-2678	227	4	,	,	PUNCT
ejpam-2678	227	5	tz	tz	PROPN
ejpam-2678	227	6	)	)	PUNCT
ejpam-2678	227	7	=	=	SYM
ejpam-2678	227	8	0	0	X
ejpam-2678	227	9	.	.	PUNCT
ejpam-2678	227	10	remark	remark	PROPN
ejpam-2678	227	11	2	2	NUM
ejpam-2678	227	12	.	.	PUNCT
ejpam-2678	227	13	a	a	X
ejpam-2678	227	14	)	)	PUNCT
ejpam-2678	227	15	by	by	ADP
ejpam-2678	227	16	theorem	theorem	NOUN
ejpam-2678	227	17	6	6	NUM
ejpam-2678	227	18	and	and	CCONJ
ejpam-2678	227	19	example	example	NOUN
ejpam-2678	227	20	8	8	NUM
ejpam-2678	227	21	with	with	ADP
ejpam-2678	227	22	b	b	PROPN
ejpam-2678	227	23	=	=	SYM
ejpam-2678	227	24	0	0	NUM
ejpam-2678	227	25	,	,	PUNCT
ejpam-2678	227	26	we	we	PRON
ejpam-2678	227	27	obtain	obtain	VERB
ejpam-2678	227	28	a	a	DET
ejpam-2678	227	29	generalization	generalization	NOUN
ejpam-2678	227	30	of	of	ADP
ejpam-2678	227	31	theorem	theorem	ADJ
ejpam-2678	227	32	2	2	NUM
ejpam-2678	227	33	.	.	SYM
ejpam-2678	227	34	b	b	X
ejpam-2678	227	35	)	)	PUNCT
ejpam-2678	227	36	by	by	ADP
ejpam-2678	227	37	theorem	theorem	NOUN
ejpam-2678	227	38	6	6	NUM
ejpam-2678	227	39	and	and	CCONJ
ejpam-2678	227	40	example	example	NOUN
ejpam-2678	227	41	9	9	NUM
ejpam-2678	227	42	we	we	PRON
ejpam-2678	227	43	obtain	obtain	VERB
ejpam-2678	227	44	theorem	theorem	ADJ
ejpam-2678	227	45	3	3	NUM
ejpam-2678	227	46	.	.	PUNCT
ejpam-2678	227	47	c	c	X
ejpam-2678	227	48	)	)	PUNCT
ejpam-2678	227	49	by	by	ADP
ejpam-2678	227	50	theorem	theorem	NOUN
ejpam-2678	227	51	6	6	NUM
ejpam-2678	227	52	and	and	CCONJ
ejpam-2678	227	53	example	example	NOUN
ejpam-2678	227	54	7	7	NUM
ejpam-2678	227	55	with	with	ADP
ejpam-2678	227	56	c	c	NOUN
ejpam-2678	227	57	=	=	SYM
ejpam-2678	227	58	0	0	NUM
ejpam-2678	227	59	,	,	PUNCT
ejpam-2678	227	60	we	we	PRON
ejpam-2678	227	61	obtain	obtain	AUX
ejpam-2678	227	62	theorem	theorem	ADJ
ejpam-2678	227	63	4	4	NUM
ejpam-2678	227	64	.	.	PUNCT
ejpam-2678	228	1	d	d	X
ejpam-2678	228	2	)	)	PUNCT
ejpam-2678	228	3	by	by	ADP
ejpam-2678	228	4	theorem	theorem	NOUN
ejpam-2678	228	5	6	6	NUM
ejpam-2678	228	6	and	and	CCONJ
ejpam-2678	228	7	example	example	NOUN
ejpam-2678	228	8	10	10	NUM
ejpam-2678	228	9	we	we	PRON
ejpam-2678	228	10	obtain	obtain	VERB
ejpam-2678	228	11	theorem	theorem	ADJ
ejpam-2678	228	12	5	5	NUM
ejpam-2678	228	13	.	.	PUNCT
ejpam-2678	228	14	references	reference	NOUN
ejpam-2678	229	1	[	[	X
ejpam-2678	229	2	1	1	NUM
ejpam-2678	229	3	]	]	PUNCT
ejpam-2678	229	4	t.	t.	NOUN
ejpam-2678	229	5	abdeljawad	abdeljawad	PROPN
ejpam-2678	229	6	,	,	PUNCT
ejpam-2678	229	7	e.	e.	PROPN
ejpam-2678	229	8	karapinar	karapinar	PROPN
ejpam-2678	229	9	,	,	PUNCT
ejpam-2678	229	10	and	and	CCONJ
ejpam-2678	229	11	k.	k.	PROPN
ejpam-2678	229	12	taş.	taş.	PROPN
ejpam-2678	229	13	existence	existence	NOUN
ejpam-2678	229	14	and	and	CCONJ
ejpam-2678	229	15	uniqueness	uniqueness	NOUN
ejpam-2678	229	16	of	of	ADP
ejpam-2678	229	17	a	a	DET
ejpam-2678	229	18	common	common	ADJ
ejpam-2678	229	19	fixed	fix	VERB
ejpam-2678	229	20	point	point	NOUN
ejpam-2678	229	21	on	on	ADP
ejpam-2678	229	22	a	a	DET
ejpam-2678	229	23	partial	partial	ADJ
ejpam-2678	229	24	metric	metric	ADJ
ejpam-2678	229	25	space	space	NOUN
ejpam-2678	229	26	.	.	PUNCT
ejpam-2678	230	1	appl	appl	PROPN
ejpam-2678	230	2	.	.	PROPN
ejpam-2678	230	3	math	math	PROPN
ejpam-2678	230	4	.	.	PUNCT
ejpam-2678	231	1	lett	lett	PROPN
ejpam-2678	231	2	.	.	PROPN
ejpam-2678	231	3	,	,	PUNCT
ejpam-2678	231	4	24(11):1900–1904	24(11):1900–1904	NUM
ejpam-2678	231	5	,	,	PUNCT
ejpam-2678	231	6	2011	2011	NUM
ejpam-2678	231	7	.	.	PUNCT
ejpam-2678	232	1	[	[	X
ejpam-2678	232	2	2	2	X
ejpam-2678	232	3	]	]	PUNCT
ejpam-2678	232	4	j.	j.	PROPN
ejpam-2678	232	5	achari	achari	PROPN
ejpam-2678	232	6	.	.	PUNCT
ejpam-2678	233	1	on	on	ADP
ejpam-2678	233	2	ćirić	ćirić	PROPN
ejpam-2678	233	3	non	non	ADJ
ejpam-2678	233	4	unique	unique	ADJ
ejpam-2678	233	5	partial	partial	ADJ
ejpam-2678	233	6	metric	metric	ADJ
ejpam-2678	233	7	spaces	space	NOUN
ejpam-2678	233	8	.	.	PUNCT
ejpam-2678	234	1	mat	mat	PROPN
ejpam-2678	234	2	.	.	PROPN
ejpam-2678	234	3	vesnik	vesnik	PROPN
ejpam-2678	234	4	,	,	PUNCT
ejpam-2678	234	5	13:255–257	13:255–257	NUM
ejpam-2678	234	6	,	,	PUNCT
ejpam-2678	234	7	1976	1976	NUM
ejpam-2678	234	8	.	.	PUNCT
ejpam-2678	235	1	[	[	X
ejpam-2678	235	2	3	3	NUM
ejpam-2678	235	3	]	]	X
ejpam-2678	235	4	i.	i.	NOUN
ejpam-2678	235	5	altun	altun	PROPN
ejpam-2678	235	6	,	,	PUNCT
ejpam-2678	235	7	f.	f.	PROPN
ejpam-2678	235	8	sola	sola	PROPN
ejpam-2678	235	9	,	,	PUNCT
ejpam-2678	235	10	and	and	CCONJ
ejpam-2678	235	11	h.	h.	PROPN
ejpam-2678	235	12	simsek	simsek	PROPN
ejpam-2678	235	13	.	.	PUNCT
ejpam-2678	236	1	generalized	generalized	ADJ
ejpam-2678	236	2	contractions	contraction	NOUN
ejpam-2678	236	3	in	in	ADP
ejpam-2678	236	4	partial	partial	ADJ
ejpam-2678	236	5	metric	metric	ADJ
ejpam-2678	236	6	spaces	space	NOUN
ejpam-2678	236	7	.	.	PUNCT
ejpam-2678	237	1	topology	topology	NOUN
ejpam-2678	237	2	appl	appl	PROPN
ejpam-2678	237	3	.	.	PROPN
ejpam-2678	237	4	,	,	PUNCT
ejpam-2678	237	5	157(18):2778–2785	157(18):2778–2785	NUM
ejpam-2678	237	6	,	,	PUNCT
ejpam-2678	237	7	2010	2010	NUM
ejpam-2678	237	8	.	.	PUNCT
ejpam-2678	238	1	[	[	X
ejpam-2678	238	2	4	4	NUM
ejpam-2678	238	3	]	]	X
ejpam-2678	238	4	lj	lj	PROPN
ejpam-2678	238	5	.	.	PUNCT
ejpam-2678	238	6	ćirić.	ćirić.	PROPN
ejpam-2678	238	7	on	on	ADP
ejpam-2678	238	8	some	some	DET
ejpam-2678	238	9	maps	map	NOUN
ejpam-2678	238	10	with	with	ADP
ejpam-2678	238	11	a	a	DET
ejpam-2678	238	12	nonunique	nonunique	ADJ
ejpam-2678	238	13	fixed	fix	VERB
ejpam-2678	238	14	point	point	NOUN
ejpam-2678	238	15	.	.	PUNCT
ejpam-2678	239	1	publ	publ	NOUN
ejpam-2678	239	2	.	.	PUNCT
ejpam-2678	240	1	inst	inst	PROPN
ejpam-2678	240	2	.	.	PUNCT
ejpam-2678	241	1	math	math	NOUN
ejpam-2678	241	2	.	.	PUNCT
ejpam-2678	242	1	,	,	PUNCT
ejpam-2678	242	2	nouv	nouv	PROPN
ejpam-2678	242	3	.	.	PUNCT
ejpam-2678	243	1	sr	sr	PROPN
ejpam-2678	243	2	.	.	PUNCT
ejpam-2678	243	3	,	,	PUNCT
ejpam-2678	243	4	17(31):52–58	17(31):52–58	NUM
ejpam-2678	243	5	,	,	PUNCT
ejpam-2678	243	6	1974	1974	NUM
ejpam-2678	243	7	.	.	PUNCT
ejpam-2678	244	1	references	reference	NOUN
ejpam-2678	244	2	915	915	NUM
ejpam-2678	245	1	[	[	X
ejpam-2678	245	2	5	5	NUM
ejpam-2678	245	3	]	]	X
ejpam-2678	245	4	lj	lj	PROPN
ejpam-2678	245	5	.	.	PUNCT
ejpam-2678	245	6	ćirić	ćirić	PROPN
ejpam-2678	245	7	and	and	CCONJ
ejpam-2678	245	8	n.	n.	NOUN
ejpam-2678	246	1	jotić.	jotić.	PROPN
ejpam-2678	247	1	a	a	DET
ejpam-2678	247	2	further	further	ADJ
ejpam-2678	247	3	extension	extension	NOUN
ejpam-2678	247	4	of	of	ADP
ejpam-2678	247	5	maps	map	NOUN
ejpam-2678	247	6	with	with	ADP
ejpam-2678	247	7	non	non	ADJ
ejpam-2678	247	8	-	-	ADJ
ejpam-2678	247	9	unique	unique	ADJ
ejpam-2678	247	10	fixed	fix	VERB
ejpam-2678	247	11	points	point	NOUN
ejpam-2678	247	12	.	.	PUNCT
ejpam-2678	248	1	mat	mat	NOUN
ejpam-2678	248	2	.	.	PUNCT
ejpam-2678	248	3	vesn	vesn	PROPN
ejpam-2678	248	4	.	.	PUNCT
ejpam-2678	248	5	,	,	PUNCT
ejpam-2678	249	1	50(1	50(1	PROPN
ejpam-2678	249	2	-	-	PUNCT
ejpam-2678	249	3	2):1–4	2):1–4	NOUN
ejpam-2678	249	4	,	,	PUNCT
ejpam-2678	249	5	1998	1998	NUM
ejpam-2678	249	6	.	.	PUNCT
ejpam-2678	250	1	[	[	X
ejpam-2678	250	2	6	6	NUM
ejpam-2678	250	3	]	]	PUNCT
ejpam-2678	250	4	z.	z.	PROPN
ejpam-2678	250	5	kadelburg	kadelburg	PROPN
ejpam-2678	250	6	,	,	PUNCT
ejpam-2678	250	7	h.	h.	PROPN
ejpam-2678	250	8	k.	k.	PROPN
ejpam-2678	250	9	nashine	nashine	PROPN
ejpam-2678	250	10	,	,	PUNCT
ejpam-2678	250	11	and	and	CCONJ
ejpam-2678	250	12	s.	s.	PROPN
ejpam-2678	251	1	radenović.	radenović.	PROPN
ejpam-2678	251	2	fixed	fix	VERB
ejpam-2678	251	3	point	point	NOUN
ejpam-2678	251	4	results	result	NOUN
ejpam-2678	251	5	under	under	ADP
ejpam-2678	251	6	various	various	ADJ
ejpam-2678	251	7	contractive	contractive	ADJ
ejpam-2678	251	8	conditions	condition	NOUN
ejpam-2678	251	9	in	in	ADP
ejpam-2678	251	10	partial	partial	ADJ
ejpam-2678	251	11	metric	metric	ADJ
ejpam-2678	251	12	spaces	space	NOUN
ejpam-2678	251	13	.	.	PUNCT
ejpam-2678	252	1	rev	rev	PROPN
ejpam-2678	252	2	.	.	PROPN
ejpam-2678	252	3	r.	r.	PROPN
ejpam-2678	252	4	acad	acad	PROPN
ejpam-2678	252	5	.	.	PUNCT
ejpam-2678	253	1	cienc	cienc	PROPN
ejpam-2678	253	2	.	.	PUNCT
ejpam-2678	254	1	exactas	exactas	PROPN
ejpam-2678	254	2	f́ıs	f́ıs	PROPN
ejpam-2678	254	3	.	.	PUNCT
ejpam-2678	255	1	nat	nat	PROPN
ejpam-2678	255	2	.	.	PUNCT
ejpam-2678	255	3	,	,	PUNCT
ejpam-2678	255	4	ser	ser	PROPN
ejpam-2678	255	5	.	.	PUNCT
ejpam-2678	256	1	a	a	DET
ejpam-2678	256	2	mat	mat	NOUN
ejpam-2678	256	3	.	.	PROPN
ejpam-2678	256	4	,	,	PUNCT
ejpam-2678	256	5	racsam	racsam	PROPN
ejpam-2678	256	6	,	,	PUNCT
ejpam-2678	256	7	107(2):241–256	107(2):241–256	NUM
ejpam-2678	256	8	,	,	PUNCT
ejpam-2678	256	9	2013	2013	NUM
ejpam-2678	256	10	.	.	PUNCT
ejpam-2678	257	1	[	[	X
ejpam-2678	257	2	7	7	X
ejpam-2678	257	3	]	]	X
ejpam-2678	257	4	e.	e.	PROPN
ejpam-2678	257	5	karapinar	karapinar	PROPN
ejpam-2678	257	6	.	.	PUNCT
ejpam-2678	258	1	ćirić	ćirić	NOUN
ejpam-2678	258	2	types	type	NOUN
ejpam-2678	258	3	nonunique	nonunique	ADJ
ejpam-2678	258	4	fixed	fix	VERB
ejpam-2678	258	5	point	point	NOUN
ejpam-2678	258	6	theorems	theorem	NOUN
ejpam-2678	258	7	on	on	ADP
ejpam-2678	258	8	partial	partial	ADJ
ejpam-2678	258	9	metric	metric	ADJ
ejpam-2678	258	10	spaces	space	NOUN
ejpam-2678	258	11	.	.	PUNCT
ejpam-2678	259	1	j.	j.	PROPN
ejpam-2678	259	2	nonlinear	nonlinear	PROPN
ejpam-2678	259	3	sci	sci	PROPN
ejpam-2678	259	4	.	.	PUNCT
ejpam-2678	259	5	appl	appl	PROPN
ejpam-2678	259	6	.	.	PROPN
ejpam-2678	259	7	,	,	PUNCT
ejpam-2678	259	8	5(2):74–83	5(2):74–83	NUM
ejpam-2678	259	9	,	,	PUNCT
ejpam-2678	259	10	2012	2012	NUM
ejpam-2678	259	11	.	.	PUNCT
ejpam-2678	260	1	[	[	X
ejpam-2678	260	2	8	8	NUM
ejpam-2678	260	3	]	]	X
ejpam-2678	260	4	e.	e.	PROPN
ejpam-2678	260	5	karapınar	karapınar	PROPN
ejpam-2678	260	6	and	and	CCONJ
ejpam-2678	260	7	i̇.	i̇.	PROPN
ejpam-2678	260	8	m.	m.	NOUN
ejpam-2678	260	9	erhan	erhan	PROPN
ejpam-2678	260	10	.	.	PUNCT
ejpam-2678	261	1	fixed	fix	VERB
ejpam-2678	261	2	point	point	NOUN
ejpam-2678	261	3	theorems	theorem	NOUN
ejpam-2678	261	4	for	for	ADP
ejpam-2678	261	5	operators	operator	NOUN
ejpam-2678	261	6	on	on	ADP
ejpam-2678	261	7	partial	partial	ADJ
ejpam-2678	261	8	metric	metric	ADJ
ejpam-2678	261	9	spaces	space	NOUN
ejpam-2678	261	10	.	.	PUNCT
ejpam-2678	262	1	appl	appl	PROPN
ejpam-2678	262	2	.	.	PROPN
ejpam-2678	262	3	math	math	PROPN
ejpam-2678	262	4	.	.	PUNCT
ejpam-2678	263	1	lett	lett	PROPN
ejpam-2678	263	2	.	.	PROPN
ejpam-2678	263	3	,	,	PUNCT
ejpam-2678	263	4	24(11):1894–1899	24(11):1894–1899	PROPN
ejpam-2678	263	5	,	,	PUNCT
ejpam-2678	263	6	2011	2011	NUM
ejpam-2678	263	7	.	.	PUNCT
ejpam-2678	264	1	[	[	X
ejpam-2678	264	2	9	9	NUM
ejpam-2678	264	3	]	]	PUNCT
ejpam-2678	264	4	s.	s.	PROPN
ejpam-2678	264	5	g.	g.	PROPN
ejpam-2678	264	6	matthews	matthews	PROPN
ejpam-2678	264	7	.	.	PUNCT
ejpam-2678	265	1	partial	partial	ADJ
ejpam-2678	265	2	metric	metric	ADJ
ejpam-2678	265	3	topology	topology	NOUN
ejpam-2678	265	4	.	.	PUNCT
ejpam-2678	266	1	in	in	ADP
ejpam-2678	266	2	proc	proc	NOUN
ejpam-2678	266	3	.	.	PUNCT
ejpam-2678	267	1	8th	8th	ADJ
ejpam-2678	267	2	summer	summer	NOUN
ejpam-2678	267	3	conference	conference	NOUN
ejpam-2678	267	4	on	on	ADP
ejpam-2678	267	5	general	general	ADJ
ejpam-2678	267	6	topology	topology	NOUN
ejpam-2678	267	7	and	and	CCONJ
ejpam-2678	267	8	applications	application	NOUN
ejpam-2678	267	9	,	,	PUNCT
ejpam-2678	267	10	volume	volume	NOUN
ejpam-2678	267	11	728	728	NUM
ejpam-2678	267	12	of	of	ADP
ejpam-2678	267	13	ann	ann	PROPN
ejpam-2678	267	14	.	.	PUNCT
ejpam-2678	268	1	new	new	PROPN
ejpam-2678	268	2	york	york	PROPN
ejpam-2678	268	3	acad	acad	PROPN
ejpam-2678	268	4	.	.	PUNCT
ejpam-2678	269	1	sci	sci	PROPN
ejpam-2678	269	2	.	.	PROPN
ejpam-2678	269	3	,	,	PUNCT
ejpam-2678	269	4	pages	page	NOUN
ejpam-2678	269	5	183–197	183–197	NUM
ejpam-2678	269	6	,	,	PUNCT
ejpam-2678	269	7	1994	1994	NUM
ejpam-2678	269	8	.	.	PUNCT
ejpam-2678	270	1	[	[	X
ejpam-2678	270	2	10	10	NUM
ejpam-2678	270	3	]	]	X
ejpam-2678	270	4	h.	h.	PROPN
ejpam-2678	270	5	k.	k.	PROPN
ejpam-2678	270	6	nashine	nashine	PROPN
ejpam-2678	270	7	and	and	CCONJ
ejpam-2678	270	8	e.	e.	PROPN
ejpam-2678	270	9	karapinar	karapinar	PROPN
ejpam-2678	270	10	.	.	PUNCT
ejpam-2678	271	1	fixed	fix	VERB
ejpam-2678	271	2	point	point	NOUN
ejpam-2678	271	3	results	result	NOUN
ejpam-2678	271	4	in	in	ADP
ejpam-2678	271	5	orbitally	orbitally	ADV
ejpam-2678	271	6	complete	complete	ADJ
ejpam-2678	271	7	partial	partial	ADJ
ejpam-2678	271	8	metric	metric	ADJ
ejpam-2678	271	9	spaces	space	NOUN
ejpam-2678	271	10	.	.	PUNCT
ejpam-2678	272	1	bull	bull	NOUN
ejpam-2678	272	2	.	.	PUNCT
ejpam-2678	273	1	malays	malays	PROPN
ejpam-2678	273	2	.	.	PUNCT
ejpam-2678	274	1	math	math	NOUN
ejpam-2678	274	2	.	.	PUNCT
ejpam-2678	275	1	sci	sci	PROPN
ejpam-2678	275	2	.	.	PROPN
ejpam-2678	275	3	soc	soc	PROPN
ejpam-2678	275	4	.	.	PUNCT
ejpam-2678	276	1	(	(	PUNCT
ejpam-2678	276	2	2	2	NUM
ejpam-2678	276	3	)	)	PUNCT
ejpam-2678	276	4	,	,	PUNCT
ejpam-2678	276	5	36(4):1185–1193	36(4):1185–1193	NUM
ejpam-2678	276	6	,	,	PUNCT
ejpam-2678	276	7	2013	2013	NUM
ejpam-2678	276	8	.	.	PUNCT
ejpam-2678	277	1	[	[	X
ejpam-2678	277	2	11	11	NUM
ejpam-2678	277	3	]	]	PUNCT
ejpam-2678	277	4	h.	h.	PROPN
ejpam-2678	277	5	k.	k.	PROPN
ejpam-2678	277	6	pathak	pathak	PROPN
ejpam-2678	277	7	.	.	PUNCT
ejpam-2678	278	1	some	some	DET
ejpam-2678	278	2	nonunique	nonunique	ADJ
ejpam-2678	278	3	fixed	fix	VERB
ejpam-2678	278	4	point	point	NOUN
ejpam-2678	278	5	theorems	theorem	NOUN
ejpam-2678	278	6	for	for	ADP
ejpam-2678	278	7	new	new	ADJ
ejpam-2678	278	8	class	class	NOUN
ejpam-2678	278	9	of	of	ADP
ejpam-2678	278	10	mappings	mapping	NOUN
ejpam-2678	278	11	.	.	PUNCT
ejpam-2678	279	1	ranchi	ranchi	PROPN
ejpam-2678	279	2	univ	univ	PROPN
ejpam-2678	279	3	.	.	PUNCT
ejpam-2678	279	4	math	math	PROPN
ejpam-2678	279	5	.	.	PUNCT
ejpam-2678	280	1	j.	j.	PROPN
ejpam-2678	280	2	,	,	PUNCT
ejpam-2678	280	3	17:65–70	17:65–70	PROPN
ejpam-2678	280	4	,	,	PUNCT
ejpam-2678	280	5	1986	1986	NUM
ejpam-2678	280	6	.	.	PUNCT
ejpam-2678	281	1	[	[	X
ejpam-2678	281	2	12	12	NUM
ejpam-2678	281	3	]	]	PUNCT
ejpam-2678	281	4	h.	h.	PROPN
ejpam-2678	281	5	k.	k.	PROPN
ejpam-2678	281	6	pathak	pathak	PROPN
ejpam-2678	281	7	.	.	PUNCT
ejpam-2678	282	1	on	on	ADP
ejpam-2678	282	2	some	some	DET
ejpam-2678	282	3	nonunique	nonunique	ADJ
ejpam-2678	282	4	fixed	fix	VERB
ejpam-2678	282	5	point	point	NOUN
ejpam-2678	282	6	theorems	theorem	NOUN
ejpam-2678	282	7	for	for	ADP
ejpam-2678	282	8	the	the	DET
ejpam-2678	282	9	maps	map	NOUN
ejpam-2678	282	10	of	of	ADP
ejpam-2678	282	11	dhage	dhage	NOUN
ejpam-2678	282	12	type	type	NOUN
ejpam-2678	282	13	.	.	PUNCT
ejpam-2678	283	1	pure	pure	ADJ
ejpam-2678	283	2	appl	appl	PROPN
ejpam-2678	283	3	.	.	PUNCT
ejpam-2678	283	4	math	math	PROPN
ejpam-2678	283	5	.	.	PUNCT
ejpam-2678	284	1	sci	sci	PROPN
ejpam-2678	284	2	.	.	PROPN
ejpam-2678	284	3	,	,	PUNCT
ejpam-2678	284	4	27(1	27(1	NUM
ejpam-2678	284	5	-	-	SYM
ejpam-2678	284	6	2):41–47	2):41–47	NUM
ejpam-2678	284	7	,	,	PUNCT
ejpam-2678	284	8	1988	1988	NUM
ejpam-2678	284	9	.	.	PUNCT
ejpam-2678	285	1	[	[	X
ejpam-2678	285	2	13	13	NUM
ejpam-2678	285	3	]	]	PUNCT
ejpam-2678	285	4	v.	v.	CCONJ
ejpam-2678	285	5	popa	popa	NOUN
ejpam-2678	285	6	.	.	PUNCT
ejpam-2678	286	1	fixed	fix	VERB
ejpam-2678	286	2	point	point	NOUN
ejpam-2678	286	3	theorems	theorem	NOUN
ejpam-2678	286	4	for	for	ADP
ejpam-2678	286	5	implicit	implicit	ADJ
ejpam-2678	286	6	contractive	contractive	ADJ
ejpam-2678	286	7	mappings	mapping	NOUN
ejpam-2678	286	8	.	.	PUNCT
ejpam-2678	287	1	stud	stud	NOUN
ejpam-2678	287	2	.	.	PUNCT
ejpam-2678	288	1	cercet	cercet	PROPN
ejpam-2678	288	2	.	.	PUNCT
ejpam-2678	289	1	tiin	tiin	PROPN
ejpam-2678	289	2	.	.	PUNCT
ejpam-2678	290	1	,	,	PUNCT
ejpam-2678	290	2	ser	ser	PROPN
ejpam-2678	290	3	.	.	PROPN
ejpam-2678	291	1	mat	mat	PROPN
ejpam-2678	291	2	.	.	PROPN
ejpam-2678	291	3	,	,	PUNCT
ejpam-2678	291	4	univ	univ	PROPN
ejpam-2678	291	5	.	.	PUNCT
ejpam-2678	292	1	bacu	bacu	PROPN
ejpam-2678	292	2	,	,	PUNCT
ejpam-2678	292	3	7:129–133	7:129–133	NUM
ejpam-2678	292	4	,	,	PUNCT
ejpam-2678	292	5	1997	1997	NUM
ejpam-2678	292	6	.	.	PUNCT
ejpam-2678	293	1	[	[	X
ejpam-2678	293	2	14	14	NUM
ejpam-2678	293	3	]	]	X
ejpam-2678	293	4	v.	v.	CCONJ
ejpam-2678	293	5	popa	popa	NOUN
ejpam-2678	293	6	.	.	PUNCT
ejpam-2678	294	1	some	some	DET
ejpam-2678	294	2	fixed	fix	VERB
ejpam-2678	294	3	point	point	NOUN
ejpam-2678	294	4	theorems	theorem	NOUN
ejpam-2678	294	5	for	for	ADP
ejpam-2678	294	6	compatible	compatible	ADJ
ejpam-2678	294	7	mappings	mapping	NOUN
ejpam-2678	294	8	satisfying	satisfy	VERB
ejpam-2678	294	9	an	an	DET
ejpam-2678	294	10	implicit	implicit	ADJ
ejpam-2678	294	11	relation	relation	NOUN
ejpam-2678	294	12	.	.	PUNCT
ejpam-2678	295	1	demonstr	demonstr	PROPN
ejpam-2678	295	2	.	.	PUNCT
ejpam-2678	296	1	math	math	NOUN
ejpam-2678	296	2	.	.	PUNCT
ejpam-2678	296	3	,	,	PUNCT
ejpam-2678	297	1	32(1):157–163	32(1):157–163	PROPN
ejpam-2678	297	2	,	,	PUNCT
ejpam-2678	297	3	1999	1999	NUM
ejpam-2678	297	4	.	.	PUNCT
ejpam-2678	298	1	[	[	X
ejpam-2678	298	2	15	15	NUM
ejpam-2678	298	3	]	]	X
ejpam-2678	298	4	v.	v.	CCONJ
ejpam-2678	298	5	popa	popa	NOUN
ejpam-2678	298	6	.	.	PUNCT
ejpam-2678	299	1	well	well	INTJ
ejpam-2678	299	2	posedness	posedness	NOUN
ejpam-2678	299	3	of	of	ADP
ejpam-2678	299	4	the	the	DET
ejpam-2678	299	5	fixed	fix	VERB
ejpam-2678	299	6	point	point	NOUN
ejpam-2678	299	7	problem	problem	NOUN
ejpam-2678	299	8	in	in	ADP
ejpam-2678	299	9	orbitally	orbitally	ADV
ejpam-2678	299	10	complete	complete	ADJ
ejpam-2678	299	11	metric	metric	ADJ
ejpam-2678	299	12	spaces	space	NOUN
ejpam-2678	299	13	.	.	PUNCT
ejpam-2678	300	1	stud	stud	NOUN
ejpam-2678	300	2	.	.	PUNCT
ejpam-2678	301	1	cercet	cercet	PROPN
ejpam-2678	301	2	.	.	PUNCT
ejpam-2678	302	1	ştiinţ.	ştiinţ.	PROPN
ejpam-2678	302	2	,	,	PUNCT
ejpam-2678	302	3	ser	ser	PROPN
ejpam-2678	302	4	.	.	PROPN
ejpam-2678	302	5	mat	mat	PROPN
ejpam-2678	302	6	.	.	PROPN
ejpam-2678	302	7	,	,	PUNCT
ejpam-2678	302	8	univ	univ	PROPN
ejpam-2678	302	9	.	.	PUNCT
ejpam-2678	303	1	bacău	bacău	PROPN
ejpam-2678	303	2	,	,	PUNCT
ejpam-2678	303	3	16:209–214	16:209–214	NUM
ejpam-2678	303	4	,	,	PUNCT
ejpam-2678	303	5	2006	2006	NUM
ejpam-2678	303	6	.	.	PUNCT
ejpam-2678	304	1	[	[	X
ejpam-2678	304	2	16	16	NUM
ejpam-2678	304	3	]	]	PUNCT
ejpam-2678	304	4	v.	v.	CCONJ
ejpam-2678	304	5	popa	popa	NOUN
ejpam-2678	304	6	and	and	CCONJ
ejpam-2678	304	7	c.	c.	PROPN
ejpam-2678	304	8	berceanu	berceanu	PROPN
ejpam-2678	304	9	.	.	PUNCT
ejpam-2678	305	1	a	a	DET
ejpam-2678	305	2	general	general	ADJ
ejpam-2678	305	3	fixed	fix	VERB
ejpam-2678	305	4	point	point	NOUN
ejpam-2678	305	5	theorem	theorem	NOUN
ejpam-2678	305	6	for	for	ADP
ejpam-2678	305	7	pairs	pair	NOUN
ejpam-2678	305	8	of	of	ADP
ejpam-2678	305	9	orbitally	orbitally	ADV
ejpam-2678	305	10	continuous	continuous	ADJ
ejpam-2678	305	11	mappings	mapping	NOUN
ejpam-2678	305	12	.	.	PUNCT
ejpam-2678	306	1	an	an	PRON
ejpam-2678	306	2	.	.	PROPN
ejpam-2678	306	3	univ	univ	PROPN
ejpam-2678	306	4	.	.	PUNCT
ejpam-2678	307	1	galai	galai	PROPN
ejpam-2678	307	2	,	,	PUNCT
ejpam-2678	307	3	metal	metal	PROPN
ejpam-2678	307	4	.	.	PUNCT
ejpam-2678	307	5	,	,	PUNCT
ejpam-2678	307	6	fasc	fasc	PROPN
ejpam-2678	307	7	.	.	PROPN
ejpam-2678	307	8	ii	ii	PROPN
ejpam-2678	307	9	,	,	PUNCT
ejpam-2678	307	10	21:57–65	21:57–65	NUM
ejpam-2678	307	11	,	,	PUNCT
ejpam-2678	307	12	2003	2003	NUM
ejpam-2678	307	13	.	.	PUNCT
ejpam-2678	308	1	[	[	X
ejpam-2678	308	2	17	17	NUM
ejpam-2678	308	3	]	]	X
ejpam-2678	308	4	d.	d.	PROPN
ejpam-2678	308	5	türkoğlu	türkoğlu	PROPN
ejpam-2678	308	6	,	,	PUNCT
ejpam-2678	308	7	o.	o.	PROPN
ejpam-2678	308	8	özer	özer	PROPN
ejpam-2678	308	9	,	,	PUNCT
ejpam-2678	308	10	and	and	CCONJ
ejpam-2678	308	11	b.	b.	PROPN
ejpam-2678	308	12	fisher	fisher	PROPN
ejpam-2678	308	13	.	.	PUNCT
ejpam-2678	309	1	fixed	fix	VERB
ejpam-2678	309	2	point	point	NOUN
ejpam-2678	309	3	theorems	theorem	NOUN
ejpam-2678	309	4	for	for	ADP
ejpam-2678	309	5	t	t	PROPN
ejpam-2678	309	6	-orbitally	-orbitally	PROPN
ejpam-2678	309	7	complete	complete	ADJ
ejpam-2678	309	8	spaces	space	NOUN
ejpam-2678	309	9	.	.	PUNCT
ejpam-2678	310	1	stud	stud	NOUN
ejpam-2678	310	2	.	.	PUNCT
ejpam-2678	311	1	cercet	cercet	PROPN
ejpam-2678	311	2	.	.	PUNCT
ejpam-2678	312	1	ştiinţ.	ştiinţ.	PROPN
ejpam-2678	312	2	,	,	PUNCT
ejpam-2678	312	3	ser	ser	PROPN
ejpam-2678	312	4	.	.	PROPN
ejpam-2678	312	5	mat	mat	PROPN
ejpam-2678	312	6	.	.	PROPN
ejpam-2678	312	7	,	,	PUNCT
ejpam-2678	312	8	univ	univ	PROPN
ejpam-2678	312	9	.	.	PUNCT
ejpam-2678	313	1	bacău	bacău	PROPN
ejpam-2678	313	2	,	,	PUNCT
ejpam-2678	313	3	9:211–218	9:211–218	NUM
ejpam-2678	313	4	,	,	PUNCT
ejpam-2678	313	5	1999	1999	NUM
ejpam-2678	313	6	.	.	PUNCT
ejpam-2678	314	1	[	[	X
ejpam-2678	314	2	18	18	NUM
ejpam-2678	314	3	]	]	X
ejpam-2678	314	4	c.	c.	PROPN
ejpam-2678	314	5	vetro	vetro	PROPN
ejpam-2678	314	6	and	and	CCONJ
ejpam-2678	314	7	f.	f.	PROPN
ejpam-2678	314	8	vetro	vetro	PROPN
ejpam-2678	314	9	.	.	PUNCT
ejpam-2678	315	1	common	common	ADJ
ejpam-2678	315	2	fixed	fix	VERB
ejpam-2678	315	3	points	point	NOUN
ejpam-2678	315	4	of	of	ADP
ejpam-2678	315	5	mappings	mapping	NOUN
ejpam-2678	315	6	satisfying	satisfy	VERB
ejpam-2678	315	7	implicit	implicit	ADJ
ejpam-2678	315	8	relations	relation	NOUN
ejpam-2678	315	9	in	in	ADP
ejpam-2678	315	10	partial	partial	ADJ
ejpam-2678	315	11	metric	metric	ADJ
ejpam-2678	315	12	spaces	space	NOUN
ejpam-2678	315	13	.	.	PUNCT
ejpam-2678	316	1	j.	j.	PROPN
ejpam-2678	316	2	nonlinear	nonlinear	PROPN
ejpam-2678	316	3	sci	sci	PROPN
ejpam-2678	316	4	.	.	PUNCT
ejpam-2678	316	5	appl	appl	PROPN
ejpam-2678	316	6	.	.	PROPN
ejpam-2678	316	7	,	,	PUNCT
ejpam-2678	316	8	6(3):152–161	6(3):152–161	NOUN
ejpam-2678	316	9	,	,	PUNCT
ejpam-2678	316	10	2013	2013	NUM
ejpam-2678	316	11	.	.	PUNCT