[math-fun] Propp's one-dimensional packing question