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

	Name	Last modified	Size	Description
	Parent Directory		-
	weierstr__l15_weierstr	2021-07-18 14:07	41K
	weierstr__l31_weierstr	2021-07-18 13:55	27K
	weierstr__t1_weierstr	2021-07-18 13:56	67K
	weierstr__t2_weierstr	2021-07-18 13:56	57K
	weierstr__t3_weierstr	2021-07-18 13:57	59K
	weierstr__t4_weierstr	2021-07-18 13:57	36K
	weierstr__t5_weierstr	2021-07-18 13:57	44K
	weierstr__t6_weierstr	2021-07-18 13:58	43K
	weierstr__t7_weierstr	2021-07-18 13:58	49K
	weierstr__t8_weierstr	2021-07-18 13:59	45K
	weierstr__t9_weierstr	2021-07-18 13:52	35K
	weierstr__t10_weierstr	2021-07-18 13:53	43K
	weierstr__t11_weierstr	2021-07-18 13:59	62K
	weierstr__t12_weierstr	2021-07-18 14:00	69K
	weierstr__t13_weierstr	2021-07-18 14:00	41K
	weierstr__t14_weierstr	2021-07-18 14:01	39K
	weierstr__t15_weierstr	2021-07-18 14:01	39K
	weierstr__t16_weierstr	2021-07-18 14:01	60K
	weierstr__t17_weierstr	2021-07-18 13:53	41K
	weierstr__t18_weierstr	2021-07-18 13:54	41K
	weierstr__t19_weierstr	2021-07-18 14:02	54K
	weierstr__t20_weierstr	2021-07-18 14:02	59K
	weierstr__t21_weierstr	2021-07-18 14:03	49K
	weierstr__t22_weierstr	2021-07-18 14:03	56K
	weierstr__t23_weierstr	2021-07-18 14:04	49K
	weierstr__t24_weierstr	2021-07-18 14:04	67K
	weierstr__t25_weierstr	2021-07-18 13:54	41K
	weierstr__t26_weierstr	2021-07-18 13:54	41K
	weierstr__t27_weierstr	2021-07-18 14:05	67K
	weierstr__t28_weierstr	2021-07-18 13:55	41K
	weierstr__t29_weierstr	2021-07-18 13:55	41K
	weierstr__t30_weierstr	2021-07-18 14:05	47K
	weierstr__t31_weierstr	2021-07-18 14:06	48K
	weierstr__t32_weierstr	2021-07-18 14:06	48K
	weierstr__t33_weierstr	2021-07-18 14:06	47K
	weierstr__t34_weierstr	2021-07-18 14:07	61K