Re: [math-fun] Packing complexity question