{a+b+c,aaac+a+bb}
