Questão jurídica principal
Whether the appeal should be removed from the docket after withdrawal.
Decisão extraída
The appeal is struck off as withdrawn.
Fundamentação extraída
Because the appellants expressly withdrew their appeal, the federal proceedings were terminated accordingly.