id	sid	tid	token	lemma	pos
cbi-49	1	1	v1i2	v1i2	X
cbi-49	1	2	80	80	NUM
cbi-49	1	3	letters	letter	NOUN
cbi-49	1	4	and	and	CCONJ
cbi-49	1	5	notes	note	VERB
cbi-49	1	6	the	the	DET
cbi-49	1	7	data	datum	NOUN
cbi-49	1	8	,	,	PUNCT
cbi-49	1	9	the	the	PRON
cbi-49	1	10	more	more	ADV
cbi-49	1	11	they	they	PRON
cbi-49	1	12	classify	classify	VERB
cbi-49	1	13	each	each	DET
cbi-49	1	14	sample	sample	NOUN
cbi-49	1	15	incorrectly	incorrectly	ADV
cbi-49	1	16	.	.	PUNCT
cbi-49	2	1	russell	russell	PROPN
cbi-49	2	2	,	,	PUNCT
cbi-49	2	3	s	s	PROPN
cbi-49	2	4	and	and	CCONJ
cbi-49	2	5	p	p	NOUN
cbi-49	2	6	norvig	norvig	NOUN
cbi-49	2	7	(	(	PUNCT
cbi-49	2	8	2009	2009	NUM
cbi-49	2	9	)	)	PUNCT
cbi-49	2	10	.	.	PUNCT
cbi-49	3	1	artificial	artificial	ADJ
cbi-49	3	2	intelligence	intelligence	NOUN
cbi-49	3	3	:	:	PUNCT
cbi-49	3	4	a	a	DET
cbi-49	3	5	modern	modern	ADJ
cbi-49	3	6	approach	approach	NOUN
cbi-49	3	7	.	.	PUNCT
cbi-49	4	1	3rd	3rd	ADJ
cbi-49	4	2	ed	ed	NOUN
cbi-49	4	3	.	.	PUNCT
cbi-49	4	4	pearson	pearson	PROPN
cbi-49	4	5	.	.	PUNCT
cbi-49	5	1	the	the	DET
cbi-49	5	2	possibility	possibility	NOUN
cbi-49	5	3	of	of	ADP
cbi-49	5	4	spontaneous	spontaneous	ADJ
cbi-49	5	5	generation	generation	NOUN
cbi-49	5	6	of	of	ADP
cbi-49	5	7	self	self	NOUN
cbi-49	5	8	-	-	PUNCT
cbi-49	5	9	replicating	replicate	VERB
cbi-49	5	10	systems	system	NOUN
cbi-49	5	11	gary	gary	PROPN
cbi-49	5	12	prok	prok	PROPN
cbi-49	5	13	doi	doi	PROPN
cbi-49	5	14	:	:	PUNCT
cbi-49	5	15	10.33014	10.33014	NUM
cbi-49	5	16	/	/	SYM
cbi-49	5	17	issn.2640	issn.2640	PROPN
cbi-49	5	18	-	-	PUNCT
cbi-49	5	19	5652.1.2.prok.1	5652.1.2.prok.1	NOUN
cbi-49	5	20	it	it	PRON
cbi-49	5	21	has	have	AUX
cbi-49	5	22	been	be	AUX
cbi-49	5	23	glibly	glibly	ADV
cbi-49	5	24	stated	state	VERB
cbi-49	5	25	that	that	SCONJ
cbi-49	5	26	given	give	VERB
cbi-49	5	27	enough	enough	ADJ
cbi-49	5	28	time	time	NOUN
cbi-49	5	29	,	,	PUNCT
cbi-49	5	30	a	a	DET
cbi-49	5	31	universe	universe	NOUN
cbi-49	5	32	of	of	ADP
cbi-49	5	33	monkeys	monkey	NOUN
cbi-49	5	34	at	at	ADP
cbi-49	5	35	typewriters	typewriter	NOUN
cbi-49	5	36	could	could	AUX
cbi-49	5	37	write	write	VERB
cbi-49	5	38	hamlet	hamlet	NOUN
cbi-49	5	39	.	.	PUNCT
cbi-49	6	1	if	if	SCONJ
cbi-49	6	2	this	this	PRON
cbi-49	6	3	is	be	AUX
cbi-49	6	4	true	true	ADJ
cbi-49	6	5	then	then	ADV
cbi-49	6	6	perhaps	perhaps	ADV
cbi-49	6	7	the	the	DET
cbi-49	6	8	universe	universe	NOUN
cbi-49	6	9	of	of	ADP
cbi-49	6	10	particles	particle	NOUN
cbi-49	6	11	could	could	AUX
cbi-49	6	12	accidently	accidently	ADV
cbi-49	6	13	assemble	assemble	VERB
cbi-49	6	14	the	the	DET
cbi-49	6	15	right	right	ADJ
cbi-49	6	16	configuration	configuration	NOUN
cbi-49	6	17	of	of	ADP
cbi-49	6	18	stuff	stuff	NOUN
cbi-49	6	19	to	to	PART
cbi-49	6	20	spark	spark	VERB
cbi-49	6	21	life	life	NOUN
cbi-49	6	22	.	.	PUNCT
cbi-49	7	1	yet	yet	CCONJ
cbi-49	7	2	the	the	DET
cbi-49	7	3	universe	universe	NOUN
cbi-49	7	4	today	today	NOUN
cbi-49	7	5	is	be	AUX
cbi-49	7	6	not	not	PART
cbi-49	7	7	even	even	ADV
cbi-49	7	8	old	old	ADJ
cbi-49	7	9	enough	enough	ADV
cbi-49	7	10	to	to	PART
cbi-49	7	11	allow	allow	VERB
cbi-49	7	12	all	all	DET
cbi-49	7	13	the	the	DET
cbi-49	7	14	resources	resource	NOUN
cbi-49	7	15	in	in	ADP
cbi-49	7	16	the	the	DET
cbi-49	7	17	visible	visible	ADJ
cbi-49	7	18	universe	universe	NOUN
cbi-49	7	19	to	to	PART
cbi-49	7	20	work	work	VERB
cbi-49	7	21	together	together	ADV
cbi-49	7	22	with	with	ADP
cbi-49	7	23	the	the	DET
cbi-49	7	24	tiniest	tiny	ADJ
cbi-49	7	25	probability	probability	NOUN
cbi-49	7	26	of	of	ADP
cbi-49	7	27	success	success	NOUN
cbi-49	7	28	to	to	PART
cbi-49	7	29	randomly	randomly	ADV
cbi-49	7	30	generate	generate	VERB
cbi-49	7	31	the	the	DET
cbi-49	7	32	first	first	ADJ
cbi-49	7	33	200	200	NUM
cbi-49	7	34	characters	character	NOUN
cbi-49	7	35	of	of	ADP
cbi-49	7	36	hamlet	hamlet	NOUN
cbi-49	7	37	.	.	PUNCT
cbi-49	8	1	a	a	DET
cbi-49	8	2	shorter	short	ADJ
cbi-49	8	3	142	142	NUM
cbi-49	8	4	-	-	PUNCT
cbi-49	8	5	character	character	NOUN
cbi-49	8	6	string	string	NOUN
cbi-49	8	7	of	of	ADP
cbi-49	8	8	the	the	DET
cbi-49	8	9	start	start	NOUN
cbi-49	8	10	of	of	ADP
cbi-49	8	11	hamlet	hamlet	NOUN
cbi-49	8	12	is	be	AUX
cbi-49	8	13	a	a	DET
cbi-49	8	14	unique	unique	ADJ
cbi-49	8	15	string	string	NOUN
cbi-49	8	16	of	of	ADP
cbi-49	8	17	information	information	NOUN
cbi-49	8	18	which	which	PRON
cbi-49	8	19	is	be	AUX
cbi-49	8	20	of	of	ADP
cbi-49	8	21	10210	10210	NUM
cbi-49	8	22	possible	possible	ADJ
cbi-49	8	23	strings	string	NOUN
cbi-49	8	24	of	of	ADP
cbi-49	8	25	142	142	NUM
cbi-49	8	26	characters	character	NOUN
cbi-49	8	27	.	.	PUNCT
cbi-49	9	1	10210	10210	NUM
cbi-49	9	2	random	random	ADJ
cbi-49	9	3	tries	try	NOUN
cbi-49	9	4	would	would	AUX
cbi-49	9	5	give	give	VERB
cbi-49	9	6	a	a	DET
cbi-49	9	7	chance	chance	NOUN
cbi-49	9	8	of	of	ADP
cbi-49	9	9	!	!	PUNCT
cbi-49	10	1	1	1	NUM
cbi-49	10	2	−	−	NUM
cbi-49	10	3	1	1	NUM
cbi-49	10	4	e	e	NOUN
cbi-49	10	5	"	"	PUNCT
cbi-49	10	6	,	,	PUNCT
cbi-49	10	7	or	or	CCONJ
cbi-49	10	8	~63	~63	NUM
cbi-49	10	9	%	%	NOUN
cbi-49	10	10	,	,	PUNCT
cbi-49	10	11	for	for	ADP
cbi-49	10	12	generating	generate	VERB
cbi-49	10	13	this	this	DET
cbi-49	10	14	simple	simple	ADJ
cbi-49	10	15	142	142	NUM
cbi-49	10	16	-	-	PUNCT
cbi-49	10	17	character	character	NOUN
cbi-49	10	18	passage	passage	NOUN
cbi-49	10	19	.	.	PUNCT
cbi-49	11	1	this	this	PRON
cbi-49	11	2	might	might	AUX
cbi-49	11	3	be	be	AUX
cbi-49	11	4	only	only	ADV
cbi-49	11	5	for	for	ADP
cbi-49	11	6	a	a	DET
cbi-49	11	7	fleeting	fleeting	ADJ
cbi-49	11	8	instant	instant	NOUN
cbi-49	11	9	at	at	ADP
cbi-49	11	10	some	some	DET
cbi-49	11	11	corner	corner	NOUN
cbi-49	11	12	of	of	ADP
cbi-49	11	13	the	the	DET
cbi-49	11	14	universe	universe	NOUN
cbi-49	11	15	,	,	PUNCT
cbi-49	11	16	but	but	CCONJ
cbi-49	11	17	nonetheless	nonetheless	ADV
cbi-49	11	18	it	it	PRON
cbi-49	11	19	would	would	AUX
cbi-49	11	20	be	be	AUX
cbi-49	11	21	spontaneously	spontaneously	ADV
cbi-49	11	22	generated	generate	VERB
cbi-49	11	23	.	.	PUNCT
cbi-49	12	1	adding	add	VERB
cbi-49	12	2	another	another	DET
cbi-49	12	3	58	58	NUM
cbi-49	12	4	characters	character	NOUN
cbi-49	12	5	to	to	PART
cbi-49	12	6	total	total	VERB
cbi-49	12	7	200	200	NUM
cbi-49	12	8	characters	character	NOUN
cbi-49	12	9	reduces	reduce	VERB
cbi-49	12	10	the	the	DET
cbi-49	12	11	chance	chance	NOUN
cbi-49	12	12	to	to	ADP
cbi-49	12	13	a	a	DET
cbi-49	12	14	minuscule	minuscule	ADJ
cbi-49	12	15	value	value	NOUN
cbi-49	12	16	.	.	PUNCT
cbi-49	13	1	spontaneous	spontaneous	ADJ
cbi-49	13	2	generation	generation	NOUN
cbi-49	13	3	of	of	ADP
cbi-49	13	4	life	life	NOUN
cbi-49	13	5	it	it	PRON
cbi-49	13	6	seems	seem	VERB
cbi-49	13	7	,	,	PUNCT
cbi-49	13	8	would	would	AUX
cbi-49	13	9	require	require	VERB
cbi-49	13	10	even	even	ADV
cbi-49	13	11	more	more	ADJ
cbi-49	13	12	resources	resource	NOUN
cbi-49	13	13	or	or	CCONJ
cbi-49	13	14	time	time	NOUN
cbi-49	13	15	.	.	PUNCT
cbi-49	14	1	seth	seth	PROPN
cbi-49	14	2	lloyd	lloyd	PROPN
cbi-49	14	3	has	have	AUX
cbi-49	14	4	estimated	estimate	VERB
cbi-49	14	5	the	the	DET
cbi-49	14	6	computational	computational	ADJ
cbi-49	14	7	capacity	capacity	NOUN
cbi-49	14	8	of	of	ADP
cbi-49	14	9	the	the	DET
cbi-49	14	10	universe	universe	NOUN
cbi-49	14	11	to	to	PART
cbi-49	14	12	be	be	AUX
cbi-49	14	13	10120	10120	NUM
cbi-49	14	14	operations	operation	NOUN
cbi-49	14	15	from	from	ADP
cbi-49	14	16	the	the	DET
cbi-49	14	17	start	start	NOUN
cbi-49	14	18	to	to	ADP
cbi-49	14	19	date	date	NOUN
cbi-49	14	20	,	,	PUNCT
cbi-49	14	21	on	on	ADP
cbi-49	14	22	a	a	DET
cbi-49	14	23	register	register	NOUN
cbi-49	14	24	of	of	ADP
cbi-49	14	25	1090	1090	NUM
cbi-49	14	26	bits	bit	NOUN
cbi-49	14	27	(	(	PUNCT
cbi-49	14	28	lloyd	lloyd	PROPN
cbi-49	14	29	,	,	PUNCT
cbi-49	14	30	2002	2002	NUM
cbi-49	14	31	)	)	PUNCT
cbi-49	14	32	.	.	PUNCT
cbi-49	15	1	a	a	DET
cbi-49	15	2	register	register	NOUN
cbi-49	15	3	of	of	ADP
cbi-49	15	4	1090	1090	NUM
cbi-49	15	5	bits	bit	NOUN
cbi-49	15	6	contain	contain	VERB
cbi-49	15	7	nearly	nearly	ADV
cbi-49	15	8	1090	1090	NUM
cbi-49	15	9	different	different	ADJ
cbi-49	15	10	142	142	NUM
cbi-49	15	11	-	-	PUNCT
cbi-49	15	12	character	character	NOUN
cbi-49	15	13	length	length	NOUN
cbi-49	15	14	strings	string	NOUN
cbi-49	15	15	.	.	PUNCT
cbi-49	16	1	so	so	ADV
cbi-49	16	2	,	,	PUNCT
cbi-49	16	3	the	the	DET
cbi-49	16	4	universe	universe	NOUN
cbi-49	16	5	could	could	AUX
cbi-49	16	6	generate	generate	VERB
cbi-49	16	7	at	at	ADP
cbi-49	16	8	most	most	ADJ
cbi-49	16	9	10210	10210	NUM
cbi-49	16	10	tries	try	VERB
cbi-49	16	11	to	to	ADP
cbi-49	16	12	date	date	NOUN
cbi-49	16	13	.	.	PUNCT
cbi-49	17	1	10210	10210	NUM
cbi-49	17	2	is	be	AUX
cbi-49	17	3	approximately	approximately	ADV
cbi-49	17	4	2700	2700	NUM
cbi-49	17	5	,	,	PUNCT
cbi-49	17	6	or	or	CCONJ
cbi-49	17	7	all	all	PRON
cbi-49	17	8	of	of	ADP
cbi-49	17	9	the	the	DET
cbi-49	17	10	possible	possible	ADJ
cbi-49	17	11	permutations	permutation	NOUN
cbi-49	17	12	of	of	ADP
cbi-49	17	13	700	700	NUM
cbi-49	17	14	bits	bit	NOUN
cbi-49	17	15	.	.	PUNCT
cbi-49	18	1	although	although	SCONJ
cbi-49	18	2	this	this	DET
cbi-49	18	3	computational	computational	ADJ
cbi-49	18	4	capacity	capacity	NOUN
cbi-49	18	5	can	can	AUX
cbi-49	18	6	not	not	PART
cbi-49	18	7	generate	generate	VERB
cbi-49	18	8	hamlet	hamlet	NOUN
cbi-49	18	9	in	in	ADP
cbi-49	18	10	its	its	PRON
cbi-49	18	11	entirety	entirety	NOUN
cbi-49	18	12	by	by	ADP
cbi-49	18	13	chance	chance	NOUN
cbi-49	18	14	,	,	PUNCT
cbi-49	18	15	or	or	CCONJ
cbi-49	18	16	even	even	ADV
cbi-49	18	17	the	the	DET
cbi-49	18	18	first	first	ADJ
cbi-49	18	19	200	200	NUM
cbi-49	18	20	characters	character	NOUN
cbi-49	18	21	,	,	PUNCT
cbi-49	18	22	perhaps	perhaps	ADV
cbi-49	18	23	it	it	PRON
cbi-49	18	24	can	can	AUX
cbi-49	18	25	be	be	AUX
cbi-49	18	26	shown	show	VERB
cbi-49	18	27	to	to	PART
cbi-49	18	28	be	be	AUX
cbi-49	18	29	sufficient	sufficient	ADJ
cbi-49	18	30	to	to	PART
cbi-49	18	31	spontaneously	spontaneously	ADV
cbi-49	18	32	generate	generate	VERB
cbi-49	18	33	life	life	NOUN
cbi-49	18	34	.	.	PUNCT
cbi-49	19	1	another	another	DET
cbi-49	19	2	bound	bind	VERB
cbi-49	19	3	was	be	AUX
cbi-49	19	4	offered	offer	VERB
cbi-49	19	5	by	by	ADP
cbi-49	19	6	dembski	dembski	NOUN
cbi-49	19	7	as	as	ADP
cbi-49	19	8	10150	10150	NUM
cbi-49	19	9	,	,	PUNCT
cbi-49	19	10	or	or	CCONJ
cbi-49	19	11	approximately	approximately	ADV
cbi-49	19	12	all	all	DET
cbi-49	19	13	the	the	DET
cbi-49	19	14	possible	possible	ADJ
cbi-49	19	15	permutations	permutation	NOUN
cbi-49	19	16	of	of	ADP
cbi-49	19	17	500	500	NUM
cbi-49	19	18	bits	bit	NOUN
cbi-49	19	19	(	(	PUNCT
cbi-49	19	20	dembski	dembski	NOUN
cbi-49	19	21	,	,	PUNCT
cbi-49	19	22	1998	1998	NUM
cbi-49	19	23	,	,	PUNCT
cbi-49	19	24	pg	pg	INTJ
cbi-49	19	25	.	.	PUNCT
cbi-49	19	26	213	213	NUM
cbi-49	19	27	)	)	PUNCT
cbi-49	19	28	.	.	PUNCT
cbi-49	20	1	this	this	PRON
cbi-49	20	2	is	be	AUX
cbi-49	20	3	more	more	ADV
cbi-49	20	4	restrictive	restrictive	ADJ
cbi-49	20	5	,	,	PUNCT
cbi-49	20	6	but	but	CCONJ
cbi-49	20	7	may	may	AUX
cbi-49	20	8	be	be	AUX
cbi-49	20	9	a	a	DET
cbi-49	20	10	more	more	ADV
cbi-49	20	11	realistic	realistic	ADJ
cbi-49	20	12	estimate	estimate	NOUN
cbi-49	20	13	for	for	ADP
cbi-49	20	14	practical	practical	ADJ
cbi-49	20	15	things	thing	NOUN
cbi-49	20	16	like	like	ADP
cbi-49	20	17	the	the	DET
cbi-49	20	18	probability	probability	NOUN
cbi-49	20	19	of	of	ADP
cbi-49	20	20	spontaneous	spontaneous	ADJ
cbi-49	20	21	life	life	NOUN
cbi-49	20	22	.	.	PUNCT
cbi-49	21	1	one	one	NUM
cbi-49	21	2	way	way	NOUN
cbi-49	21	3	of	of	ADP
cbi-49	21	4	quantifying	quantify	VERB
cbi-49	21	5	the	the	DET
cbi-49	21	6	needed	needed	ADJ
cbi-49	21	7	time	time	NOUN
cbi-49	21	8	and	and	CCONJ
cbi-49	21	9	resources	resource	NOUN
cbi-49	21	10	is	be	AUX
cbi-49	21	11	to	to	PART
cbi-49	21	12	consider	consider	VERB
cbi-49	21	13	a	a	DET
cbi-49	21	14	simple	simple	ADJ
cbi-49	21	15	proxy	proxy	NOUN
cbi-49	21	16	for	for	ADP
cbi-49	21	17	life	life	NOUN
cbi-49	21	18	.	.	PUNCT
cbi-49	22	1	a	a	DET
cbi-49	22	2	proxy	proxy	NOUN
cbi-49	22	3	for	for	ADP
cbi-49	22	4	abiogenesis	abiogenesis	NOUN
cbi-49	22	5	requires	require	VERB
cbi-49	22	6	a	a	DET
cbi-49	22	7	simple	simple	ADJ
cbi-49	22	8	system	system	NOUN
cbi-49	22	9	that	that	PRON
cbi-49	22	10	allows	allow	VERB
cbi-49	22	11	a	a	DET
cbi-49	22	12	means	mean	NOUN
cbi-49	22	13	for	for	ADP
cbi-49	22	14	an	an	DET
cbi-49	22	15	information	information	NOUN
cbi-49	22	16	string	string	NOUN
cbi-49	22	17	to	to	PART
cbi-49	22	18	induce	induce	VERB
cbi-49	22	19	its	its	PRON
cbi-49	22	20	own	own	ADJ
cbi-49	22	21	replication	replication	NOUN
cbi-49	22	22	as	as	ADV
cbi-49	22	23	well	well	ADV
cbi-49	22	24	as	as	ADP
cbi-49	22	25	a	a	DET
cbi-49	22	26	means	means	NOUN
cbi-49	22	27	to	to	PART
cbi-49	22	28	execute	execute	VERB
cbi-49	22	29	this	this	DET
cbi-49	22	30	replication	replication	NOUN
cbi-49	22	31	.	.	PUNCT
cbi-49	23	1	this	this	DET
cbi-49	23	2	proxy	proxy	NOUN
cbi-49	23	3	could	could	AUX
cbi-49	23	4	be	be	AUX
cbi-49	23	5	a	a	DET
cbi-49	23	6	simple	simple	ADJ
cbi-49	23	7	system	system	NOUN
cbi-49	23	8	of	of	ADP
cbi-49	23	9	things	thing	NOUN
cbi-49	23	10	that	that	PRON
cbi-49	23	11	operate	operate	VERB
cbi-49	23	12	on	on	ADP
cbi-49	23	13	such	such	ADJ
cbi-49	23	14	things	thing	NOUN
cbi-49	23	15	to	to	PART
cbi-49	23	16	make	make	VERB
cbi-49	23	17	more	more	ADJ
cbi-49	23	18	such	such	ADJ
cbi-49	23	19	things	thing	NOUN
cbi-49	23	20	.	.	PUNCT
cbi-49	24	1	lambda	lambda	ADJ
cbi-49	24	2	calculus	calculus	NOUN
cbi-49	24	3	is	be	AUX
cbi-49	24	4	a	a	DET
cbi-49	24	5	system	system	NOUN
cbi-49	24	6	of	of	ADP
cbi-49	24	7	mathematical	mathematical	ADJ
cbi-49	24	8	logic	logic	NOUN
cbi-49	24	9	reduced	reduce	VERB
cbi-49	24	10	to	to	ADP
cbi-49	24	11	a	a	DET
cbi-49	24	12	minimal	minimal	ADJ
cbi-49	24	13	set	set	NOUN
cbi-49	24	14	of	of	ADP
cbi-49	24	15	symbols	symbol	NOUN
cbi-49	24	16	and	and	CCONJ
cbi-49	24	17	rules	rule	NOUN
cbi-49	24	18	.	.	PUNCT
cbi-49	25	1	expressions	expression	NOUN
cbi-49	25	2	in	in	ADP
cbi-49	25	3	lambda	lambda	ADJ
cbi-49	25	4	calculus	calculus	NOUN
cbi-49	25	5	can	can	AUX
cbi-49	25	6	operate	operate	VERB
cbi-49	25	7	on	on	ADP
cbi-49	25	8	other	other	ADJ
cbi-49	25	9	such	such	ADJ
cbi-49	25	10	expressions	expression	NOUN
cbi-49	25	11	to	to	PART
cbi-49	25	12	generate	generate	VERB
cbi-49	25	13	more	more	ADJ
cbi-49	25	14	such	such	ADJ
cbi-49	25	15	expressions	expression	NOUN
cbi-49	25	16	.	.	PUNCT
cbi-49	26	1	furthermore	furthermore	ADV
cbi-49	26	2	,	,	PUNCT
cbi-49	26	3	lambda	lambda	ADJ
cbi-49	26	4	calculus	calculus	NOUN
cbi-49	26	5	is	be	AUX
cbi-49	26	6	a	a	DET
cbi-49	26	7	universal	universal	ADJ
cbi-49	26	8	model	model	NOUN
cbi-49	26	9	of	of	ADP
cbi-49	26	10	computation	computation	NOUN
cbi-49	26	11	and	and	CCONJ
cbi-49	26	12	is	be	AUX
cbi-49	26	13	turing	ture	VERB
cbi-49	26	14	complete	complete	ADJ
cbi-49	26	15	.	.	PUNCT
cbi-49	27	1	it	it	PRON
cbi-49	27	2	is	be	AUX
cbi-49	27	3	enlightening	enlightening	ADJ
cbi-49	27	4	to	to	PART
cbi-49	27	5	see	see	VERB
cbi-49	27	6	how	how	SCONJ
cbi-49	27	7	much	much	ADJ
cbi-49	27	8	information	information	NOUN
cbi-49	27	9	is	be	AUX
cbi-49	27	10	needed	need	VERB
cbi-49	27	11	to	to	PART
cbi-49	27	12	describe	describe	VERB
cbi-49	27	13	a	a	DET
cbi-49	27	14	simple	simple	ADJ
cbi-49	27	15	self	self	NOUN
cbi-49	27	16	-	-	PUNCT
cbi-49	27	17	replicating	replicate	VERB
cbi-49	27	18	set	set	NOUN
cbi-49	27	19	of	of	ADP
cbi-49	27	20	statements	statement	NOUN
cbi-49	27	21	in	in	ADP
cbi-49	27	22	lambda	lambda	ADJ
cbi-49	27	23	calculus	calculus	NOUN
cbi-49	27	24	.	.	PUNCT
cbi-49	28	1	if	if	SCONJ
cbi-49	28	2	a	a	DET
cbi-49	28	3	universe	universe	NOUN
cbi-49	28	4	of	of	ADP
cbi-49	28	5	monkeys	monkey	NOUN
cbi-49	28	6	or	or	CCONJ
cbi-49	28	7	of	of	ADP
cbi-49	28	8	particles	particle	NOUN
cbi-49	28	9	can	can	AUX
cbi-49	28	10	generate	generate	VERB
cbi-49	28	11	this	this	DET
cbi-49	28	12	simple	simple	ADJ
cbi-49	28	13	set	set	NOUN
cbi-49	28	14	of	of	ADP
cbi-49	28	15	statements	statement	NOUN
cbi-49	28	16	,	,	PUNCT
cbi-49	28	17	then	then	ADV
cbi-49	28	18	perhaps	perhaps	ADV
cbi-49	28	19	it	it	PRON
cbi-49	28	20	can	can	AUX
cbi-49	28	21	do	do	VERB
cbi-49	28	22	the	the	DET
cbi-49	28	23	same	same	ADJ
cbi-49	28	24	with	with	ADP
cbi-49	28	25	material	material	NOUN
cbi-49	28	26	stuff	stuff	NOUN
cbi-49	28	27	and	and	CCONJ
cbi-49	28	28	spark	spark	NOUN
cbi-49	28	29	life	life	NOUN
cbi-49	28	30	.	.	PUNCT
cbi-49	29	1	lambda	lambda	ADJ
cbi-49	29	2	calculus	calculus	NOUN
cbi-49	29	3	is	be	AUX
cbi-49	29	4	considered	consider	VERB
cbi-49	29	5	to	to	PART
cbi-49	29	6	be	be	AUX
cbi-49	29	7	a	a	DET
cbi-49	29	8	minimally	minimally	ADV
cbi-49	29	9	simple	simple	ADJ
cbi-49	29	10	programming	programming	NOUN
cbi-49	29	11	language	language	NOUN
cbi-49	29	12	;	;	PUNCT
cbi-49	29	13	it	it	PRON
cbi-49	29	14	is	be	AUX
cbi-49	29	15	hard	hard	ADJ
cbi-49	29	16	to	to	PART
cbi-49	29	17	conceive	conceive	VERB
cbi-49	29	18	of	of	ADP
cbi-49	29	19	a	a	DET
cbi-49	29	20	simpler	simple	ADJ
cbi-49	29	21	language	language	NOUN
cbi-49	29	22	.	.	PUNCT
cbi-49	30	1	it	it	PRON
cbi-49	30	2	was	be	AUX
cbi-49	30	3	created	create	VERB
cbi-49	30	4	by	by	ADP
cbi-49	30	5	alonzo	alonzo	NOUN
cbi-49	30	6	church	church	NOUN
cbi-49	30	7	as	as	ADP
cbi-49	30	8	part	part	NOUN
cbi-49	30	9	of	of	ADP
cbi-49	30	10	his	his	PRON
cbi-49	30	11	research	research	NOUN
cbi-49	30	12	into	into	ADP
cbi-49	30	13	the	the	DET
cbi-49	30	14	foundation	foundation	NOUN
cbi-49	30	15	of	of	ADP
cbi-49	30	16	mathematics	mathematic	NOUN
cbi-49	30	17	and	and	CCONJ
cbi-49	30	18	uses	use	VERB
cbi-49	30	19	three	three	NUM
cbi-49	30	20	simple	simple	ADJ
cbi-49	30	21	rules	rule	NOUN
cbi-49	30	22	,	,	PUNCT
cbi-49	30	23	yet	yet	CCONJ
cbi-49	30	24	it	it	PRON
cbi-49	30	25	is	be	AUX
cbi-49	30	26	capable	capable	ADJ
cbi-49	30	27	of	of	ADP
cbi-49	30	28	expressing	express	VERB
cbi-49	30	29	any	any	DET
cbi-49	30	30	computation	computation	NOUN
cbi-49	30	31	.	.	PUNCT
cbi-49	31	1	its	its	PRON
cbi-49	31	2	simplicity	simplicity	NOUN
cbi-49	31	3	results	result	VERB
cbi-49	31	4	in	in	ADP
cbi-49	31	5	bloated	bloated	ADJ
cbi-49	31	6	expressions	expression	NOUN
cbi-49	31	7	for	for	ADP
cbi-49	31	8	simple	simple	ADJ
cbi-49	31	9	concepts	concept	NOUN
cbi-49	31	10	,	,	PUNCT
cbi-49	31	11	like	like	ADP
cbi-49	31	12	numbers	number	NOUN
cbi-49	31	13	,	,	PUNCT
cbi-49	31	14	or	or	CCONJ
cbi-49	31	15	“	"	PUNCT
cbi-49	31	16	true	true	ADJ
cbi-49	31	17	”	"	PUNCT
cbi-49	31	18	and	and	CCONJ
cbi-49	31	19	“	"	PUNCT
cbi-49	31	20	false	false	ADJ
cbi-49	31	21	”	"	PUNCT
cbi-49	31	22	.	.	PUNCT
cbi-49	32	1	its	its	PRON
cbi-49	32	2	simplicity	simplicity	NOUN
cbi-49	32	3	,	,	PUNCT
cbi-49	32	4	however	however	ADV
cbi-49	32	5	,	,	PUNCT
cbi-49	32	6	also	also	ADV
cbi-49	32	7	makes	make	VERB
cbi-49	32	8	it	it	PRON
cbi-49	32	9	a	a	DET
cbi-49	32	10	model	model	NOUN
cbi-49	32	11	for	for	ADP
cbi-49	32	12	a	a	DET
cbi-49	32	13	system	system	NOUN
cbi-49	32	14	most	most	ADV
cbi-49	32	15	likely	likely	ADJ
cbi-49	32	16	to	to	PART
cbi-49	32	17	spontaneously	spontaneously	ADV
cbi-49	32	18	generate	generate	VERB
cbi-49	32	19	.	.	PUNCT
cbi-49	33	1	the	the	DET
cbi-49	33	2	fundamental	fundamental	ADJ
cbi-49	33	3	concept	concept	NOUN
cbi-49	33	4	allowed	allow	VERB
cbi-49	33	5	by	by	ADP
cbi-49	33	6	lambda	lambda	ADJ
cbi-49	33	7	calculus	calculus	NOUN
cbi-49	33	8	is	be	AUX
cbi-49	33	9	substitution	substitution	NOUN
cbi-49	33	10	.	.	PUNCT
cbi-49	34	1	(	(	PUNCT
cbi-49	34	2	λx.fx	λx.fx	PROPN
cbi-49	34	3	)	)	PUNCT
cbi-49	34	4	is	be	AUX
cbi-49	34	5	an	an	DET
cbi-49	34	6	expression	expression	NOUN
cbi-49	34	7	in	in	ADP
cbi-49	34	8	lambda	lambda	ADJ
cbi-49	34	9	calculus	calculus	NOUN
cbi-49	34	10	where	where	SCONJ
cbi-49	34	11	”	"	PUNCT
cbi-49	34	12	λ	λ	NOUN
cbi-49	34	13	”	"	PUNCT
cbi-49	34	14	indicates	indicate	VERB
cbi-49	34	15	that	that	SCONJ
cbi-49	34	16	the	the	DET
cbi-49	34	17	next	next	ADJ
cbi-49	34	18	variable	variable	NOUN
cbi-49	34	19	is	be	AUX
cbi-49	34	20	a	a	DET
cbi-49	34	21	free	free	ADJ
cbi-49	34	22	variable	variable	NOUN
cbi-49	34	23	to	to	PART
cbi-49	34	24	be	be	AUX
cbi-49	34	25	substituted	substitute	VERB
cbi-49	34	26	,	,	PUNCT
cbi-49	34	27	“	"	PUNCT
cbi-49	34	28	x	x	X
cbi-49	34	29	”	"	PUNCT
cbi-49	34	30	is	be	AUX
cbi-49	34	31	the	the	DET
cbi-49	34	32	name	name	NOUN
cbi-49	34	33	of	of	ADP
cbi-49	34	34	the	the	DET
cbi-49	34	35	free	free	ADJ
cbi-49	34	36	variable	variable	NOUN
cbi-49	34	37	,	,	PUNCT
cbi-49	34	38	and	and	CCONJ
cbi-49	34	39	“	"	PUNCT
cbi-49	34	40	.	.	PUNCT
cbi-49	34	41	”	"	PUNCT
cbi-49	35	1	indicates	indicate	VERB
cbi-49	35	2	that	that	SCONJ
cbi-49	35	3	what	what	PRON
cbi-49	35	4	follows	follow	VERB
cbi-49	35	5	is	be	AUX
cbi-49	35	6	an	an	DET
cbi-49	35	7	expression	expression	NOUN
cbi-49	35	8	or	or	CCONJ
cbi-49	35	9	function	function	NOUN
cbi-49	35	10	in	in	ADP
cbi-49	35	11	which	which	PRON
cbi-49	35	12	the	the	DET
cbi-49	35	13	free	free	ADJ
cbi-49	35	14	variable	variable	NOUN
cbi-49	35	15	is	be	AUX
cbi-49	35	16	to	to	PART
cbi-49	35	17	be	be	AUX
cbi-49	35	18	substituted	substitute	VERB
cbi-49	35	19	.	.	PUNCT
cbi-49	36	1	the	the	DET
cbi-49	36	2	value	value	NOUN
cbi-49	36	3	or	or	CCONJ
cbi-49	36	4	expression	expression	NOUN
cbi-49	36	5	to	to	PART
cbi-49	36	6	be	be	AUX
cbi-49	36	7	substituted	substitute	VERB
cbi-49	36	8	for	for	ADP
cbi-49	36	9	x	x	SYM
cbi-49	36	10	is	be	AUX
cbi-49	36	11	placed	place	VERB
cbi-49	36	12	to	to	ADP
cbi-49	36	13	the	the	DET
cbi-49	36	14	right	right	NOUN
cbi-49	36	15	of	of	ADP
cbi-49	36	16	the	the	DET
cbi-49	36	17	expression	expression	NOUN
cbi-49	36	18	.	.	PUNCT
cbi-49	37	1	as	as	ADP
cbi-49	37	2	an	an	DET
cbi-49	37	3	example	example	NOUN
cbi-49	37	4	,	,	PUNCT
cbi-49	37	5	(	(	PUNCT
cbi-49	37	6	λx.x2	λx.x2	PUNCT
cbi-49	37	7	)	)	PUNCT
cbi-49	37	8	y	y	PROPN
cbi-49	37	9	=	=	SYM
cbi-49	37	10	y2	y2	PROPN
cbi-49	37	11	,	,	PUNCT
cbi-49	37	12	where	where	SCONJ
cbi-49	37	13	y	y	PROPN
cbi-49	37	14	is	be	AUX
cbi-49	37	15	substituted	substitute	VERB
cbi-49	37	16	for	for	ADP
cbi-49	37	17	x.	x.	NOUN
cbi-49	37	18	this	this	DET
cbi-49	37	19	substitution	substitution	NOUN
cbi-49	37	20	is	be	AUX
cbi-49	37	21	called	call	VERB
cbi-49	37	22	abstraction	abstraction	NOUN
cbi-49	37	23	.	.	PUNCT
cbi-49	38	1	lambda	lambda	ADJ
cbi-49	38	2	calculus	calculus	PROPN
cbi-49	38	3	also	also	ADV
cbi-49	38	4	allows	allow	VERB
cbi-49	38	5	for	for	ADP
cbi-49	38	6	application	application	NOUN
cbi-49	38	7	,	,	PUNCT
cbi-49	38	8	which	which	PRON
cbi-49	38	9	is	be	AUX
cbi-49	38	10	a	a	DET
cbi-49	38	11	function	function	NOUN
cbi-49	38	12	operating	operate	VERB
cbi-49	38	13	on	on	ADP
cbi-49	38	14	an	an	DET
cbi-49	38	15	argument	argument	NOUN
cbi-49	38	16	.	.	PUNCT
cbi-49	39	1	a	a	DET
cbi-49	39	2	tutorial	tutorial	NOUN
cbi-49	39	3	of	of	ADP
cbi-49	39	4	lambda	lambda	ADJ
cbi-49	39	5	calculus	calculus	NOUN
cbi-49	39	6	is	be	AUX
cbi-49	39	7	not	not	PART
cbi-49	39	8	included	include	VERB
cbi-49	39	9	here	here	ADV
cbi-49	39	10	,	,	PUNCT
cbi-49	39	11	but	but	CCONJ
cbi-49	39	12	is	be	AUX
cbi-49	39	13	readily	readily	ADV
cbi-49	39	14	found	find	VERB
cbi-49	39	15	elsewhere	elsewhere	ADV
cbi-49	39	16	.	.	PUNCT
cbi-49	40	1	lambda	lambda	ADJ
cbi-49	40	2	calculus	calculus	NOUN
cbi-49	40	3	can	can	AUX
cbi-49	40	4	be	be	AUX
cbi-49	40	5	efficiently	efficiently	ADV
cbi-49	40	6	encoded	encode	VERB
cbi-49	40	7	in	in	ADP
cbi-49	40	8	binary	binary	ADJ
cbi-49	40	9	;	;	PUNCT
cbi-49	40	10	binary	binary	ADJ
cbi-49	40	11	lambda	lambda	PROPN
cbi-49	40	12	calculus	calculus	PROPN
cbi-49	40	13	(	(	PUNCT
cbi-49	40	14	blc	blc	NOUN
cbi-49	40	15	)	)	PUNCT
cbi-49	40	16	is	be	AUX
cbi-49	40	17	an	an	DET
cbi-49	40	18	efficient	efficient	ADJ
cbi-49	40	19	way	way	NOUN
cbi-49	40	20	to	to	PART
cbi-49	40	21	encode	encode	VERB
cbi-49	40	22	expressions	expression	NOUN
cbi-49	40	23	in	in	ADP
cbi-49	40	24	lambda	lambda	ADJ
cbi-49	40	25	calculus	calculus	NOUN
cbi-49	40	26	into	into	ADP
cbi-49	40	27	binary	binary	PROPN
cbi-49	40	28	(	(	PUNCT
cbi-49	40	29	tromp	tromp	PROPN
cbi-49	40	30	,	,	PUNCT
cbi-49	40	31	2007	2007	NUM
cbi-49	40	32	)	)	PUNCT
cbi-49	40	33	.	.	PUNCT
cbi-49	41	1	blc	blc	PROPN
cbi-49	41	2	uses	use	VERB
cbi-49	41	3	de	de	PROPN
cbi-49	41	4	bruijn	bruijn	NOUN
cbi-49	41	5	indices	index	NOUN
cbi-49	41	6	instead	instead	ADV
cbi-49	41	7	of	of	ADP
cbi-49	41	8	variables	variable	NOUN
cbi-49	41	9	,	,	PUNCT
cbi-49	41	10	where	where	SCONJ
cbi-49	41	11	the	the	DET
cbi-49	41	12	index	index	NOUN
cbi-49	41	13	value	value	NOUN
cbi-49	41	14	is	be	AUX
cbi-49	41	15	a	a	DET
cbi-49	41	16	natural	natural	ADJ
cbi-49	41	17	number	number	NOUN
cbi-49	41	18	indicating	indicate	VERB
cbi-49	41	19	how	how	SCONJ
cbi-49	41	20	many	many	ADJ
cbi-49	41	21	λs	λs	ADP
cbi-49	41	22	back	back	VERB
cbi-49	41	23	the	the	DET
cbi-49	41	24	variable	variable	NOUN
cbi-49	41	25	refers	refer	VERB
cbi-49	41	26	.	.	PUNCT
cbi-49	42	1	λx.λy.xy	λx.λy.xy	NOUN
cbi-49	42	2	is	be	AUX
cbi-49	42	3	written	write	VERB
cbi-49	42	4	as	as	ADP
cbi-49	42	5	λ	λ	PROPN
cbi-49	42	6	λ	λ	PROPN
cbi-49	42	7	2	2	NUM
cbi-49	42	8	1	1	NUM
cbi-49	42	9	with	with	ADP
cbi-49	42	10	de	de	X
cbi-49	42	11	bruijn	bruijn	NOUN
cbi-49	42	12	indices	index	NOUN
cbi-49	42	13	(	(	PUNCT
cbi-49	42	14	bruijn	bruijn	NOUN
cbi-49	42	15	,	,	PUNCT
cbi-49	42	16	1972	1972	NUM
cbi-49	42	17	)	)	PUNCT
cbi-49	42	18	.	.	PUNCT
cbi-49	43	1	three	three	NUM
cbi-49	43	2	things	thing	NOUN
cbi-49	43	3	that	that	PRON
cbi-49	43	4	volume	volume	VERB
cbi-49	43	5	1	1	NUM
cbi-49	43	6	,	,	PUNCT
cbi-49	43	7	issue	issue	NOUN
cbi-49	43	8	2	2	NUM
cbi-49	43	9	the	the	DET
cbi-49	43	10	possibility	possibility	NOUN
cbi-49	43	11	of	of	ADP
cbi-49	43	12	spontaneous	spontaneous	ADJ
cbi-49	43	13	generation	generation	NOUN
cbi-49	43	14	of	of	ADP
cbi-49	43	15	self	self	NOUN
cbi-49	43	16	-	-	PUNCT
cbi-49	43	17	replicating	replicate	VERB
cbi-49	43	18	systems	system	NOUN
cbi-49	43	19	81	81	NUM
cbi-49	43	20	then	then	ADV
cbi-49	43	21	need	need	VERB
cbi-49	43	22	to	to	PART
cbi-49	43	23	be	be	AUX
cbi-49	43	24	encoded	encode	VERB
cbi-49	43	25	into	into	ADP
cbi-49	43	26	binary	binary	NOUN
cbi-49	43	27	are	be	AUX
cbi-49	43	28	abstraction	abstraction	NOUN
cbi-49	43	29	(	(	PUNCT
cbi-49	43	30	λ	λ	NOUN
cbi-49	43	31	)	)	PUNCT
cbi-49	43	32	,	,	PUNCT
cbi-49	43	33	application	application	NOUN
cbi-49	43	34	,	,	PUNCT
cbi-49	43	35	and	and	CCONJ
cbi-49	43	36	natural	natural	ADJ
cbi-49	43	37	numbers	number	NOUN
cbi-49	43	38	.	.	PUNCT
cbi-49	44	1	the	the	DET
cbi-49	44	2	scheme	scheme	NOUN
cbi-49	44	3	is	be	AUX
cbi-49	44	4	very	very	ADV
cbi-49	44	5	simple	simple	ADJ
cbi-49	44	6	:	:	PUNCT
cbi-49	44	7	abstraction	abstraction	NOUN
cbi-49	44	8	(	(	PUNCT
cbi-49	44	9	λ	λ	NOUN
cbi-49	44	10	)	)	PUNCT
cbi-49	44	11	is	be	AUX
cbi-49	44	12	encoded	encode	VERB
cbi-49	44	13	as	as	SCONJ
cbi-49	44	14	00	00	NUM
cbi-49	44	15	application	application	NOUN
cbi-49	44	16	is	be	AUX
cbi-49	44	17	encoded	encode	VERB
cbi-49	44	18	as	as	ADP
cbi-49	44	19	01	01	NUM
cbi-49	44	20	natural	natural	ADJ
cbi-49	44	21	number	number	NOUN
cbi-49	44	22	n	n	PART
cbi-49	44	23	is	be	AUX
cbi-49	44	24	encoded	encode	VERB
cbi-49	44	25	as	as	ADP
cbi-49	44	26	111110	111110	NUM
cbi-49	44	27	.	.	PUNCT
cbi-49	44	28	.	.	PUNCT
cbi-49	44	29	.	.	PUNCT
cbi-49	45	1	(	(	PUNCT
cbi-49	45	2	where	where	SCONJ
cbi-49	45	3	there	there	PRON
cbi-49	45	4	are	be	VERB
cbi-49	45	5	n	n	PRON
cbi-49	45	6	1s	1s	NUM
cbi-49	45	7	)	)	PUNCT
cbi-49	45	8	λx.λy.xy	λx.λy.xy	NOUN
cbi-49	45	9	is	be	AUX
cbi-49	45	10	written	write	VERB
cbi-49	45	11	as	as	ADP
cbi-49	45	12	λ	λ	PROPN
cbi-49	45	13	λ	λ	PROPN
cbi-49	45	14	2	2	NUM
cbi-49	45	15	1	1	NUM
cbi-49	45	16	with	with	ADP
cbi-49	45	17	de	de	X
cbi-49	45	18	bruijn	bruijn	NOUN
cbi-49	45	19	indices	index	NOUN
cbi-49	45	20	,	,	PUNCT
cbi-49	45	21	which	which	PRON
cbi-49	45	22	in	in	ADP
cbi-49	45	23	blc	blc	PROPN
cbi-49	45	24	is	be	AUX
cbi-49	45	25	00	00	NUM
cbi-49	45	26	00	00	NUM
cbi-49	45	27	01	01	NUM
cbi-49	46	1	110	110	NUM
cbi-49	46	2	10	10	NUM
cbi-49	46	3	(	(	PUNCT
cbi-49	46	4	spaces	space	NOUN
cbi-49	46	5	added	add	VERB
cbi-49	46	6	for	for	ADP
cbi-49	46	7	understanding	understanding	NOUN
cbi-49	46	8	)	)	PUNCT
cbi-49	46	9	.	.	PUNCT
cbi-49	47	1	lambda	lambda	ADJ
cbi-49	47	2	expressions	expression	NOUN
cbi-49	47	3	are	be	AUX
cbi-49	47	4	executed	execute	VERB
cbi-49	47	5	by	by	ADP
cbi-49	47	6	the	the	DET
cbi-49	47	7	process	process	NOUN
cbi-49	47	8	of	of	ADP
cbi-49	47	9	betareduction	betareduction	NOUN
cbi-49	47	10	.	.	PUNCT
cbi-49	48	1	this	this	DET
cbi-49	48	2	means	mean	NOUN
cbi-49	48	3	of	of	ADP
cbi-49	48	4	execution	execution	NOUN
cbi-49	48	5	can	can	AUX
cbi-49	48	6	also	also	ADV
cbi-49	48	7	be	be	AUX
cbi-49	48	8	expressed	express	VERB
cbi-49	48	9	in	in	ADP
cbi-49	48	10	lambda	lambda	ADJ
cbi-49	48	11	calculus	calculus	NOUN
cbi-49	48	12	and	and	CCONJ
cbi-49	48	13	encoded	encode	VERB
cbi-49	48	14	in	in	ADP
cbi-49	48	15	blc	blc	PROPN
cbi-49	48	16	.	.	PUNCT
cbi-49	49	1	lambda	lambda	PROPN
cbi-49	49	2	calculus	calculus	NOUN
cbi-49	49	3	can	can	AUX
cbi-49	49	4	express	express	VERB
cbi-49	49	5	a	a	DET
cbi-49	49	6	list	list	NOUN
cbi-49	49	7	using	use	VERB
cbi-49	49	8	the	the	DET
cbi-49	49	9	pair	pair	NOUN
cbi-49	49	10	function	function	NOUN
cbi-49	49	11	.	.	PUNCT
cbi-49	50	1	other	other	ADJ
cbi-49	50	2	lambda	lambda	ADJ
cbi-49	50	3	expressions	expression	NOUN
cbi-49	50	4	can	can	AUX
cbi-49	50	5	extract	extract	VERB
cbi-49	50	6	any	any	DET
cbi-49	50	7	particular	particular	ADJ
cbi-49	50	8	element	element	NOUN
cbi-49	50	9	of	of	ADP
cbi-49	50	10	a	a	DET
cbi-49	50	11	list	list	NOUN
cbi-49	50	12	.	.	PUNCT
cbi-49	51	1	the	the	DET
cbi-49	51	2	following	follow	VERB
cbi-49	51	3	elements	element	NOUN
cbi-49	51	4	comprise	comprise	VERB
cbi-49	51	5	a	a	DET
cbi-49	51	6	self	self	NOUN
cbi-49	51	7	-	-	PUNCT
cbi-49	51	8	replicating	replicate	VERB
cbi-49	51	9	system	system	NOUN
cbi-49	51	10	in	in	ADP
cbi-49	51	11	lambda	lambda	ADJ
cbi-49	51	12	calculus	calculus	NOUN
cbi-49	51	13	:	:	PUNCT
cbi-49	51	14	•	•	ADP
cbi-49	51	15	the	the	DET
cbi-49	51	16	self	self	NOUN
cbi-49	51	17	-	-	PUNCT
cbi-49	51	18	replicating	replicate	VERB
cbi-49	51	19	combinator	combinator	NOUN
cbi-49	51	20	q	q	NOUN
cbi-49	51	21	;	;	PUNCT
cbi-49	51	22	qq	qq	PROPN
cbi-49	51	23	-	-	PUNCT
cbi-49	51	24	>	>	X
cbi-49	51	25	qq	qq	PROPN
cbi-49	51	26	does	do	AUX
cbi-49	51	27	not	not	PART
cbi-49	51	28	propagate	propagate	VERB
cbi-49	51	29	on	on	ADP
cbi-49	51	30	beta	beta	NOUN
cbi-49	51	31	-	-	PUNCT
cbi-49	51	32	reduction	reduction	NOUN
cbi-49	51	33	,	,	PUNCT
cbi-49	51	34	it	it	PRON
cbi-49	51	35	merely	merely	ADV
cbi-49	51	36	replaces	replace	VERB
cbi-49	51	37	itself	itself	PRON
cbi-49	51	38	.	.	PUNCT
cbi-49	52	1	however	however	ADV
cbi-49	52	2	,	,	PUNCT
cbi-49	52	3	qe	qe	PROPN
cbi-49	52	4	(	(	PUNCT
cbi-49	52	5	(	(	PUNCT
cbi-49	52	6	qe	qe	PROPN
cbi-49	52	7	)	)	PUNCT
cbi-49	52	8	nil	nil	NOUN
cbi-49	52	9	)	)	PUNCT
cbi-49	52	10	does	do	AUX
cbi-49	52	11	propagate	propagate	VERB
cbi-49	52	12	qe	qe	PROPN
cbi-49	52	13	on	on	ADP
cbi-49	52	14	betareduction	betareduction	NOUN
cbi-49	52	15	,	,	PUNCT
cbi-49	52	16	by	by	ADP
cbi-49	52	17	creating	create	VERB
cbi-49	52	18	a	a	DET
cbi-49	52	19	growing	grow	VERB
cbi-49	52	20	list	list	NOUN
cbi-49	52	21	of	of	ADP
cbi-49	52	22	(	(	PUNCT
cbi-49	52	23	qe	qe	PROPN
cbi-49	52	24	)	)	PUNCT
cbi-49	52	25	,	,	PUNCT
cbi-49	52	26	(	(	PUNCT
cbi-49	52	27	qe	qe	PROPN
cbi-49	52	28	)	)	PUNCT
cbi-49	52	29	,	,	PUNCT
cbi-49	52	30	(	(	PUNCT
cbi-49	52	31	qe	qe	PROPN
cbi-49	52	32	)	)	PUNCT
cbi-49	52	33	.	.	PUNCT
cbi-49	52	34	.	.	PUNCT
cbi-49	52	35	.	.	PUNCT
cbi-49	52	36	.	.	PUNCT
cbi-49	53	1	(	(	PUNCT
cbi-49	53	2	qe	qe	PROPN
cbi-49	53	3	)	)	PUNCT
cbi-49	53	4	,	,	PUNCT
cbi-49	53	5	nil	nil	NOUN
cbi-49	53	6	(	(	PUNCT
cbi-49	53	7	e	e	NOUN
cbi-49	53	8	is	be	AUX
cbi-49	53	9	defined	define	VERB
cbi-49	53	10	below	below	ADP
cbi-49	53	11	)	)	PUNCT
cbi-49	53	12	.	.	PUNCT
cbi-49	54	1	qe	qe	PROPN
cbi-49	54	2	will	will	AUX
cbi-49	54	3	propagate	propagate	VERB
cbi-49	54	4	any	any	DET
cbi-49	54	5	expression	expression	NOUN
cbi-49	54	6	,	,	PUNCT
cbi-49	54	7	p	p	X
cbi-49	54	8	;	;	PUNCT
cbi-49	54	9	qe	qe	PROPN
cbi-49	54	10	(	(	PUNCT
cbi-49	54	11	p	p	NOUN
cbi-49	54	12	nil	nil	NOUN
cbi-49	54	13	)	)	PUNCT
cbi-49	54	14	will	will	AUX
cbi-49	54	15	generate	generate	VERB
cbi-49	54	16	a	a	DET
cbi-49	54	17	growing	grow	VERB
cbi-49	54	18	list	list	NOUN
cbi-49	54	19	of	of	ADP
cbi-49	54	20	p	p	X
cbi-49	54	21	,	,	PUNCT
cbi-49	54	22	p	p	X
cbi-49	54	23	,	,	PUNCT
cbi-49	54	24	p	p	X
cbi-49	54	25	,	,	PUNCT
cbi-49	54	26	.	.	PUNCT
cbi-49	54	27	.	.	PUNCT
cbi-49	54	28	.	.	PUNCT
cbi-49	54	29	.	.	PUNCT
cbi-49	55	1	p	p	X
cbi-49	55	2	.	.	PUNCT
cbi-49	56	1	•	•	NUM
cbi-49	56	2	a	a	DET
cbi-49	56	3	beta	beta	NOUN
cbi-49	56	4	-	-	PUNCT
cbi-49	56	5	reduction	reduction	NOUN
cbi-49	56	6	engine	engine	NOUN
cbi-49	56	7	is	be	AUX
cbi-49	56	8	required	require	VERB
cbi-49	56	9	.	.	PUNCT
cbi-49	57	1	–	–	PUNCT
cbi-49	57	2	if	if	SCONJ
cbi-49	57	3	this	this	DET
cbi-49	57	4	engine	engine	NOUN
cbi-49	57	5	were	be	AUX
cbi-49	57	6	encoded	encode	VERB
cbi-49	57	7	into	into	ADP
cbi-49	57	8	p	p	NOUN
cbi-49	57	9	,	,	PUNCT
cbi-49	57	10	then	then	ADV
cbi-49	57	11	a	a	DET
cbi-49	57	12	means	means	NOUN
cbi-49	57	13	to	to	PART
cbi-49	57	14	translate	translate	VERB
cbi-49	57	15	from	from	ADP
cbi-49	57	16	the	the	DET
cbi-49	57	17	information	information	NOUN
cbi-49	57	18	space	space	NOUN
cbi-49	57	19	to	to	ADP
cbi-49	57	20	machine	machine	NOUN
cbi-49	57	21	space	space	NOUN
cbi-49	57	22	also	also	ADV
cbi-49	57	23	would	would	AUX
cbi-49	57	24	be	be	AUX
cbi-49	57	25	required	require	VERB
cbi-49	57	26	and	and	CCONJ
cbi-49	57	27	the	the	DET
cbi-49	57	28	initial	initial	ADJ
cbi-49	57	29	instance	instance	NOUN
cbi-49	57	30	would	would	AUX
cbi-49	57	31	have	have	VERB
cbi-49	57	32	no	no	DET
cbi-49	57	33	machine	machine	NOUN
cbi-49	57	34	with	with	ADP
cbi-49	57	35	which	which	PRON
cbi-49	57	36	to	to	PART
cbi-49	57	37	execute	execute	VERB
cbi-49	57	38	.	.	PUNCT
cbi-49	58	1	–	–	PUNCT
cbi-49	58	2	the	the	DET
cbi-49	58	3	least	least	ADV
cbi-49	58	4	required	required	ADJ
cbi-49	58	5	total	total	ADJ
cbi-49	58	6	kolmogorov	kolmogorov	ADJ
cbi-49	58	7	complexity	complexity	NOUN
cbi-49	58	8	would	would	AUX
cbi-49	58	9	have	have	VERB
cbi-49	58	10	the	the	DET
cbi-49	58	11	beta	beta	ADJ
cbi-49	58	12	reduction	reduction	NOUN
cbi-49	58	13	engine	engine	NOUN
cbi-49	58	14	simultaneously	simultaneously	ADV
cbi-49	58	15	generated	generate	VERB
cbi-49	58	16	in	in	ADP
cbi-49	58	17	the	the	DET
cbi-49	58	18	machine	machine	NOUN
cbi-49	58	19	state	state	NOUN
cbi-49	58	20	,	,	PUNCT
cbi-49	58	21	as	as	SCONJ
cbi-49	58	22	opposed	oppose	VERB
cbi-49	58	23	to	to	ADP
cbi-49	58	24	being	be	AUX
cbi-49	58	25	generated	generate	VERB
cbi-49	58	26	in	in	ADP
cbi-49	58	27	the	the	DET
cbi-49	58	28	information	information	NOUN
cbi-49	58	29	media	medium	NOUN
cbi-49	58	30	state	state	NOUN
cbi-49	58	31	and	and	CCONJ
cbi-49	58	32	subsequently	subsequently	ADV
cbi-49	58	33	transcripted	transcripte	VERB
cbi-49	58	34	to	to	ADP
cbi-49	58	35	the	the	DET
cbi-49	58	36	machine	machine	NOUN
cbi-49	58	37	state	state	NOUN
cbi-49	58	38	.	.	PUNCT
cbi-49	59	1	the	the	DET
cbi-49	59	2	engine	engine	NOUN
cbi-49	59	3	would	would	AUX
cbi-49	59	4	act	act	VERB
cbi-49	59	5	like	like	ADP
cbi-49	59	6	a	a	DET
cbi-49	59	7	single	single	ADJ
cbi-49	59	8	instance	instance	NOUN
cbi-49	59	9	of	of	ADP
cbi-49	59	10	a	a	DET
cbi-49	59	11	re	re	ADJ
cbi-49	59	12	-	-	ADJ
cbi-49	59	13	usable	usable	ADJ
cbi-49	59	14	catalyst	catalyst	NOUN
cbi-49	59	15	,	,	PUNCT
cbi-49	59	16	operating	operate	VERB
cbi-49	59	17	on	on	ADP
cbi-49	59	18	the	the	DET
cbi-49	59	19	growing	grow	VERB
cbi-49	59	20	list	list	NOUN
cbi-49	59	21	.	.	PUNCT
cbi-49	60	1	a	a	DET
cbi-49	60	2	minimal	minimal	ADJ
cbi-49	60	3	self	self	NOUN
cbi-49	60	4	-	-	PUNCT
cbi-49	60	5	replication	replication	NOUN
cbi-49	60	6	system	system	NOUN
cbi-49	60	7	in	in	ADP
cbi-49	60	8	lambda	lambda	ADJ
cbi-49	60	9	calculus	calculus	NOUN
cbi-49	60	10	would	would	AUX
cbi-49	60	11	generate	generate	VERB
cbi-49	60	12	a	a	DET
cbi-49	60	13	growing	grow	VERB
cbi-49	60	14	list	list	NOUN
cbi-49	60	15	of	of	ADP
cbi-49	60	16	copied	copy	VERB
cbi-49	60	17	expressions	expression	NOUN
cbi-49	60	18	,	,	PUNCT
cbi-49	60	19	like	like	ADP
cbi-49	60	20	(	(	PUNCT
cbi-49	60	21	qe	qe	PROPN
cbi-49	60	22	)	)	PUNCT
cbi-49	60	23	,	,	PUNCT
cbi-49	60	24	(	(	PUNCT
cbi-49	60	25	qe	qe	PROPN
cbi-49	60	26	)	)	PUNCT
cbi-49	60	27	,	,	PUNCT
cbi-49	60	28	(	(	PUNCT
cbi-49	60	29	qe	qe	PROPN
cbi-49	60	30	)	)	PUNCT
cbi-49	60	31	.	.	PUNCT
cbi-49	60	32	.	.	PUNCT
cbi-49	60	33	.	.	PUNCT
cbi-49	60	34	.	.	PUNCT
cbi-49	61	1	(	(	PUNCT
cbi-49	61	2	qe	qe	PROPN
cbi-49	61	3	)	)	PUNCT
cbi-49	61	4	,	,	PUNCT
cbi-49	61	5	nil	nil	NOUN
cbi-49	61	6	.	.	PUNCT
cbi-49	62	1	this	this	PRON
cbi-49	62	2	would	would	AUX
cbi-49	62	3	require	require	VERB
cbi-49	62	4	:	:	PUNCT
cbi-49	62	5	•	•	ADP
cbi-49	62	6	a	a	DET
cbi-49	62	7	means	means	NOUN
cbi-49	62	8	to	to	PART
cbi-49	62	9	encode	encode	VERB
cbi-49	62	10	lambda	lambda	ADJ
cbi-49	62	11	calculus	calculus	NOUN
cbi-49	62	12	.	.	PUNCT
cbi-49	63	1	blc	blc	PROPN
cbi-49	63	2	is	be	AUX
cbi-49	63	3	an	an	DET
cbi-49	63	4	efficient	efficient	ADJ
cbi-49	63	5	means	mean	NOUN
cbi-49	63	6	.	.	PUNCT
cbi-49	64	1	•	•	NUM
cbi-49	64	2	the	the	DET
cbi-49	64	3	e	e	NOUN
cbi-49	64	4	combinator	combinator	NOUN
cbi-49	64	5	,	,	PUNCT
cbi-49	64	6	encoded	encode	VERB
cbi-49	64	7	in	in	ADP
cbi-49	64	8	an	an	DET
cbi-49	64	9	information	information	NOUN
cbi-49	64	10	media	medium	NOUN
cbi-49	64	11	state	state	NOUN
cbi-49	64	12	,	,	PUNCT
cbi-49	64	13	like	like	ADP
cbi-49	64	14	dna	dna	PROPN
cbi-49	64	15	/	/	SYM
cbi-49	64	16	rna	rna	NOUN
cbi-49	64	17	in	in	ADP
cbi-49	64	18	life	life	NOUN
cbi-49	64	19	.	.	PUNCT
cbi-49	65	1	•	•	NUM
cbi-49	65	2	the	the	DET
cbi-49	65	3	self	self	NOUN
cbi-49	65	4	-	-	PUNCT
cbi-49	65	5	replicating	replicate	VERB
cbi-49	65	6	combinator	combinator	NOUN
cbi-49	65	7	q	q	NOUN
cbi-49	65	8	,	,	PUNCT
cbi-49	65	9	encoded	encode	VERB
cbi-49	65	10	in	in	ADP
cbi-49	65	11	the	the	DET
cbi-49	65	12	information	information	NOUN
cbi-49	65	13	media	medium	NOUN
cbi-49	65	14	state	state	NOUN
cbi-49	65	15	.	.	PUNCT
cbi-49	66	1	•	•	NUM
cbi-49	66	2	a	a	DET
cbi-49	66	3	program	program	NOUN
cbi-49	66	4	for	for	ADP
cbi-49	66	5	self	self	NOUN
cbi-49	66	6	-	-	PUNCT
cbi-49	66	7	reduction	reduction	NOUN
cbi-49	66	8	–	–	PUNCT
cbi-49	66	9	encoded	encode	VERB
cbi-49	66	10	in	in	ADP
cbi-49	66	11	the	the	DET
cbi-49	66	12	machine	machine	NOUN
cbi-49	66	13	state	state	NOUN
cbi-49	66	14	,	,	PUNCT
cbi-49	66	15	like	like	ADP
cbi-49	66	16	an	an	DET
cbi-49	66	17	enzyme	enzyme	NOUN
cbi-49	66	18	protein	protein	NOUN
cbi-49	66	19	assemblage	assemblage	NOUN
cbi-49	66	20	in	in	ADP
cbi-49	66	21	life	life	NOUN
cbi-49	66	22	.	.	PUNCT
cbi-49	67	1	the	the	DET
cbi-49	67	2	total	total	ADJ
cbi-49	67	3	information	information	NOUN
cbi-49	67	4	requirement	requirement	NOUN
cbi-49	67	5	to	to	PART
cbi-49	67	6	generate	generate	VERB
cbi-49	67	7	the	the	DET
cbi-49	67	8	minimal	minimal	ADJ
cbi-49	67	9	proxy	proxy	NOUN
cbi-49	67	10	for	for	ADP
cbi-49	67	11	abiogenesis	abiogenesis	NOUN
cbi-49	67	12	is	be	AUX
cbi-49	67	13	then	then	ADV
cbi-49	67	14	:	:	PUNCT
cbi-49	67	15	•	•	NUM
cbi-49	67	16	e	e	NOUN
cbi-49	67	17	,	,	PUNCT
cbi-49	67	18	which	which	PRON
cbi-49	67	19	operates	operate	VERB
cbi-49	67	20	on	on	ADP
cbi-49	67	21	a	a	DET
cbi-49	67	22	list	list	NOUN
cbi-49	67	23	and	and	CCONJ
cbi-49	67	24	extends	extend	VERB
cbi-49	67	25	it	it	PRON
cbi-49	67	26	by	by	ADP
cbi-49	67	27	one	one	NUM
cbi-49	67	28	element	element	NOUN
cbi-49	67	29	(	(	PUNCT
cbi-49	67	30	based	base	VERB
cbi-49	67	31	on	on	ADP
cbi-49	67	32	larkin	larkin	PROPN
cbi-49	67	33	and	and	CCONJ
cbi-49	67	34	stocks	stock	NOUN
cbi-49	67	35	,	,	PUNCT
cbi-49	67	36	2004	2004	NUM
cbi-49	67	37	)	)	PUNCT
cbi-49	67	38	.	.	PUNCT
cbi-49	68	1	e	e	X
cbi-49	68	2	=	=	PROPN
cbi-49	68	3	λx	λx	PROPN
cbi-49	68	4	.	.	PUNCT
cbi-49	69	1	(	(	PUNCT
cbi-49	69	2	λp.(λl.xxp(pair	λp.(λl.xxp(pair	NOUN
cbi-49	69	3	pl	pl	PROPN
cbi-49	69	4	)	)	PUNCT
cbi-49	69	5	)	)	PUNCT
cbi-49	69	6	)	)	PUNCT
cbi-49	69	7	,	,	PUNCT
cbi-49	69	8	which	which	PRON
cbi-49	69	9	in	in	ADP
cbi-49	69	10	blc	blc	PROPN
cbi-49	69	11	is	be	AUX
cbi-49	69	12	000000111111111011101100000001011101011010	000000111111111011101100000001011101011010	NUM
cbi-49	69	13	(	(	PUNCT
cbi-49	69	14	42	42	NUM
cbi-49	69	15	bits	bit	NOUN
cbi-49	69	16	long	long	ADJ
cbi-49	69	17	)	)	PUNCT
cbi-49	69	18	.	.	PUNCT
cbi-49	70	1	•	•	NUM
cbi-49	70	2	q	q	NOUN
cbi-49	70	3	,	,	PUNCT
cbi-49	70	4	the	the	DET
cbi-49	70	5	self	self	NOUN
cbi-49	70	6	-	-	PUNCT
cbi-49	70	7	application	application	NOUN
cbi-49	70	8	combinator	combinator	NOUN
cbi-49	70	9	.	.	PUNCT
cbi-49	70	10	q	q	X
cbi-49	71	1	=	=	PUNCT
cbi-49	71	2	λx	λx	PROPN
cbi-49	71	3	.	.	PROPN
cbi-49	72	1	xx	xx	NUM
cbi-49	72	2	which	which	PRON
cbi-49	72	3	in	in	ADP
cbi-49	72	4	blc	blc	PROPN
cbi-49	72	5	is	be	AUX
cbi-49	72	6	00011010	00011010	NUM
cbi-49	72	7	(	(	PUNCT
cbi-49	72	8	8	8	NUM
cbi-49	72	9	bits	bit	NOUN
cbi-49	72	10	long	long	ADJ
cbi-49	72	11	)	)	PUNCT
cbi-49	72	12	.	.	PUNCT
cbi-49	73	1	•	•	NUM
cbi-49	73	2	the	the	DET
cbi-49	73	3	application	application	NOUN
cbi-49	73	4	of	of	ADP
cbi-49	73	5	q	q	NOUN
cbi-49	73	6	to	to	ADP
cbi-49	73	7	e	e	PROPN
cbi-49	73	8	,	,	PUNCT
cbi-49	73	9	qe	qe	PROPN
cbi-49	73	10	,	,	PUNCT
cbi-49	73	11	which	which	PRON
cbi-49	73	12	adds	add	VERB
cbi-49	73	13	2	2	NUM
cbi-49	73	14	bits	bit	NOUN
cbi-49	73	15	.	.	PUNCT
cbi-49	74	1	•	•	NUM
cbi-49	74	2	nil	nil	NOUN
cbi-49	74	3	,	,	PUNCT
cbi-49	74	4	which	which	PRON
cbi-49	74	5	is	be	AUX
cbi-49	74	6	λz.λx.λy.x	λz.λx.λy.x	ADJ
cbi-49	74	7	,	,	PUNCT
cbi-49	74	8	adding	add	VERB
cbi-49	74	9	9	9	NUM
cbi-49	74	10	bits	bit	NOUN
cbi-49	74	11	.	.	PUNCT
cbi-49	75	1	•	•	NUM
cbi-49	75	2	two	two	NUM
cbi-49	75	3	more	more	ADJ
cbi-49	75	4	applications	application	NOUN
cbi-49	75	5	to	to	PART
cbi-49	75	6	create	create	VERB
cbi-49	75	7	the	the	DET
cbi-49	75	8	expression	expression	NOUN
cbi-49	75	9	qe	qe	X
cbi-49	75	10	(	(	PUNCT
cbi-49	75	11	(	(	PUNCT
cbi-49	75	12	qe	qe	PROPN
cbi-49	75	13	)	)	PUNCT
cbi-49	75	14	nil	nil	NOUN
cbi-49	75	15	)	)	PUNCT
cbi-49	75	16	,	,	PUNCT
cbi-49	75	17	adding	add	VERB
cbi-49	75	18	4	4	NUM
cbi-49	75	19	more	more	ADJ
cbi-49	75	20	bits	bit	NOUN
cbi-49	75	21	•	•	ADP
cbi-49	75	22	a	a	DET
cbi-49	75	23	beta	beta	NOUN
cbi-49	75	24	-	-	PUNCT
cbi-49	75	25	reduction	reduction	NOUN
cbi-49	75	26	engine	engine	NOUN
cbi-49	75	27	in	in	ADP
cbi-49	75	28	machine	machine	NOUN
cbi-49	75	29	space	space	NOUN
cbi-49	75	30	to	to	PART
cbi-49	75	31	process	process	VERB
cbi-49	75	32	(	(	PUNCT
cbi-49	75	33	(	(	PUNCT
cbi-49	75	34	qe	qe	PROPN
cbi-49	75	35	)	)	PUNCT
cbi-49	75	36	e	e	X
cbi-49	75	37	nil	nil	NOUN
cbi-49	75	38	)	)	PUNCT
cbi-49	75	39	.	.	PUNCT
cbi-49	76	1	this	this	PRON
cbi-49	76	2	would	would	AUX
cbi-49	76	3	at	at	ADP
cbi-49	76	4	a	a	DET
cbi-49	76	5	minimum	minimum	ADJ
cbi-49	76	6	require	require	NOUN
cbi-49	76	7	:	:	PUNCT
cbi-49	76	8	a.	a.	NOUN
cbi-49	76	9	a	a	DET
cbi-49	76	10	true	true	ADJ
cbi-49	76	11	statement	statement	NOUN
cbi-49	76	12	:	:	PUNCT
cbi-49	76	13	λx.λy.x	λx.λy.x	PROPN
cbi-49	76	14	(	(	PUNCT
cbi-49	76	15	7	7	NUM
cbi-49	76	16	bits	bit	NOUN
cbi-49	76	17	)	)	PUNCT
cbi-49	76	18	b.	b.	PROPN
cbi-49	76	19	a	a	DET
cbi-49	76	20	false	false	ADJ
cbi-49	76	21	statement	statement	NOUN
cbi-49	76	22	:	:	PUNCT
cbi-49	76	23	λx.λy.y	λx.λy.y	X
cbi-49	76	24	(	(	PUNCT
cbi-49	76	25	6	6	NUM
cbi-49	76	26	bits	bit	NOUN
cbi-49	76	27	)	)	PUNCT
cbi-49	76	28	c.	c.	NOUN
cbi-49	76	29	an	an	DET
cbi-49	76	30	if	if	SCONJ
cbi-49	76	31	-	-	PUNCT
cbi-49	76	32	then	then	ADV
cbi-49	76	33	-	-	PUNCT
cbi-49	76	34	else	else	NOUN
cbi-49	76	35	statement	statement	NOUN
cbi-49	76	36	:	:	PUNCT
cbi-49	76	37	λz.λx.λy.zxy	λz.λx.λy.zxy	NOUN
cbi-49	76	38	(	(	PUNCT
cbi-49	76	39	15	15	NUM
cbi-49	76	40	bits	bit	NOUN
cbi-49	76	41	)	)	PUNCT
cbi-49	76	42	d.	d.	PROPN
cbi-49	76	43	abstractions	abstraction	VERB
cbi-49	76	44	to	to	PART
cbi-49	76	45	delete	delete	VERB
cbi-49	76	46	and	and	CCONJ
cbi-49	76	47	replace	replace	VERB
cbi-49	76	48	expressions	expression	NOUN
cbi-49	76	49	(	(	PUNCT
cbi-49	76	50	>	>	PUNCT
cbi-49	76	51	~15bits	~15bit	NOUN
cbi-49	76	52	each	each	PRON
cbi-49	76	53	,	,	PUNCT
cbi-49	76	54	or	or	CCONJ
cbi-49	76	55	>	>	PUNCT
cbi-49	76	56	~30bits	~30bit	NOUN
cbi-49	76	57	)	)	PUNCT
cbi-49	76	58	.	.	PUNCT
cbi-49	77	1	the	the	DET
cbi-49	77	2	bit	bit	NOUN
cbi-49	77	3	count	count	NOUN
cbi-49	77	4	so	so	ADV
cbi-49	77	5	far	far	ADV
cbi-49	77	6	for	for	ADP
cbi-49	77	7	a	a	DET
cbi-49	77	8	beta	beta	NOUN
cbi-49	77	9	reduction	reduction	NOUN
cbi-49	77	10	engine	engine	NOUN
cbi-49	77	11	is	be	AUX
cbi-49	77	12	>	>	X
cbi-49	77	13	58	58	NUM
cbi-49	77	14	.	.	PUNCT
cbi-49	78	1	actual	actual	ADJ
cbi-49	78	2	construction	construction	NOUN
cbi-49	78	3	of	of	ADP
cbi-49	78	4	the	the	DET
cbi-49	78	5	beta	beta	NOUN
cbi-49	78	6	reducer	reducer	NOUN
cbi-49	78	7	could	could	AUX
cbi-49	78	8	require	require	VERB
cbi-49	78	9	many	many	ADJ
cbi-49	78	10	more	more	ADJ
cbi-49	78	11	.	.	PUNCT
cbi-49	79	1	a	a	DET
cbi-49	79	2	beta	beta	NOUN
cbi-49	79	3	-	-	PUNCT
cbi-49	79	4	reduction	reduction	NOUN
cbi-49	79	5	engine	engine	NOUN
cbi-49	79	6	in	in	ADP
cbi-49	79	7	an	an	DET
cbi-49	79	8	abstracted	abstract	VERB
cbi-49	79	9	lambda	lambda	ADJ
cbi-49	79	10	calculus	calculus	NOUN
cbi-49	79	11	has	have	AUX
cbi-49	79	12	been	be	AUX
cbi-49	79	13	found	find	VERB
cbi-49	79	14	,	,	PUNCT
cbi-49	79	15	which	which	PRON
cbi-49	79	16	is	be	AUX
cbi-49	79	17	longer	long	ADJ
cbi-49	79	18	than	than	ADP
cbi-49	79	19	200	200	NUM
cbi-49	79	20	bits	bit	NOUN
cbi-49	79	21	(	(	PUNCT
cbi-49	79	22	mogensen	mogensen	NOUN
cbi-49	79	23	,	,	PUNCT
cbi-49	79	24	1994	1994	NUM
cbi-49	79	25	)	)	PUNCT
cbi-49	79	26	.	.	PUNCT
cbi-49	80	1	an	an	DET
cbi-49	80	2	engine	engine	NOUN
cbi-49	80	3	in	in	ADP
cbi-49	80	4	blc	blc	PROPN
cbi-49	80	5	would	would	AUX
cbi-49	80	6	require	require	VERB
cbi-49	80	7	a	a	DET
cbi-49	80	8	similar	similar	ADJ
cbi-49	80	9	number	number	NOUN
cbi-49	80	10	of	of	ADP
cbi-49	80	11	bits	bit	NOUN
cbi-49	80	12	.	.	PUNCT
cbi-49	81	1	so	so	ADV
cbi-49	81	2	far	far	ADV
cbi-49	81	3	we	we	PRON
cbi-49	81	4	are	be	AUX
cbi-49	81	5	up	up	ADP
cbi-49	81	6	to	to	ADP
cbi-49	81	7	many	many	ADJ
cbi-49	81	8	more	more	ADJ
cbi-49	81	9	than	than	ADP
cbi-49	81	10	123	123	NUM
cbi-49	81	11	bits	bit	NOUN
cbi-49	81	12	,	,	PUNCT
cbi-49	81	13	and	and	CCONJ
cbi-49	81	14	likely	likely	ADV
cbi-49	81	15	more	more	ADJ
cbi-49	81	16	than	than	ADP
cbi-49	81	17	265	265	NUM
cbi-49	81	18	bits	bit	NOUN
cbi-49	81	19	,	,	PUNCT
cbi-49	81	20	for	for	ADP
cbi-49	81	21	a	a	DET
cbi-49	81	22	randomly	randomly	ADV
cbi-49	81	23	-	-	PUNCT
cbi-49	81	24	formed	form	VERB
cbi-49	81	25	pair	pair	NOUN
cbi-49	81	26	of	of	ADP
cbi-49	81	27	information	information	NOUN
cbi-49	81	28	strings	string	NOUN
cbi-49	81	29	,	,	PUNCT
cbi-49	81	30	one	one	NUM
cbi-49	81	31	in	in	ADP
cbi-49	81	32	information	information	NOUN
cbi-49	81	33	space	space	NOUN
cbi-49	81	34	(	(	PUNCT
cbi-49	81	35	dna	dna	NOUN
cbi-49	81	36	/	/	SYM
cbi-49	81	37	rna	rna	PROPN
cbi-49	81	38	)	)	PUNCT
cbi-49	81	39	and	and	CCONJ
cbi-49	81	40	one	one	NUM
cbi-49	81	41	in	in	ADP
cbi-49	81	42	machine	machine	NOUN
cbi-49	81	43	space	space	NOUN
cbi-49	81	44	(	(	PUNCT
cbi-49	81	45	protein	protein	NOUN
cbi-49	81	46	/	/	SYM
cbi-49	81	47	enzyme	enzyme	NOUN
cbi-49	81	48	)	)	PUNCT
cbi-49	81	49	which	which	PRON
cbi-49	81	50	allows	allow	VERB
cbi-49	81	51	the	the	DET
cbi-49	81	52	information	information	NOUN
cbi-49	81	53	string	string	NOUN
cbi-49	81	54	to	to	PART
cbi-49	81	55	propagate	propagate	VERB
cbi-49	81	56	in	in	ADP
cbi-49	81	57	a	a	DET
cbi-49	81	58	list	list	NOUN
cbi-49	81	59	.	.	PUNCT
cbi-49	82	1	it	it	PRON
cbi-49	82	2	may	may	AUX
cbi-49	82	3	be	be	AUX
cbi-49	82	4	possible	possible	ADJ
cbi-49	82	5	to	to	PART
cbi-49	82	6	compress	compress	VERB
cbi-49	82	7	these	these	DET
cbi-49	82	8	relatively	relatively	ADV
cbi-49	82	9	short	short	ADJ
cbi-49	82	10	strings	string	NOUN
cbi-49	82	11	.	.	PUNCT
cbi-49	83	1	e	e	X
cbi-49	83	2	in	in	ADP
cbi-49	83	3	particular	particular	ADJ
cbi-49	83	4	appears	appear	VERB
cbi-49	83	5	to	to	PART
cbi-49	83	6	be	be	AUX
cbi-49	83	7	a	a	DET
cbi-49	83	8	compressible	compressible	ADJ
cbi-49	83	9	string	string	NOUN
cbi-49	83	10	,	,	PUNCT
cbi-49	83	11	which	which	PRON
cbi-49	83	12	82	82	NUM
cbi-49	83	13	letters	letter	NOUN
cbi-49	83	14	and	and	CCONJ
cbi-49	83	15	notes	note	NOUN
cbi-49	83	16	might	might	AUX
cbi-49	83	17	allow	allow	VERB
cbi-49	83	18	for	for	ADP
cbi-49	83	19	a	a	DET
cbi-49	83	20	reduced	reduced	ADJ
cbi-49	83	21	bit	bit	NOUN
cbi-49	83	22	count	count	NOUN
cbi-49	83	23	.	.	PUNCT
cbi-49	84	1	however	however	ADV
cbi-49	84	2	,	,	PUNCT
cbi-49	84	3	adding	add	VERB
cbi-49	84	4	a	a	DET
cbi-49	84	5	codec	codec	NOUN
cbi-49	84	6	to	to	ADP
cbi-49	84	7	the	the	DET
cbi-49	84	8	mix	mix	NOUN
cbi-49	84	9	will	will	AUX
cbi-49	84	10	certainly	certainly	ADV
cbi-49	84	11	increase	increase	VERB
cbi-49	84	12	the	the	DET
cbi-49	84	13	bit	bit	NOUN
cbi-49	84	14	count	count	NOUN
cbi-49	84	15	more	more	ADJ
cbi-49	84	16	than	than	SCONJ
cbi-49	84	17	it	it	PRON
cbi-49	84	18	offers	offer	VERB
cbi-49	84	19	in	in	ADP
cbi-49	84	20	compressive	compressive	ADJ
cbi-49	84	21	bit	bit	NOUN
cbi-49	84	22	-	-	PUNCT
cbi-49	84	23	reduction	reduction	NOUN
cbi-49	84	24	.	.	PUNCT
cbi-49	85	1	it	it	PRON
cbi-49	85	2	is	be	AUX
cbi-49	85	3	reasonable	reasonable	ADJ
cbi-49	85	4	to	to	PART
cbi-49	85	5	think	think	VERB
cbi-49	85	6	that	that	SCONJ
cbi-49	85	7	a	a	DET
cbi-49	85	8	minimal	minimal	ADJ
cbi-49	85	9	basic	basic	ADJ
cbi-49	85	10	precursor	precursor	NOUN
cbi-49	85	11	to	to	ADP
cbi-49	85	12	abiogenisis	abiogenisis	NOUN
cbi-49	85	13	of	of	ADP
cbi-49	85	14	life	life	NOUN
cbi-49	85	15	would	would	AUX
cbi-49	85	16	require	require	VERB
cbi-49	85	17	two	two	NUM
cbi-49	85	18	random	random	ADJ
cbi-49	85	19	assemblages	assemblage	NOUN
cbi-49	85	20	with	with	ADP
cbi-49	85	21	total	total	ADJ
cbi-49	85	22	information	information	NOUN
cbi-49	85	23	exceeding	exceed	VERB
cbi-49	85	24	265	265	NUM
cbi-49	85	25	bits	bit	NOUN
cbi-49	85	26	.	.	PUNCT
cbi-49	86	1	however	however	ADV
cbi-49	86	2	,	,	PUNCT
cbi-49	86	3	265	265	NUM
cbi-49	86	4	bits	bit	NOUN
cbi-49	86	5	is	be	AUX
cbi-49	86	6	below	below	ADP
cbi-49	86	7	the	the	DET
cbi-49	86	8	500	500	NUM
cbi-49	86	9	bit	bit	NOUN
cbi-49	86	10	dembski	dembski	NOUN
cbi-49	86	11	limit	limit	NOUN
cbi-49	86	12	and	and	CCONJ
cbi-49	86	13	below	below	ADP
cbi-49	86	14	the	the	DET
cbi-49	86	15	700	700	NUM
cbi-49	86	16	bit	bit	NOUN
cbi-49	86	17	limit	limit	NOUN
cbi-49	86	18	based	base	VERB
cbi-49	86	19	on	on	ADP
cbi-49	86	20	seth	seth	PROPN
cbi-49	86	21	lloyd	lloyd	PROPN
cbi-49	86	22	’s	’s	PART
cbi-49	86	23	analysis	analysis	NOUN
cbi-49	86	24	.	.	PUNCT
cbi-49	87	1	this	this	DET
cbi-49	87	2	analysis	analysis	NOUN
cbi-49	87	3	does	do	AUX
cbi-49	87	4	not	not	PART
cbi-49	87	5	rule	rule	VERB
cbi-49	87	6	out	out	ADP
cbi-49	87	7	the	the	DET
cbi-49	87	8	spontaneous	spontaneous	ADJ
cbi-49	87	9	,	,	PUNCT
cbi-49	87	10	if	if	SCONJ
cbi-49	87	11	fleeting	fleeting	ADJ
cbi-49	87	12	,	,	PUNCT
cbi-49	87	13	generation	generation	NOUN
cbi-49	87	14	of	of	ADP
cbi-49	87	15	a	a	DET
cbi-49	87	16	self	self	NOUN
cbi-49	87	17	-	-	PUNCT
cbi-49	87	18	replicating	replicate	VERB
cbi-49	87	19	system	system	NOUN
cbi-49	87	20	somewhere	somewhere	ADV
cbi-49	87	21	in	in	ADP
cbi-49	87	22	the	the	DET
cbi-49	87	23	universe	universe	NOUN
cbi-49	87	24	at	at	ADP
cbi-49	87	25	some	some	DET
cbi-49	87	26	time	time	NOUN
cbi-49	87	27	in	in	ADP
cbi-49	87	28	its	its	PRON
cbi-49	87	29	past	past	NOUN
cbi-49	87	30	.	.	PUNCT
cbi-49	88	1	the	the	DET
cbi-49	88	2	probability	probability	NOUN
cbi-49	88	3	given	give	VERB
cbi-49	88	4	the	the	DET
cbi-49	88	5	dembski	dembski	NOUN
cbi-49	88	6	limit	limit	NOUN
cbi-49	88	7	is	be	AUX
cbi-49	88	8	!	!	PUNCT
cbi-49	89	1	1	1	NUM
cbi-49	89	2	−	−	NUM
cbi-49	89	3	1	1	NUM
cbi-49	89	4	e	e	NOUN
cbi-49	89	5	(	(	PUNCT
cbi-49	89	6	500/265	500/265	NOUN
cbi-49	89	7	)	)	PUNCT
cbi-49	89	8	"	"	PUNCT
cbi-49	89	9	,	,	PUNCT
cbi-49	89	10	or	or	CCONJ
cbi-49	89	11	~85	~85	NOUN
cbi-49	89	12	%	%	NOUN
cbi-49	89	13	.	.	PUNCT
cbi-49	90	1	the	the	DET
cbi-49	90	2	probability	probability	NOUN
cbi-49	90	3	given	give	VERB
cbi-49	90	4	the	the	DET
cbi-49	90	5	700	700	NUM
cbi-49	90	6	bit	bit	NOUN
cbi-49	90	7	limit	limit	NOUN
cbi-49	90	8	is	be	AUX
cbi-49	90	9	!	!	PUNCT
cbi-49	91	1	1	1	NUM
cbi-49	91	2	−	−	NUM
cbi-49	91	3	1	1	NUM
cbi-49	91	4	e	e	NOUN
cbi-49	91	5	(	(	PUNCT
cbi-49	91	6	700/265	700/265	NOUN
cbi-49	91	7	)	)	PUNCT
cbi-49	91	8	"	"	PUNCT
cbi-49	91	9	,	,	PUNCT
cbi-49	91	10	or	or	CCONJ
cbi-49	91	11	~93	~93	NUM
cbi-49	91	12	%	%	NOUN
cbi-49	91	13	.	.	PUNCT
cbi-49	92	1	appending	append	VERB
cbi-49	92	2	other	other	ADJ
cbi-49	92	3	features	feature	NOUN
cbi-49	92	4	on	on	ADP
cbi-49	92	5	to	to	ADP
cbi-49	92	6	this	this	DET
cbi-49	92	7	analysis	analysis	NOUN
cbi-49	92	8	will	will	AUX
cbi-49	92	9	require	require	VERB
cbi-49	92	10	more	more	ADJ
cbi-49	92	11	bits	bit	NOUN
cbi-49	92	12	.	.	PUNCT
cbi-49	93	1	examples	example	NOUN
cbi-49	93	2	are	be	AUX
cbi-49	93	3	:	:	PUNCT
cbi-49	93	4	•	•	ADP
cbi-49	93	5	a	a	DET
cbi-49	93	6	means	mean	NOUN
cbi-49	93	7	for	for	ADP
cbi-49	93	8	the	the	DET
cbi-49	93	9	information	information	NOUN
cbi-49	93	10	describing	describe	VERB
cbi-49	93	11	the	the	DET
cbi-49	93	12	betareduction	betareduction	NOUN
cbi-49	93	13	engine	engine	NOUN
cbi-49	93	14	in	in	ADP
cbi-49	93	15	the	the	DET
cbi-49	93	16	machine	machine	NOUN
cbi-49	93	17	space	space	NOUN
cbi-49	93	18	to	to	PART
cbi-49	93	19	be	be	AUX
cbi-49	93	20	also	also	ADV
cbi-49	93	21	expressed	express	VERB
cbi-49	93	22	in	in	ADP
cbi-49	93	23	the	the	DET
cbi-49	93	24	information	information	NOUN
cbi-49	93	25	space	space	NOUN
cbi-49	93	26	.	.	PUNCT
cbi-49	94	1	•	•	NUM
cbi-49	94	2	a	a	DET
cbi-49	94	3	means	mean	NOUN
cbi-49	94	4	for	for	SCONJ
cbi-49	94	5	the	the	DET
cbi-49	94	6	information	information	NOUN
cbi-49	94	7	expressed	express	VERB
cbi-49	94	8	in	in	ADP
cbi-49	94	9	the	the	DET
cbi-49	94	10	information	information	NOUN
cbi-49	94	11	space	space	NOUN
cbi-49	94	12	to	to	PART
cbi-49	94	13	be	be	AUX
cbi-49	94	14	realized	realize	VERB
cbi-49	94	15	in	in	ADP
cbi-49	94	16	the	the	DET
cbi-49	94	17	machine	machine	NOUN
cbi-49	94	18	space	space	NOUN
cbi-49	94	19	,	,	PUNCT
cbi-49	94	20	they	they	PRON
cbi-49	94	21	way	way	VERB
cbi-49	94	22	a	a	DET
cbi-49	94	23	genotype	genotype	NOUN
cbi-49	94	24	becomes	become	VERB
cbi-49	94	25	a	a	DET
cbi-49	94	26	phenotype	phenotype	NOUN
cbi-49	94	27	in	in	ADP
cbi-49	94	28	life	life	NOUN
cbi-49	94	29	.	.	PUNCT
cbi-49	95	1	•	•	ADP
cbi-49	95	2	a	a	DET
cbi-49	95	3	means	means	NOUN
cbi-49	95	4	to	to	PART
cbi-49	95	5	operate	operate	VERB
cbi-49	95	6	on	on	ADP
cbi-49	95	7	more	more	ADJ
cbi-49	95	8	than	than	ADP
cbi-49	95	9	the	the	DET
cbi-49	95	10	first	first	ADJ
cbi-49	95	11	element	element	NOUN
cbi-49	95	12	in	in	ADP
cbi-49	95	13	the	the	DET
cbi-49	95	14	list	list	NOUN
cbi-49	95	15	to	to	PART
cbi-49	95	16	allow	allow	VERB
cbi-49	95	17	population	population	NOUN
cbi-49	95	18	growth	growth	NOUN
cbi-49	95	19	that	that	PRON
cbi-49	95	20	approaches	approach	VERB
cbi-49	95	21	exponential	exponential	NOUN
cbi-49	95	22	.	.	PUNCT
cbi-49	96	1	this	this	PRON
cbi-49	96	2	will	will	AUX
cbi-49	96	3	require	require	VERB
cbi-49	96	4	information	information	NOUN
cbi-49	96	5	to	to	PART
cbi-49	96	6	describe	describe	VERB
cbi-49	96	7	recursion	recursion	NOUN
cbi-49	96	8	on	on	ADP
cbi-49	96	9	the	the	DET
cbi-49	96	10	tail	tail	NOUN
cbi-49	96	11	function	function	NOUN
cbi-49	96	12	.	.	PUNCT
cbi-49	97	1	•	•	ADP
cbi-49	97	2	a	a	DET
cbi-49	97	3	means	means	NOUN
cbi-49	97	4	to	to	PART
cbi-49	97	5	store	store	VERB
cbi-49	97	6	the	the	DET
cbi-49	97	7	information	information	NOUN
cbi-49	97	8	and	and	CCONJ
cbi-49	97	9	the	the	DET
cbi-49	97	10	betareduction	betareduction	NOUN
cbi-49	97	11	engine	engine	NOUN
cbi-49	97	12	in	in	ADP
cbi-49	97	13	the	the	DET
cbi-49	97	14	physical	physical	ADJ
cbi-49	97	15	world	world	NOUN
cbi-49	97	16	.	.	PUNCT
cbi-49	98	1	although	although	SCONJ
cbi-49	98	2	these	these	PRON
cbi-49	98	3	are	be	AUX
cbi-49	98	4	needed	need	VERB
cbi-49	98	5	and	and	CCONJ
cbi-49	98	6	may	may	AUX
cbi-49	98	7	well	well	ADV
cbi-49	98	8	push	push	VERB
cbi-49	98	9	the	the	DET
cbi-49	98	10	information	information	NOUN
cbi-49	98	11	needs	need	VERB
cbi-49	98	12	above	above	ADP
cbi-49	98	13	700	700	NUM
cbi-49	98	14	bits	bit	NOUN
cbi-49	98	15	,	,	PUNCT
cbi-49	98	16	they	they	PRON
cbi-49	98	17	are	be	AUX
cbi-49	98	18	beyond	beyond	ADP
cbi-49	98	19	the	the	DET
cbi-49	98	20	scope	scope	NOUN
cbi-49	98	21	of	of	ADP
cbi-49	98	22	this	this	DET
cbi-49	98	23	analysis	analysis	NOUN
cbi-49	98	24	.	.	PUNCT
cbi-49	99	1	this	this	DET
cbi-49	99	2	analysis	analysis	NOUN
cbi-49	99	3	does	do	AUX
cbi-49	99	4	not	not	PART
cbi-49	99	5	rule	rule	VERB
cbi-49	99	6	out	out	ADP
cbi-49	99	7	a	a	DET
cbi-49	99	8	single	single	ADJ
cbi-49	99	9	instance	instance	NOUN
cbi-49	99	10	of	of	ADP
cbi-49	99	11	the	the	DET
cbi-49	99	12	spontaneous	spontaneous	ADJ
cbi-49	99	13	generation	generation	NOUN
cbi-49	99	14	of	of	ADP
cbi-49	99	15	a	a	DET
cbi-49	99	16	self	self	NOUN
cbi-49	99	17	-	-	PUNCT
cbi-49	99	18	replicating	replicate	VERB
cbi-49	99	19	system	system	NOUN
cbi-49	99	20	somewhere	somewhere	ADV
cbi-49	99	21	in	in	ADP
cbi-49	99	22	the	the	DET
cbi-49	99	23	universe	universe	NOUN
cbi-49	99	24	.	.	PUNCT
cbi-49	100	1	it	it	PRON
cbi-49	100	2	does	do	AUX
cbi-49	100	3	,	,	PUNCT
cbi-49	100	4	however	however	ADV
cbi-49	100	5	,	,	PUNCT
cbi-49	100	6	suggest	suggest	VERB
cbi-49	100	7	that	that	SCONJ
cbi-49	100	8	this	this	PRON
cbi-49	100	9	is	be	AUX
cbi-49	100	10	an	an	DET
cbi-49	100	11	extraordinarily	extraordinarily	ADV
cbi-49	100	12	rare	rare	ADJ
cbi-49	100	13	event	event	NOUN
cbi-49	100	14	.	.	PUNCT
cbi-49	101	1	this	this	DET
cbi-49	101	2	analysis	analysis	NOUN
cbi-49	101	3	suggests	suggest	VERB
cbi-49	101	4	that	that	SCONJ
cbi-49	101	5	there	there	PRON
cbi-49	101	6	is	be	VERB
cbi-49	101	7	less	less	ADJ
cbi-49	101	8	than	than	ADP
cbi-49	101	9	50	50	NUM
cbi-49	101	10	%	%	NOUN
cbi-49	101	11	likelihood	likelihood	NOUN
cbi-49	101	12	that	that	SCONJ
cbi-49	101	13	10	10	NUM
cbi-49	101	14	self	self	NOUN
cbi-49	101	15	-	-	PUNCT
cbi-49	101	16	replicating	replicate	VERB
cbi-49	101	17	systems	system	NOUN
cbi-49	101	18	have	have	AUX
cbi-49	101	19	spontaneously	spontaneously	ADV
cbi-49	101	20	generated	generate	VERB
cbi-49	101	21	in	in	ADP
cbi-49	101	22	the	the	DET
cbi-49	101	23	universe	universe	NOUN
cbi-49	101	24	.	.	PUNCT
cbi-49	102	1	given	give	VERB
cbi-49	102	2	the	the	DET
cbi-49	102	3	vastness	vastness	NOUN
cbi-49	102	4	of	of	ADP
cbi-49	102	5	the	the	DET
cbi-49	102	6	spacetime	spacetime	NOUN
cbi-49	102	7	of	of	ADP
cbi-49	102	8	the	the	DET
cbi-49	102	9	universe	universe	NOUN
cbi-49	102	10	,	,	PUNCT
cbi-49	102	11	an	an	DET
cbi-49	102	12	implication	implication	NOUN
cbi-49	102	13	is	be	AUX
cbi-49	102	14	that	that	SCONJ
cbi-49	102	15	any	any	DET
cbi-49	102	16	evidence	evidence	NOUN
cbi-49	102	17	of	of	ADP
cbi-49	102	18	extra	extra	ADJ
cbi-49	102	19	-	-	ADJ
cbi-49	102	20	terrestrial	terrestrial	ADJ
cbi-49	102	21	life	life	NOUN
cbi-49	102	22	would	would	AUX
cbi-49	102	23	be	be	AUX
cbi-49	102	24	evidence	evidence	NOUN
cbi-49	102	25	of	of	ADP
cbi-49	102	26	transpermia	transpermia	NOUN
cbi-49	102	27	.	.	PUNCT
cbi-49	103	1	bruijn	bruijn	NOUN
cbi-49	103	2	,	,	PUNCT
cbi-49	103	3	n	n	CCONJ
cbi-49	103	4	g	g	PROPN
cbi-49	103	5	de	de	X
cbi-49	103	6	(	(	PUNCT
cbi-49	103	7	1972	1972	NUM
cbi-49	103	8	)	)	PUNCT
cbi-49	103	9	.	.	PUNCT
cbi-49	104	1	“	"	PUNCT
cbi-49	104	2	lambda	lambda	ADJ
cbi-49	104	3	calculus	calculus	NOUN
cbi-49	104	4	notation	notation	NOUN
cbi-49	104	5	with	with	ADP
cbi-49	104	6	nameless	nameless	ADJ
cbi-49	104	7	dummies	dummy	NOUN
cbi-49	104	8	,	,	PUNCT
cbi-49	104	9	a	a	DET
cbi-49	104	10	tool	tool	NOUN
cbi-49	104	11	for	for	ADP
cbi-49	104	12	automatic	automatic	ADJ
cbi-49	104	13	formula	formula	NOUN
cbi-49	104	14	manipulation	manipulation	NOUN
cbi-49	104	15	,	,	PUNCT
cbi-49	104	16	with	with	ADP
cbi-49	104	17	application	application	NOUN
cbi-49	104	18	to	to	ADP
cbi-49	104	19	the	the	DET
cbi-49	104	20	church	church	NOUN
cbi-49	104	21	-	-	PUNCT
cbi-49	104	22	rosser	rosser	NOUN
cbi-49	104	23	theorem	theorem	PROPN
cbi-49	104	24	”	"	PUNCT
cbi-49	104	25	.	.	PUNCT
cbi-49	105	1	in	in	ADP
cbi-49	105	2	:	:	PUNCT
cbi-49	105	3	indagationes	indagatione	NOUN
cbi-49	105	4	mathematicae	mathematicae	VERB
cbi-49	105	5	75	75	NUM
cbi-49	105	6	(	(	PUNCT
cbi-49	105	7	5	5	NUM
cbi-49	105	8	)	)	PUNCT
cbi-49	105	9	,	,	PUNCT
cbi-49	105	10	pp	pp	ADJ
cbi-49	105	11	.	.	PUNCT
cbi-49	105	12	381	381	NUM
cbi-49	105	13	–	–	PUNCT
cbi-49	105	14	392	392	NUM
cbi-49	105	15	.	.	X
cbi-49	105	16	url	url	PROPN
cbi-49	105	17	:	:	PUNCT
cbi-49	105	18	http://alexandria.tue.nl/repository/	http://alexandria.tue.nl/repository/	PROPN
cbi-49	105	19	freearticles/597619.pdf	freearticles/597619.pdf	PROPN
cbi-49	105	20	.	.	PUNCT
cbi-49	105	21	dembski	dembski	PROPN
cbi-49	105	22	,	,	PUNCT
cbi-49	105	23	w	w	ADP
cbi-49	105	24	a	a	DET
cbi-49	105	25	(	(	PUNCT
cbi-49	105	26	1998	1998	NUM
cbi-49	105	27	)	)	PUNCT
cbi-49	105	28	.	.	PUNCT
cbi-49	106	1	the	the	DET
cbi-49	106	2	design	design	NOUN
cbi-49	106	3	inference	inference	NOUN
cbi-49	106	4	:	:	PUNCT
cbi-49	106	5	eliminating	eliminate	VERB
cbi-49	106	6	chance	chance	NOUN
cbi-49	106	7	through	through	ADP
cbi-49	106	8	small	small	ADJ
cbi-49	106	9	probabilities	probability	NOUN
cbi-49	106	10	.	.	PUNCT
cbi-49	107	1	cambridge	cambridge	PROPN
cbi-49	107	2	:	:	PUNCT
cbi-49	107	3	cambridge	cambridge	PROPN
cbi-49	107	4	university	university	PROPN
cbi-49	107	5	press	press	NOUN
cbi-49	107	6	.	.	PUNCT
cbi-49	108	1	larkin	larkin	PROPN
cbi-49	108	2	,	,	PUNCT
cbi-49	108	3	j	j	PROPN
cbi-49	108	4	and	and	CCONJ
cbi-49	108	5	p	p	PROPN
cbi-49	108	6	stocks	stock	NOUN
cbi-49	108	7	(	(	PUNCT
cbi-49	108	8	2004	2004	NUM
cbi-49	108	9	)	)	PUNCT
cbi-49	108	10	.	.	PUNCT
cbi-49	109	1	“	"	PUNCT
cbi-49	109	2	self	self	NOUN
cbi-49	109	3	-	-	PUNCT
cbi-49	109	4	replicating	replicate	VERB
cbi-49	109	5	expressions	expression	NOUN
cbi-49	109	6	in	in	ADP
cbi-49	109	7	the	the	DET
cbi-49	109	8	lambda	lambda	ADJ
cbi-49	109	9	calculus	calculus	NOUN
cbi-49	109	10	”	"	PUNCT
cbi-49	109	11	.	.	PUNCT
cbi-49	110	1	in	in	ADP
cbi-49	110	2	:	:	PUNCT
cbi-49	110	3	proceedings	proceeding	NOUN
cbi-49	110	4	of	of	ADP
cbi-49	110	5	the	the	DET
cbi-49	110	6	twenty	twenty	NUM
cbi-49	110	7	-	-	PUNCT
cbi-49	110	8	seventh	seventh	ADJ
cbi-49	110	9	australasian	australasian	ADJ
cbi-49	110	10	computer	computer	NOUN
cbi-49	110	11	science	science	NOUN
cbi-49	110	12	conference	conference	NOUN
cbi-49	110	13	(	(	PUNCT
cbi-49	110	14	acsc2004	acsc2004	PROPN
cbi-49	110	15	)	)	PUNCT
cbi-49	110	16	.	.	PUNCT
cbi-49	111	1	ed	ed	NOUN
cbi-49	111	2	.	.	PUNCT
cbi-49	112	1	by	by	ADP
cbi-49	112	2	v	v	NUM
cbi-49	112	3	estivill	estivill	NOUN
cbi-49	112	4	-	-	PUNCT
cbi-49	112	5	castro	castro	PROPN
cbi-49	112	6	.	.	PUNCT
cbi-49	113	1	dunein	dunein	ADV
cbi-49	113	2	,	,	PUNCT
cbi-49	113	3	new	new	PROPN
cbi-49	113	4	zealand	zealand	PROPN
cbi-49	113	5	,	,	PUNCT
cbi-49	113	6	pp	pp	X
cbi-49	113	7	.	.	PUNCT
cbi-49	114	1	167–173	167–173	NUM
cbi-49	114	2	.	.	PUNCT
cbi-49	115	1	lloyd	lloyd	PROPN
cbi-49	115	2	,	,	PUNCT
cbi-49	115	3	s	s	PART
cbi-49	115	4	(	(	PUNCT
cbi-49	115	5	2002	2002	NUM
cbi-49	115	6	)	)	PUNCT
cbi-49	115	7	.	.	PUNCT
cbi-49	116	1	“	"	PUNCT
cbi-49	116	2	the	the	DET
cbi-49	116	3	computational	computational	ADJ
cbi-49	116	4	universe	universe	NOUN
cbi-49	116	5	”	"	PUNCT
cbi-49	116	6	.	.	PUNCT
cbi-49	117	1	in	in	ADP
cbi-49	117	2	:	:	PUNCT
cbi-49	117	3	edge.org	edge.org	X
cbi-49	117	4	.	.	PROPN
cbi-49	117	5	url	url	PROPN
cbi-49	117	6	:	:	PUNCT
cbi-49	117	7	https	https	NOUN
cbi-49	117	8	:	:	PUNCT
cbi-49	117	9	/	/	SYM
cbi-49	117	10	/	/	SYM
cbi-49	117	11	www	www	NOUN
cbi-49	117	12	.	.	PUNCT
cbi-49	117	13	edge	edge	NOUN
cbi-49	117	14	.	.	PUNCT
cbi-49	117	15	org	org	NOUN
cbi-49	117	16	/	/	SYM
cbi-49	117	17	conversation	conversation	NOUN
cbi-49	117	18	/	/	SYM
cbi-49	117	19	seth%5c_lloyd	seth%5c_lloyd	PROPN
cbi-49	117	20	-	-	PUNCT
cbi-49	117	21	the	the	DET
cbi-49	117	22	-	-	PUNCT
cbi-49	117	23	computationaluniverse	computationaluniverse	NOUN
cbi-49	117	24	.	.	PUNCT
cbi-49	118	1	mogensen	mogensen	PROPN
cbi-49	118	2	,	,	PUNCT
cbi-49	118	3	t	t	PROPN
cbi-49	118	4	(	(	PUNCT
cbi-49	118	5	1994	1994	NUM
cbi-49	118	6	)	)	PUNCT
cbi-49	118	7	.	.	PUNCT
cbi-49	119	1	“	"	PUNCT
cbi-49	119	2	efficient	efficient	ADJ
cbi-49	119	3	self	self	NOUN
cbi-49	119	4	-	-	PUNCT
cbi-49	119	5	interpretation	interpretation	NOUN
cbi-49	119	6	in	in	ADP
cbi-49	119	7	lambda	lambda	ADJ
cbi-49	119	8	calculus	calculus	NOUN
cbi-49	119	9	”	"	PUNCT
cbi-49	119	10	.	.	PUNCT
cbi-49	120	1	in	in	ADP
cbi-49	120	2	:	:	PUNCT
cbi-49	120	3	journal	journal	NOUN
cbi-49	120	4	of	of	ADP
cbi-49	120	5	functional	functional	ADJ
cbi-49	120	6	programming	programming	NOUN
cbi-49	120	7	2.3	2.3	NUM
cbi-49	120	8	.	.	PUNCT
cbi-49	121	1	tromp	tromp	PROPN
cbi-49	121	2	,	,	PUNCT
cbi-49	121	3	j	j	PROPN
cbi-49	121	4	(	(	PUNCT
cbi-49	121	5	2007	2007	NUM
cbi-49	121	6	)	)	PUNCT
cbi-49	121	7	.	.	PUNCT
cbi-49	122	1	“	"	PUNCT
cbi-49	122	2	binary	binary	ADJ
cbi-49	122	3	lambda	lambda	NOUN
cbi-49	122	4	calculus	calculus	NOUN
cbi-49	122	5	and	and	CCONJ
cbi-49	122	6	combinatory	combinatory	ADJ
cbi-49	122	7	logic	logic	NOUN
cbi-49	122	8	”	"	PUNCT
cbi-49	122	9	.	.	PUNCT
cbi-49	123	1	in	in	ADP
cbi-49	123	2	:	:	PUNCT
cbi-49	123	3	randomness	randomness	NOUN
cbi-49	123	4	and	and	CCONJ
cbi-49	123	5	complexity	complexity	NOUN
cbi-49	123	6	,	,	PUNCT
cbi-49	123	7	from	from	ADP
cbi-49	123	8	leibniz	leibniz	PROPN
cbi-49	123	9	to	to	ADP
cbi-49	123	10	chaitin	chaitin	PROPN
cbi-49	123	11	.	.	PUNCT
cbi-49	124	1	ed	ed	NOUN
cbi-49	124	2	.	.	PUNCT
cbi-49	125	1	by	by	ADP
cbi-49	125	2	c	c	PROPN
cbi-49	125	3	s	s	PROPN
cbi-49	125	4	calude	calude	ADJ
cbi-49	125	5	.	.	PUNCT
cbi-49	126	1	world	world	NOUN
cbi-49	126	2	scientific	scientific	ADJ
cbi-49	126	3	publishing	publishing	NOUN
cbi-49	126	4	company	company	NOUN
cbi-49	126	5	,	,	PUNCT
cbi-49	126	6	pp	pp	ADV
cbi-49	126	7	.	.	PUNCT
cbi-49	127	1	237–260	237–260	NUM
cbi-49	127	2	.	.	PUNCT