However, it is standard for lab workers to kill the mice they work with, and the original paper they published mentions the state of the mice "after sacrifice".
The practice of euthanizing mice used in experiments is common in labs, and the original paper describing the experiment mentions the condition of the mice after they are killed.