Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_small_consist/prelamb

	Name	Last modified	Size	Description
	Parent Directory		-
	prelamb__l26_prelamb	2013-09-04 12:21	46K
	prelamb__l31_prelamb	2013-09-04 12:21	43K
	prelamb__l32_prelamb	2013-09-04 12:21	44K
	prelamb__l33_prelamb	2013-09-04 12:21	40K
	prelamb__l34_prelamb	2013-09-04 12:21	43K
	prelamb__l35_prelamb	2013-09-04 12:21	44K
	prelamb__l36_prelamb	2013-09-04 12:21	40K
	prelamb__l37_prelamb	2013-09-04 12:21	45K
	prelamb__l38_prelamb	2013-09-04 12:21	43K
	prelamb__l39_prelamb	2013-09-04 12:21	41K
	prelamb__t1_prelamb	2013-09-04 12:21	39K
	prelamb__t2_prelamb	2013-09-04 12:21	42K
	prelamb__t3_prelamb	2013-09-04 12:21	56K
	prelamb__t4_prelamb	2013-09-04 12:21	56K
	prelamb__t5_prelamb	2013-09-04 12:21	56K
	prelamb__t6_prelamb	2013-09-04 12:21	57K
	prelamb__t7_prelamb	2013-09-04 12:21	57K
	prelamb__t8_prelamb	2013-09-04 12:21	57K
	prelamb__t9_prelamb	2013-09-04 12:21	57K
	prelamb__t10_prelamb	2013-09-04 12:21	57K
	prelamb__t11_prelamb	2013-09-04 12:21	56K
	prelamb__t12_prelamb	2013-09-04 12:21	45K
	prelamb__t13_prelamb	2013-09-04 12:21	44K
	prelamb__t14_prelamb	2013-09-04 12:21	45K
	prelamb__t15_prelamb	2013-09-04 12:21	46K
	prelamb__t16_prelamb	2013-09-04 12:21	45K
	prelamb__t17_prelamb	2013-09-04 12:21	45K
	prelamb__t18_prelamb	2013-09-04 12:21	38K
	prelamb__t19_prelamb	2013-09-04 12:21	44K
	prelamb__t20_prelamb	2013-09-04 12:21	43K
	prelamb__t21_prelamb	2013-09-04 12:21	38K
	prelamb__t22_prelamb	2013-09-04 12:21	38K
	prelamb__t23_prelamb	2013-09-04 12:21	45K
	prelamb__t24_prelamb	2013-09-04 12:21	44K
	prelamb__t25_prelamb	2013-09-04 12:21	38K
	prelamb__t26_prelamb	2013-09-04 12:21	47K
	prelamb__t27_prelamb	2013-09-04 12:21	46K
	prelamb__t28_prelamb	2013-09-04 12:21	44K
	prelamb__t29_prelamb	2013-09-04 12:21	47K