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

	Name	Last modified	Size	Description
	Parent Directory		-
	filerec1__t1_filerec1	2013-09-04 12:40	20K
	filerec1__t2_filerec1	2013-09-04 12:40	23K
	filerec1__t3_filerec1	2013-09-04 12:40	21K
	filerec1__t4_filerec1	2013-09-04 12:40	42K
	filerec1__t5_filerec1	2013-09-04 12:40	36K
	filerec1__t6_filerec1	2013-09-04 12:40	44K
	filerec1__t7_filerec1	2013-09-04 12:40	37K
	filerec1__t8_filerec1	2013-09-04 12:40	22K
	filerec1__t9_filerec1	2013-09-04 12:40	24K
	filerec1__t10_filerec1	2013-09-04 12:40	20K
	filerec1__t11_filerec1	2013-09-04 12:40	20K
	filerec1__t12_filerec1	2013-09-04 12:40	26K
	filerec1__t13_filerec1	2013-09-04 12:40	21K
	filerec1__t14_filerec1	2013-09-04 12:40	21K
	filerec1__t15_filerec1	2013-09-04 12:40	21K
	filerec1__t16_filerec1	2013-09-04 12:40	27K
	filerec1__t17_filerec1	2013-09-04 12:40	18K
	filerec1__t18_filerec1	2013-09-04 12:40	88K
	filerec1__t19_filerec1	2013-09-04 12:40	49K
	filerec1__t20_filerec1	2013-09-04 12:40	29K
	filerec1__t21_filerec1	2013-09-04 12:40	20K
	filerec1__t22_filerec1	2013-09-04 12:40	23K
	filerec1__t23_filerec1	2013-09-04 12:40	44K
	filerec1__t24_filerec1	2013-09-04 12:40	25K
	filerec1__t25_filerec1	2013-09-04 12:40	22K
	filerec1__t26_filerec1	2013-09-04 12:40	25K
	filerec1__t27_filerec1	2013-09-04 12:40	54K
	filerec1__t28_filerec1	2013-09-04 12:40	87K
	filerec1__t29_filerec1	2013-09-04 12:40	21K
	filerec1__t30_filerec1	2013-09-04 12:40	30K
	filerec1__t31_filerec1	2013-09-04 12:40	27K
	filerec1__t32_filerec1	2013-09-04 12:40	20K
	filerec1__t33_filerec1	2013-09-04 12:40	21K
	filerec1__t34_filerec1	2013-09-04 12:40	48K
	filerec1__t35_filerec1	2013-09-04 12:40	45K
	filerec1__t36_filerec1	2013-09-04 12:40	25K
	filerec1__t37_filerec1	2013-09-04 12:40	25K
	filerec1__t38_filerec1	2013-09-04 12:40	30K
	filerec1__t39_filerec1	2013-09-04 12:40	48K
	filerec1__t40_filerec1	2013-09-04 12:40	16K
	filerec1__t41_filerec1	2013-09-04 12:40	43K
	filerec1__t42_filerec1	2013-09-04 12:40	53K
	filerec1__t43_filerec1	2013-09-04 12:40	20K
	filerec1__t44_filerec1	2013-09-04 12:40	30K