Index of /~mptp/7.13.01_4.181.1147/abstr

	Name	Last modified	Size	Description
	Parent Directory		-
	abcmiz_0.abs	2012-02-17 15:38	31K
	abcmiz_1.abs	2012-02-17 15:38	46K
	abcmiz_a.abs	2012-02-17 15:38	21K
	abian.abs	2012-02-17 15:38	6.0K
	absvalue.abs	2012-02-17 15:38	3.3K
	aff_1.abs	2012-02-17 15:38	7.2K
	aff_2.abs	2012-02-17 15:38	6.4K
	aff_3.abs	2012-02-17 15:38	5.0K
	aff_4.abs	2012-02-17 15:38	9.5K
	afinsq_1.abs	2012-02-17 15:38	16K
	afinsq_2.abs	2012-02-17 15:38	16K
	afproj.abs	2012-02-17 15:38	12K
	afvect0.abs	2012-02-17 15:38	9.3K
	afvect01.abs	2012-02-17 15:38	3.7K
	alg_1.abs	2012-02-17 15:38	6.8K
	algseq_1.abs	2012-02-17 15:38	3.5K
	algspec1.abs	2012-02-17 15:38	13K
	algstr_0.abs	2012-02-17 15:38	14K
	algstr_1.abs	2012-02-17 15:38	9.0K
	algstr_2.abs	2012-02-17 15:38	7.3K
	algstr_3.abs	2012-02-17 15:38	4.6K
	algstr_4.abs	2012-02-17 15:38	17K
	ali2.abs	2012-02-17 15:38	2.2K
	altcat_1.abs	2012-02-17 15:38	12K
	altcat_2.abs	2012-02-17 15:38	13K
	altcat_3.abs	2012-02-17 15:38	11K
	altcat_4.abs	2012-02-17 15:38	15K
	ami_2.abs	2012-02-17 15:38	6.3K
	ami_3.abs	2012-02-17 15:38	6.7K
	ami_4.abs	2012-02-17 15:38	4.4K
	ami_5.abs	2012-02-17 15:38	8.2K
	ami_6.abs	2012-02-17 15:38	5.7K
	ami_wstd.abs	2012-02-17 15:38	14K
	amistd_1.abs	2012-02-17 15:38	12K
	amistd_2.abs	2012-02-17 15:38	8.8K
	amistd_3.abs	2012-02-17 15:38	3.2K
	amistd_4.abs	2012-02-17 15:38	9.1K
	amistd_5.abs	2012-02-17 15:38	12K
	analmetr.abs	2012-02-17 15:38	14K
	analoaf.abs	2012-02-17 15:38	7.6K
	analort.abs	2012-02-17 15:38	8.9K
	anproj_1.abs	2012-02-17 15:38	6.3K
	anproj_2.abs	2012-02-17 15:38	17K
	aofa_000.abs	2012-02-17 15:38	44K
	aofa_i00.abs	2012-02-17 15:38	37K
	arithm.abs	2012-02-17 15:38	1.6K
	armstrng.abs	2012-02-17 15:38	22K
	arrow.abs	2012-02-17 15:38	5.3K
	arytm_0.abs	2012-02-17 15:38	4.6K
	arytm_1.abs	2012-02-17 15:38	2.9K
	arytm_2.abs	2012-02-17 15:38	4.4K
	arytm_3.abs	2012-02-17 15:38	11K
	asympt_0.abs	2012-02-17 15:38	16K
	asympt_1.abs	2012-02-17 15:38	19K
	autalg_1.abs	2012-02-17 15:38	7.6K
	autgroup.abs	2012-02-17 15:38	5.0K
	axioms.abs	2012-02-17 15:38	1.6K
	bagorder.abs	2012-02-17 15:38	13K
	bcialg_1.abs	2012-02-17 15:38	15K
	bcialg_2.abs	2012-02-17 15:38	9.6K
	bcialg_3.abs	2012-02-17 15:38	11K
	bcialg_4.abs	2012-02-17 15:38	13K
	bcialg_5.abs	2012-02-17 15:38	9.5K
	bcialg_6.abs	2012-02-17 15:38	10K
	bciideal.abs	2012-02-17 15:38	10K
	bhsp_1.abs	2012-02-17 15:38	7.5K
	bhsp_2.abs	2012-02-17 15:38	8.1K
	bhsp_3.abs	2012-02-17 15:38	5.7K
	bhsp_4.abs	2012-02-17 15:38	8.9K
	bhsp_5.abs	2012-02-17 15:38	7.8K
	bhsp_6.abs	2012-02-17 15:38	6.5K
	bhsp_7.abs	2012-02-17 15:38	4.3K
	bilinear.abs	2012-02-17 15:38	38K
	binari_2.abs	2012-02-17 15:38	5.6K
	binari_3.abs	2012-02-17 15:38	5.7K
	binari_4.abs	2012-02-17 15:38	6.5K
	binarith.abs	2012-02-17 15:38	5.4K
	binom.abs	2012-02-17 15:38	8.2K
	binop_1.abs	2012-02-17 15:38	9.8K
	binop_2.abs	2012-02-17 15:38	10K
	bintree1.abs	2012-02-17 15:38	9.0K
	bintree2.abs	2012-02-17 15:38	6.4K
	birkhoff.abs	2012-02-17 15:38	12K
	boole.abs	2012-02-17 15:38	1.8K
	boolealg.abs	2012-02-17 15:38	5.9K
	boolmark.abs	2012-02-17 15:38	5.6K
	bor_cant.abs	2012-02-17 15:38	10K
	borsuk_1.abs	2012-02-17 15:38	15K
	borsuk_2.abs	2012-02-17 15:38	8.3K
	borsuk_3.abs	2012-02-17 15:38	6.8K
	borsuk_4.abs	2012-02-17 15:38	12K
	borsuk_5.abs	2012-02-17 15:38	14K
	borsuk_6.abs	2012-02-17 15:38	18K
	borsuk_7.abs	2012-02-17 15:38	16K
	brouwer.abs	2012-02-17 15:38	7.1K
	brouwer2.abs	2012-02-17 15:38	4.1K
	bspace.abs	2012-02-17 15:38	8.1K
	bvfunc10.abs	2012-02-17 15:38	5.2K
	bvfunc11.abs	2012-02-17 15:38	9.4K
	bvfunc14.abs	2012-02-17 15:38	23K
	bvfunc25.abs	2012-02-17 15:38	4.1K
	bvfunc26.abs	2012-02-17 15:38	7.3K
	bvfunc_1.abs	2012-02-17 15:38	13K
	bvfunc_2.abs	2012-02-17 15:38	8.9K
	bvfunc_3.abs	2012-02-17 15:38	4.7K
	bvfunc_4.abs	2012-02-17 15:38	5.1K
	bvfunc_5.abs	2012-02-17 15:38	6.1K
	bvfunc_6.abs	2012-02-17 15:38	6.6K
	bvfunc_7.abs	2012-02-17 15:38	4.0K
	bvfunc_8.abs	2012-02-17 15:38	4.5K
	bvfunc_9.abs	2012-02-17 15:38	4.4K
	c0sp1.abs	2012-02-17 15:38	12K
	c0sp2.abs	2012-02-17 15:38	14K
	calcul_1.abs	2012-02-17 15:38	12K
	calcul_2.abs	2012-02-17 15:38	5.1K
	cantor_1.abs	2012-02-17 15:38	5.3K
	card_1.abs	2012-02-17 15:38	9.7K
	card_2.abs	2012-02-17 15:38	11K
	card_3.abs	2012-02-17 15:38	17K
	card_4.abs	2012-02-17 15:38	4.2K
	card_5.abs	2012-02-17 15:38	6.2K
	card_fil.abs	2012-02-17 15:38	10K
	card_fin.abs	2012-02-17 15:38	11K
	card_lar.abs	2012-02-17 15:38	7.7K
	cardfin2.abs	2012-02-17 15:38	5.8K
	cat_1.abs	2012-02-17 15:38	17K
	cat_2.abs	2012-02-17 15:38	11K
	cat_3.abs	2012-02-17 15:38	16K
	cat_4.abs	2012-02-17 15:38	16K
	cat_5.abs	2012-02-17 15:38	15K
	catalan1.abs	2012-02-17 15:38	3.1K
	catalan2.abs	2012-02-17 15:38	9.9K
	catalg_1.abs	2012-02-17 15:38	14K
	cayley.abs	2012-02-17 15:38	4.0K
	cc0sp1.abs	2012-02-17 15:38	12K
	cc0sp2.abs	2012-02-17 15:38	17K
	cfcont_1.abs	2012-02-17 15:38	8.2K
	cfdiff_1.abs	2012-02-17 15:38	11K
	cfdiff_2.abs	2012-02-17 15:38	4.5K
	cfuncdom.abs	2012-02-17 15:38	9.2K
	cfunct_1.abs	2012-02-17 15:38	8.3K
	cgames_1.abs	2012-02-17 15:38	14K
	chain_1.abs	2012-02-17 15:38	16K
	chord.abs	2012-02-17 15:38	28K
	circcmb2.abs	2012-02-17 15:38	30K
	circcmb3.abs	2012-02-17 15:38	35K
	circcomb.abs	2012-02-17 15:38	24K
	circled1.abs	2012-02-17 15:38	7.0K
	circtrm1.abs	2012-02-17 15:38	25K
	circuit1.abs	2012-02-17 15:38	10K
	circuit2.abs	2012-02-17 15:38	10K
	classes1.abs	2012-02-17 15:38	11K
	classes2.abs	2012-02-17 15:38	9.5K
	clopban1.abs	2012-02-17 15:38	16K
	clopban2.abs	2012-02-17 15:38	13K
	clopban3.abs	2012-02-17 15:38	13K
	clopban4.abs	2012-02-17 15:38	7.8K
	closure1.abs	2012-02-17 15:38	15K
	closure2.abs	2012-02-17 15:38	15K
	closure3.abs	2012-02-17 15:38	5.6K
	clvect_1.abs	2012-02-17 15:38	16K
	clvect_2.abs	2012-02-17 15:38	13K
	clvect_3.abs	2012-02-17 15:38	8.7K
	coh_sp.abs	2012-02-17 15:38	11K
	cohsp_1.abs	2012-02-17 15:38	25K
	collsp.abs	2012-02-17 15:38	4.7K
	combgras.abs	2012-02-17 15:38	13K
	commacat.abs	2012-02-17 15:38	4.0K
	compact1.abs	2012-02-17 15:38	6.2K
	compl_sp.abs	2012-02-17 15:38	15K
	complex1.abs	2012-02-17 15:38	8.8K
	complex2.abs	2012-02-17 15:38	10K
	complfld.abs	2012-02-17 15:38	8.9K
	complsp1.abs	2012-02-17 15:38	2.3K
	complsp2.abs	2012-02-17 15:38	12K
	compos_0.abs	2012-02-17 15:38	8.6K
	compos_1.abs	2012-02-17 15:38	17K
	compos_2.abs	2012-02-17 15:38	8.5K
	comptrig.abs	2012-02-17 15:38	7.2K
	compts_1.abs	2012-02-17 15:38	7.2K
	comput_1.abs	2012-02-17 15:38	26K
	comseq_1.abs	2012-02-17 15:38	5.2K
	comseq_2.abs	2012-02-17 15:38	7.2K
	comseq_3.abs	2012-02-17 15:38	15K
	conaffm.abs	2012-02-17 15:38	3.1K
	conlat_1.abs	2012-02-17 15:38	17K
	conlat_2.abs	2012-02-17 15:38	8.4K
	conmetr.abs	2012-02-17 15:38	4.9K
	conmetr1.abs	2012-02-17 15:38	5.5K
	connsp_1.abs	2012-02-17 15:38	9.0K
	connsp_2.abs	2012-02-17 15:38	7.0K
	connsp_3.abs	2012-02-17 15:38	7.0K
	convex1.abs	2012-02-17 15:38	10K
	convex2.abs	2012-02-17 15:38	5.2K
	convex3.abs	2012-02-17 15:38	4.1K
	convex4.abs	2012-02-17 15:38	21K
	convfun1.abs	2012-02-17 15:38	7.4K
	cqc_lang.abs	2012-02-17 15:38	15K
	cqc_sim1.abs	2012-02-17 15:38	15K
	cqc_the1.abs	2012-02-17 15:38	9.8K
	cqc_the2.abs	2012-02-17 15:38	10K
	cqc_the3.abs	2012-02-17 15:38	7.1K
	csspace.abs	2012-02-17 15:38	15K
	csspace2.abs	2012-02-17 15:38	5.8K
	csspace3.abs	2012-02-17 15:38	6.3K
	csspace4.abs	2012-02-17 15:38	14K
	decomp_1.abs	2012-02-17 15:38	7.5K
	descip_1.abs	2012-02-17 15:38	33K
	dickson.abs	2012-02-17 15:38	14K
	diff_1.abs	2012-02-17 15:38	8.1K
	diff_2.abs	2012-02-17 15:38	9.3K
	diff_3.abs	2012-02-17 15:38	13K
	diff_4.abs	2012-02-17 15:38	9.4K
	dilworth.abs	2012-02-17 15:38	18K
	diraf.abs	2012-02-17 15:38	9.0K
	dirort.abs	2012-02-17 15:38	6.8K
	dist_1.abs	2012-02-17 15:38	8.3K
	domain_1.abs	2012-02-17 15:38	7.2K
	dtconstr.abs	2012-02-17 15:38	16K
	dynkin.abs	2012-02-17 15:38	6.6K
	e_siec.abs	2012-02-17 15:38	10K
	ec_pf_1.abs	2012-02-17 15:38	14K
	ec_pf_2.abs	2012-02-17 15:38	20K
	endalg.abs	2012-02-17 15:38	5.2K
	ens_1.abs	2012-02-17 15:38	11K
	entropy1.abs	2012-02-17 15:38	15K
	enumset1.abs	2012-02-17 15:38	8.4K
	eqrel_1.abs	2012-02-17 15:38	14K
	equation.abs	2012-02-17 15:38	11K
	euclid.abs	2012-02-17 15:38	11K
	euclid_2.abs	2012-02-17 15:38	5.9K
	euclid_3.abs	2012-02-17 15:38	11K
	euclid_4.abs	2012-02-17 15:38	8.1K
	euclid_5.abs	2012-02-17 15:38	4.8K
	euclid_6.abs	2012-02-17 15:38	11K
	euclid_7.abs	2012-02-17 15:38	15K
	euclid_8.abs	2012-02-17 15:38	17K
	euclid_9.abs	2012-02-17 15:38	8.3K
	euclidlp.abs	2012-02-17 15:38	15K
	euclmetr.abs	2012-02-17 15:38	6.2K
	euler_1.abs	2012-02-17 15:38	3.4K
	euler_2.abs	2012-02-17 15:38	3.9K
	exchsort.abs	2012-02-17 15:38	18K
	extens_1.abs	2012-02-17 15:38	5.1K
	extpro_1.abs	2012-02-17 15:38	19K
	extreal1.abs	2012-02-17 15:38	3.4K
	extreal2.abs	2012-02-17 15:38	3.5K
	facirc_1.abs	2012-02-17 15:38	29K
	facirc_2.abs	2012-02-17 15:38	13K
	fcont_1.abs	2012-02-17 15:38	12K
	fcont_2.abs	2012-02-17 15:38	5.0K
	fcont_3.abs	2012-02-17 15:38	6.1K
	fdiff_1.abs	2012-02-17 15:38	7.4K
	fdiff_2.abs	2012-02-17 15:38	12K
	fdiff_3.abs	2012-02-17 15:38	7.5K
	fdiff_4.abs	2012-02-17 15:38	15K
	fdiff_5.abs	2012-02-17 15:38	7.1K
	fdiff_6.abs	2012-02-17 15:38	14K
	fdiff_7.abs	2012-02-17 15:38	12K
	fdiff_8.abs	2012-02-17 15:38	8.2K
	fdiff_9.abs	2012-02-17 15:38	10K
	fdiff_10.abs	2012-02-17 15:38	10K
	fdiff_11.abs	2012-02-17 15:38	19K
	ff_siec.abs	2012-02-17 15:38	12K
	fib_fusc.abs	2012-02-17 15:38	3.9K
	fib_num.abs	2012-02-17 15:38	4.0K
	fib_num2.abs	2012-02-17 15:38	11K
	fib_num3.abs	2012-02-17 15:38	7.9K
	fib_num4.abs	2012-02-17 15:38	5.8K
	filerec1.abs	2012-02-17 15:38	7.5K
	filter_0.abs	2012-02-17 15:38	11K
	filter_1.abs	2012-02-17 15:38	12K
	filter_2.abs	2012-02-17 15:38	14K
	fin_topo.abs	2012-02-17 15:38	6.8K
	finance1.abs	2012-02-17 15:38	9.0K
	finseq_1.abs	2012-02-17 15:38	18K
	finseq_2.abs	2012-02-17 15:38	19K
	finseq_3.abs	2012-02-17 15:38	16K
	finseq_4.abs	2012-02-17 15:38	14K
	finseq_5.abs	2012-02-17 15:38	10K
	finseq_6.abs	2012-02-17 15:38	13K
	finseq_7.abs	2012-02-17 15:38	5.7K
	finseq_8.abs	2012-02-17 15:38	8.1K
	finseqop.abs	2012-02-17 15:38	13K
	finset_1.abs	2012-02-17 15:38	8.6K
	finsop_1.abs	2012-02-17 15:38	4.5K
	finsub_1.abs	2012-02-17 15:38	4.0K
	fintopo2.abs	2012-02-17 15:38	9.9K
	fintopo3.abs	2012-02-17 15:38	6.9K
	fintopo4.abs	2012-02-17 15:38	5.7K
	fintopo5.abs	2012-02-17 15:38	5.4K
	fintopo6.abs	2012-02-17 15:38	13K
	flang_1.abs	2012-02-17 15:38	7.6K
	flang_2.abs	2012-02-17 15:38	9.6K
	flang_3.abs	2012-02-17 15:38	7.4K
	fomodel0.abs	2012-02-17 15:38	26K
	fomodel1.abs	2012-02-17 15:38	20K
	fomodel2.abs	2012-02-17 15:38	30K
	fomodel3.abs	2012-02-17 15:38	22K
	fomodel4.abs	2012-02-17 15:38	34K
	fraenkel.abs	2012-02-17 15:38	9.8K
	frechet.abs	2012-02-17 15:38	8.4K
	frechet2.abs	2012-02-17 15:38	11K
	freealg.abs	2012-02-17 15:38	10K
	fscirc_1.abs	2012-02-17 15:38	8.0K
	fscirc_2.abs	2012-02-17 15:38	12K
	fsm_1.abs	2012-02-17 15:38	22K
	fsm_2.abs	2012-02-17 15:38	12K
	fsm_3.abs	2012-02-17 15:38	9.7K
	ftacell1.abs	2012-02-17 15:38	40K
	funcop_1.abs	2012-02-17 15:38	15K
	funcsdom.abs	2012-02-17 15:38	9.8K
	funct_1.abs	2012-02-17 15:38	16K
	funct_2.abs	2012-02-17 15:38	24K
	funct_3.abs	2012-02-17 15:38	12K
	funct_4.abs	2012-02-17 15:38	14K
	funct_5.abs	2012-02-17 15:38	9.6K
	funct_6.abs	2012-02-17 15:38	9.1K
	funct_7.abs	2012-02-17 15:38	23K
	funct_8.abs	2012-02-17 15:38	11K
	funct_9.abs	2012-02-17 15:38	6.0K
	functor0.abs	2012-02-17 15:38	26K
	functor1.abs	2012-02-17 15:38	6.5K
	functor2.abs	2012-02-17 15:38	8.1K
	functor3.abs	2012-02-17 15:38	13K
	fuzzy_1.abs	2012-02-17 15:38	7.0K
	fuzzy_2.abs	2012-02-17 15:38	6.2K
	fuzzy_4.abs	2012-02-17 15:38	6.6K
	fvaluat1.abs	2012-02-17 15:38	16K
	fvsum_1.abs	2012-02-17 15:38	17K
	gate_1.abs	2012-02-17 15:38	20K
	gate_2.abs	2012-02-17 15:38	5.0K
	gate_3.abs	2012-02-17 15:38	14K
	gate_4.abs	2012-02-17 15:38	13K
	gate_5.abs	2012-02-17 15:38	11K
	gcd_1.abs	2012-02-17 15:38	17K
	genealg1.abs	2012-02-17 15:38	18K
	geomtrap.abs	2012-02-17 15:38	12K
	gfacirc1.abs	2012-02-17 15:38	60K
	gfacirc2.abs	2012-02-17 15:38	20K
	glib_000.abs	2012-02-17 15:38	32K
	glib_001.abs	2012-02-17 15:38	34K
	glib_002.abs	2012-02-17 15:38	12K
	glib_003.abs	2012-02-17 15:38	30K
	glib_004.abs	2012-02-17 15:38	17K
	glib_005.abs	2012-02-17 15:38	14K
	goboard1.abs	2012-02-17 15:38	11K
	goboard2.abs	2012-02-17 15:38	5.1K
	goboard3.abs	2012-02-17 15:38	2.0K
	goboard4.abs	2012-02-17 15:38	3.9K
	goboard5.abs	2012-02-17 15:38	9.3K
	goboard6.abs	2012-02-17 15:38	16K
	goboard7.abs	2012-02-17 15:38	16K
	goboard8.abs	2012-02-17 15:38	11K
	goboard9.abs	2012-02-17 15:38	4.7K
	gobrd10.abs	2012-02-17 15:38	3.3K
	gobrd11.abs	2012-02-17 15:38	6.1K
	gobrd12.abs	2012-02-17 15:38	3.4K
	gobrd13.abs	2012-02-17 15:38	13K
	gobrd14.abs	2012-02-17 15:38	7.1K
	goedelcp.abs	2012-02-17 15:38	8.2K
	gr_cy_1.abs	2012-02-17 15:38	6.1K
	gr_cy_2.abs	2012-02-17 15:38	5.3K
	gr_cy_3.abs	2012-02-17 15:38	6.2K
	graph_1.abs	2012-02-17 15:38	12K
	graph_2.abs	2012-02-17 15:38	13K
	graph_3.abs	2012-02-17 15:38	15K
	graph_4.abs	2012-02-17 15:38	5.9K
	graph_5.abs	2012-02-17 15:38	15K
	graphsp.abs	2012-02-17 15:38	17K
	grcat_1.abs	2012-02-17 15:38	16K
	grfunc_1.abs	2012-02-17 15:38	4.1K
	grnilp_1.abs	2012-02-17 15:38	7.5K
	groeb_1.abs	2012-02-17 15:38	22K
	groeb_2.abs	2012-02-17 15:38	20K
	groeb_3.abs	2012-02-17 15:38	23K
	group_1.abs	2012-02-17 15:38	8.1K
	group_2.abs	2012-02-17 15:38	18K
	group_3.abs	2012-02-17 15:38	15K
	group_4.abs	2012-02-17 15:38	11K
	group_5.abs	2012-02-17 15:38	9.6K
	group_6.abs	2012-02-17 15:38	13K
	group_7.abs	2012-02-17 15:38	13K
	group_8.abs	2012-02-17 15:38	5.2K
	group_9.abs	2012-02-17 15:38	33K
	group_10.abs	2012-02-17 15:38	13K
	group_11.abs	2012-02-17 15:38	10K
	group_12.abs	2012-02-17 15:38	6.5K
	groupp_1.abs	2012-02-17 15:38	9.5K
	grsolv_1.abs	2012-02-17 15:38	5.1K
	hahnban.abs	2012-02-17 15:38	7.9K
	hahnban1.abs	2012-02-17 15:38	17K
	hallmar1.abs	2012-02-17 15:38	11K
	hausdorf.abs	2012-02-17 15:38	9.8K
	heine.abs	2012-02-17 15:38	2.4K
	helly.abs	2012-02-17 15:38	12K
	henmodel.abs	2012-02-17 15:38	5.6K
	hermitan.abs	2012-02-17 15:38	24K
	hessenbe.abs	2012-02-17 15:38	3.8K
	heyting1.abs	2012-02-17 15:38	5.8K
	heyting2.abs	2012-02-17 15:38	6.9K
	heyting3.abs	2012-02-17 15:38	9.3K
	hfdiff_1.abs	2012-02-17 15:38	8.5K
	hidden.abs	2012-02-17 15:38	711
	hilbasis.abs	2012-02-17 15:38	12K
	hilbert1.abs	2012-02-17 15:38	7.1K
	hilbert2.abs	2012-02-17 15:38	6.9K
	hilbert3.abs	2012-02-17 15:38	10K
	holder_1.abs	2012-02-17 15:38	4.9K
	homothet.abs	2012-02-17 15:38	2.6K
	hurwitz.abs	2012-02-17 15:38	15K
	idea_1.abs	2012-02-17 15:38	20K
	ideal_1.abs	2012-02-17 15:38	34K
	incproj.abs	2012-02-17 15:38	10K
	incsp_1.abs	2012-02-17 15:38	10K
	index_1.abs	2012-02-17 15:38	16K
	instalg1.abs	2012-02-17 15:38	17K
	int_1.abs	2012-02-17 15:38	10K
	int_2.abs	2012-02-17 15:38	4.8K
	int_3.abs	2012-02-17 15:38	7.9K
	int_4.abs	2012-02-17 15:38	11K
	int_5.abs	2012-02-17 15:38	9.2K
	int_6.abs	2012-02-17 15:38	10K
	int_7.abs	2012-02-17 15:38	7.3K
	integr1c.abs	2012-02-17 15:38	5.8K
	integr10.abs	2012-02-17 15:38	9.9K
	integr11.abs	2012-02-17 15:38	19K
	integr12.abs	2012-02-17 15:38	14K
	integr13.abs	2012-02-17 15:38	15K
	integr14.abs	2012-02-17 15:38	16K
	integr15.abs	2012-02-17 15:38	13K
	integr16.abs	2012-02-17 15:38	9.4K
	integr18.abs	2012-02-17 15:38	9.1K
	integr19.abs	2012-02-17 15:38	15K
	integra1.abs	2012-02-17 15:38	13K
	integra2.abs	2012-02-17 15:38	8.0K
	integra3.abs	2012-02-17 15:38	5.6K
	integra4.abs	2012-02-17 15:38	6.8K
	integra5.abs	2012-02-17 15:38	6.9K
	integra6.abs	2012-02-17 15:38	8.0K
	integra7.abs	2012-02-17 15:38	7.0K
	integra8.abs	2012-02-17 15:38	12K
	integra9.abs	2012-02-17 15:38	18K
	interva1.abs	2012-02-17 15:38	13K
	intpro_1.abs	2012-02-17 15:38	14K
	irrat_1.abs	2012-02-17 15:38	6.7K
	isocat_1.abs	2012-02-17 15:38	9.9K
	isocat_2.abs	2012-02-17 15:38	12K
	isomichi.abs	2012-02-17 15:38	11K
	jct_misc.abs	2012-02-17 15:38	4.8K
	jgraph_1.abs	2012-02-17 15:38	12K
	jgraph_2.abs	2012-02-17 15:38	15K
	jgraph_3.abs	2012-02-17 15:38	15K
	jgraph_4.abs	2012-02-17 15:38	37K
	jgraph_5.abs	2012-02-17 15:38	23K
	jgraph_6.abs	2012-02-17 15:38	24K
	jgraph_7.abs	2012-02-17 15:38	49K
	jgraph_8.abs	2012-02-17 15:38	4.2K
	jordan.abs	2012-02-17 15:38	21K
	jordan1.abs	2012-02-17 15:38	11K
	jordan1a.abs	2012-02-17 15:38	14K
	jordan1b.abs	2012-02-17 15:38	7.6K
	jordan1c.abs	2012-02-17 15:38	6.0K
	jordan1d.abs	2012-02-17 15:38	6.6K
	jordan1e.abs	2012-02-17 15:38	6.7K
	jordan1f.abs	2012-02-17 15:38	5.0K
	jordan1g.abs	2012-02-17 15:38	14K
	jordan1h.abs	2012-02-17 15:38	17K
	jordan1i.abs	2012-02-17 15:38	8.9K
	jordan1j.abs	2012-02-17 15:38	16K
	jordan1k.abs	2012-02-17 15:38	8.4K
	jordan2b.abs	2012-02-17 15:38	5.4K
	jordan2c.abs	2012-02-17 15:38	23K
	jordan3.abs	2012-02-17 15:38	12K
	jordan4.abs	2012-02-17 15:38	13K
	jordan5a.abs	2012-02-17 15:38	8.8K
	jordan5b.abs	2012-02-17 15:38	8.1K
	jordan5c.abs	2012-02-17 15:38	11K
	jordan5d.abs	2012-02-17 15:38	11K
	jordan6.abs	2012-02-17 15:38	17K
	jordan7.abs	2012-02-17 15:38	7.5K
	jordan8.abs	2012-02-17 15:38	4.8K
	jordan9.abs	2012-02-17 15:38	8.7K
	jordan10.abs	2012-02-17 15:38	4.9K
	jordan11.abs	2012-02-17 15:38	4.9K
	jordan12.abs	2012-02-17 15:38	9.2K
	jordan13.abs	2012-02-17 15:38	3.0K
	jordan14.abs	2012-02-17 15:38	8.6K
	jordan15.abs	2012-02-17 15:38	20K
	jordan16.abs	2012-02-17 15:38	5.6K
	jordan17.abs	2012-02-17 15:38	5.0K
	jordan18.abs	2012-02-17 15:38	6.5K
	jordan19.abs	2012-02-17 15:38	12K
	jordan20.abs	2012-02-17 15:38	10K
	jordan21.abs	2012-02-17 15:38	8.5K
	jordan22.abs	2012-02-17 15:38	7.4K
	jordan23.abs	2012-02-17 15:38	12K
	jordan24.abs	2012-02-17 15:38	5.8K
	jordan_a.abs	2012-02-17 15:38	9.6K
	knaster.abs	2012-02-17 15:38	10K
	kolmog01.abs	2012-02-17 15:38	8.3K
	kurato_0.abs	2012-02-17 15:38	6.2K
	kurato_1.abs	2012-02-17 15:38	9.7K
	kurato_2.abs	2012-02-17 15:38	11K
	l_hospit.abs	2012-02-17 15:38	4.9K
	lang1.abs	2012-02-17 15:38	7.1K
	laplace.abs	2012-02-17 15:38	11K
	latsubgr.abs	2012-02-17 15:38	7.1K
	latsum_1.abs	2012-02-17 15:38	7.5K
	lattice2.abs	2012-02-17 15:38	10K
	lattice3.abs	2012-02-17 15:38	14K
	lattice4.abs	2012-02-17 15:38	8.0K
	lattice5.abs	2012-02-17 15:38	17K
	lattice6.abs	2012-02-17 15:38	9.3K
	lattice7.abs	2012-02-17 15:38	5.8K
	lattice8.abs	2012-02-17 15:38	15K
	lattices.abs	2012-02-17 15:38	11K
	lexbfs.abs	2012-02-17 15:38	25K
	lfuzzy_0.abs	2012-02-17 15:38	10K
	lfuzzy_1.abs	2012-02-17 15:38	9.4K
	limfunc1.abs	2012-02-17 15:38	25K
	limfunc2.abs	2012-02-17 15:38	21K
	limfunc3.abs	2012-02-17 15:38	14K
	limfunc4.abs	2012-02-17 15:38	22K
	lmod_5.abs	2012-02-17 15:38	3.8K
	lmod_6.abs	2012-02-17 15:38	5.4K
	lmod_7.abs	2012-02-17 15:38	9.7K
	lopban_1.abs	2012-02-17 15:38	17K
	lopban_2.abs	2012-02-17 15:38	13K
	lopban_3.abs	2012-02-17 15:38	13K
	lopban_4.abs	2012-02-17 15:38	8.9K
	lopban_5.abs	2012-02-17 15:38	5.2K
	lopban_6.abs	2012-02-17 15:38	4.5K
	lopclset.abs	2012-02-17 15:38	7.4K
	lp_space.abs	2012-02-17 15:38	8.6K
	lpspace1.abs	2012-02-17 15:38	16K
	lpspace2.abs	2012-02-17 15:38	22K
	ltlaxio1.abs	2012-02-17 15:38	11K
	lukasi_1.abs	2012-02-17 15:38	7.9K
	margrel1.abs	2012-02-17 15:38	10K
	mathmorp.abs	2012-02-17 15:38	9.0K
	matrix10.abs	2012-02-17 15:38	12K
	matrix11.abs	2012-02-17 15:38	16K
	matrix12.abs	2012-02-17 15:38	7.5K
	matrix13.abs	2012-02-17 15:38	22K
	matrix14.abs	2012-02-17 15:38	11K
	matrix15.abs	2012-02-17 15:38	18K
	matrix16.abs	2012-02-17 15:38	12K
	matrix17.abs	2012-02-17 15:38	8.7K
	matrix_1.abs	2012-02-17 15:38	10K
	matrix_2.abs	2012-02-17 15:38	8.0K
	matrix_3.abs	2012-02-17 15:38	11K
	matrix_4.abs	2012-02-17 15:38	11K
	matrix_5.abs	2012-02-17 15:38	5.7K
	matrix_6.abs	2012-02-17 15:38	8.4K
	matrix_7.abs	2012-02-17 15:38	7.7K
	matrix_8.abs	2012-02-17 15:38	7.5K
	matrix_9.abs	2012-02-17 15:38	12K
	matrixc1.abs	2012-02-17 15:38	12K
	matrixj1.abs	2012-02-17 15:38	15K
	matrixj2.abs	2012-02-17 15:38	12K
	matrixr1.abs	2012-02-17 15:38	12K
	matrixr2.abs	2012-02-17 15:38	15K
	matrlin.abs	2012-02-17 15:38	11K
	matrlin2.abs	2012-02-17 15:38	11K
	matroid0.abs	2012-02-17 15:38	13K
	matrprob.abs	2012-02-17 15:38	14K
	matrtop1.abs	2012-02-17 15:38	9.8K
	matrtop2.abs	2012-02-17 15:38	7.4K
	matrtop3.abs	2012-02-17 15:38	11K
	mazurulm.abs	2012-02-17 15:38	6.9K
	mboolean.abs	2012-02-17 15:38	4.9K
	mcart_1.abs	2012-02-17 15:38	14K
	measure1.abs	2012-02-17 15:38	11K
	measure2.abs	2012-02-17 15:38	7.0K
	measure3.abs	2012-02-17 15:38	7.5K
	measure4.abs	2012-02-17 15:38	4.5K
	measure5.abs	2012-02-17 15:38	4.8K
	measure6.abs	2012-02-17 15:38	13K
	measure7.abs	2012-02-17 15:38	7.4K
	measure8.abs	2012-02-17 15:38	9.6K
	member_1.abs	2012-02-17 15:38	30K
	membered.abs	2012-02-17 15:38	15K
	memstr_0.abs	2012-02-17 15:38	21K
	menelaus.abs	2012-02-17 15:38	6.5K
	mesfun6c.abs	2012-02-17 15:38	9.8K
	mesfun7c.abs	2012-02-17 15:38	15K
	mesfun9c.abs	2012-02-17 15:38	13K
	mesfun10.abs	2012-02-17 15:38	6.9K
	mesfunc1.abs	2012-02-17 15:38	10K
	mesfunc2.abs	2012-02-17 15:38	7.8K
	mesfunc3.abs	2012-02-17 15:38	6.8K
	mesfunc4.abs	2012-02-17 15:38	3.8K
	mesfunc5.abs	2012-02-17 15:38	33K
	mesfunc6.abs	2012-02-17 15:38	16K
	mesfunc7.abs	2012-02-17 15:38	6.9K
	mesfunc8.abs	2012-02-17 15:38	12K
	mesfunc9.abs	2012-02-17 15:38	14K
	metric_1.abs	2012-02-17 15:38	11K
	metric_2.abs	2012-02-17 15:38	10K
	metric_3.abs	2012-02-17 15:38	13K
	metric_6.abs	2012-02-17 15:38	6.4K
	metrizts.abs	2012-02-17 15:38	8.1K
	mfold_1.abs	2012-02-17 15:38	6.8K
	mfold_2.abs	2012-02-17 15:38	8.2K
	midsp_1.abs	2012-02-17 15:38	7.8K
	midsp_2.abs	2012-02-17 15:38	10K
	midsp_3.abs	2012-02-17 15:38	7.8K
	mmlquery.abs	2012-02-17 15:38	14K
	mod_2.abs	2012-02-17 15:38	9.7K
	mod_3.abs	2012-02-17 15:38	4.6K
	mod_4.abs	2012-02-17 15:38	13K
	modal_1.abs	2012-02-17 15:38	11K
	modcat_1.abs	2012-02-17 15:38	7.0K
	modelc_1.abs	2012-02-17 15:38	33K
	modelc_2.abs	2012-02-17 15:38	29K
	modelc_3.abs	2012-02-17 15:38	24K
	moebius1.abs	2012-02-17 15:38	12K
	monoid_0.abs	2012-02-17 15:38	24K
	monoid_1.abs	2012-02-17 15:38	13K
	morph_01.abs	2012-02-17 15:38	5.7K
	msafree.abs	2012-02-17 15:38	14K
	msafree1.abs	2012-02-17 15:38	7.2K
	msafree2.abs	2012-02-17 15:38	9.7K
	msafree3.abs	2012-02-17 15:38	13K
	msalimit.abs	2012-02-17 15:38	5.7K
	msaterm.abs	2012-02-17 15:38	15K
	msinst_1.abs	2012-02-17 15:38	4.9K
	msscyc_1.abs	2012-02-17 15:38	9.1K
	msscyc_2.abs	2012-02-17 15:38	4.0K
	mssubfam.abs	2012-02-17 15:38	12K
	mssublat.abs	2012-02-17 15:38	7.1K
	msualg_1.abs	2012-02-17 15:38	7.5K
	msualg_2.abs	2012-02-17 15:38	16K
	msualg_3.abs	2012-02-17 15:38	9.6K
	msualg_4.abs	2012-02-17 15:38	9.8K
	msualg_5.abs	2012-02-17 15:38	7.2K
	msualg_6.abs	2012-02-17 15:38	23K
	msualg_7.abs	2012-02-17 15:38	6.1K
	msualg_8.abs	2012-02-17 15:38	6.1K
	msualg_9.abs	2012-02-17 15:38	10K
	msuhom_1.abs	2012-02-17 15:38	5.6K
	multop_1.abs	2012-02-17 15:38	5.3K
	mycielsk.abs	2012-02-17 15:38	15K
	nagata_1.abs	2012-02-17 15:38	9.4K
	nagata_2.abs	2012-02-17 15:38	7.9K
	nat_1.abs	2012-02-17 15:38	13K
	nat_2.abs	2012-02-17 15:38	4.0K
	nat_3.abs	2012-02-17 15:38	12K
	nat_4.abs	2012-02-17 15:38	9.3K
	nat_5.abs	2012-02-17 15:38	7.9K
	nat_d.abs	2012-02-17 15:38	8.1K
	nat_lat.abs	2012-02-17 15:38	5.6K
	nattra_1.abs	2012-02-17 15:38	13K
	ncfcont1.abs	2012-02-17 15:38	29K
	ncfcont2.abs	2012-02-17 15:38	10K
	ndiff_1.abs	2012-02-17 15:38	12K
	ndiff_2.abs	2012-02-17 15:38	7.2K
	ndiff_3.abs	2012-02-17 15:38	7.4K
	ndiff_4.abs	2012-02-17 15:38	15K
	ndiff_5.abs	2012-02-17 15:38	21K
	neckla_2.abs	2012-02-17 15:38	4.0K
	neckla_3.abs	2012-02-17 15:38	11K
	necklace.abs	2012-02-17 15:38	7.4K
	net_1.abs	2012-02-17 15:38	8.3K
	newton.abs	2012-02-17 15:38	10K
	nfcont_1.abs	2012-02-17 15:38	11K
	nfcont_2.abs	2012-02-17 15:38	5.0K
	nfcont_3.abs	2012-02-17 15:38	9.0K
	nfcont_4.abs	2012-02-17 15:38	12K
	normform.abs	2012-02-17 15:38	8.3K
	normsp_0.abs	2012-02-17 15:38	3.0K
	normsp_1.abs	2012-02-17 15:38	6.6K
	normsp_2.abs	2012-02-17 15:38	11K
	ntalgo_1.abs	2012-02-17 15:38	9.2K
	numbers.abs	2012-02-17 15:38	3.5K
	numeral1.abs	2012-02-17 15:38	3.3K
	numerals.abs	2012-02-17 15:38	1.4K
	o_ring_1.abs	2012-02-17 15:38	16K
	openlatt.abs	2012-02-17 15:38	7.4K
	oposet_1.abs	2012-02-17 15:38	10K
	oppcat_1.abs	2012-02-17 15:38	12K
	orders_1.abs	2012-02-17 15:38	13K
	orders_2.abs	2012-02-17 15:38	10K
	orders_3.abs	2012-02-17 15:38	7.0K
	orders_4.abs	2012-02-17 15:38	3.7K
	ordinal1.abs	2012-02-17 15:38	8.4K
	ordinal2.abs	2012-02-17 15:38	15K
	ordinal3.abs	2012-02-17 15:38	7.2K
	ordinal4.abs	2012-02-17 15:38	6.8K
	ordinal5.abs	2012-02-17 15:38	13K
	ordinal6.abs	2012-02-17 15:38	17K
	ortsp_1.abs	2012-02-17 15:38	5.7K
	osafree.abs	2012-02-17 15:38	29K
	osalg_1.abs	2012-02-17 15:38	17K
	osalg_2.abs	2012-02-17 15:38	14K
	osalg_3.abs	2012-02-17 15:38	6.4K
	osalg_4.abs	2012-02-17 15:38	20K
	papdesaf.abs	2012-02-17 15:38	5.8K
	pardepap.abs	2012-02-17 15:38	2.4K
	parsp_1.abs	2012-02-17 15:38	8.4K
	parsp_2.abs	2012-02-17 15:38	8.6K
	partfun1.abs	2012-02-17 15:38	12K
	partfun2.abs	2012-02-17 15:38	7.9K
	partfun3.abs	2012-02-17 15:38	13K
	partfun4.abs	2012-02-17 15:38	2.5K
	partit1.abs	2012-02-17 15:38	7.2K
	partit_2.abs	2012-02-17 15:38	5.6K
	pasch.abs	2012-02-17 15:38	4.8K
	pboole.abs	2012-02-17 15:38	17K
	pcomps_1.abs	2012-02-17 15:38	7.5K
	pcomps_2.abs	2012-02-17 15:38	4.7K
	pcs_0.abs	2012-02-17 15:38	34K
	pdiff_1.abs	2012-02-17 15:38	15K
	pdiff_2.abs	2012-02-17 15:38	7.7K
	pdiff_3.abs	2012-02-17 15:38	15K
	pdiff_4.abs	2012-02-17 15:38	13K
	pdiff_5.abs	2012-02-17 15:38	29K
	pdiff_6.abs	2012-02-17 15:38	11K
	pdiff_7.abs	2012-02-17 15:38	17K
	pdiff_8.abs	2012-02-17 15:38	7.5K
	pdiff_9.abs	2012-02-17 15:38	24K
	pencil_1.abs	2012-02-17 15:38	14K
	pencil_2.abs	2012-02-17 15:38	8.8K
	pencil_3.abs	2012-02-17 15:38	13K
	pencil_4.abs	2012-02-17 15:38	10K
	pepin.abs	2012-02-17 15:38	7.1K
	petri.abs	2012-02-17 15:38	8.3K
	petri_2.abs	2012-02-17 15:38	10K
	pnproc_1.abs	2012-02-17 15:38	13K
	polyalg1.abs	2012-02-17 15:38	11K
	polyeq_1.abs	2012-02-17 15:38	6.9K
	polyeq_2.abs	2012-02-17 15:38	4.9K
	polyeq_3.abs	2012-02-17 15:38	11K
	polyeq_4.abs	2012-02-17 15:38	6.0K
	polyeq_5.abs	2012-02-17 15:38	11K
	polyform.abs	2012-02-17 15:38	24K
	polynom1.abs	2012-02-17 15:38	14K
	polynom2.abs	2012-02-17 15:38	12K
	polynom3.abs	2012-02-17 15:38	14K
	polynom4.abs	2012-02-17 15:38	8.4K
	polynom5.abs	2012-02-17 15:38	18K
	polynom6.abs	2012-02-17 15:38	6.4K
	polynom7.abs	2012-02-17 15:38	12K
	polynom8.abs	2012-02-17 15:38	14K
	polyred.abs	2012-02-17 15:38	26K
	poset_1.abs	2012-02-17 15:38	6.3K
	power.abs	2012-02-17 15:38	7.1K
	pralg_1.abs	2012-02-17 15:38	12K
	pralg_2.abs	2012-02-17 15:38	8.6K
	pralg_3.abs	2012-02-17 15:38	9.5K
	pre_circ.abs	2012-02-17 15:38	7.5K
	pre_ff.abs	2012-02-17 15:38	4.3K
	pre_poly.abs	2012-02-17 15:38	23K
	pre_topc.abs	2012-02-17 15:38	11K
	prelamb.abs	2012-02-17 15:38	11K
	prepower.abs	2012-02-17 15:38	11K
	prgcor_1.abs	2012-02-17 15:38	12K
	prgcor_2.abs	2012-02-17 15:38	7.7K
	prob_1.abs	2012-02-17 15:38	9.6K
	prob_2.abs	2012-02-17 15:38	7.7K
	prob_3.abs	2012-02-17 15:38	12K
	prob_4.abs	2012-02-17 15:38	8.7K
	procal_1.abs	2012-02-17 15:38	5.4K
	projdes1.abs	2012-02-17 15:38	5.4K
	projpl_1.abs	2012-02-17 15:38	8.1K
	projred1.abs	2012-02-17 15:38	4.9K
	projred2.abs	2012-02-17 15:38	6.6K
	prvect_1.abs	2012-02-17 15:38	9.0K
	prvect_2.abs	2012-02-17 15:38	9.0K
	prvect_3.abs	2012-02-17 15:38	17K
	pscomp_1.abs	2012-02-17 15:38	15K
	pua2mss1.abs	2012-02-17 15:38	15K
	pythtrip.abs	2012-02-17 15:38	4.6K
	pzfmisc1.abs	2012-02-17 15:38	9.1K
	qc_lang1.abs	2012-02-17 15:38	16K
	qc_lang2.abs	2012-02-17 15:38	15K
	qc_lang3.abs	2012-02-17 15:38	18K
	qc_lang4.abs	2012-02-17 15:38	10K
	qmax_1.abs	2012-02-17 15:38	6.3K
	quantal1.abs	2012-02-17 15:38	13K
	quatern2.abs	2012-02-17 15:38	9.7K
	quatern3.abs	2012-02-17 15:38	7.2K
	quaterni.abs	2012-02-17 15:38	15K
	quin_1.abs	2012-02-17 15:38	4.5K
	quofield.abs	2012-02-17 15:38	22K
	radix_1.abs	2012-02-17 15:38	6.2K
	radix_2.abs	2012-02-17 15:38	5.7K
	radix_3.abs	2012-02-17 15:38	5.7K
	radix_4.abs	2012-02-17 15:38	3.5K
	radix_5.abs	2012-02-17 15:38	5.2K
	radix_6.abs	2012-02-17 15:38	6.6K
	ramsey_1.abs	2012-02-17 15:38	4.8K
	random_1.abs	2012-02-17 15:38	12K
	random_2.abs	2012-02-17 15:38	9.1K
	ranknull.abs	2012-02-17 15:38	10K
	rat_1.abs	2012-02-17 15:38	6.2K
	ratfunc1.abs	2012-02-17 15:38	24K
	rcomp_1.abs	2012-02-17 15:38	5.2K
	rcomp_3.abs	2012-02-17 15:38	15K
	real.abs	2012-02-17 15:38	2.1K
	real_1.abs	2012-02-17 15:38	1.8K
	real_3.abs	2012-02-17 15:38	11K
	real_lat.abs	2012-02-17 15:38	6.9K
	real_ns1.abs	2012-02-17 15:38	6.8K
	realset1.abs	2012-02-17 15:38	3.6K
	realset2.abs	2012-02-17 15:38	7.1K
	realset3.abs	2012-02-17 15:38	5.9K
	rearran1.abs	2012-02-17 15:38	10K
	recdef_1.abs	2012-02-17 15:38	9.2K
	recdef_2.abs	2012-02-17 15:38	7.8K
	reftags	2012-02-17 15:38	2.1M
	relat_1.abs	2012-02-17 15:38	18K
	relat_2.abs	2012-02-17 15:38	5.3K
	reloc.abs	2012-02-17 15:38	3.7K
	relset_1.abs	2012-02-17 15:38	7.0K
	relset_2.abs	2012-02-17 15:38	9.0K
	revrot_1.abs	2012-02-17 15:38	8.2K
	rewrite1.abs	2012-02-17 15:38	16K
	rewrite2.abs	2012-02-17 15:38	10K
	rewrite3.abs	2012-02-17 15:38	18K
	rfinseq.abs	2012-02-17 15:38	6.8K
	rfinseq2.abs	2012-02-17 15:38	6.3K
	rfunct_1.abs	2012-02-17 15:38	13K
	rfunct_2.abs	2012-02-17 15:38	9.9K
	rfunct_3.abs	2012-02-17 15:38	18K
	rfunct_4.abs	2012-02-17 15:38	7.5K
	rinfsup1.abs	2012-02-17 15:38	15K
	rinfsup2.abs	2012-02-17 15:38	8.6K
	ring_1.abs	2012-02-17 15:38	6.5K
	ringcat1.abs	2012-02-17 15:38	11K
	rlaffin1.abs	2012-02-17 15:38	12K
	rlaffin2.abs	2012-02-17 15:38	6.9K
	rlaffin3.abs	2012-02-17 15:38	9.4K
	rlsub_1.abs	2012-02-17 15:38	8.8K
	rlsub_2.abs	2012-02-17 15:38	11K
	rltopsp1.abs	2012-02-17 15:38	17K
	rlvect_1.abs	2012-02-17 15:38	17K
	rlvect_2.abs	2012-02-17 15:38	15K
	rlvect_3.abs	2012-02-17 15:38	5.5K
	rlvect_4.abs	2012-02-17 15:38	6.0K
	rlvect_5.abs	2012-02-17 15:38	8.0K
	rlvect_x.abs	2012-02-17 15:38	6.8K
	rmod_2.abs	2012-02-17 15:38	7.9K
	rmod_3.abs	2012-02-17 15:38	8.0K
	rmod_4.abs	2012-02-17 15:38	10K
	robbins1.abs	2012-02-17 15:38	17K
	robbins2.abs	2012-02-17 15:38	11K
	robbins3.abs	2012-02-17 15:38	16K
	robbins4.abs	2012-02-17 15:38	8.7K
	rolle.abs	2012-02-17 15:38	4.2K
	roughs_1.abs	2012-02-17 15:38	12K
	rpr_1.abs	2012-02-17 15:38	9.1K
	rsspace.abs	2012-02-17 15:38	8.4K
	rsspace2.abs	2012-02-17 15:38	4.1K
	rsspace3.abs	2012-02-17 15:38	6.3K
	rsspace4.abs	2012-02-17 15:38	13K
	rusub_1.abs	2012-02-17 15:38	13K
	rusub_2.abs	2012-02-17 15:38	13K
	rusub_3.abs	2012-02-17 15:38	9.2K
	rusub_4.abs	2012-02-17 15:38	9.4K
	rusub_5.abs	2012-02-17 15:38	11K
	rvsum_1.abs	2012-02-17 15:38	17K
	rvsum_2.abs	2012-02-17 15:38	6.6K
	scheme1.abs	2012-02-17 15:38	11K
	schems_1.abs	2012-02-17 15:38	2.5K
	scm_1.abs	2012-02-17 15:38	9.3K
	scm_comp.abs	2012-02-17 15:38	8.4K
	scm_halt.abs	2012-02-17 15:38	24K
	scm_inst.abs	2012-02-17 15:38	4.8K
	scmbsort.abs	2012-02-17 15:38	11K
	scmfsa6a.abs	2012-02-17 15:38	5.6K
	scmfsa6b.abs	2012-02-17 15:38	7.6K
	scmfsa6c.abs	2012-02-17 15:38	6.5K
	scmfsa7b.abs	2012-02-17 15:38	8.2K
	scmfsa8a.abs	2012-02-17 15:38	14K
	scmfsa8b.abs	2012-02-17 15:38	16K
	scmfsa8c.abs	2012-02-17 15:38	24K
	scmfsa9a.abs	2012-02-17 15:38	13K
	scmfsa10.abs	2012-02-17 15:38	8.4K
	scmfsa_1.abs	2012-02-17 15:38	7.3K
	scmfsa_2.abs	2012-02-17 15:38	17K
	scmfsa_3.abs	2012-02-17 15:38	8.8K
	scmfsa_4.abs	2012-02-17 15:38	2.9K
	scmfsa_5.abs	2012-02-17 15:38	2.3K
	scmfsa_7.abs	2012-02-17 15:38	5.2K
	scmfsa_9.abs	2012-02-17 15:38	15K
	scmfsa_i.abs	2012-02-17 15:38	4.1K
	scmfsa_m.abs	2012-02-17 15:38	11K
	scmisort.abs	2012-02-17 15:38	14K
	scmp_gcd.abs	2012-02-17 15:38	5.4K
	scmpds_1.abs	2012-02-17 15:38	5.2K
	scmpds_2.abs	2012-02-17 15:38	15K
	scmpds_3.abs	2012-02-17 15:38	6.9K
	scmpds_4.abs	2012-02-17 15:38	10K
	scmpds_5.abs	2012-02-17 15:38	11K
	scmpds_6.abs	2012-02-17 15:38	30K
	scmpds_7.abs	2012-02-17 15:38	19K
	scmpds_8.abs	2012-02-17 15:38	16K
	scmpds_9.abs	2012-02-17 15:38	4.0K
	scmpds_i.abs	2012-02-17 15:38	7.3K
	scmring1.abs	2012-02-17 15:38	5.5K
	scmring2.abs	2012-02-17 15:38	6.7K
	scmring3.abs	2012-02-17 15:38	7.7K
	scmring4.abs	2012-02-17 15:38	5.6K
	scmringi.abs	2012-02-17 15:38	6.6K
	scmyciel.abs	2012-02-17 15:38	28K
	scpinvar.abs	2012-02-17 15:38	14K
	scpisort.abs	2012-02-17 15:38	10K
	scpqsort.abs	2012-02-17 15:38	8.9K
	semi_af1.abs	2012-02-17 15:38	14K
	seq_1.abs	2012-02-17 15:38	6.3K
	seq_2.abs	2012-02-17 15:38	7.2K
	seq_4.abs	2012-02-17 15:38	20K
	seqfunc.abs	2012-02-17 15:38	8.2K
	seqm_3.abs	2012-02-17 15:38	9.4K
	series_1.abs	2012-02-17 15:38	7.8K
	series_2.abs	2012-02-17 15:38	6.8K
	series_3.abs	2012-02-17 15:38	6.1K
	series_4.abs	2012-02-17 15:38	4.7K
	series_5.abs	2012-02-17 15:38	5.9K
	setfam_1.abs	2012-02-17 15:38	9.5K
	setlim_1.abs	2012-02-17 15:38	11K
	setlim_2.abs	2012-02-17 15:38	10K
	setwiseo.abs	2012-02-17 15:38	14K
	setwop_2.abs	2012-02-17 15:38	8.8K
	sf_mastr.abs	2012-02-17 15:38	11K
	sfmastr1.abs	2012-02-17 15:38	9.5K
	sfmastr2.abs	2012-02-17 15:38	8.4K
	sfmastr3.abs	2012-02-17 15:38	12K
	sgraph1.abs	2012-02-17 15:38	15K
	sheffer1.abs	2012-02-17 15:38	13K
	sheffer2.abs	2012-02-17 15:38	20K
	simplex0.abs	2012-02-17 15:38	20K
	simplex1.abs	2012-02-17 15:38	15K
	simplex2.abs	2012-02-17 15:38	10K
	sin_cos.abs	2012-02-17 15:38	16K
	sin_cos2.abs	2012-02-17 15:38	6.4K
	sin_cos3.abs	2012-02-17 15:38	7.7K
	sin_cos4.abs	2012-02-17 15:38	6.6K
	sin_cos5.abs	2012-02-17 15:38	5.9K
	sin_cos6.abs	2012-02-17 15:38	11K
	sin_cos7.abs	2012-02-17 15:38	7.7K
	sin_cos8.abs	2012-02-17 15:38	5.9K
	sin_cos9.abs	2012-02-17 15:38	20K
	sincos10.abs	2012-02-17 15:38	13K
	sppol_1.abs	2012-02-17 15:38	9.0K
	sppol_2.abs	2012-02-17 15:38	10K
	sprect_1.abs	2012-02-17 15:38	12K
	sprect_2.abs	2012-02-17 15:38	12K
	sprect_3.abs	2012-02-17 15:38	12K
	sprect_4.abs	2012-02-17 15:38	3.0K
	sprect_5.abs	2012-02-17 15:38	8.6K
	square_1.abs	2012-02-17 15:38	6.4K
	stacks_1.abs	2012-02-17 15:38	16K
	stirl2_1.abs	2012-02-17 15:38	12K
	struct_0.abs	2012-02-17 15:38	11K
	sublemma.abs	2012-02-17 15:38	19K
	subset.abs	2012-02-17 15:38	1.6K
	subset_1.abs	2012-02-17 15:38	8.9K
	substlat.abs	2012-02-17 15:38	5.1K
	substut1.abs	2012-02-17 15:38	22K
	substut2.abs	2012-02-17 15:38	8.5K
	supinf_1.abs	2012-02-17 15:38	4.1K
	supinf_2.abs	2012-02-17 15:38	14K
	symbtags	2012-02-17 15:38	607K
	symsp_1.abs	2012-02-17 15:38	6.9K
	sysrel.abs	2012-02-17 15:38	5.7K
	t_0topsp.abs	2012-02-17 15:38	5.3K
	t_1topsp.abs	2012-02-17 15:38	3.8K
	tarski.abs	2012-02-17 15:38	2.9K
	taxonom1.abs	2012-02-17 15:38	10K
	taxonom2.abs	2012-02-17 15:38	6.7K
	taylor_1.abs	2012-02-17 15:38	9.7K
	taylor_2.abs	2012-02-17 15:38	7.4K
	tbsp_1.abs	2012-02-17 15:38	7.1K
	tdgroup.abs	2012-02-17 15:38	6.0K
	tdlat_1.abs	2012-02-17 15:38	8.7K
	tdlat_2.abs	2012-02-17 15:38	17K
	tdlat_3.abs	2012-02-17 15:38	11K
	termord.abs	2012-02-17 15:38	12K
	tex_1.abs	2012-02-17 15:38	9.5K
	tex_2.abs	2012-02-17 15:38	19K
	tex_3.abs	2012-02-17 15:38	18K
	tex_4.abs	2012-02-17 15:38	19K
	tietze.abs	2012-02-17 15:38	7.4K
	tmap_1.abs	2012-02-17 15:38	32K
	toler_1.abs	2012-02-17 15:38	5.9K
	topalg_1.abs	2012-02-17 15:38	15K
	topalg_2.abs	2012-02-17 15:38	7.1K
	topalg_3.abs	2012-02-17 15:38	9.5K
	topalg_4.abs	2012-02-17 15:38	9.1K
	topalg_5.abs	2012-02-17 15:38	10K
	topalg_6.abs	2012-02-17 15:38	16K
	topdim_1.abs	2012-02-17 15:38	10K
	topdim_2.abs	2012-02-17 15:38	8.0K
	topgen_1.abs	2012-02-17 15:38	12K
	topgen_2.abs	2012-02-17 15:38	12K
	topgen_3.abs	2012-02-17 15:38	13K
	topgen_4.abs	2012-02-17 15:38	14K
	topgen_5.abs	2012-02-17 15:38	18K
	topgrp_1.abs	2012-02-17 15:38	15K
	topmetr.abs	2012-02-17 15:38	7.7K
	topmetr2.abs	2012-02-17 15:38	2.1K
	topmetr3.abs	2012-02-17 15:38	4.8K
	topreal1.abs	2012-02-17 15:38	10K
	topreal2.abs	2012-02-17 15:38	3.4K
	topreal3.abs	2012-02-17 15:38	7.0K
	topreal4.abs	2012-02-17 15:38	7.9K
	topreal5.abs	2012-02-17 15:38	5.4K
	topreal6.abs	2012-02-17 15:38	14K
	topreal7.abs	2012-02-17 15:38	5.9K
	topreal8.abs	2012-02-17 15:38	7.0K
	topreal9.abs	2012-02-17 15:38	11K
	topreala.abs	2012-02-17 15:38	9.7K
	toprealb.abs	2012-02-17 15:38	14K
	toprealc.abs	2012-02-17 15:38	16K
	toprns_1.abs	2012-02-17 15:38	6.1K
	tops_1.abs	2012-02-17 15:38	9.5K
	tops_2.abs	2012-02-17 15:38	10K
	tops_3.abs	2012-02-17 15:38	12K
	tops_4.abs	2012-02-17 15:38	6.8K
	transgeo.abs	2012-02-17 15:38	13K
	translac.abs	2012-02-17 15:38	3.0K
	treal_1.abs	2012-02-17 15:38	6.5K
	trees_1.abs	2012-02-17 15:38	10K
	trees_2.abs	2012-02-17 15:38	11K
	trees_3.abs	2012-02-17 15:38	18K
	trees_4.abs	2012-02-17 15:38	9.0K
	trees_9.abs	2012-02-17 15:38	13K
	trees_a.abs	2012-02-17 15:38	4.9K
	triang_1.abs	2012-02-17 15:38	5.9K
	tsep_1.abs	2012-02-17 15:38	21K
	tsep_2.abs	2012-02-17 15:38	10K
	tsp_1.abs	2012-02-17 15:38	8.9K
	tsp_2.abs	2012-02-17 15:38	9.9K
	turing_1.abs	2012-02-17 15:38	19K
	twoscomp.abs	2012-02-17 15:38	19K
	unialg_1.abs	2012-02-17 15:38	3.0K
	unialg_2.abs	2012-02-17 15:38	8.9K
	unialg_3.abs	2012-02-17 15:38	6.7K
	uniform1.abs	2012-02-17 15:38	5.7K
	uniroots.abs	2012-02-17 15:38	15K
	uproots.abs	2012-02-17 15:38	19K
	urysohn1.abs	2012-02-17 15:38	7.2K
	urysohn2.abs	2012-02-17 15:38	6.4K
	urysohn3.abs	2012-02-17 15:38	9.7K
	valuat_1.abs	2012-02-17 15:38	8.5K
	valued_0.abs	2012-02-17 15:38	19K
	valued_1.abs	2012-02-17 15:38	34K
	valued_2.abs	2012-02-17 15:38	36K
	vectmetr.abs	2012-02-17 15:38	8.9K
	vectsp10.abs	2012-02-17 15:38	19K
	vectsp11.abs	2012-02-17 15:38	11K
	vectsp_1.abs	2012-02-17 15:38	16K
	vectsp_2.abs	2012-02-17 15:38	13K
	vectsp_4.abs	2012-02-17 15:38	13K
	vectsp_5.abs	2012-02-17 15:38	10K
	vectsp_6.abs	2012-02-17 15:38	7.9K
	vectsp_7.abs	2012-02-17 15:38	4.3K
	vectsp_8.abs	2012-02-17 15:38	5.8K
	vectsp_9.abs	2012-02-17 15:38	7.5K
	vfunct_1.abs	2012-02-17 15:38	8.4K
	vfunct_2.abs	2012-02-17 15:38	7.5K
	waybel10.abs	2012-02-17 15:38	12K
	waybel11.abs	2012-02-17 15:38	15K
	waybel12.abs	2012-02-17 15:38	11K
	waybel13.abs	2012-02-17 15:38	8.5K
	waybel14.abs	2012-02-17 15:38	10K
	waybel15.abs	2012-02-17 15:38	7.5K
	waybel16.abs	2012-02-17 15:38	8.2K
	waybel17.abs	2012-02-17 15:38	12K
	waybel18.abs	2012-02-17 15:38	9.3K
	waybel19.abs	2012-02-17 15:38	12K
	waybel20.abs	2012-02-17 15:38	13K
	waybel21.abs	2012-02-17 15:38	15K
	waybel22.abs	2012-02-17 15:38	6.1K
	waybel23.abs	2012-02-17 15:38	19K
	waybel24.abs	2012-02-17 15:38	13K
	waybel25.abs	2012-02-17 15:38	13K
	waybel26.abs	2012-02-17 15:38	13K
	waybel27.abs	2012-02-17 15:38	14K
	waybel28.abs	2012-02-17 15:38	7.8K
	waybel29.abs	2012-02-17 15:38	13K
	waybel30.abs	2012-02-17 15:38	13K
	waybel31.abs	2012-02-17 15:38	8.1K
	waybel32.abs	2012-02-17 15:38	9.6K
	waybel33.abs	2012-02-17 15:38	8.4K
	waybel34.abs	2012-02-17 15:38	25K
	waybel35.abs	2012-02-17 15:38	12K
	waybel_0.abs	2012-02-17 15:38	29K
	waybel_1.abs	2012-02-17 15:38	25K
	waybel_2.abs	2012-02-17 15:38	17K
	waybel_3.abs	2012-02-17 15:38	14K
	waybel_4.abs	2012-02-17 15:38	19K
	waybel_5.abs	2012-02-17 15:38	12K
	waybel_6.abs	2012-02-17 15:38	11K
	waybel_7.abs	2012-02-17 15:38	12K
	waybel_8.abs	2012-02-17 15:38	9.6K
	waybel_9.abs	2012-02-17 15:38	16K
	weddwitt.abs	2012-02-17 15:38	11K
	weierstr.abs	2012-02-17 15:38	11K
	wellfnd1.abs	2012-02-17 15:38	6.4K
	wellord1.abs	2012-02-17 15:38	8.3K
	wellord2.abs	2012-02-17 15:38	3.8K
	wellset1.abs	2012-02-17 15:38	1.9K
	wsierp_1.abs	2012-02-17 15:38	6.4K
	xboole_0.abs	2012-02-17 15:38	3.2K
	xboole_1.abs	2012-02-17 15:38	7.8K
	xboolean.abs	2012-02-17 15:38	12K
	xcmplx_0.abs	2012-02-17 15:38	3.0K
	xcmplx_1.abs	2012-02-17 15:38	18K
	xreal_0.abs	2012-02-17 15:38	4.3K
	xreal_1.abs	2012-02-17 15:38	16K
	xregular.abs	2012-02-17 15:38	2.0K
	xtuple_0.abs	2012-02-17 15:38	7.4K
	xxreal_0.abs	2012-02-17 15:38	6.6K
	xxreal_1.abs	2012-02-17 15:38	36K
	xxreal_2.abs	2012-02-17 15:38	16K
	xxreal_3.abs	2012-02-17 15:38	16K
	yellow10.abs	2012-02-17 15:38	15K
	yellow11.abs	2012-02-17 15:38	5.2K
	yellow12.abs	2012-02-17 15:38	11K
	yellow13.abs	2012-02-17 15:38	8.0K
	yellow14.abs	2012-02-17 15:38	10K
	yellow15.abs	2012-02-17 15:38	7.5K
	yellow16.abs	2012-02-17 15:38	17K
	yellow17.abs	2012-02-17 15:38	7.2K
	yellow18.abs	2012-02-17 15:38	30K
	yellow19.abs	2012-02-17 15:38	10K
	yellow20.abs	2012-02-17 15:38	19K
	yellow21.abs	2012-02-17 15:38	19K
	yellow_0.abs	2012-02-17 15:38	19K
	yellow_1.abs	2012-02-17 15:38	8.0K
	yellow_2.abs	2012-02-17 15:38	12K
	yellow_3.abs	2012-02-17 15:38	15K
	yellow_4.abs	2012-02-17 15:38	13K
	yellow_5.abs	2012-02-17 15:38	8.7K
	yellow_6.abs	2012-02-17 15:38	19K
	yellow_7.abs	2012-02-17 15:38	10K
	yellow_8.abs	2012-02-17 15:38	7.7K
	yellow_9.abs	2012-02-17 15:38	17K
	yoneda_1.abs	2012-02-17 15:38	3.5K
	zf_colla.abs	2012-02-17 15:38	3.1K
	zf_fund1.abs	2012-02-17 15:38	7.5K
	zf_fund2.abs	2012-02-17 15:38	3.3K
	zf_lang.abs	2012-02-17 15:38	16K
	zf_lang1.abs	2012-02-17 15:38	20K
	zf_model.abs	2012-02-17 15:38	11K
	zf_refle.abs	2012-02-17 15:38	5.9K
	zfmisc_1.abs	2012-02-17 15:38	14K
	zfmodel1.abs	2012-02-17 15:38	5.3K
	zfmodel2.abs	2012-02-17 15:38	5.5K
	zfrefle1.abs	2012-02-17 15:38	7.0K
	zmodul01.abs	2012-02-17 15:38	24K