chubpupperworks - Isabelle gain sequence I did for a friend. I...