[DEBUG] reading from inc.blc
[DEBUG] referring head of 71eb
[DEBUG] referring head of 76e3
[DEBUG] reducing...
[DEBUG] queue size: 1

---
Map dump:
type	refs	hash	term                     parents
1	1	bc00	[[1]]                    {([[1]] [1]), }
1	1	d5b2	[([[1]] [1])]            {}
1	2	76e3	[1]                      {[[1]], ([[1]] [1]), }
2	1	49e4	([[1]] [1])              {[([[1]] [1])], }
3	2	71eb	1                        {[1], }
---

[DEBUG] reducing 49e4
[DEBUG] substituting bc00 with 76e3
[DEBUG] substituting 76e3 with 76e3
[DEBUG] substituting 71eb with 76e3
[DEBUG] shifting 76e3
[DEBUG] shifting 71eb
[DEBUG] rehashing var 71eb (2)
[DEBUG] dereferring head of 71eb
[DEBUG] dereferring head of 71eb
[DEBUG] rehashing abs 76e3 (ccd5)
[DEBUG] dereferring head of 76e3
[DEBUG] rehashing abs 76e3 (e935)
[DEBUG] dereferring head of 76e3
[DEBUG] rehashing parents of 276f
[DEBUG] rehashing abs bc00 (276f)
[DEBUG] dereferring head of bc00
[DEBUG] destroying head of bc00
[DEBUG] destroying head of 49e4
[DEBUG] destroying head of d5b2
[DEBUG] rehashing parents of ae76
[DEBUG] no more redexes!

---
Map dump:
type	refs	hash	term                     parents
1	1	76e3	[1]                      {}
3	1	ccd5	2                        {[2], }
1	1	e935	[2]                      {[[2]], }
1	1	ae76	[[[2]]]                  {}
3	1	71eb	1                        {[1], }
1	1	276f	[[2]]                    {[[[2]]], }
---

[DEBUG] destroying head of 76e3
[DEBUG] destroying head of ccd5
[DEBUG] destroying head of e935
[DEBUG] destroying head of 276f
[DEBUG] destroying head of ae76
[DEBUG] destroying head of 71eb