100644 blob 49e7fbc04d94e84aedd2d686da358a2149adc6e0	adt.txtar
100644 blob 55a8a776d6751f28c83108e34966a661785727fb	docs.txtar
100644 blob 331647c3e8243305ae4be68816d379c61fbf0f0f	let.txtar
100644 blob b328ff56f49f1ae1c3613bb57d1126e609f1911b	scalardef.txtar
100644 blob 3eaa42e67235ea8a7b45d46d03a019ba28a395a0	simplify.txtar
100644 blob 0d40a0f68343472ecdc9eddb88548c0f818b0f97	topo.txtar