Index of /~mptp/1147/mptp/problems00/prelamb

	Name	Last modified	Size	Description
	Parent Directory		-
	prelamb__l26_prelamb	2017-03-01 10:59	35K
	prelamb__l31_prelamb	2017-03-01 10:59	33K
	prelamb__l32_prelamb	2017-03-01 10:59	34K
	prelamb__l33_prelamb	2017-03-01 10:59	31K
	prelamb__l34_prelamb	2017-03-01 10:59	33K
	prelamb__l35_prelamb	2017-03-01 10:59	34K
	prelamb__l36_prelamb	2017-03-01 10:59	31K
	prelamb__l37_prelamb	2017-03-01 10:59	35K
	prelamb__l38_prelamb	2017-03-01 10:59	33K
	prelamb__l39_prelamb	2017-03-01 10:59	33K
	prelamb__t1_prelamb	2017-03-01 10:59	31K
	prelamb__t2_prelamb	2017-03-01 10:59	34K
	prelamb__t3_prelamb	2017-03-01 10:59	44K
	prelamb__t4_prelamb	2017-03-01 10:59	45K
	prelamb__t5_prelamb	2017-03-01 10:59	45K
	prelamb__t6_prelamb	2017-03-01 10:59	45K
	prelamb__t7_prelamb	2017-03-01 10:59	45K
	prelamb__t8_prelamb	2017-03-01 10:59	45K
	prelamb__t9_prelamb	2017-03-01 10:59	45K
	prelamb__t10_prelamb	2017-03-01 10:59	45K
	prelamb__t11_prelamb	2017-03-01 10:59	45K
	prelamb__t12_prelamb	2017-03-01 10:59	35K
	prelamb__t13_prelamb	2017-03-01 10:59	34K
	prelamb__t14_prelamb	2017-03-01 10:59	35K
	prelamb__t15_prelamb	2017-03-01 10:59	35K
	prelamb__t16_prelamb	2017-03-01 10:59	35K
	prelamb__t17_prelamb	2017-03-01 10:59	35K
	prelamb__t18_prelamb	2017-03-01 10:59	30K
	prelamb__t19_prelamb	2017-03-01 10:59	34K
	prelamb__t20_prelamb	2017-03-01 10:59	33K
	prelamb__t21_prelamb	2017-03-01 10:59	30K
	prelamb__t22_prelamb	2017-03-01 10:59	30K
	prelamb__t23_prelamb	2017-03-01 10:59	34K
	prelamb__t24_prelamb	2017-03-01 10:59	34K
	prelamb__t25_prelamb	2017-03-01 10:59	30K
	prelamb__t26_prelamb	2017-03-01 10:59	36K
	prelamb__t27_prelamb	2017-03-01 10:59	35K
	prelamb__t28_prelamb	2017-03-01 10:59	34K
	prelamb__t29_prelamb	2017-03-01 10:59	36K