x32 outputs

Hi guys, Im new here and have found loads of tips and great reading posts but I have a question I can’t find. I’m helping a church out with their sound system. They use an x32 and have all musicians on IEM’s and the drums are in a booth. We need to send a feed of the FOH mix to send for the live...