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

	Name	Last modified	Size	Description
	Parent Directory		-
	normsp_4__l7_normsp_4	2021-07-18 14:28	70K
	normsp_4__l14_normsp_4	2021-07-18 14:29	71K
	normsp_4__l15_normsp_4	2021-07-18 14:30	98K
	normsp_4__l17_normsp_4	2021-07-18 14:30	74K
	normsp_4__l24_normsp_4	2021-07-18 14:31	105K
	normsp_4__l26_normsp_4	2021-07-18 14:31	85K
	normsp_4__l30_normsp_4	2021-07-18 14:32	81K
	normsp_4__t1_normsp_4	2021-07-18 14:14	90K
	normsp_4__t2_normsp_4	2021-07-18 14:14	80K
	normsp_4__t3_normsp_4	2021-07-18 14:15	98K
	normsp_4__t4_normsp_4	2021-07-18 14:16	52K
	normsp_4__t5_normsp_4	2021-07-18 14:16	58K
	normsp_4__t6_normsp_4	2021-07-18 14:17	79K
	normsp_4__t7_normsp_4	2021-07-18 14:17	76K
	normsp_4__t8_normsp_4	2021-07-18 14:18	84K
	normsp_4__t9_normsp_4	2021-07-18 14:18	109K
	normsp_4__t10_normsp_4	2021-07-18 14:19	102K
	normsp_4__t11_normsp_4	2021-07-18 14:19	82K
	normsp_4__t12_normsp_4	2021-07-18 14:20	115K
	normsp_4__t13_normsp_4	2021-07-18 14:21	77K
	normsp_4__t14_normsp_4	2021-07-18 14:21	76K
	normsp_4__t15_normsp_4	2021-07-18 14:22	83K
	normsp_4__t16_normsp_4	2021-07-18 14:22	38K
	normsp_4__t17_normsp_4	2021-07-18 14:23	127K
	normsp_4__t18_normsp_4	2021-07-18 14:23	227K
	normsp_4__t19_normsp_4	2021-07-18 14:12	78K
	normsp_4__t20_normsp_4	2021-07-18 14:13	69K
	normsp_4__t21_normsp_4	2021-07-18 14:24	81K
	normsp_4__t22_normsp_4	2021-07-18 14:25	89K
	normsp_4__t23_normsp_4	2021-07-18 14:25	68K
	normsp_4__t24_normsp_4	2021-07-18 14:26	78K
	normsp_4__t25_normsp_4	2021-07-18 14:26	93K
	normsp_4__t26_normsp_4	2021-07-18 14:13	59K
	normsp_4__t27_normsp_4	2021-07-18 14:27	89K
	normsp_4__t28_normsp_4	2021-07-18 14:27	75K
	normsp_4__t29_normsp_4	2021-07-18 14:28	74K