Looking at `testSolve` in `MagicAnimalCarousel.t.sol` there is some complicated logic there, while it is enough to simply do ``` instance.changeAnimal("horse", 1); ``` because `changeAnimal` has a line `encodedAnimal << 160` while it in fact should be `encodedAnimal << 176`. Is this intended or I am missing something?