{ "domain": "mathematics", "topics": [ "discrete-geometry" ], "type": "construction", "also": [ "proof" ], "structure": "instances", "verify": [ "certificate", "numerical" ], "instances": [ "d = 11", "d = 12", "d = 13", "d = 14", "d = 15", "d = 16" ], "metric": { "name": "kissing number", "better": "higher" }, "cover": { "motif": "spheres", "n": 3 } }