Reduced size of #tree6