(“Vivint”) sued Alarm.com for infringement of four patents. While defending itself in district court, Alarm.com filed fourteen IPR petitions, …