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

	Name	Last modified	Size	Description
	Parent Directory		-
	jordan12__l1_jordan12	2021-07-18 18:03	25K
	jordan12__l2_jordan12	2021-07-18 18:03	22K
	jordan12__l22_jordan12	2021-07-18 18:04	54K
	jordan12__l24_jordan12	2021-07-18 18:04	53K
	jordan12__l30_jordan12	2021-07-18 18:05	58K
	jordan12__t1_jordan12	2021-07-18 17:46	25K
	jordan12__t2_jordan12	2021-07-18 17:47	22K
	jordan12__t3_jordan12	2021-07-18 17:47	45K
	jordan12__t4_jordan12	2021-07-18 17:48	96K
	jordan12__t5_jordan12	2021-07-18 17:48	45K
	jordan12__t6_jordan12	2021-07-18 17:49	63K
	jordan12__t7_jordan12	2021-07-18 17:49	52K
	jordan12__t8_jordan12	2021-07-18 17:49	56K
	jordan12__t9_jordan12	2021-07-18 17:50	61K
	jordan12__t10_jordan12	2021-07-18 17:50	47K
	jordan12__t11_jordan12	2021-07-18 17:51	50K
	jordan12__t12_jordan12	2021-07-18 17:51	48K
	jordan12__t13_jordan12	2021-07-18 17:52	60K
	jordan12__t14_jordan12	2021-07-18 17:46	52K
	jordan12__t15_jordan12	2021-07-18 17:52	60K
	jordan12__t16_jordan12	2021-07-18 17:53	57K
	jordan12__t17_jordan12	2021-07-18 17:53	57K
	jordan12__t18_jordan12	2021-07-18 17:54	45K
	jordan12__t19_jordan12	2021-07-18 17:54	44K
	jordan12__t20_jordan12	2021-07-18 17:55	47K
	jordan12__t21_jordan12	2021-07-18 17:55	53K
	jordan12__t22_jordan12	2021-07-18 17:56	85K
	jordan12__t23_jordan12	2021-07-18 17:56	60K
	jordan12__t24_jordan12	2021-07-18 17:57	42K
	jordan12__t25_jordan12	2021-07-18 17:57	38K
	jordan12__t26_jordan12	2021-07-18 17:58	38K
	jordan12__t27_jordan12	2021-07-18 17:58	41K
	jordan12__t28_jordan12	2021-07-18 17:58	43K
	jordan12__t29_jordan12	2021-07-18 17:59	52K
	jordan12__t30_jordan12	2021-07-18 17:59	69K
	jordan12__t31_jordan12	2021-07-18 18:00	73K
	jordan12__t32_jordan12	2021-07-18 18:01	191K
	jordan12__t33_jordan12	2021-07-18 18:01	89K
	jordan12__t34_jordan12	2021-07-18 18:02	209K
	jordan12__t35_jordan12	2021-07-18 18:03	75K