Solution #1: dog = 3 :: SInteger cat = 41 :: SInteger mouse = 56 :: SInteger This is the only solution.