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

	Name	Last modified	Size	Description
	Parent Directory		-
	card_3__3123_22.min1.thm1.tptp	2017-02-06 16:58	248
	card_4__301_33.min1.thm1.tptp	2017-02-06 16:58	271
	card_4__308_53.min1.thm1.tptp	2017-02-06 16:58	383
	card_4__332_32.min1.thm1.tptp	2017-02-06 16:58	297
	card_4__348_28.min1.thm1.tptp	2017-02-06 16:58	245
	card_4__1145_58.min1.thm1.tptp	2017-02-06 16:58	265
	card_lar__69_22.min1.thm1.tptp	2017-02-06 16:58	257
	compl_sp__1875_23.min1.thm1.tptp	2017-02-06 16:58	253
	compl_sp__3053_23.min1.thm1.tptp	2017-02-06 16:58	383
	compl_sp__3069_22.min1.thm1.tptp	2017-02-06 16:58	245
	compl_sp__3137_28.min1.thm1.tptp	2017-02-06 16:58	357
	mesfunc1__361_26.min1.thm1.tptp	2017-02-06 16:58	235
	metrizts__2064_19.min1.thm1.tptp	2017-02-06 16:58	245
	metrizts__2079_16.min1.thm1.tptp	2017-02-06 16:58	335
	metrizts__2346_24.min1.thm1.tptp	2017-02-06 16:58	287
	metrizts__2515_21.min1.thm1.tptp	2017-02-06 16:58	263
	metrizts__2517_27.min1.thm1.tptp	2017-02-06 16:58	349
	mfold_1__1578_30.min1.thm1.tptp	2017-02-06 16:58	267
	topdim_2__465_22.min1.thm1.tptp	2017-02-06 16:58	254
	topdim_2__1772_21.min1.thm1.tptp	2017-02-06 16:58	326
	topdim_2__1776_22.min1.thm1.tptp	2017-02-06 16:58	263
	topgen_1__57_31.min1.thm1.tptp	2017-02-06 16:58	271
	topgen_1__60_27.min1.thm1.tptp	2017-02-06 16:58	267
	topgen_2__300_24.min1.thm1.tptp	2017-02-06 16:58	257
	topgen_3__1293_29.min1.thm1.tptp	2017-02-06 16:58	274
	topgen_3__1707_28.min1.thm1.tptp	2017-02-06 16:58	274
	topgen_3__1890_19.min1.thm1.tptp	2017-02-06 16:58	309
	topgen_4__139_30.min1.thm1.tptp	2017-02-06 16:58	241