[3] (1)
[3, 1] (2)
[4, 1, 3] (3)
[6, 4, 3, 1] (4)
[6, 5, 3, 1, 4] (5)
[6, 5, 3, 1, 4, 3] (6)
[6, 5, 4, 1, 4, 3, 3] (7)
6 <- [5, 4, 4, 1, 3, 3] (6)
[5, 4, 4, 1, 3, 3, 1] (7)
[5, 4, 4, 2, 3, 3, 1, 1] (8)
[5, 4, 4, 2, 3, 3, 1, 1, 1] (9)
[5, 4, 4, 2, 3, 3, 1, 1, 1, 1] (10)
[5, 4, 4, 2, 3, 3, 1, 1, 1, 1, 2] (11)
[8, 4, 5, 2, 3, 4, 1, 1, 1, 1, 2, 3] (12)
[9, 4, 8, 2, 3, 5, 1, 1, 1, 1, 2, 3, 4] (13)
9 <- [8, 4, 5, 2, 3, 4, 1, 1, 1, 1, 2, 3] (12)
8 <- [5, 4, 4, 2, 3, 3, 1, 1, 1, 1, 2] (11)
5 <- [4, 4, 3, 2, 3, 2, 1, 1, 1, 1] (10)
4 <- [4, 3, 3, 2, 1, 2, 1, 1, 1] (9)
4 <- [3, 3, 2, 2, 1, 1, 1, 1] (8)
3 <- [3, 2, 2, 1, 1, 1, 1] (7)
3 <- [2, 2, 1, 1, 1, 1] (6)
2 <- [2, 1, 1, 1, 1] (5)
2 <- [1, 1, 1, 1] (4)
1 <- [1, 1, 1] (3)
1 <- [1, 1] (2)
1 <- [1] (1)
1 <- [] (0)
<null> <- [] (0)