Tribunal entendeu que isolamento de lideranças é medida necessária para cumprimento de planejamento determinado pelo STF