synthesized multi-IRs

2022