Index of /~mptp/8.1.08_5.50.1318/prel/m

	Name	Last modified	Size	Description
	Parent Directory		-
	margrel1.dcl	2018-05-15 11:47	5.9K
	margrel1.dco	2018-05-15 11:47	11K
	margrel1.def	2018-05-15 11:47	20K
	margrel1.dfr	2018-05-15 11:47	1.6K
	margrel1.dno	2018-05-15 11:47	15K
	margrel1.sch	2018-05-15 11:47	3.7K
	margrel1.the	2018-05-15 11:47	44K
	mathmorp.dco	2018-05-15 11:47	5.7K
	mathmorp.def	2018-05-15 11:47	11K
	mathmorp.dfr	2018-05-15 11:47	1.8K
	mathmorp.dno	2018-05-15 11:47	9.2K
	mathmorp.the	2018-05-15 11:47	80K
	matrix10.dcl	2018-05-15 11:47	6.9K
	matrix10.dco	2018-05-15 11:47	7.1K
	matrix10.def	2018-05-15 11:47	7.3K
	matrix10.dfr	2018-05-15 11:47	1.3K
	matrix10.dno	2018-05-15 11:47	8.1K
	matrix10.the	2018-05-15 11:47	98K
	matrix11.dcl	2018-05-15 11:47	6.9K
	matrix11.dco	2018-05-15 11:47	5.7K
	matrix11.def	2018-05-15 11:47	12K
	matrix11.dfr	2018-05-15 11:47	1.0K
	matrix11.dno	2018-05-15 11:47	6.4K
	matrix11.the	2018-05-15 11:47	143K
	matrix12.dco	2018-05-15 11:47	8.5K
	matrix12.def	2018-05-15 11:47	20K
	matrix12.dfr	2018-05-15 11:47	1.0K
	matrix12.dno	2018-05-15 11:47	15K
	matrix12.the	2018-05-15 11:47	71K
	matrix13.dcl	2018-05-15 11:47	5.2K
	matrix13.dco	2018-05-15 11:47	9.6K
	matrix13.def	2018-05-15 11:47	10K
	matrix13.dfr	2018-05-15 11:47	1.6K
	matrix13.dno	2018-05-15 11:47	12K
	matrix13.the	2018-05-15 11:47	225K
	matrix14.dco	2018-05-15 11:47	3.2K
	matrix14.def	2018-05-15 11:47	3.7K
	matrix14.dfr	2018-05-15 11:47	1.8K
	matrix14.dno	2018-05-15 11:47	6.1K
	matrix14.the	2018-05-15 11:47	93K
	matrix15.dcl	2018-05-15 11:47	2.6K
	matrix15.dco	2018-05-15 11:47	6.6K
	matrix15.def	2018-05-15 11:47	6.9K
	matrix15.dfr	2018-05-15 11:47	906
	matrix15.dno	2018-05-15 11:47	6.8K
	matrix15.sch	2018-05-15 11:47	15K
	matrix15.the	2018-05-15 11:47	132K
	matrix16.dcl	2018-05-15 11:47	6.6K
	matrix16.dco	2018-05-15 11:47	6.8K
	matrix16.def	2018-05-15 11:47	13K
	matrix16.dfr	2018-05-15 11:47	1.0K
	matrix16.dno	2018-05-15 11:47	7.1K
	matrix16.the	2018-05-15 11:47	108K
	matrix17.dcl	2018-05-15 11:47	42K
	matrix17.dco	2018-05-15 11:47	5.6K
	matrix17.def	2018-05-15 11:47	11K
	matrix17.dfr	2018-05-15 11:47	700
	matrix17.dno	2018-05-15 11:47	5.2K
	matrix17.the	2018-05-15 11:47	38K
	matrix_0.dcl	2018-05-15 11:47	5.2K
	matrix_0.dco	2018-05-15 11:47	10K
	matrix_0.def	2018-05-15 11:47	14K
	matrix_0.dfr	2018-05-15 11:47	3.0K
	matrix_0.dno	2018-05-15 11:47	15K
	matrix_0.sch	2018-05-15 11:47	3.4K
	matrix_0.the	2018-05-15 11:47	86K
	matrix_1.dcl	2018-05-15 11:47	5.6K
	matrix_1.dco	2018-05-15 11:47	12K
	matrix_1.def	2018-05-15 11:47	23K
	matrix_1.dfr	2018-05-15 11:47	2.2K
	matrix_1.dno	2018-05-15 11:47	15K
	matrix_1.the	2018-05-15 11:47	46K
	matrix_3.dco	2018-05-15 11:47	12K
	matrix_3.def	2018-05-15 11:47	17K
	matrix_3.dfr	2018-05-15 11:47	962
	matrix_3.dno	2018-05-15 11:47	13K
	matrix_3.the	2018-05-15 11:47	77K
	matrix_4.dco	2018-05-15 11:47	1.8K
	matrix_4.def	2018-05-15 11:47	2.1K
	matrix_4.dno	2018-05-15 11:47	2.1K
	matrix_4.the	2018-05-15 11:47	91K
	matrix_5.dco	2018-05-15 11:47	4.7K
	matrix_5.def	2018-05-15 11:47	6.5K
	matrix_5.dfr	2018-05-15 11:47	546
	matrix_5.dno	2018-05-15 11:47	6.0K
	matrix_5.the	2018-05-15 11:47	24K
	matrix_6.dcl	2018-05-15 11:47	10K
	matrix_6.dco	2018-05-15 11:47	8.3K
	matrix_6.def	2018-05-15 11:47	9.6K
	matrix_6.dfr	2018-05-15 11:47	1.9K
	matrix_6.dno	2018-05-15 11:47	8.8K
	matrix_6.the	2018-05-15 11:47	88K
	matrix_7.dco	2018-05-15 11:47	4.3K
	matrix_7.def	2018-05-15 11:47	4.2K
	matrix_7.dfr	2018-05-15 11:47	434
	matrix_7.dno	2018-05-15 11:47	4.8K
	matrix_7.the	2018-05-15 11:47	38K
	matrix_8.dcl	2018-05-15 11:47	2.6K
	matrix_8.dco	2018-05-15 11:47	8.1K
	matrix_8.def	2018-05-15 11:47	9.8K
	matrix_8.dfr	2018-05-15 11:47	1.3K
	matrix_8.dno	2018-05-15 11:47	8.2K
	matrix_8.the	2018-05-15 11:47	89K
	matrix_9.dcl	2018-05-15 11:47	5.5K
	matrix_9.dco	2018-05-15 11:47	2.9K
	matrix_9.def	2018-05-15 11:47	4.3K
	matrix_9.dfr	2018-05-15 11:47	794
	matrix_9.dno	2018-05-15 11:47	3.3K
	matrix_9.sch	2018-05-15 11:47	2.3K
	matrix_9.the	2018-05-15 11:47	80K
	matrixc1.dco	2018-05-15 11:47	5.5K
	matrixc1.def	2018-05-15 11:47	12K
	matrixc1.dfr	2018-05-15 11:47	826
	matrixc1.dno	2018-05-15 11:47	6.5K
	matrixc1.the	2018-05-15 11:47	58K
	matrixj1.dcl	2018-05-15 11:47	5.2K
	matrixj1.dco	2018-05-15 11:47	21K
	matrixj1.def	2018-05-15 11:47	20K
	matrixj1.dfr	2018-05-15 11:47	1.0K
	matrixj1.dno	2018-05-15 11:47	24K
	matrixj1.the	2018-05-15 11:47	137K
	matrixj2.dcl	2018-05-15 11:47	8.0K
	matrixj2.dco	2018-05-15 11:47	11K
	matrixj2.def	2018-05-15 11:47	9.4K
	matrixj2.dfr	2018-05-15 11:47	1.3K
	matrixj2.dno	2018-05-15 11:47	13K
	matrixj2.the	2018-05-15 11:47	89K
	matrixr1.dco	2018-05-15 11:47	5.4K
	matrixr1.def	2018-05-15 11:47	9.7K
	matrixr1.dfr	2018-05-15 11:47	658
	matrixr1.dno	2018-05-15 11:47	6.5K
	matrixr1.the	2018-05-15 11:47	64K
	matrixr2.dcl	2018-05-15 11:47	1.3K
	matrixr2.dco	2018-05-15 11:47	5.2K
	matrixr2.def	2018-05-15 11:47	5.6K
	matrixr2.dfr	2018-05-15 11:47	1.2K
	matrixr2.dno	2018-05-15 11:47	6.2K
	matrixr2.the	2018-05-15 11:47	98K
	matrlin.dcl	2018-05-15 11:47	2.5K
	matrlin.dco	2018-05-15 11:47	13K
	matrlin.def	2018-05-15 11:47	16K
	matrlin.dfr	2018-05-15 11:47	1.2K
	matrlin.dno	2018-05-15 11:47	15K
	matrlin.the	2018-05-15 11:47	100K
	matrlin2.dcl	2018-05-15 11:47	8.6K
	matrlin2.dco	2018-05-15 11:47	17K
	matrlin2.def	2018-05-15 11:47	7.6K
	matrlin2.dfr	2018-05-15 11:47	490
	matrlin2.dno	2018-05-15 11:47	16K
	matrlin2.the	2018-05-15 11:47	109K
	matroid0.dcl	2018-05-15 11:47	12K
	matroid0.dco	2018-05-15 11:47	6.4K
	matroid0.def	2018-05-15 11:47	13K
	matroid0.dfr	2018-05-15 11:47	1.6K
	matroid0.dno	2018-05-15 11:47	9.9K
	matroid0.the	2018-05-15 11:47	61K
	matrprob.dcl	2018-05-15 11:47	5.8K
	matrprob.dco	2018-05-15 11:47	5.0K
	matrprob.def	2018-05-15 11:47	8.5K
	matrprob.dfr	2018-05-15 11:47	1.2K
	matrprob.dno	2018-05-15 11:47	8.1K
	matrprob.the	2018-05-15 11:47	76K
	matrtop1.dcl	2018-05-15 11:47	9.5K
	matrtop1.dco	2018-05-15 11:47	2.9K
	matrtop1.def	2018-05-15 11:47	4.6K
	matrtop1.dfr	2018-05-15 11:47	796
	matrtop1.dno	2018-05-15 11:47	3.1K
	matrtop1.the	2018-05-15 11:47	68K
	matrtop2.dcl	2018-05-15 11:47	2.3K
	matrtop2.the	2018-05-15 11:47	41K
	matrtop3.dcl	2018-05-15 11:47	20K
	matrtop3.dco	2018-05-15 11:47	6.5K
	matrtop3.def	2018-05-15 11:47	13K
	matrtop3.dfr	2018-05-15 11:47	1.0K
	matrtop3.dno	2018-05-15 11:47	5.6K
	matrtop3.the	2018-05-15 11:47	77K
	mazurulm.dcl	2018-05-15 11:47	22K
	mazurulm.dco	2018-05-15 11:47	4.3K
	mazurulm.def	2018-05-15 11:47	7.3K
	mazurulm.dfr	2018-05-15 11:47	1.1K
	mazurulm.dno	2018-05-15 11:47	4.1K
	mazurulm.the	2018-05-15 11:47	38K
	mboolean.dcl	2018-05-15 11:47	1.4K
	mboolean.dco	2018-05-15 11:47	1.3K
	mboolean.def	2018-05-15 11:47	2.2K
	mboolean.dno	2018-05-15 11:47	1.7K
	mboolean.the	2018-05-15 11:47	35K
	mcart_1.dcl	2018-05-15 11:47	1.7K
	mcart_1.dco	2018-05-15 11:47	7.8K
	mcart_1.def	2018-05-15 11:47	11K
	mcart_1.dfr	2018-05-15 11:47	715
	mcart_1.dno	2018-05-15 11:47	8.8K
	mcart_1.sch	2018-05-15 11:47	1.6K
	mcart_1.the	2018-05-15 11:47	80K
	measur10.dcl	2018-05-15 11:47	2.1K
	measur10.dco	2018-05-15 11:47	10K
	measur10.def	2018-05-15 11:47	11K
	measur10.dfr	2018-05-15 11:47	728
	measur10.dno	2018-05-15 11:47	9.5K
	measur10.the	2018-05-15 11:47	66K
	measur11.dcl	2018-05-15 11:47	4.7K
	measur11.dco	2018-05-15 11:47	25K
	measur11.def	2018-05-15 11:47	24K
	measur11.dfr	2018-05-15 11:47	952
	measur11.dno	2018-05-15 11:47	25K
	measur11.the	2018-05-15 11:47	303K
	measure1.dcl	2018-05-15 11:47	9.0K
	measure1.dco	2018-05-15 11:47	8.4K
	measure1.def	2018-05-15 11:47	9.2K
	measure1.dfr	2018-05-15 11:47	1.0K
	measure1.dno	2018-05-15 11:47	13K
	measure1.sch	2018-05-15 11:47	1.2K
	measure1.the	2018-05-15 11:47	54K
	measure2.dcl	2018-05-15 11:47	1.8K
	measure2.dco	2018-05-15 11:47	3.7K
	measure2.def	2018-05-15 11:47	4.3K
	measure2.dfr	2018-05-15 11:47	810
	measure2.dno	2018-05-15 11:47	4.6K
	measure2.the	2018-05-15 11:47	44K
	measure3.dcl	2018-05-15 11:47	1.9K
	measure3.dco	2018-05-15 11:47	6.8K
	measure3.def	2018-05-15 11:47	9.6K
	measure3.dfr	2018-05-15 11:47	686
	measure3.dno	2018-05-15 11:47	7.2K
	measure3.the	2018-05-15 11:47	54K
	measure4.dcl	2018-05-15 11:47	1.9K
	measure4.dco	2018-05-15 11:47	2.7K
	measure4.def	2018-05-15 11:47	6.1K
	measure4.dfr	2018-05-15 11:47	532
	measure4.dno	2018-05-15 11:47	2.6K
	measure4.the	2018-05-15 11:47	24K
	measure5.dcl	2018-05-15 11:47	2.7K
	measure5.dco	2018-05-15 11:47	2.2K
	measure5.def	2018-05-15 11:47	4.6K
	measure5.dfr	2018-05-15 11:47	728
	measure5.dno	2018-05-15 11:47	3.6K
	measure5.sch	2018-05-15 11:47	1.4K
	measure5.the	2018-05-15 11:47	17K
	measure6.dcl	2018-05-15 11:47	4.5K
	measure6.dco	2018-05-15 11:47	7.1K
	measure6.def	2018-05-15 11:47	8.0K
	measure6.dfr	2018-05-15 11:47	1.2K
	measure6.dno	2018-05-15 11:47	10K
	measure6.the	2018-05-15 11:47	55K
	measure7.dcl	2018-05-15 11:47	1.3K
	measure7.dco	2018-05-15 11:47	9.9K
	measure7.def	2018-05-15 11:47	15K
	measure7.dfr	2018-05-15 11:47	1.4K
	measure7.dno	2018-05-15 11:47	8.6K
	measure7.the	2018-05-15 11:47	36K
	measure8.dcl	2018-05-15 11:47	3.5K
	measure8.dco	2018-05-15 11:47	17K
	measure8.def	2018-05-15 11:47	18K
	measure8.dfr	2018-05-15 11:47	1.5K
	measure8.dno	2018-05-15 11:47	19K
	measure8.the	2018-05-15 11:47	66K
	measure9.dcl	2018-05-15 11:47	8.6K
	measure9.dco	2018-05-15 11:47	8.0K
	measure9.def	2018-05-15 11:47	15K
	measure9.dfr	2018-05-15 11:47	1.0K
	measure9.dno	2018-05-15 11:47	8.0K
	measure9.the	2018-05-15 11:47	95K
	member_1.dcl	2018-05-15 11:47	37K
	member_1.dco	2018-05-15 11:47	8.3K
	member_1.def	2018-05-15 11:47	13K
	member_1.dfr	2018-05-15 11:47	714
	member_1.did	2018-05-15 11:47	6.5K
	member_1.dno	2018-05-15 11:47	10K
	member_1.the	2018-05-15 11:47	139K
	membered.dcl	2018-05-15 11:47	21K
	membered.dco	2018-05-15 11:47	1.4K
	membered.def	2018-05-15 11:47	14K
	membered.dfr	2018-05-15 11:47	1.0K
	membered.dno	2018-05-15 11:47	9.1K
	membered.sch	2018-05-15 11:47	3.4K
	membered.the	2018-05-15 11:47	36K
	memstr_0.dcl	2018-05-15 11:47	27K
	memstr_0.dco	2018-05-15 11:47	15K
	memstr_0.def	2018-05-15 11:47	19K
	memstr_0.dfr	2018-05-15 11:47	3.7K
	memstr_0.dno	2018-05-15 11:47	19K
	memstr_0.the	2018-05-15 11:47	104K
	menelaus.dco	2018-05-15 11:47	1.6K
	menelaus.def	2018-05-15 11:47	2.3K
	menelaus.dfr	2018-05-15 11:47	793
	menelaus.dno	2018-05-15 11:47	2.8K
	menelaus.the	2018-05-15 11:47	46K
	mesfun6c.dcl	2018-05-15 11:47	2.1K
	mesfun6c.dco	2018-05-15 11:47	5.4K
	mesfun6c.def	2018-05-15 11:47	8.5K
	mesfun6c.dno	2018-05-15 11:47	6.8K
	mesfun6c.the	2018-05-15 11:47	83K
	mesfun7c.dcl	2018-05-15 11:47	4.5K
	mesfun7c.dco	2018-05-15 11:47	13K
	mesfun7c.def	2018-05-15 11:47	22K
	mesfun7c.dfr	2018-05-15 11:47	434
	mesfun7c.dno	2018-05-15 11:47	13K
	mesfun7c.the	2018-05-15 11:47	100K
	mesfun9c.dco	2018-05-15 11:47	6.3K
	mesfun9c.def	2018-05-15 11:47	14K
	mesfun9c.dfr	2018-05-15 11:47	434
	mesfun9c.dno	2018-05-15 11:47	6.0K
	mesfun9c.the	2018-05-15 11:47	108K
	mesfun10.dco	2018-05-15 11:47	2.0K
	mesfun10.def	2018-05-15 11:47	4.8K
	mesfun10.dfr	2018-05-15 11:47	476
	mesfun10.dno	2018-05-15 11:47	2.1K
	mesfun10.the	2018-05-15 11:47	48K
	mesfun11.dcl	2018-05-15 11:47	5.9K
	mesfun11.dco	2018-05-15 11:47	3.5K
	mesfun11.def	2018-05-15 11:47	3.9K
	mesfun11.dno	2018-05-15 11:47	3.4K
	mesfun11.the	2018-05-15 11:47	111K
	mesfun12.dco	2018-05-15 11:47	11K
	mesfun12.def	2018-05-15 11:47	17K
	mesfun12.dfr	2018-05-15 11:47	1.0K
	mesfun12.dno	2018-05-15 11:47	10K
	mesfun12.the	2018-05-15 11:47	219K
	mesfunc1.dcl	2018-05-15 11:47	1.2K
	mesfunc1.dco	2018-05-15 11:47	10K
	mesfunc1.def	2018-05-15 11:47	20K
	mesfunc1.dfr	2018-05-15 11:47	826
	mesfunc1.dno	2018-05-15 11:47	12K
	mesfunc1.the	2018-05-15 11:47	69K
	mesfunc2.dcl	2018-05-15 11:47	1.3K
	mesfunc2.dco	2018-05-15 11:47	3.5K
	mesfunc2.def	2018-05-15 11:47	6.1K
	mesfunc2.dfr	2018-05-15 11:47	892
	mesfunc2.dno	2018-05-15 11:47	5.0K
	mesfunc2.the	2018-05-15 11:47	40K
	mesfunc3.dco	2018-05-15 11:47	2.9K
	mesfunc3.def	2018-05-15 11:47	6.1K
	mesfunc3.dfr	2018-05-15 11:47	796
	mesfunc3.dno	2018-05-15 11:47	3.6K
	mesfunc3.the	2018-05-15 11:47	32K
	mesfunc4.the	2018-05-15 11:47	14K
	mesfunc5.dcl	2018-05-15 11:47	2.0K
	mesfunc5.dco	2018-05-15 11:47	14K
	mesfunc5.def	2018-05-15 11:47	23K
	mesfunc5.dfr	2018-05-15 11:47	1.9K
	mesfunc5.dno	2018-05-15 11:47	15K
	mesfunc5.the	2018-05-15 11:47	217K
	mesfunc6.dco	2018-05-15 11:47	5.4K
	mesfunc6.def	2018-05-15 11:47	7.9K
	mesfunc6.dno	2018-05-15 11:47	7.0K
	mesfunc6.the	2018-05-15 11:47	146K
	mesfunc7.dcl	2018-05-15 11:47	4.4K
	mesfunc7.dco	2018-05-15 11:47	2.6K
	mesfunc7.def	2018-05-15 11:47	4.4K
	mesfunc7.dfr	2018-05-15 11:47	836
	mesfunc7.dno	2018-05-15 11:47	3.5K
	mesfunc7.the	2018-05-15 11:47	35K
	mesfunc8.dcl	2018-05-15 11:47	2.7K
	mesfunc8.dco	2018-05-15 11:47	6.9K
	mesfunc8.def	2018-05-15 11:47	15K
	mesfunc8.dfr	2018-05-15 11:47	420
	mesfunc8.dno	2018-05-15 11:47	7.0K
	mesfunc8.the	2018-05-15 11:47	82K
	mesfunc9.dcl	2018-05-15 11:47	1.5K
	mesfunc9.dco	2018-05-15 11:47	9.7K
	mesfunc9.def	2018-05-15 11:47	13K
	mesfunc9.dfr	2018-05-15 11:47	850
	mesfunc9.dno	2018-05-15 11:47	9.4K
	mesfunc9.the	2018-05-15 11:47	109K
	metric_1.dcl	2018-05-15 11:47	4.7K
	metric_1.dco	2018-05-15 11:47	13K
	metric_1.def	2018-05-15 11:47	17K
	metric_1.dfr	2018-05-15 11:47	2.4K
	metric_1.dno	2018-05-15 11:47	13K
	metric_1.the	2018-05-15 11:47	49K
	metric_2.dcl	2018-05-15 11:47	1.6K
	metric_2.dco	2018-05-15 11:47	7.0K
	metric_2.def	2018-05-15 11:47	14K
	metric_2.dfr	2018-05-15 11:47	1.4K
	metric_2.dno	2018-05-15 11:47	7.0K
	metric_2.the	2018-05-15 11:47	47K
	metric_3.dcl	2018-05-15 11:47	1.2K
	metric_3.dco	2018-05-15 11:47	21K
	metric_3.def	2018-05-15 11:47	47K
	metric_3.dfr	2018-05-15 11:47	1.6K
	metric_3.dno	2018-05-15 11:47	14K
	metric_3.sch	2018-05-15 11:47	8.7K
	metric_3.the	2018-05-15 11:47	115K
	metric_6.dcl	2018-05-15 11:47	3.2K
	metric_6.dco	2018-05-15 11:47	5.7K
	metric_6.def	2018-05-15 11:47	9.9K
	metric_6.dfr	2018-05-15 11:47	658
	metric_6.dno	2018-05-15 11:47	6.1K
	metric_6.the	2018-05-15 11:47	46K
	metrizts.dcl	2018-05-15 11:47	9.1K
	metrizts.dco	2018-05-15 11:47	1.8K
	metrizts.def	2018-05-15 11:47	3.9K
	metrizts.dfr	2018-05-15 11:47	476
	metrizts.dno	2018-05-15 11:47	2.6K
	metrizts.the	2018-05-15 11:47	36K
	mfold_0.dcl	2018-05-15 11:47	15K
	mfold_0.dco	2018-05-15 11:47	4.1K
	mfold_0.def	2018-05-15 11:47	11K
	mfold_0.dfr	2018-05-15 11:47	1.0K
	mfold_0.dno	2018-05-15 11:47	6.3K
	mfold_0.the	2018-05-15 11:47	34K
	mfold_1.dcl	2018-05-15 11:47	6.9K
	mfold_1.dco	2018-05-15 11:47	2.2K
	mfold_1.def	2018-05-15 11:47	3.3K
	mfold_1.dfr	2018-05-15 11:47	517
	mfold_1.dno	2018-05-15 11:47	2.4K
	mfold_1.the	2018-05-15 11:47	18K
	mfold_2.dcl	2018-05-15 11:47	3.8K
	mfold_2.dco	2018-05-15 11:47	4.7K
	mfold_2.def	2018-05-15 11:47	7.1K
	mfold_2.dfr	2018-05-15 11:47	961
	mfold_2.dno	2018-05-15 11:47	4.7K
	mfold_2.the	2018-05-15 11:47	37K
	midsp_1.dcl	2018-05-15 11:47	2.2K
	midsp_1.dco	2018-05-15 11:47	10K
	midsp_1.def	2018-05-15 11:47	16K
	midsp_1.dfr	2018-05-15 11:47	2.2K
	midsp_1.dno	2018-05-15 11:47	12K
	midsp_1.the	2018-05-15 11:47	64K
	midsp_2.dcl	2018-05-15 11:47	3.6K
	midsp_2.dco	2018-05-15 11:47	14K
	midsp_2.def	2018-05-15 11:47	20K
	midsp_2.dfr	2018-05-15 11:47	2.7K
	midsp_2.dno	2018-05-15 11:47	16K
	midsp_2.the	2018-05-15 11:47	76K
	midsp_3.dcl	2018-05-15 11:47	2.8K
	midsp_3.dco	2018-05-15 11:47	14K
	midsp_3.def	2018-05-15 11:47	16K
	midsp_3.dfr	2018-05-15 11:47	1.9K
	midsp_3.dno	2018-05-15 11:47	18K
	midsp_3.sch	2018-05-15 11:47	1.6K
	midsp_3.the	2018-05-15 11:47	75K
	mmlquer2.dcl	2018-05-15 11:47	9.2K
	mmlquer2.dco	2018-05-15 11:47	6.5K
	mmlquer2.def	2018-05-15 11:47	19K
	mmlquer2.dfr	2018-05-15 11:47	1.5K
	mmlquer2.dno	2018-05-15 11:47	8.0K
	mmlquer2.the	2018-05-15 11:47	46K
	mmlquery.dcl	2018-05-15 11:47	5.2K
	mmlquery.dco	2018-05-15 11:47	21K
	mmlquery.def	2018-05-15 11:47	34K
	mmlquery.dfr	2018-05-15 11:47	3.1K
	mmlquery.dno	2018-05-15 11:47	28K
	mmlquery.the	2018-05-15 11:47	94K
	mod_2.dcl	2018-05-15 11:47	7.7K
	mod_2.dco	2018-05-15 11:47	22K
	mod_2.def	2018-05-15 11:47	26K
	mod_2.dfr	2018-05-15 11:47	1.7K
	mod_2.dno	2018-05-15 11:47	21K
	mod_2.the	2018-05-15 11:47	79K
	mod_3.dcl	2018-05-15 11:47	3.7K
	mod_3.the	2018-05-15 11:47	29K
	mod_4.dcl	2018-05-15 11:47	27K
	mod_4.dco	2018-05-15 11:47	18K
	mod_4.def	2018-05-15 11:47	24K
	mod_4.dfr	2018-05-15 11:47	1.6K
	mod_4.dno	2018-05-15 11:47	20K
	mod_4.the	2018-05-15 11:47	95K
	modal_1.dcl	2018-05-15 11:47	2.5K
	modal_1.dco	2018-05-15 11:47	6.2K
	modal_1.def	2018-05-15 11:47	16K
	modal_1.dfr	2018-05-15 11:47	2.9K
	modal_1.dno	2018-05-15 11:47	10K
	modal_1.sch	2018-05-15 11:47	4.4K
	modal_1.the	2018-05-15 11:47	49K
	modcat_1.dcl	2018-05-15 11:47	4.6K
	modcat_1.dco	2018-05-15 11:47	13K
	modcat_1.def	2018-05-15 11:47	21K
	modcat_1.dfr	2018-05-15 11:47	1.1K
	modcat_1.dno	2018-05-15 11:47	14K
	modcat_1.the	2018-05-15 11:47	51K
	modelc_1.dcl	2018-05-15 11:47	7.1K
	modelc_1.dco	2018-05-15 11:47	48K
	modelc_1.def	2018-05-15 11:47	86K
	modelc_1.dfr	2018-05-15 11:47	5.9K
	modelc_1.dno	2018-05-15 11:47	51K
	modelc_1.sch	2018-05-15 11:47	14K
	modelc_1.the	2018-05-15 11:47	203K
	modelc_2.dcl	2018-05-15 11:47	5.4K
	modelc_2.dco	2018-05-15 11:47	33K
	modelc_2.def	2018-05-15 11:47	76K
	modelc_2.dfr	2018-05-15 11:47	3.5K
	modelc_2.dno	2018-05-15 11:47	36K
	modelc_2.sch	2018-05-15 11:47	3.1K
	modelc_2.the	2018-05-15 11:47	186K
	modelc_3.dcl	2018-05-15 11:47	4.2K
	modelc_3.dco	2018-05-15 11:47	27K
	modelc_3.def	2018-05-15 11:47	53K
	modelc_3.dfr	2018-05-15 11:47	5.9K
	modelc_3.dno	2018-05-15 11:47	32K
	modelc_3.the	2018-05-15 11:47	151K
	moebius1.dcl	2018-05-15 11:47	5.5K
	moebius1.dco	2018-05-15 11:47	2.6K
	moebius1.def	2018-05-15 11:47	6.2K
	moebius1.dfr	2018-05-15 11:47	798
	moebius1.dno	2018-05-15 11:47	3.0K
	moebius1.sch	2018-05-15 11:47	1.8K
	moebius1.the	2018-05-15 11:47	43K
	moebius2.dcl	2018-05-15 11:47	18K
	moebius2.dco	2018-05-15 11:47	4.2K
	moebius2.def	2018-05-15 11:47	9.4K
	moebius2.dfr	2018-05-15 11:47	1.6K
	moebius2.did	2018-05-15 11:47	2.0K
	moebius2.dno	2018-05-15 11:47	4.9K
	moebius2.drd	2018-05-15 11:47	707
	moebius2.the	2018-05-15 11:47	43K
	moebius3.dcl	2018-05-15 11:47	5.4K
	moebius3.dco	2018-05-15 11:47	5.0K
	moebius3.def	2018-05-15 11:47	10K
	moebius3.dfr	2018-05-15 11:47	1.6K
	moebius3.dno	2018-05-15 11:47	4.6K
	moebius3.the	2018-05-15 11:47	49K
	monoid_0.dcl	2018-05-15 11:47	16K
	monoid_0.dco	2018-05-15 11:47	17K
	monoid_0.def	2018-05-15 11:47	26K
	monoid_0.dfr	2018-05-15 11:47	2.4K
	monoid_0.dno	2018-05-15 11:47	20K
	monoid_0.sch	2018-05-15 11:47	3.7K
	monoid_0.the	2018-05-15 11:47	92K
	monoid_1.dcl	2018-05-15 11:47	2.8K
	monoid_1.dco	2018-05-15 11:47	14K
	monoid_1.def	2018-05-15 11:47	12K
	monoid_1.dfr	2018-05-15 11:47	2.0K
	monoid_1.dno	2018-05-15 11:47	16K
	monoid_1.sch	2018-05-15 11:47	1.4K
	monoid_1.the	2018-05-15 11:47	67K
	morph_01.dco	2018-05-15 11:47	4.1K
	morph_01.def	2018-05-15 11:47	5.1K
	morph_01.dfr	2018-05-15 11:47	574
	morph_01.dno	2018-05-15 11:47	6.0K
	morph_01.the	2018-05-15 11:47	46K
	msafree.dcl	2018-05-15 11:47	7.8K
	msafree.dco	2018-05-15 11:47	16K
	msafree.def	2018-05-15 11:47	36K
	msafree.dfr	2018-05-15 11:47	2.6K
	msafree.dno	2018-05-15 11:47	16K
	msafree.the	2018-05-15 11:47	77K
	msafree1.dcl	2018-05-15 11:47	7.5K
	msafree1.dco	2018-05-15 11:47	2.6K
	msafree1.def	2018-05-15 11:47	3.8K
	msafree1.dfr	2018-05-15 11:47	490
	msafree1.dno	2018-05-15 11:47	2.8K
	msafree1.sch	2018-05-15 11:47	16K
	msafree1.the	2018-05-15 11:47	12K
	msafree2.dcl	2018-05-15 11:47	6.9K
	msafree2.dco	2018-05-15 11:47	6.5K
	msafree2.def	2018-05-15 11:47	13K
	msafree2.dfr	2018-05-15 11:47	1.7K
	msafree2.dno	2018-05-15 11:47	7.5K
	msafree2.the	2018-05-15 11:47	28K
	msafree3.dcl	2018-05-15 11:47	6.0K
	msafree3.dco	2018-05-15 11:47	4.3K
	msafree3.def	2018-05-15 11:47	8.2K
	msafree3.dfr	2018-05-15 11:47	1.2K
	msafree3.dno	2018-05-15 11:47	5.9K
	msafree3.the	2018-05-15 11:47	64K
	msafree4.dcl	2018-05-15 11:47	40K
	msafree4.dco	2018-05-15 11:47	19K
	msafree4.def	2018-05-15 11:47	29K
	msafree4.dfr	2018-05-15 11:47	1.9K
	msafree4.dno	2018-05-15 11:47	22K
	msafree4.sch	2018-05-15 11:47	14K
	msafree4.the	2018-05-15 11:47	171K
	msafree5.dcl	2018-05-15 11:47	52K
	msafree5.dco	2018-05-15 11:47	55K
	msafree5.def	2018-05-15 11:47	66K
	msafree5.dfr	2018-05-15 11:47	4.3K
	msafree5.did	2018-05-15 11:47	1.1K
	msafree5.dno	2018-05-15 11:47	59K
	msafree5.dpr	2018-05-15 11:47	631
	msafree5.drd	2018-05-15 11:47	11K
	msafree5.sch	2018-05-15 11:47	19K
	msafree5.the	2018-05-15 11:47	343K
	msalimit.dcl	2018-05-15 11:47	4.5K
	msalimit.dco	2018-05-15 11:47	6.4K
	msalimit.def	2018-05-15 11:47	20K
	msalimit.dfr	2018-05-15 11:47	826
	msalimit.dno	2018-05-15 11:47	6.3K
	msalimit.the	2018-05-15 11:47	40K
	msaterm.dcl	2018-05-15 11:47	2.1K
	msaterm.dco	2018-05-15 11:47	15K
	msaterm.def	2018-05-15 11:47	14K
	msaterm.dfr	2018-05-15 11:47	1.2K
	msaterm.dno	2018-05-15 11:47	17K
	msaterm.sch	2018-05-15 11:47	12K
	msaterm.the	2018-05-15 11:47	94K
	msinst_1.dcl	2018-05-15 11:47	2.4K
	msinst_1.dco	2018-05-15 11:47	2.2K
	msinst_1.def	2018-05-15 11:47	11K
	msinst_1.dfr	2018-05-15 11:47	602
	msinst_1.dno	2018-05-15 11:47	2.7K
	msinst_1.the	2018-05-15 11:47	27K
	msscyc_1.dcl	2018-05-15 11:47	5.8K
	msscyc_1.dco	2018-05-15 11:47	1.9K
	msscyc_1.def	2018-05-15 11:47	4.4K
	msscyc_1.dfr	2018-05-15 11:47	897
	msscyc_1.dno	2018-05-15 11:47	3.9K
	msscyc_1.the	2018-05-15 11:47	30K
	msscyc_2.dco	2018-05-15 11:47	2.2K
	msscyc_2.def	2018-05-15 11:47	5.6K
	msscyc_2.dfr	2018-05-15 11:47	602
	msscyc_2.dno	2018-05-15 11:47	2.0K
	msscyc_2.the	2018-05-15 11:47	15K
	mssubfam.dcl	2018-05-15 11:47	18K
	mssubfam.dco	2018-05-15 11:47	7.3K
	mssubfam.def	2018-05-15 11:47	7.6K
	mssubfam.dfr	2018-05-15 11:47	672
	mssubfam.dno	2018-05-15 11:47	8.0K
	mssubfam.sch	2018-05-15 11:47	2.7K
	mssubfam.the	2018-05-15 11:47	56K
	mssublat.dcl	2018-05-15 11:47	2.6K
	mssublat.the	2018-05-15 11:47	30K
	msualg_1.dcl	2018-05-15 11:47	5.4K
	msualg_1.dco	2018-05-15 11:47	14K
	msualg_1.def	2018-05-15 11:47	11K
	msualg_1.dfr	2018-05-15 11:47	1.9K
	msualg_1.dno	2018-05-15 11:47	14K
	msualg_1.the	2018-05-15 11:47	18K
	msualg_2.dcl	2018-05-15 11:47	9.0K
	msualg_2.dco	2018-05-15 11:47	14K
	msualg_2.def	2018-05-15 11:47	31K
	msualg_2.dfr	2018-05-15 11:47	1.9K
	msualg_2.dno	2018-05-15 11:47	14K
	msualg_2.the	2018-05-15 11:47	77K
	msualg_3.dcl	2018-05-15 11:47	1.6K
	msualg_3.dco	2018-05-15 11:47	9.9K
	msualg_3.def	2018-05-15 11:47	15K
	msualg_3.dfr	2018-05-15 11:47	2.1K
	msualg_3.dno	2018-05-15 11:47	14K
	msualg_3.the	2018-05-15 11:47	51K
	msualg_4.dcl	2018-05-15 11:47	5.9K
	msualg_4.dco	2018-05-15 11:47	28K
	msualg_4.def	2018-05-15 11:47	46K
	msualg_4.dfr	2018-05-15 11:47	1.3K
	msualg_4.dno	2018-05-15 11:47	22K
	msualg_4.the	2018-05-15 11:47	70K
	msualg_5.dcl	2018-05-15 11:47	2.6K
	msualg_5.dco	2018-05-15 11:47	4.3K
	msualg_5.def	2018-05-15 11:47	11K
	msualg_5.dfr	2018-05-15 11:47	546
	msualg_5.dno	2018-05-15 11:47	4.9K
	msualg_5.the	2018-05-15 11:47	46K
	msualg_6.dcl	2018-05-15 11:47	9.1K
	msualg_6.dco	2018-05-15 11:47	13K
	msualg_6.def	2018-05-15 11:47	27K
	msualg_6.dfr	2018-05-15 11:47	2.9K
	msualg_6.dno	2018-05-15 11:47	14K
	msualg_6.sch	2018-05-15 11:47	21K
	msualg_6.the	2018-05-15 11:47	137K
	msualg_7.dcl	2018-05-15 11:47	3.4K
	msualg_7.dco	2018-05-15 11:47	1.6K
	msualg_7.def	2018-05-15 11:47	4.2K
	msualg_7.dfr	2018-05-15 11:47	518
	msualg_7.dno	2018-05-15 11:47	2.8K
	msualg_7.the	2018-05-15 11:47	26K
	msualg_8.dcl	2018-05-15 11:47	2.4K
	msualg_8.dco	2018-05-15 11:47	3.6K
	msualg_8.def	2018-05-15 11:47	7.3K
	msualg_8.dfr	2018-05-15 11:47	490
	msualg_8.dno	2018-05-15 11:47	3.9K
	msualg_8.sch	2018-05-15 11:47	1.4K
	msualg_8.the	2018-05-15 11:47	28K
	msualg_9.dcl	2018-05-15 11:47	6.2K
	msualg_9.dco	2018-05-15 11:47	2.5K
	msualg_9.def	2018-05-15 11:47	3.4K
	msualg_9.dfr	2018-05-15 11:47	490
	msualg_9.dno	2018-05-15 11:47	2.8K
	msualg_9.the	2018-05-15 11:47	52K
	msuhom_1.dco	2018-05-15 11:47	3.0K
	msuhom_1.def	2018-05-15 11:47	4.9K
	msuhom_1.dfr	2018-05-15 11:47	434
	msuhom_1.dno	2018-05-15 11:47	3.5K
	msuhom_1.the	2018-05-15 11:47	31K
	multop_1.dco	2018-05-15 11:47	3.4K
	multop_1.def	2018-05-15 11:47	1.6K
	multop_1.dfr	2018-05-15 11:47	877
	multop_1.dno	2018-05-15 11:47	5.6K
	multop_1.sch	2018-05-15 11:47	14K
	multop_1.the	2018-05-15 11:47	14K
	mycielsk.dcl	2018-05-15 11:47	8.3K
	mycielsk.dco	2018-05-15 11:47	3.7K
	mycielsk.def	2018-05-15 11:47	10K
	mycielsk.dfr	2018-05-15 11:47	784
	mycielsk.dno	2018-05-15 11:47	4.3K
	mycielsk.the	2018-05-15 11:47	47K