| # In the original representation of environments, this caused an exponential | |
| # blowup in time and allocation. With that representation, this took about 20 | |
| # seconds on my laptop and had a max RSS of ~12 GB. Big enough to be really | |
| # noticeable, but not so big it's likely to crash a developer machine. With the | |
| # better environment representation, it runs almost instantly and has an RSS of | |
| # ~90 MB. | |
| unify: | |
| - !sum | |
| - !sum [1, 2] | |
| - !sum [3, 4] | |
| - !sum [5, 6] | |
| - !sum [7, 8] | |
| - !sum [9, 10] | |
| - !sum [11, 12] | |
| - !sum [13, 14] | |
| - !sum [15, 16] | |
| - !sum [17, 18] | |
| - !sum [19, 20] | |
| - !sum [21, 22] | |
| - !sum | |
| - !sum [1, 2] | |
| - !sum [3, 4] | |
| - !sum [5, 6] | |
| - !sum [7, 8] | |
| - !sum [9, 10] | |
| - !sum [11, 12] | |
| - !sum [13, 14] | |
| - !sum [15, 16] | |
| - !sum [17, 18] | |
| - !sum [19, 20] | |
| - !sum [21, 22] | |
| all: | |
| [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22] |