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

	Name	Last modified	Size	Description
	Parent Directory		-
	topreal2__l1_topreal2	2013-09-04 12:23	7.3K
	topreal2__l2_topreal2	2013-09-04 12:23	25K
	topreal2__l3_topreal2	2013-09-04 12:23	25K
	topreal2__l4_topreal2	2013-09-04 12:23	21K
	topreal2__l5_topreal2	2013-09-04 12:23	21K
	topreal2__l6_topreal2	2013-09-04 12:23	21K
	topreal2__l7_topreal2	2013-09-04 12:23	21K
	topreal2__l8_topreal2	2013-09-04 12:23	21K
	topreal2__l9_topreal2	2013-09-04 12:23	21K
	topreal2__l10_topreal2	2013-09-04 12:23	21K
	topreal2__l11_topreal2	2013-09-04 12:23	21K
	topreal2__l12_topreal2	2013-09-04 12:23	25K
	topreal2__l13_topreal2	2013-09-04 12:23	25K
	topreal2__l14_topreal2	2013-09-04 12:23	25K
	topreal2__l15_topreal2	2013-09-04 12:23	25K
	topreal2__l16_topreal2	2013-09-04 12:23	25K
	topreal2__l17_topreal2	2013-09-04 12:23	25K
	topreal2__l18_topreal2	2013-09-04 12:23	25K
	topreal2__l19_topreal2	2013-09-04 12:23	25K
	topreal2__l20_topreal2	2013-09-04 12:23	22K
	topreal2__l21_topreal2	2013-09-04 12:23	22K
	topreal2__l22_topreal2	2013-09-04 12:23	22K
	topreal2__l23_topreal2	2013-09-04 12:23	22K
	topreal2__l24_topreal2	2013-09-04 12:23	22K
	topreal2__l25_topreal2	2013-09-04 12:23	22K
	topreal2__l26_topreal2	2013-09-04 12:23	22K
	topreal2__l27_topreal2	2013-09-04 12:23	22K
	topreal2__l28_topreal2	2013-09-04 12:23	24K
	topreal2__l29_topreal2	2013-09-04 12:23	24K
	topreal2__l30_topreal2	2013-09-04 12:23	48K
	topreal2__l31_topreal2	2013-09-04 12:24	48K
	topreal2__l32_topreal2	2013-09-04 12:24	48K
	topreal2__l33_topreal2	2013-09-04 12:24	48K
	topreal2__l39_topreal2	2013-09-04 12:24	59K
	topreal2__l42_topreal2	2013-09-04 12:24	15K
	topreal2__l43_topreal2	2013-09-04 12:24	15K
	topreal2__l44_topreal2	2013-09-04 12:24	16K
	topreal2__t1_topreal2	2013-09-04 12:23	31K
	topreal2__t2_topreal2	2013-09-04 12:23	37K
	topreal2__t3_topreal2	2013-09-04 12:23	32K
	topreal2__t4_topreal2	2013-09-04 12:23	35K
	topreal2__t5_topreal2	2013-09-04 12:23	54K
	topreal2__t6_topreal2	2013-09-04 12:23	28K