new format for reduced trees
new format for reduced trees
Merge pull request #60 from dimatteo/devRandom

Dev random