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

	Name	Last modified	Size	Description
	Parent Directory		-
	prelamb__l26_prelamb	2021-07-18 14:10	86K
	prelamb__l31_prelamb	2021-07-18 14:10	78K
	prelamb__l32_prelamb	2021-07-18 14:11	79K
	prelamb__l33_prelamb	2021-07-18 14:11	73K
	prelamb__l34_prelamb	2021-07-18 14:12	78K
	prelamb__l35_prelamb	2021-07-18 14:12	79K
	prelamb__l36_prelamb	2021-07-18 14:13	73K
	prelamb__l37_prelamb	2021-07-18 14:13	82K
	prelamb__l38_prelamb	2021-07-18 14:14	78K
	prelamb__l39_prelamb	2021-07-18 14:14	76K
	prelamb__t1_prelamb	2021-07-18 13:56	73K
	prelamb__t2_prelamb	2021-07-18 13:56	78K
	prelamb__t3_prelamb	2021-07-18 13:57	97K
	prelamb__t4_prelamb	2021-07-18 13:57	98K
	prelamb__t5_prelamb	2021-07-18 13:58	98K
	prelamb__t6_prelamb	2021-07-18 13:58	99K
	prelamb__t7_prelamb	2021-07-18 13:59	99K
	prelamb__t8_prelamb	2021-07-18 13:59	99K
	prelamb__t9_prelamb	2021-07-18 14:00	99K
	prelamb__t10_prelamb	2021-07-18 14:01	99K
	prelamb__t11_prelamb	2021-07-18 14:01	109K
	prelamb__t12_prelamb	2021-07-18 14:02	81K
	prelamb__t13_prelamb	2021-07-18 14:02	80K
	prelamb__t14_prelamb	2021-07-18 14:03	82K
	prelamb__t15_prelamb	2021-07-18 14:03	82K
	prelamb__t16_prelamb	2021-07-18 14:04	81K
	prelamb__t17_prelamb	2021-07-18 14:04	81K
	prelamb__t18_prelamb	2021-07-18 14:04	68K
	prelamb__t19_prelamb	2021-07-18 14:05	78K
	prelamb__t20_prelamb	2021-07-18 14:05	78K
	prelamb__t21_prelamb	2021-07-18 14:06	68K
	prelamb__t22_prelamb	2021-07-18 14:06	69K
	prelamb__t23_prelamb	2021-07-18 14:07	80K
	prelamb__t24_prelamb	2021-07-18 14:07	79K
	prelamb__t25_prelamb	2021-07-18 13:55	69K
	prelamb__t26_prelamb	2021-07-18 14:08	84K
	prelamb__t27_prelamb	2021-07-18 14:08	82K
	prelamb__t28_prelamb	2021-07-18 14:09	80K
	prelamb__t29_prelamb	2021-07-18 14:09	84K