modified	size	name
2012-03-06 13:16:42	4	t0.scm
2012-03-06 13:16:42	4	t1.scm
2012-03-06 13:16:42	73	t10.scm
2012-03-06 13:16:42	294	t11.scm
2012-03-06 13:16:42	18	t2.scm
2012-03-06 13:16:42	37	t3.scm
2012-03-06 13:16:42	15	t4.scm
2012-03-06 13:16:42	16	t5.scm
2012-03-06 13:16:42	19	t6.scm
2012-03-06 13:16:42	46	t7.scm
2012-03-06 13:16:42	38	t8.scm
2012-03-06 13:16:42	94	t9.scm