Index of /~mptp/7.13.01_4.181.1147/mptp/problems_small_consist/heyting3

	Name	Last modified	Size	Description
	Parent Directory		-
	heyting3__l1_heyting3	2013-09-04 12:39	23K
	heyting3__l2_heyting3	2013-09-04 12:39	20K
	heyting3__l3_heyting3	2013-09-04 12:39	18K
	heyting3__l22_heyting3	2013-09-04 12:39	25K
	heyting3__l24_heyting3	2013-09-04 12:39	37K
	heyting3__l27_heyting3	2013-09-04 12:39	19K
	heyting3__l29_heyting3	2013-09-04 12:39	37K
	heyting3__l34_heyting3	2013-09-04 12:39	20K
	heyting3__l45_heyting3	2013-09-04 12:39	15K
	heyting3__l55_heyting3	2013-09-04 12:39	71K
	heyting3__t1_heyting3	2013-09-04 12:39	24K
	heyting3__t2_heyting3	2013-09-04 12:39	30K
	heyting3__t3_heyting3	2013-09-04 12:39	48K
	heyting3__t4_heyting3	2013-09-04 12:39	38K
	heyting3__t5_heyting3	2013-09-04 12:39	46K
	heyting3__t6_heyting3	2013-09-04 12:39	31K
	heyting3__t7_heyting3	2013-09-04 12:39	31K
	heyting3__t8_heyting3	2013-09-04 12:39	26K
	heyting3__t9_heyting3	2013-09-04 12:39	17K
	heyting3__t10_heyting3	2013-09-04 12:39	18K
	heyting3__t11_heyting3	2013-09-04 12:39	46K
	heyting3__t12_heyting3	2013-09-04 12:39	47K
	heyting3__t13_heyting3	2013-09-04 12:39	49K
	heyting3__t14_heyting3	2013-09-04 12:39	33K
	heyting3__t15_heyting3	2013-09-04 12:39	49K
	heyting3__t16_heyting3	2013-09-04 12:39	49K
	heyting3__t17_heyting3	2013-09-04 12:39	35K
	heyting3__t18_heyting3	2013-09-04 12:39	34K
	heyting3__t19_heyting3	2013-09-04 12:39	34K
	heyting3__t20_heyting3	2013-09-04 12:39	36K
	heyting3__t21_heyting3	2013-09-04 12:39	26K
	heyting3__t22_heyting3	2013-09-04 12:39	23K
	heyting3__t23_heyting3	2013-09-04 12:39	43K
	heyting3__t24_heyting3	2013-09-04 12:39	35K
	heyting3__t25_heyting3	2013-09-04 12:39	48K
	heyting3__t26_heyting3	2013-09-04 12:39	23K
	heyting3__t27_heyting3	2013-09-04 12:39	21K
	heyting3__t28_heyting3	2013-09-04 12:39	43K
	heyting3__t29_heyting3	2013-09-04 12:39	43K
	heyting3__t30_heyting3	2013-09-04 12:39	51K
	heyting3__t31_heyting3	2013-09-04 12:39	38K
	heyting3__t32_heyting3	2013-09-04 12:39	43K
	heyting3__t33_heyting3	2013-09-04 12:39	44K
	heyting3__t34_heyting3	2013-09-04 12:39	39K
	heyting3__t35_heyting3	2013-09-04 12:39	49K
	heyting3__t36_heyting3	2013-09-04 12:39	45K
	heyting3__t37_heyting3	2013-09-04 12:39	45K
	heyting3__t38_heyting3	2013-09-04 12:39	37K
	heyting3__t39_heyting3	2013-09-04 12:39	37K
	heyting3__t40_heyting3	2013-09-04 12:39	39K