I believe it was something like 117 to remain federated vs like ~40 to defederate. I would have to recount but it was overwhelmingly in favor of staying federated.

I also agree with the other users here that the funniest and probably most productive option is leaving their admins banned while staying federated and letting them make the next move is the best and funniest option.