Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_small_consist/heyting2

	Name	Last modified	Size	Description
	Parent Directory		-
	heyting2__l2_heyting2	2013-09-04 12:24	8.9K
	heyting2__l9_heyting2	2013-09-04 12:24	12K
	heyting2__l21_heyting2	2013-09-04 12:24	24K
	heyting2__l23_heyting2	2013-09-04 12:24	12K
	heyting2__l29_heyting2	2013-09-04 12:24	36K
	heyting2__l30_heyting2	2013-09-04 12:24	39K
	heyting2__l32_heyting2	2013-09-04 12:24	31K
	heyting2__l35_heyting2	2013-09-04 12:24	33K
	heyting2__l40_heyting2	2013-09-04 12:24	33K
	heyting2__l45_heyting2	2013-09-04 12:24	52K
	heyting2__l46_heyting2	2013-09-04 12:24	33K
	heyting2__t1_heyting2	2013-09-04 12:24	11K
	heyting2__t2_heyting2	2013-09-04 12:24	11K
	heyting2__t3_heyting2	2013-09-04 12:24	12K
	heyting2__t4_heyting2	2013-09-04 12:24	13K
	heyting2__t5_heyting2	2013-09-04 12:24	15K
	heyting2__t6_heyting2	2013-09-04 12:24	12K
	heyting2__t7_heyting2	2013-09-04 12:24	6.8K
	heyting2__t8_heyting2	2013-09-04 12:24	9.7K
	heyting2__t9_heyting2	2013-09-04 12:24	14K
	heyting2__t10_heyting2	2013-09-04 12:24	13K
	heyting2__t11_heyting2	2013-09-04 12:24	17K
	heyting2__t12_heyting2	2013-09-04 12:24	30K
	heyting2__t13_heyting2	2013-09-04 12:24	30K
	heyting2__t14_heyting2	2013-09-04 12:24	32K
	heyting2__t15_heyting2	2013-09-04 12:24	20K
	heyting2__t16_heyting2	2013-09-04 12:24	25K
	heyting2__t17_heyting2	2013-09-04 12:24	30K
	heyting2__t18_heyting2	2013-09-04 12:24	53K
	heyting2__t19_heyting2	2013-09-04 12:24	29K
	heyting2__t20_heyting2	2013-09-04 12:24	29K
	heyting2__t21_heyting2	2013-09-04 12:24	27K
	heyting2__t22_heyting2	2013-09-04 12:24	34K
	heyting2__t23_heyting2	2013-09-04 12:24	27K
	heyting2__t24_heyting2	2013-09-04 12:24	46K
	heyting2__t25_heyting2	2013-09-04 12:24	43K
	heyting2__t26_heyting2	2013-09-04 12:24	36K
	heyting2__t27_heyting2	2013-09-04 12:24	40K
	heyting2__t28_heyting2	2013-09-04 12:24	34K