Assertion: packing | /r/HasSubgroup | hypersphere packing
Facets:
Source sentences: