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