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

---
Map dump:
type	refs	hash	term                     parents
1	1	bc00	[[1]]                    {([0] [[1]]), }
1	1	76e3	[1]                      {[[1]], }
2	1	4db9	([0] [[1]])              {[([0] [[1]])], }
1	1	180b	[0]                      {([0] [[1]]), }
3	1	71eb	1                        {[1], }
1	1	4e2b	[([0] [[1]])]            {}
3	1	b2bf	0                        {[0], }
---

[DEBUG] reducing 4db9
[DEBUG] substituting 180b with bc00
[DEBUG] substituting b2bf with bc00
[DEBUG] shifting bc00
[DEBUG] shifting 76e3
[DEBUG] shifting 71eb
[DEBUG] rehashing abs 180b (bc00)
[DEBUG] dereferring head of 180b
[DEBUG] destroying head of 180b
[DEBUG] destroying head of 4db9
[DEBUG] destroying head of 4e2b
[DEBUG] rehashing parents of 7deb
[DEBUG] dereferring head of b2bf
[DEBUG] destroying head of b2bf
[DEBUG] no more redexes!

---
Map dump:
type	refs	hash	term                     parents
1	1	bc00	[[1]]                    {[[[1]]], }
1	1	76e3	[1]                      {[[1]], }
3	1	71eb	1                        {[1], }
1	1	7deb	[[[1]]]                  {}
---

[DEBUG] destroying head of bc00
[DEBUG] destroying head of 7deb
[DEBUG] destroying head of 76e3
[DEBUG] destroying head of 71eb