In the initial state, the bartender has two empty hands: left and right. There is one shaker (shaker1) and three shots (shot1, shot2, shot3), all of which are clean, empty, and placed on the table. Two ingredients are available: ingredient1 from dispenser1 and ingredient2 from dispenser2. Two cocktails are defined: cocktail1, made by mixing ingredient2 (part1) and ingredient1 (part2), and cocktail2, made by mixing ingredient2 (part1) and ingredient1 (part2). The shaker (shaker1) is at fill level l0 (empty), with sequential fill levels l0 → l1 → l2.