id	sid	tid	token	lemma	pos
sq87br88z66	1	1	hamkins	hamkin	NOUN
sq87br88z66	1	2	and	and	CCONJ
sq87br88z66	1	3	lewis	lewis	PROPN
sq87br88z66	1	4	have	have	AUX
sq87br88z66	1	5	used	use	VERB
sq87br88z66	1	6	infinite	infinite	ADJ
sq87br88z66	1	7	time	time	NOUN
sq87br88z66	1	8	turing	ture	VERB
sq87br88z66	1	9	machines	machine	NOUN
sq87br88z66	1	10	to	to	PART
sq87br88z66	1	11	extend	extend	VERB
sq87br88z66	1	12	the	the	DET
sq87br88z66	1	13	operations	operation	NOUN
sq87br88z66	1	14	of	of	ADP
sq87br88z66	1	15	turing	ture	VERB
sq87br88z66	1	16	machines	machine	NOUN
sq87br88z66	1	17	to	to	ADP
sq87br88z66	1	18	infinite	infinite	ADJ
sq87br88z66	1	19	ordinal	ordinal	ADJ
sq87br88z66	1	20	time	time	NOUN
sq87br88z66	1	21	.	.	PUNCT
sq87br88z66	2	1	this	this	DET
sq87br88z66	2	2	project	project	NOUN
sq87br88z66	2	3	investigates	investigate	VERB
sq87br88z66	2	4	some	some	DET
sq87br88z66	2	5	applications	application	NOUN
sq87br88z66	2	6	of	of	ADP
sq87br88z66	2	7	these	these	DET
sq87br88z66	2	8	machines	machine	NOUN
sq87br88z66	2	9	to	to	ADP
sq87br88z66	2	10	basic	basic	ADJ
sq87br88z66	2	11	operations	operation	NOUN
sq87br88z66	2	12	and	and	CCONJ
sq87br88z66	2	13	relations	relation	NOUN
sq87br88z66	2	14	over	over	ADP
sq87br88z66	2	15	the	the	DET
sq87br88z66	2	16	reals	real	NOUN
sq87br88z66	2	17	.	.	PUNCT
sq87br88z66	3	1	it	it	PRON
sq87br88z66	3	2	also	also	ADV
sq87br88z66	3	3	investigates	investigate	VERB
sq87br88z66	3	4	variants	variant	NOUN
sq87br88z66	3	5	of	of	ADP
sq87br88z66	3	6	these	these	DET
sq87br88z66	3	7	machines	machine	NOUN
sq87br88z66	3	8	with	with	ADP
sq87br88z66	3	9	extra	extra	ADJ
sq87br88z66	3	10	-	-	NOUN
sq87br88z66	3	11	tapes	tape	NOUN
sq87br88z66	3	12	or	or	CCONJ
sq87br88z66	3	13	extra	extra	ADJ
sq87br88z66	3	14	read	read	VERB
sq87br88z66	3	15	-	-	PUNCT
sq87br88z66	3	16	write	write	VERB
sq87br88z66	3	17	heads	head	NOUN
sq87br88z66	3	18	.	.	PUNCT
sq87br88z66	4	1	then	then	ADV
sq87br88z66	4	2	,	,	PUNCT
sq87br88z66	4	3	this	this	DET
sq87br88z66	4	4	project	project	NOUN
sq87br88z66	4	5	investigates	investigate	VERB
sq87br88z66	4	6	strictly	strictly	ADV
sq87br88z66	4	7	weaker	weak	ADJ
sq87br88z66	4	8	variants	variant	NOUN
sq87br88z66	4	9	of	of	ADP
sq87br88z66	4	10	these	these	DET
sq87br88z66	4	11	machines	machine	NOUN
sq87br88z66	4	12	,	,	PUNCT
sq87br88z66	4	13	which	which	PRON
sq87br88z66	4	14	are	be	AUX
sq87br88z66	4	15	obtained	obtain	VERB
sq87br88z66	4	16	by	by	ADP
sq87br88z66	4	17	allowing	allow	VERB
sq87br88z66	4	18	the	the	DET
sq87br88z66	4	19	content	content	NOUN
sq87br88z66	4	20	in	in	ADP
sq87br88z66	4	21	each	each	DET
sq87br88z66	4	22	cell	cell	NOUN
sq87br88z66	4	23	to	to	PART
sq87br88z66	4	24	change	change	VERB
sq87br88z66	4	25	only	only	ADV
sq87br88z66	4	26	finitely	finitely	ADV
sq87br88z66	4	27	often	often	ADV
sq87br88z66	4	28	.	.	PUNCT
sq87br88z66	5	1	it	it	PRON
sq87br88z66	5	2	is	be	AUX
sq87br88z66	5	3	shown	show	VERB
sq87br88z66	5	4	that	that	SCONJ
sq87br88z66	5	5	these	these	DET
sq87br88z66	5	6	weaker	weak	ADJ
sq87br88z66	5	7	machines	machine	NOUN
sq87br88z66	5	8	can	can	AUX
sq87br88z66	5	9	already	already	ADV
sq87br88z66	5	10	compute	compute	VERB
sq87br88z66	5	11	basic	basic	ADJ
sq87br88z66	5	12	operations	operation	NOUN
sq87br88z66	5	13	and	and	CCONJ
sq87br88z66	5	14	relations	relation	NOUN
sq87br88z66	5	15	over	over	ADP
sq87br88z66	5	16	the	the	DET
sq87br88z66	5	17	reals	real	NOUN
sq87br88z66	5	18	.	.	PUNCT
sq87br88z66	6	1	finally	finally	ADV
sq87br88z66	6	2	,	,	PUNCT
sq87br88z66	6	3	the	the	DET
sq87br88z66	6	4	computational	computational	ADJ
sq87br88z66	6	5	power	power	NOUN
sq87br88z66	6	6	of	of	ADP
sq87br88z66	6	7	these	these	DET
sq87br88z66	6	8	machines	machine	NOUN
sq87br88z66	6	9	is	be	AUX
sq87br88z66	6	10	further	far	ADV
sq87br88z66	6	11	investigated	investigate	VERB
sq87br88z66	6	12	.	.	PUNCT