Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/yellow17

	Name	Last modified	Size	Description
	Parent Directory		-
	yellow17__l6_yellow17	2021-07-18 14:21	15K
	yellow17__s1_yellow17	2021-07-18 14:14	32K
	yellow17__t1_yellow17	2021-07-18 14:14	15K
	yellow17__t2_yellow17	2021-07-18 14:14	9.7K
	yellow17__t3_yellow17	2021-07-18 14:15	16K
	yellow17__t4_yellow17	2021-07-18 14:15	15K
	yellow17__t5_yellow17	2021-07-18 14:15	16K
	yellow17__t6_yellow17	2021-07-18 14:15	14K
	yellow17__t7_yellow17	2021-07-18 14:15	19K
	yellow17__t8_yellow17	2021-07-18 14:16	35K
	yellow17__t9_yellow17	2021-07-18 14:16	37K
	yellow17__t10_yellow17	2021-07-18 14:16	37K
	yellow17__t11_yellow17	2021-07-18 14:17	37K
	yellow17__t12_yellow17	2021-07-18 14:17	37K
	yellow17__t13_yellow17	2021-07-18 14:18	36K
	yellow17__t14_yellow17	2021-07-18 14:18	16K
	yellow17__t15_yellow17	2021-07-18 14:18	27K
	yellow17__t16_yellow17	2021-07-18 14:18	34K
	yellow17__t17_yellow17	2021-07-18 14:19	36K
	yellow17__t18_yellow17	2021-07-18 14:19	40K
	yellow17__t19_yellow17	2021-07-18 14:19	43K
	yellow17__t20_yellow17	2021-07-18 14:20	35K
	yellow17__t21_yellow17	2021-07-18 14:20	37K
	yellow17__t22_yellow17	2021-07-18 14:21	41K
	yellow17__t23_yellow17	2021-07-18 14:21	41K