d3 <= 9.0
|   d3 <= 4.0
|   |   d3 <= 3.0
|   |   |   d3 <= 2.0
|   |   |   |   d2 <= 0.0
|   |   |   |   |   d3 <= 1.0
|   |   |   |   |   |   d1 <= 7.0: 1 (5.0)
|   |   |   |   |   |   d1 > 7.0
|   |   |   |   |   |   |   d1 <= 8.0: 0 (1.0)
|   |   |   |   |   |   |   d1 > 8.0: 1 (2.0)
|   |   |   |   |   d3 > 1.0
|   |   |   |   |   |   d1 <= 6.0
|   |   |   |   |   |   |   d1 <= 4.0
|   |   |   |   |   |   |   |   d1 <= 1.0: 0 (1.0)
|   |   |   |   |   |   |   |   d1 > 1.0: 1 (1.0)
|   |   |   |   |   |   |   d1 > 4.0: 0 (2.0)
|   |   |   |   |   |   d1 > 6.0
|   |   |   |   |   |   |   d1 <= 9.0: 1 (3.0)
|   |   |   |   |   |   |   d1 > 9.0: 0 (1.0)
|   |   |   |   d2 > 0.0
|   |   |   |   |   d3 <= 1.0
|   |   |   |   |   |   d1 <= 1.0: 0 (1.0)
|   |   |   |   |   |   d1 > 1.0
|   |   |   |   |   |   |   d1 <= 3.0: 1 (1.0)
|   |   |   |   |   |   |   d1 > 3.0: 0 (1.0)
|   |   |   |   |   d3 > 1.0: 0 (3.0)
|   |   |   d3 > 2.0: 1 (11.0)
|   |   d3 > 3.0
|   |   |   d1 <= 0.0: 1 (1.0)
|   |   |   d1 > 0.0: 0 (10.0)
|   d3 > 4.0
|   |   d3 <= 6.0
|   |   |   d1 <= 9.0
|   |   |   |   d1 <= 3.0
|   |   |   |   |   d1 <= 2.0: 1 (6.0)
|   |   |   |   |   d1 > 2.0
|   |   |   |   |   |   d3 <= 5.0: 1 (1.0)
|   |   |   |   |   |   d3 > 5.0: 0 (1.0)
|   |   |   |   d1 > 3.0: 1 (12.0)
|   |   |   d1 > 9.0
|   |   |   |   d3 <= 5.0: 0 (1.0)
|   |   |   |   d3 > 5.0: 1 (1.0)
|   |   d3 > 6.0
|   |   |   d1 <= 4.0
|   |   |   |   d3 <= 8.0
|   |   |   |   |   d1 <= 2.0
|   |   |   |   |   |   d3 <= 7.0
|   |   |   |   |   |   |   d1 <= 1.0: 0 (2.0)
|   |   |   |   |   |   |   d1 > 1.0: 1 (1.0)
|   |   |   |   |   |   d3 > 7.0
|   |   |   |   |   |   |   d1 <= 1.0: 1 (2.0)
|   |   |   |   |   |   |   d1 > 1.0: 0 (1.0)
|   |   |   |   |   d1 > 2.0: 1 (4.0)
|   |   |   |   d3 > 8.0
|   |   |   |   |   d1 <= 2.0
|   |   |   |   |   |   d1 <= 0.0: 1 (1.0)
|   |   |   |   |   |   d1 > 0.0
|   |   |   |   |   |   |   d1 <= 1.0: 0 (1.0)
|   |   |   |   |   |   |   d1 > 1.0: 1 (1.0)
|   |   |   |   |   d1 > 2.0: 0 (2.0)
|   |   |   d1 > 4.0
|   |   |   |   d1 <= 6.0: 1 (6.0)
|   |   |   |   d1 > 6.0
|   |   |   |   |   d3 <= 7.0
|   |   |   |   |   |   d1 <= 7.0: 0 (1.0)
|   |   |   |   |   |   d1 > 7.0
|   |   |   |   |   |   |   d1 <= 8.0: 1 (1.0)
|   |   |   |   |   |   |   d1 > 8.0
|   |   |   |   |   |   |   |   d1 <= 9.0: 0 (1.0)
|   |   |   |   |   |   |   |   d1 > 9.0: 1 (1.0)
|   |   |   |   |   d3 > 7.0
|   |   |   |   |   |   d1 <= 9.0: 1 (6.0)
|   |   |   |   |   |   d1 > 9.0
|   |   |   |   |   |   |   d3 <= 8.0: 1 (1.0)
|   |   |   |   |   |   |   d3 > 8.0: 0 (1.0)
d3 > 9.0
|   d1 <= 8.0
|   |   d1 <= 7.0
|   |   |   d1 <= 5.0
|   |   |   |   d1 <= 4.0
|   |   |   |   |   d3 <= 11.0: 0 (10.0)
|   |   |   |   |   d3 > 11.0
|   |   |   |   |   |   d1 <= 1.0
|   |   |   |   |   |   |   d1 <= 0.0: 0 (1.0)
|   |   |   |   |   |   |   d1 > 0.0: 1 (1.0)
|   |   |   |   |   |   d1 > 1.0: 0 (3.0)
|   |   |   |   d1 > 4.0
|   |   |   |   |   d3 <= 10.0: 1 (1.0)
|   |   |   |   |   d3 > 10.0: 0 (2.0)
|   |   |   d1 > 5.0: 0 (6.0)
|   |   d1 > 7.0
|   |   |   d3 <= 10.0: 0 (1.0)
|   |   |   d3 > 10.0
|   |   |   |   d3 <= 11.0: 1 (1.0)
|   |   |   |   d3 > 11.0: 0 (1.0)
|   d1 > 8.0: 0 (6.0)

48
0
132
