040000 tree 7b3a84944a83da55e9084ec3747c62b66e46ccbf	9term
040000 tree b85bbc9aac66bf6d2266e306524696947338a770	diff
040000 tree 5c2cb8afc4e2c227a954500d620dae42f14f5b26	mk
040000 tree 8e43a8b8f62f01ac07258e2f8e41899954e96a78	plumb
040000 tree c1b395772e8aeeee205a399eb56a8467495f5205	rc
040000 tree aaec430a71b7a6f790a686ddeb14041a7cde39a3	sam
040000 tree be3b7cae73b6f319455794e515dbb77c925be062	samterm
040000 tree cc2bf084986ec8fdceccb8e2e7a30de18b447ded	vac
040000 tree 4b70c011e6479242ee3cf90a811eee6ab9feedf1	venti