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