We branch with these powers because the prime factorization has \(2^3\). If it were instead \(2^5\), we would branch with \(2^0\), \(2^1\), \(2^2\), \(2^3\), \(2^4\), and \(2^5\), and we would have a branching factor of 6.