Finite-time Bipartite Synchronization of Homogeneous and Heterogeneous Multiple Agents with Input Saturation: A TVRE-Based Gain Approach | Synapse