1. collapse

2. sweep

3. eliminate 5

4. simplify − m nocomp − d

5. resub − a − d

6. gkx − abt (x)0

7. resub − a − d

8. sweep

9. gcx − bt (x)0

10. resub − a − d

11. sweep

12. gkx − abt 10

13. resub − a − d

14. sweep

15. gcx − abt 10

16. resub − a − d

17. sweep

18. gkx − ab

19. resub − a − d

20. sweep

21. gcx − b

22. resub − a − d

23. sweep

24. eliminate 0