Re: [math-fun] Discretized disk-packing