Index of /~mptp/7.13.01_4.181.1147/mptp/ilp1/d2_asympt_0

	Name	Last modified	Size	Description
	Parent Directory		-
	asympt_0__299_37.min1.thm1.tptp	2017-02-06 16:58	810
	asympt_0__301_37.min1.thm1.tptp	2017-02-06 16:58	810
	asympt_0__329_37.min1.thm1.tptp	2017-02-06 16:58	817
	asympt_0__349_37.min1.thm1.tptp	2017-02-06 16:58	817
	asympt_0__369_37.min1.thm1.tptp	2017-02-06 16:58	817
	asympt_0__418_37.min1.thm1.tptp	2017-02-06 16:58	817
	asympt_0__589_35.min1.thm1.tptp	2017-02-06 16:58	813
	asympt_0__724_37.min1.thm1.tptp	2017-02-06 16:58	817
	asympt_0__854_38.min1.thm1.tptp	2017-02-06 16:58	813
	asympt_0__997_39.min1.thm1.tptp	2017-02-06 16:58	815
	asympt_0__999_39.min1.thm1.tptp	2017-02-06 16:58	816
	asympt_0__1040_37.min1.thm1.tptp	2017-02-06 16:58	813
	asympt_0__1059_38.min1.thm1.tptp	2017-02-06 16:58	813
	asympt_0__1406_37.min1.thm1.tptp	2017-02-06 16:58	817
	asympt_0__1452_38.min1.thm1.tptp	2017-02-06 16:58	815
	asympt_0__1487_39.min1.thm1.tptp	2017-02-06 16:58	814
	asympt_0__1713_38.min1.thm1.tptp	2017-02-06 16:58	813
	asympt_0__1715_38.min1.thm1.tptp	2017-02-06 16:58	813
	asympt_0__1867_39.min1.thm1.tptp	2017-02-06 16:58	816
	asympt_0__2057_38.min1.thm1.tptp	2017-02-06 16:58	813
	asympt_0__2059_38.min1.thm1.tptp	2017-02-06 16:58	813
	asympt_0__2126_39.min1.thm1.tptp	2017-02-06 16:58	815
	asympt_0__2128_39.min1.thm1.tptp	2017-02-06 16:58	815
	asympt_0__2243_37.min1.thm1.tptp	2017-02-06 16:58	817
	asympt_0__2279_37.min1.thm1.tptp	2017-02-06 16:58	817
	asympt_0__2339_40.min1.thm1.tptp	2017-02-06 16:58	817
	asympt_0__2626_39.min1.thm1.tptp	2017-02-06 16:58	845
	asympt_0__2742_39.min1.thm1.tptp	2017-02-06 16:58	845
	asympt_0__3063_39.min1.thm1.tptp	2017-02-06 16:58	815
	asympt_0__3065_39.min1.thm1.tptp	2017-02-06 16:58	816
	asympt_0__3260_39.min1.thm1.tptp	2017-02-06 16:58	815
	asympt_0__3262_39.min1.thm1.tptp	2017-02-06 16:58	816
	asympt_1__2593_38.min1.thm1.tptp	2017-02-06 16:58	813
	asympt_1__2595_38.min1.thm1.tptp	2017-02-06 16:58	813