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

	Name	Last modified	Size	Description
	Parent Directory		-
	borsuk_4__688_48.min1.thm1.tptp	2017-02-06 16:58	440
	borsuk_4__1674_46.min1.thm1.tptp	2017-02-06 16:58	439
	borsuk_5__2227_48.min1.thm1.tptp	2017-02-06 16:58	440
	fuzzy_1__189_47.min1.thm1.tptp	2017-02-06 16:58	472
	fuzzy_1__272_47.min1.thm1.tptp	2017-02-06 16:58	480
	fuzzy_1__353_47.min1.thm1.tptp	2017-02-06 16:58	480
	fuzzy_1__578_45.min1.thm1.tptp	2017-02-06 16:58	448
	fuzzy_1__1133_47.min1.thm1.tptp	2017-02-06 16:58	480
	fuzzy_2__428_47.min1.thm1.tptp	2017-02-06 16:58	480
	fuzzy_2__523_47.min1.thm1.tptp	2017-02-06 16:58	481
	fuzzy_4__443_47.min1.thm1.tptp	2017-02-06 16:58	481
	fuzzy_4__522_47.min1.thm1.tptp	2017-02-06 16:58	480
	fuzzy_4__1417_49.min1.thm1.tptp	2017-02-06 16:58	496
	fuzzy_4__1506_45.min1.thm1.tptp	2017-02-06 16:58	448
	fuzzy_4__1580_45.min1.thm1.tptp	2017-02-06 16:58	448
	integr18__1066_46.min1.thm1.tptp	2017-02-06 16:58	446
	integra1__308_46.min1.thm1.tptp	2017-02-06 16:58	501
	integra1__333_42.min1.thm1.tptp	2017-02-06 16:58	487
	integra1__1570_11.min1.thm1.tptp	2017-02-06 16:58	442
	integra1__1778_41.min1.thm1.tptp	2017-02-06 16:58	441
	integra2__1585_50.min1.thm1.tptp	2017-02-06 16:58	454
	integra2__1595_50.min1.thm1.tptp	2017-02-06 16:58	455
	integra2__1609_50.min1.thm1.tptp	2017-02-06 16:58	454
	integra2__1618_50.min1.thm1.tptp	2017-02-06 16:58	454
	integra3__2151_40.min1.thm1.tptp	2017-02-06 16:58	441
	integra3__3078_41.min1.thm1.tptp	2017-02-06 16:58	442
	integra5__1999_42.min1.thm1.tptp	2017-02-06 16:58	446
	integra8__619_43.min1.thm1.tptp	2017-02-06 16:58	440