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

	Name	Last modified	Size	Description
	Parent Directory		-
	fdiff_7__777_45.min1.thm1.tptp	2017-02-06 16:58	427
	fdiff_7__837_45.min1.thm1.tptp	2017-02-06 16:58	427
	integr12__507_42.min1.thm1.tptp	2017-02-06 16:58	713
	integr12__562_42.min1.thm1.tptp	2017-02-06 16:58	715
	integr12__1251_51.min1.thm1.tptp	2017-02-06 16:58	750
	integr12__1361_51.min1.thm1.tptp	2017-02-06 16:58	750
	integr12__1475_39.min1.thm1.tptp	2017-02-06 16:58	656
	integr12__1571_39.min1.thm1.tptp	2017-02-06 16:58	658
	integr12__1671_47.min1.thm1.tptp	2017-02-06 16:58	828
	integr12__1771_47.min1.thm1.tptp	2017-02-06 16:58	830
	integr12__2969_41.min1.thm1.tptp	2017-02-06 16:58	634
	integr12__3071_41.min1.thm1.tptp	2017-02-06 16:58	634
	integr13__530_39.min1.thm1.tptp	2017-02-06 16:58	755
	integr13__598_39.min1.thm1.tptp	2017-02-06 16:58	755
	integr13__829_31.min1.thm1.tptp	2017-02-06 16:58	600
	integr13__886_31.min1.thm1.tptp	2017-02-06 16:58	600
	integr13__1599_27.min1.thm1.tptp	2017-02-06 16:58	472
	integr13__1655_38.min1.thm1.tptp	2017-02-06 16:58	584
	integr13__1714_39.min1.thm1.tptp	2017-02-06 16:58	607
	integr13__1801_38.min1.thm1.tptp	2017-02-06 16:58	584
	integr13__1850_26.min1.thm1.tptp	2017-02-06 16:58	438
	integr13__1902_26.min1.thm1.tptp	2017-02-06 16:58	460
	integr13__1988_26.min1.thm1.tptp	2017-02-06 16:58	438
	integr13__2040_27.min1.thm1.tptp	2017-02-06 16:58	496
	integr13__2092_25.min1.thm1.tptp	2017-02-06 16:58	496
	integr13__2141_30.min1.thm1.tptp	2017-02-06 16:58	482
	integr13__2190_31.min1.thm1.tptp	2017-02-06 16:58	504
	integr13__2272_30.min1.thm1.tptp	2017-02-06 16:58	482
	integr13__2320_16.min1.thm1.tptp	2017-02-06 16:58	394
	integr13__2549_39.min1.thm1.tptp	2017-02-06 16:58	629
	integr13__2550_33.min1.thm1.tptp	2017-02-06 16:58	617
	integr13__2609_39.min1.thm1.tptp	2017-02-06 16:58	629
	integr13__2610_33.min1.thm1.tptp	2017-02-06 16:58	617