2 problems

Nine-$B_2$-branch conjecture. A minimal-ABC tree can contain at most nine $B_2$-branches.

Three-$B_1$-branch conjecture. A minimal-ABC tree can contain at most three $B_1$-branches.