Index of /~mptp/7.13.01_4.181.1147/miztmpabs/refs/functor1

	Name	Last modified	Size	Description
	Parent Directory		-
	T1	2016-09-19 10:33	30K
	T2	2016-09-19 10:33	8.1K
	T3	2016-09-19 10:33	24K
	T4	2016-09-19 10:33	25K
	T5	2016-09-19 10:33	61K
	T6	2016-09-19 10:33	13K
	T7	2016-09-19 10:33	13K
	T8	2016-09-19 10:33	12K
	T9	2016-09-19 10:33	12K
	T10	2016-09-19 10:33	13K
	T11	2016-09-19 10:33	13K
	T12	2016-09-19 10:33	13K
	T13	2016-09-19 10:33	24K
	T14	2016-09-19 10:33	5.6K
	T15	2016-09-19 10:33	24K
	T16	2016-09-19 10:33	24K
	T17	2016-09-19 10:33	13K
	T18	2016-09-19 10:33	126K
	T19	2016-09-19 10:33	23K
	T20	2016-09-19 10:33	113K
	T21	2016-09-19 10:33	243K