Tag: IGP decorates three newly-promoted AIGs