Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_from/nagata_2

	Name	Last modified	Size	Description
	Parent Directory		-
	nagata_2__e1_7_1_1	2017-01-12 23:23	51K
	nagata_2__e2_2_1_1	2017-01-12 23:23	56K
	nagata_2__e2_4_1_1	2017-01-12 23:23	48K
	nagata_2__e2_19	2017-01-12 23:23	68K
	nagata_2__e2_24_1_1	2017-01-12 23:23	60K
	nagata_2__e2_24_1_1_7	2017-01-12 23:23	66K
	nagata_2__e3_24_1_1_8	2017-01-12 23:23	62K
	nagata_2__e4_17	2017-01-12 23:23	59K
	nagata_2__e4_21	2017-01-12 23:23	70K
	nagata_2__e5_1	2017-01-12 23:23	44K
	nagata_2__e5_16	2017-01-12 23:23	56K
	nagata_2__e5_24_1_1_9	2017-01-12 23:23	75K
	nagata_2__e5_25_3	2017-01-12 23:23	46K
	nagata_2__e6_19_4	2017-01-12 23:23	65K
	nagata_2__e7_24_1_1	2017-01-12 23:23	68K
	nagata_2__e7_26	2017-01-12 23:23	61K
	nagata_2__e9_24_1_1_16_3_1_1_2	2017-01-12 23:23	72K
	nagata_2__e9_24_1_1_16_5_1_2	2017-01-12 23:23	74K
	nagata_2__e9_24_1_1_17_1_1_1_2	2017-01-12 23:23	72K
	nagata_2__e9_24_1_1_17_2_1_1_2	2017-01-12 23:23	77K
	nagata_2__e10_24_1	2017-01-12 23:23	74K
	nagata_2__e11_24_1_1	2017-01-12 23:23	61K
	nagata_2__e12_26	2017-01-12 23:23	64K
	nagata_2__e14_24_1_1	2017-01-12 23:23	65K
	nagata_2__e14_25	2017-01-12 23:23	74K
	nagata_2__e15_18_1_1	2017-01-12 23:23	80K
	nagata_2__e15_26	2017-01-12 23:23	65K
	nagata_2__e18_24_1_1	2017-01-12 23:23	75K
	nagata_2__e19_25_3	2017-01-12 23:23	39K
	nagata_2__e21_24_1_1	2017-01-12 23:23	69K
	nagata_2__e26_24_1_1	2017-01-12 23:23	80K
	nagata_2__e29_24_1_1	2017-01-12 23:23	67K
	nagata_2__e45_24_1_1_13	2017-01-12 23:23	77K