Subject: Re: Have Bear Catchers worked post-discovery?
Sorry combinatorial values are 1, 3, and 7

and exit states as 6, 4