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

	Name	Last modified	Size	Description
	Parent Directory		-
	cqc_lang__l1_cqc_lang	2021-07-18 14:31	20K
	cqc_lang__l18_cqc_lang	2021-07-18 14:31	45K
	cqc_lang__l27_cqc_lang	2021-07-18 14:32	44K
	cqc_lang__s1_cqc_lang	2021-07-18 14:20	35K
	cqc_lang__s2_cqc_lang	2021-07-18 14:20	40K
	cqc_lang__s3_cqc_lang	2021-07-18 14:20	35K
	cqc_lang__s4_cqc_lang	2021-07-18 14:21	41K
	cqc_lang__s5_cqc_lang	2021-07-18 14:21	31K
	cqc_lang__s6_cqc_lang	2021-07-18 14:21	32K
	cqc_lang__s7_cqc_lang	2021-07-18 14:22	37K
	cqc_lang__s8_cqc_lang	2021-07-18 14:22	37K
	cqc_lang__s9_cqc_lang	2021-07-18 14:23	37K
	cqc_lang__t1_cqc_lang	2021-07-18 14:23	24K
	cqc_lang__t2_cqc_lang	2021-07-18 14:23	26K
	cqc_lang__t3_cqc_lang	2021-07-18 14:23	33K
	cqc_lang__t4_cqc_lang	2021-07-18 14:24	13K
	cqc_lang__t5_cqc_lang	2021-07-18 14:24	27K
	cqc_lang__t6_cqc_lang	2021-07-18 14:24	14K
	cqc_lang__t7_cqc_lang	2021-07-18 14:25	27K
	cqc_lang__t8_cqc_lang	2021-07-18 14:25	14K
	cqc_lang__t9_cqc_lang	2021-07-18 14:25	18K
	cqc_lang__t10_cqc_lang	2021-07-18 14:25	16K
	cqc_lang__t11_cqc_lang	2021-07-18 14:25	16K
	cqc_lang__t12_cqc_lang	2021-07-18 14:26	17K
	cqc_lang__t13_cqc_lang	2021-07-18 14:26	15K
	cqc_lang__t14_cqc_lang	2021-07-18 14:26	16K
	cqc_lang__t15_cqc_lang	2021-07-18 14:27	39K
	cqc_lang__t16_cqc_lang	2021-07-18 14:27	39K
	cqc_lang__t17_cqc_lang	2021-07-18 14:27	33K
	cqc_lang__t18_cqc_lang	2021-07-18 14:28	44K
	cqc_lang__t19_cqc_lang	2021-07-18 14:28	14K
	cqc_lang__t20_cqc_lang	2021-07-18 14:29	44K
	cqc_lang__t21_cqc_lang	2021-07-18 14:29	15K
	cqc_lang__t22_cqc_lang	2021-07-18 14:29	14K
	cqc_lang__t23_cqc_lang	2021-07-18 14:29	15K
	cqc_lang__t24_cqc_lang	2021-07-18 14:29	14K
	cqc_lang__t25_cqc_lang	2021-07-18 14:30	15K
	cqc_lang__t26_cqc_lang	2021-07-18 14:30	48K
	cqc_lang__t27_cqc_lang	2021-07-18 14:30	15K
	cqc_lang__t28_cqc_lang	2021-07-18 14:31	48K