A01. Red Bean Soup