Title: Boolean minimization of large relay interlock and control systems