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

	Name	Last modified	Size	Description
	Parent Directory		-
	altcat_1__1194_46.min1.thm1.tptp	2017-02-06 16:58	243
	ami_6__637_16.min1.thm1.tptp	2017-02-06 16:58	284
	ami_6__766_16.min1.thm1.tptp	2017-02-06 16:58	310
	ami_6__894_16.min1.thm1.tptp	2017-02-06 16:58	310
	card_1__1883_15.min1.thm1.tptp	2017-02-06 16:58	223
	msualg_1__352_46.min1.thm1.tptp	2017-02-06 16:58	270
	nat_3__1779_16.min1.thm1.tptp	2017-02-06 16:58	326
	nat_3__1789_16.min1.thm1.tptp	2017-02-06 16:58	278
	pencil_1__947_16.min1.thm1.tptp	2017-02-06 16:58	377
	pencil_1__1095_18.min1.thm1.tptp	2017-02-06 16:58	341
	pencil_1__2916_20.min1.thm1.tptp	2017-02-06 16:58	573
	pencil_3__590_14.min1.thm1.tptp	2017-02-06 16:58	357
	rlvect_1__143_55.min1.thm1.tptp	2017-02-06 16:58	237
	robbins1__67_50.min1.thm1.tptp	2017-02-06 16:58	235
	robbins1__73_48.min1.thm1.tptp	2017-02-06 16:58	235
	robbins3__322_52.min1.thm1.tptp	2017-02-06 16:58	237
	robbins3__504_50.min1.thm1.tptp	2017-02-06 16:58	237
	scmfsa10__850_16.min1.thm1.tptp	2017-02-06 16:58	313
	scmfsa10__978_16.min1.thm1.tptp	2017-02-06 16:58	345
	scmfsa10__1105_16.min1.thm1.tptp	2017-02-06 16:58	345
	scmring3__818_16.min1.thm1.tptp	2017-02-06 16:58	377
	scmring3__986_16.min1.thm1.tptp	2017-02-06 16:58	409
	scmyciel__1184_21.min1.thm1.tptp	2017-02-06 16:58	238