Controllable Group Choreography Using Contrastive Diffusion | Synapse