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

	Name	Last modified	Size	Description
	Parent Directory		-
	series_1__l8_series_1	2021-07-18 20:33	40K
	series_1__l36_series_1	2021-07-18 20:19	16K
	series_1__t1_series_1	2021-07-18 20:20	91K
	series_1__t2_series_1	2021-07-18 20:20	42K
	series_1__t3_series_1	2021-07-18 20:21	60K
	series_1__t5_series_1	2021-07-18 20:21	49K
	series_1__t6_series_1	2021-07-18 20:21	75K
	series_1__t7_series_1	2021-07-18 20:22	53K
	series_1__t8_series_1	2021-07-18 20:22	73K
	series_1__t9_series_1	2021-07-18 20:22	55K
	series_1__t10_series_1	2021-07-18 20:23	49K
	series_1__t12_series_1	2021-07-18 20:23	83K
	series_1__t14_series_1	2021-07-18 20:23	55K
	series_1__t16_series_1	2021-07-18 20:24	47K
	series_1__t17_series_1	2021-07-18 20:24	41K
	series_1__t18_series_1	2021-07-18 20:24	49K
	series_1__t20_series_1	2021-07-18 20:25	45K
	series_1__t21_series_1	2021-07-18 20:19	51K
	series_1__t22_series_1	2021-07-18 20:25	78K
	series_1__t23_series_1	2021-07-18 20:26	86K
	series_1__t24_series_1	2021-07-18 20:26	92K
	series_1__t25_series_1	2021-07-18 20:26	99K
	series_1__t26_series_1	2021-07-18 20:27	394K
	series_1__t27_series_1	2021-07-18 20:27	88K
	series_1__t29_series_1	2021-07-18 20:28	88K
	series_1__t30_series_1	2021-07-18 20:28	55K
	series_1__t31_series_1	2021-07-18 20:29	269K
	series_1__t33_series_1	2021-07-18 20:29	97K
	series_1__t34_series_1	2021-07-18 20:30	78K
	series_1__t35_series_1	2021-07-18 20:19	33K
	series_1__t36_series_1	2021-07-18 20:30	51K
	series_1__t37_series_1	2021-07-18 20:30	72K
	series_1__t38_series_1	2021-07-18 20:31	53K
	series_1__t39_series_1	2021-07-18 20:31	95K
	series_1__t40_series_1	2021-07-18 20:32	49K
	series_1__t41_series_1	2021-07-18 20:32	56K
	series_1__t42_series_1	2021-07-18 20:32	65K