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

	Name	Last modified	Size	Description
	Parent Directory		-
	papdesaf.dcl	2018-05-15 11:47	3.9K
	papdesaf.dco	2018-05-15 11:47	2.5K
	papdesaf.def	2018-05-15 11:47	6.9K
	papdesaf.dfr	2018-05-15 11:47	765
	papdesaf.dno	2018-05-15 11:47	3.9K
	papdesaf.the	2018-05-15 11:47	29K
	pardepap.the	2018-05-15 11:47	12K
	parsp_1.dcl	2018-05-15 11:47	2.7K
	parsp_1.dco	2018-05-15 11:47	11K
	parsp_1.def	2018-05-15 11:47	35K
	parsp_1.dfr	2018-05-15 11:47	1.3K
	parsp_1.dno	2018-05-15 11:47	9.8K
	parsp_1.the	2018-05-15 11:47	159K
	parsp_2.dcl	2018-05-15 11:47	1.0K
	parsp_2.dco	2018-05-15 11:47	2.8K
	parsp_2.def	2018-05-15 11:47	6.8K
	parsp_2.dfr	2018-05-15 11:47	934
	parsp_2.dno	2018-05-15 11:47	4.0K
	parsp_2.the	2018-05-15 11:47	90K
	partfun1.dcl	2018-05-15 11:47	4.2K
	partfun1.dco	2018-05-15 11:47	4.2K
	partfun1.def	2018-05-15 11:47	5.6K
	partfun1.dfr	2018-05-15 11:47	746
	partfun1.dno	2018-05-15 11:47	5.0K
	partfun1.sch	2018-05-15 11:47	7.1K
	partfun1.the	2018-05-15 11:47	59K
	partfun2.dco	2018-05-15 11:47	3.4K
	partfun2.def	2018-05-15 11:47	1.2K
	partfun2.dno	2018-05-15 11:47	3.8K
	partfun2.sch	2018-05-15 11:47	5.0K
	partfun2.the	2018-05-15 11:47	86K
	partfun3.dcl	2018-05-15 11:47	42K
	partfun3.dco	2018-05-15 11:47	4.8K
	partfun3.def	2018-05-15 11:47	3.6K
	partfun3.dfr	2018-05-15 11:47	546
	partfun3.dno	2018-05-15 11:47	5.4K
	partfun3.the	2018-05-15 11:47	7.5K
	partfun4.dcl	2018-05-15 11:47	14K
	partit1.dcl	2018-05-15 11:47	718
	partit1.dco	2018-05-15 11:47	3.4K
	partit1.def	2018-05-15 11:47	7.2K
	partit1.dfr	2018-05-15 11:47	1.0K
	partit1.dno	2018-05-15 11:47	4.7K
	partit1.the	2018-05-15 11:47	34K
	partit_2.dcl	2018-05-15 11:47	1.8K
	partit_2.dco	2018-05-15 11:47	3.0K
	partit_2.def	2018-05-15 11:47	2.5K
	partit_2.dfr	2018-05-15 11:47	1.1K
	partit_2.dno	2018-05-15 11:47	3.7K
	partit_2.the	2018-05-15 11:47	25K
	partpr_1.dcl	2018-05-15 11:47	6.6K
	partpr_1.dco	2018-05-15 11:47	9.9K
	partpr_1.def	2018-05-15 11:47	20K
	partpr_1.dfr	2018-05-15 11:47	1.4K
	partpr_1.dno	2018-05-15 11:47	8.1K
	partpr_1.the	2018-05-15 11:47	83K
	pascal.dcl	2018-05-15 11:47	1.3K
	pascal.dco	2018-05-15 11:47	5.0K
	pascal.def	2018-05-15 11:47	12K
	pascal.dfr	2018-05-15 11:47	600
	pascal.dno	2018-05-15 11:47	5.4K
	pascal.the	2018-05-15 11:47	129K
	pasch.dco	2018-05-15 11:47	2.5K
	pasch.def	2018-05-15 11:47	9.0K
	pasch.dfr	2018-05-15 11:47	934
	pasch.dno	2018-05-15 11:47	3.0K
	pasch.the	2018-05-15 11:47	45K
	pboole.dcl	2018-05-15 11:47	8.7K
	pboole.dco	2018-05-15 11:47	14K
	pboole.def	2018-05-15 11:47	21K
	pboole.dfr	2018-05-15 11:47	1.8K
	pboole.dno	2018-05-15 11:47	17K
	pboole.sch	2018-05-15 11:47	6.0K
	pboole.the	2018-05-15 11:47	152K
	pcomps_1.dcl	2018-05-15 11:47	1.7K
	pcomps_1.dco	2018-05-15 11:47	3.5K
	pcomps_1.def	2018-05-15 11:47	10K
	pcomps_1.dfr	2018-05-15 11:47	784
	pcomps_1.dno	2018-05-15 11:47	3.8K
	pcomps_1.sch	2018-05-15 11:47	2.1K
	pcomps_1.the	2018-05-15 11:47	38K
	pcomps_2.dco	2018-05-15 11:47	1.6K
	pcomps_2.def	2018-05-15 11:47	3.2K
	pcomps_2.dfr	2018-05-15 11:47	546
	pcomps_2.dno	2018-05-15 11:47	2.1K
	pcomps_2.sch	2018-05-15 11:47	5.8K
	pcomps_2.the	2018-05-15 11:47	12K
	pcs_0.dcl	2018-05-15 11:47	48K
	pcs_0.dco	2018-05-15 11:47	20K
	pcs_0.def	2018-05-15 11:47	39K
	pcs_0.dfr	2018-05-15 11:47	3.2K
	pcs_0.dno	2018-05-15 11:47	29K
	pcs_0.the	2018-05-15 11:47	114K
	pdiff_1.dcl	2018-05-15 11:47	1.6K
	pdiff_1.dco	2018-05-15 11:47	17K
	pdiff_1.def	2018-05-15 11:47	33K
	pdiff_1.dfr	2018-05-15 11:47	1.5K
	pdiff_1.dno	2018-05-15 11:47	17K
	pdiff_1.the	2018-05-15 11:47	110K
	pdiff_2.dco	2018-05-15 11:47	3.6K
	pdiff_2.def	2018-05-15 11:47	6.9K
	pdiff_2.dfr	2018-05-15 11:47	657
	pdiff_2.dno	2018-05-15 11:47	3.8K
	pdiff_2.the	2018-05-15 11:47	54K
	pdiff_3.dcl	2018-05-15 11:47	898
	pdiff_3.dco	2018-05-15 11:47	8.7K
	pdiff_3.def	2018-05-15 11:47	32K
	pdiff_3.dfr	2018-05-15 11:47	1.3K
	pdiff_3.dno	2018-05-15 11:47	9.4K
	pdiff_3.the	2018-05-15 11:47	112K
	pdiff_4.dco	2018-05-15 11:47	5.9K
	pdiff_4.def	2018-05-15 11:47	14K
	pdiff_4.dfr	2018-05-15 11:47	713
	pdiff_4.dno	2018-05-15 11:47	6.6K
	pdiff_4.the	2018-05-15 11:47	102K
	pdiff_5.dco	2018-05-15 11:47	16K
	pdiff_5.def	2018-05-15 11:47	69K
	pdiff_5.dfr	2018-05-15 11:47	1.5K
	pdiff_5.dno	2018-05-15 11:47	18K
	pdiff_5.the	2018-05-15 11:47	242K
	pdiff_6.dcl	2018-05-15 11:47	6.1K
	pdiff_6.dco	2018-05-15 11:47	4.6K
	pdiff_6.def	2018-05-15 11:47	6.9K
	pdiff_6.dno	2018-05-15 11:47	6.2K
	pdiff_6.the	2018-05-15 11:47	75K
	pdiff_7.dcl	2018-05-15 11:47	1.2K
	pdiff_7.dco	2018-05-15 11:47	5.6K
	pdiff_7.def	2018-05-15 11:47	10K
	pdiff_7.did	2018-05-15 11:47	4.2K
	pdiff_7.dno	2018-05-15 11:47	7.1K
	pdiff_7.the	2018-05-15 11:47	102K
	pdiff_8.the	2018-05-15 11:47	38K
	pdiff_9.dco	2018-05-15 11:47	7.6K
	pdiff_9.def	2018-05-15 11:47	17K
	pdiff_9.dfr	2018-05-15 11:47	489
	pdiff_9.dno	2018-05-15 11:47	9.7K
	pdiff_9.the	2018-05-15 11:47	187K
	pells_eq.dcl	2018-05-15 11:47	2.1K
	pells_eq.dco	2018-05-15 11:47	1.7K
	pells_eq.def	2018-05-15 11:47	3.2K
	pells_eq.dfr	2018-05-15 11:47	476
	pells_eq.dno	2018-05-15 11:47	2.0K
	pells_eq.the	2018-05-15 11:47	28K
	pencil_1.dcl	2018-05-15 11:47	8.3K
	pencil_1.dco	2018-05-15 11:47	7.7K
	pencil_1.def	2018-05-15 11:47	18K
	pencil_1.dfr	2018-05-15 11:47	1.8K
	pencil_1.dno	2018-05-15 11:47	11K
	pencil_1.the	2018-05-15 11:47	56K
	pencil_2.dcl	2018-05-15 11:47	1.9K
	pencil_2.dco	2018-05-15 11:47	5.1K
	pencil_2.def	2018-05-15 11:47	6.9K
	pencil_2.dfr	2018-05-15 11:47	1.2K
	pencil_2.dno	2018-05-15 11:47	6.7K
	pencil_2.sch	2018-05-15 11:47	2.9K
	pencil_2.the	2018-05-15 11:47	40K
	pencil_3.dco	2018-05-15 11:47	8.4K
	pencil_3.def	2018-05-15 11:47	17K
	pencil_3.dfr	2018-05-15 11:47	1.2K
	pencil_3.dno	2018-05-15 11:47	7.3K
	pencil_3.the	2018-05-15 11:47	81K
	pencil_4.dcl	2018-05-15 11:47	4.6K
	pencil_4.dco	2018-05-15 11:47	10K
	pencil_4.def	2018-05-15 11:47	19K
	pencil_4.dfr	2018-05-15 11:47	1.0K
	pencil_4.dno	2018-05-15 11:47	10K
	pencil_4.the	2018-05-15 11:47	67K
	pepin.dcl	2018-05-15 11:47	647
	pepin.dco	2018-05-15 11:47	1.6K
	pepin.def	2018-05-15 11:47	3.2K
	pepin.dfr	2018-05-15 11:47	543
	pepin.dno	2018-05-15 11:47	2.3K
	pepin.the	2018-05-15 11:47	36K
	peterson.dcl	2018-05-15 11:47	1.7K
	peterson.dco	2018-05-15 11:47	21K
	peterson.def	2018-05-15 11:47	30K
	peterson.dfr	2018-05-15 11:47	3.8K
	peterson.dno	2018-05-15 11:47	26K
	peterson.the	2018-05-15 11:47	60K
	petri.dcl	2018-05-15 11:47	2.5K
	petri.dco	2018-05-15 11:47	14K
	petri.def	2018-05-15 11:47	15K
	petri.dfr	2018-05-15 11:47	2.6K
	petri.dno	2018-05-15 11:47	18K
	petri.the	2018-05-15 11:47	32K
	petri_2.dcl	2018-05-15 11:47	1.4K
	petri_2.dco	2018-05-15 11:47	11K
	petri_2.def	2018-05-15 11:47	32K
	petri_2.dfr	2018-05-15 11:47	1.6K
	petri_2.dno	2018-05-15 11:47	11K
	petri_2.the	2018-05-15 11:47	60K
	petri_3.dcl	2018-05-15 11:47	1.8K
	petri_3.dco	2018-05-15 11:47	19K
	petri_3.def	2018-05-15 11:47	41K
	petri_3.dfr	2018-05-15 11:47	2.2K
	petri_3.dno	2018-05-15 11:47	22K
	petri_3.the	2018-05-15 11:47	80K
	petri_df.dcl	2018-05-15 11:47	4.6K
	petri_df.dco	2018-05-15 11:47	7.0K
	petri_df.def	2018-05-15 11:47	23K
	petri_df.dfr	2018-05-15 11:47	2.1K
	petri_df.dno	2018-05-15 11:47	11K
	petri_df.the	2018-05-15 11:47	52K
	pl_axiom.dcl	2018-05-15 11:47	2.1K
	pl_axiom.dco	2018-05-15 11:47	7.2K
	pl_axiom.def	2018-05-15 11:47	19K
	pl_axiom.dfr	2018-05-15 11:47	3.1K
	pl_axiom.dno	2018-05-15 11:47	11K
	pl_axiom.sch	2018-05-15 11:47	1.4K
	pl_axiom.the	2018-05-15 11:47	75K
	pnproc_1.dcl	2018-05-15 11:47	2.2K
	pnproc_1.dco	2018-05-15 11:47	10K
	pnproc_1.def	2018-05-15 11:47	16K
	pnproc_1.dfr	2018-05-15 11:47	2.1K
	pnproc_1.dno	2018-05-15 11:47	14K
	pnproc_1.sch	2018-05-15 11:47	1.1K
	pnproc_1.the	2018-05-15 11:47	59K
	polnot_1.dcl	2018-05-15 11:47	11K
	polnot_1.dco	2018-05-15 11:47	29K
	polnot_1.def	2018-05-15 11:47	53K
	polnot_1.dfr	2018-05-15 11:47	3.6K
	polnot_1.dno	2018-05-15 11:47	32K
	polnot_1.sch	2018-05-15 11:47	2.1K
	polnot_1.the	2018-05-15 11:47	140K
	polyalg1.dcl	2018-05-15 11:47	9.1K
	polyalg1.dco	2018-05-15 11:47	5.6K
	polyalg1.def	2018-05-15 11:47	13K
	polyalg1.dfr	2018-05-15 11:47	1.4K
	polyalg1.dno	2018-05-15 11:47	7.2K
	polyalg1.the	2018-05-15 11:47	39K
	polydiff.dcl	2018-05-15 11:47	18K
	polydiff.dco	2018-05-15 11:47	5.0K
	polydiff.def	2018-05-15 11:47	7.1K
	polydiff.dfr	2018-05-15 11:47	1.8K
	polydiff.dno	2018-05-15 11:47	5.9K
	polydiff.drd	2018-05-15 11:47	2.3K
	polydiff.the	2018-05-15 11:47	51K
	polyeq_1.dcl	2018-05-15 11:47	4.2K
	polyeq_1.dco	2018-05-15 11:47	2.3K
	polyeq_1.def	2018-05-15 11:47	4.6K
	polyeq_1.dfr	2018-05-15 11:47	658
	polyeq_1.dno	2018-05-15 11:47	3.1K
	polyeq_1.the	2018-05-15 11:47	40K
	polyeq_2.dcl	2018-05-15 11:47	2.2K
	polyeq_2.dco	2018-05-15 11:47	1.3K
	polyeq_2.def	2018-05-15 11:47	3.0K
	polyeq_2.dfr	2018-05-15 11:47	794
	polyeq_2.dno	2018-05-15 11:47	2.1K
	polyeq_2.the	2018-05-15 11:47	30K
	polyeq_3.dco	2018-05-15 11:47	1.4K
	polyeq_3.def	2018-05-15 11:47	2.6K
	polyeq_3.dfr	2018-05-15 11:47	434
	polyeq_3.dno	2018-05-15 11:47	3.0K
	polyeq_3.the	2018-05-15 11:47	94K
	polyeq_4.dcl	2018-05-15 11:47	1.7K
	polyeq_4.dco	2018-05-15 11:47	821
	polyeq_4.def	2018-05-15 11:47	2.1K
	polyeq_4.dfr	2018-05-15 11:47	434
	polyeq_4.dno	2018-05-15 11:47	1.2K
	polyeq_4.the	2018-05-15 11:47	48K
	polyeq_5.dco	2018-05-15 11:47	3.5K
	polyeq_5.def	2018-05-15 11:47	36K
	polyeq_5.dfr	2018-05-15 11:47	826
	polyeq_5.dno	2018-05-15 11:47	4.9K
	polyeq_5.the	2018-05-15 11:47	137K
	polyform.dcl	2018-05-15 11:47	3.3K
	polyform.dco	2018-05-15 11:47	16K
	polyform.def	2018-05-15 11:47	34K
	polyform.dfr	2018-05-15 11:47	2.4K
	polyform.dno	2018-05-15 11:47	18K
	polyform.sch	2018-05-15 11:47	2.5K
	polyform.the	2018-05-15 11:47	106K
	polynom1.dcl	2018-05-15 11:47	14K
	polynom1.dco	2018-05-15 11:47	13K
	polynom1.def	2018-05-15 11:47	21K
	polynom1.dfr	2018-05-15 11:47	1.7K
	polynom1.dno	2018-05-15 11:47	15K
	polynom1.the	2018-05-15 11:47	59K
	polynom2.dcl	2018-05-15 11:47	9.1K
	polynom2.dco	2018-05-15 11:47	4.4K
	polynom2.def	2018-05-15 11:47	9.4K
	polynom2.dfr	2018-05-15 11:47	490
	polynom2.dno	2018-05-15 11:47	4.4K
	polynom2.the	2018-05-15 11:47	37K
	polynom3.dcl	2018-05-15 11:47	11K
	polynom3.dco	2018-05-15 11:47	12K
	polynom3.def	2018-05-15 11:47	19K
	polynom3.dfr	2018-05-15 11:47	1.0K
	polynom3.dno	2018-05-15 11:47	15K
	polynom3.sch	2018-05-15 11:47	4.1K
	polynom3.the	2018-05-15 11:47	62K
	polynom4.dcl	2018-05-15 11:47	6.4K
	polynom4.dco	2018-05-15 11:47	3.8K
	polynom4.def	2018-05-15 11:47	6.7K
	polynom4.dfr	2018-05-15 11:47	850
	polynom4.dno	2018-05-15 11:47	3.9K
	polynom4.the	2018-05-15 11:47	34K
	polynom5.dcl	2018-05-15 11:47	6.9K
	polynom5.dco	2018-05-15 11:47	11K
	polynom5.def	2018-05-15 11:47	18K
	polynom5.dfr	2018-05-15 11:47	1.8K
	polynom5.dno	2018-05-15 11:47	11K
	polynom5.the	2018-05-15 11:47	83K
	polynom6.dcl	2018-05-15 11:47	2.6K
	polynom6.dco	2018-05-15 11:47	4.0K
	polynom6.def	2018-05-15 11:47	6.1K
	polynom6.dfr	2018-05-15 11:47	434
	polynom6.dno	2018-05-15 11:47	4.9K
	polynom6.the	2018-05-15 11:47	34K
	polynom7.dcl	2018-05-15 11:47	12K
	polynom7.dco	2018-05-15 11:47	9.9K
	polynom7.def	2018-05-15 11:47	14K
	polynom7.dfr	2018-05-15 11:47	1.4K
	polynom7.dno	2018-05-15 11:47	10K
	polynom7.the	2018-05-15 11:47	57K
	polynom8.dcl	2018-05-15 11:47	3.1K
	polynom8.dco	2018-05-15 11:47	6.0K
	polynom8.def	2018-05-15 11:47	11K
	polynom8.dfr	2018-05-15 11:47	826
	polynom8.dno	2018-05-15 11:47	6.1K
	polynom8.the	2018-05-15 11:47	69K
	polyred.dcl	2018-05-15 11:47	8.9K
	polyred.dco	2018-05-15 11:47	23K
	polyred.def	2018-05-15 11:47	33K
	polyred.dfr	2018-05-15 11:47	1.5K
	polyred.dno	2018-05-15 11:47	32K
	polyred.the	2018-05-15 11:47	153K
	polyvie1.dcl	2018-05-15 11:47	5.4K
	polyvie1.dco	2018-05-15 11:47	3.1K
	polyvie1.def	2018-05-15 11:47	4.4K
	polyvie1.dfr	2018-05-15 11:47	490
	polyvie1.dno	2018-05-15 11:47	3.4K
	polyvie1.the	2018-05-15 11:47	51K
	poset_1.dcl	2018-05-15 11:47	8.8K
	poset_1.dco	2018-05-15 11:47	11K
	poset_1.def	2018-05-15 11:47	20K
	poset_1.dfr	2018-05-15 11:47	1.3K
	poset_1.dno	2018-05-15 11:47	9.6K
	poset_1.the	2018-05-15 11:47	40K
	poset_2.dcl	2018-05-15 11:47	10K
	poset_2.dco	2018-05-15 11:47	13K
	poset_2.def	2018-05-15 11:47	25K
	poset_2.dfr	2018-05-15 11:47	1.6K
	poset_2.dno	2018-05-15 11:47	13K
	poset_2.drd	2018-05-15 11:47	1.3K
	poset_2.the	2018-05-15 11:47	92K
	power.dco	2018-05-15 11:47	1.3K
	power.def	2018-05-15 11:47	5.0K
	power.dfr	2018-05-15 11:47	599
	power.did	2018-05-15 11:47	1.0K
	power.dno	2018-05-15 11:47	1.7K
	power.the	2018-05-15 11:47	44K
	pralg_1.dcl	2018-05-15 11:47	11K
	pralg_1.dco	2018-05-15 11:47	15K
	pralg_1.def	2018-05-15 11:47	31K
	pralg_1.dfr	2018-05-15 11:47	1.9K
	pralg_1.dno	2018-05-15 11:47	15K
	pralg_1.the	2018-05-15 11:47	58K
	pralg_2.dcl	2018-05-15 11:47	5.3K
	pralg_2.dco	2018-05-15 11:47	12K
	pralg_2.def	2018-05-15 11:47	22K
	pralg_2.dfr	2018-05-15 11:47	1.4K
	pralg_2.dno	2018-05-15 11:47	12K
	pralg_2.the	2018-05-15 11:47	42K
	pralg_3.dcl	2018-05-15 11:47	2.2K
	pralg_3.dco	2018-05-15 11:47	4.3K
	pralg_3.def	2018-05-15 11:47	7.2K
	pralg_3.dfr	2018-05-15 11:47	836
	pralg_3.dno	2018-05-15 11:47	4.8K
	pralg_3.the	2018-05-15 11:47	51K
	pre_circ.dcl	2018-05-15 11:47	4.3K
	pre_circ.sch	2018-05-15 11:47	7.2K
	pre_circ.the	2018-05-15 11:47	18K
	pre_ff.dco	2018-05-15 11:47	796
	pre_ff.def	2018-05-15 11:47	7.0K
	pre_ff.dfr	2018-05-15 11:47	488
	pre_ff.dno	2018-05-15 11:47	1.1K
	pre_ff.drd	2018-05-15 11:47	735
	pre_ff.the	2018-05-15 11:47	25K
	pre_poly.dcl	2018-05-15 11:47	27K
	pre_poly.dco	2018-05-15 11:47	16K
	pre_poly.def	2018-05-15 11:47	22K
	pre_poly.dfr	2018-05-15 11:47	1.4K
	pre_poly.dno	2018-05-15 11:47	18K
	pre_poly.sch	2018-05-15 11:47	2.1K
	pre_poly.the	2018-05-15 11:47	107K
	pre_topc.dcl	2018-05-15 11:47	9.4K
	pre_topc.dco	2018-05-15 11:47	5.7K
	pre_topc.def	2018-05-15 11:47	14K
	pre_topc.dfr	2018-05-15 11:47	2.1K
	pre_topc.dno	2018-05-15 11:47	7.9K
	pre_topc.the	2018-05-15 11:47	56K
	prefer_1.dcl	2018-05-15 11:47	11K
	prefer_1.dco	2018-05-15 11:47	8.2K
	prefer_1.def	2018-05-15 11:47	17K
	prefer_1.dfr	2018-05-15 11:47	2.1K
	prefer_1.dno	2018-05-15 11:47	9.8K
	prefer_1.the	2018-05-15 11:47	63K
	prelamb.dcl	2018-05-15 11:47	1.4K
	prelamb.dco	2018-05-15 11:47	17K
	prelamb.def	2018-05-15 11:47	50K
	prelamb.dfr	2018-05-15 11:47	2.0K
	prelamb.dno	2018-05-15 11:47	18K
	prelamb.the	2018-05-15 11:47	131K
	prepower.dcl	2018-05-15 11:47	2.6K
	prepower.dco	2018-05-15 11:47	2.9K
	prepower.def	2018-05-15 11:47	6.3K
	prepower.dfr	2018-05-15 11:47	700
	prepower.dno	2018-05-15 11:47	3.6K
	prepower.the	2018-05-15 11:47	68K
	prgcor_1.dco	2018-05-15 11:47	831
	prgcor_1.def	2018-05-15 11:47	11K
	prgcor_1.dfr	2018-05-15 11:47	490
	prgcor_1.dno	2018-05-15 11:47	1.2K
	prgcor_1.the	2018-05-15 11:47	45K
	prgcor_2.dco	2018-05-15 11:47	4.4K
	prgcor_2.def	2018-05-15 11:47	13K
	prgcor_2.dfr	2018-05-15 11:47	770
	prgcor_2.dno	2018-05-15 11:47	5.5K
	prgcor_2.the	2018-05-15 11:47	35K
	prob_1.dcl	2018-05-15 11:47	4.9K
	prob_1.dco	2018-05-15 11:47	11K
	prob_1.def	2018-05-15 11:47	12K
	prob_1.dfr	2018-05-15 11:47	1.7K
	prob_1.dno	2018-05-15 11:47	15K
	prob_1.the	2018-05-15 11:47	52K
	prob_2.dcl	2018-05-15 11:47	1.6K
	prob_2.dco	2018-05-15 11:47	5.9K
	prob_2.def	2018-05-15 11:47	9.3K
	prob_2.dfr	2018-05-15 11:47	642
	prob_2.dno	2018-05-15 11:47	6.4K
	prob_2.the	2018-05-15 11:47	78K
	prob_3.dcl	2018-05-15 11:47	5.3K
	prob_3.dco	2018-05-15 11:47	8.3K
	prob_3.def	2018-05-15 11:47	12K
	prob_3.dfr	2018-05-15 11:47	726
	prob_3.dno	2018-05-15 11:47	9.9K
	prob_3.the	2018-05-15 11:47	102K
	prob_4.dcl	2018-05-15 11:47	3.5K
	prob_4.dco	2018-05-15 11:47	8.8K
	prob_4.def	2018-05-15 11:47	11K
	prob_4.dfr	2018-05-15 11:47	600
	prob_4.dno	2018-05-15 11:47	8.9K
	prob_4.sch	2018-05-15 11:47	2.1K
	prob_4.the	2018-05-15 11:47	65K
	procal_1.the	2018-05-15 11:47	45K
	projdes1.dcl	2018-05-15 11:47	1.2K
	projdes1.dco	2018-05-15 11:47	2.1K
	projdes1.def	2018-05-15 11:47	3.1K
	projdes1.dfr	2018-05-15 11:47	490
	projdes1.dno	2018-05-15 11:47	2.6K
	projdes1.the	2018-05-15 11:47	37K
	projpl_1.dco	2018-05-15 11:47	4.7K
	projpl_1.def	2018-05-15 11:47	9.2K
	projpl_1.dfr	2018-05-15 11:47	1.8K
	projpl_1.dno	2018-05-15 11:47	7.6K
	projpl_1.the	2018-05-15 11:47	71K
	projred1.dco	2018-05-15 11:47	1.4K
	projred1.def	2018-05-15 11:47	4.0K
	projred1.dfr	2018-05-15 11:47	434
	projred1.dno	2018-05-15 11:47	1.6K
	projred1.the	2018-05-15 11:47	41K
	projred2.dco	2018-05-15 11:47	2.2K
	projred2.def	2018-05-15 11:47	3.6K
	projred2.dfr	2018-05-15 11:47	532
	projred2.dno	2018-05-15 11:47	2.3K
	projred2.the	2018-05-15 11:47	57K
	prvect_1.dcl	2018-05-15 11:47	5.2K
	prvect_1.dco	2018-05-15 11:47	16K
	prvect_1.def	2018-05-15 11:47	20K
	prvect_1.dfr	2018-05-15 11:47	2.0K
	prvect_1.dno	2018-05-15 11:47	16K
	prvect_1.sch	2018-05-15 11:47	1.2K
	prvect_1.the	2018-05-15 11:47	51K
	prvect_2.dcl	2018-05-15 11:47	3.8K
	prvect_2.dco	2018-05-15 11:47	9.8K
	prvect_2.def	2018-05-15 11:47	17K
	prvect_2.dfr	2018-05-15 11:47	756
	prvect_2.dno	2018-05-15 11:47	10K
	prvect_2.the	2018-05-15 11:47	47K
	prvect_3.dcl	2018-05-15 11:47	14K
	prvect_3.dco	2018-05-15 11:47	5.3K
	prvect_3.def	2018-05-15 11:47	11K
	prvect_3.dfr	2018-05-15 11:47	602
	prvect_3.dno	2018-05-15 11:47	3.9K
	prvect_3.the	2018-05-15 11:47	113K
	pscomp_1.dcl	2018-05-15 11:47	11K
	pscomp_1.dco	2018-05-15 11:47	12K
	pscomp_1.def	2018-05-15 11:47	21K
	pscomp_1.dfr	2018-05-15 11:47	2.0K
	pscomp_1.dno	2018-05-15 11:47	12K
	pscomp_1.the	2018-05-15 11:47	81K
	pua2mss1.dcl	2018-05-15 11:47	3.7K
	pua2mss1.dco	2018-05-15 11:47	11K
	pua2mss1.def	2018-05-15 11:47	27K
	pua2mss1.dfr	2018-05-15 11:47	2.0K
	pua2mss1.dno	2018-05-15 11:47	14K
	pua2mss1.sch	2018-05-15 11:47	9.1K
	pua2mss1.the	2018-05-15 11:47	68K
	pythtrip.dcl	2018-05-15 11:47	4.3K
	pythtrip.dco	2018-05-15 11:47	969
	pythtrip.def	2018-05-15 11:47	5.5K
	pythtrip.dfr	2018-05-15 11:47	546
	pythtrip.dno	2018-05-15 11:47	2.9K
	pythtrip.the	2018-05-15 11:47	18K
	pzfmisc1.dcl	2018-05-15 11:47	1.7K
	pzfmisc1.dco	2018-05-15 11:47	2.2K
	pzfmisc1.def	2018-05-15 11:47	3.4K
	pzfmisc1.dfr	2018-05-15 11:47	434
	pzfmisc1.dno	2018-05-15 11:47	2.6K
	pzfmisc1.the	2018-05-15 11:47	87K