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

	Name	Last modified	Size	Description
	Parent Directory		-
	borsuk_5__561_17.min1.thm1.tptp	2017-02-06 16:58	217
	borsuk_5__847_17.min1.thm1.tptp	2017-02-06 16:58	233
	borsuk_5__897_17.min1.thm1.tptp	2017-02-06 16:58	233
	borsuk_5__1030_15.min1.thm1.tptp	2017-02-06 16:58	213
	borsuk_5__1129_19.min1.thm1.tptp	2017-02-06 16:58	249
	membered__89_20.min1.thm1.tptp	2017-02-06 16:58	225
	membered__255_17.min1.thm1.tptp	2017-02-06 16:58	209
	membered__1454_13.min1.thm1.tptp	2017-02-06 16:58	228
	membered__1579_18.min1.thm1.tptp	2017-02-06 16:58	406
	mesfunc2__181_12.min1.thm1.tptp	2017-02-06 16:58	221
	mesfunc2__324_12.min1.thm1.tptp	2017-02-06 16:58	220
	mesfunc5__608_15.min1.thm1.tptp	2017-02-06 16:58	225
	rat_1__384_18.min1.thm1.tptp	2017-02-06 16:58	201
	topgen_3__1140_15.min1.thm1.tptp	2017-02-06 16:58	224
	topgen_3__1335_15.min1.thm1.tptp	2017-02-06 16:58	221
	topgen_3__1357_15.min1.thm1.tptp	2017-02-06 16:58	224
	topgen_5__1501_18.min1.thm1.tptp	2017-02-06 16:58	241
	topgen_5__1502_18.min1.thm1.tptp	2017-02-06 16:58	241
	topgen_5__1507_18.min1.thm1.tptp	2017-02-06 16:58	241
	topgen_5__1508_18.min1.thm1.tptp	2017-02-06 16:58	241
	topgen_5__1528_18.min1.thm1.tptp	2017-02-06 16:58	241
	topgen_5__1540_18.min1.thm1.tptp	2017-02-06 16:58	241
	topgen_5__1559_18.min1.thm1.tptp	2017-02-06 16:58	244
	topgen_5__1560_18.min1.thm1.tptp	2017-02-06 16:58	241