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

	Name	Last modified	Size	Description
	Parent Directory		-
	card_1__743_40.min1.thm1.tptp	2017-02-06 16:58	383
	card_1__753_28.min1.thm1.tptp	2017-02-06 16:58	303
	card_1__1955_26.min1.thm1.tptp	2017-02-06 16:58	283
	card_2__2039_30.min1.thm1.tptp	2017-02-06 16:58	314
	card_2__2057_28.min1.thm1.tptp	2017-02-06 16:58	314
	card_2__2071_28.min1.thm1.tptp	2017-02-06 16:58	314
	card_2__2398_30.min1.thm1.tptp	2017-02-06 16:58	314
	card_3__684_26.min1.thm1.tptp	2017-02-06 16:58	278
	card_4__160_56.min1.thm1.tptp	2017-02-06 16:58	415
	card_5__737_48.min1.thm1.tptp	2017-02-06 16:58	435
	card_5__1435_51.min1.thm1.tptp	2017-02-06 16:58	397
	card_5__1459_50.min1.thm1.tptp	2017-02-06 16:58	435
	card_5__1623_39.min1.thm1.tptp	2017-02-06 16:58	353
	card_fil__1550_33.min1.thm1.tptp	2017-02-06 16:58	631
	card_fil__1614_25.min1.thm1.tptp	2017-02-06 16:58	495
	classes2__71_28.min1.thm1.tptp	2017-02-06 16:58	309
	classes2__755_29.min1.thm1.tptp	2017-02-06 16:58	317
	combgras__1514_44.min1.thm1.tptp	2017-02-06 16:58	483
	combgras__1591_40.min1.thm1.tptp	2017-02-06 16:58	399
	combgras__3084_46.min1.thm1.tptp	2017-02-06 16:58	399
	combgras__3334_45.min1.thm1.tptp	2017-02-06 16:58	400
	jordan1e__750_53.min1.thm1.tptp	2017-02-06 16:58	833
	jordan1e__773_53.min1.thm1.tptp	2017-02-06 16:58	833
	polyform__2436_51.min1.thm1.tptp	2017-02-06 16:58	465
	ramsey_1__280_29.min1.thm1.tptp	2017-02-06 16:58	318
	substut1__640_26.min1.thm1.tptp	2017-02-06 16:58	289
	topdim_2__87_22.min1.thm1.tptp	2017-02-06 16:58	307
	topgen_2__506_24.min1.thm1.tptp	2017-02-06 16:58	385
	topgen_2__1325_28.min1.thm1.tptp	2017-02-06 16:58	341
	topgen_3__1725_43.min1.thm1.tptp	2017-02-06 16:58	343
	topgen_3__1882_30.min1.thm1.tptp	2017-02-06 16:58	343
	topgen_5__1972_35.min1.thm1.tptp	2017-02-06 16:58	345
	waybel31__692_55.min1.thm1.tptp	2017-02-06 16:58	349
	yellow15__1301_31.min1.thm1.tptp	2017-02-06 16:58	349