gas distribution