Work Combination Chart - Figure 6 From Simulation Based Verification Of Lean