040000 tree ecb18f756ca5e919da8810bc6e89347cc6f80239	intseq.general
040000 tree 0c3db62f6b1913d770064ccb1b8f5fc1f616c9f6	intseq.intseq
040000 tree e002766c45463eaf5e982abbe767e80a1fcfbd9e	intseq.make