Six-dimensional sphere packing and linear programming | Synapse