[DEBUG] reading from open.blc
[DEBUG] reducing...
[DEBUG] queue size: 1

---
Map dump:
type	refs	hash	term                     parents
1	1	bc00	[[1]]                    {([4] [[1]]), }
1	1	7573	[4]                      {([4] [[1]]), }
1	1	76e3	[1]                      {[[1]], }
1	1	3418	[([4] [[1]])]            {}
3	1	71eb	1                        {[1], }
3	1	c8dd	4                        {[4], }
2	1	8cde	([4] [[1]])              {[([4] [[1]])], }
---

[DEBUG] reducing 8cde
[DEBUG] substituting 7573 with bc00
[DEBUG] substituting c8dd with bc00
[DEBUG] shifting c8dd
[DEBUG] rehashing var c8dd (3)
[DEBUG] dereferring head of c8dd
[DEBUG] dereferring head of 71eb
[DEBUG] destroying head of 71eb
[DEBUG] destroying head of 76e3
[DEBUG] destroying head of bc00
[DEBUG] destroying head of 8cde
[DEBUG] destroying head of 3418
[DEBUG] rehashing abs 7573 (5f3e)
[DEBUG] dereferring head of 7573
[DEBUG] destroying head of 7573
[DEBUG] rehashing parents of f80c
[DEBUG] dereferring head of c8dd
[DEBUG] destroying head of c8dd
[DEBUG] no more redexes!

---
Map dump:
type	refs	hash	term                     parents
1	1	f80c	[3]                      {}
3	1	5f3e	3                        {[3], }
---

[DEBUG] destroying head of f80c
[DEBUG] destroying head of 5f3e