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

	Name	Last modified	Size	Description
	Parent Directory		-
	openlatt__l25_openlatt	2021-07-18 16:59	21K
	openlatt__t1_openlatt	2021-07-18 16:48	19K
	openlatt__t2_openlatt	2021-07-18 16:49	21K
	openlatt__t3_openlatt	2021-07-18 16:49	44K
	openlatt__t4_openlatt	2021-07-18 16:46	31K
	openlatt__t5_openlatt	2021-07-18 16:47	47K
	openlatt__t6_openlatt	2021-07-18 16:49	42K
	openlatt__t7_openlatt	2021-07-18 16:50	42K
	openlatt__t8_openlatt	2021-07-18 16:50	45K
	openlatt__t9_openlatt	2021-07-18 16:50	50K
	openlatt__t10_openlatt	2021-07-18 16:51	19K
	openlatt__t11_openlatt	2021-07-18 16:51	20K
	openlatt__t12_openlatt	2021-07-18 16:51	21K
	openlatt__t13_openlatt	2021-07-18 16:52	21K
	openlatt__t14_openlatt	2021-07-18 16:52	28K
	openlatt__t15_openlatt	2021-07-18 16:52	29K
	openlatt__t16_openlatt	2021-07-18 16:52	19K
	openlatt__t17_openlatt	2021-07-18 16:53	21K
	openlatt__t18_openlatt	2021-07-18 16:53	32K
	openlatt__t19_openlatt	2021-07-18 16:53	23K
	openlatt__t20_openlatt	2021-07-18 16:54	49K
	openlatt__t21_openlatt	2021-07-18 16:54	27K
	openlatt__t22_openlatt	2021-07-18 16:54	28K
	openlatt__t23_openlatt	2021-07-18 16:55	42K
	openlatt__t24_openlatt	2021-07-18 16:47	32K
	openlatt__t25_openlatt	2021-07-18 16:47	44K
	openlatt__t26_openlatt	2021-07-18 16:55	40K
	openlatt__t27_openlatt	2021-07-18 16:55	35K
	openlatt__t28_openlatt	2021-07-18 16:56	37K
	openlatt__t29_openlatt	2021-07-18 16:56	37K
	openlatt__t30_openlatt	2021-07-18 16:57	38K
	openlatt__t31_openlatt	2021-07-18 16:48	46K
	openlatt__t32_openlatt	2021-07-18 16:57	46K
	openlatt__t33_openlatt	2021-07-18 16:57	65K
	openlatt__t34_openlatt	2021-07-18 16:48	49K
	openlatt__t35_openlatt	2021-07-18 16:58	50K
	openlatt__t36_openlatt	2021-07-18 16:58	49K