Index of /~mptp/7.13.01_4.181.1147/mptp/problems_small_consist/extreal2

	Name	Last modified	Size	Description
	Parent Directory		-
	extreal2__t1_extreal2	2013-09-04 12:21	19K
	extreal2__t2_extreal2	2013-09-04 12:21	12K
	extreal2__t3_extreal2	2013-09-04 12:21	9.8K
	extreal2__t4_extreal2	2013-09-04 12:21	12K
	extreal2__t5_extreal2	2013-09-04 12:21	12K
	extreal2__t6_extreal2	2013-09-04 12:21	12K
	extreal2__t7_extreal2	2013-09-04 12:21	14K
	extreal2__t8_extreal2	2013-09-04 12:21	16K
	extreal2__t9_extreal2	2013-09-04 12:21	12K
	extreal2__t10_extreal2	2013-09-04 12:21	13K
	extreal2__t11_extreal2	2013-09-04 12:21	13K
	extreal2__t12_extreal2	2013-09-04 12:21	13K
	extreal2__t13_extreal2	2013-09-04 12:21	18K
	extreal2__t14_extreal2	2013-09-04 12:21	38K
	extreal2__t15_extreal2	2013-09-04 12:21	22K
	extreal2__t16_extreal2	2013-09-04 12:21	24K
	extreal2__t17_extreal2	2013-09-04 12:21	26K
	extreal2__t18_extreal2	2013-09-04 12:21	12K
	extreal2__t19_extreal2	2013-09-04 12:21	13K
	extreal2__t20_extreal2	2013-09-04 12:21	29K
	extreal2__t21_extreal2	2013-09-04 12:21	30K
	extreal2__t23_extreal2	2013-09-04 12:21	18K
	extreal2__t24_extreal2	2013-09-04 12:21	18K
	extreal2__t25_extreal2	2013-09-04 12:21	25K
	extreal2__t26_extreal2	2013-09-04 12:21	87K
	extreal2__t27_extreal2	2013-09-04 12:21	87K
	extreal2__t28_extreal2	2013-09-04 12:21	14K
	extreal2__t29_extreal2	2013-09-04 12:21	13K
	extreal2__t30_extreal2	2013-09-04 12:21	8.4K