O 22
P 15
S 1 product
S 1 count
S 1 order
S 1 number
S 1 object
S 2 includes
S 2 next-count
S 2 =
F 1 waiting
F 1 started
F 1 shipped
F 1 made
F 1 stacks-avail
D 1 axiom_0
D 1 axiom_1
N 1
A 0 total-cost
SI 81
4 0
1 0
4 1
1 1
4 2
1 2
4 3
1 3
4 4
1 4
4 5
1 5
4 6
1 6
4 7
1 7
4 8
2 8
4 9
2 9
4 10
2 10
4 11
2 11
4 12
2 12
4 13
2 13
4 14
2 14
4 15
0 15
4 16
0 16
4 17
0 17
4 18
0 18
4 19
0 19
4 20
0 20
4 21
0 21
6 0 1
6 1 2
6 2 3
6 3 4
6 4 5
6 5 6
6 6 7
5 8 16
5 9 16
5 10 17
5 11 18
5 12 19
5 12 21
5 13 15
5 14 20
7 0 0
7 1 1
7 2 2
7 3 3
7 4 4
7 5 5
7 6 6
7 7 7
7 8 8
7 9 9
7 10 10
7 11 11
7 12 12
7 13 13
7 14 14
7 15 15
7 16 16
7 17 17
7 18 18
7 19 19
7 20 20
7 21 21
FI 8
12 0
8 8
8 9
8 10
8 11
8 12
8 13
8 14
NI 1
0 0
G 7
10 1 8
10 1 9
10 1 10
10 1 11
10 1 12
10 1 13
10 1 14
NG 0
M min 1 a 0
A 4
make-product 1
L 4
4 1 0
0 1 0
11 0 0
13 0 0
NC 0
E 1
0
L 0
NC 0
F 1
11 1 0
NE 0
NA -
start-order 3
L 9
4 1 0
2 1 0
4 1 1
1 1 1
4 1 2
1 1 2
6 1 2 1
8 1 0
12 1 1
NC 0
E 1
0
L 0
NC 0
F 4
8 0 0
9 1 0
12 0 1
12 1 2
NE 0
NA -
ship-order 3
L 10
4 1 0
2 1 0
4 1 1
1 1 1
4 1 2
1 1 2
6 1 1 2
12 1 1
9 1 0
14 0 0
NC 0
E 1
0
L 0
NC 0
F 4
12 0 1
12 1 2
9 0 0
10 1 0
NE 0
NA -
open-new-stack 2
L 6
4 1 0
1 1 0
4 1 1
1 1 1
6 1 0 1
12 1 0
NC 0
E 1
0
L 0
NC 0
F 2
12 0 0
12 1 1
NE 0
NA increase 1 c 1
X 2
13 2
H 0
L 6
4 1 0
0 1 0
4 1 1
2 1 1
5 1 1 0
9 0 1
NC 0
14 2
H 0
L 6
4 1 0
2 1 0
4 1 1
0 1 1
5 1 0 1
11 0 1
NC 0
