d3 <= 1.0
|   d2 <= 3.0
|   |   d4 <= 1.0
|   |   |   d2 <= 0.0
|   |   |   |   d1 <= 3.0
|   |   |   |   |   d7 <= 1.0
|   |   |   |   |   |   d3 <= 0.0: 1 (1.0)
|   |   |   |   |   |   d3 > 0.0: 0 (18.0/2.0)
|   |   |   |   |   d7 > 1.0
|   |   |   |   |   |   d1 <= 1.0: 0 (3.0)
|   |   |   |   |   |   d1 > 1.0
|   |   |   |   |   |   |   d1 <= 2.0
|   |   |   |   |   |   |   |   d5 <= 2.0
|   |   |   |   |   |   |   |   |   d5 <= 1.0: 1 (1.0)
|   |   |   |   |   |   |   |   |   d5 > 1.0: 0 (12.0/3.0)
|   |   |   |   |   |   |   |   d5 > 2.0: 0 (15.0/5.0)
|   |   |   |   |   |   |   d1 > 2.0: 0 (15.0/4.0)
|   |   |   |   d1 > 3.0
|   |   |   |   |   d5 <= 1.0: 0 (1.0)
|   |   |   |   |   d5 > 1.0
|   |   |   |   |   |   d5 <= 2.0: 1 (6.0/2.0)
|   |   |   |   |   |   d5 > 2.0: 0 (1.0)
|   |   |   d2 > 0.0
|   |   |   |   d2 <= 1.0: 1 (2.0)
|   |   |   |   d2 > 1.0
|   |   |   |   |   d2 <= 2.0
|   |   |   |   |   |   d3 <= 0.0
|   |   |   |   |   |   |   d1 <= 3.0
|   |   |   |   |   |   |   |   d9 <= 1.0: 0 (1.0)
|   |   |   |   |   |   |   |   d9 > 1.0: 1 (1.0)
|   |   |   |   |   |   |   d1 > 3.0: 0 (2.0)
|   |   |   |   |   |   d3 > 0.0
|   |   |   |   |   |   |   d9 <= 1.0: 1 (7.0/1.0)
|   |   |   |   |   |   |   d9 > 1.0: 0 (3.0/1.0)
|   |   |   |   |   d2 > 2.0
|   |   |   |   |   |   d7 <= 1.0: 0 (13.0/6.0)
|   |   |   |   |   |   d7 > 1.0
|   |   |   |   |   |   |   d1 <= 3.0
|   |   |   |   |   |   |   |   d3 <= 0.0: 1 (1.0)
|   |   |   |   |   |   |   |   d3 > 0.0
|   |   |   |   |   |   |   |   |   d1 <= 1.0
|   |   |   |   |   |   |   |   |   |   d5 <= 2.0: 1 (1.0)
|   |   |   |   |   |   |   |   |   |   d5 > 2.0: 0 (1.0)
|   |   |   |   |   |   |   |   |   d1 > 1.0: 0 (7.0)
|   |   |   |   |   |   |   d1 > 3.0: 1 (1.0)
|   |   d4 > 1.0
|   |   |   d2 <= 2.0
|   |   |   |   d7 <= 1.0
|   |   |   |   |   d1 <= 2.0
|   |   |   |   |   |   d3 <= 0.0: 1 (1.0)
|   |   |   |   |   |   d3 > 0.0
|   |   |   |   |   |   |   d6 <= 2.0
|   |   |   |   |   |   |   |   d6 <= 1.0: 1 (3.0/1.0)
|   |   |   |   |   |   |   |   d6 > 1.0: 0 (1.0)
|   |   |   |   |   |   |   d6 > 2.0: 1 (1.0)
|   |   |   |   |   d1 > 2.0: 1 (2.0)
|   |   |   |   d7 > 1.0
|   |   |   |   |   d9 <= 1.0
|   |   |   |   |   |   d3 <= 0.0
|   |   |   |   |   |   |   d1 <= 3.0
|   |   |   |   |   |   |   |   d5 <= 1.0: 1 (1.0)
|   |   |   |   |   |   |   |   d5 > 1.0: 0 (6.0)
|   |   |   |   |   |   |   d1 > 3.0: 1 (2.0)
|   |   |   |   |   |   d3 > 0.0
|   |   |   |   |   |   |   d1 <= 3.0
|   |   |   |   |   |   |   |   d6 <= 1.0
|   |   |   |   |   |   |   |   |   d2 <= 1.0
|   |   |   |   |   |   |   |   |   |   d1 <= 1.0: 0 (1.0)
|   |   |   |   |   |   |   |   |   |   d1 > 1.0
|   |   |   |   |   |   |   |   |   |   |   d2 <= 0.0
|   |   |   |   |   |   |   |   |   |   |   |   d1 <= 2.0
|   |   |   |   |   |   |   |   |   |   |   |   |   d5 <= 2.0: 1 (7.0/3.0)
|   |   |   |   |   |   |   |   |   |   |   |   |   d5 > 2.0: 0 (4.0/1.0)
|   |   |   |   |   |   |   |   |   |   |   |   d1 > 2.0
|   |   |   |   |   |   |   |   |   |   |   |   |   d5 <= 2.0: 0 (3.0/1.0)
|   |   |   |   |   |   |   |   |   |   |   |   |   d5 > 2.0: 1 (4.0/1.0)
|   |   |   |   |   |   |   |   |   |   |   d2 > 0.0: 0 (1.0)
|   |   |   |   |   |   |   |   |   d2 > 1.0: 1 (9.0/3.0)
|   |   |   |   |   |   |   |   d6 > 1.0
|   |   |   |   |   |   |   |   |   d5 <= 2.0: 0 (1.0)
|   |   |   |   |   |   |   |   |   d5 > 2.0: 1 (4.0)
|   |   |   |   |   |   |   d1 > 3.0
|   |   |   |   |   |   |   |   d6 <= 2.0
|   |   |   |   |   |   |   |   |   d5 <= 2.0: 1 (7.0/3.0)
|   |   |   |   |   |   |   |   |   d5 > 2.0: 0 (1.0)
|   |   |   |   |   |   |   |   d6 > 2.0: 0 (2.0)
|   |   |   |   |   d9 > 1.0
|   |   |   |   |   |   d3 <= 0.0
|   |   |   |   |   |   |   d1 <= 2.0: 1 (1.0)
|   |   |   |   |   |   |   d1 > 2.0
|   |   |   |   |   |   |   |   d2 <= 1.0: 1 (1.0)
|   |   |   |   |   |   |   |   d2 > 1.0
|   |   |   |   |   |   |   |   |   d6 <= 1.0: 0 (4.0/1.0)
|   |   |   |   |   |   |   |   |   d6 > 1.0
|   |   |   |   |   |   |   |   |   |   d1 <= 3.0
|   |   |   |   |   |   |   |   |   |   |   d5 <= 2.0: 0 (5.0/2.0)
|   |   |   |   |   |   |   |   |   |   |   d5 > 2.0: 1 (3.0/1.0)
|   |   |   |   |   |   |   |   |   |   d1 > 3.0: 1 (1.0)
|   |   |   |   |   |   d3 > 0.0: 1 (4.0)
|   |   |   d2 > 2.0
|   |   |   |   d5 <= 2.0: 0 (3.0)
|   |   |   |   d5 > 2.0
|   |   |   |   |   d1 <= 2.0
|   |   |   |   |   |   d6 <= 1.0: 1 (2.0)
|   |   |   |   |   |   d6 > 1.0: 0 (1.0)
|   |   |   |   |   d1 > 2.0: 0 (1.0)
|   d2 > 3.0
|   |   d1 <= 3.0
|   |   |   d1 <= 0.0: 0 (15.0/1.0)
|   |   |   d1 > 0.0
|   |   |   |   d5 <= 2.0: 0 (13.0/2.0)
|   |   |   |   d5 > 2.0
|   |   |   |   |   d4 <= 1.0
|   |   |   |   |   |   d1 <= 2.0: 0 (18.0/5.0)
|   |   |   |   |   |   d1 > 2.0
|   |   |   |   |   |   |   d7 <= 1.0: 0 (1.0)
|   |   |   |   |   |   |   d7 > 1.0: 1 (1.0)
|   |   |   |   |   d4 > 1.0: 0 (5.0)
|   |   d1 > 3.0: 1 (5.0/2.0)
d3 > 1.0
|   d4 <= 1.0
|   |   d1 <= 4.0
|   |   |   d1 <= 1.0
|   |   |   |   d5 <= 1.0: 0 (23.0)
|   |   |   |   d5 > 1.0
|   |   |   |   |   d1 <= 0.0: 0 (112.0/8.0)
|   |   |   |   |   d1 > 0.0
|   |   |   |   |   |   d2 <= 3.0
|   |   |   |   |   |   |   d2 <= 2.0
|   |   |   |   |   |   |   |   d2 <= 0.0: 0 (18.0/1.0)
|   |   |   |   |   |   |   |   d2 > 0.0
|   |   |   |   |   |   |   |   |   d2 <= 1.0: 0 (3.0/1.0)
|   |   |   |   |   |   |   |   |   d2 > 1.0: 1 (1.0)
|   |   |   |   |   |   |   d2 > 2.0: 0 (76.0/5.0)
|   |   |   |   |   |   d2 > 3.0: 0 (63.0/9.0)
|   |   |   d1 > 1.0
|   |   |   |   d1 <= 2.0: 0 (106.0/20.0)
|   |   |   |   d1 > 2.0
|   |   |   |   |   d2 <= 0.0
|   |   |   |   |   |   d5 <= 2.0: 1 (7.0/2.0)
|   |   |   |   |   |   d5 > 2.0: 0 (3.0/1.0)
|   |   |   |   |   d2 > 0.0
|   |   |   |   |   |   d5 <= 1.0: 0 (3.0)
|   |   |   |   |   |   d5 > 1.0
|   |   |   |   |   |   |   d9 <= 1.0
|   |   |   |   |   |   |   |   d1 <= 3.0: 0 (8.0/2.0)
|   |   |   |   |   |   |   |   d1 > 3.0
|   |   |   |   |   |   |   |   |   d5 <= 2.0
|   |   |   |   |   |   |   |   |   |   d7 <= 1.0: 0 (1.0)
|   |   |   |   |   |   |   |   |   |   d7 > 1.0: 1 (1.0)
|   |   |   |   |   |   |   |   |   d5 > 2.0: 0 (1.0)
|   |   |   |   |   |   |   d9 > 1.0: 0 (1.0)
|   |   d1 > 4.0: 0 (318.0/17.0)
|   d4 > 1.0
|   |   d1 <= 3.0
|   |   |   d7 <= 1.0
|   |   |   |   d2 <= 3.0: 0 (5.0)
|   |   |   |   d2 > 3.0
|   |   |   |   |   d1 <= 0.0: 0 (3.0)
|   |   |   |   |   d1 > 0.0
|   |   |   |   |   |   d6 <= 2.0
|   |   |   |   |   |   |   d5 <= 2.0: 0 (10.0/1.0)
|   |   |   |   |   |   |   d5 > 2.0
|   |   |   |   |   |   |   |   d1 <= 1.0: 0 (3.0/1.0)
|   |   |   |   |   |   |   |   d1 > 1.0: 1 (1.0)
|   |   |   |   |   |   d6 > 2.0: 0 (2.0)
|   |   |   d7 > 1.0
|   |   |   |   d1 <= 1.0: 0 (8.0/2.0)
|   |   |   |   d1 > 1.0
|   |   |   |   |   d6 <= 2.0
|   |   |   |   |   |   d2 <= 0.0: 0 (5.0/2.0)
|   |   |   |   |   |   d2 > 0.0
|   |   |   |   |   |   |   d2 <= 2.0
|   |   |   |   |   |   |   |   d6 <= 1.0: 1 (2.0)
|   |   |   |   |   |   |   |   d6 > 1.0: 0 (1.0)
|   |   |   |   |   |   |   d2 > 2.0
|   |   |   |   |   |   |   |   d2 <= 3.0: 0 (1.0)
|   |   |   |   |   |   |   |   d2 > 3.0
|   |   |   |   |   |   |   |   |   d1 <= 2.0
|   |   |   |   |   |   |   |   |   |   d5 <= 2.0: 1 (1.0)
|   |   |   |   |   |   |   |   |   |   d5 > 2.0: 0 (3.0/1.0)
|   |   |   |   |   |   |   |   |   d1 > 2.0: 1 (1.0)
|   |   |   |   |   d6 > 2.0
|   |   |   |   |   |   d5 <= 2.0: 0 (2.0)
|   |   |   |   |   |   d5 > 2.0: 1 (1.0)
|   |   d1 > 3.0: 0 (14.0/1.0)

93
125
1066
