040000 tree c667520e3b07d17cb70fcf2b089fbb3b5007f0ef	customization
040000 tree ec90f990cbe209ea045a0ecec58729ca944476ef	lookup
040000 tree 3a7b4bba1368383627afe0b00557bec83d605160	python
040000 tree 645c8d6bd4df7d8d222196e78e6c8622ae9a320a	scripting
040000 tree 9480086195e1cddcb8c02650c4d911f62f945b5f	summaries
040000 tree 15ac8b158f778fad750a1e2a41b0fb737a0aaca9	synthetic
040000 tree 494068877d6a887b6fe526f6ec1102f93db0537a	test