Optimal Functional 2s-1-Batch Codes: Exploring New Sufficient Conditions