+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
|                   |                   |                       |
+   +   +---+   +   +   +   +   +   +   +   +   +   +   +   +   +
|       |                     s                         |       |
+   +   +   +   +   +   +   +   +   +   +   +   +   +---+   +---+
|                                                               |
+   +   +   +   +   +   +   +   +   +---+   +   +   +   +   +   +
|                       |           |                           |
+   +   +   +   +   +   +---+   +   +   +   +   +   +   +---+   +
|                                                           |   |
+---+   +   +   +---+   +   +   +   +   +   +   +   +   +   +   +
|         b         |                                           |
+   +   +   +   +   +   +   +   +   +   +   +   +   +   +   +   +
|       |                                       |               |
+   +---+   +   +   +   +   +---+---+   +   +   +---+   +   +   +
|                           |   |   |                           |
+   +   +   +   +   +   +   +---+---+   +   +   +   +   +   +   +
|                           |   |   |             Y             |
+   +   +   +   +   +   +   +---+---+   +   +   +   +   +   +   +
|               |                                               |
+   +   +   +   +---+   +---+   +   +   +   +   +   +   +   +---+
|                       |         * |                           |
+---+   +   +   +   +   +   +   +---+   +   +   +   +---+   +   +
|                                             g     |           |
+   +   +   +   +   +   +   +---+   +   +   +   +   +   +   +   +
|         r                     |                               |
+   +---+   +   +   +   +   +   +   +   +   +   +   +   +   +   +
|       |                           |                           |
+   +   +   +   +   +   +   +   +   +---+   +   +   +   +---+   +
|               |                                           |   |
+   +   +   +---+   +   +   +   +   +   +   +   +   +   +   +   +
|                   |                           |               |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
depth 0 qlen 1 nposn 0
depth 1 qlen 20 nposn 1
depth 2 qlen 368 nposn 21
depth 3 qlen 3359 nposn 218
depth 4 qlen 20589 nposn 1506
depth 5 qlen 97394 nposn 7913
depth 6 qlen 385462 nposn 34236
depth 7 qlen 1338172 nposn 128195
depth 8 qlen 4191866 nposn 428736
depth 9 qlen 12056311 nposn 1306810
depth 10 qlen 32184335 nposn 3678282
    R(2,12) G(11,11) B(2,5) Y(12,8) S(7,1) 0
Y v R(2,12) G(11,11) B(2,5) Y(12,15) S(7,1) 1
G > R(2,12) G(12,11) B(2,5) Y(12,15) S(7,1) 2
S ^ R(2,12) G(12,11) B(2,5) Y(12,15) S(7,0) 3
Y ^ R(2,12) G(12,11) B(2,5) Y(12,12) S(7,0) 4
S < R(2,12) G(12,11) B(2,5) Y(12,12) S(5,0) 5
Y < R(2,12) G(12,11) B(2,5) Y(8,12) S(5,0) 6
S v R(2,12) G(12,11) B(2,5) Y(8,12) S(5,15) 7
Y v R(2,12) G(12,11) B(2,5) Y(8,15) S(5,15) 8
Y < R(2,12) G(12,11) B(2,5) Y(6,15) S(5,15) 9
Y ^ R(2,12) G(12,11) B(2,5) Y(6,10) S(5,15) 10
Y > R(2,12) G(12,11) B(2,5) Y(8,10) S(5,15) 11

    R(2,12) G(11,11) B(2,5) Y(12,8) S(7,1) 0
Y v R(2,12) G(11,11) B(2,5) Y(12,15) S(7,1) 1
G > R(2,12) G(12,11) B(2,5) Y(12,15) S(7,1) 2
Y ^ R(2,12) G(12,11) B(2,5) Y(12,12) S(7,1) 3
Y < R(2,12) G(12,11) B(2,5) Y(8,12) S(7,1) 4
Y v R(2,12) G(12,11) B(2,5) Y(8,15) S(7,1) 5
Y < R(2,12) G(12,11) B(2,5) Y(5,15) S(7,1) 6
R > R(7,12) G(12,11) B(2,5) Y(5,15) S(7,1) 7
R v R(7,15) G(12,11) B(2,5) Y(5,15) S(7,1) 8
Y > R(7,15) G(12,11) B(2,5) Y(6,15) S(7,1) 9
Y ^ R(7,15) G(12,11) B(2,5) Y(6,10) S(7,1) 10
Y > R(7,15) G(12,11) B(2,5) Y(8,10) S(7,1) 11

    R(2,12) G(11,11) B(2,5) Y(12,8) S(7,1) 0
Y v R(2,12) G(11,11) B(2,5) Y(12,15) S(7,1) 1
G > R(2,12) G(12,11) B(2,5) Y(12,15) S(7,1) 2
Y ^ R(2,12) G(12,11) B(2,5) Y(12,12) S(7,1) 3
Y < R(2,12) G(12,11) B(2,5) Y(8,12) S(7,1) 4
R > R(7,12) G(12,11) B(2,5) Y(8,12) S(7,1) 5
R v R(7,15) G(12,11) B(2,5) Y(8,12) S(7,1) 6
Y v R(7,15) G(12,11) B(2,5) Y(8,15) S(7,1) 7
R < R(5,15) G(12,11) B(2,5) Y(8,15) S(7,1) 8
Y < R(5,15) G(12,11) B(2,5) Y(6,15) S(7,1) 9
Y ^ R(5,15) G(12,11) B(2,5) Y(6,10) S(7,1) 10
Y > R(5,15) G(12,11) B(2,5) Y(8,10) S(7,1) 11

    R(2,12) G(11,11) B(2,5) Y(12,8) S(7,1) 0
Y > R(2,12) G(11,11) B(2,5) Y(15,8) S(7,1) 1
Y v R(2,12) G(11,11) B(2,5) Y(15,9) S(7,1) 2
B > R(2,12) G(11,11) B(4,5) Y(15,9) S(7,1) 3
B v R(2,12) G(11,11) B(4,9) Y(15,9) S(7,1) 4
Y < R(2,12) G(11,11) B(4,9) Y(5,9) S(7,1) 5
Y v R(2,12) G(11,11) B(4,9) Y(5,15) S(7,1) 6
R > R(7,12) G(11,11) B(4,9) Y(5,15) S(7,1) 7
R v R(7,15) G(11,11) B(4,9) Y(5,15) S(7,1) 8
Y > R(7,15) G(11,11) B(4,9) Y(6,15) S(7,1) 9
Y ^ R(7,15) G(11,11) B(4,9) Y(6,10) S(7,1) 10
Y > R(7,15) G(11,11) B(4,9) Y(8,10) S(7,1) 11

    R(2,12) G(11,11) B(2,5) Y(12,8) S(7,1) 0
B v R(2,12) G(11,11) B(2,11) Y(12,8) S(7,1) 1
G v R(2,12) G(11,15) B(2,11) Y(12,8) S(7,1) 2
Y v R(2,12) G(11,15) B(2,11) Y(12,15) S(7,1) 3
B > R(2,12) G(11,15) B(12,11) Y(12,15) S(7,1) 4
Y ^ R(2,12) G(11,15) B(12,11) Y(12,12) S(7,1) 5
Y < R(2,12) G(11,15) B(12,11) Y(8,12) S(7,1) 6
G < R(2,12) G(5,15) B(12,11) Y(8,12) S(7,1) 7
Y v R(2,12) G(5,15) B(12,11) Y(8,15) S(7,1) 8
Y < R(2,12) G(5,15) B(12,11) Y(6,15) S(7,1) 9
Y ^ R(2,12) G(5,15) B(12,11) Y(6,10) S(7,1) 10
Y > R(2,12) G(5,15) B(12,11) Y(8,10) S(7,1) 11

    R(2,12) G(11,11) B(2,5) Y(12,8) S(7,1) 0
G > R(2,12) G(12,11) B(2,5) Y(12,8) S(7,1) 1
R ^ R(2,6) G(12,11) B(2,5) Y(12,8) S(7,1) 2
S v R(2,6) G(12,11) B(2,5) Y(12,8) S(7,6) 3
G ^ R(2,6) G(12,9) B(2,5) Y(12,8) S(7,6) 4
R > R(6,6) G(12,9) B(2,5) Y(12,8) S(7,6) 5
Y > R(6,6) G(12,9) B(2,5) Y(15,8) S(7,6) 6
R v R(6,9) G(12,9) B(2,5) Y(15,8) S(7,6) 7
Y v R(6,9) G(12,9) B(2,5) Y(15,9) S(7,6) 8
G < R(6,9) G(7,9) B(2,5) Y(15,9) S(7,6) 9
Y < R(6,9) G(7,9) B(2,5) Y(8,9) S(7,6) 10
Y v R(6,9) G(7,9) B(2,5) Y(8,10) S(7,6) 11