Короче, каждый раз пара простых множителей сворачивается в следующее простое число.
Когда все числа заканчиваются, берётся следующая степень 2.
Кстати, не так просто, как здесь описали вы. Посмотрите, что происходит, после числа

идёт

, а потом, однако,

. Сначала сворачиваются самые правые множители, но потом, если комбинации закончились, они продолжаются с того места, где можно было свернуть множители левее. Как организовать нерекурсивное построение, не знаю.