Dynamical pruning of binary trees with applications to 1D ballistic annihilation