Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp1/t8_valued_1

	Name	Last modified	Size	Description
	Parent Directory		-
	afinsq_2__352_19.min1.thm1.tptp	2017-02-06 16:58	496
	euclid__230_21.min1.thm1.tptp	2017-02-06 16:58	447
	rfunct_1__1399_18.min1.thm1.tptp	2017-02-06 16:58	512
	valued_1__1399_23.min1.thm1.tptp	2017-02-06 16:58	506
	valued_2__1769_21.min1.thm1.tptp	2017-02-06 16:58	461
	valued_2__1773_18.min1.thm1.tptp	2017-02-06 16:58	564
	valued_2__1786_21.min1.thm1.tptp	2017-02-06 16:58	461
	valued_2__1790_18.min1.thm1.tptp	2017-02-06 16:58	564
	valued_2__1885_20.min1.thm1.tptp	2017-02-06 16:58	633
	valued_2__1960_15.min1.thm1.tptp	2017-02-06 16:58	470
	valued_2__1965_18.min1.thm1.tptp	2017-02-06 16:58	575
	valued_2__1976_15.min1.thm1.tptp	2017-02-06 16:58	470
	valued_2__1981_18.min1.thm1.tptp	2017-02-06 16:58	575
	valued_2__2006_20.min1.thm1.tptp	2017-02-06 16:58	633
	valued_2__2021_20.min1.thm1.tptp	2017-02-06 16:58	633
	valued_2__2028_21.min1.thm1.tptp	2017-02-06 16:58	468
	valued_2__2036_20.min1.thm1.tptp	2017-02-06 16:58	633
	valued_2__3822_19.min1.thm1.tptp	2017-02-06 16:58	468
	valued_2__3852_24.min1.thm1.tptp	2017-02-06 16:58	624
	valued_2__4332_20.min1.thm1.tptp	2017-02-06 16:58	635
	valued_2__4350_20.min1.thm1.tptp	2017-02-06 16:58	635