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

	Name	Last modified	Size	Description
	Parent Directory		-
	weddwitt__t1_weddwitt	2021-07-19 02:22	32K
	weddwitt__t2_weddwitt	2021-07-19 02:23	38K
	weddwitt__t3_weddwitt	2021-07-19 02:23	73K
	weddwitt__t4_weddwitt	2021-07-19 02:24	139K
	weddwitt__t5_weddwitt	2021-07-19 02:25	80K
	weddwitt__t6_weddwitt	2021-07-19 02:25	111K
	weddwitt__t7_weddwitt	2021-07-19 02:26	55K
	weddwitt__t8_weddwitt	2021-07-19 02:26	55K
	weddwitt__t9_weddwitt	2021-07-19 02:27	81K
	weddwitt__t10_weddwitt	2021-07-19 02:28	69K
	weddwitt__t11_weddwitt	2021-07-19 02:29	74K
	weddwitt__t12_weddwitt	2021-07-19 02:29	85K
	weddwitt__t13_weddwitt	2021-07-19 02:30	82K
	weddwitt__t14_weddwitt	2021-07-19 02:21	77K
	weddwitt__t15_weddwitt	2021-07-19 02:31	144K
	weddwitt__t16_weddwitt	2021-07-19 02:32	73K
	weddwitt__t17_weddwitt	2021-07-19 02:33	74K
	weddwitt__t18_weddwitt	2021-07-19 02:33	63K
	weddwitt__t19_weddwitt	2021-07-19 02:34	65K
	weddwitt__t20_weddwitt	2021-07-19 02:35	72K
	weddwitt__t21_weddwitt	2021-07-19 02:35	77K
	weddwitt__t22_weddwitt	2021-07-19 02:36	94K
	weddwitt__t23_weddwitt	2021-07-19 02:37	72K
	weddwitt__t24_weddwitt	2021-07-19 02:38	72K
	weddwitt__t25_weddwitt	2021-07-19 02:38	64K
	weddwitt__t26_weddwitt	2021-07-19 02:39	77K
	weddwitt__t27_weddwitt	2021-07-19 02:40	72K
	weddwitt__t28_weddwitt	2021-07-19 02:40	65K
	weddwitt__t29_weddwitt	2021-07-19 02:41	93K
	weddwitt__t30_weddwitt	2021-07-19 02:42	102K
	weddwitt__t31_weddwitt	2021-07-19 02:43	81K
	weddwitt__t32_weddwitt	2021-07-19 02:44	109K
	weddwitt__t33_weddwitt	2021-07-19 02:44	83K
	weddwitt__t34_weddwitt	2021-07-19 02:45	73K
	weddwitt__t35_weddwitt	2021-07-19 02:46	117K
	weddwitt__t36_weddwitt	2021-07-19 02:47	113K
	weddwitt__t37_weddwitt	2021-07-19 02:48	101K
	weddwitt__t38_weddwitt	2021-07-19 02:49	217K
	weddwitt__t39_weddwitt	2021-07-19 02:21	73K
	weddwitt__t40_weddwitt	2021-07-19 02:22	73K