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

	Name	Last modified	Size	Description
	Parent Directory		-
	brouwer__l18_brouwer	2013-09-04 12:28	43K
	brouwer__t1_brouwer	2013-09-04 12:28	31K
	brouwer__t2_brouwer	2013-09-04 12:28	49K
	brouwer__t3_brouwer	2013-09-04 12:28	41K
	brouwer__t4_brouwer	2013-09-04 12:28	195K
	brouwer__t5_brouwer	2013-09-04 12:28	168K
	brouwer__t6_brouwer	2013-09-04 12:28	48K
	brouwer__t7_brouwer	2013-09-04 12:28	341K
	brouwer__t8_brouwer	2013-09-04 12:28	332K
	brouwer__t9_brouwer	2013-09-04 12:28	52K
	brouwer__t10_brouwer	2013-09-04 12:28	85K
	brouwer__t11_brouwer	2013-09-04 12:28	46K
	brouwer__t12_brouwer	2013-09-04 12:28	57K
	brouwer__t13_brouwer	2013-09-04 12:28	286K
	brouwer__t14_brouwer	2013-09-04 12:28	56K
	brouwer__t15_brouwer	2013-09-04 12:28	45K