(B 2 4.0 
  (D 1.0 )
  (B 1 2.0 (D 1.0 ) (D 2.0 )))

(B 1 4.0 
  (D 1.0 )
  (B 2 2.0 (D 1.0 ) (D 2.0 )))

(B 2 4.0 
  (B 1 2.0 (D 1.0 ) (D 2.0 ))
  (D 1.0 )
)

(B 1 4.0 (D 1.0) (D 1.0))
(B  1  4.0                 (D 2.0) 
                           (D 3.0)
)
(     B 1 4.0 (
D 3.0) (
D 2.0))
(B 1 4000.0 (D 1.0) (D 3.0))
(B 1 4000.0 (D 3.0) (D 1.0))
(B 1 4.0 (D 10000.0) (D 30000.0))
(B 1 1.0 (D 1.0) (D 9.0))
(B 1 1.0 (D 9.0) (D 1.0))
(B 1 1.0 (D 1.0) (D 99.0))
(B 1 1.0 (D 99.0) (D 1.0))
(B 1 1.0 (D 1.0) (D 999.0))
(B 1 1.0 (D 999.0) (D 1.0))

(B 1 12.0 
  (B 2 12.0 
    (B 3 12.0 
      (B 4 12.0 
        (B 5 12.0 
          (B 6 12.0 
            (B 7 12.0 
              (B 8 12.0 
                 (D 1.0)
                 (D 1.0)
              )
              (D 1.0)
            )
            (D 1.0)
          )
          (D 1.0)
        )
        (D 1.0)
      )
      (D 1.0)
    )
    (D 1.0)
  )
  (D 8.0)
)

(B 1 12.0 
  (D 8.0)
  (B 2 12.0 
    (D 1.0)
    (B 3 12.0 
      (D 1.0)
      (B 4 12.0 
        (D 1.0)
        (B 5 12.0 
          (D 1.0)
          (B 6 12.0 
            (D 1.0)
            (B 7 12.0 
              (D 1.0)
              (B 8 12.0 
                 (D 1.0)
                 (D 1.0)
              )
            )
          )
        )
      )
    )
  )
)

(B 1 12.0 
  (B 2 12.0 
    (B 3 12.0 
      (B 4 12.0 
        (B 5 12.0 
          (B 6 12.0 
            (B 7 12.0 
              (B 8 12.0 
                 (D 1.0)
                 (D 1.0)
              )
              (D 1.0)
            )
            (D 1.0)
          )
          (D 1.0)
        )
        (D 1.0)
      )
      (D 1.0)
    )
    (D 1.0)
  )
  (B 15 12.0 
    (B 14 12.0 
      (B 13 12.0 
        (B 12 12.0 
          (B 11 12.0 
            (B 10 12.0 
              (B 9 12.0 
                 (D 0.5)
                 (D 0.5)
              )
              (D 0.5)
            )
            (D 0.5)
          )
          (D 0.5)
        )
        (D 0.5)
      )
      (D 0.5)
    )
    (D 0.5)
  )

)
()
(B 1 1.0 (D 1.0) (D 9.0))
