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

	Name	Last modified	Size	Description
	Parent Directory		-
	jordan7__l1_jordan7	2021-07-18 17:22	42K
	jordan7__l2_jordan7	2021-07-18 17:22	34K
	jordan7__l3_jordan7	2021-07-18 17:22	43K
	jordan7__l21_jordan7	2021-07-18 17:23	52K
	jordan7__l22_jordan7	2021-07-18 17:09	37K
	jordan7__l23_jordan7	2021-07-18 17:09	37K
	jordan7__t1_jordan7	2021-07-18 17:10	79K
	jordan7__t2_jordan7	2021-07-18 17:10	80K
	jordan7__t3_jordan7	2021-07-18 17:11	81K
	jordan7__t4_jordan7	2021-07-18 17:11	88K
	jordan7__t5_jordan7	2021-07-18 17:12	80K
	jordan7__t6_jordan7	2021-07-18 17:13	57K
	jordan7__t7_jordan7	2021-07-18 17:13	56K
	jordan7__t8_jordan7	2021-07-18 17:14	58K
	jordan7__t9_jordan7	2021-07-18 17:14	82K
	jordan7__t10_jordan7	2021-07-18 17:15	85K
	jordan7__t11_jordan7	2021-07-18 17:15	66K
	jordan7__t12_jordan7	2021-07-18 17:16	66K
	jordan7__t13_jordan7	2021-07-18 17:16	64K
	jordan7__t14_jordan7	2021-07-18 17:17	64K
	jordan7__t15_jordan7	2021-07-18 17:18	77K
	jordan7__t16_jordan7	2021-07-18 17:18	79K
	jordan7__t17_jordan7	2021-07-18 17:19	73K
	jordan7__t18_jordan7	2021-07-18 17:19	73K
	jordan7__t19_jordan7	2021-07-18 17:20	73K
	jordan7__t20_jordan7	2021-07-18 17:21	1.0M