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

	Name	Last modified	Size	Description
	Parent Directory		-
	heyting2__l2_heyting2	2021-07-18 20:20	15K
	heyting2__l9_heyting2	2021-07-18 20:30	19K
	heyting2__l21_heyting2	2021-07-18 20:30	37K
	heyting2__l23_heyting2	2021-07-18 20:30	19K
	heyting2__l29_heyting2	2021-07-18 20:31	60K
	heyting2__l30_heyting2	2021-07-18 20:31	61K
	heyting2__l32_heyting2	2021-07-18 20:32	50K
	heyting2__l35_heyting2	2021-07-18 20:32	55K
	heyting2__l40_heyting2	2021-07-18 20:32	55K
	heyting2__l45_heyting2	2021-07-18 20:33	84K
	heyting2__l46_heyting2	2021-07-18 20:33	54K
	heyting2__t1_heyting2	2021-07-18 20:20	17K
	heyting2__t2_heyting2	2021-07-18 20:21	18K
	heyting2__t3_heyting2	2021-07-18 20:21	20K
	heyting2__t4_heyting2	2021-07-18 20:21	21K
	heyting2__t5_heyting2	2021-07-18 20:21	25K
	heyting2__t6_heyting2	2021-07-18 20:21	20K
	heyting2__t7_heyting2	2021-07-18 20:22	12K
	heyting2__t8_heyting2	2021-07-18 20:20	16K
	heyting2__t9_heyting2	2021-07-18 20:22	22K
	heyting2__t10_heyting2	2021-07-18 20:22	21K
	heyting2__t11_heyting2	2021-07-18 20:22	28K
	heyting2__t12_heyting2	2021-07-18 20:23	48K
	heyting2__t13_heyting2	2021-07-18 20:23	49K
	heyting2__t14_heyting2	2021-07-18 20:24	48K
	heyting2__t15_heyting2	2021-07-18 20:24	31K
	heyting2__t16_heyting2	2021-07-18 20:24	37K
	heyting2__t17_heyting2	2021-07-18 20:25	50K
	heyting2__t18_heyting2	2021-07-18 20:25	85K
	heyting2__t19_heyting2	2021-07-18 20:25	48K
	heyting2__t20_heyting2	2021-07-18 20:26	47K
	heyting2__t21_heyting2	2021-07-18 20:26	45K
	heyting2__t22_heyting2	2021-07-18 20:27	56K
	heyting2__t23_heyting2	2021-07-18 20:27	45K
	heyting2__t24_heyting2	2021-07-18 20:28	72K
	heyting2__t25_heyting2	2021-07-18 20:28	69K
	heyting2__t26_heyting2	2021-07-18 20:29	59K
	heyting2__t27_heyting2	2021-07-18 20:29	65K
	heyting2__t28_heyting2	2021-07-18 20:30	55K