Thimble Soda finite state diagram