init 1
----
0

init 1
6: 1
----
0

init 1
6: 2
----
0

init 1
3: 1
4: 1
5: 1
6: 1
----
0

init 1
1: 1
2: 1
3: 1
4: 1
5: 1
6: 1
----
0

init 1
1: 1
2: 10
3: 100
4: 1000
5: 10000
6: 100000
----
0

init 1
5: 10
6: 10
----
18

init 1
0: 10
5: 10
6: 10
----
39

init 1
0: 10
6: 100
----
0

init 1
0: 10
4: 1
5: 10
6: 100
----
90

init 1
0: 10
6: 1000
----
0

init 1
5: 101
6: 1000
----
21

init 1000
6: 10000
----
0

init 1000
5: 1
6: 10000
----
0

init 1000
5: 2000
6: 10000
----
0

# Regression test case which was previously computing an overly large
# estimated debt due to faulty handling of L0.

init 64
0: 236
4: 113
5: 480
6: 2457
----
2414