new format for reduced trees