Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/scmp_gcd

	Name	Last modified	Size	Description
	Parent Directory		-
	scmp_gcd__l15_scmp_gcd	2016-03-08 13:09	202K
	scmp_gcd__l17_scmp_gcd	2016-03-08 13:09	32K
	scmp_gcd__l18_scmp_gcd	2016-03-08 13:09	31K
	scmp_gcd__l19_scmp_gcd	2016-03-08 13:09	331K
	scmp_gcd__l20_scmp_gcd	2016-03-08 13:09	330K
	scmp_gcd__l24_scmp_gcd	2016-03-08 13:09	146K
	scmp_gcd__l25_scmp_gcd	2016-03-08 13:09	238K
	scmp_gcd__l26_scmp_gcd	2016-03-08 13:09	927K
	scmp_gcd__l27_scmp_gcd	2016-03-08 13:09	237K
	scmp_gcd__t1_scmp_gcd	2016-03-08 13:09	44K
	scmp_gcd__t2_scmp_gcd	2016-03-08 13:09	64K
	scmp_gcd__t3_scmp_gcd	2016-03-08 13:09	28K
	scmp_gcd__t4_scmp_gcd	2016-03-08 13:09	39K
	scmp_gcd__t5_scmp_gcd	2016-03-08 13:09	42K
	scmp_gcd__t6_scmp_gcd	2016-03-08 13:09	60K
	scmp_gcd__t7_scmp_gcd	2016-03-08 13:09	38K
	scmp_gcd__t8_scmp_gcd	2016-03-08 13:09	153K
	scmp_gcd__t9_scmp_gcd	2016-03-08 13:09	824K
	scmp_gcd__t10_scmp_gcd	2016-03-08 13:09	136K
	scmp_gcd__t11_scmp_gcd	2016-03-08 13:09	179K
	scmp_gcd__t12_scmp_gcd	2016-03-08 13:09	922K
	scmp_gcd__t13_scmp_gcd	2016-03-08 13:09	918K
	scmp_gcd__t14_scmp_gcd	2016-03-08 13:09	234K
	scmp_gcd__t15_scmp_gcd	2016-03-08 13:09	362K