Index of /~mptp/1147/mptp/ilp1/dt_k1_card_1

	Name	Last modified	Size	Description
	Parent Directory		-
	card_1__201_30.min1.thm1.tptp	2017-02-06 16:58	261
	card_1__202_30.min1.thm1.tptp	2017-02-06 16:58	261
	card_1__274_30.min1.thm1.tptp	2017-02-06 16:58	263
	card_1__280_30.min1.thm1.tptp	2017-02-06 16:58	263
	card_1__292_28.min1.thm1.tptp	2017-02-06 16:58	261
	card_1__304_42.min1.thm1.tptp	2017-02-06 16:58	342
	card_1__547_28.min1.thm1.tptp	2017-02-06 16:58	261
	card_1__629_30.min1.thm1.tptp	2017-02-06 16:58	247
	card_1__1460_30.min1.thm1.tptp	2017-02-06 16:58	265
	card_2__717_54.min1.thm1.tptp	2017-02-06 16:58	315
	card_2__801_54.min1.thm1.tptp	2017-02-06 16:58	315
	card_2__987_48.min1.thm1.tptp	2017-02-06 16:58	313
	card_2__2280_18.min1.thm1.tptp	2017-02-06 16:58	531
	card_4__864_26.min1.thm1.tptp	2017-02-06 16:58	428
	card_4__1112_42.min1.thm1.tptp	2017-02-06 16:58	432
	card_5__650_28.min1.thm1.tptp	2017-02-06 16:58	261
	card_5__1551_26.min1.thm1.tptp	2017-02-06 16:58	267
	metrizts__500_29.min1.thm1.tptp	2017-02-06 16:58	402
	topgen_1__1526_22.min1.thm1.tptp	2017-02-06 16:58	230
	topgen_2__156_22.min1.thm1.tptp	2017-02-06 16:58	246
	topgen_5__367_26.min1.thm1.tptp	2017-02-06 16:58	377
	waybel23__1230_33.min1.thm1.tptp	2017-02-06 16:58	359
	waybel23__1240_40.min1.thm1.tptp	2017-02-06 16:58	367
	waybel23__2946_38.min1.thm1.tptp	2017-02-06 16:58	358
	waybel31__170_33.min1.thm1.tptp	2017-02-06 16:58	282
	waybel31__180_40.min1.thm1.tptp	2017-02-06 16:58	290
	waybel31__230_38.min1.thm1.tptp	2017-02-06 16:58	274