# 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]