A circuit vent is being installed for a battery of four lavatories. The horizontal branch being vented is 3 inches in diameter. According to the 2022 CPC, what is the minimum required size for the circuit vent?