output.tag.set_title("TIMESTRETCHRT");
output.tag.set_property("NUM", config.num);
output.tag.set_property("DENOM", config.denom);
output.tag.set_title("TIMESTRETCHRT");
output.tag.set_property("NUM", config.num);
output.tag.set_property("DENOM", config.denom);