100644 blob aaabe3fbbe7fdc0b15e4dae53671eeced89f0c2e	adt.txtar
100644 blob 55a8a776d6751f28c83108e34966a661785727fb	docs.txtar
100644 blob b328ff56f49f1ae1c3613bb57d1126e609f1911b	scalardef.txtar
100644 blob 3eaa42e67235ea8a7b45d46d03a019ba28a395a0	simplify.txtar
100644 blob 0d40a0f68343472ecdc9eddb88548c0f818b0f97	topo.txtar