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

	Name	Last modified	Size	Description
	Parent Directory		-
	latsubgr__t1_latsubgr	2021-07-18 17:57	24K
	latsubgr__t2_latsubgr	2021-07-18 17:58	19K
	latsubgr__t3_latsubgr	2021-07-18 17:58	21K
	latsubgr__t4_latsubgr	2021-07-18 17:58	24K
	latsubgr__t5_latsubgr	2021-07-18 17:58	26K
	latsubgr__t6_latsubgr	2021-07-18 17:59	29K
	latsubgr__t7_latsubgr	2021-07-18 17:59	27K
	latsubgr__t8_latsubgr	2021-07-18 17:59	21K
	latsubgr__t9_latsubgr	2021-07-18 17:59	21K
	latsubgr__t10_latsubgr	2021-07-18 18:00	21K
	latsubgr__t11_latsubgr	2021-07-18 17:56	25K
	latsubgr__t12_latsubgr	2021-07-18 18:00	22K
	latsubgr__t13_latsubgr	2021-07-18 18:00	21K
	latsubgr__t14_latsubgr	2021-07-18 18:00	21K
	latsubgr__t15_latsubgr	2021-07-18 17:57	21K
	latsubgr__t16_latsubgr	2021-07-18 18:01	22K
	latsubgr__t17_latsubgr	2021-07-18 18:01	22K
	latsubgr__t18_latsubgr	2021-07-18 18:01	24K
	latsubgr__t19_latsubgr	2021-07-18 18:01	24K
	latsubgr__t20_latsubgr	2021-07-18 18:02	30K
	latsubgr__t21_latsubgr	2021-07-18 18:02	27K
	latsubgr__t22_latsubgr	2021-07-18 18:02	37K
	latsubgr__t23_latsubgr	2021-07-18 18:03	35K
	latsubgr__t24_latsubgr	2021-07-18 17:57	29K
	latsubgr__t25_latsubgr	2021-07-18 18:03	40K
	latsubgr__t26_latsubgr	2021-07-18 18:03	39K
	latsubgr__t27_latsubgr	2021-07-18 18:04	40K
	latsubgr__t28_latsubgr	2021-07-18 18:04	42K
	latsubgr__t29_latsubgr	2021-07-18 18:05	46K
	latsubgr__t30_latsubgr	2021-07-18 18:05	39K
	latsubgr__t31_latsubgr	2021-07-18 18:06	53K
	latsubgr__t32_latsubgr	2021-07-18 18:06	59K
	latsubgr__t33_latsubgr	2021-07-18 17:57	31K